Pith. sign in

REVIEW 3 minor 23 references

Superspace coinvariants for wreath products

T0 review · 0 major / 3 minor · reviewed 2026-07-01 · grok-4.3

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

Pith's one-line read The superspace coinvariant ring for wreath products of cyclic and symmetric groups has a monomial basis as conjectured by Sagan and Swanson.

desk verdict The paper proves the Sagan-Swanson monomial basis conjecture for wreath-product superspace coinvariants and supplies the matching operator theorem plus G-module models. read the letter →

arxiv 2606.30977 v1 pith:WVD5WVSD submitted 2026-06-29 math.CO

Sutanay Bhattacharya , Brendon Rhoades This is my paper · ORCID
classification math.CO
keywords superspacecoinvariantswreathproductsmonomialbasescomplexreflectiongroupsSagan-SwansonconjectureG-moduledecompositionsinversesystemscoloredpermutations
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 studies the G-superspace coinvariant ring SR_G for G equal to the wreath product of a cyclic group with the symmetric group. It proves the existence of a monomial basis for SR_G matching a conjecture by Sagan and Swanson. The authors also describe the inverse system of this ring using an Operator Theorem and provide a combinatorial model for its decomposition as a G-module, both without grading and with exterior grading. These results matter because they give explicit combinatorial access to the algebraic and representation-theoretic properties of these superspace quotients.

What carries the argument

The quotient ring SR_G = Ω / SI_G where Ω is the superspace ring of differential forms and SI_G is the ideal generated by G-invariants with vanishing constant term.

What would settle it

A single linear dependence relation among the conjectured basis monomials inside the ideal SI_G, or a mismatch between the predicted and actual G-module characters, would show the claims are incorrect.

Watch

Extended reading notes

Core claim

When G is the group of r-colored permutation matrices, the superspace coinvariant ring SR_G has a monomial basis as conjectured by Sagan and Swanson. An Operator Theorem describes the inverse system of SR_G. A combinatorial model describes the ungraded and exterior-graded structure of SR_G as a G-module.

Load-bearing premise

The definition of the ideal SI_G as generated by G-invariants without constant term produces a quotient ring that has the conjectured monomial basis and combinatorial module structure for these wreath products.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The manuscript studies the superspace coinvariant ring SR_G = Ω_n / SI_G for the wreath product G = ℤ_r ≀ 𝔖_n, where Ω is the superspace ring of differential forms and SI_G is the ideal generated by positive-degree G-invariants. It proves the Sagan-Swanson conjecture by exhibiting an explicit monomial basis for SR_G, establishes an Operator Theorem characterizing the inverse system, and supplies combinatorial models for the ungraded and exterior-graded structures of SR_G as a G-module.

Significance. If the claimed basis, operator description, and module models are correct, the work resolves a stated conjecture in the literature on coinvariants and superspace rings for complex reflection groups. The explicit combinatorial constructions provide concrete tools for computing Hilbert series, characters, and graded dimensions that were previously unavailable, strengthening the representation-theoretic study of these quotients.

minor comments (3)
  1. §2.3: the definition of the monomial basis in Theorem 2.12 uses a lexicographic order on colored permutations that is not restated in the statement; a self-contained sentence recalling the precise order would improve readability.
  2. §4.1, Definition 4.3: the Operator Theorem is stated for the inverse system, but the precise action of the differential operators on the proposed basis elements is only sketched; adding one explicit low-degree example (e.g., n=2, r=2) would clarify the construction.
  3. Table 1: the exterior-graded character table for n=3 contains a typographical inconsistency in the exponent of the variable q for the (3,0) row; the printed entry does not match the formula given in Proposition 5.7.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our work proving the Sagan-Swanson conjecture for the superspace coinvariant ring of the wreath product group. The recommendation of minor revision is noted.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper's central result is a proof of the external Sagan-Swanson conjecture on a monomial basis for SR_G, together with an Operator Theorem for the inverse system and combinatorial G-module descriptions. The definition of the ideal SI_G (generated by positive-degree G-invariants in the superspace ring Ω) is a standard construction that does not presuppose or reduce to the claimed basis or module structure by construction. No load-bearing self-citations, fitted inputs renamed as predictions, or ansatzes smuggled via prior work by the same authors appear in the derivation chain. The work is self-contained against external benchmarks.

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

No free parameters, invented entities, or non-standard axioms are mentioned in the abstract; the work relies on the standard definition of superspace coinvariants already present in the reflection-group literature.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Superspace coinvariants for wreath products." pith.science (2026). https://pith.science/paper/WVD5WVSD

@misc{pith2026260630977,
  author       = {Pith},
  title        = {Pith review of: Superspace coinvariants for wreath products},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WVD5WVSD}},
  note         = {Machine review of arXiv:2606.30977}
}
abstract

Let $\Omega$ be the superspace ring of regular differential forms on the affine space $\mathbb{C}^n$. If $G \subseteq GL_n(\mathbb{C})$ is a complex reflection group, the {\em $G$-superspace coinvariant ring} is the quotient $SR_G := \Omega_n/SI_G$ where $SI_G \subseteq \Omega$ is the ideal generated by $G$-invariants with vanishing constant term. We study this ring when $G = \mathbb{Z}_r \wr \mathfrak{S}_n$ is the group of $r$-colored permutation matrices. We prove a conjecture of Sagan and Swanson on a monomial basis for $SR_G$ and give an Operator Theorem description of its inverse system. We also give a combinatorial model for the ungraded and exterior-graded structure of $SR_G$ as a $G$-module.

Figures

Figures reproduced from arXiv: 2606.30977 by the authors.

