Previous |  Up |  Next

Article

Keywords:
Six functor formalism; motives; algebraic stacks; Barsotti-Tate groups
Summary:
We define an $\infty$-category of rational motives for inverse limits of algebraic stacks, so-called pro-algebraic stacks. We show that it admits a 6-functor formalism for certain classes of morphisms. On pro-schemes, we show that this 6-functor formalism is in the sense of Liu-Zheng. This theory yields an approach to the theory of motives for non-representable algebraic stacks and non-finite type morphisms.
References:
[1] Ayoub, Joseph: Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique. (I, II). Astérisque 314, 315, Société Mathématique de France, \url{ http://user.math.uzh.ch/ayoub/PDF-Files/THESE.PDF}
[2] Behrens, Mark, Davis, Daniel G.: The homotopy fixed point spectra of profinite Galois extensions. Trans. Amer. Math. Soc., Vol. 362, Iss. 9, 4983-5042, https://doi.org/10.1090/S0002-9947-10-05154-8, DOI:10.1090/S0002-9947-10-05154-8 DOI 10.1090/S0002-9947-10-05154-8
[3] Bouthier, Alexis, Kazhdan, David, Varshavsky, Yakov: Perverse sheaves on infinite-dimensional stacks, and affine Springer theory. Adv. Math., Vol. 408, Paper No. 108572, 132, https://doi.org/10.1016/j.aim.2022.108572, DOI:10.1016/j.aim.2022.108572 DOI 10.1016/j.aim.2022.108572
[4] Brokemper, Dennis: On the chow ring of the stack of truncated barsotti-tate groups and of the classifying space of some chevalley groups. PhD thesis, Universität Paderborn
[5] Brokemper, Dennis: On the Chow ring of the stack of truncated Barsotti-Tate groups. Pacific J. Math., Vol. 296, Iss. 2, 271-303, https://doi.org/10.2140/pjm.2018.296.271, DOI:10.2140/pjm.2018.296.271 DOI 10.2140/pjm.2018.296.271
[6] Chowdhury, Chirantan: Six-functor formalisms II : The $\infty$-categorical compactification. https://arxiv.org/abs/2412.03231, arXiv:2412.03231
[7] Cisinski, Denis-Charles, Déglise, Frédéric: Triangulated categories of mixed motives. Springer monographs in mathematics, Springer, Cham, https://doi.org/10.1007/978-3-030-33242-6, ISBN:978-3-030-33241-9; 978-3-030-33242-6, DOI:10.1007/978-3-030-33242-6 DOI 10.1007/978-3-030-33242-6
[8] Drew, Brad, Gallauer, Martin: The universal six-functor formalism. Ann. K-Theory, Vol. 7, Iss. 4, 599-649, https://doi.org/10.2140/akt.2022.7.599, DOI:10.2140/akt.2022.7.599 DOI 10.2140/akt.2022.7.599
[9] Gaitsgory, Dennis: Notes on Geometric Langlands: Generalities on $DG$-categories. https://people.mpim-bonn.mpg.de/gaitsgde/GL/textDG.pdf
[10] Gaitsgory, Dennis, Rozenblyum, Nick: A study in derived algebraic geometry. Vol. I. Correspondences and duality. Mathematical surveys and monographs, American Mathematical Society, Providence, https://doi.org/10.1090/surv/221.1, ISBN:978-1-4704-3569-1, DOI:10.1090/surv/221.1 DOI 10.1090/surv/221.1
[11] Illusie, Luc: Déformations de groupes de Barsotti-Tate (d'après A. Grothendieck). Seminar on arithmetic bundles: The mordell conjecture (Paris, 1983/84), pages 151-198, Astérisque
[12] Kashiwara, Masaki, Schapira, Pierre: Categories and sheaves. Grundlehren der mathematischen wissenschaften [fundamental principles of mathematical sciences], Springer, Berlin, https://doi.org/10.1007/3-540-27950-4, ISBN:978-3-540-27949-5; 3-540-27949-0, DOI:10.1007/3-540-27950-4 DOI 10.1007/3-540-27950-4
[13] Khan, Adeel A.: Virtual fundamental classes of derived stacks I. arXiv:1909.01332
[14] Lau, Eike: Smoothness of the truncated display functor. J. Amer. Math. Soc., Vol. 26, Iss. 1, 129-165, https://doi.org/10.1090/S0894-0347-2012-00744-9, DOI:10.1090/S0894-0347-2012-00744-9 DOI 10.1090/S0894-0347-2012-00744-9
[15] Lau, Eike: Higher frames and $G$-displays. Algebra and Number Theory, Vol. 15, Iss. 9, 2315-2355, https://doi.org/10.2140/ant.2021.15.2315, DOI:10.2140/ant.2021.15.2315 DOI 10.2140/ant.2021.15.2315
[16] Liu, Yifeng, Zheng, Weizhe: Enhanced six operations and base change theorem for higher artin stacks. arXiv:1211.5948
[17] Lurie, Jacob: Higher topos theory. Annals of mathematics studies, Princeton University Press, Princeton, ISBN:978-0-691-14049-0; 0-691-14049-9, DOI:10.1515/9781400830558 DOI 10.1515/9781400830558
[18] Lurie, Jacob: Higher algebra. https://www.math.ias.edu/~lurie/papers/HA.pdf
[19] Lurie, Jacob: Kerodon. https://kerodon.net
[20] Mann, Lucas: A $p$-adic 6-functor formalism in rigid-analytic geometry. arXiv:2206.02022
[21] Richarz, Timo, Scholbach, Jakob: The intersection motive of the moduli stack of shtukas. Forum Math. Sigma, Vol. 8, Paper No. e8, 99, https://doi.org/10.1017/fms.2019.32, DOI:10.1017/fms.2019.32 DOI 10.1017/fms.2019.32
[22] Stacks Project Authors: Stacks project. https://stacks.math.columbia.edu
[23] Wedhorn, Torsten: Extension and lifting of $g$-bundles on stacks. https://arxiv.org/abs/2311.05151, arXiv:2311.05151
[24] Yaylali, Can: Motivic homotopy theory of the classifying stack of finite groups of Lie type. arXiv:2306.09808
Partner of
EuDML logo