Pith. sign in

REVIEW 2 major objections 3 minor 1 cited by

Alternating snake modules and a determinantal formula

T0 review · 2 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read Alternating snake modules admit a determinantal character formula forcing Kazhdan–Lusztig coefficients to be ±1.

desk verdict Strong, likely correct main theorems on alternating snake modules, but the category O application in Section 1.10.4 is false as stated, with a concrete counterexample to the Arakawa–Suzuki step. read the letter →

arxiv 2412.03750 v2 pith:YHWXXMDA submitted 2024-12-04 math.RT math.QA

classification math.RTmath.QA MSC 17B3717B1020C0822E50
keywords quantumaffinealgebrasalternatingsnakemodulesdeterminantalformulaprimefactorizationKazhdan–LusztigcoefficientscategoryOArakawa–Suzukifunctorcluster
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 introduces a new family of finite-dimensional representations of the quantum affine algebra of type A, called alternating snake modules, that unifies the previously studied snake modules with modules arising from monoidal categorifications of cluster algebras. For these modules it gives a complete prime factorization, an explicit presentation, and a determinantal formula expressing the class of the irreducible module as an alternating sum of Weyl module classes. Using the Arakawa–Suzuki functor, this yields many non-regular, non-dominant weights whose Kazhdan–Lusztig coefficients are all ±1. This matters because such explicit identities are rare and open new computational windows into category O.

What carries the argument

The central object is the alternating snake: an ordered tuple of intervals [i_s,j_s] such that consecutive triples alternate between being strictly increasing in both endpoints (in S) and reversed (in S^∘), and non-adjacent intervals are non-overlapping. The matrix A(s) is defined recursively, with entries in K0(F_n) that are either zero or the class of an irreducible module [V(ω_{i,j})] for a single interval. The key identity is det A(s) = [V(ω_s)], proved by induction using a bilinear identity in K0 that expresses [V(ω_{i_p,j_1})][V(ω_{s_p})] as a sum of two terms, together with the Arakawa–Suzuki functor to transport the result to category O.

What would settle it

Take the smallest constructed pair (λ, μ) from Section 1.9 with r=3; compute the Arakawa–Suzuki image of V(μ) and check whether F_λ(V(μ)) is the expected irreducible object, or verify directly whether μ(h_α) ≤ 0 holds for all positive roots α with λ(h_α)=0; if the condition fails, the claim that all nonzero c_{μ,ν} are ±1 would collapse. Alternatively, compute c_{μ,ν} for this pair by the formula in Proposition 1.10.4 and look for any coefficient outside {-1,0,1}.

Watch

Extended reading notes

Core claim

The central claim is that for every stable alternating snake s = ([i1,j1],...,[ir,jr]), the equality [V(ω_s)] = det A(s) holds in the Grothendieck ring K0(F_n), where A(s) is an r×r matrix built from classes of single-interval irreducible modules, and the determinant expands as an alternating sum of Weyl module classes with coefficients ±1 when the endpoints are pairwise distinct. The paper further proves that V(ω_s) is prime if and only if certain simple combinatorial conditions hold, that any alternating snake module factors uniquely into prime alternating snake modules, and that it admits a presentation as a quotient of its Weyl module by images of maps from other Weyl modules. Finally, composing with the Arakawa–Suzuki functor gives many weights μ for which all nonzero Kazhdan–Lusztig coefficients c_{μ,ν} are ±1.

Load-bearing premise

The application to category O relies on the condition that μ(h_α) ≤ 0 for all positive roots α with λ(h_α)=0, which the paper states as a hypothesis of the Arakawa–Suzuki functor but does not verify for the λ and μ it constructs.

Editorial extensions