Figure 1
Figure 1. The staircase st(𝐽, 𝑟) for 𝑛 = 9, 𝑟 = 3, and 𝐽 = {3, 4, 6, 9}. Given 𝑗 ∈ 𝐽, there exists a unique 0 ≤ 𝑖 ≤ 𝑘 + 1 such that 𝑢𝑖−1 < 𝑗 < 𝑢𝑖 where we set 𝑢0 := 0 and 𝑢𝑘+1 := 𝑛 + 1. We define (3.7) st(𝐽, 𝑟)𝑗 := 𝑖𝑟 − 2. Example 3.2. Suppose 𝑛 = 9, 𝑟 = 3, and 𝐽 = {3, 4, 6, 9}. Then st(𝐽, 3) = (st(𝐽, 3)1, . . . ,st(𝐽, 3)9) is given by st(𝐽, 3) = (2, 5, 7, 7, 8, 10, 11, 14, 16) where the underlined numbers are in positions in… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    T. Abe, T. Horiguchi, M. Masuda, S. Murai, and T. Sato. Hessenberg varieties and hyperplane arrangements.J. Reine Angew. Math.,764(2020), 241–286

    work page 2020

  2. [2]

    T. Abe, T. Maeno, S. Murai, and Y. Numata. Solomon–Terao algebra of hyperplane arrangements.J. Math. Soc. Japan,71 (4)(2019), 1027–1047

    work page 2019

  3. [3]

    Angarone, P

    R. Angarone, P. Commins, T. Karn, S. Murai, and B. Rhoades. Superspace coinvariants and hyperplane arrange- ments.Adv. Math.,467(2025), 110185

    work page 2025

  4. [4]

    arXiv:2005.00924

    F. Bergeron. The bosonic-fermionic diagonal coinvariant modules conjecture. Preprint, 2020. arXiv:arXiv:2005.00924

    work page arXiv 2020

  5. [5]

    Bhattacharya

    S. Bhattacharya. The superspace coinvariant ring in type B. Preprint, 2025.arXiv:2505.24122

    work page arXiv 2025

  6. [6]

    K. T. J. Chan and B. Rhoades. Generalized coinvariant algebras for wreath products.Adv. Appl. Math.,120(2020), 102060

    work page 2020

  7. [7]

    Chevalley

    C. Chevalley. Invariants of finite groups generated by reflections.Amer. J. Math.,77(1955), 778–782

    work page 1955

  8. [8]

    I. Gordon. On the quotient ring by diagonal invariants.Invent. Math.,153 (3)(2003), 503–518

    work page 2003

Show all 23 references
  1. [9]

    Haglund, B

    J. Haglund, B. Rhoades, and M. Shimozono. Ordered set partitions, generalized coinvariant algebras, and the Delta Conjecture.Adv. Math.,329(2018), 851–915. 46 SUTANAY BHATTACHARYA AND BRENDON RHOADES

    2018

  2. [10]

    M. Haiman. Vanishing theorems and character formulas for the Hilbert scheme of points in the plane.Invent. Math.,149 (2)(2002), 371–407

    2002

  3. [11]

    Kim and B

    J. Kim and B. Rhoades. Lefschetz theory for exterior algebras and fermionic diagonal coinvariants.Int. Math. Res. Notices,2022 (4), 2906–2933

    2022

  4. [12]

    J. Lentfer. Diagonal Supersymmetry for Coinvariant Rings. Preprint, 2025.arXiv:2505.14885

    2025 arXiv

  5. [13]

    Macdonald,Symmetric Functions and Hall Polynomials, 2nd ed., Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, Oxford, 1995

    Ian G. Macdonald,Symmetric Functions and Hall Polynomials, 2nd ed., Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, Oxford, 1995

    1995

  6. [14]

    Murai, B

    S. Murai, B. Rhoades, and A. Wilson. A proof of the Fields Conjectures. Preprint, 2025.arXiv:2505.24027

    2025

  7. [15]

    Rhoades and A

    B. Rhoades and A. Wilson. The Hilbert series of the superspace coinvariant ring.Forum Math. Pi, 2024;12:e16. doi:10.1017/fmp.2024.14

    2024 doi

  8. [16]

    Rhoades and A

    B. Rhoades and A. Wilson. Superspace coinvariants and inverse systems for𝐺 𝐿 𝑛 (F𝑞). Preprint, 2026. arXiv:2606.11549

    2026 arXiv

  9. [17]

    Sagan and J

    B. Sagan and J. Swanson. Stirling numbers for complex reflection groups.Ann. Comb.(2025) https://doi.org/10.1007/s00026-025-00751-4

    2025 doi

  10. [18]

    Sagan and J

    B. Sagan and J. Swanson. q-Stirling numbers in type B.European J. Combin.,118(2024), 103899

    2024

  11. [19]

    L. Solomon. Invariants of finite reflection groups.Nagoya J. Math.,22(1963), 57–64

    1963

  12. [20]

    W. Specht. Eine Verallgemeinerung der symmetrischen Gruppe.Schriften Math. Seminar(Berlin),1(1932), 1–32

    1932

  13. [21]

    Steinberg

    R. Steinberg. Differential equations invariant under finite reflection groups.Trans. Amer. Math. Soc.,112(1964), 392–400

    1964

  14. [22]

    Swanson and N

    J. Swanson and N. Wallach. Harmonic differential forms for pseudo-reflection groups I. Semi-invariants.J. Comb. Theory Ser. A,182(2021), 105474

    2021

  15. [23]

    Zabrocki

    M. Zabrocki. A module for the Delta conjecture. Preprint, 2019.arXiv:1902.08966. Department of Mathematics, University of California, San Diego Email address:(subhattacharya, bprhoades)@ucsd.edu

    2019 arXiv

Pith tools

Reviewed July 1, 2026 · model on record in the stance chip above.