Grothendieck and vanishing cycles

Illusie, Luc

Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 30 (2021) no. 1, pp. 83-115.

Le présent texte est un exposé de résultats classiques de Grothendieck sur les cycles évanescents, tels que le théorème de monodromie locale et l’accouplement de monodromie pour les variétés abéliennes sur les corps locaux ([22, IX]). Nous présentons quelques développements récents et questions qui y sont liés. La dernière section est consacrée à la démonstration d’un résultat inédit de Gabber donnant une borne raffinée pour l’exposant d’unipotence de la monodromie locale pour des coefficients de torsion.

This is a survey of classical results of Grothendieck on vanishing cycles, such as the local monodromy theorem and his monodromy pairing for abelian varieties over local fields ([22, IX]). We discuss related current developments and questions. At the end, we include the proof of an unpublished result of Gabber giving a refined bound for the exponent of unipotence of the local monodromy for torsion coefficients.

Classification : 01A65, 11F80, 11G10, 13D09, 14-03, 14D05, 14F20, 14G20, 14K30, 14H25, 14L05, 14L15, 32L55
Mots-clés : Étale cohomology, monodromy, Milnor fiber, nearby and vanishing cycles, alteration, hypercovering, semistable reduction, intersection complex, abelian scheme, Picard functor, Jacobian, Néron model, Picard–Lefschetz formula, $\ell $-adic sheaf

[1] Arnol’d, V. I. Critical points of smooth functions, Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), Vol. 1 (1975), pp. 19-39

[2] Artin, Michael; Grothendieck, Alexander; Verdier, Jean-Louis Théorie des topos et cohomologie étale des schémas, Lecture Notes in Mathematics, 269, 270, 305, Springer, 1972, 1973, xix+525 pages Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4), avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat | Zbl

[3] Artin, Michael; Winters, Gayn Degenerate fibres and stable reduction of curves, Topology, Volume 10 (1971), pp. 373-383 | DOI | MR | Zbl

[4] Bégueri, Lucile Dualité sur un corps local à corps résiduel algébriquement clos, Mém. Soc. Math. Fr., Nouv. Sér., 4, Gauthier-Villars, 1980, 121 pages | Numdam | Zbl

[5] Beilinson, Alexander Constructible sheaves are holonomic, Sel. Math., New Ser., Volume 22 (2016) no. 4, pp. 1797-1819 | DOI | MR | Zbl

[6] Beilinson, Alexander; Bernstein, Joseph A proof of Jantzen conjectures, I. M. Gelfand Seminar (Advances in Soviet Mathematics), Volume 16, American Mathematical Society, 1993, pp. 1-50 | MR | Zbl

[7] Beilinson, Alexander; Bernstein, Joseph; Deligne, Pierre; Gabber, Ofer Faisceaux pervers, Astérisque, 100, Société Mathématique de France, 2018, vi+180 pages | Zbl

[8] Bertapelle, Alessandra On perfectness of Grothendieck’s pairing for the $l$-parts of component groups, J. Reine Angew. Math., Volume 538 (2001), pp. 223-236 | MR | Zbl

[9] Bertapelle, Alessandra; Bosch, Siegfried Weil restriction and Grothendieck’s duality conjecture, J. Algebr. Geom., Volume 9 (2000) no. 1, pp. 155-164 | MR | Zbl

[10] Berthelot, Pierre Altérations de variétés algébriques (d’après A. J. de Jong), Séminaire Bourbaki, Vol. 1995/96 (Astérisque), Volume 241, Société Mathématique de France, 1997, pp. 273-311 (Exp. No. 815) | Numdam | Zbl

[11] Berthelot, Pierre; Esnault, Hélène; Rülling, Kay Rational points over finite fields for regular models of algebraic varieties of Hodge type $\ge 1$, Ann. Math., Volume 176 (2012) no. 1, pp. 413-508 | DOI | MR | Zbl

[12] Bosch, Siegfried Component groups of abelian varieties and Grothendieck’s duality conjecture, Ann. Inst. Fourier, Volume 47 (1997) no. 5, pp. 1257-1287 | DOI | Numdam | MR | Zbl

[13] Bosch, Siegfried; Lorenzini, Dino Grothendieck’s pairing on component groups of Jacobians, Invent. Math., Volume 148 (2002) no. 2, pp. 353-396 | DOI | MR | Zbl

[14] Bosch, Siegfried; Lütkebohmert, Werner; Raynaud, Michel Néron models, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., 21, Springer, 1990, x+325 pages | Zbl

[15] Correspondance Grothendieck–Serre (Colmez, Pierre; Serre, Jean-Pierre, eds.), Documents Mathématiques, 2, Société Mathématique de France, 2001, xii+288 pages | MR | Zbl

