arXiv Science⌕ Search

arXiv subjects

Linliang Song

Publications and source records attributed to Linliang Song.

At least 19 recordsLinked to original sources
arXiv2026

Affine and cyclotomic Brauer categorification via $\imath$-Kac--Moody $2$-categories: the half-integral type $\operatorname{AIII}$ case

Cyclotomic Brauer or cyclotomic Nazarov--Wenzl algebras arise in higher Schur--Weyl dualities involving parabolic categories $\mathcal O$ for Lie algebras of types $B,C$ and $D$. Their connection with Kac--Moody-type categorification is substantially less developed than the corresponding type $A$ theory for cyclotomic Hecke algebras. We construct a categorical bridge between affine Brauer-type representation theory and the half-integral quasi-split type $\operatorname{AIII}$ $\imath$-Kac--Moody $2$-category of Bao--Shan--Wang--Webster. More precisely, an action of the affine Brauer category on a locally Schurian category, with dot spectrum exactly $\frac{1}{2}+\mathbb Z$, determines a generalized nilpotent $2$-representation of the even component $\mathfrak U^{\imath}_{+}$. Conversely, every nilpotent $2$-subrepresentation of an ambient locally Schurian $2$-representation of $\mathfrak U^{\imath}_{+}$ carries a compatible affine Brauer action whose dot spectrum is contained in $\frac{1}{2}+\mathbb Z$. Applying these constructions to cyclotomic quotients, we prove that the locally unital algebra attached to a $\mathbf u$-admissible cyclotomic Brauer category is isomorphic to the locally unital algebra attached to the corresponding cyclotomic quotient of the principal $2$-representation of $\mathfrak U^{\imath}_{+}$. Consequently, the associated cyclotomic Brauer (or cyclotomic Nazarov--Wenzl) algebras acquire natural $\mathbb Z$-gradings. To our knowledge, this is the first such categorical realization of $\mathbf u$-admissible half-integral cyclotomic Brauer algebras by means of an $\imath$-Kac--Moody $2$-category. It provides the categorical and graded framework toward a Brauer-type extension of the Brundan--Kleshchev--Ariki theory in which coideal algebras and $\imath$-canonical bases are expected to replace ordinary quantum groups and canonical bases.

math.RT↗
arXiv2026

Decomposition matrices of cyclotomic $q$-web categories

We develop the cellular structures for the endomorphism algebras of cyclotomic $q$-webs, which form a new family of quantum algebras sitting in between cyclotomic Hecke algebras and cyclotomic $q$-Schur algebras. We show that the Grothendieck group of a module category of the cyclotomic $q$-webs for $q$ generic or a root of unity is isomorphic to an integrable highest weight module over quantum affine $\mathfrak{gl}_p$; moreover, the isomorphism maps the classes of projective indecomposable modules to the canonical basis. This substantially generalizes the classic works of Lascoux-Leclerc-Thibon, Ariki, and Varagnolo-Vasserot.

math.RT↗
arXiv2026

On weight modules over truncated shifted iYangians

Truncated shifted iYangians are a family of algebras expected to quantize certain components of affine Grassmannian islices. We introduce orientifold KLRW (oKLRW) algebras associated with quivers with involution and establish their faithful polynomial representations and diagrammatic bases. We also define KLR iYangians using double reflective KLR diagrams and construct diagrammatic realizations of the iGKLO homomorphisms. For integral parameters, we introduce interval oKLRW algebras and prove an equivalence between integral weight modules over truncated shifted iYangians and nilpotent modules over the corresponding interval oKLRW algebras.

math.RT↗
arXiv2025

Affine web of type Q

We introduce a new diagrammatic $\Bbbk$-linear monoidal supercategory $QWeb^\bullet$, the affine web supercategory of type $Q$, where $\Bbbk$ is a commutative ring of characteristic not two. This category is the affinization of the web category of type $Q$, originally introduced by Brown and Kujawa. It serves as the type $Q$ analog of the affine web category introduced by Davidson, Kujawa, Muth and Zhu, and independently by Wang and one of the authors. We obtain diagrammatic integral bases for the Hom-spaces of this category. We show that $QWeb^\bullet$ provides a combinatorial model for a natural monoidal supercategory of endosuperfunctors for Lie superalgebras of type $Q$. .

math.RT↗
arXiv2025

Affine and cyclotomic $q$-Schur categories via webs

We formulate two new $\mathbb Z[q,q^{-1}]$-linear diagrammatic monoidal categories, the affine $q$-web category and the affine $q$-Schur category, as well as their respective cyclotomic quotient categories. Diagrammatic integral bases for the Hom-spaces of all these categories are established. In addition, we establish the following isomorphisms, providing diagrammatic presentations of these $q$-Schur algebras for the first time: (i)~ the path algebras of the affine $q$-web category to R.~Green's affine $q$-Schur algebras, (ii)~ the path algebras of the affine $q$-Schur category to Maksimau-Stroppel's higher level affine $q$-Schur algebras, and most significantly, (iii)~ the path algebras of the cyclotomic $q$-Schur categories to Dipper-James-Mathas' cyclotomic $q$-Schur algebras.

