arXiv subjects

David Grimm

Publications and source records attributed to David Grimm.

5 recordsLinked to original sources

arXiv2026

Sums of squares in function fields over a henselian valued field

The Pythagoras number of a field is the smallest natural number $n$ such that every sum of squares in the field is a sum of $n$ squares. Given a nondyadic henselian valued field $(K, v)$, we show that the best bound on the Pythagoras number for function fields of curves over $K$ is essentially the same as for function fields of curves over the residue field $Kv$. As a consequence, we obtain the upper bound $5$ for the Pythagoras number of function fields of curves over any field $K$ for which the rational function field $K(X)$ has Pythagoras number $2$. The proof uses a reduction to the case where the value group is a subgroup of the real numbers, where then a local-global principle for quadratic forms due to V.~Mehmeti is applied.

math.NT↗

arXiv2026

Arithmetic genus inequalities with an application to sums of squares

We show variants of the genus inequality for the irreducible components of the special fiber of an arithmetic curve over a henselian discrete valuation ring of residue characteristic zero that take into account the non-existence of rational, respectively real points on the the components. We then apply this inequality to obtain the bound $2^{ng}$ (respectively $2^{n(g+1)}$) on the totally positive sum-of-two-squares index in the function field of a curve of genus $g$ over the field of $n$-fold iterated real Laurent series with (respectively without) real points. The bound $2^{n(g+1)}$ had been previously known only for hyperelliptic curves.

math.NT↗

arXiv2023

Nonsplit conics in the reduction of an arithmetic curve

For an algebraic function field $F/K$ and a discrete valuation $v$ of $K$ with perfect residue field $k$, we bound the number of discrete valuations on $F$ extending $v$ whose residue fields are algebraic function fields of genus zero over $k$ but not ruled. Assuming that $K$ is relatively algebraically closed in $F$, we find that the number of nonruled residually transcendental extensions of $v$ to $F$ is bounded by $\mathfrak{g}+1$ where $\mathfrak{g}$ is the genus of $F/K$. An application to sums of squares in function fields of curves over $\mathbb{R}(\!(t)\!)$ is presented.

math.NT↗

arXiv2021

Hereditarily non-pythagorean fields

We prove for a large class of fields $F$ that every proper finite extension of $F_{pyth}$, the pythagorean closure of $F$, is not a pythagorean field. This class of fields contains number fields and fields $F$ that are finitely generated of transcendence degree at least one over some subfield of $F$.

math.NT↗

arXiv2006

A note on the representation of positive polynomials with structured sparsity

We consider real polynomials in finitely many variables. Let the variables consist of finitely many blocks that are allowed to overlap in a certain way. Let the solution set of a finite system of polynomial inequalities be given where each inequality involves only variables of one block. We investigate polynomials that are positive on such a set and sparse in the sense that each monomial involves only variables of one block. In particular, we derive a short and direct proof for Lasserre's theorem of the existence of sums of squares certificates respecting the block structure. The motivation for the results can be found in the literature and stems from numerical methods using semidefinite programming to simulate or control discrete-time behaviour of systems.

math.OC↗