Betti realization of varieties defined by formal Laurent series

Achinger, Piotr¹ ; Talpo, Mattia²

¹ Instytut Matematyczny Polskiej Akademii Nauk, Warsaw, Poland
² Dipartimento di Matematica, Università di Pisa, Pisa, Italy

Geometry & topology, Tome 25 (2021) no. 4, pp. 1919-1978.

Résumé

We give two constructions of functorial topological realizations for schemes of finite type over the field $ℂ\left(\left(t\right)\right)$ of formal Laurent series with complex coefficients, with values in the homotopy category of spaces over the circle. The problem of constructing such a realization was stated by D Treumann, motivated by certain questions in mirror symmetry. The first construction uses spreading out and the usual Betti realization over $ℂ$. The second uses generalized semistable models and the log Betti realization defined by Kato and Nakayama, and applies to smooth rigid analytic spaces as well. We provide comparison theorems between the two constructions and relate them to the étale homotopy type and de Rham cohomology. As an illustration of the second construction, we treat two examples, the Tate curve and the nonarchimedean Hopf surface.

Détail

DOI : 10.2140/gt.2021.25.1919

Classification : 14D06, 14F35, 14F45
Keywords: Kato–Nakayama space, log geometry, Betti realization, rigid analytic space, topology of degenerations, étale homotopy

Bibliographie

[1] D Abramovich, Q Chen, D Gillam, Y Huang, M Olsson, M Satriano, S Sun, Logarithmic geometry and moduli, from: "Handbook of moduli, I" (editors G Farkas, I Morrison), Adv. Lect. Math. 24, International (2013) 1

[2] D Abramovich, M Temkin, Functorial factorization of birational maps for qe schemes in characteristic 0, Algebra Number Theory 13 (2019) 379 | DOI

[3] P Achinger, K(π,1) spaces in algebraic geometry, PhD thesis, University of California, Berkeley (2015)

[4] P Achinger, A Ogus, Monodromy and log geometry, Tunis. J. Math. 2 (2020) 455 | DOI

[5] M Artin, Algebraic approximation of structures over complete local rings, Inst. Hautes Études Sci. Publ. Math. 36 (1969) 23 | DOI

[6] M Artin, A Grothendieck, J L Verdier, Théorie des topos et cohomologie étale des schémas, Tome 2 : Exposés V–VIII (SGA 42 ), 270, Springer (1972)

[7] M Artin, A Grothendieck, J L Verdier, Théorie des topos et cohomologie étale des schémas, Tome 3 : Exposés IX–XIX (SGA 43 ), 305, Springer (1973)

[8] M Artin, B Mazur, Étale homotopy, 100, Springer (1969) | DOI

[9] J Ayoub, Note sur les opérations de Grothendieck et la réalisation de Betti, J. Inst. Math. Jussieu 9 (2010) 225 | DOI

[10] A Beilinson, p–adic periods and derived de Rham cohomology, J. Amer. Math. Soc. 25 (2012) 715 | DOI

[11] P Belmans, A J De Jong, Others, The Stacks project, electronic reference (2005–)

[12] V G Berkovich, Complex analytic vanishing cycles for formal schemes, preprint (2015)

[13] J Berner, Étale homotopy theory of non-Archimedean analytic spaces, preprint (2017)

[14] A Blanc, Topological K–theory of complex noncommutative spaces, Compos. Math. 152 (2016) 489 | DOI

[15] N Borne, A Vistoli, Parabolic sheaves on logarithmic schemes, Adv. Math. 231 (2012) 1327 | DOI

[16] S Bosch, Lectures on formal and rigid geometry, 2105, Springer (2014) | DOI

[17] S Bosch, U Güntzer, R Remmert, Non-Archimedean analysis : a systematic approach to rigid analytic geometry, 261, Springer (1984)

[18] S Bosch, W Lütkebohmert, Formal and rigid geometry, I : Rigid spaces, Math. Ann. 295 (1993) 291 | DOI

[19] D Carchedi, On the étale homotopy type of higher stacks, preprint (2015)

[20] D Carchedi, S Scherotzke, N Sibilla, M Talpo, Kato–Nakayama spaces, infinite root stacks and the profinite homotopy type of log schemes, Geom. Topol. 21 (2017) 3093 | DOI

[21] D Carchedi, S Scherotzke, N Sibilla, M Talpo, On the profinite homotopy type of log schemes, preprint (2019)

[22] B Conrad, Deligne’s notes on Nagata compactifications, J. Ramanujan Math. Soc. 22 (2007) 205

[23] D Dugger, D C Isaksen, Topological hypercovers and A1–realizations, Math. Z. 246 (2004) 667 | DOI

[24] W G Dwyer, D M Kan, Calculating simplicial localizations, J. Pure Appl. Algebra 18 (1980) 17 | DOI

[25] E M Friedlander, Étale homotopy of simplicial schemes, 104, Princeton Univ. Press (1982)

[26] K Fujiwara, A proof of the absolute purity conjecture (after Gabber), from: "Algebraic geometry" (editors S Usui, M Green, L Illusie, K Kato, E Looijenga, S Mukai, S Saito), Adv. Stud. Pure Math. 36, Math. Soc. Japan (2002) 153 | DOI

[27] K Fujiwara, F Kato, Foundations of rigid geometry, I, Eur. Math. Soc. (2018) | DOI

[28] P Gabriel, M Zisman, Calculus of fractions and homotopy theory, 35, Springer (1967) | DOI

[29] J Giraud, Cohomologie non abélienne, 179, Springer (1971) | DOI

[30] M Goresky, R Macpherson, Stratified Morse theory, 14, Springer (1988) | DOI

[31] M Groth, A short course on ∞–categories, preprint (2010)

[32] A Huber, C Jörder, Differential forms in the h–topology, Algebr. Geom. 1 (2014) 449 | DOI

[33] L Illusie, An overview of the work of K Fujiwara, K Kato, and C Nakayama on logarithmic étale cohomology, from: "Cohomologies –adiques et applications arithmétiques, II" (editors P Berthelot, J M Fontaine, L Illusie, K Kato, M Rapoport), Astérisque 279, Soc. Math. France (2002) 271

[34] L Illusie, K Kato, C Nakayama, Quasi-unipotent logarithmic Riemann–Hilbert correspondences, J. Math. Sci. Univ. Tokyo 12 (2005) 1

[35] J F Jardine, Simplicial presheaves, J. Pure Appl. Algebra 47 (1987) 35 | DOI

[36] K Kato, C Nakayama, Log Betti cohomology, log étale cohomology, and log de Rham cohomology of log schemes over C, Kodai Math. J. 22 (1999) 161 | DOI

[37] C Koppensteiner, The de Rham functor for logarithmic D–modules, Selecta Math. 26 (2020) | DOI

[38] J Lurie, Higher topos theory, 170, Princeton Univ. Press (2009) | DOI

[39] J Lurie, Derived algebraic geometry, V: Structured spaces, preprint (2011)

[40] F Morel, V Voevodsky, A1–homotopy theory of schemes, Inst. Hautes Études Sci. Publ. Math. 90 (1999) 45 | DOI

[41] C Nakayama, Logarithmic étale cohomology, Math. Ann. 308 (1997) 365 | DOI

[42] C Nakayama, Nearby cycles for log smooth families, Compos. Math. 112 (1998) 45 | DOI

[43] C Nakayama, A Ogus, Relative rounding in toric and logarithmic geometry, Geom. Topol. 14 (2010) 2189 | DOI

[44] A Néron, Modèles minimaux des variétés abéliennes sur les corps locaux et globaux, Inst. Hautes Études Sci. Publ. Math. 21 (1964) 128 | DOI

[45] A Ogus, Lectures on logarithmic algebraic geometry, 178, Cambridge Univ. Press (2018) | DOI

[46] M Olsson, Kummer coverings and specialization, preprint (2017)

[47] M Raynaud, Géométrie analytique rigide d’après Tate, Kiehl,..., from: "Table ronde d’analyse non archimédienne", Bull. Soc. Math. France, Mém 39-40, Soc. Math. France (1974) 319 | DOI

[48] D Rydh, Submersions and effective descent of étale morphisms, Bull. Soc. Math. France 138 (2010) 181 | DOI

[49] J P Serre, Exemples de variétés projectives conjuguées non homéomorphes, C. R. Acad. Sci. Paris 258 (1964) 4194

[50] S Smale, A Vietoris mapping theorem for homotopy, Proc. Amer. Math. Soc. 8 (1957) 604 | DOI

[51] A J Stewart, V Vologodsky, Motivic integral of K3 surfaces over a non-Archimedean field, Adv. Math. 228 (2011) 2688 | DOI

[52] A Suslin, V Voevodsky, Singular homology of abstract algebraic varieties, Invent. Math. 123 (1996) 61 | DOI

[53] M Talpo, A Vistoli, Infinite root stacks and quasi-coherent sheaves on logarithmic schemes, Proc. Lond. Math. Soc. 116 (2018) 1187 | DOI

[54] M Talpo, A Vistoli, The Kato–Nakayama space as a transcendental root stack, Int. Math. Res. Not. 2018 (2018) 6145 | DOI

[55] M Temkin, Functorial desingularization of quasi-excellent schemes in characteristic zero: the nonembedded case, Duke Math. J. 161 (2012) 2207 | DOI

[56] D Treumann, Is there a geometric realization of C((t))–varieties ?, MathOverflow question (2016)

[57] D Treumann, Complex K–theory of mirror pairs, preprint (2019)

[58] H Voskuil, Non-Archimedean Hopf surfaces, Sém. Théor. Nombres Bordeaux 3 (1991) 405 | DOI