1-h-Minimal Henselian Valued Fields

• 1-h-minimal Henselian valued fields are non-archimedean fields with strong one-variable definability features, enabling uniform cell decomposition and precise dimension theory.
• They provide a robust framework for motivic integration, Diophantine counting, and definable topological group theory through effective lifting and Jacobian control.
• Their multi-sorted structure, comprising VF, RV, residue field, and value group, facilitates quantifier elimination, Taylor approximation, and compactness in definable sets.

A 1-h-minimal Henselian valued field is a class of non-archimedean valued fields characterized by a strong form of definable simplicity for one-variable subsets and functions. This condition enables a robust geometric and model-theoretic framework, analogous to o-minimality for real geometry, but adapted to the valuation-topology and the structure of the residue field and value group. The theory of 1-h-minimality provides cell decomposition, dimension theory, strong approximation properties, and a universal framework for motivic integration, with applications ranging from tame geometry to Diophantine counting and definable topological group theory (Stout et al., 22 Oct 2025, Cluckers et al., 2021, López, 2024, Cluckers et al., 2019).

1. Language, Sorts, and Leading-Term Structures

The foundational structures for 1-h-minimality involve multi-sorted languages expanding the valued field language $\{0,1,+,\cdot,\mathcal{O}\}$, which includes the predicative sort for the valuation ring $\mathcal{O}$. The main sorts are:

• VF (Valued Field Sort): The field $K$ with the valuation ring $\mathcal{O}_K$ and maximal ideal $\mathcal{M}_K$.
• RV (Leading Term Sort): Defined as $RV = K^\times/(1+\mathcal{M}_K) \sqcup \{0\}$, with the quotient map $rv:K \rightarrow RV$, $rv(0)=0$.
• Residue Field ($k$) and Value Group ($\Gamma$) Sorts: $k=K/\mathcal{M}_K$, $\Gamma$ is the value group, typically an ordered abelian group.

There is a short exact sequence

$$1 \to k^\times \to RV^\times \to \Gamma^\times \to 1$$

and on RV there is a partially defined addition $\oplus$ induced by $a+b=c$ in $K$.

The multi-sorted language often includes the angular component map $ac:K^\times \to k^\times$ and projections among sorts, facilitating quantifier elimination and preparation of definable sets (Stout et al., 22 Oct 2025, López, 2024).

2. Definition and Characterizations of 1-h-Minimality

A theory $T$ is 1-h-minimal if, in every model $K$, every definable subset $X \subset K$ admits a uniform preparation by finitely many parameter-definable RV-values. Specifically, for every definable $X \subset K$ and every set of parameters, there exists a finite parameter-definable set $C$ such that $X \setminus C$ is a Boolean combination of balls determined by RV-values:

