# zbMATH — the first resource for mathematics

Direct images in non-archimedean Arakelov theory. (English) Zbl 0969.14015
An earlier paper by S. Bloch, H. Gillet, and C. Soulé [J. Algebr. Geom. 4, No. 3, 427-485 (1995; Zbl 0866.14011)] constructed a theory for a variety $$X$$ over a number field that does at finite places what the Arakelov-Gillet-Soulé intersection theory does at infinite places of the number field. For example, this earlier paper found non-Archimedean analogs of the groups of $$C^\infty$$ forms on $$X(\mathbb C_v)$$; these are central to Gillet-Soulé intersection theory at infinite places.
The present paper fills in one notable omission in that earlier paper: an analogue of the Riemann-Roch-Grothendieck theorem in this context. The starting point is the definition of a direct image that respects base change and change of model. For this definition, the authors then define Grothendieck groups and higher analytic torsion currents, leading up to a Riemann-Roch theorem for this direct image.
Reviewer: P.Vojta (Berkeley)

##### MSC:
 14G40 Arithmetic varieties and schemes; Arakelov theory; heights 14C40 Riemann-Roch theorems 14G20 Local ground fields in algebraic geometry 14C15 (Equivariant) Chow groups and rings; motives
Full Text:
##### References:
 [1] D. ABRAMOVICH, K. KARU, K. MATSUKI, J. WLODARCZYK, Torification and factorization of birational maps, preprint, 1999, math.AG/9904135. · Zbl 1032.14003 [2] P. BAUM, W. FULTON, R. MACPHERSON, Riemann-Roch for singular varieties, Pub. Math. I.H.E.S., 45 (1975), 253-290. · Zbl 0332.14003 [3] J.-M. BISMUT, K. KOEHLER, Higher analytic torsion forms for direct images and anomaly formulas, J. Algebr. Geom., 1, n° 4 (1992), 647-684. · Zbl 0784.32023 [4] S. BLOCH, H. GILLET, C. SOULÉ, Non-Archimedean Arakelov theory, Journal of Algebraic Geometry, 4 (1995), 427-485. · Zbl 0866.14011 [5] J. BURGOS, Arithmetic Chow rings and Deligne-Beilinson cohomology, J. Algebr. Geom., 6, n° 2 (1997), 335-377. · Zbl 0922.14002 [6] P. DELIGNE, Le déterminant de la cohomologie, in : Current trends in Arithmetical Algebraic Geometry, K. A. Ribet ed., Contemporary Math., 67 (1987), 93-178. · Zbl 0629.14008 [7] W. FULTON, Intersection theory, ergebnisse der math., 3, Folge 2 Band 2, Springer-Verlag, Berlin-Heidelberg-New York, 1984. · Zbl 0541.14005 [8] J. FRANKE, Riemann-Roch in functorial form, preprint, 78 pp., 1992. [9] H. GILLET, C. SOULÉ, Arithmetic intersection theory, Publications Math. IHES, 72 (1990), 94-174. · Zbl 0741.14012 [10] H. GILLET, C. SOULÉ, Characteristic classes for algebraic vector bundles with Hermitian metric, Annals of Math., 131 (1990), 163-203. · Zbl 0715.14018 [11] H. GILLET, C. SOULÉ, Analytic torsion and the arithmetic Todd genus, Topology, 30, 1 (1991), 21-54. · Zbl 0787.14005 [12] H. GILLET, C. SOULÉ, An arithmetic Riemann-Roch theorem, Inventiones Math., 110 (1992), 474-543. · Zbl 0777.14008 [13] H. HIRONAKA, Resolution of singularities of an algebraic variety over a field of characteristic zero, Annals of Math., 79 (1964), 109-326. · Zbl 0122.38603 [14] F. F. KNUDSEN, D. MUMFORD, The projectivity of the moduli space of stable curves, I: Preliminaries on “det” and “div”, Math. Scand., 39 (1976), 19-55. · Zbl 0343.14008 [15] H. MATSUMURA, Commutative ring theory, Transl. from the Japanese by M. Reid, Cambridge Studies in Advanced Mathematics, 8, Cambridge University Press, 1989. · Zbl 0666.13002 [16] D. QUILLEN, Determinants of Cauchy-Riemann operators over a Riemann surface, Funct. Anal. Appl., (1985), 31-34. · Zbl 0603.32016 [17] M. RAYNAUD, L. GRUSON, Critères de platitude et de projectivité, Inv. Math., 13 (1971), 1-89. · Zbl 0227.14010 [18] T. SAITO, Conductor, discriminant, and the Noether formula of arithmetic surfaces, Duke Math. Journal, 57 (1988), 151-173. · Zbl 0657.14017 [19] M. ARTIN, A. GROTHENDIECK, J.-L. VERDIER, P. DELIGNE, B. SAINT-DONAT, Séminaire de géométrie algébrique du bois-marie 1963-1964, théorie des topos et cohomologie étale des schémas, SGA 4, Tome 3, Exposés IX a XIX, Lecture Notes in Mathematics, Berlin-Heidelberg-New York, Springer-Verlag, 305 (1973). · Zbl 0245.00002 [20] P. BERTHELOT, A. GROTHENDIECK, L. ILLUSIE, Séminaire de géométrie algébrique du bois marie 1966/67, SGA 6, Théorie des intersections et théorème de Riemann-Roch, Lecture Notes in Mathematics, Berlin-Heidelberg-New York, Springer-Verlag, 225 (1971). · Zbl 0218.14001 [21] J. WLODARCZYK, Combinatorial structures on toroidal varieties and a proof of the weak factorization theorem preprint, 1999, math.AG/9904076. [22] J. ZHA, A general arithmetic Riemann-Roch theorem, PHD thesis, Chicago University, 1998.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.