🔢 mathematics

A Pila--Wilkie theorem for Hensel minimal curves

This paper establishes a Pila–Wilkie type theorem for transcendental curves definable in Hensel minimal structures by introducing a novel dimension-counting method over the residue field to derive optimal Diophantine bounds.

Original authors: Victoria Cantoral-Farfán, Kien Huu Nguyen, Mathias Stout, Floris Vermeulen

Published 2026-07-07

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Victoria Cantoral-Farfán, Kien Huu Nguyen, Mathias Stout, Floris Vermeulen

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a detective trying to count how many "special" points exist on a mysterious, winding road. In the world of mathematics, these roads are called curves, and the "special" points are specific coordinates that fit a certain pattern (like having small, simple numbers).

This paper is about a new set of rules for how to count these points on roads that exist in a very strange, non-standard type of universe called a Henselian valued field. Think of this universe as a place where numbers behave like layers of an onion or a fractal, rather than the smooth, continuous lines we are used to on a piece of paper.

Here is the breakdown of their discovery, using simple analogies:

1. The Old Rule: The Pila-Wilkie Theorem

In the familiar world of real numbers (like the numbers on a thermometer), mathematicians already had a famous rule called the Pila-Wilkie theorem.

The Analogy: Imagine a road that is perfectly straight or made of simple curves (like a circle). If you count the "simple" points on it, the number grows predictably. But if the road is transcendental (wildly complex, twisting in ways that can't be described by simple algebra), the number of simple points is surprisingly low.
The Result: For these wild, transcendental roads, the number of simple points grows so slowly that it is almost negligible. It's like finding only a few grains of sand on a massive beach.

2. The New Challenge: The "Onion" Universe

The authors wanted to apply this rule to their "onion" universe (Henselian valued fields).

The Problem: In this universe, the "simple points" are defined differently. Instead of just small integers, they are points made of polynomials (like $1 + 2t + 3t^2$ ).
The Trap: In this new universe, if you just count the points, you might find infinite points even on a wild, transcendental road. It's like trying to count grains of sand on a beach that is actually an infinite ocean. The old counting method breaks down because the "beach" is too big.

3. The Solution: "Counting Dimension"

To fix this, the authors invented a new tool called Counting Dimension.

The Analogy: Instead of counting every single grain of sand, they decided to measure the size of the bucket needed to hold the sand.
How it works: They realized that even if there are infinite points, they might all fit into a very specific, small "bucket" defined by the underlying structure of the universe (the residue field).
The Metric: They measure the "complexity" of the points not by how many there are, but by how much "space" they take up relative to the background. It's like saying, "Even though there are infinite points, they are all packed so tightly that they only occupy the space of a single line."

4. The Main Discovery: The New Pila-Wilkie Theorem

The authors proved that for transcendental curves (the wild, complex roads) in this Henselian universe:

The Result: The "bucket size" (Counting Dimension) grows incredibly slowly.
The Metaphor: If you increase the height of your search (looking for more complex points), the number of new points you find doesn't explode. It grows so slowly that for any tiny amount of "growth" you allow, you can find a limit.
The Catch: This only works if the road is truly "wild" (transcendental). If the road is a simple algebraic curve (like a perfect circle), the points grow much faster, which is expected.

5. Is the Rule the Best Possible?

The authors didn't just prove the rule works; they proved it is optimal.

The Analogy: They showed that you cannot make the "bucket" any smaller than they calculated. If you tried to force the bucket to be smaller, you would find a specific type of wild road that breaks the rule.
The Proof: They constructed specific, tricky mathematical roads that grow exactly as fast as their limit allows, proving that their bound is the tightest possible.

6. A Special Case: The "Tight" Universe

Finally, they looked at a specific, more restricted version of this universe (using a specific type of analytic structure).

The Result: In this stricter version, the "bucket" doesn't even need to grow at all. The number of points stays constant, no matter how high you look.
The Metaphor: In this specific, well-behaved universe, the wild roads are so tame that they only have a fixed, small number of "simple" points, regardless of how hard you look.

Summary

In short, this paper takes a famous rule about counting points on complex curves and successfully translates it into a strange, layered mathematical universe. They had to invent a new way of "counting" (Counting Dimension) because the usual way resulted in infinity. They proved that even in this complex universe, wild curves still have very few "simple" points, and they showed exactly how few those points can be.

Technical Summary: A Pila–Wilkie Theorem for Hensel Minimal Curves

Problem Statement
The paper addresses the problem of counting rational points of bounded height on transcendental curves within the context of non-archimedean geometry, specifically within Hensel minimal (or h-minimal) structures. The classical Pila–Wilkie theorem, established for o-minimal structures over $\mathbb{R}$ , provides uniform upper bounds on the number of rational points of bounded height on the transcendental part of definable sets. While analogues of this theorem have been proven for subanalytic sets in $\mathbb{Q}_p$ and $\mathbb{F}_p((t))$ , a general framework for h-minimal structures—particularly in equicharacteristic zero with infinite residue fields—remained undeveloped.

A primary technical obstacle is that in fields with infinite residue fields (e.g., $k((t))$ where $k$ is infinite), the set of "rational points of bounded height" (defined as points with coefficients in polynomials of degree $<s$ ) is typically infinite. Consequently, the standard counting function $N(X; B)$ is ill-defined. The authors aim to develop a Pila–Wilkie type theorem that yields meaningful bounds in this setting by introducing a new measure of size: the counting dimension.

Methodology
The authors employ a combination of model-theoretic tools specific to h-minimality and analytic techniques adapted from the determinant method.

Counting Dimension: To handle infinite sets of points, the authors define the counting dimension of a set $X_s$ (points of height $s$ ). A set $X$ has counting dimension bounded by $(N(s), d, e(s))$ if there exists a definable map to a power of the valuation ring such that the fibers of the composition with the reduction map modulo $t^{e(s)}$ have size at most $N(s)$ , and the image lies in a $d$ -dimensional space over the residue field. This effectively measures the growth of the set relative to the residue field.
$T_r$ -Parametrizations: The core technical engine is the construction of $T_r$ -parametrizations for definable curves. Analogous to $C^r$ -parametrizations in the o-minimal setting, these are definable maps satisfying a specific Taylor approximation property ( $T_r$ -approximation). The authors prove that for curves in h-minimal structures (assuming $acl = dcl$ and finite index of $b$ -th powers in the residue field), one can decompose the curve into a finite union of images of maps satisfying $T_r$ -approximation. This relies on cell decomposition and the Jacobian property inherent to h-minimality.
Determinant Method: Using the $T_r$ -parametrizations, the authors adapt the Bombieri–Pila determinant method. They show that rational points of bounded height on a small ball can be captured by a single algebraic hypersurface of controlled degree.
Transcendence Argument: By leveraging the fact that the curve is transcendental (having finite intersection with any algebraic curve), the authors bound the number of such points using uniform finiteness results in definable families.

Key Contributions and Results

Main Theorem (Theorem 2.2.1): For an equicharacteristic zero h-minimal field $K$ (satisfying $acl=dcl$ and finite index conditions on the residue field), and for any transcendental definable curve $C \subseteq K^n$ , the counting dimension of the set of points of height $s$ satisfies:
$\#-\dim(C_s) \leq (N_\varepsilon, 1, \lceil \varepsilon \cdot s \rceil)$
for any $\varepsilon > 0$ , where $N_\varepsilon$ is a constant. This mirrors the $B^\varepsilon$ bound of the classical Pila–Wilkie theorem, with the "height" parameter $s$ playing the role of the logarithm of the height.
Optimality (Theorem 2.2.2): The authors prove that the linear growth term $\lceil \varepsilon \cdot s \rceil$ in the third component of the bound is optimal. They construct explicit transcendental curves definable in a specific h-minimal structure where the counting dimension cannot be bounded by $(N(s), 1, e(s))$ for any sublinear function $e(s)$ , regardless of the choice of $N(s)$ .
Algebraic Curves (Theorem 2.2.3): For irreducible algebraic curves of degree $d$ , the authors establish a bound analogous to the classical Bombieri–Pila theorem:
$\#-\dim(C_s) \leq (c_d s, 1, \lceil s/d \rceil)$
They demonstrate that the term $\lceil s/d \rceil$ cannot be improved.
Uniformly Bounded Case (Section 5): The authors identify a specific analytic structure on $\mathbb{Q}_p((t))$ (involving strictly convergent power series with coefficients in $\mathbb{Z}_p$ ) where the counting dimension of every transcendental definable curve is bounded by $(N_C, 1, 1)$ . This indicates that in more restricted analytic settings, the growth of rational points can be significantly slower.

Significance
The paper establishes the first Pila–Wilkie type theorem for transcendental curves in the general framework of Hensel minimality over equicharacteristic zero fields with infinite residue fields. By introducing the counting dimension, the authors resolve the issue of infinite point sets in non-archimedean settings, providing a robust tool for Diophantine applications in tame non-archimedean geometry. The results generalize previous work on $\mathbb{Q}_p$ and $\mathbb{F}_p((t))$ and demonstrate that the "tame" behavior of rational points extends to a broad class of non-archimedean structures, provided the geometry is controlled by h-minimality. The paper also clarifies the limitations of these bounds, showing that the linear dependence on the height parameter is intrinsic to the general h-minimal setting.