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.

On the natural nullcones of the symplectic and general linear groups

When are the natural embeddings of classical invariant rings pure?

Unipotent representations of real classical groups

Invariant Subspaces of Nilpotent Operators. Level, Mean, and Colevel: The Triangle $\Bbb T(n)$

Nilpotent Invariants for Generic Discrete Series of Real Groups

Nonnegative Polynomials and Moment Problems on Algebraic Curves

Ideals preserved by linear changes of coordinates in positive characteristic

On polynomial invariant rings in modular invariant theory

Discrete Automorphism Groups of Convex Cones of Finite Type

Symmetries and intrinsic vs. extrinsic properties of $\overline{\mathcal{M}}_{0, n}$

On enhanced reductive groups (II): Finiteness of nilpotent orbits under enhanced group action and their closures

Left-invariant Pseudo-Riemannian metrics on Lie groups: The null cone II

Partial convex hulls of coadjoint orbits and degrees of invariants

Local geometry of special pieces of nilpotent orbits

Graphical methods and rings of invariants on the symmetric algebra

Monogamous subvarieties of the nilpotent cone

Invariant random subgroups over non-Archimedean local fields

Invariants of Finite Orthogonal Groups of Plus Type in Odd Characteristic

Invariant Polynomials On Compact Complex-Manifolds

The Complex Conjugate Invariants of Clifford Groups

Cones of Noether-Lefschetz divisors and moduli spaces of hyperkähler manifolds