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.

Linearity and Nonlinearity of Groups of Polynomial Automorphisms of the Plane

Linearity and nonlinearity of groups of polynomial automorphisms of the plane

Finite flag-transitive affine planes with a solvable automorphism group.

Automorphism Groups of Commuting Polynomial Maps of the Affine Plane

Almost Linear Nash Groups

Linear automorphism groups of relatively free groups

Algebraically generated groups and their Lie algebras

Transitivity in finite general linear groups

On Linear-Groups over Finite-Fields

Linear equations with unknowns from a multiplicative group whose solutions lie in a small number of subspaces

On the natural nullcones of the symplectic and general linear groups

Realisation of linear algebraic groups as automorphism groups

Words and polynomial invariants of finite groups in non-commutative variables

Linear groups and computation

Holomorphically conjugate polynomial automorphisms of C^2 are polynomially conjugate

Some three-dimensional non-nilpotent Leibniz algebras: automorphism groups

Symmetries of various sets of polynomials

The Automorphism Group of Nonzero Component Graph of Vector Space

Automorphisms of graphs corresponding to conjugacy classes of finite-rank self-adjoint operators

Linear algebra of quadratic forms and polynomial identity

Ideals preserved by linear changes of coordinates in positive characteristic