Zariski geometries : geometry from the logician's point of view

Title......Page 4
Copyright......Page 5
Dedication......Page 6
Contents......Page 8
Acknowledgments......Page 12
1.1 Introduction......Page 14
1.2 About model theory......Page 20
2.1 Basic notions......Page 25
2.2 Specialisations......Page 27
2.2.1 Universal specialisations......Page 30
2.2.2 Infinitesimal neighbourhoods......Page 32
2.2.3 Continuous and differentiable function......Page 35
3.1.1 Good dimension......Page 38
3.1.2 Zariski structures......Page 39
3.2.1 Elimination of quantifiers......Page 40
3.3 One-dimensional case......Page 43
3.4.1 Algebraic varieties and orbifolds over algebraically closed fields......Page 48
3.4.2 Compact complex manifolds......Page 49
3.4.3 Proper varieties of rigid analytic geometry......Page 51
3.4.4 Zariski structures living in differentially closed fields......Page 52
3.5.1 Pre-smoothness......Page 53
3.5.2 Coverings in structures with dimension......Page 56
3.5.3 Elementary extensions of Zariski structures......Page 57
3.6.1 Coverings in pre-smooth structures......Page 63
3.6.2 Multiplicities......Page 66
3.6.3 Elements of intersection theory......Page 70
3.6.4 Local isomorphisms......Page 72
3.7 Getting new Zariski sets......Page 75
3.8 Curves and their branches......Page 82
4.1 Getting a group......Page 91
4.1.1 Composing branches of curves......Page 92
4.1.2 Pre-group of jets......Page 95
4.2 Getting a field......Page 101
4.3.1 Projective spaces as Zariski structures......Page 106
4.3.2 Completeness......Page 107
4.3.3 Intersection theory in projective spaces......Page 108
4.3.4 Generalised Bezout and Chow theorems......Page 110
4.4.1 Main theorem......Page 113
4.4.2 Meromorphic functions on a Zariski set......Page 114
4.4.3 Simple Zariski groups are algebraic......Page 116
5.1 Non-algebraic Zariski geometries......Page 118
5.2.2 Semi-definable functions on PN......Page 122
5.2.4 Representation of A......Page 124
5.2.5 Metric limit......Page 128
5.3 From quantum algebras to Zariski structures......Page 133
5.3.1 Algebras at roots of unity......Page 135
5.3.2 Examples......Page 138
5.3.3 Definable sets and Zariski properties......Page 147
6.1 Definition and basic properties......Page 150
6.1.1 Closed and projective sets......Page 151
6.1.2 Analytic subsets......Page 152
6.2 Compact analytic Zariski structures......Page 153
6.3 Model theory of analytic Zariski structures......Page 157
6.4 Specialisations in analytic Zariski structures......Page 166
6.5.1 Covers of algebraic varieties......Page 168
6.5.2 Hard examples......Page 172
A.1 Languages and structures......Page 176
A.2 Compactness theorem......Page 179
A.3 Existentially closed structures......Page 183
A.4 Complete and categorical theories......Page 185
A.4.1 Types in complete theories......Page 188
A.4.2 Spaces of types and saturated models......Page 190
A.4.3 Categoricity in uncountable powers......Page 195
B.1 Algebraic closure in abstract structures......Page 198
B.1.1 Pre-geometry and geometry of a minimal structure......Page 199
B.1.2 Dimension notion in strongly minimal structures......Page 202
B.1.3 Macro- and micro-geometries on a strongly minimal structure......Page 207
B.2.1 Trichotomy conjecture......Page 213
B.2.2 Hrushovski’s construction of new stable structures......Page 215
B.2.3 Pseudo-exponentiation......Page 218
References......Page 220
Index......Page 223