Sur le groupe des classes d'un schéma arithmétique
[On the class group of an arithmetic scheme]
Bulletin de la Société Mathématique de France, Volume 134 (2006) no. 3, pp. 395-415.

We present a proof that the class group of an irreducible scheme of finite type over Spec𝐙 is finitely generated. This proof does not rely on the Mordell-Weil-Néron theorem but rather on the classical Mordell-Weil theorem, the Néron-Severi theorem and Hironaka and de Jong’s theorems on resolution of singularities. We derive some corollaries, including the Mordell-Weil-Néron theorem itself.

Nous donnons une démonstration du fait que le groupe des classes d’un schéma irréductible de type fini sur Spec𝐙 est de type fini. Cette preuve ne repose pas sur le théorème de Mordell-Weil-Néron, mais plutôt sur le théorème de Mordell-Weil classique, le théorème de Néron-Severi et les théorèmes de Hironaka et de Jong sur la résolution des singularités. Nous en déduisons quelques corollaires, parmi lesquels le théorème de Mordell-Weil-Néron lui-même.

DOI: 10.24033/bsmf.2515
Classification: 11G99, 14F22, 14E15, 14G99, 14K99
Mot clés : géométrie arithmétique, résolution des singularités, variétés abéliennes, groupe des classes, groupe de Brauer
Keywords: arithmetic geometry, resolution of singularities, abelian varieties, class group, Brauer group
@article{BSMF_2006__134_3_395_0,
     author = {Kahn, Bruno},
     title = {Sur le groupe des classes d'un sch\'ema arithm\'etique},
     journal = {Bulletin de la Soci\'et\'e Math\'ematique de France},
     pages = {395--415},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {134},
     number = {3},
     year = {2006},
     doi = {10.24033/bsmf.2515},
     mrnumber = {2245999},
     zbl = {1222.14048},
     language = {fr},
     url = {http://www.numdam.org/articles/10.24033/bsmf.2515/}
}
TY  - JOUR
AU  - Kahn, Bruno
TI  - Sur le groupe des classes d'un schéma arithmétique
JO  - Bulletin de la Société Mathématique de France
PY  - 2006
SP  - 395
EP  - 415
VL  - 134
IS  - 3
PB  - Société mathématique de France
UR  - http://www.numdam.org/articles/10.24033/bsmf.2515/
DO  - 10.24033/bsmf.2515
LA  - fr
ID  - BSMF_2006__134_3_395_0
ER  - 
%0 Journal Article
%A Kahn, Bruno
%T Sur le groupe des classes d'un schéma arithmétique
%J Bulletin de la Société Mathématique de France
%D 2006
%P 395-415
%V 134
%N 3
%I Société mathématique de France
%U http://www.numdam.org/articles/10.24033/bsmf.2515/
%R 10.24033/bsmf.2515
%G fr
%F BSMF_2006__134_3_395_0
Kahn, Bruno. Sur le groupe des classes d'un schéma arithmétique. Bulletin de la Société Mathématique de France, Volume 134 (2006) no. 3, pp. 395-415. doi : 10.24033/bsmf.2515. http://www.numdam.org/articles/10.24033/bsmf.2515/

[1] P. Berthelot, A. Grothendieck & L. Illusie et al. - « Séminaire de géométrie algébrique du Bois-Marie (SGA6) : Théorie des intersections et théorème de Riemann-Roch », Lecture Notes in Math., vol. 225, Springer, 1971. | MR | Zbl

[2] S. Bosch, W. Lütkebohmert & M. Raynaud - Néron models, Springer, 1990. | MR | Zbl

[3] N. Bourbaki - Éléments de mathématique, Algèbre, Ch.V, Masson, 1981. | Zbl

[4] W. L. Chow - « Abstract theory of the Picard and Albanese varieties », manuscrit non publié (1955/56).

[5] J.-L. Colliot-Thélène & J.-J. Sansuc - « La R-équivalence sur les tores », Ann. Sci. Éc. Norm. Sup. 10 (1977), p. 175-229. | Numdam | MR | Zbl

[6] P. Deligne et al. - « Séminaire de géométrie algébrique du Bois-Marie (SGA41/2) : Cohomologie étale », Lecture Notes in Math., vol. 569, Springer, 1977. | MR | Zbl

[7] M. Demazure & A. Grothendieck et al. - « Séminaire de géométrie algébrique du Bois-Marie (SGA3) : Schémas en groupes », Lecture Notes in Math., vol. II, Springer, 1970. | Zbl

[8] B. Fein, W. M. Kantor & M. Schacher - « Relative Brauer groups, II », J. reine angew. Math. 328 (1981), p. 31-57. | MR | Zbl

[9] W. Fulton - Intersection theory, Springer, 1984. | MR | Zbl

[10] M. J. Greenberg - « Schemata over local rings », Ann. of Math. 78 (1963), p. 256-266. | MR | Zbl

[11] A. Grothendieck - « Techniques de descente et théorèmes d'existence en géométrie algébrique », Fondements de la géométrie algébrique, extraits du Séminaire Bourbaki 1957-62, Secrétariat mathématique, Paris. | Numdam | Zbl

[12] -, « Sur une note de Mattuck-Tate », J. reine angew. Math. 200 (1958), p. 208-215. | MR | Zbl

[13] A. Grothendieck & J. Dieudonné - « Éléments de géométrie algébrique, chapitre IV : Étude locale des schémas et des morphismes de schémas (2 e partie) », Publ. Math. IHÉS 24 (1965). | Numdam | MR | Zbl

[14] R. Guralnick, D. Jaffe, W. Raskind & R. Wiegand - « On the Picard group : torsion and the kernel induced by a faithfully flat map », J. Algebra 183 (1996), p. 420-455. | MR | Zbl

[15] R. Hartshorne - Algebraic geometry, Springer, 1977. | MR | Zbl

[16] H. Hironaka - « Resolution of singularities of an algebraic variety over a field of characteristic zero », Ann. of Math. 79 (1964), p. 109-326. | MR | Zbl

[17] P. A. De Jong - « Smoothness, semi-stability and alterations », Publ. Math. IHÉS 83 (1996), p. 51-93. | Numdam | MR | Zbl

[18] S. Lang - Abelian varieties, Interscience, 1957, reprint, Springer, 1983. | MR | Zbl

[19] -, Fundamentals of diophantine geometry, Springer, 1983. | MR | Zbl

[20] S. Lang & A. Néron - « Rational points of abelian varieties over function fields », Amer. J. Math. 81 (1959), p. 95-118. | MR | Zbl

[21] Y. Manin - « The Mordell-Weil theorem, appendice II à [27] ».

[22] T. Matsusaka - « On the algebraic construction of the Picard variety, I », Japan J. Math. 21 (1951), p. 217-235, II, ibid., 22 (1952), 51-62. | MR | Zbl

[23] J. S. Milne - « On the arithmetic of abelian varieties », Invent. Math. 17 (1972), p. 177-190. | MR | Zbl

[24] -, Étale cohomology, Princeton Univ. Press, 1980. | Zbl

[25] -, « Abelian varieties, p.103-150 », Arithmetic geometry (G. Cornell, J. Silverman, eds), Springer, 1986. | MR

[26] D. Mumford - Geometric Invariant Theory, Springer-Verlag, 1965. | MR | Zbl

[27] -, Abelian varieties, Oxford University Press, 1970. | MR

[28] M. Nagata - « A generalization of the imbedding problem of an abstract variety in a complete variety », J. Math. Kyoto Univ. 3 (1963), p. 89-102. | MR | Zbl

[29] A. Néron - « Problèmes arithmétiques et géométriques rattachés à la notion de rang d'une courbe algébrique dans un corps », Bull. Soc. Math. France 80 (1952), p. 101-166. | Numdam | Zbl

[30] P. Roquette - « Einheiten und divisorklassen in endlich erzeugbaren körpern », Jahresber. Deutsch. Math. Verein. 60 (1957), p. 1-21. | MR | Zbl

[31] P. Samuel - Méthodes d'algèbre abstraite en géométrie algébrique, Springer-Verlag, 1955. | MR | Zbl

[32] -, « À propos du théorème des unités », Bull. Sci. Math. 90 (1966), p. 89-96. | MR | Zbl

[33] C. Scheiderer - « Real and étale cohomology », Lecture Notes in Math., vol. 1588, Springer, 1994. | MR | Zbl

[34] B. Segre - « Intorno ad un teorema di hodge sulla teoria della base per le curve di una superficie algebrica », Ann. Mat. 16 (1937), p. 157-163. | JFM | MR

[35] F. Severi - « Sui fondamenti della geometria numerativa e sulla teoria delle caratteristiche, Ist. veneto sci. lett. arti. Parte II », 75, p. 1121-1162, Opere mat. II, Acad. Nat. Lincei, Rome, LXVIII (1974), 500-530. | JFM

[36] -, « Sulla totalitá delle curve algebriche tracciate sopra una superficie algebrica », Math. Ann. 62 (1906), p. 194-225, Opere Mat. I, Acad. Nat. Lincei, Rome, XXIX (1971), 332-362. | JFM | MR

Cited by Sources: