About the Project
Primary Supervisor - Dr Jonathan Kirby
The field of complex numbers is in many ways the most elegant and important example of a mathematical structure in model theory. It has been the prototype for many developments in model theory, starting with strong minimality, as well as providing some of the most important applications where model-theoretic tools are applied to algebraic geometry.
After the field operations of addition and multiplication, raising to a fixed power is the most basic and universal operation in mathematics. However, the model theory of the complex field with fixed (irrational) powers is only just starting to be understood, following on from seminal work of Zilber which showed that when we restrict to a sufficiently generic power we get a superstable first-order theory. More recent work of Gallinaro and Kirby shows that the complex field with all complex powers is quasiminimal – the definable subsets are countable or co-countable – so in particular the real field is not definable.
This project will investigate both the algebra of these powered fields and the model theory, aiming to give a description of all the definable sets, and of their geometry. This geometry is intermediate between the algebraic geometry of algebraic varieties (which deals with polynomial equations only) and analytic geometry (which allows more general analytic functions).
Applicants should have some knowledge of mathematical logic or Galois theory or algebraic geometry. Knowledge of model theory would be an advantage, but is not essential.
Entry Requirements
The standard minimum entry requirement is 2:1 in Mathematics.
Mode of Study
Full-time
Start Date
1 October 2027
Additional Funding Information
This PhD project is in a competition for a Faculty of Science funded studentship. Funding is available to UK applicants and comprises ‘home’ tuition fees and an annual stipend for 3 years. The current UEA / institutional PhD stipend rate is £21,805 and will be subject to any agreed inflationary uplift for 2027/28.
#J-18808-Ljbffr
PhD Studentship: Model Theory of Complex Powers in Norwich employer: University of East Anglia
The University of East Anglia (UEA) is an exceptional employer, offering a supportive work culture that prioritises employee growth and development. As a Commercialisation Administrator, you will benefit from a generous benefits package, including 34 days of annual leave, and the opportunity to contribute to meaningful projects that impact society and the economy. UEA's commitment to gender equality, recognised by its Athena Swan Silver Institutional Award, further enhances its reputation as a progressive workplace.
