Kitaoka's conjecture for real cyclotomic fields

Abstract

We prove Kitaoka's conjecture for all real cyclotomic fields, i.e. for fields of the form $\mathbb{Q}({\zeta }_k+{\zeta }_k^{-1})$ where ${\zeta }_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.

arXiv comment8 pages; comments are very welcome!