Pith. sign in

REVIEW 4 major objections 5 minor 61 references

A Specht Filtration of Permutation Modules Over KLR Algebras

T0 review · 4 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper constructs an explicit Specht filtration of permutation modules for hook partitions in affine type A, and a generalized filtration by Specht resolutions for all partitions in the infinite linear quiver case.

desk verdict A promising, explicit attack on Mathas's Specht filtration conjecture for hooks and two-row partitions, but the load-bearing braid checks are asserted rather than shown and the general-partition resolution has a kernel-nonzeroness gap. read the letter →

arxiv 2506.15133 v2 pith:WXWH3QCG submitted 2025-06-18 math.RT

Tao Qin This is my paper · ORCID
classification math.RT MSC 20G4320C0820C3005E10
keywords KLRalgebraspermutationmodulesSpechtfiltrationGarnirrelationshookpartitionsaffinetypeAcyclotomic
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper addresses the Specht filtration conjecture for permutation modules over KLR algebras, the graded algebras attached to quivers that categorify quantum groups. Specht modules are obtained as quotients of permutation modules by Garnir relations, and the conjecture asks whether the permutation module can be decomposed in layers that are themselves Specht modules. For hook partitions $\lambda=(k,1^r)$ in affine type $A^{(1)}_{e-1}$ with $e>2$, the paper gives an explicit chain $M_0\supsetneq M_1\supsetneq\cdots\supsetneq M_{r+1}=0$ in which each quotient $M_i/M_{i+1}$ is isomorphic to the Specht module $S_{\lambda_i}$ for an explicitly listed partition $\lambda_i$. For the infinite linear quiver, it proves an actual Specht filtration for two-row partitions and, for arbitrary partitions, a generalized filtration in which each quotient carries a finite resolution by Specht modules. If the construction is correct, it settles the conjecture for hook shapes and gives a concrete, dimension-checked decomposition of these modules.

What carries the argument

The load-bearing object is the chain of submodules generated by Garnir elements. For a hook $\lambda$, the Garnir nodes are exactly the first-column nodes $A_i=(i,1)$, and the paper defines $M_i=R_\alpha\langle \psi_{A_i}v,\dots,\psi_{A_r}v\rangle$. The argument turns on two mechanisms: algebraic identities in the KLR relations (3.8)--(3.11), collected in Lemmas 4.6--4.8, which show that the proposed generator of each quotient satisfies the $y$- and $\psi$-relations defining the corresponding Specht module; and the dimension formula of Lemma 4.5, which matches $\sum_i \dim S_{\lambda_i}$ to $\dim M_\lambda$, so the constructed surjections must be isomorphisms. In the general type $A_\infty$ case, the machinery shifts to the exact induction functor $S_\beta\circ -$ together with decomposition numbers for level-two cyclotomic KLR algebras, which assemble the Specht resolutions.

What would settle it

Work out a small hook case, such as $\lambda=(4,1^5)$ over the quiver $A^{(1)}_9$ from Example 4.4, and compute explicitly the element $\psi_{k+i-1}\psi_{k+i}\psi_{k+i-1}e(i)v$ modulo $M_{i+1}$ using relations (3.8)--(3.11); if this element or any of the terms whose vanishing Lemmas 4.6--4.8 assert is nonzero, the corresponding quotient fails to satisfy the Specht relations and the dimension equality would force one of the claimed surjections to have a nontrivial kernel.

Watch

Extended reading notes

Core claim

The central claim, stated as Theorem 4.3, is that for a hook partition $\lambda=(k,1^r)$ in type $A^{(1)}_{e-1}$ with $e>2$, the permutation module $M_\lambda$ has a chain $M_0\supsetneq M_1\supsetneq\cdots\supsetneq M_{r+1}=0$ in which each $M_i$ is generated by the Garnir elements $\psi_{A_i}v,\dots,\psi_{A_r}v$, and each quotient $M_i/M_{i+1}$ is isomorphic to the Specht module $S_{\lambda_i}$ for an explicitly listed partition $\lambda_i$, with $\lambda_0=\lambda$. The proof verifies that these generators satisfy the defining relations of the relevant Specht modules, producing surjective homomorphisms $S_{\lambda_i}\twoheadrightarrow M_i/M_{i+1}$, and then uses the dimension identity $\dim M_\lambda=\sum_i \dim S_{\lambda_i}$ to conclude that the maps are isomorphisms. In type $A_\infty$, Theorem 5.9 gives the two-row filtration $M_\lambda\supset M_1\supset 0$ with $M_1\cong S_{(k+1|r-1)}$, and Theorem 6.2 constructs a generalized Specht filtration for arbitrary partitions, where each quotient $M_i/M_{i+1}$ is resolved by a finite chain of Specht modules rather than being isomorphic to one.

Load-bearing premise

The construction depends on a family of algebraic identities asserting that certain correction terms in the KLR relations vanish when the proposed generators are acted on, especially the identities in Lemmas 4.6--4.8; if any dropped term is nonzero, the claimed maps from Specht modules into the quotients need not exist, and the dimension count alone would not force the filtration.

Editorial extensions

If this is right

  • The hook case proves the Specht filtration conjecture for all hook partitions in affine type A with $e>2$, since the explicit chain realizes $M_\lambda$ as an iterated extension of Specht modules with head $S_\lambda$.
  • The dimension identity in Lemma 4.5 gives a direct combinatorial check of the filtration and yields a new formula for $\dim M_\lambda$ as a sum of hook-length dimensions.
  • In type $A_\infty$, Corollary 5.6 shows that the entire Garnir submodule of a two-row permutation module is generated by a single Garnir relation, so all Garnir relations for two adjacent rows follow from one relation.
  • For arbitrary partitions in type $A_\infty$, each quotient is an almost-Specht module, and Corollary 6.9 expresses the dimension of these irreducible heads as an alternating sum of Specht dimensions, making them computable from hook lengths.
  • Section 7.1 extends the construction to multipartitions by applying the filtration componentwise and using the external tensor product of Specht resolutions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The explicit form of the filtration suggests that, up to the graded shifts recorded in Remark 4.10, the graded character of $M_\lambda$ for hooks can be obtained by summing shifted Specht characters, which would give a closed formula for the graded decomposition numbers of hook permutation modules.
  • The two-row cyclic-Garnir phenomenon may indicate a general one-relation-per-adjacent-row principle in type $A_\infty$: if the identities behind Lemma 4.6 generalize, the whole Garnir submodule of an arbitrary partition could be generated by the first-column Garnir relations, shortening the resolutions of Theorem 6.2.
  • A natural testable extension is to check whether the same chain construction works for $e=2$ or for higher-level hooks; the paper's restriction $e>2$ points to the vanishing of specific correction terms, and a small computation in type $A^{(1)}_2$ would reveal whether the filtration survives at quantum characteristic two.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. This paper studies universal Specht modules over KLR algebras from [KMR12], where the Specht module S_λ is a quotient of the permutation module M_λ by Garnir relations. The main results are: Theorem 4.3 constructs a filtration M_λ=M_0⊃M_1⊃...⊃M_{r+1}=0 for hook partitions λ=(k,1^r) in affine type A^(1)_{e−1} (e>2) with successive quotients M_i/M_{i+1} isomorphic to explicit Specht modules S_{λ_i}; Theorem 5.9 proves a Specht filtration for two-row partitions (k,r) in type A∞; and Theorem 6.2 constructs, for arbitrary partitions in type A∞, a filtration whose successive quotients admit finite resolutions by Specht modules. The proofs define submodules generated by images of Garnir elements, construct surjections S_{λ_i}→M_i/M_{i+1}, and conclude by a dimension count in Lemma 4.5. The paper also derives a formula for the dimensions of certain simple modules in Corollary 6.9.

Significance. The proposed results are significant: a Specht filtration of permutation modules for hook shapes in affine type A is a new structural statement, and the two-row and general A∞ statements go beyond the existing literature. The overall strategy is sound and, importantly, not circular: the dimension equality in Lemma 4.5 is computed independently of the filtration, using known Specht dimensions and the hook-length formula, and the claimed filtrations are not used as assumptions in their own proof. The paper also gives concrete applications, such as the dimension formula for the simple modules D_{μ_{1,j}} in Corollary 6.9. The main weakness is that several load-bearing checks of the KLR defining relations are asserted rather than proved, so the results are conditional on those computations closing.

major comments (4)
  1. [Lemma 4.7] The proof of relation (4) of the Specht presentation—that ψ_1⋯ψ_{k+1}x=0 for x=ψ_1⋯ψ_k e(i)v+M_2—is incomplete and load-bearing. After a chain of braid moves, the proof states that all expressions with δ_j (4≤j≤k+1) vanish because ψ_{j−3} commutes with the remaining term and kills v. This is not demonstrated. In affine type A^(1)_{e−1} with e>2 the residues repeat, so the δ_j are not identically zero; for e=3, λ=(2,1,1), the step j=4 already has δ_4=1. To conclude, one must write out each braid error term and show that, after commuting it to the right through the remaining product, it is annihilated by some ψ_t with t<k or by the Garnir relation ψ_{k+1}v∈M_2. Since the map φ_1:S_{λ_1}→M_1/M_2 exists only if this relation holds, a single surviving error term would invalidate the filtration argument. Please provide the missing computations or a machine-checked verification.
  2. [Lemma 4.8(iv)] The verification of the relation ψ_{k+i−1}ψ_{k+i}ψ_{k+i−1}e(i)v=0 in M_i/M_{i+1} is not justified by the stated condition. The paper says the first equality holds because i_{k+i}≠i_{k+i+1}, but the braid relation (3.11) has an error term Q_{i_r,i_{r+1},i_{r+2}} with r=k+i−1, which is nonzero when i_r=i_{r+2}→i_{r+1}. The condition for vanishing of that term involves i_{k+i−1} and i_{k+i+1}, not merely i_{k+i}≠i_{k+i+1}. In the hook residue sequence these residues are indeed arranged so that the Q-term should vanish, but that must be shown directly. Moreover, the displayed equality skips the braid move that exchanges ψ_{k+i−1}ψ_{k+i}ψ_{k+i−1} for ψ_{k+i}ψ_{k+i−1}ψ_{k+i}; the dropped Q-term is exactly the potential obstruction. Please supply the explicit verification.
  3. [Theorem 6.2] The construction of the map φ_{1,1}:S_{μ_{1,1}}→M_1/M_2 rests on the assertion that ψ_{B_1}v+M_2 satisfies all defining relations for the standard generator u_{1,1}, with a reference to Lemma 4.7 and Lemma 4.9 for the routine verification. This is load-bearing for the exactness of (6.3), and it is not a direct repetition of the hook case: the partition μ_{1,1} is a two-component Specht module, the element ψ_{B_1}v is a longer product of the form exhibited in (5.2), and the defining relations include braid-type relations among the ψ's that must be checked in the quotient M_1/M_2. Please write out the verification explicitly or identify precisely which relations in the KMR12 presentation are satisfied and why the error terms from (3.10)–(3.11) vanish.
  4. [Lemma 6.23] The proof contains a contradictory justification: "ψ_{B_2} commutes with ψ_{A_{λ_3−1}} because the two Garnir belts do not commute and hence all the ψ_i in the two expressions commute." If the two belts do not commute, the opposite conclusion would follow, and the displayed identity ψ_Tψ_{B_1}v=ψ_{A_{λ_3−1}}ψ_{B_2}v would need a genuine commutation argument. Since Lemma 6.23 is used to show that ker φ_{1,1} is nonzero when k_1(λ)≠1, this step should be repaired.
