Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.401108
Title: Model theory of holomorphic functions
Author: Braun, H. T. F.
Awarding Body: University of Oxford
Current Institution: University of Oxford
Date of Award: 2004
Availability of Full Text:
Access through EThOS:
Full text unavailable from EThOS. Please try the link below.
Access through Institution:
Abstract:
This thesis is concerned with a conjecture of Zilber: that the complex field expanded with the exponential function should be `quasi-minimal'; that is, all its definable subsets should be countable or have countable complement. Our purpose is to study the geometry of this structure and other expansions by holomorphic functions of the complex field without having first to settle any number-theoretic problems, by treating all countable sets on an equal footing. We present axioms, modelled on those for a Zariski geometry, defining a non-first-order class of ``quasi-Zariski'' structures endowed with a dimension theory and a topology in which all countable sets are of dimension zero. We derive a quantifier elimination theorem, implying that members of the class are quasi-minimal. We look for analytic structures in this class. To an expansion of the complex field by entire holomorphic functions $\mathcal{R}$ we associate a sheaf $\mathcal{O}^{\scriptscriptstyle{\mathcal{R}}}$ of analytic germs which is closed under application of the implicit function theorem. We prove that $\mathcal{O}^{\scriptscriptstyle{\mathcal{R}}}$ is also closed under partial differentiation and that it admits Weierstrass preparation. The sheaf defines a subclass of the analytic sets which we call $\mathcal{R}$-analytic. We develop analytic geometry for this class proving a Nullstellensatz and other classical properties. We isolate a condition on the asymptotes of the varieties of certain functions in $\mathcal{R}$. If this condition is satisfied then the $\mathcal{R}$-analytic sets induce a quasi-Zariski structure under countable union. In the motivating case of the complex exponential we prove a low-dimensional case of the condition, towards the original conjecture.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.401108  DOI: Not available
Keywords: Mathematical logic and foundations ; Functions of a complex variable ; Several complex variables and analytic spaces
Share: