---
title: Affine Cuspidal Modules
url: https://www.emergentmind.com/topics/affine-cuspidal-modules
type: topic
---

# Affine Cuspidal Modules

Searching arXiv for recent and foundational papers on affine cuspidal modules and closely related KLR/quantum affine constructions.
Affine cuspidal modules are irreducible building blocks attached to affine root data, defined relative to an ordering of positive roots and characterized by stringent restriction-vanishing conditions under parabolic or tensor-factor decompositions. In the representation theory of affine Khovanov–Lauda–Rouquier algebras of type \(A\), they occur as the real-root constituents \(L(\beta)\) and the imaginary semicuspidal constituents \(L(\nu)\) that determine proper standard modules and thereby classify all simple modules via root partitions [2405.15759]. In the more combinatorial Specht-theoretic realization developed for affine type \(A\), affine cuspidal modules are encoded by ribbons and skew diagrams, while in the quantum affine setting they appear as PBW-type tensor factors transported through duality functors and ordered tensor products [2009.07344], [2005.04838], [2011.14253]. Across these settings, the term denotes not merely “modules with no parabolic origin,” but a structured family indexed by roots, convex orders, or PBW data, with real and imaginary directions requiring distinct constructions.

## 1. Affine type \(A\) KLR algebras and convex-order data

For affine type \(A\), one fixes an integer \(e\ge 2\) and the affine Dynkin diagram of type \(A^{(1)}_{e-1}\) with vertex set \(I=\mathbb{Z}/e\mathbb{Z}=\{0,1,\dots,e-1\}\) arranged in a cycle. The root lattice is \(\mathbb{Z}I\) with simple roots \(\alpha_i\), and the positive roots are
\[
\Phi_+:=\{\alpha(t,L):=\alpha_{\overline t}+\alpha_{\overline{t+1}}+\cdots+\alpha_{\overline{t+L-1}}\mid t\in\mathbb{Z},\,L\in\mathbb{Z}_{>0}\}.
\]
The height is \(\mathrm{ht}(\alpha(t,L))=L\), the null root is
\[
\delta=\alpha_0+\alpha_1+\cdots+\alpha_{e-1}=\alpha(t,e),
\]
and the positive imaginary roots are \(\{m\delta\mid m>0\}\). The positive real roots are those \(\alpha(t,L)\) with \(\overline L\neq \overline 0\), and the indivisible roots are
\[
\Psi=\Phi_+^{\mathrm{re}}\sqcup\{\delta\}
\]
[2405.15759].

For \(\alpha\in \mathbb{Z}_{\ge 0}I\) of height \(n\), the KLR algebra \(R_\alpha\) over a field \(\Bbbk\) is generated by mutually orthogonal idempotents \(e(\mathbf{i})\), polynomial generators \(y_1,\dots,y_n\), and braid generators \(\psi_1,\dots,\psi_{n-1}\), subject to the standard KLR relations. The graded induction product is denoted by “\(\circ\)” [2405.15759]. A central organizing device is a convex preorder \(\succeq\) on \(\Phi_+\): a total preordering satisfying convexity and the condition that ties occur only among imaginary roots. Such a preorder induces a total order on \(\Psi\), and many choices exist. One convenient class arises from a totally ordered vector space \((V,\ge)\) and a linear map \(h:\mathbb{Z}I\to V\) with \(\beta\mapsto h(\beta)/\mathrm{ht}(\beta)\) injective on \(\Psi\), via
\[
\beta \succeq \gamma \Longleftrightarrow \frac{h(\beta)}{\mathrm{ht}(\beta)}\ge \frac{h(\gamma)}{\mathrm{ht}(\gamma)}.
\]
Given a residue permutation \(\theta=(\theta_1,\dots,\theta_e)\), one can choose \(\succeq\) so that “\(\beta\succ\delta\)” precisely when \(p(\beta)\) lies in the finite positive system determined by \(\theta\) [2405.15759].

This dependence on convex preorder is fundamental. In the KLR framework of cuspidal systems, the ordering determines both the definition of cuspidality and the structure of proper standard modules [1210.6556]. In the combinatorial theory of skew shapes, the same ordering governs removable ribbons, unique cuspidal tilings, and the corresponding bilexicographic bounds on constituents of skew Specht modules [2009.07344]. In the quantum affine PBW setting, the same role is played by a reduced expression of the longest Weyl group element, which induces a convex order on positive roots and hence a sequence of cuspidal factors [2011.14253], [2005.04838].

