Pith. sign in

REVIEW 3 minor 23 references

The superspace coinvariant ring for wreath products of cyclic and symmetric groups has a monomial basis as conjectured by Sagan and Swanson.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-07-01 01:00 UTC pith:WVD5WVSD

load-bearing objection The paper proves the Sagan-Swanson monomial basis conjecture for wreath-product superspace coinvariants and supplies the matching operator theorem plus G-module models.

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

Superspace coinvariants for wreath products

Sutanay Bhattacharya , Brendon Rhoades This is my paper
classification math.CO
keywords superspace coinvariantswreath productsmonomial basescomplex reflection groupsSagan-Swanson conjectureG-module decompositionsinverse systemscolored permutations
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

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.

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.

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.

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.

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 this falsifier — get emailed when new claim-graph text bears on it.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 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.

pith-pipeline@v0.9.1-grok · 5675 in / 1115 out tokens · 43078 ms · 2026-07-01T01:00:01.183907+00:00 · methodology

0 comments
read the original 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 Brendon Rhoades, Sutanay Bhattacharya.

Figure 1
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 po… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · 3 internal anchors

  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

  9. [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

    work page 2018

  10. [10]

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

    work page 2002

  11. [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

    work page 2022

  12. [12]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  13. [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

    work page 1995

  14. [14]

    Murai, B

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

    work page arXiv 2025

  15. [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

    work page doi:10.1017/fmp.2024.14 2024

  16. [16]

    Superspace coinvariants and inverse systems for $GL_n(\mathbb{F}_q)$

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

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  17. [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

    work page doi:10.1007/s00026-025-00751-4 2025

  18. [18]

    Sagan and J

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

    work page 2024

  19. [19]

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

    work page 1963

  20. [20]

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

    work page 1932

  21. [21]

    Steinberg

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

    work page 1964

  22. [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

    work page 2021

  23. [23]

    A module for the Delta conjecture

    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

    work page internal anchor Pith review Pith/arXiv arXiv 2019