math.RT↗
arXiv2025

Decomposition numbers of the cyclotomic Brauer algebra over the complex field, II

Following Nazarov's suggestion, the cyclotomic Nazarov-Wenzl algebra is referred to as the cyclotomic Brauer algebra. This paper focuses on computing the decomposition numbers of the cyclotomic Brauer algebra over $\mathbb{C}$ with arbitrary parameters. We show that these decomposition numbers can be expressed in terms of the parabolic Kazhdan-Lusztig polynomials of type $D_n$, with a parabolic subgroup of type $A$, under Condition 1.2.

math.RT↗
arXiv2024

Affine and cyclotomic Schur categories

Using the affine web category introduced in a prequel as a building block, we formulate a diagrammatic $\Bbbk$-linear monoidal category, the affine Schur category, for any commutative ring $\Bbbk$. We then formulate diagrammatic categories, the cyclotomic Schur categories, with arbitrary parameters at positive integral levels. Integral bases consisting of elementary diagrams are obtained for affine and cyclotomic Schur categories. A second diagrammatic basis, called a double SST basis, for any such cyclotomic Schur category is also established, leading to a conjectural higher level RSK correspondence. We show that the endomorphism algebras with the double SST bases are isomorphic to degenerate cyclotomic Schur algebras with their cellular bases, providing a first diagrammatic presentation of the latter. The presentations for the affine and cyclotomic Schur categories are much simplified when $\Bbbk$ is a field of characteristic zero.

math.RT↗
arXiv2024

Affine and cyclotomic webs

Generalizing the polynomial web category, we introduce a diagrammatic $\Bbbk$-linear monoidal category, the affine web category, for any commutative ring $\Bbbk$. Integral bases consisting of elementary diagrams are obtained for the affine web category and its cyclotomic quotient categories. Connections between cyclotomic web categories and finite $W$-algebras are established, leading to a diagrammatic presentation of idempotent subalgebras of $W$-Schur algebras introduced by Brundan-Kleshchev. The affine web category will be used as a basic building block of another $\Bbbk$-linear monoidal category, the affine Schur category, formulated in a sequel.

math.RT↗
arXiv2023

Affine Brauer category and parabolic category $\mathcal O$ in types $B, C, D$

A strict monoidal category referred to as affine Brauer category $\mathcal{AB}$ is introduced over a commutative ring $\kappa$ containing multiplicative identity $1$ and invertible element $2$. We prove that morphism spaces in $\mathcal{AB}$ are free over $\kappa$. The cyclotomic (or level $k$) Brauer category $\mathcal{CB}^f(\omega)$ is a quotient category of $\mathcal{AB}$. We prove that any morphism space in $\mathcal{CB}^f(\omega)$ is free over $\kappa$ with maximal rank if and only if the $\mathbf u$-admissible condition holds in the sense of (1.30). Affine Nazarov-Wenzl algebras and cyclotomic Nazarov-Wenzl algebras will be realized as certain endomorphism algebras in $\mathcal{AB}$ and $\mathcal{CB}^f(\omega)$, respectively. We will establish higher Schur-Weyl duality between cyclotomic Nazarov-Wenzl algebras and parabolic BGG categories $\mathcal O$ associated to symplectic and orthogonal Lie algebras over the complex field $\mathbb C$. This enables us to use standard arguments in [1,26,27] to compute decomposition matrices of cyclotomic Nazarov-Wenzl algebras. The level two case was considered by Ehrig and Stroppel in [14].

math.RT↗
arXiv2023

Discriminants of quantized walled Brauer algebras

In this paper, we compute Gram determinants associated to all cell modules of quantized walled Brauer algebras $\mathscr B_{r, t}(\rho, q)$ over an arbitrary field $\kappa$. Suppose $e$ is the quantum characteristic of $q^2$. We classify the blocks of $\mathscr B_{r, t}(\rho, q)$ when $e>\max\{r,t\}$ and $\rho^2=q^{2n}$, $n\in\mathbb Z$. As an application, we give a criterion for a cell module of $\mathscr B_{r, t}(\rho, q)$ being equal to its simple head over $\kappa$.

math.QA↗
arXiv2023

Representations of Brauer category and categorification