[16] Deligne, Pierre Théorie de Hodge. I, Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, Gauthier-Villars, 1971, pp. 425-430 | Zbl

[17] Deligne, Pierre Théorie de Hodge. II, Publ. Math., Inst. Hautes Étud. Sci. (1971) no. 40, pp. 5-57 | DOI | Numdam | Zbl

[18] Deligne, Pierre La conjecture de Weil. I, Publ. Math., Inst. Hautes Étud. Sci. (1974) no. 43, pp. 273-307 | DOI | Numdam | MR

[19] Deligne, Pierre Théorie de Hodge. III, Publ. Math., Inst. Hautes Étud. Sci. (1974) no. 44, pp. 5-77 | DOI | Numdam | Zbl

[20] Deligne, Pierre Cohomologie étale, Lecture Notes in Mathematics, 569, Springer, 1977, iv+312 pages (Séminaire de Géométrie Algébrique du Bois-Marie SGA $4\frac{1}{2}$) | Zbl

[21] Deligne, Pierre La conjecture de Weil. II, Publ. Math., Inst. Hautes Étud. Sci. (1980) no. 52, pp. 137-252 | DOI | Numdam | MR | Zbl

[22] Deligne, Pierre; Grothendieck, Alexander; Katz, Nicholas Groupes de monodromie en géométrie algébrique, Lecture Notes in Mathematics, 288, 340, Springer, 1972, 1973 Séminaire de Géométrie Algébrique du Bois-Marie 1967–1969 (SGA 7), (SGA 7 I) dirigé par A. Grothendieck, avec la collaboration de M. Raynaud et D. S. Rim, ix+523 pages; (SGA 7 II), dirigé par P. Deligne et N. Katz, x+438 pages

[23] Deligne, Pierre; Mumford, David The irreducibility of the space of curves of given genus, Publ. Math., Inst. Hautes Étud. Sci. (1969) no. 36, pp. 75-109 | DOI | Numdam | MR | Zbl

