Kitaoka's conjecture for real cyclotomic fields

Source abstract

We prove Kitaoka's conjecture for all real cyclotomic fields, i.e. for fields of the form $\mathbb{Q}(ζ_k+ζ_k^{-1})$ where $ζ_k$ is a primitive $k$th root of unity. More precisely, we show that such a field admits a universal classical ternary quadratic form if and only if it is a real quadratic field.