We study representations of the locally unital and locally finite dimensional algebra $B$ associated to the Brauer category $\mathcal B(\delta_0)$ with defining parameter $\delta_0$ over an algebraically closed field $K$ with characteristic $p\neq 2$. The Grothendieck group $K_0(B\text{-mod}^\Delta)$ will be used to categorify the integrable highest weight $\mathfrak {sl}_{K}$-module $ V(\varpi_{\frac{\delta_0-1}{2}})$ with the fundamental weight $\varpi_{\frac{\delta_0-1}{2}}$ as its highest weight, where $B$-mod$^\Delta$ is a subcategory of $B$-lfdmod in which each object has a finite $\Delta$-flag, and $\mathfrak {sl}_{K}$ is either $\mathfrak{sl}_\infty$ or $\hat{\mathfrak{sl}}_p$ depending on whether $p=0$ or $2\nmid p$. As $\mathfrak g$-modules, $\mathbb C\otimes_{\mathbb Z} K_0(B\text{-mod}^\Delta)$ is isomorphic to $ V(\varpi_{\frac{\delta_0-1}{2}})$, where $\mathfrak g$ is a Lie subalgebra of $\mathfrak {sl}_{K}$ (see Definition~4.2). When $p=0$, standard $B$-modules and projective covers of simple $B$-modules correspond to monomial basis and so-called quasi-canonical basis of $V(\varpi_{\frac{\delta_0-1}{2}}) $, respectively.

math.RT↗
arXiv2023

Blocks of the Brauer category over the complex field

Let $\mathcal B(\delta)$ be the Brauer category over the complex field $\mathbb C$ with the parameter $\delta$. In non-semisimple case, $\delta$ is an integer, and each weight space of $(\frac{\delta}2-1)$th semi-infinite wedge space corresponds to either a single block or a union of two different blocks of $\mathcal B(\delta)$-lfdmod, the category of the locally finite-dimensional representations of $\mathcal B(\delta)$. Furthermore, each block contains an infinite number of irreducible representations of $\mathcal B(\delta)$, and all blocks of $\mathcal B(\delta)$-lfdmod can be obtained in this way

math.RT↗
arXiv2023

Representation type of cyclotomic quiver Hecke algebras of type $A_\ell^{(1)}$

We first investigate a connected quiver consisting of all dominant maximal weights for an integrable highest weight module in affine type A. This quiver provides an efficient method to obtain all dominant maximal weights. Then, we completely determine the representation type of cyclotomic Khovanov-Lauda-Rouquier algebras of arbitrary level in affine type A, by using the quiver we construct. This result gives a complete classification for the representation type of blocks of cyclotomic Hecke algebras since cyclotomic KLR algebras of type $A^{(1)}_\ell$ form a one-parameter family and cyclotomic Hecke algebras occur at a special parameter, i.e., $t=-2$ if $\ell=1$ and $t=(-1)^{\ell+1}$ if $\ell\geq2$.

math.RT↗
arXiv2022

The periplectic $q$-Brauer category

We introduce the periplectic $q$-Brauer category over an integral domain of characteristic not $2$. This is a strict monoidal supercategory and can be considered as a $q$-analogue of the periplectic Brauer category. We prove that the periplectic $q$-Brauer category admits a split triangular decomposition in the sense of Brundan-Stroppel. When the ground ring is an algebraically closed field, the category of locally finite dimensional right modules for the periplectic $q$-Brauer category is an upper finite fully stratified category in the sense of Brundan and Stroppel. We prove that periplectic $q$-Brauer algebras defined in [1] are isomorphic to endomorphism algebras in the periplectic $q$-Brauer category. Furthermore, a periplectic $q$-Brauer algebra is a standardly based algebra in the sense of Du and Rui. We construct Jucys-Murphy basis for any standard module of the periplectic $q$-Brauer algebra with respect to a family of commutative elements called Jucys-Murphy elements. Via them, we classify blocks for both periplectic $q$-Brauer category and periplectic $q$-Brauer algebras in generic case. Our result shows that both periplectic $q$-Brauer category and periplectic $q$-Brauer algebras are always not semisimple over any algebraically closed field.

math.RT↗
arXiv2021

Representations of cyclotomic oriented Brauer categories

Let $A$ be the locally unital algebra associated to a cyclotomic oriented Brauer category over an arbitrary algebraically closed field $\Bbbk$ of characteristic $p\ge 0$. The category of locally finite dimensional representations of $A $ is used to give the tensor product categorification (in the general sense of Losev and Webster) for an integrable lowest weight with an integrable highest weight representation of the same level for the Lie algebra $\mathfrak g$, where $\mathfrak g$ is a direct sum of copies of $\mathfrak {sl}_\infty$ (resp., $ \hat{\mathfrak {sl}}_p$ ) if $p=0$ (resp., $p>0$). Such a result was expected in [3] when $\Bbbk=\mathbb C$ and proved previously by Brundan in [2] when the level is $1$.

math.RT↗