Heights of projective varieties and positive Green forms

Bost, J.-B.   ; Gillet, H.   ; Soulé, C.

Journal of the American Mathematical Society, Tome 07 (1994) no. 4, pp. 903-1027

Résumé

Using arithmetic intersection theory, a theory of heights for projective varieties over rings of algebraic integers is developed. These heights are generalizations of those considered by Weil, Schmidt, Nesterenko, Philippon, and Faltings. Several of their properties are proved, including lower bounds and an arithmetic Bézout theorem for the height of the intersection of two projective varieties. New estimates for the size of (generalized) resultants are derived. Among the analytic tools used in the paper are “Green forms” for analytic subvarieties, and the existence of positive Green forms is discussed.

Détail

DOI : 10.1090/S0894-0347-1994-1260106-X

Bibliographie

[1] Altman, Allen B., Kleiman, Steven L. Joins of schemes, linear projections Compositio Math. 1975 309 343

[2] Arakelov, S. Ju. An intersection theory for divisors on an arithmetic surface Izv. Akad. Nauk SSSR Ser. Mat. 1974 1179 1192

[3] Arakelov, S. J. Theory of intersections on the arithmetic surface 1975 405 408

[4] Beauzamy, Bernard, Bombieri, Enrico, Enflo, Per, Montgomery, Hugh L. Products of polynomials in many variables J. Number Theory 1990 219 245

[5] Bismut, Jean-Michel, Vasserot, Éric The asymptotics of the Ray-Singer analytic torsion associated with high powers of a positive line bundle Comm. Math. Phys. 1989 355 367

[6] Blanchard, André Sur les variétés analytiques complexes Ann. Sci. École Norm. Sup. (3) 1956 157 202

[7] Bod’A, Eduard, Vogel, Wolfgang On system of parameters, local intersection multiplicity and Bezout’s theorem Proc. Amer. Math. Soc. 1980 1 7

[8] Bombieri, E., Vaaler, J. On Siegel’s lemma Invent. Math. 1983 11 32

[9] Borel, A., Remmert, R. Über kompakte homogene Kählersche Mannigfaltigkeiten Math. Ann. 1961/62 429 439

[10] Bost, Jean-Benoît Green’s currents and height pairing on complex tori Duke Math. J. 1990 899 912

[11] Bost, Jean-Benoît, Gillet, Henri, Soulé, Christophe Un analogue arithmétique du théorème de Bézout C. R. Acad. Sci. Paris Sér. I Math. 1991 845 848

[12] Bott, Raoul, Chern, S. S. Hermitian vector bundles and the equidistribution of the zeroes of their holomorphic sections Acta Math. 1965 71 112

[13] Chow, Wei-Liang, Van Der Waerden, B. L. Zur algebraischen Geometrie. IX Math. Ann. 1937 692 704

[14] Cornalba, Maurizio, Griffiths, Phillip Analytic cycles and vector bundles on non-compact algebraic varieties Invent. Math. 1975 1 106

[15] Faltings, Gerd Calculus on arithmetic surfaces Ann. of Math. (2) 1984 387 424

[16] Faltings, Gerd Diophantine approximation on abelian varieties Ann. of Math. (2) 1991 549 576

[17] Faltings, Gerd Lectures on the arithmetic Riemann-Roch theorem 1992

[18] Rational points 1984

[19] Fogarty, John Truncated Hilbert functors J. Reine Angew. Math. 1969 65 88

[20] Fulton, William Rational equivalence on singular varieties Inst. Hautes Études Sci. Publ. Math. 1975 147 167

[21] Fulton, William Introduction to intersection theory in algebraic geometry 1984

[22] Gaeta, Federico Sul calcolo effettivo della forma associata 𝐹(𝑊_{𝛼+𝛽-𝑛}^{𝑔𝑙}) all’intersezione di due cicle effettivi puri 𝑈_{𝛼}^{𝑔}, 𝑉ᵦ^{𝑙} di 𝑆_{𝑛}, in funzione delle 𝐹(𝑈_{𝛼}^{𝑔}), 𝐹(𝑉ᵦ^{𝑙}) relative ai cicli secanti. I Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) 1958 269 276

[23] Gillet, Henri An introduction to higher-dimensional Arakelov theory 1987 209 228

[24] Gillet, H., Soulé, C. Intersection theory using Adams operations Invent. Math. 1987 243 277

[25] Gillet, Henri, Soulé, Christophe Arithmetic intersection theory Inst. Hautes Études Sci. Publ. Math. 1990

[26] Gillet, Henri, Soulé, Christophe Characteristic classes for algebraic vector bundles with Hermitian metric. I Ann. of Math. (2) 1990 163 203

[27] Gillet, Henri, Soulé, Christophe Amplitude arithmétique C. R. Acad. Sci. Paris Sér. I Math. 1988 887 890