[24] Demazure, Michel; Giraud, Jean; Raynaud, Michel Schémas abéliens (Séminaire Orsay. Séminaire de géométrie algébrique 1967-1968. Faculté des Sciences de l’université de Paris-Orsay. Available from the portal of Biblothèque Jacques Hadamard, département de mathématiques d’Orsay: https://bibliotheque.math.u-psud.fr)

[25] Fu, Lei Etale cohomology theory, Nankai Tracts in Mathematics, 14, World Scientific, 2015, x+611 pages | MR | Zbl

[26] Fujiwara, Kazuhiro A proof of the absolute purity conjecture (after Gabber), Algebraic geometry 2000, Azumino (Hotaka) (Advanced Studies in Pure Mathematics), Volume 36, Mathematical Society of Japan, 2002, pp. 153-183 | DOI | MR | Zbl

[27] Genestier, Alain; Lafforgue, Vincent Chtoucas restreints pour les groupes réductifs et paramétrisation de Langlands locale (2018) (https://arxiv.org/abs/1709.00978) | Zbl

[28] Griffiths, Phillip A. Periods of integrals on algebraic manifolds: Summary of main results and discussion of open problems, Bull. Am. Math. Soc., Volume 76 (1970), pp. 228-296 | DOI | MR | Zbl

[29] Griffiths, Phillip A. A transcendental method in algebraic geometry, Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, Gauthier-Villars, 1971, pp. 113-119 | Zbl

[30] Griffiths, Phillip A.; Schmid, Wilfried Recent developments in Hodge theory: a discussion of techniques and results, Discrete subgroups of Lie groups and applicatons to moduli (Internat. Colloq., Bombay, 1973), Oxford University Press, 1975, pp. 31-127 | Zbl

[31] Grothendieck, Alexander Cohomologie $l$-adique et fonctions $L$, Lecture Notes in Mathematics, 589, Springer, 1977, xii+484 pages Séminaire de Géométrie Algébrique du Bois-Marie 1965–1966 (SGA 5), avec la collaboration de I. Bucur, C. Houzel, L. Illusie, J.-P. Jouanolou et J.-P. Serre, édité par L. Illusie | MR

[32] Igusa, Jun-Ichi Abstract vanishing cycle theory, Proc. Japan Acad., Volume 34 (1958), pp. 589-593 | MR | Zbl

[33] Illusie, Luc Réalisation $l$-adique de l’accouplement de monodromie d’après A. Grothendieck, Courbes modulaires et courbes de Shimura (Orsay, 1987/1988) (Astérisque), Volume 196-197, Société Mathématique de France, 1991, pp. 27-44 | MR | Zbl

[34] Illusie, Luc Autour du théorème de monodromie locale, Périodes $p$-adiques (Séminaire de Bures, 1988) (Astérisque), Volume 223, Société Mathématique de France, 1994, pp. 9-57 (dirigé par Jean-Marc Fontaine, réédition 2020) | Numdam | Zbl

[35] Illusie, Luc An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic étale cohomology, Cohomologies $p$-adiques et applications arithmétiques, II (Astérisque), Volume 279, Société Mathématique de France, 2002, pp. 271-322 | Numdam | Zbl

[36] Illusie, Luc Sur la formule de Picard-Lefschetz, Algebraic geometry 2000, Azumino (Hotaka) (Advanced Studies in Pure Mathematics), Volume 36, Mathematical Society of Japan, 2002, pp. 249-268 | DOI | MR | Zbl

[37] Illusie, Luc On semistable reduction and the calculation of nearby cycles, Geometric aspects of Dwork theory. Vol. I, II, Walter de Gruyter, 2004, pp. 785-803 | DOI | Zbl

[38] Illusie, Luc Miscellany on traces in $\ell$-adic cohomology: a survey, Jpn. J. Math., Volume 1 (2006) no. 1, pp. 107-136 | DOI | MR | Zbl

[39] Illusie, Luc Exposé XI. Produits orientés, Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schémas quasi-excellents (Astérisque), Volume 363-364, Société Mathématique de France, 2014, pp. 213-234 | Zbl

[40] Illusie, Luc From Pierre Deligne’s secret garden: looking back at some of his letters, Jpn. J. Math., Volume 10 (2015) no. 2, pp. 237-248 | DOI | MR | Zbl

[41] Ito, Tetsushi Weight-monodromy conjecture for certain threefolds in mixed characteristic, Int. Math. Res. Not. (2004) no. 2, pp. 69-87 | MR | Zbl

[42] Ito, Tetsushi Weight-monodromy conjecture for $p$-adically uniformized varieties, Invent. Math., Volume 159 (2005) no. 3, pp. 607-656 | MR | Zbl

[43] Ito, Tetsushi Weight-monodromy conjecture over equal characteristic local fields, Am. J. Math., Volume 127 (2005) no. 3, pp. 647-658 | MR | Zbl

[44] de Jong, A. J. Crystalline Dieudonné module theory via formal and rigid geometry, Publ. Math., Inst. Hautes Étud. Sci., Volume 82 (1995), pp. 5-96 | DOI | Zbl

[45] de Jong, A. J. Smoothness, semi-stability and alterations, Publ. Math., Inst. Hautes Étud. Sci. (1996) no. 83, pp. 51-93 | DOI | Numdam | MR | Zbl

[46] Laumon, Gérard Vanishing cycles over a base of dimension $\ge 1$, Algebraic geometry (Tokyo/Kyoto, 1982) (Lecture Notes in Mathematics), Volume 1016, Springer, 1983, pp. 143-150 | DOI | MR | Zbl

[47] Lu, Qing; Zheng, Weizhe Duality and nearby cycles over general bases, Duke Math. J., Volume 168 (2019) no. 16, pp. 3135-3213 | MR | Zbl

[48] $K$-theory, arithmetic and geometry (Manin, Yu. I., ed.), Lecture Notes in Mathematics, 1289, Springer, 1987, vi+399 pages (Papers from the seminar held at Moscow State University, Moscow, 1984–1986) | MR | Zbl

[49] Mazur, Barry Modular curves and the Eisenstein ideal, Publ. Math., Inst. Hautes Étud. Sci. (1977) no. 47, pp. 33-186 (With an appendix by B. Mazur and M. Rapoport) | DOI | Numdam | MR | Zbl

[50] McCallum, William G. Duality theorems for Néron models, Duke Math. J., Volume 53 (1986) no. 4, pp. 1093-1124 | MR | Zbl

[51] Milnor, John Singular points of complex hypersurfaces, Annals of Mathematics Studies, 61, Princeton University Press; University of Tokyo Press, 1968, iii+122 pages | MR | Zbl

[52] Mumford, David Bi-extensions of formal groups, Algebraic Geometry (Internat. Colloq., Tata Inst. Fund. Res., Bombay, 1968), Oxford University Press, 1969, pp. 307-322 | Zbl

[53] Nakayama, Chikara Nearby cycles for log smooth families, Compos. Math., Volume 112 (1998) no. 1, pp. 45-75 | DOI | MR | Zbl

[54] Nakayama, Chikara Degeneration of $l$-adic weight spectral sequences, Am. J. Math., Volume 122 (2000) no. 4, pp. 721-733 | DOI | MR | Zbl

[55] Orgogozo, Fabrice Modifications et cycles proches sur une base générale, Int. Math. Res. Not., Volume 2006 (2006), 25315, 38 pages | MR | Zbl

[56] Rapoport, Michael; Zink, Thomas Über die lokale Zetafunktion von Shimuravarietäten. Monodromiefiltration und verschwindende Zyklen in ungleicher Charakteristik, Invent. Math., Volume 68 (1982) no. 1, pp. 21-101 | DOI | Zbl

[57] Raynaud, Michel Faisceaux amples sur les schémas en groupes et les espaces homogènes, Lecture Notes in Mathematics, 119, Springer, 1970, ii+218 pages | Zbl

[58] Raynaud, Michel Spécialisation du foncteur de Picard, Publ. Math., Inst. Hautes Étud. Sci. (1970) no. 38, pp. 27-76 | DOI | Numdam | Zbl

[59] Raynaud, Michel Variétés abéliennes et géométrie rigide, Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, Gauthier-Villars, 1971, pp. 473-477 | Zbl

[60] Ribet, K. A. On modular representations of $\mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})$ arising from modular forms, Invent. Math., Volume 100 (1990) no. 2, pp. 431-476 | DOI | MR | Zbl

