{"id":"arxiv/2605.15452","url":"https://arxiv.org/abs/2605.15452","tags":["math.NT","math.AG"],"score":0,"title":"Explicitly combing hedgehogs over fields of Stufe 4","domain":"math.NT","source":"arxiv","authors":["Peter Müller"],"reviews":0,"subject":"math.NT","summary":"Let $K[x,y,z]=K[X,Y,Z]/(X^2+Y^2+Z^2-1)$ be the coordinate ring of the algebraic unit sphere over a field $K$. Umberto Zannier showed that there exists a matrix in $\\operatorname{SL}_3(K[x,y,z])$ with first row $(x,y,z)$ for $K=\\mathbb Q_p$, the field of $p$-adic numbers for an odd prime $p$, or more generally, if $-1$ is a sum of two squares in $K$. The case $K=\\mathbb Q_2$ remained open and was subsequently posed and discussed by Zannier with numerous researchers, thereby bringing the problem to broader attention. In 2025, Alexey Ananyevskiy and Marc Levine showed that such a matrix exists…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}