Pith. sign in

REVIEW 2 cited by

Diagonal supersymmetry for coinvariant rings

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2505.14885 v2 pith:QPFHXXFZ submitted 2025-05-20 math.CO math.RT

Diagonal supersymmetry for coinvariant rings

classification math.CO math.RT
keywords diagonalcoinvariantmathbfringssupersymmetryactionbergeronbosonic-fermionic
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

For finite groups $G$, we show that bosonic-fermionic coinvariant rings have a natural $U(\mathfrak{gl}(k|j)) \otimes \mathbb{C}[G]$-module structure. In particular, we show that their character series are sums of super Schur functions $s_\lambda(\mathbf{q}/\mathbf{u})$ times irreducible characters of $G$ with universal coefficients, which do not depend on $k,j$. In the case where $G$ is the symmetric group with diagonal action, this proves the "Diagonal Supersymmetry" conjecture of F. Bergeron (2020).

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Superspace coinvariants for wreath products

    math.CO 2026-06 unverdicted novelty 7.0

    Proves Sagan-Swanson conjecture on monomial basis for SR_G of G = Z_r wr S_n and gives combinatorial model for its ungraded and exterior-graded G-module structure.

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

    math.CO 2026-06 unverdicted novelty 6.0

    Calculates the bigraded Hilbert series of the GL_n(F_q)-superspace coinvariant ring SR = Omega/SI and gives an operator-theoretic characterization of SI^perp, extending to subgroups containing SL_n(F_q).