[Paper Review] Zariski Geometries

Boris Zilber|arXiv (Cornell University)|Feb 1, 2010

Advanced Topics in AlgebraMathematics138 citations

TL;DR

This paper characterizes Zariski topologies over algebraically closed fields using dimension-theoretic axioms, establishing a general framework that captures the geometric essence of algebraic varieties. The key contribution is a purely model-theoretic characterization of Zariski geometries, with applications to complex manifolds and strongly minimal sets.

ABSTRACT

We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets.

Motivation & Objective

• To identify intrinsic, dimension-theoretic properties that uniquely characterize the Zariski topology on algebraic varieties over algebraically closed fields.
• To develop a general axiomatic framework for Zariski geometries independent of algebraic geometry's classical constructions.
• To explore connections between Zariski geometries and complex manifolds, particularly in the context of bimeromorphic geometry.
• To investigate the role of Zariski geometries in the model-theoretic study of strongly minimal sets.
• To provide a foundation for understanding geometric stability and definability in model-theoretic structures.

Proposed method

• Uses dimension-theoretic axioms to axiomatize the Zariski topology, focusing on closed sets, irreducibility, and dimension functions.
• Applies model-theoretic techniques to analyze the logical structure of Zariski geometries.
• Employs the concept of pregeometries to formalize the combinatorial and topological properties of algebraic dependence.
• Analyzes the interplay between topological closure and algebraic closure in the context of algebraically closed fields.
• Leverages strong minimality and the Zilber trichotomy to classify possible Zariski geometries.
• Translates geometric properties into first-order axioms to enable logical analysis of geometric structures.

Experimental results

Research questions

• RQ1 Which dimension-theoretic properties uniquely characterize the Zariski topology on algebraic sets over algebraically closed fields?
• RQ2 How can Zariski geometries be axiomatized without relying on polynomial equations or algebraic varieties?
• RQ3 What conditions ensure that a Zariski geometry arises from a complex manifold or algebraic variety?
• RQ4 In what ways do strongly minimal sets relate to Zariski geometries in model-theoretic contexts?
• RQ5 How do the axioms of dimension and closure in Zariski geometries reflect the structure of algebraic geometry?

Key findings

• The paper establishes a complete set of dimension-theoretic axioms that characterize the Zariski topology on algebraic sets over algebraically closed fields.
• Zariski geometries satisfying these axioms are shown to be definable in a model-theoretic sense, linking topology and logic.
• The framework allows for the classification of certain complex manifolds as Zariski geometries under specific bimeromorphic conditions.
• Strongly minimal sets that satisfy the Zariski axioms are shown to be either trivial or isomorphic to algebraic curves over algebraically closed fields.
• The results provide a logical foundation for studying geometric stability and definable sets in model theory.