If this is right

  • Every stable alternating snake module has a closed-form character: its class in K0(F_n) equals an explicit alternating sum of Weyl module classes with all coefficients in {-1,0,1} when the j's (or i's) are pairwise distinct.
  • The prime factorization of an alternating snake module is unique up to permutation, so these modules form a well-behaved family inside the Hernandez–Leclerc subcategory.
  • The presentation theorem gives an explicit quotient description of V(ω_s) by images of certain Weyl modules, extending the Tadic–Lapid–Minguez ladder-module presentation to the quantum affine setting.
  • The category O application produces many non-regular, non-dominant weights for which the Kazhdan–Lusztig coefficients c_{μ,ν} are ±1, giving explicit Verma decompositions with no multiplicities beyond sign.

Reading between the lines

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

  • One could test whether the stability condition in Theorem 3 is removable: for non-stable alternating snakes the determinant matrix may fail to compute the irreducible class, and characterizing the exact obstruction could extend the family.
  • The determinantal identities may lift from Grothendieck-ring equalities to exact sequences of Weyl modules, giving categorical resolutions rather than just character formulas.
  • The same machinery might yield Kazhdan–Lusztig coefficients for other families of weights if the Arakawa–Suzuki condition can be verified, suggesting a broader class of weights with ±1 coefficients.
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

2 major / 3 minor

Summary. The paper introduces a new family of finite-dimensional modules for the quantum loop algebra of type A, called alternating snake modules. This family contains both the classical snake modules and modules arising from monoidal categorifications of cluster algebras. The main results are: (1) a proof that alternating snake modules are real; (2) necessary and sufficient conditions for primality together with a unique prime factorization theorem; (3) a presentation of these modules generalizing Tadić's and Lapid–Mínguez's results; (4) an explicit determinantal formula expressing the class of a stable alternating snake module in the Grothendieck ring as an alternating sum of Weyl module classes (Theorem 3); and (5) an application, via the Arakawa–Suzuki functor and the Chari–Pressley functor, to the BGG category O of gl_r, claiming the existence of a large family of non-regular, non-dominant weights for which all non-zero Kazhdan–Lusztig coefficients are ±1.

Significance. If the main theorems are correct, this is a substantial contribution to the representation theory of quantum affine algebras and to the theory of cluster categorification. The determinantal formula in Theorem 3 is explicit, parameter-free, and unifies known special cases; the prime factorization theorem provides a clean structural result for a broad family of modules. The paper is honest in its use of external results (KKOP d-invariants, Naoi's work), and the proofs of Theorems 1–3 are detailed and appear to be free of circularity and fitted parameters. The advertised application to Kazhdan–Lusztig coefficients is attractive but, as discussed below, is currently overclaimed; the core algebra results, however, are strong enough to merit publication once the category O section is repaired.

major comments (2)
  1. [§1.10.4, Proposition] The proof of the proposition omits verification of the Arakawa–Suzuki condition. As stated in §1.10.2, F_λ(V(μ)) equals V(λ,μ) only if μ(h_α) ≤ 0 for every positive root α with λ(h_α)=0; otherwise F_λ(V(μ))=0. This condition is not implied by the hypotheses of the proposition, and it can fail. For example, take the stable alternating snake s = ([2,5],[0,4]) with r=2 and n=7. The unique permutation giving λ+ρ ∈ P^+ is σ=id, so λ+ρ=(5,4) and λ=(9/2,9/2); the definition gives μ+ρ=(2,0) and μ=(3/2,1/2). Then λ_1=λ_2, so λ(h_{e_1-e_2})=0, but μ_1−μ_2=1>0. Hence F_λ(V(μ))=0, so the left-hand side of Proposition (i) is zero while V(ω_s) is non-zero. Thus Proposition 1.10.4(i) is false as stated. The Section 1.9 family has λ+ρ ∈ P^{reg}, so the condition is vacuous there, but the proposition as stated overgeneralizes. The authors should either restrict to the case where λ+ρ is regular (or otherwise verify the condition) or explicitly add the Arakawa–Suzuki inequality as a hypothesis.
  2. [§1.10.4, Proposition] The proposition also needs an explicit hypothesis that ℓ ≤ n. The formula F_{ℓ,n}(V(λ,μ)) = V(ω_{μ_1,λ_1}···ω_{μ_r,λ_r}) from §1.10.3 is only asserted under the condition ℓ ≤ n. The assumption in the proposition, 'n ≫ 0 i.e., n+1 ≥ j_{σ(1)} − min i_p ≥ j_{σ(r)} − max i_p ≥ 0', bounds the span of the intervals but does not bound the sum ℓ = Σ_s (j_{σ(s)} − i_{σ(s)}). For an alternating snake with overlapping intervals the sum of the interval lengths can exceed n+1 while the span condition holds, so ℓ > n is possible. Without ℓ ≤ n, the equality F_{ℓ,n}(V(λ,μ)) = V(ω_s) is not justified. The proposition should include ℓ ≤ n as an explicit hypothesis, or the authors should prove that for the Section 1.9 family (or for the general stable family) the stated inequalities imply ℓ ≤ n.
minor comments (3)
  1. [§1.8.3, Definition of stable] The definition of 'stable' reads 'for 1 ≤ p ≤ r−1 we have i_{p+1} < i_{p−1} =⇒ ...', but i_{p−1} and j_{p−1} are undefined for p=1. This should be corrected to 'for 2 ≤ p ≤ r−1' or a convention should be stated for p=1 (e.g., vacuous).
  2. [§5.2, Proof of Theorem 1(ii)] In the chain of inequalities for d(V(ω_{s(0,p)}), V(ω_{s(p,r)})) there is a typographical artifact '=≤' which should be '≤'. This is purely cosmetic but should be fixed.
  3. [§1.10.4, Choice of σ_s] The tie-breaking rule for σ_s (j equal implies ordering by i) ensures uniqueness of the permutation but does not prevent λ from being singular, as the example in the first major comment shows. The authors should clarify that the condition λ+ρ ∈ P^{reg} is needed for the Arakawa–Suzuki step, or otherwise justify why the constructed λ and μ satisfy the required inequality.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the determinant formula and category O application are derived from independent inputs, not from their conclusions.

full rationale

The claimed determinantal formula [V(ωs)] = det A(s) is not derived from itself or from fitted data. The matrix A(s) is defined directly from the alternating snake s (Section 1.8.1), and Theorem 3 is proved by induction on r (Section 6.4) using three internally proved propositions: Proposition 6.1 (an identity in K0(Fn)), Proposition 6.2 (stability of sp), and Proposition 6.3 (determinant identities for submatrices). These propositions are in turn proved in Sections 7–9 from the structural definition of alternating snakes and from external representation-theoretic inputs: Kashiwara–Kim–Oh–Park invariants ([23]) for reality, Naoi's bound on d for S◦ ⊔ S ([33]), and Mukhin–Young's path description of ℓ-weights ([32]). The self-citation in Section 1.4.2 ('Alternating snake modules are known to be real by the work of [5]') is explicitly not load-bearing: the authors immediately say the proof in their case is very brief and include it in Section 3, where an independent proof is given. The category O application (Proposition 1.10.4) is a deduction after composing the Arakawa–Suzuki functor with the quantum-affine functor of [10]; even if the required μ(h_α) ≤ 0 condition is not verified for all constructed weights — a correctness concern — that is not circularity because the conclusion is not assumed in the input. No fitted parameter is renamed as a prediction, and no uniqueness theorem is imported from the authors' own work to force the construction. Hence no significant circularity.

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

The central claims rest on established theorems in quantum affine algebra representation theory (Weyl modules, q-characters, KKOP d-invariants, Arakawa-Suzuki functor, Chari-Pressley equivalence) rather than on new axioms or fitted parameters. No free parameters are introduced. The paper's main novelty is combinatorial.

assumptions (5)
  • standard math Existence and basic properties of Weyl modules W(ω) and irreducible modules V(ω) for the quantum loop algebra Û_n (Section 2.3, see [8], [11], [13]).
    Background representation theory used throughout; the paper cites prior work rather than proving these foundations.
  • standard math KKOP invariant d(V(ω1), V(ω2)) properties: symmetry, d=0 iff tensor product irreducible, subadditivity, and length-two condition (Section 3.1, Proposition 3.1 from [23], [26]).
    The proof of reality of alternating snake modules and the factorization theorems rely on these external results.
  • standard math Naoi's bound d(V(ω_{i1,j1}), V(ω_{s(1,r)})) ≤ 1 for s ∈ S◦ ⊔ S (Section 3.2, Proposition 3.2 from [33]).
    This bound is essential for the inductive proof that V(ω_s) is real (Section 3.3) and for the d-invariant estimates in Proposition 6.1 and Theorem 1.
  • standard math Arakawa-Suzuki functor F_λ maps Verma modules M(μ) to standard modules and, under the condition μ(h_α) ≤ 0 for λ(h_α)=0, maps irreducible V(μ) to V(λ, μ) (Section 1.10.2, from [1]).
    The category O application depends on this functoriality, and the paper does not verify the condition for the constructed weights.
  • standard math Chari-Pressley equivalence F_{ℓ,n}: Rep(Ĥ_ℓ) → F̃_n is an equivalence when ℓ ≤ n and maps standard/irreducible modules appropriately (Section 1.10.3, from [10]).
    Used to translate the determinant formula to category O.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Alternating snake modules and a determinantal formula." pith.science (2026). https://pith.science/paper/YHWXXMDA

@misc{pith2026241203750,
  author       = {Pith},
  title        = {Pith review of: Alternating snake modules and a determinantal formula},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YHWXXMDA}},
  note         = {Machine review of arXiv:2412.03750}
}
abstract

