There are no universal ternary quadratic forms over biquadratic fields

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 classical 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$). This provides 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.

arXiv commentTo appear in Proc. Edinburgh Math. Soc

References in corpus (4)

• Number fields without n-ary universal quadratic forms
• Universal quadratic forms and elements of small norm in real quadratic fields
• Universal quadratic forms over multiquadratic fields
• Norms of indecomposable integers in real quadratic fields

Cited by in corpus (14)

• Lifting problem for universal quadratic forms
• Universal quadratic forms, small norms and traces in families of number fields
• Number fields without universal quadratic forms of small rank exist in most degrees
• Pythagoras numbers of orders in biquadratic fields
• Universal quadratic forms and indecomposables in number fields: A survey
• Minimal rank of universal lattices and number of indecomposable elements in real multiquadratic fields
• On indefinite $k$-universal integral quadratic forms over number fields
• Trace and norm of indecomposable integers in cubic orders
• Lifting problem for universal quadratic forms over totally real cubic number fields
• Additive structure of non-monogenic simplest cubic fields
• Sails for universal quadratic forms
• Arithmetic of cubic number fields: Jacobi-Perron, Pythagoras, and indecomposables
• Generalizing Hurwitz's quaternionic proof of Lagrange's and Jacobi's four-square theorems
• Triangle Percolation on the Grid