The Mordell Conjecture

The Mordell conjecture (Faltings's theorem) is one of the most important achievements in Diophantine geometry, stating that an algebraic curve of genus at least two has only finitely many rational points. This book provides a self-contained and detailed proof of the Mordell conjecture following the papers of Bombieri and Vojta. Also acting as a concise introduction to Diophantine geometry, the text starts from basics of algebraic number theory, touches on several important theorems and techniques (including the theory of heights, the Mordell–Weil theorem, Siegel's lemma and Roth's lemma) from Diophantine geometry, and culminates in the proof of the Mordell conjecture. Based on the authors' own teaching experience, it will be of great value to advanced undergraduate and graduate students in algebraic geometry and number theory, as well as researchers interested in Diophantine geometry as a whole.

Arithmetic gauge theory: A brief introduction

Much of arithmetic geometry is concerned with the study of principal bundles. They occur prominently in the arithmetic of elliptic curves and, more recently, in the study of the Diophantine geometry of curves of higher genus. In particular, the geometry of moduli spaces of principal bundles holds the key to an effective version of Faltings’ theorem on finiteness of rational points on curves of genus at least 2. The study of arithmetic principal bundles includes the study of Galois representations, the structures linking motives to automorphic forms according to the Langlands program. In this paper, we give a brief introduction to the arithmetic geometry of principal bundles with emphasis on some elementary analogies between arithmetic moduli spaces and the constructions of quantum field theory.

COMPARING AND ZILBER’S EXPONENTIAL FIELDS: ZERO SETS OF EXPONENTIAL POLYNOMIALS

We continue the research programme of comparing the complex exponential with Zilberś exponential. For the latter, we prove, using diophantine geometry, various properties about zero sets of exponential functions, proved for $\mathbb{C}$ using analytic function theory, for example, the Identity Theorem.