Abstract:Consider a group acting on a polynomial ring $S$ over a field $K$ by degree-preserving $K$-algebra automorphisms. The invariant ring $R$ is a graded subring of $S$; let $\mathfrak{m}_R$ denote the homogeneous maximal ideal of $R$. Several key properties of the invariant ring and its embedding in $S$ can be deduced by studying the nullcone $S/\mathfrak{m}_R S$ of the group action. This includes, for example, the finite generation of the invariant ring and the purity of the embedding. In this article, we study the nullcones arising from the natural actions of the symplectic and general linear groups. For the natural representation of the symplectic group, the invariant ring is the ring defined by the principal Pfaffians of a fixed even size of a generic alternating matrix. We show that the nullcone of this embedding is a strongly $F$-regular ring in positive characteristic, and hence in characteristic zero, a ring of strongly $F$-regular type. Independent of characteristic, we give a complete description of the divisor class group of the nullcone and determine precisely when it is Gorenstein. We also show that the nullcone ideal has a squarefree initial ideal. For the natural representation of the general linear group, the invariant ring is a generic determinantal ring. The nullcone of this embedding is typically a non-equidimensional ring. The irreducible components of the nullcone are the varieties of complexes of length two, as introduced by Buchsbaum and Eisenbud. We show that each of these irreducible components define strongly $F$-regular rings in positive characteristic. We also show that the Frobenius splitting of the varieties of complexes can be chosen compatibly; it follows that the nullcone is an $F$-pure ring. We also show that the nullcone ideal and the ideals defining the varieties of complexes have squarefree initial ideals with respect to the same monomial order.

Ideals preserved by linear changes of coordinates in positive characteristic

Linearly presented perfect ideals of codimension $2$ in three variables

Ideals with componentwise linear powers

On the natural nullcones of the symplectic and general linear groups

Generalized mixed product ideals whose powers have a linear resolution

Equivariant ideals of polynomials

Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

Primary ideals and their differential equations

Systems of ideals parametrized by combinatorial structures

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules

Linearization of monomial ideals

Power-closed ideals of polynomial and Laurent polynomial rings

GL-algebras in positive characteristic II: the polynomial ring

On regularity and projective dimension of invariant chains of monomial ideals

Essential Normality of Cyclic Submodule Generated by any Polynomial

Positive ideals of multilinear operators

Products and powers of principal symmetric ideals

The ai-invariants of powers of ideals

A harmonic analysis approach to essential normality of principal submodules

The geometry of polynomial representations in positive characteristic