Detecting motivic equivalences with motivic homology
HTML articles powered by AMS MathViewer
- by David Hemminger HTML | PDF
- Proc. Amer. Math. Soc. Ser. B 9 (2022), 180-185
Abstract:
Let $k$ be a field, let $R$ be a commutative ring, and assume the exponential characteristic of $k$ is invertible in $R$. In this note, we prove that isomorphisms in Voevodsky’s triangulated category of motives $\mathcal {DM}(k;R)$ are detected by motivic homology groups of base changes to all separable finitely generated field extensions of $k$. It then follows from previous conservativity results that these motivic homology groups detect isomorphisms between certain spaces in the pointed motivic homotopy category $\mathcal {H}(k)_*$.References
- A. Asok, J. Fasel, and M. J. Hopkins, Localization and nilpotent spaces in $\mathbb {A}^1$-homotopy theory, arXiv:1909.05185, 2019.
- 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
- T. Bachmann, The zeroth $\mathbb {P}^1$-stable homotopy sheaf of a motivic space. arXiv:2003.12021, 2020.
- Alexander Beilinson, Remarks on $n$-motives and correspondences at the generic point, Motives, polylogarithms and Hodge theory, Part I (Irvine, CA, 1998) Int. Press Lect. Ser., vol. 3, Int. Press, Somerville, MA, 2002, pp. 35–46. MR 1977583
- Denis-Charles Cisinski and Frédéric Déglise, Integral mixed motives in equal characteristic, Doc. Math. Extra vol.: Alexander S. Merkurjev’s sixtieth birthday (2015), 145–194. MR 3404379
- 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
- Niels Feld, Milnor-Witt homotopy sheaves and Morel generalized transfers, Adv. Math. 393 (2021), Paper No. 108094, 46. MR 4339534, DOI 10.1016/j.aim.2021.108094
- Marc Hoyois, Shane Kelly, and Paul Arne Østvær, The motivic Steenrod algebra in positive characteristic, J. Eur. Math. Soc. (JEMS) 19 (2017), no. 12, 3813–3849. MR 3730515, DOI 10.4171/JEMS/754
- Shane Kelly, Voevodsky motives and $l$dh-descent, Astérisque 391 (2017), 125 (English, with English and French summaries). MR 3673293
- Fabien Morel, $\Bbb A^1$-algebraic topology over a field, Lecture Notes in Mathematics, vol. 2052, Springer, Heidelberg, 2012. MR 2934577, DOI 10.1007/978-3-642-29514-0
- Oliver Röndigs and Paul Arne Østvær, Modules over motivic cohomology, Adv. Math. 219 (2008), no. 2, 689–727. MR 2435654, DOI 10.1016/j.aim.2008.05.013
- Burt Totaro, The motive of a classifying space, Geom. Topol. 20 (2016), no. 4, 2079–2133. MR 3548464, DOI 10.2140/gt.2016.20.2079
- Burt Totaro, Torus actions, Morse homology, and the Hilbert scheme of points on affine space, Épijournal Géom. Algébrique 5 (2021), Art. 12, 14 (English, with English and French summaries). MR 4315780, DOI 10.46298/epiga.2021.6792
- 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
- Kirsten Wickelgren and Ben Williams, The simplicial EHP sequence in $\Bbb A^1$-algebraic topology, Geom. Topol. 23 (2019), no. 4, 1691–1777. MR 3981318, DOI 10.2140/gt.2019.23.1691
Additional Information
- David Hemminger
- Affiliation: Department of Mathematics, UCLA, Box 951555, Los Angeles, California 90095-1555
- MR Author ID: 1202482
- ORCID: 0000-0002-3977-1828
- Email: dhemminger22@gmail.com
- Received by editor(s): December 15, 2020
- Received by editor(s) in revised form: February 4, 2021
- Published electronically: April 20, 2022
- Additional Notes: This work was partially supported by National Science Foundation grant DMS-1701237.
- Communicated by: Julie Bergner
- © Copyright 2022 by the author under Creative Commons Attribution 3.0 License (CC BY 3.0)
- Journal: Proc. Amer. Math. Soc. Ser. B 9 (2022), 180-185
- MSC (2020): Primary 14F42, 14C15
- DOI: https://doi.org/10.1090/bproc/82
- MathSciNet review: 4410405