Classification of prime modules of quantum affine algebras corresponding to 2-column tableaux
Pith reviewed 2026-05-24 02:11 UTC · model grok-4.3
The pith
Prime modules corresponding to 2-column semistandard Young tableaux are classified up to one conjectural property.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper classifies all prime modules corresponding to 2-column semistandard Young tableaux for quantum affine algebras of type A, up to a conjectural property, and supplies a conjectural sufficient condition for a module corresponding to a tableau with more than two columns to be prime.
What carries the argument
The correspondence between finite dimensional simple modules and semistandard Young tableaux of rectangular shapes, used to identify which tableaux produce prime modules.
If this is right
- Every 2-column tableau is decided to be prime or not once the conjecture is verified.
- A sufficient condition is proposed that may detect primeness for tableaux having three or more columns.
- The prime spectrum of the representation category is now known for all 2-column rectangular shapes.
- Tensor factorization of modules can be read off directly from the 2-column tableaux.
Where Pith is reading between the lines
- The same conjectural property may extend the classification to all rectangular shapes if it behaves uniformly across column numbers.
- The classification could be used to compute explicit bases or characters for the prime modules in the 2-column case.
- Neighboring questions about the Grothendieck ring or the cluster algebra structure attached to these modules become accessible once the primes are listed.
Load-bearing premise
A single conjectural property about the modules must hold in order to finish the classification for the 2-column case.
What would settle it
An explicit 2-column tableau whose corresponding module is prime (or non-prime) in a way that contradicts the conjectural property used in the classification.
read the original abstract
Finite dimensional simple modules of quantum affine algebras of type A correspond to semistandard Young tableaux of rectangular shapes. In this paper, we classify all prime modules corresponding to 2-column semistandard Young tableaux, up to a conjectural property. Moreover, we give a conjectural sufficient condition for a module corresponding to a tableau with more than two columns to be prime.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies all prime modules corresponding to 2-column semistandard Young tableaux for quantum affine algebras of type A, up to a conjectural property. It also provides a conjectural sufficient condition for a module corresponding to a tableau with more than two columns to be prime.
Significance. If the conjectural property holds, the result would complete the classification of prime modules in the 2-column case, extending the known correspondence between finite-dimensional simple modules and semistandard Young tableaux. The conjectural condition for multi-column cases could serve as a starting point for further investigations.
major comments (2)
- [Abstract] Abstract: The classification of all prime modules for 2-column tableaux is explicitly conditional on an unproven conjectural property, which is used to assert completeness of the list; no proof, reduction to known results, or explicit verification for small tableaux is supplied to support the property.
- [§1, §4] §1 and §4: The conjectural property is invoked to finish the classification without independent evidence or partial results confirming it holds in the relevant cases, making the central claim of a full classification load-bearing on this assumption.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript. We respond point by point to the major comments below, emphasizing that the results are presented explicitly as conditional on the stated conjecture.
read point-by-point responses
-
Referee: [Abstract] Abstract: The classification of all prime modules for 2-column tableaux is explicitly conditional on an unproven conjectural property, which is used to assert completeness of the list; no proof, reduction to known results, or explicit verification for small tableaux is supplied to support the property.
Authors: The abstract states that the classification holds up to the conjectural property, and the paper does not assert an unconditional completeness. The main contribution is the explicit list of candidate prime modules together with the formulation of the conjecture needed for completeness. No proof of the conjecture is supplied because establishing it lies beyond the scope of the present work; the manuscript instead focuses on deriving the classification assuming the property. We note that the conjecture can in principle be verified directly for small tableaux via existing algorithms for quantum affine algebra modules, but the current version does not include such checks. revision: no
-
Referee: [§1, §4] §1 and §4: The conjectural property is invoked to finish the classification without independent evidence or partial results confirming it holds in the relevant cases, making the central claim of a full classification load-bearing on this assumption.
Authors: Sections 1 and 4 present the classification of prime modules for 2-column tableaux as conditional on the conjectural property, which is stated clearly at the outset. The central claim of the paper is therefore not an unconditional classification but a classification under the explicitly formulated assumption. This structure is standard when a key step remains conjectural; the manuscript provides the reduction to the conjecture rather than independent evidence for it. revision: no
Circularity Check
No circularity detected; classification is explicitly conditional on an external conjecture
full rationale
The abstract states the classification of prime modules for 2-column tableaux holds 'up to a conjectural property' and offers a separate 'conjectural sufficient condition' for >2 columns. This is an honest admission of an unproven assumption rather than a derivation that reduces to its own inputs by construction. No self-citation, self-definitional loop, fitted-input-as-prediction, or ansatz-smuggling is quoted or exhibited in the provided text. The central claim does not assert completeness without the conjecture, so the derivation chain does not collapse to the inputs. This matches the default expectation of no significant circularity.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We classify all prime modules corresponding to 2-column semistandard Young tableaux, up to a conjectural property... L(M) is prime if and only if T1, T2 are not weakly separated (Theorem 3.9)
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Conjecture 3.8... Conjecture 5.1: if for every i≠j, Si,Sj are not weakly separated, then T is prime
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
M. Brito and V. Chari, Higher order Kirillov-Reshetikhin modules, Imaginary mod ules and Monoidal Categorification for Uq(A(1) n ), Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 2023 (804), 221–262
work page 2023
-
[4]
E. A. Bender and D. E. Knuth, Enumeration of plane partitions , J. Combinatorial Theory Ser. A 13 (1972), 40–54
work page 1972
- [5]
-
[6]
M.-W. Cheung, P.-P. Dechant, Y.-H. He, E. Heyes, E. Hirst, J.-R. Li, Clustering Cluster Algebras with Clusters , Advances in Theoretical and Mathematical Physics, 27 (3), 797–828
- [7]
-
[8]
V. Chari and A. Pressley, Quantum affine algebras , Comm. Math. Phys. 142 (1991), 261–283. Classification of prime modules corresponding to 2-column t ableaux 15
work page 1991
-
[9]
V. Chari and A. Pressley, A guide to quantum groups , Cambridge University Press, Cambridge,
-
[10]
V. Chari and A. Pressley, Quantum affine algebras and their representations , in Representations of groups (Banff, AB, 1994), 16 of CMS Conf. Proc. Amer. Math. Soc., Providence, RI, 1995
work page 1994
-
[11]
V. Chari and A. Pressley, Minimal affinizations of representations of quantum groups: the simply- laced case, Journal of Algebra 184 (1996), 1–30
work page 1996
- [12]
-
[13]
Drinfeld, A new realization of Yangians and of quantum affine algebras , Dokl
V. Drinfeld, A new realization of Yangians and of quantum affine algebras , Dokl. Akad. Nauk SSSR, 296 (1987), no.1, 13–17
work page 1987
-
[14]
N. Early, Planarity in generalized scattering amplitudes: PK polyto pe, generalized root systems and worldsheet associahedra, arXiv preprint arXiv:2106.07142 (2021)
-
[15]
N. Early and J.-R. Li, Tropical geometry, quantum affine algebras, and scattering a mplitudes, Journal of Physics A: Mathematical and Theoretical, 57 (49), 495201
-
[16]
E. Frenkel and E. Mukhin, Combinatorics of q-characters of finite-dimensional representations of quantum affine algebras , Commun. Math. Phys. 216, 23–57 (2001)
work page 2001
-
[17]
E. Frenkel and N. Reshetikhin, The q-characters of representations of quantum affine algebras and deformations of W -algebras, Recent developments in quantum affine algebras and related topics (Raleigh, NC, 1998), pp. 163–205. Contemp. Math., vol. 248. American Mathematical Society, Providence (1999)
work page 1998
-
[18]
E. R. Gansner, On the equality of two plane partition correspondences , Discrete Math. 30 (1980), 121–132
work page 1980
-
[19]
Hopkins, Cyclic sieving for plane partitions and symmetry , SIGMA Symmetry Integrability Geom
S. Hopkins, Cyclic sieving for plane partitions and symmetry , SIGMA Symmetry Integrability Geom. Methods Appl. 16 (2020), Paper No. 130, 40
work page 2020
-
[20]
D. Hernandez and B. Leclerc, Cluster algebras and quantum affine algebras , Duke Math. J., 154(2) (2010), 265–341
work page 2010
-
[21]
Jimbo, A q-difference analogue of U (g) and the Yang-Baxter equation , Lett
M. Jimbo, A q-difference analogue of U (g) and the Yang-Baxter equation , Lett. Math. Phys., 10 (1985), no. 1, 63–69
work page 1985
-
[22]
D. Kazhdan, and G. Lusztig, Representations of Coxeter Groups and Hecke Algebras , Inventiones Mathematicae, 53, 165–184 (1979)
work page 1979
-
[23]
M. Kashiwara, M. Kim, S-J. Oh and E. Park, Categories over quantum affine algebras and monoidal categorification, Proc. Japan Acad. Ser. A Math. Sci. 97 (2021), no. 7, 39–44
work page 2021
-
[24]
M. Kashiwara, M. Kim, S-J. Oh and E. Park, Monoidal categorification and quantum affine algebras II , Invent. Math. 236 (2024), no. 2, 837–924
work page 2024
-
[25]
Leclerc, Imaginary vectors in the dual canonical basis of Uq(n), Transform Groups 8 (2003), no
B. Leclerc, Imaginary vectors in the dual canonical basis of Uq(n), Transform Groups 8 (2003), no. 1, 95–104
work page 2003
-
[26]
B. Leclerc and A. Zelevinsky, Quasicommuting families of quantum Pl¨ ucker coordinates, In Kir- illov’s seminar on representation theory, volume 181 of Amer. Math. Soc. Transl. Ser. 2, pages 85–108. Amer. Math. Soc., Providence, RI, 1998
work page 1998
- [27]
-
[28]
F. Qin, Triangular bases in quantum cluster algebras and monoidal c ategorification conjectures, Duke Math. J. 166 (12) 2337–2442, 2017
work page 2017
- [29]
-
[30]
S. Oh, A. Postnikov, and D. E. Speyer, Weak separation and plabic graphs , Proceedings of the London Mathematical Society, 110 (3), 721–754. 16 NICK EARLY AND JIAN-RONG LI
-
[31]
L. Ren, M. Spradlin, A. Volovich, Symbol alphabets from tensor diagrams , J. High Energ. Phys. 2021, 79 (2021)
work page 2021
-
[32]
M. P. Sch¨ utzenberger, Quelques remarques sur une construction de Schensted , Math. Scand. 12 (1963), 117–128
work page 1963
-
[33]
M. P. Sch¨ utzenberger,Promotion des morphismes d’ensembles ordonn´ es, Discrete Math. 2 (1972), 73–94
work page 1972
-
[34]
M. P. Sch¨ utzenberger, La correspondance de Robinson , in Combinatoire et repr´ esentation du groupe sym´ etrique, Lecture Notes in Math., Vol. 579, Springer-Verlag, Berlin-New York, 1977, 59–113
work page 1977
-
[35]
J. Scott, Grassmannians and cluster algebras , Proceedings of the London Mathematical Society, 92(3) (2006), 345–380
work page 2006
- [36]
-
[37]
R. P. Stanley, Enumerative Combinatorics, Vol. 2, Cambridge Studies in Advanced Mathematics 62, Cambridge University Press, Cambridge, 1999. Nick Early, Institute for Advanced Study, Princeton, NJ. Email address : earlnick@ias.edu Jian-Rong Li, F aculty of Mathematics, University of Vienna , Oskar-Morgenstern- Platz 1, 1090 Vienna, Austria. Email address ...
work page 1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.