REVIEW 3 major objections 3 minor 1 cited by
Stable Higher Specht Polynomials and Representations of Infinite Symmetric Groups
T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Stable Specht polynomial limits yield irreducible representations of the infinite symmetric group
desk verdict Sections 2–3 are a solid, citable construction; the advertised filtrations are explicitly conditional on Conjecture 4.9, which is unproved. 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 mechanism is the operation $\iota$ on tableaux and its semi-standard counterpart $\hat{\iota}$, which increases the shape by adding a box to the first row while preserving the descent set and the sum $\Sigma(M)$. Iterating these operations produces infinite Ferrers diagrams, infinite standard and semi-standard Young tableaux, and the stable generalized higher Specht polynomials $F_{\hat{M},\hat{T}}$ that are the limits of the finite higher Specht polynomials. The parameter $f_{\hat{M}}$, defined as the number of positive entries in the first row of the tableau (or equivalently the number of positive multiplicities in the infinite version), measures how much of the symmetric-function ring is mixed into the representation; $f=0$ exactly corresponds to stable polynomials that remain in $\mathbb{Q}[x_\infty]$. The key machinery also includes the monomial symmetric function $m_{\hat{M}}$ attached to $\hat{M}$, which separates the polynomial part from the symmetric-function part in the decompositions of $\tilde{\Lambda}_d$.
What would settle it
Compute explicitly the n-support (in the sense of Definition 4.1) for a polynomial F in V_M with f_M = 2 and degree d = 5, using the decomposition of Q[x_{n+1}]_5 given by Theorem 1.23. If the n+1-support contains a tableau N with f_N differing from 2 or 1, or if the map $p_n^{2}$ fails to be injective on the relevant component, then Conjecture 4.9 is false and the filtrations of Section 4 collapse. A computer search over all tableaux of degree 5 and n large enough (say n=11) would settle it.
Extended reading notes
Core claim
The paper defines the ring $\tilde{\Lambda}$ of eventually symmetric functions—bounded-degree power series in infinitely many variables that are invariant under permutations of all but finitely many variables—and shows that it is generated by the polynomial ring $\mathbb{Q}[x_\infty]$ and the ring $\Lambda$ of symmetric functions, with these two generating sets algebraically independent (Proposition 2.4). Inside $\tilde{\Lambda}$ it constructs stable generalized higher Specht polynomials $F_{\hat{M},\hat{T}}$ indexed by infinite standard and semi-standard Young tableaux. Theorem 2.19 establishes that the spaces $V_{\hat{M}}$ spanned by these stable polynomials are irreducible representations of both $S_\infty$ and $S_\mathbb{N}$, with isomorphism type determined by the infinite Ferrers diagram $\hat{\lambda}$. The central structural result, Theorem 3.23, identifies the maximal completely reducible subrepresentation of the homogeneous piece $\tilde{\Lambda}_d$ as the direct sum of these irreducible $V_{\hat{M}}$ over all $\hat{M}$ in $\mathrm{SSYT}_d(\hat{\lambda})$; similarly for the polynomial subring $\mathbb{Q}[x_\infty]_d$. The failure of complete reducibility is traced to the fact that elements of the symmetric-function ring $\Lambda$ become separate from polynomials in the infinite limit.
Load-bearing premise
The load-bearing premise is Conjecture 4.9, which asserts that for a polynomial lying in a single irreducible component V_M, its decomposition into components in one more variable only involves tableaux whose f-parameter is f or f-1, and that the associated projection maps are injective; all the filtration results after Definition 4.14 are conditional on this conjecture, verified only for degree at most 4 and a few additional tableaux.
Editorial extensions
If this is right
- If the paper is correct, every stable higher Specht polynomial—the limit of the generalized higher Specht polynomials of Ariki–Terasoma–Yamada and their generalizations—is a basis vector of an irreducible representation of the infinite symmetric group indexed by an infinite Ferrers diagram.
- The failure of complete reducibility in $\tilde{\Lambda}_d$ and $\mathbb{Q}[x_\infty]_d$ is fully accounted for by the separation of symmetric functions from polynomials; the maximal completely reducible subrepresentation is precisely the direct sum of the irreducible pieces with $f=0$.
- The filtrations constructed in Section 4 (conditional on Conjecture 4.9) provide a composition series for $\tilde{\Lambda}_d$, $\mathbb{Q}[x_\infty]_d$, and the quotient $R_{8,k,d}$, whose graded pieces are explicit direct sums of irreducible modules with prescribed multiplicities $c_{\hat{M},f}$.
- The isomorphism types of the irreducible representations $S_{\hat{\lambda}}$ depend only on the infinite partition $\hat{\lambda}$, and distinct $\hat{\lambda}$ give non-isomorphic representations, yielding a classification of these limits.
- The results yield explicit computations of dimensions and multiplicities of isotypical components (Corollary 3.19), including formulas that extend the hook-length and multinomial identities to the infinite setting.
Reading between the lines
- If Conjecture 4.9 holds for all degrees, the parameter $f$ becomes a well-defined invariant of polynomially supported elements in $\mathbb{Q}[x_\infty]_d$, and the filtration on $\tilde{\Lambda}$ likely coincides with the filtration induced by the degree of the symmetric-function part in the decomposition of $\tilde{\Lambda}$ as $\mathbb{Q}[x_\infty] \otimes \Lambda$; this would provide a complete
- The separation phenomenon observed here—where the limit of a sum of polynomial representations loses the symmetric-function components—suggests a general principle for limits of representations of finite symmetric groups: when the index of a representation involves a parameter that grows with $n$, the limit may fail to be completely reducible, and the missing components correspond to symmetric fun
- A testable extension is to compute the matrix of basis changes between the three decompositions of Theorem 3.15 (the $V_{\hat{M}}$, $\tilde{V}_{\hat{M}}$, and $V^{\vec{h}}_{\hat{C}}$ bases) for small $d$ and compare with the stability predicted in Remark 3.20; if the matrices stabilize as $n$ grows, it would provide an explicit bijection between $\mathrm{SSYT}_d(\hat{\lambda})$ and the set $A_d(\h
- The conjecture itself might be approachable via the explicit formulas for the embeddings $\mathbb{Q}[x_n]_d \hookrightarrow \mathbb{Q}[x_{n+1}]_d$ given in Examples 4.4–4.7, which suggest a general closed form for the projection maps $p_n^f$ and $q_n^f$ in terms of normalized symmetric functions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the ring Λ∼ of eventually symmetric formal power series of bounded degree, defines infinite Ferrers diagrams and infinite (semi-)standard tableaux, and constructs stable generalized higher Specht polynomials F_{M̂,T̂}. It proves that the spaces V_{M̂} are irreducible S_N- and S_∞-representations indexed by infinite Ferrers diagrams (Theorem 2.19), and that the maximal completely reducible subrepresentations of Q[x_∞]_d and Λ∼_d are the finite direct sums of these irreducible pieces over suitable indices (Theorem 3.23). In Section 4 the paper states Conjecture 4.9 about the behavior of the f-parameter under adding one variable and derives, conditional on it, filtrations of Q[x_∞]_d and Λ∼_d whose graded pieces are maximal completely reducible (Definitions 4.14 and 4.18; Theorems 4.17 and 4.20). The paper explicitly labels all results after Definition 4.14 as dependent on Conjecture 4.9.
Significance. The unconditional portions give an explicit, basis-level construction of irreducible representations of the infinite symmetric group inside a natural completion of the polynomial ring, and Theorem 3.23 answers a well-posed question about the failure of complete reducibility. The paper is honest about the conditional nature of Section 4. However, the advertised final filtrations are not theorems as submitted: they depend on an unproved conjecture, and the foundations rely on two unpublished preprints by the author. If Conjecture 4.9 can be proved, this will be a substantial contribution; in its current form, the central claim of the abstract is not established.
major comments (3)
- [§4, Conjecture 4.9 and Definition 4.14] Conjecture 4.9 is the load-bearing unproved premise of the final goal. Lemma 4.11 uses it to prove Q[x_n]^f_d ⊆ Q[x_{n+1}]^f_d; Corollary 4.13 uses it to define f_F independently of n; Definition 4.14 uses f_F to define Q[x_∞]^f_d and Λ∼^f_d; and Proposition 4.15, Theorem 4.17, Theorem 4.20, and Corollaries 4.16, 4.22, and 4.27 all inherit this dependence. The paper explicitly states after Definition 4.14 that the results are conditional, and reports verification only for d ≤ 4 and selected additional tableaux. Since the abstract presents the filtrations and the form of the maximal completely reducible subrepresentations without this caveat, the conjecture must be proved, or the advertised claims must be re-labeled as conjectural, before the paper can be accepted.
- [§1, Theorem 1.13 and Proposition 1.16] The proof skeleton relies at essential points on results quoted from the author's unpublished preprints [Z2] and [Z3]: Theorem 1.13, Proposition 1.16, Theorem 1.22, and Theorem 1.23. These are used in the proofs of Proposition 2.15, Theorem 2.19, Lemma 2.23, Theorem 2.28, Proposition 2.31, Theorem 3.11, Theorem 3.15, and Theorem 3.23. A journal referee cannot verify unpublished preprints, so either full proofs must be included in this paper or the dependence on [Z2] and [Z3] must be removed.
- [§4, Conjecture 4.9(iii)] Part (iii) is especially strong and is not supported by the evidence given. Injectivity of p^{f-1}_n + q^f_n requires a dimension inequality A_n^f + A_n^{f-1} ≤ B_{n+1}^{f-1} for the relevant isotypic components, and no general argument is supplied. Similarly, part (i) asserts that the (n+1)-support of an element of a single V_M contains only tableaux with f-values f and f-1; Remark 4.10 shows that the f-part can mix several tableaux, so this is a real combinatorial assertion about higher Specht expansions, not a formality. If either assertion fails, f_F may depend on n and the filtrations in Definition 4.14 and Theorem 4.20 do not exist as stated. Please provide a proof or a much more substantial verification.
minor comments (3)
- [Abstract] The abstract contains the typo 'irreducibe' for 'irreducible'.
- [§1, after Example 1.21] The sentence 'Note that when going from n = 5 to n = 6 in Example 1.20' should refer to Example 1.21, since the displayed decompositions are given in Example 1.21.
- [References] The entries [Z2] and [Z3] are listed as unpublished preprints without arXiv identifiers; if they are available online, stable identifiers should be provided so that the reader can access the results on which the present paper depends.
Circularity Check
No direct circular derivation, but the infinite representation theory rests on the author's own unverified preprints [Z2]/[Z3] via Theorem 1.13, while the Section 4 filtrations are explicitly conditional on Conjecture 4.9.
-
self citation load bearing
[Section 2, proof of Theorem 2.19 (also Definition 2.14 and Proposition 2.15); foundational theorem Theorem 1.13 is attributed to [Z2]/[Z3].]
"Then substitute xm “ 0 for all m ą n produces ře j“1 ajF pnq j , and our form of F pnq j combines with Theorem 1.13 to show that this is a linear relation among elements which form a basis for a representation of Sn."
Theorem 2.19, which asserts the basis, irreducibility, and non-isomorphism of the infinite S_N/S_8 representations V_{ŜM}, is proved by reduction to Theorem 1.13. The paper explicitly states that Theorem 1.13 was proved in Proposition 2.6 of [Z2] and Proposition 2.5 of [Z3], both unpublished preprints by the same author. Those preprints are not machine-checked, code-reproduced, or externally verified, so the citation is the sole load-bearing support for the new infinite results without independent confirmation. While the finite theorem is not literally the same as the infinite claim, the infinite irreducibility and basis statements reduce to the finite ones from a self-citation chain, making the derivation not self-contained.
full rationale
The paper does not contain a fitted input renamed as a prediction, nor a self-definitional step in which X is defined in terms of Y. Conjecture 4.9 is honestly labeled as a conjecture; the paper states on page 53 that 'We henceforth assume the validity of the latter, even without saying so explicitly. All the results that follow are hence conditional on that conjecture.' That is a limitation and a correctness risk, not circularity, because the conjecture is not proved using the theorems it supports. The main circularity concern is the heavy self-citation component: the infinite representation theory (Theorem 2.19, Proposition 2.15, and their consequences) is built on Theorem 1.13 and Proposition 1.16 from the author's own unpublished preprints [Z2] and [Z3]. These are parameter-free and do not include the target infinite result, so the dependency is a chain rather than a logical circle, but since the preprints are not externally verified the support is not independent. The paper's genuinely new contributions—the ring Λ̃ of eventually symmetric functions, the infinite Ferrers diagrams and tableaux, and the classification of maximal completely reducible subrepresentations in Theorem 3.23—have independent mathematical content and are not obtained by merely renaming known results. Overall, the paper is self-consistent and transparent about its conjectural dependence, so it earns a moderate score reflecting the self-citation load-bearing structure rather than a higher score for hidden circularity.
Assumptions & free parameters
assumptions (3)
- domain assumption The finite-dimensional decomposition theorems quoted from [Z2] and [Z3], including Theorem 1.13, Proposition 1.16, Theorem 1.22, and Theorem 1.23, are correct.
- ad hoc to paper Conjecture 4.9 holds: for F in a single V_M with f_M=f, the (n+1)-support uses only f-values f and f-1, and the maps p^f_n and q^f_n are injective.
- standard math Standard facts about Specht modules, standard and semi-standard Young tableaux, and symmetric function bases are used without proof.
invented entities (4)
-
Ring \tilde{\Lambda} of eventually symmetric functions
-
Infinite Ferrers diagrams and infinite SYT/SSYT/CCT tableaux
-
Stable generalized higher Specht polynomials F_{\hat M,\hat T}
-
f-parameter f_M and f_{\hat M}
Cite this review
Pith. "Pith review of Stable Higher Specht Polynomials and Representations of Infinite Symmetric Groups." pith.science (2026). https://pith.science/paper/HSLTUAG3
@misc{pith2026250507099,
author = {Pith},
title = {Pith review of: Stable Higher Specht Polynomials and Representations of Infinite Symmetric Groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/HSLTUAG3}},
note = {Machine review of arXiv:2505.07099}
}
abstract
We define eventually symmetric functions to be those power series of bounded degree in infinitely many variables that are invariant under interchanging all the variables with large enough indices. We show how this ring $\tilde{\Lambda}$ is the natural place to define the stable versions of the higher Specht polynomials of Ariki, Terasoma, and Yamada and their generalized versions from the prequels to this paper, and investigate its various properties as a representation of the infinite symmetric groups. This requires defining infinite versions of Ferrers diagrams, standard Young tableau, semi-standard ones, and the appropriate representations inside $\tilde{\Lambda}$, which are irreducibe as limits of irreducible representations of finite symmetric groups. The homogeneous parts of $\tilde{\Lambda}$ and of its subring of polynomials in infinitely many variables are no longer completely reducible, and we determine the form of the maximal completely reducible sub-representations there (in several normalizations). After posing a conjecture about the decompositions of polynomials in $n$ variables using the representations of $S_{n+1}$, we obtain explicit filtrations on $\tilde{\Lambda}$ and its subring, whose graded pieces are the maximal completely reducible sub-representations at each step.
Forward citations
Cited by 1 Pith paper
-
The Antipodes of $q$-Quasi-Symmetric Functions and Non-Commutative Quasi-Symmetric Functions
Explicit antipode formulas are proved for commutative and non-commutative q-quasi-symmetric functions, plus a partial antipode on a new fundamental basis of NCQSym, via a cancelation argument that recovers the classic...
Reference graph
Works this paper leans on
-
[1]
J., vol 27 no
Ariki, S., Terasoma, T., Yamada, H., Higher Specht polynomials , Hiroshima Math. J., vol 27 no. 1 ,177--188 (1997)
1997
-
[2]
Math., vol 306, 89-–122 (2017)
Assaf, S., Searles, D., Schubert Polynomials, Slide Polynomials, Stanley Symmetric Functions, and Quasi-Yamanouchi Pipe Dreams , Adv. Math., vol 306, 89-–122 (2017)
2017
-
[3]
of Math., vol 57, 115-–207 (1953)
Borel, A., Sur la Cohomologie des Espaces Fibr\' e s Principaux et des Espaces homog\` e nes des Groupes de Lie Compacts , Ann. of Math., vol 57, 115-–207 (1953)
1953
-
[4]
Borodin, A. M., Olshanski, G. I., Representations of the Infinite Symmetric Group , Cambridge Studies in Advanced Mathematics 160, Cambridge University Press, viii+160pp (2016)
work page 2016
-
[5]
Brauner, S., Corteel, S., Daugherty, J., Schilling, A., Crystal Skeletons: Combinatorics and Axioms , pre-print, https://arxiv.org/abs/2503.14782 (2025)
arXiv 2025
-
[6]
J., vol 164 no
Church, T., Ellenberg, J., Farb, B., FI-Modules and Stability for Representations of Symmetric Groups , Duke Math. J., vol 164 no. 9, 1833–-1910 (2015)
2015
-
[7]
Math., vol 245, 250–-314 (2015)
Church, T., Ellenberg, J., Farb, B., Representations Theory and Homological Stability , Adv. Math., vol 245, 250–-314 (2015)
2015
-
[8]
Cohen, A., Zemel, S., Polynomial Expressions for the Dimensions of the Representations of Symmetric Groups and Restricted Standard Young Tableaux , pre-print, https://arxiv.org/abs/2410.16758 (2024)
arXiv 2024
Show all 29 references
-
[9]
Farb, B., Representation Stability , Proceedings of the ICM, Seoul, vol II, 1173–-1196 (2014)
2014
-
[10]
Fulton, W., Young Tableaux: With Applications to Representation Theory and Geometry , 2nd printing, London Mathematical Society Student Texts 35, Cambridge University Press, x+260pp (1999)
1999
-
[11]
Comb., vol 25, 51-–77 (2021)
Gillespie, M., Rhoades, B., Higher Specht Bases for Generalizations of the Coinvariant Ring , Ann. Comb., vol 25, 51-–77 (2021)
2021
-
[12]
Math., vol 329, 851-–915 (2018)
Haglund, J., Rhoades, B., Shimozono, M., Ordered Set Partitions, Generalized Coinvariant Algebras, and the Delta Conjecture , Adv. Math., vol 329, 851-–915 (2018)
2018
-
[13]
Wilson, A
Haglund, J., Remmel, J., B. Wilson, A. T., The Delta Conjecture , Trans. Amer. Math. Soc., vol 370, 4029–-4057 (2018)
2018
-
[14]
James, G., Kerber, A., The Representation Theory of the Symmetric Group , Encyclopedia of Mathematics and its Applications 16, Cambridge University Press, xxx+510pp (1981)
1981
-
[15]
I., Olshanski, G
Molev, A. I., Olshanski, G. I., Degenerate Affine Hecke Algebras and Centralizer Construction for the Symmetric Groups , J. Algebra, vol 237, 302–-341 (2000)
2000
-
[16]
E., A New Construction of Young's Seminormal Representation of the Symmetric Group , J
Murphy, G. E., A New Construction of Young's Seminormal Representation of the Symmetric Group , J. Algebra, vol 69 issue 2, 287–-297 (1981)
1981
-
[17]
Okounkov, A., On representations of the infinite symmetric group , J. Math. Sci., vol 96 issue 5, 3550--3589 (1999)
1999
-
[18]
Pawlowski, B., Rhoades, B., A Flag Variety for the Delta Conjecture , Trans. Amer. Math. Soc., vol 372, 8195–-8248 (2019)
2019
-
[19]
Algebra, vol 36 issue 1, 88–-97 (1975)
Peel, H., Specht modules and symmetric groups , J. Algebra, vol 36 issue 1, 88–-97 (1975)
1975
-
[20]
Math., vol 202, 987–-1027 (2015)
Putman, A., Stability in the Homology of Congruence Subgroups , Invent. Math., vol 202, 987–-1027 (2015)
2015
-
[21]
Sagan, B. E., The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions , 2nd edition, Graduate Texts in Mathematics 203, Springer, New York, New York, xv+238pp (2000)
2000
-
[22]
V.,, Snowden, A., Stability Patterns in Representation Theory , Forum Math
Sam, S. V.,, Snowden, A., Stability Patterns in Representation Theory , Forum Math. Sigma, vol 3, e11, 1–-108 (2015)
2015
-
[23]
P., Enumerative Combinatorics, Volume 1 , 2nd edition, Cambridge Studies in Advanced Mathematics 49, Cambridge University Press, xiv+626pp (2012)
Stanley, R. P., Enumerative Combinatorics, Volume 1 , 2nd edition, Cambridge Studies in Advanced Mathematics 49, Cambridge University Press, xiv+626pp (2012)
2012
-
[24]
P., Enumerative Combinatorics, Volume 2 , 2nd edition, Cambridge Studies in Advanced Mathematics 62, Cambridge University Press, xvi+783pp (2024)
Stanley, R. P., Enumerative Combinatorics, Volume 2 , 2nd edition, Cambridge Studies in Advanced Mathematics 62, Cambridge University Press, xvi+783pp (2024)
2024
-
[25]
van Leeuwen, M. A. A., The Littlewood--Richardson Rule, and Related Combinatorics , in: Interaction of Combinatorics and Representation Theory , eds. Stembridge, J. R., Thibon, J.-Y., van Leeuwen, M. A. A., Mathematical Society of Japan Memoirs 11, The Mathematical Society of ...
2001
-
[26]
Z., vol 85 no
Thoma, E., Die Unzerlegbaren, Positiv-Definiten Klassenfunktionen der Abz\" a hlbar Unendlichen Symmetrischen Gruppe , Math. Z., vol 85 no. 1, 40--61 (1964)
1964
-
[27]
Zemel, S., On Differentiating Symmetric Functions , pre-print, https://arxiv.org/abs/2302.00549 (2023)
2023 arXiv
-
[28]
Zemel, S., Compatibility of Higher Specht Polynomials and Decompositions of Representations , pre-print (2025)
2025
-
[29]
Zemel, S., Generalized Higher Specht Polynomials and Homogeneous Representations of Symmetric Groups , pre-print (2025)
2025
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.