English

The variety of nilpotent matrices is $F$-regular

Commutative Algebra 2026-07-15 v1

Abstract

We give an elementary proof that the coordinate ring of the variety of nilpotent matrices is FF-regular; over an infinite field KK, this ring also arises as the nullcone for the conjugation action of the general linear group GLn(K)\textrm{GL}_n(K) on the polynomial ring K[X]K[X], where XX is an n×nn\times n matrix of indeterminates. We prove that the divisor class group of the coordinate ring is the cyclic group Z/nZ\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 n2n\geqslant 2; for KK algebraically closed of characteristic other than two, we prove that the coordinate ring is an integral domain precisely when nn is odd.

Keywords

Cite

@article{arxiv.2607.13787,
  title  = {The variety of nilpotent matrices is $F$-regular},
  author = {Jack Jeffries and Vaibhav Pandey and Anurag K. Singh},
  journal= {arXiv preprint arXiv:2607.13787},
  year   = {2026}
}

Comments

12 pages