Affine Determinantial Modules in Quantum Algebras

• Affine determinantial modules are real simple modules constructed as the heads of ordered tensor products of affine cuspidal modules using i-box combinatorics.
• They satisfy generalized T-systems through categorical exchange relations, linking quantum affine representations to cluster variables.
• Their combinatorial framework with i-boxes and admissible chains extends classical KR-modules to both untwisted and twisted settings in monoidal categorification.

Searching arXiv for recent and foundational papers on affine determinantial modules, monoidal categorification, and determinantial modules. Affine determinantial modules are a family of real simple modules over quantum affine algebras introduced to extend the representation-theoretic role of Kirillov–Reshetikhin modules and to unify affine analogues of T-systems with determinantial relations for quantum unipotent minors (Kashiwara et al., 2021). In the formulation of Kashiwara, Kim, Oh, and Park, these modules are attached to combinatorial data called $i$-boxes arising from a PBW-pair, and they are defined as simple heads of ordered tensor products of affine cuspidal modules (Kashiwara et al., 2021). Their significance lies in three linked features: they form large commuting families organized by admissible chains of $i$-boxes, they satisfy generalized T-systems expressed by short exact sequences, and they furnish the cluster variables in monoidal categorifications of cluster algebras associated with quantum affine algebras (Kashiwara et al., 2021). Subsequent work extends the construction to arbitrary quantum affine algebras of untwisted or twisted type, arbitrary complete duality data, and arbitrary braid-expression sequences, while related work on quiver Hecke algebras situates determinantial modules and their affinizations inside affine highest weight structures (Kashiwara et al., 18 Sep 2025, Murata, 2024).

1. Definition and ambient representation-theoretic setting

Let $U'_q(\mathfrak{g})$ be the quantum affine algebra for an affine Kac–Moody algebra $\mathfrak{g}$. In the 2021 construction, affine determinantial modules are defined relative to a PBW-pair $(D,\mathbf{w}_0)$, where $D$ is a strong duality datum yielding a system of affine cuspidal modules $S_k$ (Kashiwara et al., 2021). The basic combinatorial datum is an $i$-box, namely an interval $[a,b]$ of integers such that $i_a=i_b=i$ in the sequence $i$0 attached to the PBW-pair (Kashiwara et al., 2021).

For such an $i$1-box, the affine determinantial module is defined by

$i$2

where $i$3 denotes the head, i.e. the maximal semisimple quotient, and the symbols $i$4 and $i$5 denote the shifts prescribed by the PBW-pair (Kashiwara et al., 2021). The defining feature is therefore not a presentation by generators and relations, but a categorical construction as the simple top of a carefully ordered tensor product of affine cuspidal modules.

The 2025 extension reformulates the same idea in a broader framework. For a quantum affine algebra $i$6 of untwisted or twisted type, a complete duality datum $i$7, and a sequence $i$8 of simple roots, one first defines affine cuspidal modules $i$9 by applying reflection functors determined by the duality datum (Kashiwara et al., 18 Sep 2025). Then for an $U'_q(\mathfrak{g})$0-box $U'_q(\mathfrak{g})$1 with $U'_q(\mathfrak{g})$2, the associated affine determinantial module is

$U'_q(\mathfrak{g})$3

This broader formulation makes explicit that affine determinantial modules depend on both duality data and a possibly nonreduced expression sequence, rather than only on data analogous to reduced words (Kashiwara et al., 18 Sep 2025).

A persistent structural property across these formulations is that each affine determinantial module is a real simple module (Kashiwara et al., 2021, Kashiwara et al., 18 Sep 2025). In this context, “real” means that the tensor square behaves rigidly enough to support cluster-theoretic mutation mechanisms. This suggests that the class was designed not merely as a larger supply of simples, but as one with particularly strong monoidal control.

2. Relation to affine cuspidal modules and to Kirillov–Reshetikhin modules

Affine determinantial modules are built from affine cuspidal modules in the same sense that determinantial objects in related categorifications are built from root modules or cuspidal factors. In the 2021 framework, the modules $U'_q(\mathfrak{g})$4 supplied by the strong duality datum form the elementary building blocks, and the determinantial module associated with an $U'_q(\mathfrak{g})$5-box is obtained by taking the head of their ordered tensor product (Kashiwara et al., 2021). In the 2025 generalization, the affine cuspidal modules $U'_q(\mathfrak{g})$6 are defined directly by iteration of reflection functors, and affine determinantial modules are their determinant-like heads over the sites belonging to the relevant $U'_q(\mathfrak{g})$7-box (Kashiwara et al., 18 Sep 2025).

A central comparison concerns Kirillov–Reshetikhin modules. For certain choices of PBW-pair, especially those arising from Q-data, the affine determinantial modules coincide with the usual KR-modules (Kashiwara et al., 2021). In that sense, KR-modules form a special subfamily of the determinantial construction, rather than a parallel theory. The enlargement is substantial: for general PBW-pairs, affine determinantial modules extend beyond the classical KR setting and provide a much broader class of real simple modules (Kashiwara et al., 2021).

