A quadratic refinement of the Grothendieck–Lefschetz–Verdier trace formula

Hoyois, Marc¹

¹Department of Mathematics, Northwestern University, 2033 Sheridan Road, Evanston, IL 60208, USA

Algebraic and Geometric Topology, Tome 14 (2014) no. 6, pp. 3603-3658

Résumé

We prove a trace formula in stable motivic homotopy theory over a general base scheme, equating the trace of an endomorphism of a smooth proper scheme with the “Euler characteristic integral” of a certain cohomotopy class over its scheme of fixed points. When the base is a field and the fixed points are étale, we compute this integral in terms of Morel’s identification of the ring of endomorphisms of the motivic sphere spectrum with the Grothendieck–Witt ring. In particular, we show that the Euler characteristic of an étale algebra corresponds to the class of its trace form in the Grothendieck–Witt ring.

Détail

DOI : 10.2140/agt.2014.14.3603

Classification : 14F42, 47H10, 11E81
Keywords: motivic homotopy theory, Grothendieck–Witt group, trace formula

Bibliographie

[1] M Artin, A Grothendieck, J L Verdier, SGA 4: Théorie des topos et cohomologie étale des schémas, Tome 1, Lect. Notes Math. 269, Springer (1972)

[2] M Artin, A Grothendieck, J L Verdier, SGA 4: Théorie des topos et cohomologie étale des schémas, Tome 3, Lect. Notes Math. 305, Springer (1973)

[3] J Ayoub, Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique, I, Astérisque 315, Soc. Math. France

[4] J Ayoub, La réalisation étale et les opérations de Grothendieck, Ann. Sci. Éc. Norm. Supér. 47 (2014) 1

[5] D C Cisinski, F Déglise, Triangulated categories of mixed motives, (2012)

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

[7] A Dold, Lectures on algebraic topology, Classics in Mathematics, Springer (1995)

[8] A Dold, D Puppe, Duality, trace and transfer, Trudy Mat. Inst. Steklov. 154 (1983) 81

[9] W Fulton, Intersection theory, Ergeb. Math. Grenzgeb. 2, Springer (1998)

[10] W D Geyer, G Harder, M Knebusch, W Scharlau, Ein Residuensatz für symmetrische Bilinearformen, Invent. Math. 11 (1970) 319

[11] A Grothendieck, SGA 5: Cohomologie $\ell$–adique et fonctions $L$, Lect. Notes Math. 589, Springer (1977)

[12] A Grothendieck, Dieudonneé, EGA IV: Étude locale des schémas et des morphismes de schémas, Publ. Math. IHÉS 32, IHÉS (1967)

[13] M Hoyois, From algebraic cobordism to motivic cohomology,

[14] P Hu, On the Picard group of the stable $\mathbb{A}^1$–homotopy category, Topology 44 (2005) 609

[15] Y Liu, W Zheng, Gluing restricted nerves of $\infty$–categories, (2014)

[16] J Lurie, Higher topos theory, Annals Math. Studies 170, Princeton Univ. Press (2009)

[17] J P May, The additivity of traces in triangulated categories, Adv. Math. 163 (2001) 34

[18] J Milnor, D Husemoller, Symmetric bilinear forms, Ergeb. Math. Grenzgeb. 73, Springer (1973)

[19] F Morel, $\mathbb{A}^1$–algebraic topology, from: "Proceedings of the International Congress of Mathematicians, Vol. II" (editors M Sanz-Solé, J Soria, J L Varona, J Verdera), Eur. Math. Soc. (2006) 1035

[20] F Morel, $\mathbb{A}^1$–algebraic topology over a field, Lect. Notes Math. 2052, Springer (2012)

[21] F Morel, V Voevodsky, $\mathbf{A}^1$–homotopy theory of schemes, Inst. Hautes Études Sci. Publ. Math. (1999) 45

[22] Y A Nisnevich, The completely decomposed topology on schemes and associated descent spectral sequences in algebraic $K\!$–theory, from: "Algebraic $K\!$–theory: connections with geometry and topology" (editors J F Jardine, V P Snaith), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 279, Kluwer (1989) 241

[23] J Riou, Dualité de Spanier–Whitehead en géométrie algébrique, C. R. Math. Acad. Sci. Paris 340 (2005) 431

[24] M Robalo, Noncommutative motives I: A universal characterization of the motivic stable homotopy theory of schemes, (2013)

[25] W Scharlau, Quadratic reciprocity laws, Journal of Number Theory 4 (1972) 78

[26] J P Serre, Corps locaux, Hermann, Paris (1968) 245

[27] R W Thomason, T Trobaugh, Higher algebraic $K\!$–theory of schemes and of derived categories, from: "The Grothendieck Festschrift, Vol. III" (editors P Cartier, L Illusie, N M Katz, G Laumon, Y I Manin, K A Ribet), Progr. Math. 88, Birkhäuser (1990) 247

[28] V Voevodsky, Motivic cohomology with $\mathbf{Z}/2$–coefficients, Publ. Math. Inst. Hautes Études Sci. (2003) 59

[29] V Voevodsky, Homotopy theory of simplicial sheaves in completely decomposable topologies, J. Pure Appl. Algebra 214 (2010) 1384