## 2. Cuspidal and semicuspidal modules, and root-partition classification

Fix a convex preorder \(\succeq\). For a real positive root \(\beta\in\Phi_+^{\mathrm{re}}\), a finite-dimensional simple \(R_\beta\)-module \(L(\beta)\) is called cuspidal if its restriction along the canonical comultiplication is nonzero only when the left tensor factor is strictly smaller than the right tensor factor in the convex order. More precisely, if \(\operatorname{Res}_{\gamma,\beta-\gamma}L(\beta)\neq 0\), then \(\gamma\prec \beta-\gamma\) [2405.15759]. This is the affine-type-\(A\) formulation of the general affine KLR definition, where semicuspidality requires only weak inequalities and cuspidality is the case \(m=1\) with strict inequalities [1210.6556], [2009.07344].

Imaginary directions require a separate notion. For \(d>0\), an \(R_{d\delta}\)-module is imaginary semicuspidal if every nonzero restriction along a decomposition \(d\delta=d_1\delta+\cdots+d_m\delta\) lies entirely in the “imaginary string” in convex order. The simple imaginary semicuspidal modules are indexed by \((e-1)\)-multipartitions \(\nu\) of \(d\), and are written \(L(\nu)\) [2405.15759]. This distinction between real cuspidals and imaginary semicuspidals is already present in the foundational cuspidal-system theory, where irreducible modules over \(R_\alpha\) are classified only once the imaginary sector is incorporated [1210.6556].

The classification of simples proceeds through root partitions. For \(\alpha\in \mathbb{Z}_{\ge 0}I\), a Kostant partition is a function \(K=(K_\beta)_{\beta\in\Psi}\) with nonnegative integer values and \(\sum_{\beta\in\Psi}K_\beta\beta=\alpha\). Writing the nonzero parts in descending convex order gives
\[
K=(\beta_1^{K_{\beta_1}}|\cdots|\beta_u^{K_{\beta_u}}|\delta^{K_\delta}|\beta_{u+1}^{K_{\beta_{u+1}}}|\cdots|\beta_t^{K_{\beta_t}}).
\]
A root partition is a pair
\[
\pi=(K,\nu),\qquad \nu=(\nu^{(1)}|\dots|\nu^{(e-1)}),
\]
where \(\nu\) is an \((e-1)\)-multipartition of \(K_\delta\) [2405.15759].

Associated to \(\pi\) is the proper standard module
\[
\bar\Delta(\pi)\cong
L(\beta_1)^{\circ K_{\beta_1}}\circ\cdots\circ
L(\beta_u)^{\circ K_{\beta_u}}\circ
L(\nu)\circ
L(\beta_{u+1})^{\circ K_{\beta_{u+1}}}\circ\cdots\circ
L(\beta_t)^{\circ K_{\beta_t}},
\]
formed in decreasing convex order. This module has a unique self-dual simple head \(L(\pi)\), and the set \(\{L(\pi)\mid \pi\in \Pi(\alpha)\}\) gives all simple \(R_\alpha\)-modules up to grading shift [2405.15759]. The same conceptual structure already appears in the earlier theory of cuspidal systems for affine KLR algebras: standard modules built from ordered induction products of real cuspidals and imaginary modules have irreducible heads and provide a complete classification of irreducibles [1210.6556].

A common misconception is that “affine cuspidal modules” refers only to real-root modules. In the KLR literature summarized here, the affine cuspidal system necessarily includes the imaginary semicuspidal sector, because without the modules \(L(\nu)\) indexed by multipartitions, the classification of all irreducibles is incomplete [1210.6556], [2405.15759]. A second misconception is that the imaginary modules are secondary or abstract artifacts. The skew Specht construction shows that they admit explicit combinatorial realizations by skew diagrams \(\zeta(\nu)\), with decomposition numbers controlled by level-one RoCK blocks [2405.15759].

## 3. Ribbon combinatorics, skew shapes, and Specht realizations

In affine type \(A\), the combinatorics of skew shapes furnishes a concrete model for cuspidal and semicuspidal modules. Nodes are pairs \(u=(u_1,u_2)\in\mathbb{Z}^2\), with residue \(\operatorname{res}(u)=u_2-u_1\in I\). For a finite subset \(T\subset \mathbb{Z}^2\), the content is
\[
\operatorname{cont}(T)=\sum_{u\in T}\alpha_{\operatorname{res}(u)}.
\]
A skew shape is a finite set which is order-convex in the southeast partial order; a ribbon is a nonempty thin connected skew shape [2009.07344].

