Pith. sign in

REVIEW 3 major objections 4 minor 26 references

Universal Hilbert series coefficients of the superspace coinvariant ring

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Binomial differences settle the Sagan-Swanson conjecture

desk verdict Proves the Sagan–Swanson conjecture and gives closed forms for all u=-q^m specializations; worth reviewing, but the referee should demand the missing details in Proposition 4.1. read the letter →

arxiv 2608.08187 v1 pith:5IKNGJER submitted 2026-08-08 math.CO

Sylvie Corteel , John Lentfer This is my paper · ORCID
classification math.CO MSC 05E0505E1005A19
keywords superspacecoinvariantringHilbertserieshook-shapedpartitionsorderedsetq-StirlingnumberssuperSchurfunctionsSagan-Swansonconjecturepalindromiccoefficients
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 establishes that the Hilbert series coefficients of the superspace coinvariant ring, indexed by hook-shaped partitions, have a manifestly positive combinatorial interpretation: the coefficient $c_{(a,1^b)}(n)$ counts ordered set partitions with $n-b$ blocks, inversion number $a$, and a particular 'type I' condition. Using this counting, the authors evaluate the bigraded Hilbert series at $u=-q^2$ and show its coefficients are the differences of binomial coefficients $\binom{n}{i}-\binom{n}{i-1}$. That evaluation proves the Sagan-Swanson conjecture that the corresponding polynomial is palindromic up to sign, with positive coefficients in the lower half and negative in the upper half. The same machinery yields closed-form expressions for every specialization $u=-q^m$.

What carries the argument

The carrying object is the set of ordered set partitions $\mathrm{OSP}(n,k)$ equipped with the inversion statistic and Sagan-Swanson's merge/split involution $\varphi$. The paper refines $\varphi$ into two layers: first (in Theorem 1.3) a sign-reversing involution cancels all but 'type I' ordered set partitions, giving the positive hook coefficient formula; then (in Proposition 4.1) a second sign-reversing involution $\psi$ on type I partitions cancels everything except fixed points of type IC, whose number is $\binom{n}{\ell}-1$. Combining these cancellations with the super Schur specialization $s_{(a,1^b)}(q/u)|_{u=-q^2}=(-1)^b q^{a+2b}(1-q)$ turns the Hilbert series into a binomial difference.

What would settle it

Fix $n=7$, compute the bigraded Hilbert series from the Rhoades-Wilson formula $\sum_{k=0}^7 [k]_q! S[7,k] u^{7-k}$, impose $u=-q^2$, and check whether the resulting polynomial equals $1+\sum_{i=1}^7(\binom{7}{i}-\binom{7}{i-1})q^i$. Any deviation at a single coefficient falsifies Theorem 1.5; independently, verifying Proposition 1.2 for $n=7$ by expanding the Rhoades-Wilson polynomial in super Schur functions and checking all hook coefficients would isolate the load-bearing step.

Watch

Extended reading notes

Core claim

The central claim is that the bigraded Hilbert series $\mathrm{Hilb}(R_n^{(1,1)};q;u)$ is, when specialized at $u=-q^2$, the polynomial $1+\sum_{i=1}^n (\binom{n}{i}-\binom{n}{i-1}) q^i$. The authors prove this by writing the Hilbert series as a super Schur expansion supported on hook shapes (Proposition 1.2), interpreting each hook coefficient $c_{(a,1^b)}(n)$ as the number of type I ordered set partitions with prescribed block count and inversion statistic (Theorem 1.3), and then constructing a sign-reversing involution whose fixed points are counted by $\binom{n}{\ell}-1$ (Proposition 4.1). Because the Rhoades-Wilson formula expresses the same Hilbert series as $\sum_{k=0}^n [k]_q! S[n,k] u^{n-k}$, equating the two at $u=-q^2$ yields the Sagan-Swanson conjecture: the polynomial $\sum_{k=0}^n (-q^2)^{n-k}[k]_q!S[n,k]-1$ has palindromic coefficients up to sign, positive below the middle and negative above.

Load-bearing premise

The entire argument leans on the super Schur expansion of the Hilbert series stated in Proposition 1.2 (from [16]), which the paper invokes rather than proves; if that expansion failed, or if the Rhoades-Wilson formula were wrong, the hook-coefficient interpretation and the binomial specialization would collapse.

