{"id":"arxiv/2606.29321","url":"https://arxiv.org/abs/2606.29321","tags":["math.NT"],"score":0,"title":"For which real quadratic fields is Kim's octonary form universal?","domain":"math.NT","source":"arxiv","authors":["Scott Duke Kominers"],"reviews":0,"subject":"math.NT","summary":"Let $K=\\mathbb{Q}(\\sqrt{D})$ with $D>1$ squarefree, and let $\\varepsilon_+$ be the totally positive fundamental unit of $\\mathcal{O}_K$. B. M. Kim proved in 2000 that the octonary diagonal form \\[ f=x_1^2+\\cdots+x_4^2+\\varepsilon_+(x_5^2+\\cdots+x_8^2) \\] is universal over $\\mathcal{O}_K$ whenever $D=n^2-1$ is squarefree. We complete Kim's result to an if-and-only-if classification: $f$ is universal if and only if $D=n^2-1$ for some $n\\ge2$, or $D=n^2-4$ for some odd $n\\ge3$, in both cases subject to squarefreeness. The second family appears to be new in this context and contains…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-28","reactions":{}}