Motivic Gauss–Bonnet formulas
Marc Levine, Arpon Raksit
Abstract
The apparatus of motivic stable homotopy theory provides a notion of Euler characteristic for smooth projective varieties, valued in the Grothendieck–Witt ring of the base field. Previous work of the first author and recent work of Déglise, Jin and Khan established a motivic Gauss–Bonnet formula relating this Euler characteristic to pushforwards of Euler classes in motivic cohomology theories. We apply this formula to [math] -oriented motivic cohomology theories to obtain explicit characterizations of this Euler characteristic. The main new input is a uniqueness result for pushforward maps in [math] -oriented theories, identifying these maps concretely in examples of interest.
Topics & Concepts
MathematicsMotivic cohomologyPure mathematicsCohomologyBase (topology)Algebra over a fieldHomotopyEuler characteristicProjective testBase changeWork (physics)Homotopy categoryEuler's formulaEuler systemHomotopy and Cohomology in Algebraic TopologyAlgebraic Geometry and Number TheoryAlgebraic structures and combinatorial models