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 MAXIMAL IDEALS OF NON-ZERO-SYMMETRIC NEAR-RINGS AND OF COMPOSITION ALGEBRAS OF POLYNOMIAL FUNCTIONS ON Ω-GROUPS

On zero-symmetric nearrings with identity whose additive groups are simple

Maximal Ideals in Functions Rings with a Countable Pointfree Image

On Posets, Monomial Ideals, Gorenstein Ideals and their Combinatorics

Maximal amenable subalgebras of von Neumann algebras associated with hyperbolic groups

An algorithmic approach to the existence of ideal objects in commutative algebra

On the geometry of zero sets of central quaternionic polynomials II

Classical ideals theory of maximal subrings in non-commutative rings

Maximal subrings of certain non-commutative rings

On the natural nullcones of the symplectic and general linear groups

Host-Kra factors for $\bigoplus_{p\in P}\mathbb{Z}/p\mathbb{Z}$ actions and finite dimensional nilpotent systems

Maximal nilpotent complex structures

Maximal amenable subgroups of arithmetic groups

Possible Cardinalities of Maximal Abelian Subgroups of Quotients of Permutation Groups of the Integers

On the Nilpotency of Some Modules Over Group Rings

Unobstructedness and dimension of families of Gorenstein algebras

Maximal amenable von Neumann subalgebras arising from maximal amenable subgroups

On the geometry of zero sets of central quaternionic polynomials

Chasing Maximal Pro-p Galois Groups via 1-Cyclotomicity

Fitting Ideals of Projective Limits of Modules over Non-Noetherian Iwasawa Algebras

Generating ideals by additive subgroups of rings