Related papers: Pythagoras number of quartic orders containing $\s…

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…

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\'a towards proving the conjecture by Kr\'asensk\'y, Ra\v{s}ka and…

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…

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 simplest cubic fields $\mathbb{Q}(\rho)$ are generated by a root $\rho$ of the polynomial $x^3-ax^2-(a+3)x-1$ where $a\geq -1$. In this paper, we will show that the Pythagoras number of the order $\mathbb{Z}[\rho]$ is equal to $6$ for…

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 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…

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…

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 show that any sum of squares in a field of transcendence degree $1$ over $\mathbb{Q}$ is a sum of $5$ squares, answering a question of Pop and Pfister. We deduce this result from a representation theorem, in $k(C)$, for quadratic forms…

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$,…

Unit-generated orders of a quadratic field are orders of the form $\mathcal{O} = \mathbb{Z}[\varepsilon]$, where $\varepsilon$ is a unit in the quadratic field. If the order $\mathcal{O}$ is a maximal order of a real quadratic field, then…

Let $\mathcal{O}$ be an order in an algebraic number field and suppose that the set of distances $\Delta(\mathcal{O})$ of $\mathcal{O}$ is nonempty (equivalently, $\mathcal{O}$ is not half-factorial). If $\mathcal{O}$ is seminormal (in…

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…

For the ternary quadratic form Q(x) = x^2 + y^2 - z^2 and a non-zero Pythagorean triple x_0 in Z^3 lying on the cone Q(x) = 0, we consider an orbit O = x_0 Gamma of a finitely generated subgroup Gamma < SO_Q(Z) with critical exponent…

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…

A Pythagorean n-tuple is an integer solution of x_1^2+...+x_{n-1}^2=x_n^2. For n=4 and n=6, the Pythagorean n-tuples admit a parametrization by a single n-tuple of polynomials with integer coefficients (which is impossible for n=3). For…

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 show that an order in a quartic field has fewer than $3000$ essentially different generators as a $\mathbb Z$-algebra (and fewer than $200$ if the discriminant of the order is sufficiently large). This significantly improves the…

Quadratic conjecture is a strengthening of oliver's $p$-group conjecture. Let $G$ be a $p$-group of maximal class of order $p^n$. We prove that if $n\le 8$ or $n\ge \max\{2p-6,p+2\}$ then $G$ satisfies Quadratic Conjecture. Hence quadratic…