pith. sign in

arxiv: 2606.00421 · v1 · pith:TINXLQHQnew · submitted 2026-05-29 · 🧮 math.RT · math.CO

Kleshchev multipartitions, affine Mirkovi\'c-Vilonen polytopes, and representations of KLR algebras in type {tt A}⁽¹⁾₁

Samantha Allen , Jack Isaac , Corinne Moscariello , Robert Muth , Bella Deborah Uwase , Lucas Walton This is my paper

Pith reviewed 2026-06-28 19:20 UTC · model grok-4.3

classification 🧮 math.RT math.CO
keywords B(infinity) crystalaffine Mirkovic-Vilonen polytopesKleshchev multipartitionsupper ledge diagramsKLR algebrastype A1^(1)crystal isomorphisms
0
0 comments X

The pith

Explicit isomorphisms connect affine Mirkovic-Vilonen polytopes, Kleshchev multipartitions, and upper ledge diagrams for the B(∞) crystal in type A1^(1).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs explicit isomorphisms between three different models of the B(∞) crystal in affine type A1. These models are affine Mirkovic-Vilonen polytopes, Kleshchev multipartitions, and a new model called upper ledge diagrams. The isomorphisms preserve the crystal structure, allowing translation of results between the models. This also leads to new methods for completing polytopes and recognizing multipartitions, with applications to the representation theory of KLR algebras through a combinatorial dictionary and branching rules.

Core claim

We construct explicit isomorphisms between affine Mirkovi'c--Vilonen polytopes, Kleshchev multipartitions, and upper ledge diagrams that serve as models for the B(∞) crystal in type A1^(1). We present a direct method for completing an affine MV polytope from the data of one of its boundary root partitions and a non-iterative recognition theorem which characterizes Kleshchev multipartitions in type A1^(1). These results are applied to the representation theory of KLR algebras to yield a combinatorial dictionary between cuspidal- and cellular-theoretic frameworks, along with some augmented branching rules for real root functors of induction and restriction.

What carries the argument

Explicit isomorphisms between the three crystal models that preserve all crystal operations.

If this is right

  • The isomorphisms allow transferring properties between the geometric, partition-based, and diagrammatic models of the crystal.
  • A direct method exists for completing an affine MV polytope from its boundary root partition data.
  • A non-iterative theorem recognizes Kleshchev multipartitions in this type.
  • The results give a combinatorial dictionary between cuspidal- and cellular-theoretic frameworks for KLR algebras.
  • Augmented branching rules are obtained for real root functors of induction and restriction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit maps enable computation of crystal elements by switching to the most convenient model for the task at hand.
  • This approach provides a template that could be adapted for identifying models in other affine types.
  • The dictionary for KLR algebras may help bridge different theoretical frameworks in representation theory.

Load-bearing premise

The three models describe the same underlying B(∞) crystal structure, with the explicit maps preserving all crystal operations.

What would settle it

A case where one of the maps fails to preserve a crystal operator, such as the Kashiwara operator e_i or f_i on some element, would falsify the isomorphisms.

Figures

Figures reproduced from arXiv: 2606.00421 by Bella Deborah Uwase, Corinne Moscariello, Jack Isaac, Lucas Walton, Robert Muth, Samantha Allen.

