arXiv Science⌕ 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

On properties of the generalized Davenport Expansion

We study the continuity properties of a generalized Davenport Fourier expansion we recently discovered, by imposing conditions on the coefficients. We also put our expansion into perspective from the position of Appell sequences.

math.NT↗
arXiv2026

Slope distributions of $\mathscr{L}$-invariants for modular forms

Fix a prime $p\geq5$, an integer $N\geq1$ relatively prime to $p$, and an irreducible residual global Galois representation $\bar{r}: Gal_{\mathbb{Q}}\rightarrow GL_2(\mathbb{F}_p)$. In this paper, we utilize ghost series to study $p$-adic slopes of $\mathscr{L}$-invariants for $\bar{r}$-newforms. More precisely, under a locally reducible and strongly generic condition for $\bar{r}$: (1) we determine the slopes of $\mathscr{L}$-invariants associated to $\bar{r}$-newforms of weight $k$ and level $Γ_0(Np)$, with at most $O(log_pk)$ exceptions; (2) we establish the integrality of these slopes; (3) we prove an equidistribution property for these slopes as the weight $k$ tends to infinity, which confirms the equidistribution conjecture for $\mathscr{L}$-invariants proposed by Bergdall--Pollack recently.

math.NT↗
arXiv2026

On triple product $L$-functions and the fiber bundle method

We introduce multi-variable zeta integrals which unfold to Euler products representing the triple product $L$-function times a product of $L$-functions with known analytic properties. We then formulate a generalization of the Poisson summation conjecture and show how it implies the analytic properties of triple product $L$-functions. Finally, we propose a strategy, the fiber bundle method, to reduce this generalized conjecture to a simpler case of the Poisson summation conjecture along with certain local compatibility statements.

math.NT↗