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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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}.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.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.
- [§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.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).
- [§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.
- [§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
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
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]).
- 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]).
- 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]).
- 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]).
- 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]).
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$.
Forward citations
Cited by 1 Pith paper
-
On dominant $\ell$--weights and maps between Weyl modules for quantum affine $A_n$
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
-
[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
work page 1998
-
[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
work page 2015
-
[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
work page 2019
-
[4]
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
work page 2023
-
[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]
Braid group actions and tensor produc ts
Vyjayanthi Chari. Braid group actions and tensor produc ts. Int. Math. Res. Not. , (7):357–382, 2002
work page 2002
-
[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
work page 2005
-
[8]
Vyjayanthi Chari and Andrew Pressley. Quantum affine alge bras. Comm. Math. Phys. , 142(2):261–283, 1991
work page 1991
Show all 37 references
-
[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
1995
-
[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
1995
-
[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
1994
-
[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
1996
-
[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
2001
-
[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
2019
-
[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
2024
-
[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...
1998
-
[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
2021
-
[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
2010
-
[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
2013
-
[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
2013
-
[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
2015
-
[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
2018
-
[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
2020
-
[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
2022
-
[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
2024
-
[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
2024
-
[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
2014
-
[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
2018
-
[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
1989
-
[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
2024
-
[31]
Evgeny Mukhin and Charles A. S. Young. Extended T-syste ms. Selecta Mathematica, 18(3):591–631, 2012
2012
-
[32]
Evgeny Mukhin and Charles A. S. Young. Path description of type B q -characters. Advances in Mathe- matics, 231:1119–1150, 2012
2012
-
[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
2024
-
[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
2017
-
[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
1995
-
[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
2002
-
[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...
1992
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.