2024/05/03 by Benjamin Castle, Castle, Benjamin, Assaf Hasson +3
Mathematics · Physics and Astronomy · #0C345 #14A99 #Advanced Differential Geometry Research #Algebraic Geometry (math.AG) #Algebraic and Geometric Analysis #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2405.02209
openalex publication_date 2024/05/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We give a new axiomatic treatment of the Zilber trichotomy, and use it to complete the proof of the trichotomy for relics of algebraically closed fields, i.e., reducts of the ACF-induced structure on ACF-definable sets. More precisely, we introduce a class of geometric structures equipped with a Hausdorff topology, called Hausdorff geometric structures. Natural examples include the complex field; algebraically closed valued fields; o-minimal expansions of real closed fields; and characteristic zero Henselian fields (in particular p-adically closed fields). We then study the Zilber trichotomy for relics of Hausdorff geometric structures, showing that under additional assumptions, every non-locally modular strongly minimal relic on a real sort interprets a one-dimensional group. Combined with recent results, this allows us to prove the trichotomy for strongly minimal relics on the real sorts of algebraically closed valued fields. Finally, we make progress on the imaginary sorts, reducing the trichotomy for all ACVF relics (in all sorts) to a conjectural technical condition that we prove in characteristic (0,0).