The 2025 treatment makes this enlargement more systematic. It states that affine determinantial modules generalize Kirillov–Reshetikhin and determinantial modules from finite to affine settings and that they can be attached to arbitrary expression sequences and complete duality data (Kashiwara et al., 18 Sep 2025). A plausible implication is that the determinantial perspective replaces the dependence on special orientations or reduced words by a representation-theoretic construction stable under wider combinatorial transformations.

A related but distinct line appears in the quiver Hecke algebra setting. There, determinantial modules $U'_q(\mathfrak{g})$8 are self-dual simple modules categorifying unipotent quantum minors, characterized by

$U'_q(\mathfrak{g})$9

for $\mathfrak{g}$0 and $\mathfrak{g}$1 (Murata, 2024). That paper concerns determinantial modules rather than affine determinantial modules over quantum affine algebras, but it shows how determinantial constructions serve as the key ingredient for standard modules and affine highest weight structures (Murata, 2024). This clarifies the broader conceptual role of determinantial objects: they encode quantum-minor data in a categorical form compatible with convolution or tensor product.

3. Generalized T-systems and exact sequences

The principal algebraic theorem for affine determinantial modules is a generalized T-system. In the 2021 paper, for any $\mathfrak{g}$2-box $\mathfrak{g}$3, there is a short exact sequence

$\mathfrak{g}$4

where $\mathfrak{g}$5, $\mathfrak{g}$6, and the boxes $\mathfrak{g}$7 are determined inductively by the combinatorics of $\mathfrak{g}$8-boxes, and $\mathfrak{g}$9 is the distance in the Dynkin diagram (Kashiwara et al., 2021). This exact sequence simultaneously generalizes the familiar T-systems for KR-modules and determinantial relations among unipotent quantum minors (Kashiwara et al., 2021).

The 2025 paper presents the corresponding exact sequence in the extended framework: $(D,\mathbf{w}_0)$0 with all modules appearing simple and the mutation interpretation made explicit (Kashiwara et al., 18 Sep 2025). The paper further emphasizes that these results hold for arbitrary sequences, not necessarily locally reduced, by reduction through commutation and braid moves (Kashiwara et al., 18 Sep 2025).

These exact sequences are not merely identities in the Grothendieck ring. They are categorical exchange relations. The tensor-product terms on the right and middle correspond to adjacent cluster monomials, while the leftmost tensor product represents the exchange term arising from neighboring Dynkin vertices. In this sense, the T-system is the mechanism by which affine determinantial modules translate monoidal representation theory into cluster mutation data (Kashiwara et al., 2021, Kashiwara et al., 18 Sep 2025).

The 2025 paper also records explicit interaction formulas for commuting affine determinantial modules: $(D,\mathbf{w}_0)$1 where $(D,\mathbf{w}_0)$2 is given explicitly in terms of root-theoretic data (Kashiwara et al., 18 Sep 2025). This places the T-system in a larger calculus of pairings and commutation degrees.

4. Combinatorics of $(D,\mathbf{w}_0)$3-boxes, admissible chains, and box moves

A distinctive feature of the theory is the introduction of new combinatorial tools tailored to affine determinantial modules. An $(D,\mathbf{w}_0)$4-box is a finite interval $(D,\mathbf{w}_0)$5 whose endpoints carry the same color $(D,\mathbf{w}_0)$6 in the underlying sequence (Kashiwara et al., 2021, Kashiwara et al., 18 Sep 2025). The relevant families of such boxes are organized into admissible chains, sequences of $(D,\mathbf{w}_0)$7-boxes satisfying range and compatibility conditions (Kashiwara et al., 2021, Kashiwara et al., 18 Sep 2025).

In the 2021 paper, if $(D,\mathbf{w}_0)$8 is an admissible chain, then the associated family

$(D,\mathbf{w}_0)$9

is a mutually commuting family of real simple modules (Kashiwara et al., 2021). This is a decisive representation-theoretic fact, because mutually commuting real simples are precisely the kind of objects from which monoidal seeds can be built. An example given there is that when $D$0 is an interval of length $D$1, the chain $D$2 is admissible and yields the initial cluster variables in the categorification (Kashiwara et al., 2021).

The same paper introduces box moves, combinatorial operations on admissible chains that describe the T-system combinatorially and model cluster mutations (Kashiwara et al., 2021). The notion of T-equivalence of admissible chains then encodes mutation equivalence of the associated monoidal seeds (Kashiwara et al., 2021). The 2025 paper preserves this viewpoint and states that admissible chains of $D$3-boxes organize monoidal seeds, while box moves are categorically realized by the T-system exact sequences (Kashiwara et al., 18 Sep 2025).

The combinatorics is not ancillary. It provides a concrete dictionary between interval data and monoidal-categorical operations. Rather than indexing cluster variables abstractly, the theory labels them by $D$4-boxes; rather than postulating mutation, it derives mutation from box moves and exact sequences. This suggests that the “determinantial” terminology is structural: the modules inherit both order and exchange behavior from interval combinatorics in much the same way that minors in classical algebra inherit determinantal identities from positions in a matrix.