Editorial extensions

If this is right

  • The $u=-q^2$ Hilbert series specialization is completely determined by elementary binomial coefficient differences, so no finer $q$-Stirling data is needed at this specialization.
  • The Sagan-Swanson conjecture holds: for each $n$, $\sum_{k=0}^n (-q^2)^{n-k}[k]_q!S[n,k]-1$ is palindromic with sign alternation determined by degree.
  • For every $m\ge 1$, the specialization $u=-q^m$ has a closed form (Theorem 5.4): $H_n^{(m)}=(q;q)_{m-1}\sum_{j=0}^{m-1} q^{j(n+1)}(q;q)_j^{-1}[m-j]_q^n$, with the $m=2$ case recovering the binomial formula.
  • The support and extreme coefficients of $K_n^{(m)}$ are determined: the degree is $(m-1)(n-1)$ exactly when $m\le n$, and the leading coefficient is $(-1)^m\binom{n-1}{m-1}$.
  • The generating function $\sum_a c_{(a,1^b)}(n)q^a$ has the closed form of Theorem 7.1, expressed through $q$-binomial sums.

Reading between the lines

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

  • The sign-reversing involution method suggests that the analogous $u=-q^m$ specializations might be obtained by $m$ nested involutions; the paper's Conjecture 8.4, that the number of signed regions is $\min(n,m)$, would be a natural test.
  • The positivity of $c_{(a,1^b)}(n)$ may point to a representation-theoretic or geometric interpretation beyond type A, since hook-shaped super Schur coefficients appear in other coinvariant settings; checking whether the same counting survives in types B and D or wreath products would test that.
  • Because the full bigraded Hilbert series is determined by the specializations $u=-q^m$ for $1\le m\le n-1$ (per Swanson-Wallach), independent verification of Theorem 5.4 for small $n$ could supply an alternative proof of the Rhoades-Wilson formula itself.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper studies the bigraded Hilbert series Hilb(R_n^{(1,1)};q;u) of the superspace coinvariant ring. It first gives a manifestly positive combinatorial formula for the universal coefficients c_{(a,1^b)}(n) in the super Schur expansion (Theorem 1.3), then uses this to compute the specialization at u=-q^2 as 1+sum_{i=1}^n (binomial(n,i)-binomial(n,i-1))q^i (Theorem 1.5), proving the Sagan-Swanson conjecture on palindromicity up to sign (Theorem 1.6). The paper also derives recurrences and closed forms for the more general specializations u=-q^m (Section 5), analyzes the support and extreme coefficients of these polynomials (Section 6), and gives a generating function for the hook coefficients (Section 7). The main inputs are the Rhoades-Wilson Hilbert series formula, diagonal supersymmetry quoted from a preprint of one of the authors, and combinatorial involutions on ordered set partitions.

Significance. If the proof gaps are repaired, this is a substantial contribution: it gives a manifestly positive combinatorial meaning to the hook-indexed Hilbert series coefficients, proves an open conjecture by an explicit specialization, and provides closed-form data for all u=-q^m specializations without fitting any free parameters. The derivations are mostly explicit and traceable to published identities, and the small cases checked in the paper are consistent with the main theorems. The main risks are not circularity but rather two unproved or misprinted load-bearing steps, discussed below.

