Pythagoras number of quartic orders containing $\sqrt{2}$
Zilong He, Hu, Yong · arXiv (Cornell University) · 2022
Let $K$ be a quartic number field containing $\sqrt{2}$ and let $\mathcal{O}\subseteq K$ be an order such that $\sqrt{2}\in \mathcal{O}$. We prove that the Pythagoras number of $\mathcal{O}$ is at most 5. This confirms a conjecture of Krásenský, Raška and Sgallová. The proof makes use of Beli's theory of bases of norm generators for quadratic lattices over dyadic local fields.