A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula
From MaRDI portal
(Redirected from Publication:488582)
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 'etale, 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 'etale algebra corresponds to the class of its trace form in the Grothendieck-Witt ring.
Recommendations
- Lefschetz-Verdier trace formula and a generalization of a theorem of Fujiwara
- The Lefschetz trace formula for algebraic stacks
- The Grothendieck Trace and the de Rham Integral
- Some more remarks on Grothendieck-Lidskiĭ trace formulas
- On the calculation of local terms in the Lefschetz-Verdier trace formula and its application to a conjecture of Deligne
- A Lefschetz trace formula for \(p^n\)-torsion étale cohomology
- scientific article; zbMATH DE number 589362
- Grothendieck polynomials and quiver formulas
- scientific article; zbMATH DE number 3520478
- An invariant of quadratic forms over schemes
Cites work
- scientific article; zbMATH DE number 4177249 (Why is no real title available?)
- scientific article; zbMATH DE number 4208241 (Why is no real title available?)
- scientific article; zbMATH DE number 3456979 (Why is no real title available?)
- scientific article; zbMATH DE number 1027930 (Why is no real title available?)
- scientific article; zbMATH DE number 3222139 (Why is no real title available?)
- Deligne's notes on Nagata compactifications
- Duality, trace and transfer
- Ein Residuensatz für symmetrische Bilinearformen
- From algebraic cobordism to motivic cohomology
- Higher Topos Theory (AM-170)
- Homotopy theory of simplicial sheaves in completely decomposable topologies
- Lectures on algebraic topology.
- Motivic cohomology with \(\mathbb Z/2\)-coefficients
- On the Picard group of the stable \(\mathbb A^1\)-homotopy category
- Quadratic reciprocity laws
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Spanier-Whitehead duality in algebraic geometry
- The Grothendieck six operations and the vanishing cycles formalism in the motivic world. I
- The additivity of traces in triangulated categories
- The étale realization and the Grothendieck operations
- \(\mathbb A^1\)-algebraic topology over a field
- \(\mathbb{A}^1\)-homotopy theory of schemes
Cited in
(47)- ELLIPTIC COHOMOLOGY IS UNIQUE UP TO HOMOTOPY
- Fundamental classes in motivic homotopy theory
- The naive Milnor-Witt \(K\)-theory relations in the stable motivic homotopy groups over a base
- Bitangents to plane quartics via tropical geometry: rationality, \(\mathbb{A}^1\)-enumeration, and real signed count
- Periodic cyclic homology over \(\mathbb{Q}\)
- The \(\operatorname{cdh}\)-local motivic homotopy category
- An arithmetic count of the lines meeting four lines in 𝐏³
- The six-functor formalism for rigid analytic motives
- Künneth formulas for motives and additivity of traces
- The class of Eisenbud-Khimshiashvili-Levine is the local \(\mathbb{A}^1\)-Brouwer degree
- Bivariant theories in motivic stable homotopy
- Jacobi-Trudi formula for refined dual stable Grothendieck polynomials
- On equivariant topological modular forms
- Milnor excision for motivic spectra
- Motivic Gauss-Bonnet formulas
- \(K\)-theory of valuation rings
- Scheiderer motives and equivariant higher topos theory
- Motivic Euler characteristics and Witt-valued characteristic classes
- An Étale realization which does NOT exist
- Compactly supported \(\mathbb{A}^1\)-Euler characteristic and the Hochschild complex
- Aspects of enumerative geometry with quadratic forms
- The Galois action and cohomology of a relative homology group of Fermat curves
- Continuous \(K\)-theory and cohomology of rigid spaces
- Ramification theory for varieties over a perfect field
- The homotopy limit problem and the cellular Picard group of Hermitian \(K\)-theory
- Descent in algebraic \(K\)-theory and a conjecture of Ausoni-Rognes
- Trace maps in motivic homotopy and local terms
- Some recent advances in topological Hochschild homology
- Iterated traces in 2-categories and Lefschetz theorems
- Quadratic enrichment of the logarithmic derivative of the zeta function
- An arithmetic count of the lines on a smooth cubic surface
- Cdh descent, cdarc descent, and Milnor excision
- The six operations in equivariant motivic homotopy theory
- K-THEORY OF NON-ARCHIMEDEAN RINGS II
- Tensor triangular geometry of filtered objects and sheaves
- An introduction to \(\mathbb{A}^1\)-enumerative geometry. Based on lectures by Kirsten Wickelgren delivered at the LMS-CMI research school ``Homotopy theory and arithmetic geometry -- motivic and Diophantine aspects
- Homotopy theory and arithmetic geometry -- motivic and Diophantine aspects: an introduction
- \(K\)-theory and \(G\)-theory of derived algebraic stacks
- Bézoutians and the \(\mathbb{A}^1\)-degree
- On the rational motivic homotopy category
- On the calculation of local terms in the Lefschetz-Verdier trace formula and its application to a conjecture of Deligne
- Topological models for stable motivic invariants of regular number rings
- The Morel-Voevodsky localization theorem in spectral algebraic geometry
- The localization theorem for framed motivic spaces
- The first stable homotopy groups of motivic spheres
- Trace formalism for motivic cohomology
- Euler characteristics of homogeneous and weighted-homogeneous hypersurfaces
This page was built for publication: A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q488582)