major comments (3)
  1. [§4, Proposition 4.1] The proof of Proposition 4.1 contains the assertions, labeled only as 'one may check', that every w in T_{n,ℓ} is exactly one of type IA, IB, or IC and that the involution ψ is well defined. These assertions are load-bearing: if the trichotomy or well-definedness fails, the fixed-point count in equation (44) is not the left-hand side of equation (43), and Theorem 1.5 collapses. In addition, the recurrence f_{n,ℓ}=C(n-1,ℓ)+f_{n-1,ℓ-1} rests on the unproved claim that the map (∅,(a_2,...,a_{j-1},a_j-1,a_{j+1},...,a_n)) is a bijection onto the type IC elements of T_{n-1,ℓ-1}. Please replace the 'one may check' sentences with a complete case analysis and prove the bijection, since this is the central new combinatorial step.
  2. [§5, Eq. (69)] The second displayed formula in Theorem 5.4 is incorrect as printed. For n=1, m=3, the left-hand side is K_1^{(3)}=0 because H_1^{(3)}=1 and K=(H-1)/(1-q^{m-1}); substituting into equation (69) gives (1-q)(1+q+q^2)+q^2(1+q)-(1+q)^2 = -2q. The correct term is the q-integer with base q^{m-1}, namely [n+1]_{q^{m-1}}=(1-q^{(m-1)(n+1)})/(1-q^{m-1}), not [n+1]_q^{m-1}. This error propagates to the proof of Proposition 6.3 and, as written, would also make Corollary 5.6 false for m≥3; Proposition 6.3's statement is consistent with the corrected formula, but the displayed identity must be fixed and its consequences checked.
  3. [§1, Proposition 1.2] Theorem 1.5 depends crucially on Proposition 1.2, the super Schur expansion (5), which is imported by citation from [16], an unpublished preprint of the second author. The present manuscript does not state the precise hypotheses or supply a proof of this expansion. Since this is a load-bearing input for the main conjecture, the authors should either prove Proposition 1.2 in this paper or give a self-contained statement with a precise reference to the part of [16] that establishes it, so that the reader can verify the dependency.
minor comments (4)
  1. [§7, Lemma 7.2 proof] In the second case of the proof, the inequality '0 < a_n < n-|B∩{1,...,n}| = k' should read '0 < a_n ≤ n-1-|B∩{1,...,n}| = k-1', since the inversion sequence entry a_i is bounded by i-1-|B∩{1,...,i}|.
  2. [§5, Eq. (69)] After correcting equation (69), the notation [n+1]_{q^{m-1}} should be introduced in Section 2, where q-integers are defined, to avoid confusion with [n+1]_q^{m-1}.
  3. [Title and abstract] The title and abstract contain spacing artifacts such as 'HILBER T', 'SUPERSP ACE', and 'COINV ARIANT'; these should be fixed in the final typeset version.
  4. [§1, Remark 1.4] Remark 1.4 describes the provenance of the problem in an AI-solution challenge. This is outside the mathematical content of the paper and could be moved to a footnote or omitted for a journal audience.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the binomial-coefficient specialization is derived from independent cited theorems plus a new sign-reversing involution, not from the conjecture itself.

full rationale

The paper's central derivation (Theorems 1.5 and 1.6) does not assume its conclusion. It takes as inputs the Rhoades-Wilson Hilbert series formula (Theorem 1.1), Lentfer's super Schur expansion (Proposition 1.2, cited from [16]), the hook-shape evaluation of Lemma 2.1, and the Sagan-Swanson involution on ordered set partitions. Proposition 1.2 is a self-citation, since it is due to one of the present authors, but it is a parameter-free structural theorem whose statement does not include the u=-q^2 specialization, the binomial-difference formula, or the Sagan-Swanson sign pattern; it is independent evidence rather than a circular reduction. The positive formula in Theorem 1.3 is obtained by converting the signed enumeration of Lemma 3.1 into a cancellation via a sign-reversing involution; the answer is not inserted by hand. Proposition 4.1, which turns the alternating type-I count into binom(n,l)-1, is a standalone combinatorial identity proved by a fixed-point count; the quoted 'one may check' trichotomy (types IA/IB/IC) and well-definedness of psi are unproved assertions in the manuscript, but a missing verification is a proof gap, not a circular step, and no target result is used to establish them. The Section 5 recurrences and closed forms are algebraic consequences of Theorem 1.1 and q-Stirling identities, and Corollary 5.5 independently recovers Theorem 1.5. No fitted parameter is renamed as a prediction, and no uniqueness theorem from the authors' prior work is invoked to forbid alternatives. Accordingly the derivation chain is free of definitional, statistical, or self-citation-based circularity.

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

No fitted parameters and no invented entities. The central results depend on the known Hilbert series formula of Rhoades-Wilson and on Lentfer's diagonal supersymmetry expansion, which is cited from a preprint by one of the authors. The Sagan-Swanson involution and q-binomial inversion are additional standard inputs.

