Hensel minimality, $p$-adic exponentiation and Tate uniformization

TL;DR

This paper employs Hensel minimality, a non-Archimedean analog of o-minimality, to analyze $p$-adic exponentiation, Tate uniformization, and related conjectures, revealing structural properties and density results in $C_p$.

Contribution

It introduces a framework using Hensel minimality to study $p$-adic transcendence, uniformization, and unlikely intersections, providing new structural insights and results.

Findings

Construction of derivations respecting definable functions on Hensel minimal fields

Implication of $p$-adic Schanuel conjecture for a uniform version

Quasiminimality of $C_p$ with blurred Tate uniformization

Abstract

We use Hensel minimality, a non-Archimedean analog of o-minimality, to study several questions around transcendental number theory, unlikely intersections, and differential fields in a non-Archimedean setting. In particular, we focus on $p$-adic exponentiation and Tate uniformization on $\mathbb{C}_p$, which we show live in a Hensel minimal structure on $\mathbb{C}_p$. We start by constructing a large collection of derivations on Hensel minimal fields that respect definable functions, which we then apply to the $p$-adic Schanuel conjecture. We also study properties of local definability in analogy to work of Wilkie, and show that $p$-adic Schanuel implies a uniform version of itself. For Tate uniformization we show a strong closure property when blurring, and deduce that $\mathbb{C}_p$ with the blurred Tate uniformization is quasiminimal. Finally, we prove a result on $p$-adic density of likely intersections for powers of elliptic curves.