Diagonal Coinvariant Ring: Structure and Theory

• Diagonal coinvariant ring is defined as a graded quotient of polynomial rings under a diagonal group action, revealing rich combinatorial and algebraic structures.
• Studies show its Hilbert series and Frobenius characteristics are deeply linked to Catalan combinatorics, parking functions, and diagonal harmonics, highlighting diverse grading models.
• Recent work extends the theory to multivariate, supersymmetric, and fermionic settings while connecting the construction to Cherednik algebras and explicit basis theorems.

The diagonal coinvariant ring is a quotient attached to a diagonal group action on several copies of a reflection representation. For a finite complex reflection group $W\subseteq \GL(V)$, one formulation is

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$

(Griffeth, 2021). In the symmetric-group literature, closely related quotients coexist: one writes

$DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$

with $I_n$ generated by all $S_n$-invariants of positive total degree (Gillespie, 2024), while another recent source defines

$R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$

with $I$ generated by symmetric polynomials in the $x$-variables and in the $y$-variables having zero constant term (Jiang, 17 Aug 2025). This suggests that the term is convention-dependent, but across these formulations the recurring structures are a natural grading or bigrading, a diagonal $S_n$-action, and strong links with Catalan combinatorics, parking functions, diagonal harmonics, and Cherednik-theoretic representation theory.

1. Definitions, gradings, and model realizations

Several standard realizations appear in the recent literature.

Setting	Quotient	Grading convention
Type $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$0, diagonal invariants (Gillespie, 2024)	$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$1	Bigraded by the $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$2- and $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$3-degrees
Type $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$4, separate symmetric ideals (Jiang, 17 Aug 2025)	$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$5	$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$6, $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$7
Irreducible complex reflection group (Griffeth, 2021)	$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$8	A monomial has bidegree $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$9 from total $DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$0-degree $DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$1 and total $DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$2-degree minus $DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$3-degree $DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$4
$DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$5 diagonal copies (Bergeron, 2011)	$DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$6	Multigraded by $DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$7

For $DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$8, the diagonal action sends

$DR_n=\mathbb{C}[x_1,\dots,x_n,y_1,\dots,y_n]/I_n$9

and the ideal is generated by $I_n$0-invariants with zero constant term (Bergeron, 2011). In the two-copy case, the diagonal action of $I_n$1 simultaneously permutes the indices in the $I_n$2- and $I_n$3-variables (Gillespie, 2024).

A second standard model is the diagonal harmonic space

$I_n$4

which is the orthogonal complement of the invariant ideal for the constant-term pairing and is canonically isomorphic to the diagonal coinvariant quotient (Bergeron, 2011). This harmonic realization is one reason the subject is often studied through Hilbert series and graded Frobenius characteristics rather than only through quotient presentations.

2. Classical type $I_n$5: Hilbert series, Frobenius character, and Catalan structures

In the symmetric-group case with two sets of commuting variables, the quotient by diagonal invariants has total dimension

$I_n$6

and its bigraded Frobenius characteristic is

$I_n$7

(Gillespie, 2024). Another source records the same dimension as Haiman’s theorem and emphasizes that the bigraded Hilbert series is symmetric in $I_n$8 and $I_n$9, while the $S_n$0-invariant piece is the $S_n$1-Catalan polynomial (Josuat-Vergès, 6 Jul 2026).

In the multivariate framework, the case $S_n$2 and $S_n$3 recovers the original diagonal coinvariant ring $S_n$4 and its harmonic model $S_n$5. The same source states that its bigraded Hilbert series is the $S_n$6-Catalan polynomial

$S_n$7

and that $S_n$8 (Bergeron, 2011). Read together with the source-specific definitions above, these statements show that Catalan series enter the theory in more than one way: as a full Hilbert series in one presentation, as an invariant or isotypic contribution in another, and as a combinatorial shadow of the full Frobenius characteristic.

Representation-theoretically, $S_n$9 decomposes as

$R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$0

with multiplicities encoded by the Schur expansion

$R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$1

(Gillespie, 2024). This formulation places the ring at the intersection of Macdonald-theoretic operators, tableaux combinatorics, and parking-function models.

3. Alternating diagonal coinvariants and the Vandermonde basis

A recent explicit basis theorem concerns the alternating subspace in the quotient

$R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$2

with $R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$3 generated by symmetric polynomials in the $R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$4- and $R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$5-variables of zero constant term. Under the diagonal $R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$6-action, one has the isotypic decomposition

$R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$7

and the sign-isotypic component is

$R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$8

(Jiang, 17 Aug 2025).

The indexing set is the set of Dyck paths $R_n=\mathbb{C}[\mathbf{x},\mathbf{y}]/I$9 of semilength $I$0. For such a path, one defines the area sequence

$I$1

and the dinv sequence

$I$2

From the exponent-pair sequence

$I$3

one forms the bivariate Vandermonde determinant

$I$4

Jiang’s theorem states that the collection

$I$5

is a $I$6-basis of $I$7. Each determinant is nonzero and alternating, the number of basis elements is the Catalan number

$I$8

and the bigrading is

$I$9

(Jiang, 17 Aug 2025). Consequently,

$x$0

The proof uses a monomial basis of $x$1 indexed by parking functions, due to Carlsson–Oblomkov, of the form $x$2. Antisymmetrizing these monomials produces linear combinations of bivariate Vandermonde determinants; a triangular-shape argument based on distinct leading monomials then yields linear independence (Jiang, 17 Aug 2025). The result answers a question of Stump and gives an explicit basis for a distinguished isotypic component rather than only a Hilbert-series description.

4. Reflection groups, Cherednik algebras, and lower bounds