$$\forall x, x' \in K,\, \left(rv(x-c) = rv(x'-c)\ \forall c \in C\right) \implies \left[x \in X \iff x' \in X\right].$$

Equivalent formulations (as in (Cluckers et al., 2021, Cluckers et al., 2019)) include:

• Existence of a finite definable set $C$ such that any definable $f:K \to K$ is either constant or satisfies $|f(x_1) - f(x_2)| = \mu_B |x_1 - x_2|$ on each ball next to $C$.
• Only finitely many infinite fibers $f^{-1}(y)$ for definable $f$.

Higher-dimensional definable sets $X \subset K^n$ admit cell decompositions via definable maps $\chi:K^n \to RV^N$ whose fibers are "twisted boxes":

$$\left\{x\in K^n \mid rv(x_i-c_i(x_{<i})) = r_i \ \text{for}\ i=1,\ldots,n\right\}$$

where $c_i$ and $r_i$ are definable in the appropriate sorts (Stout et al., 22 Oct 2025).

3. Effectivity and Examples of 1-h-Minimal Structures

Effectivity addresses whether definable points in RV can be lifted back to definable elements in $K$:

• $T$ is effective if, for every definable $\xi\in RV$, there exists a definable $x\in K$ with $rv(x)=\xi$.
• All finite definable $R \subset RV$ must lift to finite definable $X \subset K$ with $rv:X \to R$ a bijection.

Effectivity enables lifting maps and the transfer of properties and constructions between sorts, crucially for universal motivic integration (Stout et al., 22 Oct 2025). Key effective examples include:

• Equicharacteristic-0 Henselian valued fields with "algebraically bounded" residue fields (e.g., algebraically closed, real-closed, finite, $p$-adic, pseudo-finite).
• Power-bounded $o$-minimal fields with convex valuation rings (the $t$-convex setting).
• Almost real closed valued fields with analytic structure from strong real Weierstrass systems.
• Coarsenings of 1-h-minimal fields (Stout et al., 22 Oct 2025).

4. Structural Theorems: Cell Decomposition, Jacobian, and Taylor Approximation

Cell Decomposition provides that any definable $X\subset K^n$ can be partitioned into finitely many cells, each defined by coordinatewise constraints involving RV-parameters and continuous definable center functions, often ensuring structural compatibility for subsequent applications such as parameterization and integration (Stout et al., 22 Oct 2025, Cluckers et al., 2019).

Jacobian Property: For any definable $f:K \to K$ (or $K^n \to K$), there exists a cell decomposition such that, on each relevant cell, $f$ is $C^1$ with constant $rv(f')$ and

$rv(f(x) - f(y)) = rv(f'(x)) \cdot rv(x-y)$

for all $x,y$ in the cell, ensuring well-behaved local dynamics and facilitating change-of-variables in integration (Stout et al., 22 Oct 2025, Cluckers et al., 2021).

Taylor Approximation: For $f:K \to K$, strong Taylor-type results hold: on each cell, the remainder in the Taylor approximation is controlled by the next derivative and the cell's modulus, resulting in explicit control over definable functions' approximation error (Cluckers et al., 2021, Cluckers et al., 2019).

5. Dimension Theory in VF and RV Sorts

Dimension theories are defined for both VF (the valued field sort) and RV:

VF-Dimension: For definable $X\subset K^n$, $\mathrm{dim}\,X \le d$ iff there exists a finite-to-one definable map $X\to K^d$. The dimension satisfies standard properties: additivity, invariance under projections, and generic local dimension equals global dimension (Stout et al., 22 Oct 2025).

RV-Dimension: When the theory is effective, the induced algebraic closure on the RV-sort forms a pregeometry, with dimension agreeing with that of the preimage in VF, and satisfying analogous properties:

• Finite iff the set is infinite,
• Additivity over products, and
• Compatibility with projections and local Fubini-type behavior (Stout et al., 22 Oct 2025).

6. Motivic Integration and Grothendieck Rings

In 1-h-minimal theories, motivic integration is formalized using graded Grothendieck semirings:

• $\mathrm{VF}[n]$: Definable $X\subset K^n\times RV^m$ with finite-to-one projection to $K^n$.
• $\mathrm{RV}[n]$: Definable $R\subset (RV^\times)^n \times RV^m$ with finite-to-one projection to $(RV^\times)^n$.

A natural lifting map sends $R$ to $\{(x,\xi)\mid rv(x)=\xi\}$. For any 1-h-minimal theory, there is a surjective semiring map

$\int : K_+\mathrm{VF} \to K_+\mathrm{RV}[*]/I_{sp}$

and in the effective case, this map is an isomorphism (Stout et al., 22 Oct 2025). The theory extends to measured objects by introducing volume forms and corresponding measure-preserving Grothendieck semirings, yielding a universal motivic integration map, generalizing results by Hrushovski–Kazhdan and Cluckers–Loeser.

7. Applications: Compactness, Topological Groups, and Arithmetic

Naive Compactness: 1-h-minimal Henselian valued fields satisfy a property of naive compactness for descending definable chains of closed bounded sets indexed by the value group. That is, for any definable family $\{C_\gamma\}_{\gamma \ge \gamma_0}$ of closed bounded nonempty sets with $C_\gamma \supseteq C_{\gamma'}$ for $\gamma \le \gamma'$, the intersection $$\bigcap_{\gamma \ge \gamma_0} C_\gamma \ne \emptyset$$ (López, 2024).

Definable Topological Groups: Any definable local topological group has a definable basis of open subgroups at the identity, constructed using the naive compactness, paralleling classical Lie-theoretic arguments in the $p$-adic context (López, 2024).

Diophantine Counting: Using cell decomposition and parameterization results, 1-h-minimality enables Pila-Wilkie-type upper bounds on rational points of bounded height on definable transcendental curves over $p$-adic (and more general Henselian) fields:

$|C(H)| \le c H^\varepsilon$

for every $\varepsilon > 0$, with uniformity in definable families (Cluckers et al., 2021).

Motivic Integration: The universal integration isomorphism includes classical $p$-adic and geometric motivic integration as specializations, encompassing algebraically closed, real analytic, and pseudo-local settings (Stout et al., 22 Oct 2025).

---

References:

(Stout et al., 22 Oct 2025) "Integration in Hensel minimal fields" (Cluckers et al., 2021) "Hensel minimality II: Mixed characteristic and a diophantine application" (López, 2024) "Closed bounded sets in 1-h-minimal valued fields" (Cluckers et al., 2019) "Hensel minimality I"