Related papers: On biquadratic fields: when 5 squares are not enou…

We examine the Pythagoras number $\mathcal{P}(\mathcal{O}_K)$ of the ring of integers $\mathcal{O}_K$ in a totally real biquadratic number field $K$. We show that the known upper bound $7$ is attained in a large and natural infinite family…

We show that for all real biquadratic fields not containing $\sqrt{2}$, $\sqrt{3}$, $\sqrt{5}$, $\sqrt{6}$, $\sqrt{7},$ and $\sqrt{13}$, the Pythagoras number of the ring of algebraic integers is at least $6$. We will also provide an upper…

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…

For an algebraic number field $K$ with ring of integers $\mathcal{O}_{K}$, an important subgroup of the ideal class group $Cl_{K}$ is the {\it P\'{o}lya group}, denoted by $Po(K)$, which measures the failure of the $\mathcal{O}_{K}$-module…

Let $K$ be a complex bi-quadratic field with ring of integers $\mathcal{O}_{K}$. For $K = \mathbb{Q}(\sqrt{-m}$, $\sqrt{n}$), where $ m \equiv 3 \pmod 4 $ and $ n \equiv 1 \pmod 4$, we prove that every algebraic integer can be written as…

For an integral domain $R$, the {\it ring of integer-valued polynomials} over $R$ consists of all polynomials $f(X) \in R[X]$ such that $f(R) \subseteq R$. An interesting case to study is when $R$ is a Dedekind domain, in particular when…

We consider Shanks' simplest cubic fields $K$ for which the index $[\mathcal{O}_K:\mathbb{Z}[\rho]]$ of a root $\rho$ of the defining parametric polynomial is $3$. For them, we study the additive indecomposables of $K$ and provide a…

We prove that the Pythagoras number of the ring of integers of the compositum of all real quadratic fields is infinite. The same holds for certain infinite totally real cyclotomic fields. In contrast, we construct infinite degree totally…

The aim of this article is to study (additively) indecomposable algebraic integers $\mathcal O_K$ of biquadratic number fields $K$ and universal totally positive quadratic forms with coefficients in $\mathcal O_K$. There are given…

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…

We prove that the ring of integers in the totally real cubic subfield $K^{(49)}$ of the cyclotomic field $\mathbb{Q}(\zeta_7)$ has Pythagoras number equal to $4$. This is the smallest possible value for a totally real number field of odd…

For an algebraic number field $K$, the P\'{o}lya group of $K$, denoted by $Po(K),$ is the subgroup of the ideal class group $Cl_{K}$ generated by the ideal classes of the products of prime ideals of same norm. The number field $K$ is said…

The P\'{o}lya group $Po(K)$ of an algebraic number field $K$ is the subgroup of the ideal class group $Cl_{K}$ generated by the ideal classes of the products of prime ideals of the same norm. If $Po(K)$ is trivial, then the number field $K$…

We prove that every sum of squares in the rational function field in two variables $K(X,Y)$ over a hereditarily pythagorean field $K$ is a sum of $8$ squares. More precisely, we show that the Pythagoras number of every finite extension of…

We show that the higher Pythagoras numbers for the polynomial ring are infinite $p_{2s}(K[x_1,x_2,\dots,x_n])=\infty$ provided that $K$ is a formally real field, $n\geq2$ and $s\geq 1$. This almost fully solves an old question \cite[Problem…

We study totally real number fields that admit a universal quadratic form whose coefficients are rational integers. We show that $\mathbb Q(\sqrt 5)$ is the only such real quadratic field, and that among fields of degrees 3, 4, 5, and 7…

Let us consider the pure quartic fields of the form $\K=\Q(\sqrt[4]{p})$ where $0<p\equiv 7\pmod{16}$ is a prime integer. We prove that the $2$-class group of $\K$ has order $2$. As a consequence of this, if the class number of $\K$ is $2$,…

Siegel proved that every totally positive element of a number field K is the sum of four squares, so in particular the Pythagoras number is uniformly bounded across number fields. The p-adic Kochen operator provides a p-adic analogue of…

For a given positive integer $k$, we prove that there are at least $x^{1/2-o(1)}$ integers $d\leq x$ such that the real quadratic fields $\mathbb Q(\sqrt{d+1}),\dots,\mathbb Q(\sqrt{d+k})$ have class numbers essentially as large as…

Let K be an algebraic number field and O_K be its ring of integers. Let S_K be the set of elements in O_K which are sums of squares in O_K and s(O_K) the minimal number of squares necessary to represent -1in O_K. Let g( S_K ) be the…