For an irreducible complex reflection group $x$3 of rank $x$4 with $x$5 reflections, Griffeth sets

$x$6

and constructs a finite-dimensional irreducible representation $x$7 of the rational Cherednik algebra $x$8 of dimension $x$9, together with a $y$0-equivariant surjection

$y$1

This yields the general lower bound

$y$2

(Griffeth, 2021).

The relevant representation-theoretic notion is that of a module of coinvariant type: an irreducible finite-dimensional $y$3-module $y$4 is of coinvariant type if the determinant character $y$5 of $y$6 occurs in $y$7 with multiplicity one. In that situation, the associated graded module receives a surjection

$y$8

so lower bounds for $y$9 reduce to constructing large coinvariant-type modules (Griffeth, 2021). The same work also proves the exponents-duality relation

$S_n$0

hence $S_n$1, and establishes that both the finite Hecke algebra and the spherical subalgebra $S_n$2 are invariant under dot-action by the Namikawa Weyl group (Griffeth, 2021).

For the type $S_n$3 Weyl group, Ajila and Griffeth obtain a refined lower bound improving the standard estimate $S_n$4. Writing

$S_n$5

they prove

$S_n$6

where

$S_n$7

In particular, $S_n$8 and $S_n$9 (Ajila et al., 2021). The proof combines the Gordon module, hook bipartitions, charged-content combinatorics, and the inequality

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$00

showing that the error term beyond the principal contribution $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$01 grows quadratically in $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$02 (Ajila et al., 2021).

5. Multivariate, supersymmetric, fermionic, and dihedral extensions

Bergeron studies $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$03 diagonal copies of the reflection representation and proves that the multigraded Hilbert series admits a universal Schur-positive expansion

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$04

where the finite index set of partitions and the coefficients $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$05 depend only on $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$06, not on $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$07 (Bergeron, 2011). The same source records a parallel universal expansion for the graded Frobenius characteristic and observes a partial stability phenomenon: low-degree components become independent of $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$08 once $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$09 exceeds the degree. For $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$10 one recovers ordinary coinvariants, while $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$11 gives the diagonal theory (Bergeron, 2011).

The bosonic–fermionic extension replaces several sets of commuting variables by a mixture of commuting and anticommuting sets. For the symmetric group with $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$12 bosonic sets and $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$13 fermionic sets,

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$14

inherits a $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$15-module structure, and its Frobenius series has the form

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$16

with nonnegative integers $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$17 independent of $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$18. In the symmetric-group case this proves Bergeron’s “Diagonal Supersymmetry” conjecture (Lentfer, 20 May 2025).

The purely fermionic analogue,

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$19

where $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$20 is generated by the $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$21-invariants with vanishing constant term, admits a basis indexed by a family $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$22 of noncrossing set partitions. Its total dimension is

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$23

and the bigraded Frobenius series is given by an explicit coefficient extraction formula in $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$24 (Kim, 2022). This model is combinatorial only after restriction to $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$25, but it gives a fully explicit basis for the entire ring (Kim, 2022).

For the dihedral group $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$26, the bosonic–fermionic coinvariant rings

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$27

also exhibit universal multigraded character and Hilbert series, together with an explicit monomial basis obtained from invariant polarization and straightening. The numerical Hilbert series is

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$28

(Lentfer, 18 Sep 2025). This is the dihedral counterpart of the general supersymmetric perspective.

6. Related constructions, non-relations, and current directions

A recent comparison with the projective coinvariant algebra $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$29 shows that formal similarity need not imply structural identification. The natural $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$30-equivariant map

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$31

factors through the one-dimensional quotient $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$32, so every positive bidegree piece of $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$33 maps to zero. In particular, no nontrivial subquotient or homogeneous component of $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$34 recovers $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$35 (Szendrői, 16 Feb 2026). This resolves a potentially misleading analogy between a bigraded Segre-type degeneration and the Garsia–Haiman diagonal coinvariant algebra.

The same work places coinvariant constructions in a cohomological context. Borel’s theorem identifies the classical coinvariant algebra $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$36 with $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$37, and for a Young subgroup $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$38 one has

$$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$39

The deformations $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$40 interpolate between flag-variety cohomology and Segre coordinate rings; for two-step flags they coincide with small quantum cohomology, while for longer flags they give an explicit flat deformation that does not coincide with the standard quantum ring (Szendrői, 16 Feb 2026).

On the combinatorial side, a uniform higher Specht basis for the full two-variable diagonal coinvariant ring remains open. Gillespie introduces higher Specht polynomials under the diagonal action and proves a higher Specht basis theorem for the hook-shape Garsia–Haiman modules $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$41, together with a Frobenius formula in terms of new generalized cocharge statistics on tableaux (Gillespie, 2024). A plausible implication is that the missing uniform basis problem may require exponent data adapted to parking functions or diagonal tableaux rather than only ordinary tableau combinatorics.

Another current direction connects diagonal coinvariants to cluster parking functions and dihedral symmetry. The reduced homology of the cluster-parking complex is conjecturally isomorphic, as an $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$42-module up to tensoring by a sign character of the dihedral group, to diagonal coinvariants. The conjecture is formulated as a $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$43-dihedral sieving phenomenon, with rotations evaluated at $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$44 and reflections at $$DCR_W=\mathbb{C}[V\oplus V]/I_W,\qquad I_W=\langle f\in \mathbb{C}[V\oplus V]^W:\deg f>0\rangle$$45 (Josuat-Vergès, 6 Jul 2026). This line of work does not supply a coordinate-level basis for the diagonal coinvariant ring, but it proposes a symmetry-rich homological avatar for its bigraded character.