[61] Saito, Takeshi Vanishing cycles and geometry of curves over a discrete valuation ring, Am. J. Math., Volume 109 (1987) no. 6, pp. 1043-1085 | DOI | MR | Zbl

[62] Saito, Takeshi Weight spectral sequences and independence of $l$, J. Inst. Math. Jussieu, Volume 2 (2003) no. 4, pp. 583-634 | DOI | MR | Zbl

[63] Saito, Takeshi The characteristic cycle and the singular support of a constructible sheaf, Invent. Math., Volume 207 (2017) no. 2, pp. 597-695 corrigendum in Invent. Math. 216 (2019), n° 3, p. 1005-1006 | DOI | MR | Zbl

[64] Saito, Takeshi Wild ramification and the cotangent bundle, J. Algebr. Geom., Volume 26 (2017) no. 3, pp. 399-473 | DOI | MR | Zbl

[65] Schieder, Simon Picard-Lefschetz oscillators for the Drinfeld-Lafforgue-Vinberg degeneration for ${\mathrm{SL}}_2$, Duke Math. J., Volume 167 (2018) no. 5, pp. 835-921 | MR | Zbl

[66] Scholze, Peter Perfectoid spaces, Publ. Math., Inst. Hautes Étud. Sci., Volume 116 (2012), pp. 245-313 | DOI | Numdam | MR | Zbl

[67] Serre, Jean-Pierre Groupes algébriques et corps de classes, Actualités Scientifiques et Industrielles, Hermann, 1959, 202 pages (Publications de l’institut de mathématique de l’université de Nancago, VII) | Zbl

[68] Serre, Jean-Pierre; Tate, John T. Good reduction of abelian varieties, Ann. Math., Volume 88 (1968), pp. 492-517 | DOI | MR | Zbl

[69] Steenbrink, Joseph Limits of Hodge structures, Invent. Math., Volume 31 (1976) no. 3, pp. 229-257 | DOI | MR | Zbl

[70] Sun, Shenghao; Zheng, Weizhe Parity and symmetry in intersection and ordinary cohomology, Algebra Number Theory, Volume 10 (2016) no. 2, pp. 235-307 | MR | Zbl

[71] Suzuki, Takashi Néron models of 1-motives and duality, Kodai Math. J., Volume 42 (2019) no. 3, pp. 431-475 | Zbl

[72] Suzuki, Takashi Grothendieck’s pairing on Néron component groups: Galois descent from the semistable case, Kyoto J. Math., Volume 60 (2020) no. 2, pp. 593-716 | Zbl

[73] Tate, John T. $p$-divisible groups, Proc. Conf. Local Fields (Driebergen, 1966), Springer (1967), pp. 158-183 | DOI | Zbl

[74] Temkin, Michael Stable modification of relative curves, J. Algebr. Geom., Volume 19 (2010) no. 4, pp. 603-677 | DOI | MR | Zbl

[75] Umezaki, Naoya A uniform bound for the order of monodromy, Math. Res. Lett., Volume 23 (2016) no. 3, pp. 929-937 | DOI | MR | Zbl

[76] Werner, Annette On Grothendieck’s pairing of component groups in the semistable reduction case, J. Reine Angew. Math., Volume 486 (1997), pp. 205-215 | MR | Zbl