5. Monoidal categorification of cluster algebras

The primary application of affine determinantial modules is monoidal categorification. In the 2021 paper, for each admissible chain $D$5, the collection $D$6 forms the cluster variables of a monoidal seed, and the associated exchange quiver is constructed explicitly with vertices indexed by $D$7-boxes and arrows determined by combinatorial rules reflecting the Dynkin diagram and chain structure (Kashiwara et al., 2021). The seed is written

$D$8

The main theorem states that for a PBW-pair $D$9, and any admissible chain $S_k$0 of $S_k$1-boxes of range $S_k$2, the monoidal category generated by these modules gives a monoidal categorification of a cluster algebra (Kashiwara et al., 2021). Concretely,

$S_k$3

all cluster monomials correspond to isomorphism classes of real simple modules, and the cluster variables are precisely the affine determinantial modules $S_k$4 (Kashiwara et al., 2021).

The 2025 sequel extends this program substantially. For any positive braid monoid element $S_k$5, it defines a distinguished subcategory $S_k$6 inside the Hernandez–Leclerc category and proves that this subcategory provides a monoidal categorification of the corresponding cluster algebra structure on the quantum or specialized Grothendieck ring (Kashiwara et al., 18 Sep 2025). Affine determinantial modules associated with $S_k$7-boxes furnish the cluster variables, and each monoidal seed is completely $S_k$8-admissible (Kashiwara et al., 18 Sep 2025). The paper also states a quantum cluster algebra structure on the algebra $S_k$9, with cluster variables mapping to elements of the normalized global basis and all cluster monomials corresponding to cluster monomial modules (Kashiwara et al., 18 Sep 2025).

Special cases recover Hernandez–Leclerc categories and earlier monoidal categorifications (Kashiwara et al., 2021, Kashiwara et al., 18 Sep 2025). Thus the determinantial framework both subsumes prior KR-based constructions and extends them to a setting controlled by arbitrary duality data and braid expressions. This suggests that affine determinantial modules are the canonical cluster-theoretic variables once one moves beyond the limitations of the original KR-module regime.

6. Extensions, related determinantial theories, and structural significance

The 2025 generalization is notable for removing the restriction to locally reduced sequences. It states that the full PBW, T-system, and categorification theory holds for arbitrary expression sequences and that the structures are independent of the expression, with invariance under commutation and braid moves (Kashiwara et al., 18 Sep 2025). Standard modules are described as ordered tensor products of affine cuspidal modules, and all simples are obtained as heads of PBW monomials, with a unitriangular relation between standard and simple modules (Kashiwara et al., 18 Sep 2025). This situates affine determinantial modules within a broader categorical PBW theory.

A complementary perspective comes from quiver Hecke algebras. The 2024 paper proves that the category of finitely generated graded modules over the quiver Hecke algebra of arbitrary type admits numerous stratifications and that the full subcategory corresponding to the quantum unipotent subgroup associated with any Weyl group element is an affine highest weight category (Murata, 2024). The key ingredient is a realization of standard modules via determinantial modules, together with R-matrix techniques (Murata, 2024). Standard modules are constructed as iterated convolutions of affinizations of determinantial modules,

$i$0

and their endomorphism algebras are identified as symmetric polynomial rings (Murata, 2024).

Although this quiver Hecke algebra theory is not the same object as affine determinantial modules over quantum affine algebras, the relation is conceptually close. The 2021 paper already states that its generalized T-systems unify the T-systems among KR-modules and unipotent quantum minors in quantum unipotent coordinate algebras (Kashiwara et al., 2021). The 2024 paper then shows that determinantial modules and their affinizations control standard objects and stratifications on the quiver Hecke side (Murata, 2024). A plausible implication is that determinantial constructions form a common categorical language linking quantum affine representation theory, quantum unipotent subgroups, and highest weight or cluster structures.

Several misconceptions are clarified by these developments. Affine determinantial modules are not merely renamed KR-modules; KR-modules appear only as a special subfamily under particular PBW choices (Kashiwara et al., 2021). Nor is the theory confined to untwisted simply laced settings; the 2025 sequel explicitly treats arbitrary quantum affine algebras of either untwisted or twisted type (Kashiwara et al., 18 Sep 2025). Finally, the combinatorics of boxes and chains is not a secondary indexing device: it is the mechanism by which commuting families, T-systems, and seed mutations are all rendered explicit (Kashiwara et al., 2021, Kashiwara et al., 18 Sep 2025).

In this representation-theoretic landscape, affine determinantial modules occupy a central position. They are explicit simple modules defined from affine cuspidal data, robust enough to satisfy generalized T-systems, sufficiently structured to assemble into monoidal seeds, and broad enough to recover previously known KR-based and determinantial phenomena as special cases (Kashiwara et al., 2021, Kashiwara et al., 18 Sep 2025). Their interaction with related determinantial constructions in quiver Hecke categories further indicates that they belong to a wider determinantial paradigm for categorifying quantum algebraic structures (Murata, 2024).