An ample geometry of finite rank

Zil'bers berühmte Trichotomie-Vermutung besagt, dass jede streng minimale Theorie entweder trivial, vektorraumartig oder körperartig ist. Hrushovski widerlegte diese Vermutung und aufbauend darauf definierte Pillay mit Korrekturen durch Evans eine ganze Hierarchie neuer Geometrien. Unlängst hab...

Author: Müller, Isabel
Further contributors: Tent, Katrin (Thesis advisor)
Division/Institute:FB 10: Mathematik und Informatik
Document types:Doctoral thesis
Media types:Text
Publication date:2017
Date of publication on miami:20.03.2018
Modification date:20.03.2018
Edition statement:[Electronic ed.]
Subjects:Modelltheorie; Zil'bers Trichotomie Vermutung; üppige Hierarchie; Hrushovski-Konstruktionen; streng minimale Theorien
DDC Subject:510: Mathematik
License:InC 1.0
Language:English
Format:PDF document
URN:urn:nbn:de:hbz:6-19129622790
Permalink:http://nbn-resolving.de/urn:nbn:de:hbz:6-19129622790
Digital documents:diss_mueller_isabel.pdf
LEADER 05164nam a2200313uu 4500
001 0ba80971-c989-4c59-9f6f-a46821992c2d
003 miami
005 20180320
007 c||||||||||||a|
008 180320e20180320||||||||||#s||||||||eng||||||
041 |a eng 
082 0 |a 510 Mathematik  |2 23 
100 1 |a Müller, Isabel  |0 http://d-nb.info/gnd/1154797309  |4 aut 
110 2 |a Universitäts- und Landesbibliothek Münster  |0 http://d-nb.info/gnd/5091030-9  |4 own 
245 1 0 |a An ample geometry of finite rank 
250 |a [Electronic ed.] 
264 1 |c 2017 
264 2 |b Universitäts- und Landesbibliothek Münster  |c 2018-03-20 
505 0 |a 1 Introduction 11 -- 2 Preliminaries 23 -- 2.1 Some Model Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 -- 2.2 Around Zil’ber’s Conjecture . . . . . . . . . . . . . . . . . . . . . . . . . . 33 -- 2.3 Incidence Geometries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 -- 3 The Construction 53 -- 3.1 Motivation and Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 -- 3.2 The Predimension Function . . . . . . . . . . . . . . . . . . . . . . . . . . 54 -- 3.3 The Amalgamation Class . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 -- 3.4 Around Submodularity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 -- 3.5 Dimension and Minimal Extensions . . . . . . . . . . . . . . . . . . . . . . 63 -- 3.6 Amalgamation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 -- 4 The ab-initio structure 75 -- 4.1 Axiomatization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 -- 4.2 Forking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77 -- 4.3 Ranks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 -- 4.4 Ampleness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 -- 5 The Finite-Rank Geometry 89 -- 5.1 The Collapse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89 -- 5.2 Geometrical Properties of Mμ . . . . . . . . . . . . . . . . . . . . . . . . . 93 -- 5.3 Saturation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 -- 6 Rank and Ampleness 99 -- 6.1 Coordinatisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 -- 6.2 Description of Forking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 -- 6.3 The Rank . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109 -- 6.4 Ampleness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 -- 6.5 A new Counterexample . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 -- 7 Groups in Pregeometries 119 -- 7.1 The Group Configuration Theorem . . . . . . . . . . . . . . . . . . . . . . 121 -- 7.2 Trivial Forking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 -- 7.3 Flat Geometries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 -- 7.4 Groups in Mμ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 -- 8 Bounded Automorphisms 129 -- 8.1 Lascar’s Result . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129 -- 8.2 In Generalized N-Gons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 -- 8.3 In the 2-Ample Geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . 135 -- 8.4 New Simple Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 -- 9 Epilogue 139. 
506 0 |a free access 
520 3 |a Zil'bers berühmte Trichotomie-Vermutung besagt, dass jede streng minimale Theorie entweder trivial, vektorraumartig oder körperartig ist. Hrushovski widerlegte diese Vermutung und aufbauend darauf definierte Pillay mit Korrekturen durch Evans eine ganze Hierarchie neuer Geometrien. Unlängst haben Baudisch, Pizarro und Ziegler, und unabhängig Tent, Beispiele konstruiert, die beweisen, dass diese Hierarchy strikt ist. Während diese Beispiele unendlichen Morleyrang haben, blieb die Frage ob man streng minimale Theorien von endlichem Morleyrang in der Hierarchie finden kann, die weder vektorraumartig sind, noch einen unendlichen Körper interpretieren, für mehr als fünfzehn Jahre offen. In dieser Dissertation unter Betreuung von Katrin Tent stellen wir eine solche streng minimale Theorie vor. Wir zeigen weiter, dass keine unendlichen Gruppen in deren Theorie definierbar sind und dass deren Automorphismengruppe einfach ist. 
521 |a specialized 
540 |a InC 1.0  |u https://rightsstatements.org/vocab/InC/1.0/ 
653 0 |a Modelltheorie  |a Zil'bers Trichotomie Vermutung  |a üppige Hierarchie  |a Hrushovski-Konstruktionen  |a streng minimale Theorien 
655 7 |2 DRIVER Types  |a Dissertation/Habilitation 
655 7 |2 DCMI Types  |a Text 
700 1 |a Tent, Katrin  |u FB 10: Mathematik und Informatik  |0 http://d-nb.info/gnd/1022191195  |4 ths 
856 4 0 |3 landing page  |q text/html  |u http://nbn-resolving.de/urn:nbn:de:hbz:6-19129622790  |u urn:nbn:de:hbz:6-19129622790 
856 4 0 |3 file  |q application/pdf  |u https://repositorium.uni-muenster.de/document/miami/0ba80971-c989-4c59-9f6f-a46821992c2d/diss_mueller_isabel.pdf