English

Non-universality of ternary quadratic forms over fields containing $\sqrt2$

Number Theory 2026-01-23 v1

Abstract

We prove Kitaoka's conjecture for all totally real number fields of degree 4 -- namely, there is no positive definite classical quadratic form in three variables which is universal. To achieve this, we study the fields (often without restricting the degree) where 2 is a square, because in this arguably most difficult case, the recent results connecting Kitaoka's conjecture to sums of integral squares do not apply. We also prove some other properties of ternary quadratic forms over fields containing 2\sqrt2, for example in relation to the lifting problems for universal quadratic forms and for criterion sets.

Keywords

Cite

@article{arxiv.2601.15568,
  title  = {Non-universality of ternary quadratic forms over fields containing $\sqrt2$},
  author = {Kristyna Kramer and Jakub Krasensky},
  journal= {arXiv preprint arXiv:2601.15568},
  year   = {2026}
}

Comments

24 pages; comments are welcome!