The six operations in equivariant motivic homotopy theory

DOI10.1016/J.AIM.2016.09.031MaRDI QIDQ340398zbMATHOpenAlexFDO

Authors Marc Hoyois

Publication date 14 November 2016

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

equivariant homotopy theoryalgebraic stacksgroup scheme actionsmotivic homotopy theory

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) Equivariant homotopy theory in algebraic topology (55P91)

Abstract: We introduce and study the homotopy theory of motivic spaces and spectra parametrized by quotient stacks [X/G], where G is a linearly reductive linear algebraic group. We extend to this equivariant setting the main foundational results of motivic homotopy theory: the (unstable) purity and gluing theorems of Morel and Voevodsky and the (stable) ambidexterity theorem of Ayoub. Our proof of the latter is different than Ayoub's and is of interest even when G is trivial. Using these results, we construct a formalism of six operations for equivariant motivic spectra, and we deduce that any cohomology theory for G-schemes that is represented by an absolute motivic spectrum satisfies descent for the cdh topology.

Recommendations

• Corrigendum to: ``The six operations in equivariant motivic homotopy theory
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. I
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. II
• Six operations and Lefschetz-Verdier formula for Deligne-Mumford stacks
• Enhanced bivariant homology theory attached to six functor formalism
• Operations in étale and motivic cohomology
• The six operations for sheaves on Artin stacks. I: Finite coefficients
• Six operations on dg enhancements of derived categories of sheaves

Cites work

• scientific article; zbMATH DE number 4148386 (Why is no real title available?)
• scientific article; zbMATH DE number 4095731 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• scientific article; zbMATH DE number 1988905 (Why is no real title available?)
• scientific article; zbMATH DE number 1924511 (Why is no real title available?)
• A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula
• Complete reducibility of rational representations of a matric group
• Descent by blow-ups for homotopy invariant \(K\)-theory
• Equivariant completion. II
• Equivariant cycles and cancellation for motivic cohomology
• Equivariant resolution, linearization, and Hilbert's fourteenth problem over arbitrary base schemes
• Higher Topos Theory (AM-170)
• Motivic Eilenberg-MacLane spaces
• Motivic cohomology with \(\mathbb Z/2\)-coefficients
• Motivic homotopy theory of group scheme actions
• Nisnevich descent for \(K\)-theory of Deligne-Mumford stacks
• On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
• Parametrized homotopy theory
• Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories
• Tame stacks in positive characteristic
• The homotopy category of parametrized spectra
• The homotopy limit problem for Hermitian \(K\)-theory, equivariant motivic homotopy theory and motivic real cobordism
• Voevodsky's Lectures on Motivic Cohomology 2000/2001
• \(K\)-theory and the bridge from motives to noncommutative motives
• \(\mathbb{A}^1\)-homotopy theory
• \(\mathbb{A}^1\)-homotopy theory of schemes
• Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Première partie). Rédigé avec la colloboration de J. Dieudonné
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(60)

• The cube axiom and resolutions in homotopy theory
• The Adams isomorphism revisited
• Tensor-triangular geometry and interactions. Abstracts from the workshop held September 17--22, 2023
• Bredon motivic cohomology of the complex numbers
• Generalized cohomology theories for algebraic stacks
• The Nisnevich motive of an algebraic stack
• Motivic homotopy theory of algebraic stacks
• K‐theory Soergel bimodules
• Motivic stable homotopy theory is strictly commutative at the characteristic
• Algebraic elliptic cohomology and flops. II: SL-cobordism
• On the James and Hilton-Milnor splittings, and the metastable EHP sequence
• EULER CLASSES: SIX-FUNCTORS FORMALISM, DUALITIES, INTEGRALITY AND LINEAR SUBSPACES OF COMPLETE INTERSECTIONS
• THE INTERSECTION MOTIVE OF THE MODULI STACK OF SHTUKAS
• The Morel-Voevodsky localization theorem in spectral algebraic geometry
• Cdh descent, cdarc descent, and Milnor excision
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. I
• \(K\)-theory and \(G\)-theory of derived algebraic stacks
• On the zeroth stable \(\mathbb{A}^1\)-homotopy group of a smooth curve
• Vladimir Voevodsky -- an appreciation
• \(C_2\)-equivariant stable homotopy from real motivic stable homotopy
• Cohomological methods in intersection theory
• On modules over motivic ring spectra
• The Chow \(t\)-structure on the \(\infty\)-category of motivic spectra
• A Grothendieck-Lefschetz theorem for equivariant Picard groups
• Corrigendum to: ``The six operations in equivariant motivic homotopy theory
• Norms in motivic homotopy theory
• Springer motives
• Scheiderer motives and equivariant higher topos theory
• Cohomological correspondence categories
• Motivic homotopical Galois extensions
• Lectures on quadratic enumerative geometry
• Motivic Pontryagin classes and hyperbolic orientations
• On distributivity in higher algebra I: the universal property of bispans
• Motivic Euler characteristics and Witt-valued characteristic classes
• The six-functor formalism for rigid analytic motives
• Involutions of Azumaya algebras
• 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
• Towards conservativity of \(\mathbb{G}_m\)-stabilization
• Integral motivic sheaves and geometric representation theory
• THE TOM DIECK SPLITTING THEOREM IN EQUIVARIANT MOTIVIC HOMOTOPY THEORY
• cdh descent in equivariant homotopy \(K\)-theory
• Motivic homotopy theory of group scheme actions
• Stable \(\mathbb A^1\)-connectivity over Dedekind schemes
• THE ZEROTH -STABLE HOMOTOPY SHEAF OF A MOTIVIC SPACE
• Topological comparison theorems for Bredon motivic cohomology
• The universal six-functor formalism
• Cdh descent for homotopy Hermitian \(K\)-theory of rings with involution
• Equivariant cd-structures and descent theory
• Milnor excision for motivic spectra
• On the motivic Segal conjecture
• Motivic and real étale stable homotopy theory
• Motivic Gauss-Bonnet formulas
• Compactly supported \(\mathbb{A}^1\)-Euler characteristic and the Hochschild complex
• The motivic Segal-Becker theorem for algebraic \(K\)-theory
• Motivic cohomology
• Euler characteristics of homogeneous and weighted-homogeneous hypersurfaces
• Injectivity and surjectivity of the Dress map
• Categorical Milnor squares and \(K\)-theory of algebraic stacks
• Aspects of enumerative geometry with quadratic forms
• The motivic Satake equivalence

This page was built for publication: The six operations in equivariant motivic homotopy theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q340398)