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

DOI10.2140/AGT.2014.14.3603zbMATH Open1351.14013arXiv1309.6147OpenAlexW2099114199MaRDI QIDQ488582FDOQ488582

Authors: Marc Hoyois 

Publication date: 26 January 2015

Published in: Algebraic \& Geometric Topology (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1309.6147

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

zbMATH Keywords

Grothendieck-Witt grouptrace formulamotivic homotopy theory

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) Algebraic theory of quadratic forms; Witt groups and rings (11E81) Fixed points and coincidences in algebraic topology (55M20)

Cites Work

• 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
• Title not available (Why is that?)
• \(\mathbb{A}^1\)-homotopy theory of schemes
• Higher Topos Theory (AM-170)
• The additivity of traces in triangulated categories
• On the Picard group of the stable \(\mathbb A^1\)-homotopy category
• Spanier-Whitehead duality in algebraic geometry
• Motivic cohomology with \(\mathbb Z/2\)-coefficients
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• From algebraic cobordism to motivic cohomology
• \(\mathbb A^1\)-algebraic topology over a field
• Deligne's notes on Nagata compactifications
• Lectures on algebraic topology.
• La réalisation étale et les opérations de Grothendieck
• Homotopy theory of simplicial sheaves in completely decomposable topologies
• Title not available (Why is that?)
• Ein Residuensatz für symmetrische Bilinearformen
• Quadratic reciprocity laws
• Title not available (Why is that?)
• Duality, trace and transfer

Cited In (47)

• 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
• On equivariant topological modular forms
• Jacobi-Trudi formula for refined dual stable Grothendieck polynomials
• Milnor excision for motivic spectra
• Motivic Gauss-Bonnet formulas
• Scheiderer motives and equivariant higher topos theory
• 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
• Continuous \(K\)-theory and cohomology of rigid spaces
• The Galois action and cohomology of a relative homology group of Fermat curves
• Ramification theory for varieties over a perfect field
• Trace maps in motivic homotopy and local terms
• The homotopy limit problem and the cellular Picard group of Hermitian \(K\)-theory
• Descent in algebraic \(K\)-theory and a conjecture of Ausoni-Rognes
• Some recent advances in topological Hochschild homology
• Quadratic enrichment of the logarithmic derivative of the zeta function
• Iterated traces in 2-categories and Lefschetz theorems
• 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
• \(K\)-theory and \(G\)-theory of derived algebraic stacks
• Bézoutians and the \(\mathbb{A}^1\)-degree
• 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
• 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 localization theorem for framed motivic spaces
• K-theory of valuation rings
• The Morel-Voevodsky localization theorem in spectral algebraic geometry
• Trace formalism for motivic cohomology
• Euler characteristics of homogeneous and weighted-homogeneous hypersurfaces
• The first stable homotopy groups of motivic spheres
• ELLIPTIC COHOMOLOGY IS UNIQUE UP TO HOMOTOPY
• MOTIVIC EULER CHARACTERISTICS AND WITT-VALUED CHARACTERISTIC CLASSES

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)