arXiv Science⌕ Search

arXiv subjects

Arno Fehm

Publications and source records attributed to Arno Fehm.

At least 19 recordsLinked to original sources
arXiv2026

Existential fragments of theories of henselian valued fields

We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the equicharacteristic case, and the $\exists_n$-fragment in the residue characteristic zero case. For example, we obtain an unconditional axiomatization (and thereby decidability) of the $\exists_3$-theory of $\mathbb{F}_{q}(\!(t)\!)$ in the language of valued fields with a parameter for $t$.

math.LO↗
arXiv2026

Linear theories of global fields with absolute values

We study the theory of a global field k as a k-vector space with a predicate for one of the absolute values on k. For example, we prove that in this language a global field with an ultrametric or real archimedean absolute value has a decidable theory, while with a complex absolute value the theory is always undecidable. We also study the existential theories and axiomatize k together with predicates for all non-complex absolute values on k simultaneously.

math.LO↗
arXiv2026

Universal-existential theories of fields

We study various universal-existential fragments of first-order theories of fields, in particular of function fields and of equicharacteristic henselian valued fields. For example we discuss to what extent the theory of a field k determines the universal-existential theories of the rational function field over k and of the field of Laurent series over k, and we find various many-one reductions between such fragments.

math.LO↗
arXiv2025

Polynomial-time Tractable Problems over the $p$-adic Numbers

We study the computational complexity of fundamental problems over the $p$-adic numbers ${\mathbb Q}_p$ and the $p$-adic integers ${\mathbb Z}_p$. Guépin, Haase, and Worrell proved that checking satisfiability of systems of linear equations combined with valuation constraints of the form $v_p(x) = c$ for $p \geq 5$ is NP-complete (both over ${\mathbb Z}_p$ and over ${\mathbb Q}_p$), and left the cases $p=2$ and $p=3$ open. We solve their problem by showing that the problem is NP-complete for ${\mathbb Z}_3$ and for ${\mathbb Q}_3$, but that it is in P for ${\mathbb Z}_2$ and for ${\mathbb Q}_2$. We also present different polynomial-time algorithms for solvability of systems of linear equations in ${\mathbb Q}_p$ with either constraints of the form $v_p(x) \leq c$ or of the form $v_p(x)\geq c$ for $c \in {\mathbb Z}$. Finally, we show how our algorithms can be used to decide in polynomial time the satisfiability of systems of (strict and non-strict) linear inequalities over ${\mathbb Q}$ together with valuation constraints $v_p(x) \geq c$ for several different prime numbers $p$ simultaneously.

cs.CC↗
arXiv2024

Interpretations of syntactic fragments of theories of fields

We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued fields. As an application we prove many-one reductions between various existential theories of fields. In particular we exhibit several theories of fields many-one equivalent to the existential theory of $\mathbb{Q}$.

math.LO↗
arXiv2024

On Widmer's criteria for the Northcott property

Recently, Widmer introduced a new sufficient criterion for the Northcott property on the finiteness of elements of bounded height in infinite algebraic extensions of number fields. We provide a simplification of Widmer's criterion when the extension is abelian, and use this to exhibit fields with the Northcott property that do not satisfy Widmer's new criterion. We also show how the construction of pseudo algebraically closed fields with the Northcott property, carried out in previous work using the first version of Widmer's criterion, can be simplified.

math.NT↗
arXiv2023

Hilbert properties under base change in small extensions

We study the preservation of the Hilbert property and of the weak Hilbert property under base change in field extensions. In particular we show that these properties are preserved if the extension is finitely generated or Galois with finitely generated Galois group, and we also obtain some negative results.

math.NT↗
arXiv2023

Ramified covers of abelian varieties over torsion fields

We study rational points on ramified covers of abelian varieties over certain infinite Galois extensions of $\mathbb{Q}$. In particular, we prove that every elliptic curve $E$ over $\mathbb{Q}$ has the weak Hilbert property of Corvaja-Zannier both over the maximal abelian extension $\mathbb{Q}^{\rm ab}$ of $\mathbb{Q}$, and over the field $\mathbb{Q}(A_{\rm tor})$ obtained by adjoining to $\mathbb{Q}$ all torsion points of some abelian variety $A$ over $\mathbb{Q}$.

math.NT↗
arXiv2023

Axiomatizing the existential theory of Fq((t))

We study the existential theory of equicharacteristic henselian valued fields with a distinguished uniformizer. In particular, assuming a weak consequence of resolution of singularities, we obtain an axiomatization of - and therefore an algorithm to decide - the existential theory relative to the existential theory of the residue field. This is both more general and works under weaker resolution hypotheses than the algorithm of Denef and Schoutens, which we also discuss in detail. In fact, the consequence of resolution of singularities our results are conditional on is the weakest under which they hold true.

math.LO↗
arXiv2022

The minimal ramification problem for rational function fields over finite fields

We study the minimal number of ramified primes in Galois extensions of rational function fields over finite fields with prescribed finite Galois group. In particular, we obtain a general conjecture in analogy with the well studied case of number fields, which we establish for abelian, symmetric and alternating groups in many cases.

math.NT↗
arXiv2021

A note on finite embedding problems with nilpotent kernel

The first aim of this note is to fill a gap in the literature by proving that, given a global field $K$ and a finite set $\mathcal{S}$ of primes of $K$, every finite split embedding problem $G \rightarrow {\rm{Gal}}(L/K)$ over $K$ with nilpotent kernel has a solution ${\rm{Gal}}(F/K) \rightarrow G$ such that all primes in $\mathcal{S}$ are totally split in $F/L$. We then apply this to inverse Galois theory over division rings. Firstly, given a number field $K$ of level at least $4$, we show that every finite solvable group occurs as a Galois group over the division ring $H_K$ of quaternions with coefficients in $K$. Secondly, given a finite split embedding problem with nilpotent kernel over a finite field $K$, we fully describe for which automorphisms $σ$ of $K$ the embedding problem acquires a solution over the skew field of fractions $K(T, σ)$ of the twisted polynomial ring $K[T, σ]$.

math.NT↗
arXiv2021

Constructing totally $p$-adic numbers of small height

Bombieri and Zannier gave an effective construction of algebraic numbers of small height inside the maximal Galois extension of the rationals which is totally split at a given finite set of prime numbers. They proved, in particular, an explicit upper bound for the lim inf of the height of elements in such fields. We generalize their result in an effective way to maximal Galois extensions of number fields with given local behaviour at finitely many places.

math.NT↗
arXiv2020

On the Northcott property and local degrees

We construct infinite Galois extensions $K$ of $\mathbb{Q}$ that satisfy the Northcott property on elements of small height, and where this property can be deduced solely from the splitting behavior of prime numbers in $K$. We also give examples of Galois extensions of $\mathbb{Q}$ which have finite local degree at all prime numbers and do not satisfy the Northcott property.

math.NT↗
arXiv2019

Ranks of abelian varieties and the full Mordell-Lang conjecture in dimension one

Let $A$ be a non-zero abelian variety over a field $F$ that is not algebraic over a finite field. We prove that the rational rank of the abelian group $A(F)$ is infinite when $F$ is large in the sense of Pop (also called ample). The main ingredient is a deduction of the 1-dimensional case of the relative Mordell-Lang conjecture from a result of Rössler.

math.AG↗