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.

Root Systems In Finite Symplectic Vector Spaces

Restricted Root Systems and Spin Representations

Root systems for asymmetric geometric representations of Coxeter groups

Rank-3 root systems induce root systems of rank 4 via a new Clifford spinor construction

Restriction Theorems and Root Systems for Symmetric Superspaces

Symmetric roots and admissible pairing

Integer quadratic forms and extensions of subsets of linearly independent roots

Fundamental Involutory Root Systems and a Branching Theorem for Symmetric Pairs

Affine root systems, stable tubes and a conjecture by Geiss-Leclerc-Schröer

Symmetric decompositions, triangulations and real-rootedness

ON PAIRED ROOT SYSTEMS OF COXETER GROUPS

On simply-laced generalized root systems

On the natural nullcones of the symplectic and general linear groups

Defining sequences for fundamental root systems and Coxeter graphs for super Weyl groups

Real roots in the root system $\mathsf{T}_{2,p,q}$

Rooted trees, Feynman graphs, and Hecke correspondences

Maximal root subsystems of affine reflection systems and duality

Root bundles: Applications to F-theory Standard Models

A colourful classification of (quasi) root systems and hyperplane arrangements

Root Number Equidistribution for Self-Dual Automorphic Representations on $GL_N$

On reflections of roots in positive characteristic