A key theorem is that every cuspidal skew shape is a ribbon, and its content lies in the set of indivisible roots. For each real \(\beta\in \Phi_+^{\mathrm{re}}\) there is a unique cuspidal ribbon \(\mathcal{R}_\beta\), while for \(\delta\) there are distinguished imaginary cuspidal ribbons \(\mathcal{R}_t\) indexed by the southwest residue class [2009.07344]. In the earlier skew-Specht theory for balanced convex preorders, the corresponding result states that all real cuspidal modules are graded skew Specht modules for certain hook-shaped skew diagrams [1412.7514]. The later ribbon-tableaux treatment strengthens this by classifying all cuspidal and semicuspidal skew shapes for any convex preorder on the positive roots of affine type \(A\) [2009.07344].

Every skew shape \(T\) has a unique cuspidal Kostant tiling \(I_T\), obtained by iteratively removing minimal southeast-removable ribbons. The contents of the tiles form a Kostant sequence decreasing in the convex order, and the associated Kostant partition \(K(I_T)\) is maximal in the bilexicographic order among all Kostant tilings of \(T\) [2009.07344]. This yields a sharp combinatorial upper bound on the labels of simple factors of the skew Specht module \(S^T\). Moreover, \(S^T\) is cuspidal or semicuspidal if and only if \(T\) is cuspidal or semicuspidal [2009.07344].

These results culminate in the 2024 skew-Specht description of affine cuspidal systems. For each real root \(\beta\), one has an explicit ribbon \(\zeta(\beta)\) with \(\operatorname{cont}(\zeta(\beta))=\beta\) and
\[
S^{\zeta(\beta)}\cong L(\beta)
\]
up to shift [2405.15759]. For the imaginary direction, one constructs \(e-1\) distinct \(\delta\)-ribbons \(\zeta_1,\dots,\zeta_{e-1}\), and for an \((e-1)\)-multipartition \(\nu\) of \(d\), defines a skew diagram \(\zeta(\nu)\) by dilating each node of \(\nu^{(i)}\) by \(\zeta_i\). Then \(\operatorname{cont}(\zeta(\nu))=d\delta\), and the corresponding skew Specht module is indecomposable semicuspidal with simple head
\[
\operatorname{hd}(S^{\zeta(\nu)})\cong L(\nu).
\]
Its decomposition multiplicities satisfy
\[
[S^{\zeta(\nu)}:L(\mu)]=d^{\mathrm{RoCK}}_{\nu,\mu}
\]
for \((e-1)\)-multipartitions \(\nu,\mu\) of \(d\) [2405.15759].

For a general root partition \(\pi=(K,\nu)\), the concatenated skew diagram
\[
\zeta(\pi)=\left(\zeta(\beta_1)^{K_{\beta_1}} \Big| \cdots \Big| \zeta(\beta_u)^{K_{\beta_u}} \Big| \zeta(\nu) \Big| \zeta(\beta_{u+1})^{K_{\beta_{u+1}}} \Big| \cdots \Big| \zeta(\beta_t)^{K_{\beta_t}}\right)
\]
yields an indecomposable skew Specht module \(S^{\zeta(\pi)}\) with simple head \(L(\pi)\). It surjects onto \(\bar\Delta(\pi)\), has \([S^{\zeta(\pi)}:L(\pi)]=1\), and admits a filtration by proper standard modules \(\bar\Delta(K,\mu)\) with multiplicities given by the same RoCK decomposition numbers \(d^{\mathrm{RoCK}}_{\nu,\mu}\) [2405.15759]. This realizes affine cuspidal systems entirely within skew-tableaux combinatorics.

A plausible implication is that the Specht-theoretic model turns the abstract existence theorems of cuspidal systems into an effective computational framework: the papers explicitly state that skew Specht modules provide cyclic presentations, cellular bases, multiplicity formulas, and practical access to decomposition numbers and branching compatible with the cuspidal formalism [2405.15759], [2009.07344].

## 4. RoCK blocks, core truncation, and imaginary semicuspidal categories

The 2024 theory links affine cuspidal modules to cyclotomic KLR algebras through RoCK and core blocks. A cyclotomic KLR block is a RoCK block if and only if there exists a convex preorder \(\succeq\) such that every multipartition in the block has its unique cuspidal tiling built only from ribbons with content \(\succeq \delta\), and it is a core block if and only if all tiles have content \(\succ \delta\) [2405.15759]. This gives a purely tiling-theoretic characterization of RoCK and core blocks.

