Article contents
There are no universal ternary quadratic forms over biquadratic fields
Published online by Cambridge University Press: 16 September 2020
Abstract
We study totally positive definite quadratic forms over the ring of integers $\mathcal {O}_K$ of a totally real biquadratic field $K=\mathbb {Q}(\sqrt {m}, \sqrt {s})$. We restrict our attention to classic forms (i.e. those with all non-diagonal coefficients in $2\mathcal {O}_K$) and prove that no such forms in three variables are universal (i.e. represent all totally positive elements of $\mathcal {O}_K$). Moreover, we show the same result for totally real number fields containing at least one non-square totally positive unit and satisfying some other mild conditions. These results provide further evidence towards Kitaoka's conjecture that there are only finitely many number fields over which such forms exist. One of our main tools are additively indecomposable elements of $\mathcal {O}_K$; we prove several new results about their properties.
Keywords
- Type
- Research Article
- Information
- Proceedings of the Edinburgh Mathematical Society , Volume 63 , Issue 3 , August 2020 , pp. 861 - 912
- Copyright
- Copyright © The Authors, 2020. Published by Cambridge University Press on Behalf of The Edinburgh Mathematical Society
References
- 11
- Cited by