{"id":"arxiv/2607.13787","url":"https://arxiv.org/abs/2607.13787","tags":["math.AC"],"score":0,"title":"The variety of nilpotent matrices is $F$-regular","domain":"math.AC","source":"arxiv","authors":["Jack Jeffries","Vaibhav Pandey","Anurag K. Singh"],"reviews":0,"subject":"math.AC","summary":"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$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-15","reactions":{}}