New York etc.: Springer-Verlag. x, 187 p. DM 98.00 (1988).
Let R be a Dedekind domain, and let be an arithmetic surface; that is, X is a regular, integral scheme, proper over S, whose generic fiber is a smooth curve. For any closed point and any divisors , on X with no common components, one can define a local intersection index in the usual way as the length of , where the are local equations for the . Summing these local intersection indices leads to a satisfactory global intersection theory for divisors without common components [I. R. Shafarevich, “Lectures on minimal models and birational transformations of two dimensional schemes”, Tata Inst. Fundament. Res. Lect. Math. Phys., Math. 37 (1966); translation from Proc. Internat. Congr. Math. 1962, 163- 176 (1963; Zbl 0126.069) and S. Lichtenbaum, Am. J. Math. 90, 380- 405 (1968; Zbl 0194.221)].
In the classical theory of complex projective surfaces, most of the major theorems rely (both for their statement and their proof) on the fact that the global intersection pairing depends only on the linear equivalence class of a divisor. The underlying reason for this is that the surface is complete. An arithmetic surface is not complete, since its base is the arithmetic analogue of an affine curve. One can complete S by adding an extra point for each archimedean absolute value on R. Then for each such infinite point v, one adds a fiber to by taking the Riemann surface . (Here K is the quotient field of R, and its completion.)
In 1974 Arakelov suggested how one could define an intersection index for points x on the fibers “at infinity”, and he showed that his extended intersection pairing was invariant under linear equivalence. He then proved (under some hypotheses) an arithmetic analogue of the classical adjunction formula. More recently, G. Faltings [Ann. Math., II. Ser. 119, 387-424 (1984; Zbl 0559.14005)] proved an arithmetic analogue of the Riemann-Roch theorem, and Faltings (op. cit.) and P. Hriljac [Am. J. Math. 107, 23-38 (1985; Zbl 0593.14004)] (independently) did the same for the Hodge index theorem.
In this concise introduction to Arakelov’s intersection theory, the author covers all of the above material and gives a few applications. He begins with the theory of metrics on line bundles, and goes on to the construction of the Green’s functions which are needed to define Arakelov’s intersection on the fibers “at infinity”. Next he defines and proves the principal properties of the local intersection pairing on the finite fibers, as did Lichtenbaum (op. cit.) and Shafarevich (op. cit.).
The heart of the book starts in chapter IV, with the definition of the Arakelov intersection pairing, proof of invariance under linear equivalence, the Hodge index theorem, construction of the metrized canonical sheaf, and the proof of the arithmetic adjunction formula. This is followed in chapter V with a proof of Faltings’ arithmetic Riemann- Roch theorem, which expresses the (co)volume of certain cohomology groups in terms of intersection numbers. The technical material needed to construct the Faltings volume forms on cohomology is relegated to the final chapter.
Finally, a brief appendix by Paul Vojta describes Parshin’s (conjectural) arithmetic analogue of the famous inequality and relates Parshin’s question to some of his own conjectures.
The author has written an excellent book in a new, exciting, and very active area of research. It will undoubtedly become a standard reference in the field of arithmetic geometry, since it brings together in a coherent fashion the basic material which had previously only been available in the original journal articles. However, a potential reader should be warned that this is not a textbook for beginners; it supposes the reader has a solid background in algebraic number theory and in algebraic geometry [both algebraic as in the R. Hartshorne’s book “Algebraic geometry” (1977; Zbl 0367.14001; 3rd edition 1983) and complex as in the one by P. Griffiths and J. Harris: “Principles of algebraic geometry” (1978; Zbl 0408.14001)]. It also helps to be familiar with the author’s book: “Fundamentals of diophantine geometry” (1983; Zbl 0528.14013). But for those with the necessary background, the book under review provides a welcome entree to recent advances in arithmetic geometry.