Use this URL to cite or link to this record in EThOS: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.780763
Title: Model theory of Shimura varieties
Author: Restaino, Sebastian Eterovic
ISNI:       0000 0004 7966 4036
Awarding Body: University of Oxford
Current Institution: University of Oxford
Date of Award: 2019
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Restricted access.
Access from Institution:
Abstract:
The purpose of this thesis is to provide model-theoretic structures to study Shimura varieties. Two main problems are studied. Transcendence Properties of j. This part is aimed at proving a general transcendence property for the j function in the spirit of Schanuel's conjecture. Such a result was proven for the exponential function by M. Bays, J. Kirby and A. Wilkie, and it relies heavily on the Ax-Schanuel theorem. An analogue of Ax-Schanuel for the j function was proven by J. Pila and J. Tsimerman, and this allowed to adapt the strategy used for the exponential to j. One concrete consequence of the main transcendence result is: Theorem. Let τ ϵ R be j-generic. Suppose z1,...,zn ϵ H+ and g ϵ GL2(Q(τ ))+ are such that z1,...,zn; gz1,...,gzn are in different GL2(Q)+-orbits (pairwise). Then: t.d.(j(z); j'(z); j"(z); j(gz); j'(gz); j"(gz)/τ) ≥ 3n: The term j-generic is analogous to that of being exponentially transcendental. Using o-minimality, we prove that all but countably many values for τ can be used. We also analyse a modular version of Schanuel's conjecture and prove that there are at most countably many essential counterexamples to this conjecture. Categoricity of Shimura Varieties. Let p : X+ → S(C) be a Shimura variety. We associate with it a countable two-sorted first-order language and analyse the complete first-order theory it determines. The question of interest in this part of the thesis of whether or not this theory is categorical. One immediate issue is that the theory cannot determine the size of the fibres of the map between the sorts, so we restrict our analysis to the models with the smallest possible fibres. Categoricity for Shimura curves was established by C. Daw and A. Harris. From their result, it is immediate that some form of arithmetic open image condition is needed for the categoricity of general Shimura varieties. Our goal is to postulate the correct open image condition and prove that it is equivalent to categoricity. This open image condition is not known in general, however, using known cases of the Mumford-Tate conjecture, we obtain unconditional categoricity of two well-known Shimura varieties: A2 and A3, the moduli spaces of principally polarised abelian varieties of dimension 2 and 3, respectively.
Supervisor: Pila, Jonathan Sponsor: Conicyt
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.780763  DOI: Not available
Keywords: Model theory ; Arithmetic Geometry
Share: