Motives of rigid analytic tubes and nearby motivic sheaves

Ayoub, Joseph; Ivorra, Florian; Sebag, Julien

doi:10.24033/asens.2347

Motives of rigid analytic tubes and nearby motivic sheaves
[Motifs des tubes analytiques rigides et faisceaux cycles proches motiviques]

Ayoub, Joseph ; Ivorra, Florian ; Sebag, Julien

Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 50 (2017) no. 6, pp. 1335-1382.

Résumé
Abstract

Soient $k$ un corps de caractéristique nulle, $R = k 〚 t 〛$ l'anneau des séries formelles sur $k$ et $K = k ((t))$ son corps des fractions. Soit $X$ un $R$ -schéma de type fini génériquement lisse. Soient $𝒳$ la complétion $t$ -adique de $X$ et $𝒳_{η}$ sa fibre générique. Soit $Z \subset X_{σ}$ un sous-ensemble localement fermé de $X$ . Dans cet article, nous lions le motif rigide du tube $] Z [$ de $Z$ dans $𝒳_{η}$ à la restriction à $Z$ du faisceau cycles proches motivique associé au $R$ -schéma $X$ . Le théorème 7.1, qui est notre résultat principal, peut être interprété comme un analogue motivique d'un théorème de Berkovich.

Comme application, étant donné un point rationnel $x \in X_{σ}$ , nous obtenons une égalité dans un anneau de Grothendieck de motifs adéquat entre la fibre de Milnor motivique de Denef-Loeser en $x$ et la classe du motif rigide de la fibre de Milnor analytique de Nicaise-Sebag en $x$ .

Let $k$ be a field of characteristic zero, $R = k 〚 t 〛$ the ring of formal power series and $K = k ((t))$ its fraction field. Let $X$ be a finite type $R$ -scheme with smooth generic fiber. Let $𝒳$ be the $t$ -adic completion of $X$ and $𝒳_{η}$ the generic fiber of $𝒳$ . Let $Z \subset X_{σ}$ be a locally closed subset of the special fiber of $X$ . In this article, we establish a relation between the rigid motive of $] Z [$ (the tube of $Z$ in $𝒳_{η}$ ) and the restriction to $Z$ of the nearby motivic sheaf associated with the $R$ -scheme $X$ . Our main result, Theorem 7.1, can be interpreted as a motivic analog of a theorem of Berkovich.

As an application, given a rational point $x \in X_{σ}$ , we obtain an equality, in a suitable Grothendieck ring of motives, between the motivic Milnor fiber of Denef-Loeser at $x$ and the class of the rigid motive of the analytic Milnor fiber of Nicaise-Sebag at $x$ .

Publié le : 2017-11-18

MR Zbl

DOI : 10.24033/asens.2347

Classification : 14B20, 14C15, 14F42, 14G22, 32S30
Keywords: Motivic sheaves, nearby motivic sheaves, rigid motives, tubes, analytic Milnor fiber, motivic Milnor fiber
Mot clés : Faisceaux motiviques, faisceaux cycles proches motiviques, motifs rigides, tubes, fibre de Milnor motivique, fibre de Milnor analytique

@article{ASENS_2017__50_6_1335_0,
     author = {Ayoub, Joseph and Ivorra, Florian and Sebag, Julien},
     title = {Motives of rigid analytic tubes and nearby motivic sheaves},
     journal = {Annales scientifiques de l'\'Ecole Normale Sup\'erieure},
     pages = {1335--1382},
     publisher = {Soci\'et\'e Math\'ematique de France. Tous droits r\'eserv\'es},
     volume = {Ser. 4, 50},
     number = {6},
     year = {2017},
     doi = {10.24033/asens.2347},
     mrnumber = {3742195},
     zbl = {1403.14014},
     language = {en},
     url = {http://www.numdam.org/articles/10.24033/asens.2347/}
}

TY  - JOUR
AU  - Ayoub, Joseph
AU  - Ivorra, Florian
AU  - Sebag, Julien
TI  - Motives of rigid analytic tubes and nearby motivic sheaves
JO  - Annales scientifiques de l'École Normale Supérieure
PY  - 2017
SP  - 1335
EP  - 1382
VL  - 50
IS  - 6
PB  - Société Mathématique de France. Tous droits réservés
UR  - http://www.numdam.org/articles/10.24033/asens.2347/
DO  - 10.24033/asens.2347
LA  - en
ID  - ASENS_2017__50_6_1335_0
ER  -

%0 Journal Article
%A Ayoub, Joseph
%A Ivorra, Florian
%A Sebag, Julien
%T Motives of rigid analytic tubes and nearby motivic sheaves
%J Annales scientifiques de l'École Normale Supérieure
%D 2017
%P 1335-1382
%V 50
%N 6
%I Société Mathématique de France. Tous droits réservés
%U http://www.numdam.org/articles/10.24033/asens.2347/
%R 10.24033/asens.2347
%G en
%F ASENS_2017__50_6_1335_0

Ayoub, Joseph; Ivorra, Florian; Sebag, Julien. Motives of rigid analytic tubes and nearby motivic sheaves. Annales scientifiques de l'École Normale Supérieure, Série 4, Tome 50 (2017) no. 6, pp. 1335-1382. doi : 10.24033/asens.2347. http://www.numdam.org/articles/10.24033/asens.2347/

Bibliographie
Cité par

Abbes, A., Progress in Math., 286, Birkhäuser, 2010, 477 pages | MR

Ayoub, J. Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique. I, Astérisque, Volume 314 (2007) | Numdam | MR | Zbl

Ayoub, J. Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique. II, Astérisque, Volume 315 (2007) | Numdam | Zbl

Ayoub, J. Note sur les opérations de Grothendieck et la réalisation de Betti, J. Inst. Math. Jussieu, Volume 9 (2010), pp. 225-263 | DOI | MR | Zbl

Ayoub, J. La réalisation étale et les opérations de Grothendieck, Ann. Sci. Éc. Norm. Supér., Volume 47 (2014), pp. 1-145 | DOI | Numdam | MR | Zbl

Ayoub, J. Motifs des variétés analytiques rigides, Mém. Soc. Math. Fr., Volume 140-141 (2015), 386 pages | MR | Zbl

Ayoub, J. Une version relative de la conjecture des périodes de Kontsevich-Zagier, Ann. of Math., Volume 181 (2015), pp. 905-992 | DOI | MR | Zbl

Ayoub, J.; Zucker, S. Relative Artin motives and the reductive Borel-Serre compactification of a locally symmetric variety, Invent. math., Volume 188 (2012), pp. 277-427 | DOI | MR | Zbl

Berkovich, V. G. Étale cohomology for non-Archimedean analytic spaces, Publ. Math. IHÉS, Volume 78 (1993), pp. 5-161 | DOI | Numdam | MR | Zbl

Berkovich, V. G. Vanishing cycles for formal schemes, Invent. math., Volume 115 (1994), pp. 539-571 | DOI | MR | Zbl

Berthelot, P. Cohomologie rigide et cohomologie rigide à supports propres (1996) (preprint https://perso.univ-rennes1.fr/pierre.berthelot/publis/Cohomologie_Rigide_I.pdf )

Berkovich, V. G. Vanishing cycles for formal schemes. II, Invent. math., Volume 125 (1996), pp. 367-390 | DOI | MR | Zbl

Bosch, S.; Güntzer, U.; Remmert, R., Grundl. math. Wiss., 261, Springer, 1984, 436 pages | MR | Zbl

Bosch, S.; Lütkebohmert, W. Formal and rigid geometry. I. Rigid spaces, Math. Ann., Volume 295 (1993), pp. 291-317 | DOI | MR | Zbl

Bosch, S.; Lütkebohmert, W. Formal and rigid geometry. II. Flattening techniques, Math. Ann., Volume 296 (1993), pp. 403-429 | DOI | MR | Zbl

Denef, J.; Loeser, F. Lefschetz numbers of iterates of the monodromy and truncated arcs, Topology, Volume 41 (2002), pp. 1031-1040 | DOI | MR | Zbl

Denef, J.; Loeser, F. Motivic Igusa zeta functions, J. Algebraic Geom., Volume 7 (1998), pp. 505-537 | MR | Zbl

Drinfeld, V., The unity of mathematics (Progr. Math.), Volume 244, Birkhäuser, 2006, pp. 263-304 | DOI | MR | Zbl

Gallauer Alves de Souza, M. Traces in monoidal derivators, and homotopy colimits, Adv. Math., Volume 261 (2014), pp. 26-84 | DOI | MR | Zbl

Guibert, G.; Loeser, F.; Merle, M. Iterated vanishing cycles, convolution, and a motivic analogue of a conjecture of Steenbrink, Duke Math. J., Volume 132 (2006), pp. 409-457 | DOI | MR | Zbl

Grothendieck, A. Éléments de géométrie algébrique. I. Le langage des schémas, Publ. Math. IHÉS, Volume 4 (1960), pp. 5-228 | DOI | Numdam | MR | Zbl

Hrushovski, E.; Kazhdan, D., Algebraic geometry and number theory (Progress in Math.), Volume 253, Birkhäuser, 2006, pp. 261-405 | DOI | MR | Zbl

Hrushovski, E.; Kazhdan, D. The value ring of geometric motivic integration, and the Iwahori Hecke algebra of ${SL}_{2}$ , Geom. Funct. Anal., Volume 17 (2008), pp. 1924-1967 | DOI | MR | Zbl

Hrushovski, E.; Loeser, F. Monodromy and the Lefschetz fixed point formula, Ann. Sci. Éc. Norm. Supér., Volume 48 (2015), pp. 313-349 | DOI | Numdam | MR | Zbl

Ivorra, F.; Sebag, J. Nearby motives and motivic nearby cycles, Selecta Math., Volume 19 (2013), pp. 879-902 | DOI | MR | Zbl

Jardine, J. F. Motivic symmetric spectra, Doc. Math., Volume 5 (2000), pp. 445-553 | DOI | MR | Zbl

Le Stum, B., Cambridge Tracts in Mathematics, 172, Cambridge Univ. Press, 2007, 319 pages | DOI | MR | Zbl

Liu, Q., Oxford Graduate Texts in Math., 6, Oxford Univ. Press, 2002, 576 pages | MR | Zbl

Lunts, V. A.; Schnürer, O. M. Motivic vanishing cycles as a motivic measure (preprint arXiv:1511.02453 ) | MR

Loeser, F.; Sebag, J. Motivic integration on smooth rigid varieties and invariants of degenerations, Duke Math. J., Volume 119 (2003), pp. 315-344 | DOI | MR | Zbl

Matsumura, H., Cambridge Studies in Advanced Math., 8, Cambridge Univ. Press, 1989, 320 pages | MR | Zbl

Morel, F.; Voevodsky, V. $𝐀^{1}$ -homotopy theory of schemes, Publ. Math. IHÉS, Volume 90 (1999), pp. 45-143 | DOI | Numdam | MR | Zbl

Nicaise, J. A trace formula for rigid varieties, and motivic Weil generating series for formal schemes, Math. Ann., Volume 343 (2009), pp. 285-349 | DOI | MR | Zbl

Nicaise, J.; Sebag, J. Motivic Serre invariants, ramification, and the analytic Milnor fiber, Invent. math., Volume 168 (2007), pp. 133-173 | DOI | MR | Zbl

Raynaud, M., Table Ronde d'Analyse non archimédienne (Paris, 1972), pp. 319-327 | Numdam | MR | Zbl

Riou, J. Dualité de Spanier-Whitehead en géométrie algébrique, C. R. Math. Acad. Sci. Paris, Volume 340 (2005), pp. 431-436 | DOI | MR | Zbl

Sebag, J. Rationalité des séries de Poincaré et des fonctions zêta motiviques, Manuscripta Math., Volume 115 (2004), pp. 125-162 | DOI | MR | Zbl

Voevodsky, V. $𝐀^{1}$ -homotopy theory, Doc. Math. (Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998)), Volume extra Vol. I (1998), pp. 579-604 | MR | Zbl

Cité par Sources :