English
Related papers

Related papers: The closedness theorem over Henselian valued field…

200 papers

We give an elementary proof of a version of the implicit function theorem over Henselian valued fields $K$. It yields a density property for such fields (introduced in a joint paper with J. Koll{\'a}r), which is indispensable for ensuring…

Algebraic Geometry · Mathematics 2017-01-03 Krzysztof Jan Nowak

This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological…

Algebraic Geometry · Mathematics 2024-06-18 Olivier Benoist , Olivier Wittenberg

Motivated by the analogy between number fields and function fields, this paper extends the main result of \cite{janbazi2025unified} to the function field setting. Let $C$ be a smooth affine curve over a finite field, and let $\pi: S…

Algebraic Geometry · Mathematics 2025-07-29 Fateme Sajadi

We study the existence of zero-cycles of degree one on varieties that are defined over a function field of a curve over a complete discretely valued field. In particular, we show that local-global principles hold for such zero-cycles…

Algebraic Geometry · Mathematics 2018-04-17 Jean-Louis Colliot-Thélène , David Harbater , Julia Hartmann , Daniel Krashen , R. Parimala , V. Suresh

For a conformal vector field on a closed, real-analytic, Lorentzian manifold we prove that the flow is locally isometric -- that it preserves a metric in the conformal class on a neighborhood of any point -- or the metric is everywhere…

Differential Geometry · Mathematics 2025-11-06 Sorin Dumitrescu , Charles Frances , Karin Melnick , Vincent Pecastaing , Abdelghani Zeghib

We develop causality theory for upper semi-continuous distributions of cones over manifolds generalizing results from mathematical relativity in two directions: non-round cones and non-regular differentiability assumptions. We prove the…

General Relativity and Quantum Cosmology · Physics 2019-03-06 E. Minguzzi

We introduce the notion of the definable rank of an ordered field, ordered abelian group and ordered set, respectively. We study the relation between the definable rank of an ordered field and the definable rank of the value group of its…

Logic · Mathematics 2026-01-13 Lothar Sebastian Krapp , Salma Kuhlmann , Lasse Vogel

We study valued fields equipped with an automorphism $\sigma$ which is locally infinitely contracting in the sense that $\alpha\ll\sigma\alpha$ for all $0<\alpha\in\Gamma$. We show that various notions of valuation theory, such as Henselian…

Logic · Mathematics 2025-06-10 Yuval Dor , Ehud Hrushovski

We prove Hilbert's irreducibility theorem for abelian varieties over function fields of characteristic zero.

Algebraic Geometry · Mathematics 2025-07-30 Ariyan Javanpeykar

We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings…

We state the Ramsey property of classes of ordered structures with closures and given local properties. This generalises many old and new results: the Ne\v{s}et\v{r}il-R\"{o}dl Theorem, the author's Ramsey lift of bowtie-free graphs as well…

Combinatorics · Mathematics 2017-06-07 Jan Hubička , Jaroslav Nešetřil

In this paper, we classify the possible group structures on the set of $R$-valued points of an abelian variety, where $R$ is any real closed field. We make use of a family of abelian varieties that, in effect, allows one to quantify over…

Algebraic Geometry · Mathematics 2023-05-31 Nathanial Lowry

Working over imperfect fields, we give a comprehensive classification of genus-one curves that are regular but not geometrically regular, extending the known case of geometrically reduced curves. The description is given intrinsically, in…

Algebraic Geometry · Mathematics 2022-11-09 Stefan Schröer

Consider a Henselian rank one valued field $K$ of equicharacteristic zero with the three-sorted language $\mathcal{L}$ of Denef--Pas. Let $f: A \to K$ be a continuous $\mathcal{L}$-definable (with parameters) function on a closed bounded…

Algebraic Geometry · Mathematics 2017-02-17 Krzysztof Jan Nowak

This thesis is a contribution to the model theory of valued fields. We study forking in valued fields and some of their reducts. We focus particularly on pseudo-local fields, the ultraproducts of residue characteristic zero of the p-adic…

Logic · Mathematics 2024-09-26 Akash Hossain

It is well-known that degree two finite field extensions can be equipped with a Hermitian-like structure similar to the extension of the complex field over the reals. In this contribution, using this structure, we develop a modular…

Cryptography and Security · Computer Science 2013-04-23 Laurent Poinsot

We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…

Logic · Mathematics 2019-02-06 Lothar Sebastian Krapp , Salma Kuhlmann , Gabriel Lehéricy

Recently, a new axiomatic framework for tameness in henselian valued fields was developed by Cluckers, Halupczok, Rideau-Kikuchi and Vermeulen and termed Hensel minimality. In this article we develop Diophantine applications of Hensel…

Number Theory · Mathematics 2024-05-01 Victoria Cantoral-Farfán , Kien Huu Nguyen , Mathias Stout , Floris Vermeulen

Andr\'e used Hodge-theoretic methods to show that in a smooth proper family X to B of varieties over an algebraically closed field k of characteristic 0, there exists a closed fiber having the same Picard number as the geometric generic…

Algebraic Geometry · Mathematics 2019-12-19 Davesh Maulik , Bjorn Poonen

Let $k$ be a field of characteristic $0$ and let $K = k(B)$ be the function field of a geometrically irreducible projective curve $B$ over $k$. Let $A/K$ be a $g$-dimensional abelian variety with $\mathrm{Tr}_{K/k}(A) = 0$. We prove that…

Number Theory · Mathematics 2026-03-25 Nicole Looper , Jit Wu Yap