assumptions (4)
  • standard math Rhoades-Wilson formula: Hilb(R_n^{(1,1)};q;u)=sum_{k=0}^n [k]_q! S[n,k] u^{n-k} (Theorem 1.1, equation (4)).
    Taken as input; used throughout Sections 3 to 5 to relate coefficients and specializations.
  • domain assumption Diagonal supersymmetry: Hilb(R_n^{(1,1)};q;u)=sum_{lambda in P(1,1,n)} c_lambda(n) s_lambda(q/u) (Proposition 1.2, equation (5)).
    Central expansion restricting the sum to hook shapes. Cited from Lentfer [16], a coauthor's preprint; not proved in this paper. Theorems 1.3 and 1.5 collapse without it.
  • domain assumption Sagan-Swanson sign-reversing involution phi on ordered set partitions exists and preserves n-blocks plus inv (cited from [22, Section 5]; restated in Section 2).
    Foundation for cancellation in Theorem 1.3 and for the type I classification.
  • standard math Carlitz identity and q-binomial inversion (Lemma 2.3, equations (15) from [9],[8],[12]).
    Used in Section 7 to transform q-Stirling sums into closed forms.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Universal Hilbert series coefficients of the superspace coinvariant ring." pith.science (2026). https://pith.science/paper/5IKNGJER

@misc{pith2026260808187,
  author       = {Pith},
  title        = {Pith review of: Universal Hilbert series coefficients of the superspace coinvariant ring},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5IKNGJER}},
  note         = {Machine review of arXiv:2608.08187}
}
abstract

The coefficients that determine the Hilbert series of the superspace coinvariant ring are indexed by hook-shaped partitions. We give a manifestly positive combinatorial interpretation of these coefficients, together with several generating functions for them. Specializing this Hilbert series at $u=-q^2$, we show that its coefficients are differences of binomial coefficients. Consequently, this proves a conjecture of Sagan--Swanson (2024) that these coefficients are palindromic up to sign. More generally, for every $m \geq 1$ we obtain closed-form expressions for the $u = -q^m$ specialization.

Figures

Figures reproduced from arXiv: 2608.08187 by the authors.

