Zilber's trichotomy

Zilber's trichotomy
Name	Zilber's trichotomy
Field	Model theory
Founder	Boris Zilber
Introduced	1980s
Notable for	Classifying strongly minimal sets into three types

Zilber's trichotomy is a conjectural classification in Model theory proposing that every strongly minimal set is, up to interpretable isomorphism, one of three canonical types: trivial (disintegrated), locally modular (analogous to vector spaces over division rings), or field-like (interpreting an algebraically closed field). Originating in the work of Boris Zilber, the trichotomy connects themes from Algebraic geometry, Number theory, and Stability theory, and influenced research by figures such as Ehud Hrushovski, Serge Lang, Alexander Grothendieck, and André Weil.

Introduction

Zilber formulated the trichotomy against the backdrop of developments in Stability theory and Geometric stability theory during the late 20th century. The proposal aimed to mirror classical dichotomies like those in Algebraic geometry—for instance the contrast between linear structures studied by Emmy Noether and field structures appearing in the work of Évariste Galois and Niels Henrik Abel. It stimulated interactions among researchers including Saharon Shelah, H. Jerome Keisler, Paul Cohen, Michael Morley, and Robin Hartshorne.

Historical development

The conjecture emerged from Zilber's attempt to synthesize results by Michael Morley on categoricity and by Saharon Shelah on stability spectra. Early supporting evidence came from the classification of uncountably categorical theories, drawing on work by G. Higman and Alonzo Church in logic foundations. Counterexamples and refinements were driven by the construction of new models by Ehud Hrushovski and later by contributors such as John Baldwin, Alex Wilkie, Tristram de Piro, and Anand Pillay. Influential milestones include Morley’s categoricity theorem, Shelah’s classification program, Hrushovski’s fusion constructions, and Zilber’s own analysis of complex exponentiation influenced by Alexander Grothendieck’s vision.

Statement of the trichotomy conjecture

Informally, the trichotomy asserts that any strongly minimal structure interprets one of three prototypes: a pure set with no nontrivial definable structure (trivial), a vector space over a division ring (locally modular), or an algebraically closed field (field-like). Formally this is stated within the framework developed by Boris Zilber and further formalized in texts by Poizat and Peterzil: for a strongly minimal set definable in a complete theory, one of three mutually exclusive configurations holds, characterized by the geometry of definable closure and the pregeometry induced by algebraic dependence. The statement links to classical theorems such as Morley’s theorem and to model-theoretic invariants investigated by Saharon Shelah.

Model-theoretic background and definitions

Key notions include strongly minimal sets, pregeometries (matroid-like closure operators), and local modularity. Strongly minimal sets were central in Morley’s work and are defined in the language developed by Alonzo Church and formalized in later expositions by H. Jerome Keisler. Pregeometries generalize concepts from Emmy Noether’s linear algebra and match classical matroid theory studied by Hassler Whitney. Local modularity was introduced by Boris Zilber and later systematized by Z. Chatzidakis and Anand Pillay; it is a condition on the dimension function akin to vector space behavior studied by Ernst Steinitz. Interpretability and definability are treated with methods from Model theory textbooks by Wilfrid Hodges and David Marker.

Key results and proofs

Initial positive results verified the trichotomy in special contexts: Zilber proved classification results for certain uncountably categorical theories, and contributors like Alan Cherlin and Helmut Wielandt proved related structure theorems for groups definable in stable theories. The major breakthrough came when Ehud Hrushovski constructed counterexamples to the general conjecture using his amalgamation and predimension techniques, producing strongly minimal sets that are neither locally modular nor field-like. Subsequent work by Franziska Wagner, David Evans, Z. Chatzidakis, and Anand Pillay refined the landscape, showing that under additional hypotheses (e.g., Zariski geometries, exponential-algebraic closure conditions inspired by Alexander Grothendieck), versions of the trichotomy can be recovered. Proofs combine combinatorial geometry, amalgamation techniques, and deep uses of categoricity results by Michael Morley and stability spectra methods by Saharon Shelah.

Examples and applications

Classical examples fitting the trichotomy include the projective line over an algebraically closed field (field-like), infinite-dimensional vector spaces over division rings (locally modular), and pure sets with trivial geometry (trivial). Hrushovski constructions yield exotic strongly minimal structures countering the original conjecture; these constructions influenced work on differential algebraic geometry by E. R. Kolchin and on model theory of fields by Jochen Koenigsmann and Lou van den Dries. Applications extend to diophantine geometry problems touched by Serge Lang and to functional transcendence questions related to Alexander Grothendieck’s motives and Pierre Deligne’s formulations, as well as to the model theory of the complex exponential field investigated by Boris Zilber himself and by Ethan Hrushovski-style collaborators.

Open problems and current research

Active questions include determining exact conditions that force Zilber-style trichotomy conclusions (e.g., for Zariski geometries or o-minimal expansions), understanding the model theory of complex exponentiation and its links to conjectures of Alexander Grothendieck and André Weil, and classifying possible Hrushovski-type counterexamples. Current research involves contributors such as Anand Pillay, Ehud Hrushovski, Z. Chatzidakis, David Marker, Thomas Scanlon, and Raf Cluckers, exploring connections to Diophantine geometry, Transcendence theory of special functions, and to emerging interactions with Homotopy theory via categorical methods influenced by Grothendieck and Jacob Lurie. The landscape remains a vibrant intersection of logic and classical mathematical themes.

Category:Model theory