Smooth weight structures and birationality filtrations on motivic categories
HTML articles powered by AMS MathViewer
- by
M. V. Bondarko and D. Z. Kumallagov
Translated by: the authors - St. Petersburg Math. J. 33 (2022), 777-796
- DOI: https://doi.org/10.1090/spmj/1726
- Published electronically: August 24, 2022
- PDF | Request permission
Abstract:
In various triangulated motivic categories, a vast family of aisles (these are certain classes of objects) is introduced. These aisles are defined in terms of the corresponding “motives” (or motivic spectra) of smooth varieties; it is proved that they are expressed in terms of the corresponding homotopy $t$-structures. The aisles in question are described in terms of stalks at function fields, and it is shown that they widely generalize the ones corresponding to slice filtrations. Further, the filtrations on the “homotopy hearts” ${\underline {Ht}}_{\mathrm {hom}}^{\mathrm {eff}}$ of the corresponding effective subcategories that are induced by these aisles can be described in terms of (Nisnevich) sheaf cohomology as well as in terms of the Voevodsky contractions $-_{-1}$. Respectively, the condition for an object of ${\underline {Ht}}_{\mathrm {hom}}^{\mathrm {eff}}$ to be weakly birational (i.e., for its $(n+1)$st contraction to be trivial, or equivalently, its Nisnevich cohomology to vanish in degrees strictly greater than $n$ for some $n\ge 0$) are expressed in terms of these aisles; this statement generalizes well-known results of Kahn and Sujatha. Next, these classes give rise to weight structures $w_{\mathrm {Smooth}}^{s}$ (where the $s=(s_{j})$ are nondecreasing sequences parametrizing our aisles) that vastly generalize the Chow weight structures $w_{\operatorname {Chow}}$ defined earlier. By using general abstract nonsense, the corresponding adjacent $t$-structures $t_{\mathrm {Smooth}}^{s}$ are constructed and it is proved that they give the birationality filtrations on ${\underline {Ht}}^{\mathrm {eff}}_{\mathrm {hom}}$.
Moreover, some of these weight structures induce weight structures on the corresponding $n$-birational motivic categories (these are the localizations by the levels of the slice filtrations). The results also yield some new unramified cohomology calculations.
References
- Leovigildo Alonso Tarrío, Ana Jeremías López, and María José Souto Salorio, Construction of $t$-structures and equivalences of derived categories, Trans. Amer. Math. Soc. 355 (2003), no. 6, 2523–2543. MR 1974001, DOI 10.1090/S0002-9947-03-03261-6
- Alexey Ananyevskiy and Alexander Neshitov, Framed and MW-transfers for homotopy modules, Selecta Math. (N.S.) 25 (2019), no. 2, Paper No. 26, 41. MR 3925101, DOI 10.1007/s00029-019-0472-0
- Aravind Asok, Birational invariants and $\Bbb A^1$-connectedness, J. Reine Angew. Math. 681 (2013), 39–64. MR 3181489, DOI 10.1515/crelle-2012-0034
- Joseph Ayoub, Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique. I, Astérisque 314 (2007), x+466 pp. (2008) (French, with English and French summaries). MR 2423375
- Tom Bachmann, On the conservativity of the functor assigning to a motivic spectrum its motive, Duke Math. J. 167 (2018), no. 8, 1525–1571. MR 3807316, DOI 10.1215/00127094-2018-0002
- Tom Bachmann, Hana Jia Kong, Guozhen Wang, and Zhouli Xu, The Chow $t$-structure on the $\infty$-category of motivic spectra, Ann. of Math. (2) 195 (2022), no. 2, 707–773. MR 4387236, DOI 10.4007/annals.2022.195.2.5
- Tom Bachmann and Maria Yakerson, Towards conservativity of $\Bbb G_m$-stabilization, Geom. Topol. 24 (2020), no. 4, 1969–2034. MR 4173925, DOI 10.2140/gt.2020.24.1969
- A. A. Beĭlinson, J. Bernstein, and P. Deligne, Faisceaux pervers, Analysis and topology on singular spaces, I (Luminy, 1981) Astérisque, vol. 100, Soc. Math. France, Paris, 1982, pp. 5–171 (French). MR 751966
- M. V. Bondarko, Weight structures vs. $t$-structures; weight filtrations, spectral sequences, and complexes (for motives and in general), J. K-Theory 6 (2010), no. 3, 387–504. MR 2746283, DOI 10.1017/is010012005jkt083
- Mikhail V. Bondarko, Motivically functorial coniveau spectral sequences; direct summands of cohomology of function fields, Doc. Math. Extra vol.: Andrei A. Suslin sixtieth birthday (2010), 33–117. MR 2804250
- M. V. Bondarko, $\Bbb Z[1/p]$-motivic resolution of singularities, Compos. Math. 147 (2011), no. 5, 1434–1446. MR 2834727, DOI 10.1112/S0010437X11005410
- M. V. Bondarko, Gersten weight structures for motivic homotopy categories; retracts of cohomology of function fields, motivic dimensions, and coniveau spectral sequences, arXiv:1803.01432, 2018.
- Mikhail V. Bondarko, On weight complexes, pure functors, and detecting weights, J. Algebra 574 (2021), 617–668. MR 4217889, DOI 10.1016/j.jalgebra.2021.02.005
- M. V. Bondarko, From weight structures to (orthogonal) $t$-structures and back, arXiv:1907.03686, 2019.
- Mikhail V. Bondarko, On infinite effectivity of motivic spectra and the vanishing of their motives, Doc. Math. 25 (2020), 811–840. MR 4137936
- M. V. Bondarko, On Chow-pure cohomology and Euler characteristics for motives and varieties, and their relation to unramified cohomology and Brauer groups, arXiv:2003.10415, 2020.
- Mikhail Bondarko and Frédéric Déglise, Dimensional homotopy t-structures in motivic homotopy theory, Adv. Math. 311 (2017), 91–189. MR 3628213, DOI 10.1016/j.aim.2017.02.003
- M. V. Bondarko and D. Z. Kumallagov, Chow weight structures without projectivity and singularity resolution, Algebra i Analiz 30 (2018), no. 5, 57–83 (Russian, with Russian summary); English transl., St. Petersburg Math. J. 30 (2019), no. 5, 803–819. MR 3856101, DOI 10.1090/spmj/1570
- M. V. Bondarko and D. Z. Kumallagov, The Chow-weight homology of motivic complexes and its relation to motivic homology, Vestn. St.-Peterbg. Univ. Mat. Mekh. Astron. 7(65) (2020), no. 4, 560–587 (Russian, with English and Russian summaries); English transl., Vestnik St. Petersburg Univ. Math. 53 (2020), no. 4, 377–397. MR 4195431, DOI 10.21638/spbu01.2020.401
- Mikhail V. Bondarko and Vladimir A. Sosnilo, On purely generated $\alpha$-smashing weight structures and weight-exact localizations, J. Algebra 535 (2019), 407–455. MR 3980471, DOI 10.1016/j.jalgebra.2019.07.003
- Mikhail V. Bondarko and Vladimir A. Sosnilo, On constructing weight structures and extending them to idempotent completions, Homology Homotopy Appl. 20 (2018), no. 1, 37–57. MR 3775347, DOI 10.4310/HHA.2018.v20.n1.a3
- Mikhail V. Bondarko and Vladimir A. Sosnilo, On Chow-weight homology of geometric motives, Trans. Amer. Math. Soc. 375 (2022), no. 1, 173–244. MR 4358666, DOI 10.1090/tran/8467
- Denis-Charles Cisinski and Frédéric Déglise, Triangulated categories of mixed motives, Springer Monographs in Mathematics, Springer, Cham, [2019] ©2019. MR 3971240, DOI 10.1007/978-3-030-33242-6
- Jean-Louis Colliot-Thélène, Raymond T. Hoobler, and Bruno Kahn, The Bloch-Ogus-Gabber theorem, Algebraic $K$-theory (Toronto, ON, 1996) Fields Inst. Commun., vol. 16, Amer. Math. Soc., Providence, RI, 1997, pp. 31–94. MR 1466971
- F. Déglise, Modules homotopiques, Doc. Math. 16 (2011), 411–455 (French, with English summary). MR 2823365
- Frédéric Déglise, Orientable homotopy modules, Amer. J. Math. 135 (2013), no. 2, 519–560. MR 3038720, DOI 10.1353/ajm.2013.0019
- Grigory Garkusha and Ivan Panin, Homotopy invariant presheaves with framed transfers, Camb. J. Math. 8 (2020), no. 1, 1–94. MR 4085432, DOI 10.4310/CJM.2020.v8.n1.a1
- Marc Hoyois, From algebraic cobordism to motivic cohomology, J. Reine Angew. Math. 702 (2015), 173–226. MR 3341470, DOI 10.1515/crelle-2013-0038
- Bruno Kahn and Ramdorai Sujatha, Birational motives, II: Triangulated birational motives, Int. Math. Res. Not. IMRN 22 (2017), 6778–6831. MR 3737321, DOI 10.1093/imrn/rnw184
- Marc Levine, Convergence of Voevodsky’s slice tower, Doc. Math. 18 (2013), 907–941. MR 3084567
- Fabien Morel, An introduction to $\Bbb A^1$-homotopy theory, Contemporary developments in algebraic $K$-theory, ICTP Lect. Notes, XV, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2004, pp. 357–441. MR 2175638
- Fabien Morel, The stable ${\Bbb A}^1$-connectivity theorems, $K$-Theory 35 (2005), no. 1-2, 1–68. MR 2240215, DOI 10.1007/s10977-005-1562-7
- Amnon Neeman, Triangulated categories, Annals of Mathematics Studies, vol. 148, Princeton University Press, Princeton, NJ, 2001. MR 1812507, DOI 10.1515/9781400837212
- David Pauksztello, A note on compactly generated co-$t$-structures, Comm. Algebra 40 (2012), no. 2, 386–394. MR 2889469, DOI 10.1080/00927872.2010.528714
- Pablo Pelaez, Birational motivic homotopy theories and the slice filtration, Doc. Math. 18 (2013), 51–70. MR 3035769
- Pablo Pelaez, Mixed motives and motivic birational covers, J. Pure Appl. Algebra 221 (2017), no. 7, 1699–1716. MR 3614974, DOI 10.1016/j.jpaa.2016.12.024
- Vladimir Voevodsky, Triangulated categories of motives over a field, Cycles, transfers, and motivic homology theories, Ann. of Math. Stud., vol. 143, Princeton Univ. Press, Princeton, NJ, 2000, pp. 188–238. MR 1764202
- Vladimir Voevodsky, Cohomological theory of presheaves with transfers, Cycles, transfers, and motivic homology theories, Ann. of Math. Stud., vol. 143, Princeton Univ. Press, Princeton, NJ, 2000, pp. 87–137. MR 1764200
Bibliographic Information
- M. V. Bondarko
- Affiliation: St. Petersburg State University, Universitetskay nab. 7–9, 199034 St. Petersburg, Russia
- Email: m.bondarko@spbu.ru
- D. Z. Kumallagov
- Affiliation: St. Petersburg State University, Universitetskay nab. 7–9, 199034 St. Petersburg, Russia
- Email: st012247@student.spbu.ru
- Received by editor(s): March 24, 2021
- Published electronically: August 24, 2022
- Additional Notes: Sections 1, 2, and 5 were supported by the RFBR grant no. 19-31-90074. Sections 3–4 were supported by the Russian Science Foundation grant no. 20-41-04401
- © Copyright 2022 American Mathematical Society
- Journal: St. Petersburg Math. J. 33 (2022), 777-796
- MSC (2020): Primary 14C15; Secondary 18C40
- DOI: https://doi.org/10.1090/spmj/1726