On Vojta's proof of the Mordell conjecture

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.