Definable Chow Theorem in Model-Theoretic Geometry

• Definable Chow Theorem is a result establishing that closed analytic sets definable in an o-minimal structure are inherently algebraic, blending methods from model theory and geometry.
• It applies to both complex and non-archimedean settings, utilizing techniques such as cell decomposition, projection methods, and Liouville-type theorems.
• The theorem has profound implications by enforcing rigidity in analytic constructions and guiding the extension of classical algebraic results to definable settings.

The Definable Chow Theorem articulates a precise correspondence between analytic and algebraic geometry under model-theoretic tameness assumptions. Specifically, it asserts that any closed analytic subset of a complex algebraic variety that is definable in an o-minimal structure is necessarily algebraic. This result, due to Peterzil and Starchenko, has both complex-analytic and non-archimedean versions, and incorporates techniques from model theory, o-minimal and tame geometry, and classical analytic and algebraic geometry. It has significant implications for the structure of definable sets, the rigidity of analytic constructions, and the limitations of extending algebro-geometric theorems into the definable analytic context.

1. Background and Classical Foundations

Chow's classical theorem states that any closed complex-analytic subset of a complex projective algebraic variety is algebraic; equivalently, analytic geometry in this context does not generate closed subsets outside the algebraic category. Peterzil and Starchenko extended this assertion to a "definable" setting: if $X$ is a closed analytic subset of a complex algebraic variety $V$, and $X$ is definable in an o-minimal expansion of the real field, then $X$ is forced to be algebraic (Esnault et al., 26 Jan 2026).

O-minimal structures on $(\mathbb{R},<,+,\cdot)$ provide a framework for model-theoretic tameness, guaranteeing strong topological regularities: definable sets have finitely many connected components, and every definable subset of $\mathbb{R}$ is a finite union of points and intervals. Subsets or functions arising in real/complex geometry (e.g., semi-algebraic, globally subanalytic, $\mathbb{R}_{\text{an,exp}}$-definable) are naturally handled in this framework.

2. Statement and Forms of the Definable Chow Theorem

The Peterzil–Starchenko Definable Chow Theorem admits both set-theoretic and morphism-theoretic forms:

• Let $X \subset \mathbb{P}^N(\mathbb{C})$ be a closed complex-analytic set definable in an o-minimal structure. Then $X$ is a finite union of complex projective algebraic subvarieties.
• Let $S$ be a connected definable complex analytic space and $A$ a complex abelian variety. Any definable holomorphic map $f\colon S \to A$ is algebraic; that is, it extends to a morphism of the underlying algebraic varieties (Esnault et al., 26 Jan 2026).

A parallel non-archimedean theorem asserts that for a reduced algebraic variety $V$ over an algebraically closed, complete non-archimedean valued field $K$ equipped with a tame (rigid subanalytic) structure, any closed analytic subvariety $X \subset V^{\mathrm{an}}$ whose $K$-points $X(K)$ form a definable set is algebraic (Oswal, 2020).

3. Proof Structure and Technical Ingredients

The proof exploits the intersection of model theory, analytic and algebraic geometry, and dimension theory. Essential steps and techniques include:

• Definable Liouville Theorem: Any global definable analytic function on an algebraic variety, when interpreted in the rigid analytic or holomorphic sense, must be algebraic. This is key: in affine space, any entire convergent power series with a definable zero set must be a polynomial, as infinite tails would entail pathological zero loci contradicting definability (Oswal, 2020).
• Dimension Theory and Theorem of the Boundary: Definable sets have intrinsic (topological) dimension, and the frontier (boundary) of a definable set has strictly smaller dimension (proved via cell decomposition and Baire-category arguments). This enables inductive arguments and the isolation of top-dimensional components.
• Projection and Étale Locus Analysis: By projecting from points outside the closure, one reduces dimensionality, ultimately expressing high-dimensional structures in terms of lower-dimensional definable data. On open definable (Zariski) strata where the projection is étale, algebraicity lifts from base to total space by leveraging algebraic relations satisfied by coordinates and extending across codimension $\geq 1$ loci.
• Cell-Decomposition and Volume Growth Estimates: In the complex (o-minimal) case, volume estimates for definable sets (via Hausdorff measure) guarantee polynomial growth, precluding "large" non-algebraic analytic varieties. The Bishop–Stoll theorem then converts volume bounds into algebraicity (Brosnan, 2021). Any $d$-dimensional definable subset $S \subset \mathbb{R}^n$ satisfies $\mathcal{H}^d(S \cap B(r)) \leq C r^d$, matching algebraic varieties' volume growth.

