On Vojta's proof of the Mordell conjecture

Abstract

This paper re-organizes Vojta's proof of the Mordell conjecture (i.e. Faltings' theorem) in terms of Arakelov geometry. A new ingredient is to replace an application of Gillet--Soule's arithmetic Riemannn--Roch theorem by that of Yuan's arithmetic Siu inequality.