We introduce a family of modules for the quantum affine algebra which include as very special cases both the snake modules and the modules arising from a monoidal categorification of cluster algebras. We give necessary and sufficient conditions for these modules to be prime and prove a unique factorization result. We also give an explicit formula expressing the module as an alternating sum of Weyl modules. Finally, we give an application of our results to classical questions in the category $\mathcal{ O}(\mathfrak{gl}_r)$. Specifically we apply our results to show that there are a large family of non-regular, non-dominant weights $\mu$ for which the non-zero Kazhdan-Lusztig coefficients $c_{\mu, \nu}$ are $\pm 1$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On dominant $\ell$--weights and maps between Weyl modules for quantum affine $A_n$

    math.QA 2025-04 conditional novelty 7.0 of 10

    For quantum affine A_n, the dominant ℓ-weights of every Weyl module are exactly the interval products in an explicit finite closure, Hom spaces between Weyl modules are at most one-dimensional, and the socle is described.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · cited by 1 Pith paper

  1. [1]

    Duality between sln(C) and the Degenerate Affine Hecke Algebra

    Tomoyuki Arakawa and Takeshi Suzuki. Duality between sln(C) and the Degenerate Affine Hecke Algebra. Journal of Algebra , 209(1):288–304, November 1998

  2. [2]

    Ladder representations of GL(n, Qp), pages 117–137

    Dan Barbasch and Dan Ciubotaru. Ladder representations of GL(n, Qp), pages 117–137. Springer Interna- tional Publishing, Cham, 2015

  3. [3]

    Tensor products and q-characters of HL-modules and monoidal categorifications

    Matheus Brito and Vyjayanthi Chari. Tensor products and q-characters of HL-modules and monoidal categorifications. J. ´Ec. polytech. Math. , 6:581–619, 2019

  4. [4]

    Higher order Kirill ov–Reshetikhin modules for Uq(A(1) n ), imagi- nary modules and monoidal categorification

    Matheus Brito and Vyjayanthi Chari. Higher order Kirill ov–Reshetikhin modules for Uq(A(1) n ), imagi- nary modules and monoidal categorification. Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 2023(804):221–262, 2023

  5. [5]

    Realit y determining subgraphs and strongly real mod- ules

    Matheus Brito, Adriano Moura, and Clayton Silva. Realit y determining subgraphs and strongly real mod- ules. arXiv:2406.06970, 2024

  6. [6]

    Braid group actions and tensor produc ts

    Vyjayanthi Chari. Braid group actions and tensor produc ts. Int. Math. Res. Not. , (7):357–382, 2002

  7. [7]

    Vyjayanthi Chari and Adriano A. Moura. Characters and bl ocks for finite-dimensional representations of quantum affine algebras. International Mathematics Research Notices , 2005(5):257–298, 01 2005

  8. [8]

    Quantum affine alge bras

    Vyjayanthi Chari and Andrew Pressley. Quantum affine alge bras. Comm. Math. Phys. , 142(2):261–283, 1991

