Trace maps in motivic homotopy and local terms

Jin, Fangzhou

doi:10.1090/btran/169

Trace maps in motivic homotopy and local terms
HTML articles powered by AMS MathViewer

by Fangzhou Jin

Trans. Amer. Math. Soc. Ser. B 11 (2024), 215-247

DOI: https://doi.org/10.1090/btran/169

Published electronically: January 26, 2024

HTML | PDF

Abstract:

We define a trace map for every cohomological correspondence in the motivic stable homotopy category over a general base scheme, which takes values in the twisted bivariant groups. Local contributions to the trace map give rise to quadratic refinements of the classical local terms, and some $\mathbb {A}^1$-enumerative invariants, such as the local $\mathbb {A}^1$-Brouwer degree and the Euler class with support, can be interpreted as local terms. We prove an analogue of a theorem of Varshavsky, which states that for a contracting correspondence, the local terms agree with the naive local terms.

References

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
Joseph Ayoub, Florian Ivorra, and Julien Sebag, Motives of rigid analytic tubes and nearby motivic sheaves, Ann. Sci. Éc. Norm. Supér. (4) 50 (2017), no. 6, 1335–1382 (English, with English and French summaries). MR 3742195, DOI 10.24033/asens.2347
Joseph Ayoub, La réalisation étale et les opérations de Grothendieck, Ann. Sci. Éc. Norm. Supér. (4) 47 (2014), no. 1, 1–145 (French, with English and French summaries). MR 3205601, DOI 10.24033/asens.2210
Tom Bachmann and Marc Hoyois, Norms in motivic homotopy theory, Astérisque 425 (2021), ix+207 (English, with English and French summaries). MR 4288071, DOI 10.24033/ast
Tom Bachmann and Kirsten Wickelgren, Euler classes: six-functors formalism, dualities, integrality and linear subspaces of complete intersections, J. Inst. Math. Jussieu 22 (2023), no. 2, 681–746. MR 4557905, DOI 10.1017/S147474802100027X
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
Thomas Brazelton, Robert Burklund, Stephen McKean, Michael Montoro, and Morgan Opie, The trace of the local $\Bbb A^1$-degree, Homology Homotopy Appl. 23 (2021), no. 1, 243–255. MR 4162156, DOI 10.4310/hha.2021.v23.n1.a1
Thomas Brazelton, Stephen McKean, and Sabrina Pauli, Bézoutians and the $\Bbb A^1$-degree, Algebra Number Theory 17 (2023), no. 11, 1985–2012. MR 4648854, DOI 10.2140/ant.2023.17.1985
Denis-Charles Cisinski, Descente par éclatements en $K$-théorie invariante par homotopie, Ann. of Math. (2) 177 (2013), no. 2, 425–448 (French, with English and French summaries). MR 3010804, DOI 10.4007/annals.2013.177.2.2
Denis-Charles Cisinski, Cohomological methods in intersection theory, Homotopy theory and arithmetic geometry—motivic and Diophantine aspects, Lecture Notes in Math., vol. 2292, Springer, Cham, [2021] ©2021, pp. 49–105. MR 4419310, DOI 10.1007/978-3-030-78977-0_{3}
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, Étale motives, Compos. Math. 152 (2016), no. 3, 556–666. MR 3477640, DOI 10.1112/S0010437X15007459
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
Frédéric Déglise, Jean Fasel, Fangzhou Jin, and Adeel A. Khan, On the rational motivic homotopy category, J. Éc. polytech. Math. 8 (2021), 533–583 (English, with English and French summaries). MR 4225026, DOI 10.5802/jep.153
Frédéric Déglise, Fangzhou Jin, and Adeel A. Khan, Fundamental classes in motivic homotopy theory, J. Eur. Math. Soc. (JEMS) 23 (2021), no. 12, 3935–3993. MR 4321205, DOI 10.4171/jems/1094
Brad Drew and Martin Gallauer, The universal six-functor formalism, Ann. K-Theory 7 (2022), no. 4, 599–649. MR 4560376, DOI 10.2140/akt.2022.7.599
A. Grothendieck, Éléments de géométrie algébrique. III. Étude locale des schémas et des morphismes de schémas, Troisième partie, rédigés avec la collaboration de Jean Dieudonné, Inst. Hautes Études Sci. Publ. Math. No. 28, 1-255 (1966).
A. Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie, rédigés avec la collaboration de Jean Dieudonné, Inst. Hautes Études Sci. Publ. Math. No. 32, 1-361 (1967).
Elden Elmanto and Adeel A. Khan, Perfection in motivic homotopy theory, Proc. Lond. Math. Soc. (3) 120 (2020), no. 1, 28–38. MR 3999675, DOI 10.1112/plms.12280
H. Fausk, P. Hu, and J. P. May, Isomorphisms between left and right adjoints, Theory Appl. Categ. 11 (2003), No. 4, 107–131. MR 1988072
D. Ferrand, On the non additivity of the trace in derived categories, arXiv:math/0506589, 2005.
Kazuhiro Fujiwara, Rigid geometry, Lefschetz-Verdier trace formula and Deligne’s conjecture, Invent. Math. 127 (1997), no. 3, 489–533. MR 1431137, DOI 10.1007/s002220050129
William Fulton, Intersection theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 2, Springer-Verlag, Berlin, 1998. MR 1644323, DOI 10.1007/978-1-4612-1700-8
Mark Goresky and Robert MacPherson, Local contribution to the Lefschetz fixed point formula, Invent. Math. 111 (1993), no. 1, 1–33. MR 1193595, DOI 10.1007/BF01231277
A. Grothendieck, Formule de Lefschetz et rationalité des fonctions $L$, Sémin. Bourbaki Vol. 9, 17e année (1964/1965), Exp. No. 279, 15 p. (1966).
Marc Hoyois, A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula, Algebr. Geom. Topol. 14 (2014), no. 6, 3603–3658. MR 3302973, DOI 10.2140/agt.2014.14.3603
Luc Illusie, Around the Thom-Sebastiani theorem, with an appendix by Weizhe Zheng, Manuscripta Math. 152 (2017), no. 1-2, 61–125. MR 3595371, DOI 10.1007/s00229-016-0852-0
L. Illusie, Y. Laszlo, F. Orgogozo, Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schémas quasi-excellents, Séminaire à l’Ecole Polytechnique 2006-2008. With the collaboration of Frédéric Déglise, Alban Moreau, Vincent Pilloni, Michel Raynaud, Joël Riou, Benoît Stroh, Michael Temkin and Weizhe Zheng. Astérisque No. 363-364, Société Mathématique de France, Paris, 2014.
Fangzhou Jin and Enlin Yang, Künneth formulas for motives and additivity of traces, Adv. Math. 376 (2021), Paper No. 107446, 83. MR 4178918, DOI 10.1016/j.aim.2020.107446
F. Jin and E. Yang, Some results on the motivic nearby cycle, arXiv:2107.08603, 2022.
Jesse Leo Kass and Kirsten Wickelgren, The class of Eisenbud-Khimshiashvili-Levine is the local $\mathbf {A}^1$-Brouwer degree, Duke Math. J. 168 (2019), no. 3, 429–469. MR 3909901, DOI 10.1215/00127094-2018-0046
A. Khan, Motivic homotopy theory in derived algebraic geometry, Ph.D. thesis, Universität Duisburg-Essen, 2016, available at https://www.preschema.com/thesis/.
Marc Levine, Aspects of enumerative geometry with quadratic forms, Doc. Math. 25 (2020), 2179–2239. MR 4198841, DOI 10.4171/dm/797
Marc Levine and Arpon Raksit, Motivic Gauss-Bonnet formulas, Algebra Number Theory 14 (2020), no. 7, 1801–1851. MR 4150251, DOI 10.2140/ant.2020.14.1801
Marc Levine, Yaping Yang, Gufang Zhao, and Joël Riou, Algebraic elliptic cohomology theory and flops I, Math. Ann. 375 (2019), no. 3-4, 1823–1855. MR 4023393, DOI 10.1007/s00208-019-01880-x
Qing Lu and Weizhe Zheng, Categorical traces and a relative Lefschetz-Verdier formula, Forum Math. Sigma 10 (2022), Paper No. e10, 24. MR 4377268, DOI 10.1017/fms.2022.2
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
Martin Olsson, Motivic cohomology, localized Chern classes, and local terms, Manuscripta Math. 149 (2016), no. 1-2, 1–43. MR 3447138, DOI 10.1007/s00229-015-0765-3
Richard Pink, On the calculation of local terms in the Lefschetz-Verdier trace formula and its application to a conjecture of Deligne, Ann. of Math. (2) 135 (1992), no. 3, 483–525. MR 1166642, DOI 10.2307/2946574
Markus Rost, Chow groups with coefficients, Doc. Math. 1 (1996), No. 16, 319–393. MR 1418952
A. Grothendieck, Cohomologie l-adique et fonctions L, Séminaire de géométrie algébrique du Bois-Marie 1965-66 (SGA 5). Avec la collaboration de I. Bucur, C. Houzel, L. Illusie, J.-P. Jouanolou, et J.-P. Serre. Springer Lecture Notes, Vol. 589. Springer-Verlag, Berlin-New York, 1977.
Yakov Varshavsky, Lefschetz-Verdier trace formula and a generalization of a theorem of Fujiwara, Geom. Funct. Anal. 17 (2007), no. 1, 271–319. MR 2306659, DOI 10.1007/s00039-007-0596-9
J.-L. Verdier, Spécialisation de faisceaux et monodromie modérée, Analysis and topology on singular spaces, II, III (Luminy, 1981) Astérisque, vol. 101, Soc. Math. France, Paris, 1983, pp. 332–364 (French). MR 737938
En Lin Yang and Yi Geng Zhao, On the relative twist formula of $\ell$-adic sheaves, Acta Math. Sin. (Engl. Ser.) 37 (2021), no. 1, 73–94. MR 4204536, DOI 10.1007/s10114-019-8356-y