Arakelov theory is a new geometric approach to diophantine equations. It combines algebraic geometry, in the sense of Grothendieck, with refined analytic tools such as currents on complex manifolds and the spectrum of Laplace operators. It has been used by Faltings and Vojta in their proofs of outstanding conjectures in diophantine geometry. This account presents the work of Gillet and Soul , extending Arakelov geometry to higher dimensions. It includes...