Figure 1
Figure 1. Figure 1: The affine Mirkovi´c-Vilonen polytopes (left, §4), upper ledge diagrams (cen￾ter, §6), and Kleshchev multipartitions (right, §5) are models for B(∞) in type A (1) 1 . We present direct isomorphisms X ,Y, Z κ, Wκ between these crystals in §7. Along the way, we establish several results of independent interest, the first two of which address significant practical difficulties in working with these crystals: … view at source ↗
Figure 2
Figure 2. Figure 2: At top, a partition λ = (4, 2 2 , 1) and its spar tableau. Below are shown the 2-regular partitions ord(λ) = (7, 4, 2, 1), ext7 (λ) = (4, 2, 1), and ext9 (λ) = (9, 7, 4, 2, 1). Note that calc ◦ ord(λ) = calc(7, 4, 2, 1) = (4, 2 2 , 1) = λ. Conjecture 2.1. If λ, ν ∈ P are such that ν is obtained by deleting the last row of λ, then ord(ν) ⊆ ord(λ). 2.1.2. The calc function. Given µ ∈ P2reg, we construct a (t… view at source ↗
Figure 3
Figure 3. Figure 3: The polytope (π|ϕ) ∈ Π(θ), for θ = 17α1 + 20α0, as discussed in Example 4.1. Example 4.1. Let θ = 17α1 + 20α0, and consider the root partitions π, ϕ ∈ Π(θ) shown in [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Initial layers of the MV crystal, with elements displayed as marked polytopes (see Example 4.3 for an explanation of the notation). The operators e1/f1 appear in red as upward/downward segments respectively. The operators e0/f0 appear in blue. Theorem 4.5. [6, Theorem 4.5] The crystal MV is isomorphic to the crystal B(∞). Remark 4.6. Under the isomorphism of Theorem 4.5, Kashiwara’s ∗-involution on B(∞) co… view at source ↗
Figure 5
Figure 5. Figure 5: Take the multicharge κ with κ1 = κ2 = 0, κ3 = 1, and θ = 7α1+8α0. A level 3 multipartition λ ∈ MPκ (θ) is shown in the center, where λ (1) = (3, 2 2 , 1), λ (2) = (22 , 1), λ (3) = (12 ). The 0-addable boxes in the first three components are highlighted, as is the 0-arc arrangement λ[0] for λ. As λ has one unarced 0-removable box, we have ε0(λ) = 1. The multipartitions e0λ and f0λ are shown to the left and… view at source ↗
Figure 6
Figure 6. Figure 6: Initial layers of the MPκ K crystal for the multicharge κ = (0, 1, 0, 1, . . .). Empty components of multipartitions are not shown. The operators e1/f1 appear in red as upward/downward segments respectively. The operators e0/f0 appear in blue. (1) The partition λ (t) is 2-restricted for all t ∈ [1, ℓ]. (2) For all t ∈ [1, ℓ − 1], we have λ (t) 1 − (λ (t+1)) ′ 1 ≥ δκt,κt+1 − 1. (3) If s ∈ [1, ℓ − 2], u ∈ [s… view at source ↗
Figure 7
Figure 7. Figure 7: Take θ = 14α1 + 14α0. An upper ledge diagram D ∈ UL(θ) is shown at center, and lower ledge diagrams D ′ = flip(D) and D ′′ = sink(D) are shown to either side. 6.2. The upper ledge diagram crystal. Let i ∈ Z2 and D ∈ UL. We define the i-arc arrangement D[i] for D as follows. Reading right to left, whenever an i-top (resp. i-bottom) box is followed by an bi-top (resp. bi-bottom) box with no unarced top (resp… view at source ↗
Figure 8
Figure 8. Figure 8: At left, an upper ledge diagram D ∈ UL shown with 0-arc arrangement D[0]. Shown to the right are the upper ledge diagrams e0D, f0D, and f ∗ 0 D (note e ∗ 0D = 0). 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 … view at source ↗
Figure 9
Figure 9. Figure 9: Initial layers of the UL crystal. The operators e1/f1 appear in red as up￾ward/downward segments respectively. The operators e0/f0 appear in blue. 7. Crystal isomorphisms In this section we describe the main results of the paper—a tool kit of explicit isomorphisms, couched in the language of partition combinatorics, between the A (1) 1 -crystal structures described in §4, 5, and 6. 7.1. Crystal isomorphism… view at source ↗
Figure 10
Figure 10. Figure 10: At left, an upper ledge diagram D ∈ UL, and at right its decomposition into the 1-triple upper ledge diagram trip1 (D) = (D ↑ 1 , D δ 1 , D ↓ 1 ) ∈ UL3 1 . 7.1.2. From root partitions to upper ledge diagrams. Let θ ∈ Z≥0I, and i ∈ Z2. We define a map Xi : Π(θ) → UL(θ) as follows. For π = {π 1 , πδ , π0} ∈ Π(θ), we set D ↑ i = flip ◦ colori ◦ ord(π i ); D δ i = colorbi ◦ double(π δ ); D ↓ i = colorbi ◦ ord… view at source ↗
Figure 11
Figure 11. Figure 11: Computing the upper ledge diagram X1(π) = D (at right) associated to the root partition π = {π 1 , πδ , π0} (at left) [PITH_FULL_IMAGE:figures/full_fig_p014_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Computing the root partition Y1(D) = π = {π 1 , πδ , π0} associated to an upper ledge diagram D. 7.1.4. The crystal isomorphism MV ↔ UL. The following result appears as Theorem 9.6. Theorem E. For θ ∈ Z≥0I and i ∈ Z2, the maps Xi : Π(θ) → UL(θ) and Yi : UL(θ) → Π(θ) are mutually inverse bijections. Moreover, we have mutually inverse A (1) 1 -bicrystal isomorphisms X : MV ∼−→ UL, (π|ϕ) 7→ X1(π) = X0(ϕ) Y :… view at source ↗
Figure 13
Figure 13. Figure 13: An application of split1 to an upper ledge diagram D is shown. The resulting upper ledge diagrams split1 (D)↓, split1 (D)↑ are shown on the right. noting that Dk = ∅ for k ≫ 0 by the definition of multicharges and the map spliti . Now, we define a map Wκ : UL(θ) → MPκ K(θ) as follows. For D ∈ UL(θ), assume splitκ (D) = (D1, D2, . . .). Then, for t ∈ Z>0, let λ (t) be the partition constructed by top-align… view at source ↗
Figure 14
Figure 14. Figure 14: Let θ = 19α1 + 19α0, and κ be a multicharge with κ1 = 1, κ2 = 0, κ3 = 0. At left, an upper ledge diagram D ∈ UL(θ). The computation of Wκ(D) = λ = (λ (1), λ(2), λ(3) , ∅, . . .) ∈ MPκ (θ) is shown from left to right. The second-to-rightmost diagram is the sequence of upper ledge diagrams (D1, D2, D3, ∅, . . .) = splitκ (D). 7.2.2. From Kleshchev multipartitions to upper ledge diagrams. Let D1, D2 ∈ UL. We… view at source ↗
Figure 15
Figure 15. Figure 15: The gluing process for upper ledge diagrams D1, D2. The alignment of dia￾grams is shown in the first pane, and the column shift is shown in the second pane, with the uppermost peak row of D1 marked with a star. The last pane is the resulting upper ledge diagram glue(D1, D2). More generally, let D = (D1, D2, . . .) be an infinite sequence of upper ledge diagrams such that Dk = ∅ for k ≫ 0. If all Dk are em… view at source ↗
Figure 16
Figure 16. Figure 16: Let θ = 16α1 + 21α0 and κ be a multicharge with κ1 = 1, κ2 = 0, κ3 = 1. At left, a Kleshchev multipartition λ = (λ (1), λ(2), λ(3) , ∅, . . .) ∈ MPκ K(θ). The computation of Z κ(λ) = D ∈ UL(θ) is shown from left to right. The second-to-leftmost diagram is the sequence of upper ledge diagrams D = (D1, D2, D3, ∅, . . .) with glue(D) = D. 8. Bicompositions and binary sequences In this long and technical sect… view at source ↗
Figure 17
Figure 17. Figure 17: The polytope P(µ) associated to the MV bicomposition µ as considered in Example 8.18. Example 8.18. Consider the case of µ ∈ Ω MV, with µ given by: µ 1 1 = 1; µ 1 3 = 1; µ 1 4 = 1; µ 1 5 = 1; µ 0 1 = 3; µ 0 2 = 1; µ 0 4 = 1, and µ i m = 0 otherwise. Then the polytope P(µ) which is the convex hull of the points β i m(µ) is shown in [PITH_FULL_IMAGE:figures/full_fig_p026_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: At left, the upper ledge diagram D. The diagram L is shaded in blue, with the boxes lying on r shaded in darker blue. The diagram U is shaded red, B shaded darker red, and the bottom-box members of B shaded darkest red. At center is U ′ , and at right is U ′′—note that the darkest red boxes become the unfrozen bottom boxes in (L,U ′′). r, z would be as well, so z ∈ U, in contradiction of the definition of… view at source ↗
Figure 19
Figure 19. Figure 19: Various arc diagrams related to a multipartition λ ∈ MP κ 2res. At left, the frozen 0-arc diagram λ[0] with frozen boxes shaded in gray. In the center, the thawed 0-arc diagram λ[0] with type A arcs in blue and type B arcs in gray. At right, the usual 0-arc diagram λ[0]. if and only if the image of y is above the image of x in λ. Then, in consideration of the respective freezing processes and Lemma 9.8, c… view at source ↗
Figure 20
Figure 20. Figure 20: From left to right, a skew diagram µ of content 20α0 + 21α1; the leading tableau t µ, and the Garnir tableau g µ u for a box u with Garnir belt highlighted in red. 10.3.4. Specht modules. We now define Specht modules for the KLR algebra associated to skew diagrams, following [35, 48]. Definition 10.2. Let µ be a skew diagram of content θ ∈ Z≥0I. The (skew) Specht module S(µ) ∈ Rθ-mod is the left ideal Rθ1… view at source ↗
Figure 21
Figure 21. Figure 21: Examples of cuspidal/semicuspidal skew diagrams for the convex order ≻ 1 . Theorem 10.4. For i, j ∈ Z2, k ∈ Z>0, and λ ∈ P we have that Li,αj:k ∼= q k−1S(ξi(αj:k)) and Li,λ ∼= hd q c(λ)S(ξi(λ)), where c(λ) = 2|λ| − 2p(λ) − 2 pX (λ) m=1 min  m − 1,  λm − 1 2  [PITH_FULL_IMAGE:figures/full_fig_p048_21.png] view at source ↗
Figure 22
Figure 22. Figure 22: The computation yielding hd F0:3Dκ(λ) ∼= Dκ(µ) as detailed in Example 10.20. λ¯. Let χ i be the partition such that nk(χ i ) is the number of ξi(αbi:k ) tiles in the i-tiling of λ. Then we construct a partition λ T(i) ∈ Pκ 2res by appending cr(ord(χ i )) boxes to the rth column of λ¯ for all r ∈ Z>0 (in essence, shifting the columns of ord(χ i ) up to meet λ¯). See [PITH_FULL_IMAGE:figures/full_fig_p055_… view at source ↗
Figure 23
Figure 23. Figure 23: In the top center, the two i-tilings of an i-quasirestricted partition λ ∈ P0 . Below them are the partitions χ i which record the ribbons used in the tiling, and their spar tableaux spar(χ i ). To the sides, the associated 2-restricted partition λ T(i) . Proposition 10.21. Let i, κ ∈ Z2, and assume λ ∈ Pκ is an i-quasirestricted partition. Then Dκ (λ T(i) ) arises exactly once as a simple factor in S κ (… view at source ↗
Figure 24
Figure 24. Figure 24: Let κ = (1, 0) and λ = ((52 , 2, 1 3 ),(52 , 4 3 , 2 3 )). We arrange λ (1), λ(2) so that the first antidiagonal of 1-residue boxes in λ (2) is aligned with the top left (residue 1) box in in λ (1), and then slide boxes all the way down antidiagonals (passing through but not landing in the gray zone) to get λK = ((6, 5, 4, 3 2 , 2, 1 2 ),(5, 4, 3 2 , 2, 1)). We associate a skew diagram ξ(D) to any upper l… view at source ↗
Figure 25
Figure 25. Figure 25: Computing the skew diagram ξ(D) associated to an upper ledge diagram D. Note ξ(D) is equal to λ\µ, where λ = (8, 7 2 , 6 3 , 5, 4, 3 2 , 2, 1 2 ), µ = (4, 3 3 , 2 2 , 1) ∈ P0 2res. Conjecture 10.26. Let θ ∈ Z≥0I. For D ∈ UL(θ), the Specht module S(ξ(D)) has simple head isomorphic to L(D) up to some shift. As in the MV, MPκ K settings, one would also expect some control over the other simple factors of S(ξ… view at source ↗
read the original abstract

We construct explicit isomorphisms between three models for the $B(\infty)$ crystal in type ${\tt A}_1^{(1)}$: affine Mirkovi\'c--Vilonen polytopes, Kleshchev multipartitions, and a new model we call upper ledge diagrams. We also present some clarifying results on these crystals, giving a direct method for completing an affine MV polytope from the data of one of its boundary root partitions, and a non-iterative recognition theorem which characterizes Kleshchev multipartitions in type ${\tt A}_1^{(1)}$. We apply these results to the representation theory of KLR algebras, where they yield a combinatorial dictionary between cuspidal- and cellular-theoretic frameworks, along with some augmented branching rules for real root functors of induction and restriction.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper constructs explicit isomorphisms between three models for the B(∞) crystal in type A_1^{(1)}: affine Mirković-Vilonen polytopes, Kleshchev multipartitions, and a new model called upper ledge diagrams. It also gives a direct (non-iterative) method for completing an affine MV polytope from the data of one boundary root partition and a non-iterative recognition theorem characterizing Kleshchev multipartitions in this type. These results are applied to KLR algebra representation theory, yielding a combinatorial dictionary between cuspidal- and cellular-theoretic frameworks together with augmented branching rules for real root functors of induction and restriction.

Significance. The explicit isomorphisms and non-iterative theorems, if verified in detail, supply a concrete combinatorial dictionary among three distinct models of the same crystal. This is potentially useful for computations in the representation theory of KLR algebras of type A_1^{(1)}, where the branching rules and dictionary between frameworks could streamline arguments that previously relied on iterative constructions.

minor comments (3)
  1. The abstract states that the isomorphisms are 'explicit' and that the recognition theorem is 'non-iterative'; a short summary table or diagram in §1 comparing the three models and indicating which crystal operators are preserved by each map would make the central contribution easier to locate.
  2. Notation for the affine root system is not uniform: the title uses A^{(1)}_1 while the abstract uses A_1^{(1)}. Consistent use throughout the manuscript (including in section headings) would improve readability.
  3. The applications to KLR algebras are described only at the level of 'combinatorial dictionary' and 'augmented branching rules'. A single concrete example (e.g., a small weight space or a specific real root functor) in §5 or §6 would illustrate the claimed dictionary.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the paper, the clear summary of its contributions, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; direct combinatorial constructions

full rationale

The paper's core contribution is the explicit construction of isomorphisms between three models (affine MV polytopes, Kleshchev multipartitions, upper ledge diagrams) for the B(∞) crystal, plus a direct completion method and non-iterative recognition theorem. These are presented as new combinatorial maps and theorems without reduction to fitted parameters, self-definitions, or load-bearing self-citations. The abstract and results indicate independent constructions that preserve crystal operations by direct verification, with no equations or steps that equate outputs to inputs by construction. This is the standard case of a self-contained mathematical paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no free parameters, axioms, or invented entities beyond the named models can be identified from available information.

pith-pipeline@v0.9.1-grok · 5693 in / 1103 out tokens · 26321 ms · 2026-06-28T19:20:12.876633+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

60 extracted references · 5 canonical work pages · 3 internal anchors

  1. [1]

    Abbasian, L

    D. Abbasian, L. Difulvio, R. Muth, G. Pasternak, I. Sholtes, and F. Sinclair,Cuspidal ribbon tableaux in affine type A, Algebr. Comb.6(2023), no. 2, 285–319

    2023

  2. [2]

    K. Alladi,Euler’s partition theorem and refinements without appeal to infinite products, Algorithmic combinatorics: enumerative combinatorics, special functions and computer alge, Texts Monogr. Symbol. Comput., Springer, Cham, 2020, pp. 9–23

    2020

  3. [3]

    Ariki,On the classification of simple modules for cyclotomic Hecke algebras of typeG(m,1, n)and Kleshchev multi- partitions, Osaka J

    S. Ariki,On the classification of simple modules for cyclotomic Hecke algebras of typeG(m,1, n)and Kleshchev multi- partitions, Osaka J. Math.38(2001), 827–837

    2001

  4. [4]

    Ariki, V

    S. Ariki, V. Kreiman, and S. Tsuchioka,On the tensor product of two basic representations ofU v(sle), Adv. Math.218 (2008), no. 1, 28–86

    2008

  5. [5]

    Ariki and A

    S. Ariki and A. Mathas,The number of simple modules of the Hecke algebras of typeG(r,1, n), Math. Z.233(2000), no. 3, 601–623

    2000

  6. [6]

    Baumann, T

    P. Baumann, T. Dunlap, J. Kamnitzer, and P. Tingley,Rank 2 affine MV polytopes, Represent. Theory17(2013), 442–468

    2013

  7. [7]

    Affine Mirkovi\'c-Vilonen polytopes

    P. Baumann, J. Kamnitzer, and P. Tingley,Affine Mirkovi´ c–Vilonen polytopes, Publ. Math. Inst. Hautes ´Etudes Sci. 120(2014), 113–205, arXiv:1110.3661

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  8. [8]

    Bessenrodt,A bijection for Lebesgue’s partition identity in the spirit of Sylvester, Discrete Math.132(1994), no

    C. Bessenrodt,A bijection for Lebesgue’s partition identity in the spirit of Sylvester, Discrete Math.132(1994), no. 1-3, 1–10

    1994

  9. [9]

    Brundan and A

    J. Brundan and A. Kleshchev,Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras, Invent. Math.178 (2009), no. 3, 451–484

    2009

  10. [10]

    Math.222(2009), no

    ,Graded decomposition numbers for cyclotomic Hecke algebras, Adv. Math.222(2009), no. 6, 1883–1942

    2009

  11. [11]

    Graded Specht modules

    J. Brundan, A. Kleshchev, and W. Wang,Graded Specht modules, J. Reine Angew. Math.655(2011), 61–87, arXiv:0901.0218

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  12. [12]

    Davidson, J

    N. Davidson, J. R. Kujawa, and R. Muth,Superalgebra deformations of web categories: Affine and cyclotomic webs, 2025,arXiv:2511.21671

    work page arXiv 2025

  13. [13]

    Fayers,An LLT-type algorithm for computing higher-level canonical bases, J

    M. Fayers,An LLT-type algorithm for computing higher-level canonical bases, J. Pure Appl. Algebra214(2010), no. 12, 2186–2198

    2010

  14. [14]

    ,e-modular combinatorics of partitions, 2026, In preparation

    2026

  15. [15]

    Fayers, S

    M. Fayers, S. Lyle, and S. Martin,p-restriction of partitions and homomorphisms between Specht modules, J. Algebra 306(2006), no. 1, 175–190

    2006

  16. [16]

    O. Foda, B. Leclerc, M. Okado, J.-Y. Thibon, and T. Welsh,Branching functions ofA (1) n−1 and Jantzen–Seitz problem for Ariki–Koike algebras, Adv. Math.141(1999), no. 2, 322–365

    1999

  17. [17]

    Gerber,Crystal isomorphisms in Fock spaces and Schensted correspondence in affine typeA, Algebr

    T. Gerber,Crystal isomorphisms in Fock spaces and Schensted correspondence in affine typeA, Algebr. Represent. Theory18(2015), no. 4, 1009–1046

    2015

  18. [18]

    Hu and A

    J. Hu and A. Mathas,Graded cellular bases for the cyclotomic Khovanov-Lauda-Rouquier algebras of typeA, Adv. Math.225(2010), no. 2, 598–642

    2010

  19. [19]

    Jacon,Kleshchev multipartitions and extended Young diagrams, Adv

    N. Jacon,Kleshchev multipartitions and extended Young diagrams, Adv. Math.339(2018), 367–403. CRYSTALS AND KLR REPRESENTATIONS IN TYPEA (1) 1 59

    2018

  20. [20]

    Jacon and C

    N. Jacon and C. Lecouvey,Crystal isomorphisms for irreducible highest weightU v(bsle)-modules of higher level, Algebr. Represent. Theory13(2010), no. 4, 467–489

    2010

  21. [21]

    G. D. James,On the decomposition matrices of the symmetric groups. II, J. Algebra43(1976), no. 1, 45–54

    1976

  22. [22]

    V. G. Kac,Infinite Dimensional Lie Algebras, 3rd ed., Cambridge University Press, Cambridge, 1990

    1990

  23. [23]

    Kamnitzer,Mirkovi´ c–Vilonen cycles and polytopes, Ann

    J. Kamnitzer,Mirkovi´ c–Vilonen cycles and polytopes, Ann. of Math. (2)171(2010), no. 1, 245–294

    2010

  24. [24]

    Kang,Crystal bases for quantum affine algebras and combinatorics of Young walls, Proc

    S.-J. Kang,Crystal bases for quantum affine algebras and combinatorics of Young walls, Proc. London Math. Soc. (3) 86(2003), no. 1, 29–69

    2003

  25. [25]

    Kang and M

    S.-J. Kang and M. Kashiwara,Categorification of highest weight modules via Khovanov-Lauda-Rouquier algebras, Invent. Math.190(2012), no. 3, 699–742

    2012

  26. [26]

    Kashiwara,On crystal bases, Representations of groups (Banff, AB, 1994), CMS Conf

    M. Kashiwara,On crystal bases, Representations of groups (Banff, AB, 1994), CMS Conf. Proc., vol. 16, Amer. Math. Soc., Providence, RI, 1995, pp. 155–197

    1994

  27. [27]

    Kato,Poincar´ e-Birkhoff-Witt bases and Khovanov-Lauda-Rouquier algebras, Duke Math

    S. Kato,Poincar´ e-Birkhoff-Witt bases and Khovanov-Lauda-Rouquier algebras, Duke Math. J.163(2014), no. 3, 619– 663

    2014

  28. [28]

    Khovanov and A

    M. Khovanov and A. D. Lauda,A diagrammatic approach to categorification of quantum groups. I, Represent. Theory 13(2009), 309–347

    2009

  29. [29]

    Kim,Monomial realization of crystal graphs forU q(A(1) n ), Math

    J.-A. Kim,Monomial realization of crystal graphs forU q(A(1) n ), Math. Ann.332(2005), no. 1, 17–35

    2005

  30. [30]

    Kim and D.-U

    J.-A. Kim and D.-U. Shin,Generalized Young walls and crystal bases for quantum affine algebra of typeA (1) n , Proc. Amer. Math. Soc.138(2010), no. 11, 3877–3889

    2010

  31. [31]

    Kleshchev,Branching rules for modular representations of symmetric groups

    A. Kleshchev,Branching rules for modular representations of symmetric groups. I, J. Algebra178(1995), no. 2, 493–511

    1995

  32. [32]

    ,Branching rules for modular representations of symmetric groups. II, J. Reine Angew. Math.459(1995), 163–212

    1995

  33. [33]

    Z.276(2014), no

    ,Cuspidal systems for affine Khovanov-Lauda-Rouquier algebras, Math. Z.276(2014), no. 3-4, 691–726

    2014

  34. [34]

    ,Modular representation theory of symmetric groups, Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. III, Kyung Moon Sa, Seoul, 2014, pp. 97–120

    2014

  35. [35]

    Kleshchev, A

    A. Kleshchev, A. Mathas, and A. Ram,Universal graded Specht modules for cyclotomic Hecke algebras, Proc. Lond. Math. Soc. (3)105(2012), no. 6, 1245–1289

    2012

  36. [36]

    Kleshchev and R

    A. Kleshchev and R. Muth,Imaginary Schur-Weyl duality, Mem. Amer. Math. Soc.245(2017), no. 1157, xvii+83

    2017

  37. [37]

    Algebra475(2017), 133–170

    ,Stratifying KLR algebras of affine ADE types, J. Algebra475(2017), 133–170

    2017

  38. [38]

    ,Affine zigzag algebras and imaginary strata for KLR algebras, Trans. Amer. Math. Soc.371(2019), 4535–4583

    2019

  39. [39]

    Kvinge and M

    H. Kvinge and M. Vazirani,A combinatorial categorification of the tensor product of the Kirillov-Reshetikhin crystal B1,1 and a fundamental crystal, Algebr. Represent. Theor.21(2018), no. 6, 1277–1331

    2018

  40. [40]

    Lascoux, B

    A. Lascoux, B. Leclerc, and J.-Y. Thibon,Hecke algebras at roots of unity and crystal bases of quantum affine algebras, Comm. Math. Phys.181(1996), no. 1, 205–263

    1996

  41. [41]

    A. D. Lauda and M. Vazirani,Crystals from categorified quantum groups, Adv. Math.228(2011), no. 2, 803–861

    2011

  42. [42]

    Li,Integral basis theorem of cyclotomic Khovanov-Lauda-Rouquier algebras of type A, J

    G. Li,Integral basis theorem of cyclotomic Khovanov-Lauda-Rouquier algebras of type A, J. Algebra482(2017), 1–101

    2017

  43. [43]

    Mathas,Simple modules of Ariki-Koike algebras, Group representations: cohomology, group actions and topology (Seattle, WA, 1996), Proc

    A. Mathas,Simple modules of Ariki-Koike algebras, Group representations: cohomology, group actions and topology (Seattle, WA, 1996), Proc. Sympos. Pure Math., vol. 63, Amer. Math. Soc., Providence, RI, 1998, pp. 383–396

    1996

  44. [44]

    P. J. McNamara,Representations of Khovanov-Lauda-Rouquier algebras III: symmetric affine type, Math. Z.287 (2017), no. 1-2, 243–286

    2017

  45. [45]

    P. J. McNamara and P. Tingley,Face functors for KLR algebras, Represent. Theory21(2017), 106–131

    2017

  46. [46]

    Misra and T

    K. Misra and T. Miwa,Crystal base for the basic representation ofU q(bsl(n)), Comm. Math. Phys.134(1990), no. 1, 79–88

    1990

  47. [47]

    Murata,Affine highest weight structures on module categories over quiver hecke algebras, 2024,arXiv:2412.12903

    H. Murata,Affine highest weight structures on module categories over quiver hecke algebras, 2024,arXiv:2412.12903

    work page arXiv 2024

  48. [48]

    Muth,Graded skew Specht modules and cuspidal modules for Khovanov-Lauda-Rouquier algebras of affine type A, Algebr

    R. Muth,Graded skew Specht modules and cuspidal modules for Khovanov-Lauda-Rouquier algebras of affine type A, Algebr. Represent. Theory22(2019), no. 4, 977–1015

    2019

  49. [49]

    R. Muth, T. Nicewicz, L. Speyer, and L. Sutton,A skew Specht perspective of rock blocks and cuspidal systems for KLR algebras in affine type A, Represent. Theory29(2025), 718–788

    2025

  50. [50]

    Muthiah and P

    D. Muthiah and P. Tingley,Affine PBW bases and MV polytopes in rank 2, Selecta Math. (N.S.)20(2014), no. 1, 237–260

    2014

  51. [51]

    (N.S.)24(2018), no

    ,Affine PBW bases and affine MV polytopes, Selecta Math. (N.S.)24(2018), no. 5, 4781–4810

    2018

  52. [52]

    Pak,Partition bijections, a survey, Ramanujan J.12(2006), no

    I. Pak,Partition bijections, a survey, Ramanujan J.12(2006), no. 1, 5–75

    2006

  53. [53]

    Pynchon,Against the Day, Penguin Press, New York, 2006

    T. Pynchon,Against the Day, Penguin Press, New York, 2006

    2006

  54. [54]

    2-Kac-Moody algebras

    R. Rouquier,2-Kac-Moody algebras, 2008,arXiv:0812.5023

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  55. [55]

    Salisbury and T

    B. Salisbury and T. Scrimshaw,A rigged configuration model forB(∞), J. Combin. Theory Ser. A133(2015), 29–57

    2015

  56. [56]

    K. M. Tan and W. H. Teo,Sign sequences and decomposition numbers, Trans. Amer. Math. Soc.365(2013), no. 12, 6385–6401

    2013

  57. [57]

    Tingley and B

    P. Tingley and B. Webster,Mirkovi´ c-Vilonen polytopes and Khovanov-Lauda-Rouquier algebras, Compos. Math.152 (2016), no. 8, 1648–1696

    2016

  58. [58]

    Uglov,Canonical bases of higher-levelq-deformed Fock spaces and Kazhdan–Lusztig polynomials, Physical Combi- natorics, Progr

    D. Uglov,Canonical bases of higher-levelq-deformed Fock spaces and Kazhdan–Lusztig polynomials, Physical Combi- natorics, Progr. Math., vol. 191, Birkh¨ auser, Boston, 2000, pp. 249–299

    2000

  59. [59]

    Varagnolo and E

    M. Varagnolo and E. Vasserot,Canonical bases and KLR-algebras, J. Reine Angew. Math.659(2011), 67–100. 60 S. ALLEN, J. ISAAC, C. MOSCARIELLO, R. MUTH, B. D. UWASE, AND L. WALTON

    2011

  60. [60]

    Vazirani,Categorifying the tensor product of a level 1 highest weight and perfect crystal in type A, Lie algebras, Lie superalgebras, vertex algebras and related topics, Proc

    M. Vazirani,Categorifying the tensor product of a level 1 highest weight and perfect crystal in type A, Lie algebras, Lie superalgebras, vertex algebras and related topics, Proc. Sympos. Pure Math., vol. 92, Amer. Math. Soc., Providence, RI, 2016, pp. 293–324. Email address:allens6@duq.edu Department of Mathematics and Computer Science, Duquesne Universit...

    2016