Related papers: Sums of squares in function fields over henselian …

Let $F(X_1,X_2)\in\mathbb{Z}[X_1,X_2] $ be an irreducible binary form of degree $3$ and $h$ an arithmetic function. We give some estimates for the average order $\sum_{\substack{|n_1|\leq x,|n_2|\leq x}}h(F(n_1,n_2))$ when $h$ satisfy…

Suppose that $K$ is a field of characteristic 0, $p$ is an odd prime, $r$ a positive integer, $q=p^r$ a prime power. Suppose that $f(x)$ is a polynomial of degree $n > 4$ with coefficients in $K$ and without multiple roots. Let us consider…

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…

Let $K$ be a field with $G_K(2) \simeq G_{\mathbb{Q}}(2)$, where $G_F(2)$ denotes the maximal pro-2 quotient of the absolute Galois group of a field $F$. We prove that then $K$ admits a (non-trivial) valuation $v$ which is 2-henselian and…

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…

Let $K$ be a number field of degree $n$ over ${\mathbb Q}$. Then the 4-rank of the strict class group of $K$ is at least ${\text{rank}_2 \, } ({ E_{K}^{+} } / E_K^2) - \lfloor n /2 \rfloor$ where $E_K$ and ${ E_{K}^{+} }$ denote the units…

We give a simple matrix-based proof of congruence equations modulo a prime $p$ involving sums of binomial coefficients appearing in Pascal's triangle. These equations can be used to construct some groups of exponent $p^n$. These groups, as…

We show that the Pythagoras number of rings of type $\mathbb{R}[x,y, \sqrt{f(x,y)}]$ is infinite, provided that the polynomial $f(x,y)$ satisfies some mild conditions.

Let f(n,m) be the maximum of the sum of the squares of degrees of a graph with n vertices and m edges. Summarizing earlier research, we present a concise, asymptotically sharp upper bound on f(n,m), better than the bound of de Caen for…

Let $q$ be a power of a prime and let $\mathbb{F}_q$ be the finite field consisting of $q$ elements. We establish new explicit estimates on Gauss sums of the form $S_n(a) = \sum_{x\in \mathbb{F}_q}\psi_a(x^n)$, where $\psi_a$ is a…

In the first paper we proved that on the cyclic groups of odd order d, there exist non zero functions whose convolution square f*f(2t) is proportional to their square f(t)^2 when the proportionality constant is an odd algebraic integer of…

We simplify and give an alternative proof of hypoellipticity for generalizations of the singular sum of squares of complex vector fields studied by Kohn, with an appendix by Derridj and Tartakoff, in the Annals of Mathematics, vol. 162 no.…

Let $\F$ be the finite field of odd prime power order $q$, We find explicit expressions for the number of triples $\{\al-1,\al,\al+1 \}$ of consecutive non-zero squares in $\F$ and similarly for the number of triples of consecutive…

Let X be a homogeneous tree of degree q+1 (for q between 2 and infinity) and let f be a complex function on X times X for which f(x,y) only depend on the distance between x and y in X. Our main result gives a necessary and sufficient…

An explicit formula for the quadratic mean value at $s=1$ of the Dirichlet $L$-functions associated with the odd Dirichlet characters modulo $f>2$ is known. Here we present a situation where we could prove an explicit formula for the…

Given a real projective curve with homogeneous coordinate ring R and a nonnegative homogeneous element f in R, we bound the degree of a nonzero homogeneous sum-of-squares g in R such that the product fg is again a sum of squares. Better…

In $1801$, Gauss found an explicit description, in the language of binary quadratic forms, for the $2$-torsion of the narrow class group and dual narrow class group of a quadratic number field. This is now known as Gauss's genus theory. In…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$. Let $\mathcal{N}_K$ be the set of positive integers $n$ such that there exist units $\varepsilon, \delta \in \mathcal{O}_K^\times$ satisfying $\varepsilon + \delta = n$. We…

Let $C$ be a smooth projective curve defined over the finite field $\mathbb{F}_q$ ($q$ is odd) and let $K=\mathbb{F}_q(C)$ be its function field. Any finite set $S$ of closed points of $C$ gives rise to an integral domain…

Let $E$ be an elliptic curve over a number field $K$ defined by a monic irreducible cubic polynomial $F(x)$. When $E$ is \textit{nice} at all finite primes of $K$, we bound its $2$-Selmer rank in terms of the $2$-rank of a modified ideal…