For \(\omega,\beta\in\mathbb{Z}_{\ge 0}I\) and cyclotomic weight \(\Lambda\), the \(\omega\)-skew cyclotomic quotient \(R^{\Lambda/\omega}_\beta\) is defined as the image of the natural inclusion \(R_\beta\hookrightarrow R_{\omega+\beta}\) followed by the cyclotomic projection. If \(\omega\) is a core, then \(R^{\Lambda/\omega}_\beta\) is a graded cellular algebra with cell modules given by skew Specht modules \(S^{\mu/\rho}\), where \(\rho\) is the core partition of content \(\omega\). There is an exact functor
\[
\mathcal{T}:R^\Lambda_{\omega+\beta}\text{-mod}\longrightarrow R^{\Lambda/\omega}_\beta\text{-mod}
\]
sending Specht modules \(S^\mu\) to skew Specht modules \(S^{\mu/\rho}\), and simples to simples or zero [2405.15759].

This functor becomes decisive in the imaginary sector. For fixed \(\succeq\) and \(d>0\), there exists a level-one charge \(\kappa\), a core partition \(\rho\) of content \(\omega\), and a level-one RoCK block \(R^{\Lambda_\kappa}_{\omega+d\delta}\) such that \(\mathcal{T}\) is a Morita equivalence
\[
\mathcal{T}:R^{\Lambda_\kappa}_{\omega+d\delta}\text{-mod}\to R^{\Lambda_\kappa/\omega}_{d\delta}\text{-mod},
\]
and for each \((e-1)\)-multipartition \(\nu\) of \(d\),
\[
\mathcal{T}S^{\lambda(\nu)}\cong S^{\lambda(\nu)/\rho}\cong S^{\zeta(\nu)}.
\]
The simple heads \(\operatorname{hd}(S^{\zeta(\nu)})\) give all simple \(R^{\Lambda_\kappa/\omega}_{d\delta}\)-modules up to shift, these lift to imaginary semicuspidal \(R_{d\delta}\)-modules, and the set \(\{\operatorname{hd}(S^{\zeta(\nu)})\}\) exactly matches the simple imaginary semicuspidals [2405.15759].

This establishes that every simple imaginary semicuspidal module arises via core-truncation from a level-one RoCK block. The decomposition numbers \(d^{\mathrm{RoCK}}_{\nu,\mu}\) then control the multiplicities in the corresponding skew Specht modules [2405.15759]. The claim is stronger than a comparison of decomposition matrices: it is a categorical identification of the imaginary semicuspidal KLR category with a skew cyclotomic cellular category under Morita equivalence.

The relation to earlier work is direct. The 2012 cuspidal-system theory already isolated imaginary modules as the unresolved part of the affine KLR classification, introduced minuscule imaginary modules, and reduced the general classification of imaginary modules to one color through colored imaginary tensor spaces [1210.6556]. The 2024 construction resolves this program in affine type \(A\) by giving explicit skew Specht realizations for all simple imaginary semicuspidals [2405.15759].

## 5. PBW, duality functors, and affine cuspidals for quantum affine algebras