Show all 37 references
  1. [9]

    Minimal affinizati ons of representations of quantum groups: the nonsimply-laced case

    Vyjayanthi Chari and Andrew Pressley. Minimal affinizati ons of representations of quantum groups: the nonsimply-laced case. Lett. Math. Phys. , 35(2):99–114, 1995

  2. [10]

    Quantum affine alg ebras and affine hecke algebras

    Vyjayanthi Chari and Andrew Pressley. Quantum affine alg ebras and affine hecke algebras. Pacific Journal of Mathematics , 174:295–326, 1995

  3. [11]

    Quantum affine alg ebras and their representations

    Vyjayanthi Chari and Andrew Pressley. Quantum affine alg ebras and their representations. In Represen- tations of groups (Banff, AB, 1994) , volume 16 of CMS Conf. Proc. , pages 59–78. Amer. Math. Soc., Providence, RI, 1995

  4. [12]

    Minimal affinizat ions of representations of quantum groups: the simply laced case

    Vyjayanthi Chari and Andrew Pressley. Minimal affinizat ions of representations of quantum groups: the simply laced case. J. Algebra, 184(1):1–30, 1996

  5. [13]

    Weyl modules for classical and quantum affine algebras

    Vyjayanthi Chari and Andrew Pressley. Weyl modules for classical and quantum affine algebras. Represent. Theory, 5:191–223 (electronic), 2001

  6. [14]

    Cluster alge bras and snake modules

    Bing Duan, Jian-Rong Li, and Yan-Feng Luo. Cluster alge bras and snake modules. Journal of Algebra , 519:325–377, 2019

  7. [15]

    Tropical geometry, quantu m affine algebras, and scattering amplitudes

    Nick Early and Jian-Rong Li. Tropical geometry, quantu m affine algebras, and scattering amplitudes. Journal of Physics A: Mathematical and Theoretical , 57(49):495201, nov 2024

  8. [16]

    The q-characters of representations of quantum affine algebras and deformations of W-algebras

    Edward Frenkel and Nicolai Reshetikhin. The q-characters of representations of quantum affine algebras and deformations of W-algebras. In Recent developments in quantum affine algebras and related to pics (Raleigh, NC, 1998) , volume 248 of Contemp. Math. , pages 163–205. Amer. Ma...

  9. [17]

    Quantum invariants for decomposition problems in type a rings of representations

    Maxim Gurevich. Quantum invariants for decomposition problems in type a rings of representations. Jour- nal of Combinatorial Theory, Series A , 180:105431, 2021

  10. [18]

    Cluster algebras and quantum affine algebras

    David Hernandez and Bernard Leclerc. Cluster algebras and quantum affine algebras. Duke Math. J. , 154(2):265–341, 2010

  11. [19]

    A cluster algebra approach to q-characters of Kirillov-Reshetikhin modules

    David Hernandez and Bernard Leclerc. A cluster algebra approach to q-characters of Kirillov-Reshetikhin modules. Journal of the European Mathematical Society , 18, 03 2013

  12. [20]

    Monoidal categor ifications of cluster algebras of type A and D

    David Hernandez and Bernard Leclerc. Monoidal categor ifications of cluster algebras of type A and D. In Symmetries, integrable systems and representations , volume 40 of Springer Proc. Math. Stat. , pages 175–193. Springer, Heidelberg, 2013

  13. [21]

    Simplicity of heads and socles of tensor products

    Seok Jin Kang, Masaki Kashiwara, Myungho Kim, and Se Jin Oh. Simplicity of heads and socles of tensor products. Compos. Math. , 151(2):377–396, 2015

  14. [22]

    Monoidal categorification of cluster algebras

    Seok Jin Kang, Masaki Kashiwara, Myungho Kim, and Se Jin Oh. Monoidal categorification of cluster algebras. Journal of the American Mathematical Society , 31(2):349–426, April 2018

  15. [23]

    Monoidal categorification and quantum affine algebras

    Masaki Kashiwara, Myungho Kim, Se-jin Oh, and Euiyong P ark. Monoidal categorification and quantum affine algebras. Compositio Mathematica, 156(5):1039–1077, 2020. 39

  16. [24]

    Cluster algebra structures on module categories over quantum affine algebras

    Masaki Kashiwara, Myungho Kim, Se jin Oh, and Euiyong Pa rk. Cluster algebra structures on module categories over quantum affine algebras. Proceedings of the London Mathematical Society , 124(3):301–372, March 2022

  17. [25]

    Monoidal categorification and quantum affine algebras II

    Masaki Kashiwara, Myungho Kim, Se Jin Oh, and Euiyong Pa rk. Monoidal categorification and quantum affine algebras II. Inventiones Mathematicae , 236(2):837–924, May 2024

  18. [26]

    Pbw theory for quantum affine algebras

    Masaki Kashiwara, Myungho Kim, Se-jin Oh, and Euiyong P ark. Pbw theory for quantum affine algebras. J. Eur. Math. Soc. , 26(7):2679–2743, 2024

  19. [27]

    On a determinantal formula of Tadi´ c.American Journal of Mathematics , 136:111–142, 12 2014

    Erez Lapid and Alberto M ´ ınguez. On a determinantal formula of Tadi´ c.American Journal of Mathematics , 136:111–142, 12 2014

  20. [28]

    Geometric conditions for □ -irreducibility of certain representations of the general linear group over a non-archimedean local field

    Erez Lapid and Alberto M ´ ınguez. Geometric conditions for □ -irreducibility of certain representations of the general linear group over a non-archimedean local field. Advances in Mathematics , 339:113–190, 12 2018

  21. [29]

    Affine Hecke algebras and their graded ve rsion

    George Lusztig. Affine Hecke algebras and their graded ve rsion. J. Amer. Math. Soc. , 2(3):599–635, 1989

  22. [30]

    On the primality of tot ally ordered q-factorization graphs

    Adriano Moura and Clayton Silva. On the primality of tot ally ordered q-factorization graphs. Canadian Journal of Mathematics , 76(2):594–637, 2024

  23. [31]

    Evgeny Mukhin and Charles A. S. Young. Extended T-syste ms. Selecta Mathematica, 18(3):591–631, 2012

  24. [32]

    Evgeny Mukhin and Charles A. S. Young. Path description of type B q -characters. Advances in Mathe- matics, 231:1119–1150, 2012

  25. [33]

    Strong duality data of type A and extend ed T-systems

    Katsuyuki Naoi. Strong duality data of type A and extend ed T-systems. Transformation Groups, 2024

  26. [34]

    Triangular bases in quantum cluster algebras a nd monoidal categorification conjectures

    Fan Qin. Triangular bases in quantum cluster algebras a nd monoidal categorification conjectures. Duke Mathematical Journal , 166(12):2337 – 2442, 2017

  27. [35]

    On characters of irreducible unitary rep resentations of general linear groups

    Marko Tadi´ c. On characters of irreducible unitary rep resentations of general linear groups. Abhandlungen aus dem Mathematischen Seminar der Universit¨ at Hamburg , 65(1):341–363, 1995

  28. [36]

    Standard modules of quantum affine algebras

    Michela Varagnolo and Eric Vasserot. Standard modules of quantum affine algebras. Duke Math. J. , 111(3):509–533, 2002

  29. [37]

    Quantum groups and flag varieties

    Nicolai Reshetikhin Victor Ginzburg and ´Eric Vasserot. Quantum groups and flag varieties. Mathematical aspects of conformal and topological field theories and quan tum groups (South Hadley, MA, 1992) , 175:101– 130, 1994. Departamento de Matematica, UFPR, Curitiba - PR - Brazil...

Pith tools

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