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

Abstract

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.

Final version (to appear in Alg. Geom. Top.)

References in corpus (5)

• Higher Topos Theory
• From algebraic cobordism to motivic cohomology
• On the algebraic K-theory of higher categories
• Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes
• Gluing restricted nerves of $\infty$-categories

Cited by in corpus (40)

• The six operations in equivariant motivic homotopy theory
• Fundamental classes in motivic homotopy theory
• The class of Eisenbud--Khimshiashvili--Levine is the local A1-Brouwer degree
• Affine representability results in ${\mathbb{A}}^1$-homotopy theory I: vector bundles
• Perfection in motivic homotopy theory
• Motivic Euler characteristics and Witt-valued characteristic classes
• An Arithmetic Count of the Lines on a Smooth Cubic Surface
• Motivic Gauß-Bonnet formulas
• The six-functor formalism for rigid analytic motives
• Aspects of enumerative geometry with quadratic forms
• The Morel-Voevodsky localization theorem in spectral algebraic geometry
• K-theory and G-theory of derived algebraic stacks
• On the rational motivic homotopy category
• The localization theorem for framed motivic spaces
• Some recent advances in topological Hochschild homology
• Framed transfers and motivic fundamental classes
• Tensor triangular geometry of filtered objects and sheaves
• Künneth formulas for motives and additivity of traces
• An arithmetic count of the lines meeting four lines in P^3
• Bézoutians and the ${\mathbb{A}}^1$-degree
• Elliptic cohomology is unique up to homotopy
• Iterated traces in 2-categories and Lefschetz theorems
• Bitangents to plane quartics via tropical geometry: rationality, ${\mathbb{A}}^1$-enumeration, and real signed count
• Topological models for stable motivic invariants of regular number rings
• The homotopy limit problem and the cellular Picard group of Hermitian $K$-theory
• Remarks on étale motivic stable homotopy theory
• Continuous K-Theory and Cohomology of Rigid Spaces
• Compactly supported ${\mathbb{A}}^1$-Euler characteristic and the Hochschild complex
• The cdh-local motivic homotopy category
• The homomorphism of presheaves ${\mathrm{K}}_{\ast }^{\mathrm{MW}}\to {\pi }_s^{\ast ,\ast }$ over a base
• An Introduction to ${\mathbf{A}}^1$-Enumerative Geometry
• Trace maps in motivic homotopy and local terms
• K-theory of non-archimedean rings II
• On the Whitehead theorem for nilpotent motivic spaces
• Periodic Cyclic Homology over Q
• Thomason filtration via $T(1)$-local $\mathrm{TC}$
• The quadratic Euler characteristic of a smooth projective same-degree complete intersection
• Combing a hedgehog over a field
• Compactly supported ${\mathbb{A}}^1$-Euler characteristics of symmetric powers of cellular varieties
• Motivic configurations on the line