Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2506.20820

On biquadratic fields: when 5 squares are not enough

Daniel Dombek
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper we study the Pythagoras number $\mathcal{P}(\mathcal{O}_K)$ for the rings of integers in totally real biquadratic fields $K$. We continue the work of Tinková towards proving the conjecture by Krásenský, Raška and Sgallová that a biquadratic $K$ satisfies $\mathcal{P}(\mathcal{O}_K)\geq 6$ if and only if it contains neither $\sqrt{2}$ nor $\sqrt{5}$, with only finitely many exceptions. We fully solve two out of three remaining classes of fields by proving that all but finitely many $K$ containing $\sqrt{6}$ or $\sqrt{7}$ satisfy $\mathcal{P}(\mathcal{O}_K)\geq 6$. Furthermore, we present ideas and computations which further support the conjecture also for $K$ containing $\sqrt{3}$. This enables us to refine the conjecture by explicitly listing the exceptional fields.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Daniel Dombek. 2025-06-25. On biquadratic fields: when 5 squares are not enough. https://doi.org/10.1007/s10998-026-00720-1

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Asymptotic density of k-almost primes

Landau's well known asymptotic formula $$N_k(x):=\ \mid\{n\leq x : Ω(n)=k\}\mid \ \sim \left( \frac{x}{\log x} \right) \frac{(\log\log x)^{k-1}}{(k - 1)!}\ \ (x \rightarrow \infty),$$ which also holds for $$π_k(x):=\ \mid\{n\leq x : ω(n)=k\}\mid,$$ is known to be fairly poor for $k > 1$, and when $k$ is allowed to tend to infinity with $x$, the study of $N_k(x)$ and $π_k(x)$ becomes very technical [1, Chapter II.6, $§$ 6.1, p.200]. I hope to show that the method described below provides not only a more accurate approach, but rather increases in its asymptotic accuracy as $k$ tends to infinity.

math.NT↗
arXiv2026

Real quadratic base changes for $\mathrm{GL}_3$ and integral periods relations

We prove a $p$-adic divisibility between the automorphic periods of a cuspidal automorphic representation of $\mathrm{GL}_3(\mathbb{Q})$ and the periods of its Arthur-Clozel's base change to some real quadratic field $E$. This generalizes earlier works of Tilouine-Urban and of Hida in the case of classical modular forms. The divisibility we prove involves a new kind of automorphic periods, defined using the middle degree of the cuspidal cohomology of $\mathrm{GL}_3(E)$, instead of the top or bottom degrees. We also investigate the Rogawski's stable base change from the quasi-split unitary group $U_E$ associated with $E$ to $\mathrm{GL}_3(E)$. In this situation, we also obtain some results toward a $p$-adic divisibility of automorphic periods.

math.NT↗