Multivariate diagonal harmonics: character polynomials and proofs of two conjectures of Bergeron

Abstract

We prove Bergeron's Hook-Components and Coefficient-Length conjectures for the Vandermonde polarization module and full diagonal harmonics in every rank and number of alphabets. Hook-label characters are elementary skewings of the alternating character, and the maximal Schur length in label $μ$ is $n-μ_1$. We compute character and dimension polynomials of diagonal coinvariants in every bosonic--fermionic superspace for $D\ge3$, $n\ge\max\{D,2D-6\}$, answering Church--Ellenberg--Farb's character and dimension questions. For augmented commutative algebras in characteristic zero, we construct natural two-Schur presentations and filtered free resolutions with one Schur generator in each homological degree. For polynomial algebras, specialization to orthogonal idempotents identifies the first unstable correction for every nonempty tail $τ$ and degree $D>|τ|$. The stable threshold $n\ge D+τ_1$ is sharp when the row dimension is at least $\ell(τ)$. First parabolic algebras recover finite jets, their multiplication and their maps. Selected-label lifts give uniform Vandermonde generation through degree $D$ for $D\ge3$, $n\ge2D-3$, and disjoint-label products generate every first occurrence for positive integral row weights. Constructive degree reflection determines all two-column moment homology and generates its first syzygies from degree $n+1$; two-column Vandermonde generation reduces to degree $n-1$. Invariants and harmonics separate through the character range and through degree $n$ in two alphabets. The hook identities also give the fully graded sign component of the $t=0$, $(1,2)$-superspace Theta conjecture.