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.

Conjugate loci of pseudoriemannian 2-step nilpotent Lie groups with nondegenerate center

On Pseudo-Holomorhpic Curves in Complex Grassmannians

Unipotent Representations Attached to Spherical Nilpotent Orbits

Pseudoriemannian Nilpotent Lie Groups

Characteristically nilpotent Lie groups with flat coadjoint orbits

On Lie Groups with Conformal Vector Fields Induced by Derivations

Covariant projective representations of Hilbert-Lie groups

Classification of Einstein Lorentzian 3-nilpotent Lie groups with 1-dimensional nondegenerate center

Nonnegative Ricci curvature, nilpotency, and Hausdorff dimension

Nilmanifolds with non-nilpotent complex structures and their pseudo-Kähler geometry

Geodesics, curvature, and conjugate points on Lie groups

On the natural nullcones of the symplectic and general linear groups

A curve of nilpotent Lie algebras which are not Einstein nilradicals

Hermitian null loci

Conformal vector fields on Lie groups: The trans-Lorentzian signature

Pseudo-Riemannian geodesic orbit nilmanifolds of signature $\boldsymbol{(n-2,2)}$

The geometry of conjugation in Euclidean isometry groups

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

Conjugate Points in Length Spaces

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

Maximal Brill-Noether loci via degenerations and double covers