A different but closely related meaning of affine cuspidal modules appears in the Hernandez–Leclerc category of finite-dimensional integrable \(U_q'(\mathfrak{g})\)-modules. In this setting, one begins with a strong duality datum \(D=\{L_i\}_{i\in J}\) consisting of real simple modules with prescribed denominator behavior and orthogonality properties, and constructs a quantum affine Schur–Weyl duality functor
\[
F_D:R_C\text{-gmod}\to \mathcal{C}_{\mathfrak{g}}.
\]
When \(D\) is strong, \(F_D\) sends simple modules to simple modules and preserves the invariants \(\Lambda\) and \(\Lambda^\infty\) [2011.14253]. In the untwisted affine ADE case, the parallel statement is formulated for the duality functor \(\mathcal{F}_{\mathcal{D}}\), with sufficient conditions ensuring that it sends simple modules to simple modules [2005.04838].

Fix a reduced expression \(w_0=s_{i_1}\cdots s_{i_\ell}\) of the longest Weyl group element. Let \(\{V_k\}_{k=1}^\ell\) be the KLR cuspidal modules associated to this reduced expression. The affine cuspidal modules are then defined by transport through the duality functor:
\[
S_k:=F_D(V_k)\quad (1\le k\le \ell),\qquad S_{k+2}:=\mathcal{D}(S_k)\quad \text{for all }k\in\mathbb{Z}
\]
[2011.14253]. In the ADE version, the same definition appears with \(S_k:=F_Q(V_k)\) and \(S_{k+2}:=D(S_k)\) [2005.04838]. Each \(S_k\) is a root module, and for \(a>b\), the pair \((S_a,S_b)\) is strongly unmixed [2011.14253].

The resulting PBW theory closely parallels the KLR proper-standard picture. For \(a=(a_k)_{k\in\mathbb{Z}}\) with finite support, one forms the ordered tensor product
\[
P_{D,w_0}(a):=\cdots\otimes S_2^{\circ a_2}\otimes S_1^{\circ a_1}\otimes S_0^{\circ a_0}\otimes S_{-1}^{\circ a_{-1}}\otimes\cdots,
\]
ordered decreasingly in the index. Its head \(V_{D,w_0}(a)\) is simple, and every simple object of the category arises uniquely in this form [2011.14253]. Moreover, if \(V\) is a simple subquotient of \(P_{D,w_0}(a)\) distinct from \(V_{D,w_0}(a)\), then its parameter is strictly smaller in the bi-lexicographic order [2011.14253]. The ADE paper states the analogous result for \(\mathcal{C}_{\mathfrak g}^0\): every simple module is the head of a unique ordered tensor product of cuspidals, with unitriangular expansion in the Grothendieck ring [2005.04838].

This quantum-affine notion is conceptually parallel to the KLR definition but not identical. In the KLR setting, cuspidality is formulated via restriction conditions with respect to a convex preorder on affine roots [1210.6556], [2405.15759]. In the quantum affine setting, affine cuspidals are defined by transporting KLR cuspidals through a duality functor and using them as PBW tensor factors in \(\mathcal{C}_{\mathfrak g}\) [2011.14253], [2005.04838]. This suggests that “affine cuspidal module” names a common structural role across categorifications rather than a single formal definition.

When the reduced expression is adapted to a \(Q\)-data, the affine cuspidals are often fundamental modules. When it is not adapted, they need not be fundamental [2005.04838], [2011.14253]. This is a useful corrective to the frequent over-identification of cuspidal tensor factors with fundamental or Kirillov–Reshetikhin modules.

## 6. Broader affine Lie-theoretic and superalgebraic meanings

Outside the KLR and quantum affine settings, “cuspidal” retains the classical meaning of “not parabolically induced,” and affine cuspidal modules are studied through parabolic induction from Levi subalgebras. For affine Lie algebras of nonzero central charge, the reduction theorem for pseudo parabolic induction states that if \(V\) is a weight module for the Levi factor of a pseudo parabolic subalgebra with injective central action, then the induced module is irreducible if and only if \(V\) is irreducible [0810.3458]. In this framework, a cuspidal module is one not parabolically induced from any proper parabolic, and the classification of irreducible weight modules reduces to the classification of cuspidal Levi modules [0810.3458].

For affine Kac–Moody algebras \(A_n^{(1)}\), a related conjectural picture connects cuspidality with support: an irreducible weight module is conjectured to be dense if and only if it is cuspidal, and this was confirmed for \(A_2^{(1)}\), \(A_3^{(1)}\), and \(A_4^{(1)}\) by proving that every irreducible non-dense module contains a primitive vector for some parabolic [1711.04843]. Here cuspidal again means “not a quotient of an induced module.”

In affine Lie superalgebras, the role of cuspidal modules is often internal to a Levi factor rather than attached directly to the full affine algebra. For twisted affine Lie superalgebras, quasi-integrable irreducible finite weight modules of nonzero level are shown to be parabolically induced from cuspidal modules over finite-dimensional Levi subalgebras whose root systems contain only real roots [2202.00656]. Likewise, for hybrid irreducible finite weight modules over twisted affine Lie superalgebras, there exist triangular decompositions and finite-dimensional cuspidal Levi modules \(N\) such that
\[
M\cong \operatorname{Ind}_{\mathfrak p}^{\widehat{\mathfrak g}^\sigma}(N)
\]
[1903.04861]. For loop and affine Lie superalgebras at level zero, simple cuspidal bounded modules are evaluation modules, and every simple Harish–Chandra module is parabolically induced from a simple bounded cuspidal Levi module [2104.07517].

These uses differ substantially from the KLR and quantum affine meanings. In Lie-algebraic and superalgebraic contexts, cuspidality is primarily a non-inducibility property, and affine cuspidal modules are often obtained by reducing the problem to finite-dimensional cuspidal modules over Levi subalgebras [0810.3458], [2202.00656], [2104.07517], [1903.04861]. In KLR and quantum affine categorifications, by contrast, cuspidal modules are positive-root-indexed or PBW-indexed atoms from which all simples are assembled by ordered induction or tensor product [1210.6556], [2405.15759], [2011.14253].

This divergence can cause terminological confusion. A plausible implication is that the phrase “affine cuspidal modules” is best treated as context-dependent. In KLR type \(A\), it denotes modules attached to affine roots and multipartitions within a convex-order cuspidal system. In Lie-theoretic affine settings, it denotes non-parabolically-induced irreducible weight modules, or finite-dimensional cuspidal Levi modules used to build affine modules by induction.

## 7. Significance, computational consequences, and examples

The recent affine-type-\(A\) results provide especially explicit examples. For \(e=4\) and a convex preorder realizing the residue permutation \(\theta=(1,3,0,2)\), the paper exhibits real and imaginary ribbons explicitly. One example is
\[
\zeta(\alpha_2+\alpha_3+\alpha_0),
\]
a \(3\)-box ribbon with residues \(2,3,0\). The \(\delta\)-ribbons \(\zeta_1,\zeta_2,\zeta_3\) each have content \(\delta\), with residue patterns
\[
\zeta_1:(1,2;\ 3,0),\qquad
\zeta_2:(0,1;\ 2,3),\qquad
\zeta_3:(2;\ 3;\ 0;\ 1).
\]
For
\[
\nu=((3^2,1)|(2^2)|(2))
\]
of \(d=13\), the diagram \(\zeta(\nu)\) is obtained by tiling each node of \(\nu^{(i)}\) with \(\zeta_i\), and \(S^{\zeta(\nu)}\) is semicuspidal over \(R_{13\delta}\) with head \(L(\nu)\) [2405.15759].

For a general root partition
\[
\pi=\Big(
(\alpha_2+\alpha_3+\alpha_0\mid 2\delta+\alpha_0+\alpha_1+\alpha_2\mid (\delta+\alpha_2+\alpha_3)^2\mid \delta^{13}\mid \delta+\alpha_1),
\ \nu=((3^2,1)|(2^2)|(2))
\Big),
\]
the concatenated diagram \(\zeta(\pi)\) yields an indecomposable \(R_\alpha\)-module \(S^{\zeta(\pi)}\) with simple head \(L(\pi)\), and its filtration multiplicities are governed by the RoCK decomposition numbers \(d^{\mathrm{RoCK}}_{\nu,\mu}\) [2405.15759].

These examples are significant because they make the convex order tangible. Rather than defining cuspidal modules only through restriction conditions, the theory realizes them via ribbons, tableaux, cellular bases, and skew Specht presentations [2009.07344], [2405.15759]. Earlier work had already shown that for balanced convex preorders, all real cuspidal modules are skew hook Specht modules up to grading shift [1412.7514]. The 2024 theory extends this to imaginary semicuspidals and then to all simples.

The broader computational consequences are stated explicitly. The skew Specht perspective provides a combinatorial cover of proper standard modules and their heads, and the identification with RoCK decomposition numbers offers practical formulas when those numbers are known, for example in characteristic \(0\) or \(p>d\) [2405.15759]. The “cuspidal regularization” theorem further shows that if a multipartition admits a \(\zeta(\pi)\)-tiling, then \(S^{\zeta(\pi)}\to S^\lambda\) has nonzero image and \([S^\lambda:L(\pi)]=1\), with all other composition factors labeled by root partitions \(\sigma\le_{bd}\pi\) [2405.15759]. This places branching and regularization into the same root-partition language as affine cuspidal systems.

Taken together, these developments show that affine cuspidal modules sit at the junction of PBW theory, convex orders, skew tableaux, cellularity, and block theory. In affine KLR type \(A\), they are the root-theoretic atoms \(L(\beta)\) and \(L(\nu)\) from which all simples \(L(\pi)\) are constructed [1210.6556], [2405.15759]. In the skew-Specht perspective, they are realized by explicit ribbons and skew diagrams with cellular presentations [2009.07344], [1412.7514], [2405.15759]. In quantum affine categories, they are the tensor factors \(S_k\) obtained from KLR cuspidals through duality functors and used in PBW factorization of simple modules [2011.14253], [2005.04838]. In affine Lie and superalgebra representation theory, the term continues to signal the obstruction to parabolic induction and the reduction of classification to cuspidal Levi data [0810.3458], [2202.00656], [2104.07517], [1903.04861].

Source: https://www.emergentmind.com/topics/affine-cuspidal-modules