J. Jeffries

The variety of nilpotent matrices is $F$-regular

We give an elementary proof that the coordinate ring of the variety of nilpotent matrices is $F$-regular; over an infinite field $K$, this ring also arises as the nullcone for the conjugation action of the general linear group $\textrm{GL}_n(K)$ on the polynomial ring $K[X]$, where $X$ is an $n\times n$ matrix of indeterminates. We prove that the divisor class group of the coordinate ring is the cyclic group $\mathbb{Z}/n\mathbb{Z}$. We then study the case of symmetric nilpotent matrices, where the picture is completely different: the coordinate ring is not normal for $n\geqslant 2$; for $K$ algebraically closed of characteristic other than two, we prove that the coordinate ring is an integral domain precisely when $n$ is odd.