The Hilbert series of the superspace coinvariant ring

Abstract

Let ${\Omega }_n$ be the ring of polynomial-valued holomorphic differential forms on complex $n$-space, referred to in physics as the superspace ring of rank $n$. The symmetric group ${\mathfrak{S}}_n$ acts diagonally on ${\Omega }_n$ by permuting commuting and anticommuting generators simultaneously. We let $S{I}_n\subseteq {\Omega }_n$ be the ideal generated by ${\mathfrak{S}}_n$-invariants with vanishing constant term and study the quotient $S{R}_n={\Omega }_n/S{I}_n$ of superspace by this ideal. We calculate the doubly-graded Hilbert series of $S{R}_n$ and prove an `operator theorem' which characterizes the harmonic space $S{H}_n\subseteq {\Omega }_n$ attached to $S{R}_n$ in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results which were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Li, Machacek, Sulzgruber, Swanson, Wallach, and Zabrocki.

arXiv comment32 pages, 1 figure

References in corpus (8)

• Vanishing theorems and character formulas for the Hilbert scheme of points in the plane
• Strong Lefschetz elements of the coinvariant rings of finite Coxeter groups
• Hall-Littlewood expansions of Schur delta operators at $t=0$
• Affine Schubert calculus and double coinvariants
• Some implications of a conjecture of Zabrocki to the action of $S_n$ on polynomial differential forms
• $(G{L}_k\times S_n)$-Modules of Multivariate Diagonal Harmonics
• The Bosonic-Fermionic Diagonal Coinvariant Modules Conjecture
• Superspace coinvariants and hyperplane arrangements