A little bit of History Topological Structures with good dimension Quantifier Elimination Elementary extensions Zariski Geometries, Lecture 1 Masanori Itai Dept of Math Sci, Tokai University, Japan August 30, 2011 at Kobe university Masanori Itai Zariski Geometries, Lecture 1
48
Embed
Zariski Geometries, Lecture 1 - Kobe UniversityHZ96 Ehud Hrushovski, Boris Zilber, Zariski geometries, J of the AMS, 1996 Z10 B. Zilber, Zariski Geometries, London Math. Soc. Lect
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
.
.
Zariski Geometries, Lecture 1
Masanori Itai
Dept of Math Sci, Tokai University, Japan
August 30, 2011 at Kobe university
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
References
HZ96 Ehud Hrushovski, Boris Zilber, Zariski geometries, J of theAMS, 1996
Z10 B. Zilber, Zariski Geometries , London Math. Soc. Lect NoteSer. 360, Cambridge, 2010
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Table of Contents
.
. .
1 A little bit of History
.
. .
2 Topological Structures with good dimension
.
. .
3 Quantifier Elimination
.
. .
4 Elementary extensions
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Zilber conjectured that any non-locally modular stronglyminimal set interprets an acf!
Counter example was constructed by Hrushovski usinggeneric model construction.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
ZC is true for Zariski geometries
In algebraic geometry; algebraically closed field⇒ Zariskitopology, dimension notion
Model theory of Zariski structures; Noetherian topology,dmension notion⇒ algebraically closed field
Ample (non-linear, non-locally modular) Zariski geometryinterprets an algebraically closed field.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
ZC is true for Zariski geometries
In algebraic geometry; algebraically closed field⇒ Zariskitopology, dimension notion
Model theory of Zariski structures; Noetherian topology,dmension notion⇒ algebraically closed field
Ample (non-linear, non-locally modular) Zariski geometryinterprets an algebraically closed field.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
ZC is true for Zariski geometries
In algebraic geometry; algebraically closed field⇒ Zariskitopology, dimension notion
Model theory of Zariski structures; Noetherian topology,dmension notion⇒ algebraically closed field
Ample (non-linear, non-locally modular) Zariski geometryinterprets an algebraically closed field.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Topological structures, p. 12
Consider a collection of topological spaces {M n : n ∈ N}.each Mn is Noetherian
proj is continuous
graph of equality is closed
fibers of closed sets are closed
Cartesian products of closed sets is closed
etc
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Good dimension
In subsection 3.1.1, we have a list of postulates for the dimesionnotion;
(DP) dimesion of a point
(DU) dimension of unions
(SI) strong irreducibility
(AF) addition formula
(FC) fiber condition
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Zariski structures
.
Definition (Def 3.1.3)
.
.
.
{M n : n ∈ N} is Zariski structures if
Noetherian topology
dimension notion
semi-proper :Let S ⊆cl M n be irreducible, then there exists a proper closed
subsetF ⊂ prSsuch that
prS− F ⊆ prS
.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Zariski geometry
.
Definition (Def 3.5.2)
.
.
.
Zariski geometry= Zariski structure+ (sPS)+ (EU)
(sPS) : strongly Pre-Smooth
(EU) : Essentially Uncountable
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
.
Theorem (Thm 3.6.21)
.
.
.
A one-dimensional, uncountable, pre-smooth, irreducible ZariskistructureM is a Zariski geometry.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Basic Examples (1)
Algebraic varaity M over an acf. (Thm 3.4.1)Zariski structure is complete (ie. projection of closed is closed)if M is.(PS), pre-smooth if M is.(EU), essentially uncountable, if M .
Compact complex manifold M with the notion of analyticdimension. It satisfies (PS) and (EU). (Thm 3.4.3)
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Basic Examples (1)
Algebraic varaity M over an acf. (Thm 3.4.1)Zariski structure is complete (ie. projection of closed is closed)if M is.(PS), pre-smooth if M is.(EU), essentially uncountable, if M .
Compact complex manifold M with the notion of analyticdimension. It satisfies (PS) and (EU). (Thm 3.4.3)
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Basic Examples (2)
Proper varieties of rigid anlaytic geometry (Thm 3.4.7)
Definable sets of finite Morley rank and Morley degree 1 indifferentially closed fields. (Thm 3.4.9, Pillay)
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Basic Examples (2)
Proper varieties of rigid anlaytic geometry (Thm 3.4.7)
Definable sets of finite Morley rank and Morley degree 1 indifferentially closed fields. (Thm 3.4.9, Pillay)
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Semi-properness
M is a Zariski structure.
We want the theory of the structure M to have the elimination ofquantifiers.For this, semi-properness axiom is needed:
.
Definition (SP)
.
.
.
Let S ⊆cl M n be irreducible, then there exists a proper closed
subset F ⊂ prS such that
prS− F ⊆ prS
.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
QE for Zariski structures
.
Theorem (Thm 3.2.1)
.
.
.
A Zariski structureM admits elimination of quantifiers; that is anydefinable ssubsetQ ⊆ M n is constructible, i.e., boolean conbinationof closed sets.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Proof of QE (1)
We must show that the projection of a constructible subset isconstructible.
For this let Q = S− P where both S, P closed.
We show the theorem by induction on dim S.
LetdS = min{dim S(a, M) : a ∈ prS},F = {b ∈ prS : dim P(b, M) ≥ dS}.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Proof of QE (2)
Let F be the closure of F.
F is a proper closed subset of prS, by (FC).
Since prS is irreducible, we have
dim F < dim prS.
Let S′ = S∩ pr−1(F).
Since F ∩ pr(S) , pr(S), we have S′ ( S.
Thus, dim S′ < dim S.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Proof of QE (2)
Let F be the closure of F.
F is a proper closed subset of prS, by (FC).
Since prS is irreducible, we have
dim F < dim prS.
Let S′ = S∩ pr−1(F).
Since F ∩ pr(S) , pr(S), we have S′ ( S.
Thus, dim S′ < dim S.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Proof of QE (2)
Let F be the closure of F.
F is a proper closed subset of prS, by (FC).
Since prS is irreducible, we have
dim F < dim prS.
Let S′ = S∩ pr−1(F).
Since F ∩ pr(S) , pr(S), we have S′ ( S.
Thus, dim S′ < dim S.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Proof of QE (2)
Let F be the closure of F.
F is a proper closed subset of prS, by (FC).
Since prS is irreducible, we have
dim F < dim prS.
Let S′ = S∩ pr−1(F).
Since F ∩ pr(S) , pr(S), we have S′ ( S.
Thus, dim S′ < dim S.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Proof of QE (2)
Let F be the closure of F.
F is a proper closed subset of prS, by (FC).
Since prS is irreducible, we have
dim F < dim prS.
Let S′ = S∩ pr−1(F).
Since F ∩ pr(S) , pr(S), we have S′ ( S.
Thus, dim S′ < dim S.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension
Quantifier EliminationElementary extensions
Proof of QE (2)
Let F be the closure of F.
F is a proper closed subset of prS, by (FC).
Since prS is irreducible, we have
dim F < dim prS.
Let S′ = S∩ pr−1(F).
Since F ∩ pr(S) , pr(S), we have S′ ( S.
Thus, dim S′ < dim S.
Masanori Itai Zariski Geometries, Lecture 1
A little bit of HistoryTopological Structures with good dimension