4. Illustrative Examples and Corollaries

Direct non-trivial examples are not required due to the theorem's universality, but several paradigmatic instances and consequences follow:

• Any closed rigid-subanalytic curve in a $p$-adic algebraic surface, under the non-archimedean version, is algebraic (Oswal, 2020).
• For complex geometry, any closed definable holomorphic curve in projective space must coincide with an algebraic curve (Esnault et al., 26 Jan 2026).
• The Rigid Chow Theorem (Bosch–Güntzer–Remmert): for $V$ proper over $K$, every closed analytic subspace of $V^{\mathrm{an}}$ is definable and thus algebraic (a corollary of the non-archimedean result) (Oswal, 2020).
• The definable Liouville theorem provides a $p$-adic analogue of classical Liouville and Picard–Borel results, restricting the holomorphic (or rigid analytic) function spaces under tameness.

The theorem's map version implies that definable holomorphic maps from "tame" domains to abelian varieties are necessarily algebraic; for example, definable maps from $\mathbb{G}_m$ to an abelian variety must be constant by classical rigidity.

5. Comparisons Between Complex and Non-Archimedean Settings

Similarities

• Proof Strategy: Both rely on induction on dimension, partitioning by boundary dimension reductions, and projection from points at infinity to lower-dimensional subvarieties.
• Tameness via Model Theory: O-minimality (over $\mathbb{R}$) or C-minimal/tame structures (over non-archimedean fields) enforce tight control (cell decomposition, quantifier elimination) over definable sets, allowing algebraic geometry's dimension theory and finiteness properties to descend into the analytic-definable category.
• Liouville-type Theorems: Definable holomorphic or rigid analytic functions must be algebraic, preventing the analytic category from producing unexpected functions or subvarieties.

Differences

• Nature of Analytic Spaces: Complex case uses analytic spaces with holomorphic structure sheaves; non-archimedean case employs rigid (or Berkovich) analytic spaces, Tate algebras, and ultrametric geometry.
• Definability Language: The real case uses $\mathbb{R}_{\text{an}}$ or $\mathbb{R}_{\text{an,exp}}$ structures; the non-archimedean case employs tame structures constructed from separated power series and disk Boolean combinations, with quantifier elimination results by Lipshitz–Robinson (Oswal, 2020).
• Technical Inputs: The non-archimedean setting requires rigid-analytic analogues of Riemann and Levi extension theorems, as well as Noether normalization for affinoid algebras.

6. Impact, Limitations, and Further Implications

A direct consequence of the definable Chow theorem is the rigidity it imposes on the intersection of analytic and algebraic geometry when constrained by model-theoretic tameness:

• "Definable" plus "complex-analytic" with projectivity yields "algebraic" (Esnault et al., 26 Jan 2026).
• For attempts to generalize Grauert-type direct image theorems (analogous to coherent pushforward in complex geometry) to the definable o-minimal category, the definable Chow theorem establishes obstructions. Specifically, if one could push forward arbitrary (not necessarily finite) definable analytic families, the resulting definable holomorphic sections would be forced to be algebraic, leading to contradictions with classical transcendence properties and Picard functor non-representability in the o-minimal context.

A plausible implication is that definable analytic geometry is essentially governed by algebraic geometry, with "tame" analytic categories producing no new closed subsets or morphisms beyond the algebraic ones.

7. Summary Table of Key Results

Setting	Model-Theoretic Structure	Analytic Type	Definable Chow Consequence
Complex (projective)	O-minimal (e.g., $\mathbb{R}_{\text{an}}$)	Holomorphic	Closed analytic $\mathcal{S}$-definable subset = algebraic subvariety
Non-archimedean (rigid)	Tame/subanalytic structure	Rigid analytic	Closed analytic definable $K$-set = algebraic subvariety
Definable holomorphic map	O-minimal/tame	To abelian variety	Definable holomorphic map = algebraic morphism

The conclusions have been leveraged in foundational negative results, such as the non-existence of a full definable Grauert Direct Image Theorem, emphasizing the necessity of algebraic frameworks in the definable context (Esnault et al., 26 Jan 2026, Oswal, 2020, Brosnan, 2021).