minor comments (5)
  1. [Section 2.1] The sentence "Since the A∞ case in this paper is just a trivial subcase of the A^(1)_{e−1} case" is imprecise: A∞ is the limit of the affine quiver with no cycle, and the residue repetitions that occur for finite e are absent. The intended meaning should be rephrased.
  2. [Introduction / Theorem 4.3] The Introduction states the hook result for e>1 while Theorem 4.3 and Section 4 assume e>2; these hypotheses should be harmonized.
  3. [Lemma 4.7] In the displayed presentation of S_{λ_1}, the notation for the generator and idempotents is inconsistent: relation (1) is written with e(j') and e(j), while relations (2) and (3) use y_j e(j)w and ψ_j e(j)w; please use a single convention, for example e(i')w=δ_{i,i'}w with i=res(T_{λ_1}).
  4. [Example 6.1] The example lists several partitions all labelled λ_2; they should be λ_2, λ_3, and λ_4 (and similarly for the µ_i labels) to match the notation in Theorem 6.2.
  5. [Corollary 6.11] The displayed inequality (6.12) contains unclear formatting, and the equivalence with the condition k_1(λ)>1 would benefit from a short explanation of how the inequality is derived from the preceding dimension formulas.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Specht filtration claims are proved by explicit homomorphisms from independently defined Specht modules plus independent dimension counts.

full rationale

The derivation chain is self-contained against external benchmarks. The filtration modules Mi are defined directly as Rα〈ψAiv,...〉, and the Specht modules Sλi are the independent KMR12 quotients; the claimed isomorphisms Mi/Mi+1 ≅ Sλi are proved by verifying the defining relations on the cyclic generators (Lemmas 4.6–4.9) and then using the dimension equality in Lemma 4.5, which is computed from the hook-length formula and the independent basis theorem, not from the filtration. Section 5 repeats this structure, and Section 6 builds its Specht resolutions from Kleshchev and decomposition-number results cited from [HM15] (not the author's own work), with the final surjection checked on the standard generator and its kernel identified via Lemma 6.23. The paper does contain uncomputed assertions that are verification gaps rather than circularity: in Lemma 4.7, “All the expressions with δ_j ... vanish because the earlier term ψ_{j−3} commutes with the remaining term and kill v” without displaying the Q-terms; Theorem 5.9 delegates a defining-relation check to “essentially the same argument”; Theorem 6.2 calls the final relation check “routine”; and Section 7.2 states that skew-partition formulas “and the detailed proof, are omitted.” These are risks to correctness or completeness, not cases where a prediction reduces by construction to its input. No fitted parameter is renamed as a prediction, and no load-bearing claim rests on a self-citation chain.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claims rest only on standard theorems from the KLR/cyclotomic Hecke algebra literature. There are no fitted parameters, no hand-chosen constants, and no new postulated mathematical objects. The main burden is the correctness of the lengthy algebraic verifications, not the introduction of new ingredients.

assumptions (5)
  • standard math KLR algebra R_alpha has basis {psi_w y^a e(i)} and satisfies relations (3.2)-(3.11) from Khovanov-Lauda and Rouquier.
    Used throughout Sections 3 to 7 as the algebraic setting; standard from KL09, KL10, Rou08.
  • standard math Permutation module M_lambda has basis {psi_T z_lambda | T row-standard} and Specht module S_lambda has basis {psi_T z_lambda | T standard}, from KMR12 Theorems 3.21 and 3.23.
    Used to compute dimensions of M_lambda and S_lambda_i; cited from KMR12.
  • standard math For level-2 quiver Schur algebras with a linear quiver or large e, the decomposition number d_{lambda mu}(q) is given by the #Std_mu(lambda) <= 1 formula from Hu-Mathas.
    Used in Section 6 to determine the composition series of S_{mu_{1,j}}.
  • standard math The induction functor F is exact for the parabolic subalgebra R_beta tensor R_{alpha-beta}, and S_beta composed with S_nu is isomorphic to S_(lambda_1 | nu) for appropriate multipartitions.
    Backbone of the inductive proof of Theorem 6.2; cited from KMR12 Lemma 6.13 and KL09.
  • standard math Cellular algebra theory for cyclotomic KLR algebras: Kleshchev multipartitions label simple modules, and each Specht module indexed by a Kleshchev partition has a unique irreducible head.
    Used in Section 6 to identify submodules and construct the Specht resolution for M_1/M_2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Specht Filtration of Permutation Modules Over KLR Algebras." pith.science (2026). https://pith.science/paper/WXWH3QCG

@misc{pith2026250615133,
  author       = {Pith},
  title        = {Pith review of: A Specht Filtration of Permutation Modules Over KLR Algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WXWH3QCG}},
  note         = {Machine review of arXiv:2506.15133}
}
read the original abstract

In type A, Kleshchev-Ram-Mathas realize Specht modules as quotient of Permutation modules, in this paper, we construct a Specht filtration of Permutation modules indexed by hook partition in affine type A; and construct a generalized Specht filtration of Permutation modules indexed by any partition in linear quiver case.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

61 extracted references · 54 canonical work pages

  1. [1]

    Algebraic Combinatorics , pages =

    Abbasian, Dina and Difulvio, Lena and Muth, Robert and Pasternak, Gabrielle and Sholtes, Isabella and Sinclair, Frances , title =. Algebraic Combinatorics , pages =. 2023 , publisher =. doi:10.5802/alco.260 , language =

    work page doi:10.5802/alco.260 2023

  2. [2]

    Another runner removal theorem for v-decomposition numbers of

    Fayers, Matthew , journal =. Another runner removal theorem for v-decomposition numbers of. 2007 , doi =

    work page 2007

  3. [3]

    General runner removal and the

    Fayers, Matthew , journal=. General runner removal and the. 2009 , doi=

    work page 2009

  4. [4]

    2002 , eprint=

    Equating decomposition numbers for different primes , author=. 2002 , eprint=

    work page 2002

  5. [5]

    Full runner removal theorem for Ariki-Koike algebras

    Dell'Arciprete, Alice , year=. Full runner removal theorem for. 2310.08156 , archivePrefix=

    work page Pith review arXiv

  6. [6]

    Empty runner removal theorem for Ariki-Koike algebras

    Dell'Arciprete, Alice and Putignano, Lorenzo , year=. Empty runner removal theorem for. 2506.08811 , archivePrefix=

    work page Pith review arXiv

  7. [7]

    Runner Removal

    Chuang, Joseph and Miyachi, Hyohe , booktitle =. Runner Removal. 2010 , doi =

    work page 2010

  8. [8]

    Graded decomposition numbers for cyclotomic

    Brundan, Jonathan and Kleshchev, Alexander , journal=. Graded decomposition numbers for cyclotomic. 2009 , doi=

    work page 2009

Show all 61 references
  1. [9]

    Brundan, Jonathan and Kleshchev, Alexander and Wang, Weiqiang , journal=. Graded. 2011 , doi=

    2011

  2. [10]

    Ariki, Susumu and Iijima, Kazuto and Park, Euiyong , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2015 , VOLUME =. doi:10.1093/imrn/rnu115 , URL =

    2015 doi

  3. [11]

    , journal =

    Loubert, Joseph W. , journal =. Homomorphisms from an arbitrary. 2017 , doi =

    2017

  4. [12]

    Homomorphisms between

    Fayers, Matthew and Martin, Stuart , journal =. Homomorphisms between. 2004 , doi =

    2004

  5. [13]

    Homomorphisms into

    Hudak, Berta , year=. Homomorphisms into. 2402.08942 , archivePrefix=

    arXiv

  6. [14]

    Representation Theory of the Symmetric Groups: The

    Ceccherini-Silberstein, Tullio and Scarabotti, Fabio and Tolli, Filippo , series=. Representation Theory of the Symmetric Groups: The

  7. [15]

    Graded Skew

    Muth, Robert , date =. Graded Skew. Algebras and Representation Theory , number =. 2019 , bdsk-url-1 =. doi:10.1007/s10468-018-9808-2 , id =

    2019 doi

  8. [16]

    and Mathas, Andrew and Ram, Arun , journal=

    Kleshchev, Alexander S. and Mathas, Andrew and Ram, Arun , journal=. Universal graded. 2012 , doi=

    2012

  9. [17]

    2019 , doi=

    Ariki, Susumu and Park, Euiyong and Speyer, Liron , journal=. 2019 , doi=

    2019

  10. [18]

    Hu, Jun and Mathas, Andrew , journal=. Quiver. 2015 , doi=

    2015

  11. [19]

    Qin, Tao , year=. A. 2506.15133 , archivePrefix=

    arXiv

  12. [20]

    Graded cellular bases for the cyclotomic

    Hu, Jun and Mathas, Andrew , journal =. Graded cellular bases for the cyclotomic. 2010 , doi =

    2010

  13. [21]

    Integral basis theorem of cyclotomic

    Li, Ge , journal =. Integral basis theorem of cyclotomic. 2017 , doi =

    2017

  14. [22]

    The many integral graded cellular bases of

    Bowman, Christopher , journal=. The many integral graded cellular bases of. 2022 , publisher=. doi:10.1353/ajm.2022.0008 , url=

    2022

  15. [23]

    Cellularity and subdivision of

    Mathas, Andrew and Tubbenhauer, Daniel , journal=. Cellularity and subdivision of. 2023 , doi=

    2023

  16. [24]

    Cellularity for weighted

    Mathas, Andrew and Tubbenhauer, Daniel , journal=. Cellularity for weighted. 2022 , doi=

    2022

  17. [25]

    Cellularity of

    Mathas, Andrew and Tubbenhauer, Daniel , year=. Cellularity of. 2309.13867 , archivePrefix=

    arXiv

  18. [26]

    Rocky Mountain Journal of Mathematics , volume=

    Sandwich Cellularity and a Version of Cell Theory , author=. Rocky Mountain Journal of Mathematics , volume=. 2024 , doi=

    2024

  19. [27]

    Subdivision of

    Qin, Tao , year=. Subdivision of. 2405.14175 , archivePrefix=

    arXiv

  20. [28]

    Categorical representations and

    Maksimau, Ruslan , journal=. Categorical representations and

  21. [29]

    A diagrammatic approach to categorification of quantum groups

    Khovanov, Mikhail and Lauda, Aaron , journal=. A diagrammatic approach to categorification of quantum groups. 2009 , doi=

    2009

  22. [30]

    , journal=

    Khovanov, Mikhail and Lauda, Aaron D. , journal=. A categorification of quantum. 2010 , doi=

    2010

  23. [31]

    Blocks of cyclotomic

    Brundan, Jonathan and Kleshchev, Alexander , journal=. Blocks of cyclotomic. 2009 , doi=

    2009

  24. [32]

    Content systems and deformations of cyclotomic

    Evseev, Anton and Mathas, Andrew , journal=. Content systems and deformations of cyclotomic. 2024 , doi=

    2024

  25. [33]

    Graded dimensions and monomial bases for the cyclotomic quiver

    Hu, Jun and Shi, Lei , journal=. Graded dimensions and monomial bases for the cyclotomic quiver. 2023 , doi=

    2023

  26. [34]

    2301.01613 , archivePrefix=

    Webster, Ben , year=. 2301.01613 , archivePrefix=

    arXiv

  27. [35]

    Weighted

    Webster, Ben , journal=. Weighted. 2019 , doi=

    2019

  28. [36]

    2017 , publisher=

    Webster, Ben , journal=. 2017 , publisher=

    2017

  29. [37]

    Categorification of highest weight modules via

    Kang, Seok-Jin and Kashiwara, Masaki , journal=. Categorification of highest weight modules via. 2012 , doi=

    2012

  30. [38]

    2206.14720 , archivePrefix=

    Lyle, Sinead , year=. 2206.14720 , archivePrefix=

    arXiv

  31. [39]

    , TITLE =

    Kleshchev, Alexander S. , TITLE =. Math. Z. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00209-013-1219-9 , URL =

    2014 doi

  32. [40]

    Kleshchev, Alexander and Muth, Robert , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/memo/1157 , URL =

    2017 doi

  33. [41]

    Representations of

    McNamara, Peter J , journal=. Representations of. 2017 , publisher=

    2017

  34. [42]

    Canonical bases of higher-level q-deformed

    Uglov, Denis , year=. Canonical bases of higher-level q-deformed. math/9905196 , archivePrefix=

    arXiv

  35. [43]

    and Wenzl, Hans , year=

    Goodman, Frederick M. and Wenzl, Hans , year=. Crystal Bases of Quantum Affine Algebras and Affine. math/9807014 , archivePrefix=

    arXiv

  36. [44]

    Communications in Mathematical Physics , volume=

    Hecke algebras at roots of unity and crystal bases of quantum affine algebras , author=. Communications in Mathematical Physics , volume=. 1996 , doi=

    1996

  37. [45]

    math/0208204 , archivePrefix=

    Kang, Seok-Jin and Kwon, Jae-Hoon , year=. math/0208204 , archivePrefix=

    arXiv

  38. [46]

    Fayers, Matthew , journal=. An. 2010 , doi=

    2010

  39. [47]

    Alcoves Corresponding to an Affine

    Shi, Jian-Yi , journal =. Alcoves Corresponding to an Affine. 1987 , doi =

    1987

  40. [48]

    A bijection between dominant

    Fishel, Susanna and Vazirani, Monica , year=. A bijection between dominant. 0904.3118 , archivePrefix=

    arXiv

  41. [49]

    Represent

    Muth, Robert and Nicewicz, Thomas and Speyer, Liron and Sutton, Louise , TITLE =. Represent. Theory , FJOURNAL =. 2025 , PAGES =. doi:10.1090/ert/698 , URL =

    2025 doi

  42. [50]

    Young walls and graded dimension formulas for finite quiver

    Oh, Se-jin and Park, Euiyong , year=. Young walls and graded dimension formulas for finite quiver. 1308.0782 , archivePrefix=

    arXiv

  43. [51]

    Cyclic sieving phenomenon on dominant maximal weights over affine

    Kim, Young-Hun and Oh, Se-jin and Oh, Young-Tak , year=. Cyclic sieving phenomenon on dominant maximal weights over affine. 1909.07010 , archivePrefix=

    1909 arXiv

  44. [52]

    Rouquier, Raphael , year=. 2-. 0812.5023 , archivePrefix=

    arXiv

  45. [53]

    Mathas, Andrew , series =

  46. [54]

    , series=

    Humphreys, James E. , series=. Reflection Groups and

  47. [55]

    , series=

    Humphreys, James E. , series=. Introduction to. 1972 , publisher=

    1972

  48. [56]

    Lie Algebras of Finite and Affine Type , author=

  49. [57]

    , series=

    Kac, Victor G. , series=. Infinite Dimensional

  50. [58]

    Representations of

    Kazhdan, David and Lusztig, George , journal=. Representations of

  51. [59]

    Soergel, Wolfgang , journal=

  52. [60]

    , journal =

    Deodhar, Vinay V. , journal =. On some geometric aspects of. 1987 , doi =

    1987

  53. [61]

    James, G. D. , journal=. Some combinatorial results involving

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.