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 -regular; over an infinite field , this ring also arises as the nullcone for the conjugation action of the general linear group on the polynomial ring , where is an matrix of indeterminates. We prove that the divisor class group of the coordinate ring is the cyclic group . We then study the case of symmetric nilpotent matrices, where the picture is completely different: the coordinate ring is not normal for ; for algebraically closed of characteristic other than two, we prove that the coordinate ring is an integral domain precisely when 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