← Back to arXiv
arXivAlgebraic GeometryarXiv:2610.12736

$G$-Equivariant Hilbert Schemes and Quadratic Forms

The paper studies geometric spaces that arise when a finite group of symmetries acts on the coordinate plane. When you have such a symmetry group, you can form a mathematical object called a quotient stack, which keeps track of the symmetries rather than simply collapsing them away. The authors focus on a particular moduli space, meaning a space whose points each represent a geometric configuration of a specific type. In this case, each point represents a finite collection of locations in the quotient plane that transforms in a prescribed way under the group action. The paper works out formulas for the dimension of these moduli spaces using a powerful tool called the Grothendieck-Riemann-Roch theorem, adapted for stacks by Toen. The resulting dimension formulas have a flavor reminiscent of the classical McKay correspondence, which is a deep connection between group theory and geometry.

The paper also classifies these quotient stacks using a quadratic form called the Euler form. A quadratic form is essentially a polynomial expression that is degree two in its inputs, and here it encodes information about how functions and geometric objects interact on the stack. Classifying the stacks by this form means grouping them according to the algebraic shape of this expression, which turns out to capture significant geometric information about the original symmetry action.

For one particularly natural family of examples, where a cyclic group acts on the plane by rotating one coordinate and counter-rotating the other, the paper gives a rich combinatorial interpretation of the Euler form. Specifically, it connects the algebra to the combinatorics of Young diagrams and partitions, including a characterization of so-called n-core partitions, which are partitions from which no hook of length n can be removed. The paper also ties these ideas to counts of special arrows in monomial ideals, a concept from the study of multigraded Hilbert schemes. This connects representation theory, algebraic geometry, and combinatorics in a unified framework.

Read original →