Use this URL to cite or link to this record in EThOS:
Title: Presmooth geometries
Author: Elsner, Bernhard August Maurice
ISNI:       0000 0004 5354 4247
Awarding Body: University of Oxford
Current Institution: University of Oxford
Date of Award: 2014
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Restricted access.
Access from Institution:
This thesis explores the geometric principles underlying many of the known Trichotomy Theorems. The main aims are to unify the field construction in non-linear o-minimal structures and generalizations of Zariski Geometries as well as to pave the road for completely new results in this direction. In the first part of this thesis we introduce a new axiomatic framework in which all the relevant structures can be studied uniformly and show that these axioms are preserved under elementary extensions. A particular focus is placed on the study of a smoothness condition which generalizes the presmoothness condition for Zariski Geometries. We also modify Zilber's notion of universal specializations to obtain a suitable notion of infinitesimals. In addition, families of curves and the combinatorial geometry of one-dimensional structures are studied to prove a weak trichotomy theorem based on very weak one-basedness. It is then shown that under suitable additional conditions groups and group actions can be constructed in canonical ways. This construction is based on a notion of ``geometric calculus'' and can be seen in close analogy with ordinary differentiation. If all conditions are met, a definable distributive action of one one-dimensional type-definable group on another are obtained. The main result of this thesis is that both o-minimal structures and generalizations of Zariski Geometries fit into this geometric framework and that the latter always satisfy the conditions required in the group constructions. We also exhibit known methods that allow us to extract fields from this. In addition to unifying the treatment of o-minimal structures and Zariski Geometries, this also gives a direct proof of the Trichotomy Theorem for "type-definable" Zariski Geometries as used, for example, in Hrushovski's proof of the relative Mordell-Lang conjecture.
Supervisor: Zilber, Boris Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Mathematical logic and foundations ; Mathematics ; Model Theory ; Zariski Geometries ; Presmooth Geometries ; Trichotomy Theorem ; Zilber's Trichotomy