[28] Gillet, Henri, Soulé, Christophe Un théorème de Riemann-Roch-Grothendieck arithmétique C. R. Acad. Sci. Paris Sér. I Math. 1989 929 932

[29] Gillet, Henri, Soulé, Christophe An arithmetic Riemann-Roch theorem Invent. Math. 1992 473 543

[30] Gillet, H., Soulé, C. On the number of lattice points in convex symmetric bodies and their duals Israel J. Math. 1991 347 357

[31] Grayson, Daniel R. Reduction theory using semistability Comment. Math. Helv. 1984 600 634

[32] Wang, B., Harris, B. Archimedean height pairing of intersecting cycles Internat. Math. Res. Notices 1993 107 111

[33] Harvey, Reese, Knapp, A. W. Positive (𝑝,𝑝) forms, Wirtinger’s inequality, and currents 1974 43 62

[34] Helgason, Sigurdur Groups and geometric analysis 1984

[35] King, James R. The currents defined by analytic varieties Acta Math. 1971 185 220

[36] Knudsen, Finn Faye, Mumford, David The projectivity of the moduli space of stable curves. I. Preliminaries on “det” and “Div” Math. Scand. 1976 19 55

[37] Lang, Serge Introduction to Arakelov theory 1988

[38] Laurent, Michel Hauteur de matrices d’interpolation 1992 215 238

[39] Lelong, Pierre Mesure de Mahler des polynômes et majoration par convexité C. R. Acad. Sci. Paris Sér. I Math. 1992 139 142

[40] Levine, Harold I. A theorem on holomorphic mappings into complex projective space Ann. of Math. (2) 1960 529 535

[41] Moret-Bailly, Laurent Hauteurs et classes de Chern sur les surfaces arithmétiques Astérisque 1990 37 58

[42] Mumford, David, Fogarty, John Geometric invariant theory 1982

[43] Nesterenko, Ju. V. Estimate of the orders of the zeroes of functions of a certain class, and their application in the theory of transcendental numbers Izv. Akad. Nauk SSSR Ser. Mat. 1977

[44] Nesterenko, Yu. V. Estimates for the characteristic function of a prime ideal Mat. Sb. (N.S.) 1984 11 34

[45] Northcott, D. G. An inequality in the theory of arithmetic on algebraic varieties Proc. Cambridge Philos. Soc. 1949 502 509

[46] Philippon, Patrice Critères pour l’indépendance algébrique Inst. Hautes Études Sci. Publ. Math. 1986 5 52

[47] Philippon, Patrice Sur des hauteurs alternatives. I Math. Ann. 1991 255 283

[48] Philippon, Patrice Sur des hauteurs alternatives. I Math. Ann. 1991 255 283

[49] Samuel, Pierre Méthodes d’algèbre abstraite en géométrie algébrique 1967

[50] Schmidt, Wolfgang M. On heights of algebraic subspaces and diophantine approximations Ann. of Math. (2) 1967 430 472

[51] Shabat, B. V. Distribution of values of holomorphic mappings 1985

[52] Soulé, C. Théorie de Nevanlinna et théorie d’Arakelov Astérisque 1990 127 135

[53] Soulé, C. Lectures on Arakelov geometry 1992

[54] Stoll, Wilhelm The continuity of the fiber integral Math. Z. 1967 87 138

[55] Stoll, Wilhelm About the value distribution of holomorphic maps into the projective space Acta Math. 1969 83 114

[56] Stoll, Wilhelm Value distribution of holomorphic maps into compact complex manifolds. 1970

[57] Stoll, Wilhelm Aspects of value distribution theory in several complex variables Bull. Amer. Math. Soc. 1977 166 183

[58] Stuhler, Ulrich Eine Bemerkung zur Reduktionstheorie quadratischer Formen Arch. Math. (Basel) 1976 604 610

[59] Struppeck, Thomas, Vaaler, Jeffrey D. Inequalities for heights of algebraic subspaces and the Thue-Siegel principle 1990 493 528

[60] Szpiro, Lucien Degrés, intersections, hauteurs Astérisque 1985 11 28

[61] Vogel, W. Lectures on results on Bezout’s theorem 1984

[62] Vojta, Paul Applications of arithmetic algebraic geometry to Diophantine approximations 1993 164 208

[63] Van Der Waerden, Bartel Leendert Moderne Algebra 1940

[64] Weil, André Number-theory and algebraic geometry 1952 90 100

[65] Weil, André Arithmetic on algebraic varieties Ann. of Math. (2) 1951 412 444

[66] Wüstholz, G. Über das Abelsche Analogon des Lindemannschen Satzes. I Invent. Math. 1983 363 388

[67] Zhang, Shouwu Positive line bundles on arithmetic surfaces Ann. of Math. (2) 1992 569 587