Figure 1
Figure 1. The coefficients cλ(4) and their contributing ordered set partitions (OSPs) given by Theorem 1.3. Aside from c∅(4) = 1, all coefficients cλ(4) not shown are 0. One can compute that Hilb(R (1,1) 4 ; q; u) = (q 6 + 3q 5 + 5q 4 + 6q 3 + 5q 2 + 3q + 1) + (q 5 + 4q 4 + 9q 3 + 11q 2 + 8q + 3)u + (q 3 + 4q 2 + 6q + 3)u 2 + u 3 = 1 + c(1)(4)s(1)(q/u) + c(2)(4)s(2)(q/u) + c(3)(4)s(3)(q/u) + c(4)(4)s(4)(q/u) + c(5)(4)s(5)(q/u… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 21 canonical work pages

  1. [16]

    ,Diagonal supersymmetry for coinvariant rings, preprint (2025),https://arxiv.org/abs/2505.14885

    arXiv 2025

  2. [1]

    Mohammed Abouzaid, Nikhil Srivastava, Rachel Ward, and Lauren Williams,First proof second batch, preprint (2026),https://arxiv.org/abs/2606.18119v1

    arXiv 2026

  3. [2]

    Math.467(2025), 36

    Robert Angarone, Patricia Commins, Trevor Karn, Satoshi Murai, and Brendon Rhoades,Superspace coinvariants and hyperplane arrangements, Adv. Math.467(2025), 36

    work page 2025

  4. [3]

    Emil Artin,Galois theory. 2nd ed. Edited and supplemented with a section on applications by Arthur N. Milgram, Notre Dame Math. Lect., vol. 2, Univ. of Notre Dame Press, Notre Dame, IN, 1944 (English)

    work page 1944

  5. [4]

    Berele and A

    A. Berele and A. Regev,Hook Young diagrams with applications to combinatorics and to representations of Lie superalgebras, Adv. Math.64(1987), 118–175 (English)

    work page 1987

  6. [5]

    Sutanay Bhattacharya,The superspace coinvariant ring of type B, preprint (2025), https://arxiv.org/abs/2505. 24122

    work page 2025

  7. [6]

    Sutanay Bhattacharya and Brendon Rhoades,Superspace coinvariants for wreath products, preprint (2026), https://arxiv.org/abs/2606.30977

    work page Pith review arXiv 2026

  8. [7]

    Armand Borel,Sur la cohomologie des espaces fibr´ es principaux et des espaces homog` enes de groupes de Lie compacts, Ann. Math. (2)57(1953), 115–207 (French)

    work page 1953

Show all 26 references
  1. [8]

    Yue Cai, Richard Ehrenborg, and Margaret Readdy, q-Stirling identities revisited, Electron. J. Comb.25(2018), no. 1, 18 (English), Id/No p1.37

    2018

  2. [9]

    J.15(1948), 987–1000 (English)

    Leonard Carlitz,q-Bernoulli numbers and polynomials, Duke Math. J.15(1948), 987–1000 (English)

    1948

  3. [10]

    144, American Mathematical Society, Providence, RI, 2012

    Shun-Jen Cheng and Weiqiang Wang,Dualities and representations of Lie superalgebras, Graduate Studies in Mathematics, vol. 144, American Mathematical Society, Providence, RI, 2012

    2012

  4. [11]

    Michele D’Adderio and Anton Mellit,A proof of the compositional delta conjecture, Advances in Mathematics402 (2022), 108342

    2022

  5. [12]

    4, 1167–1182 (English)

    Thomas Ernst,An umbral approach to find q-analogues of matrix formulas, Linear Algebra Appl.439(2013), no. 4, 1167–1182 (English)

    2013

  6. [13]

    Haglund, J

    J. Haglund, J. B. Remmel, and A. T. Wilson,The delta conjecture, Trans. Am. Math. Soc.370(2018), no. 6, 4029–4057

    2018

  7. [14]

    Math.329(2018), 851–915

    James Haglund, Brendon Rhoades, and Mark Shimozono,Ordered set partitions, generalized coinvariant algebras, and the Delta conjecture, Adv. Math.329(2018), 851–915

    2018

  8. [15]

    Comb.8(2025), no

    John Lentfer,A conjectural basis for the(1 , 2)-bosonic-fermionic coinvariant ring, Algebr. Comb.8(2025), no. 3, 711–743

    2025

  9. [17]

    Ian Grant Macdonald,Symmetric functions and Hall polynomials., 2nd ed., Oxford: Clarendon Press, 1995

    1995

  10. [18]

    Satoshi Murai, Brendon Rhoades, and Andy Wilson,A proof of the Fields conjectures, preprint (2025), https: //arxiv.org/abs/2505.24027

    2025 arXiv

  11. [19]

    (2024), The On-Line Encyclopedia of Integer Sequences, Published electronically at https://oeis.org

    OEIS Foundation Inc. (2024), The On-Line Encyclopedia of Integer Sequences, Published electronically at https://oeis.org

    2024

  12. [20]

    Pi12(2024), 35 (English), Id/No e16

    Brendon Rhoades and Andrew Timothy Wilson,The Hilbert series of the superspace coinvariant ring, Forum Math. Pi12(2024), 35 (English), Id/No e16

    2024

  13. [21]

    Brendon Rhoades and Andy Wilson,Superspace coinvariants and inverse systems for GLn(Fq), preprint (2026), https://arxiv.org/abs/2606.11549

    2026 arXiv

  14. [22]

    Sagan and Joshua P

    Bruce E. Sagan and Joshua P. Swanson, q-Stirling numbers in type B, Eur. J. Comb.118(2024), 35, Id/No 103899

    2024

  15. [23]

    Comb.30(2026), 365–395

    ,Stirling numbers for complex reflection groups, Ann. Comb.30(2026), 365–395

    2026

  16. [24]

    Stanley,Enumerative combinatorics

    Richard P. Stanley,Enumerative combinatorics. Volume 2, Camb. Stud. Adv. Math., vol. 62, Cambridge: Cambridge University Press, 1999

    1999

  17. [25]

    Swanson and Nolan R

    Joshua P. Swanson and Nolan R. Wallach,Harmonic differential forms for pseudo-reflection groups I. Semi- invariants, Journal of Combinatorial Theory, Series A182(2021), Paper no. 105474. 21

    2021

  18. [26]

    Bi-degree bounds, Combinatorial Theory3 (2023), no

    ,Harmonic differential forms for pseudo-reflection groups II. Bi-degree bounds, Combinatorial Theory3 (2023), no. 3, Paper no. 17. Department of Mathematics, University of California, Berkeley, CA, USA Email address:corteel@berkeley.edu Department of Mathematics, University of...

    2023

Pith tools

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