The six operations in equivariant motivic homotopy theory

DOI10.1016/J.AIM.2016.09.031zbMATH Open1400.14065arXiv1509.02145OpenAlexW2218391331MaRDI QIDQ340398FDOQ340398

Authors: Marc Hoyois 

Publication date: 14 November 2016

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

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.

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

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
• The six Grothendieck operations on o-minimal sheaves
• The six Grothendieck operations on o-minimal sheaves
• 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

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)

Cites Work

• Title not available (Why is that?)
• \(\mathbb{A}^1\)-homotopy theory of schemes
• É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é
• Parametrized homotopy theory
• Higher Topos Theory (AM-170)
• \(\mathbb{A}^1\)-homotopy theory
• Motivic cohomology with \(\mathbb Z/2\)-coefficients
• É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é
• Equivariant cycles and cancellation for motivic cohomology
• Title not available (Why is that?)
• Title not available (Why is that?)
• On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
• É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. 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)
• Tame stacks in positive characteristic
• Motivic Eilenberg-MacLane spaces
• Equivariant resolution, linearization, and Hilbert's fourteenth problem over arbitrary base schemes
• Equivariant completion. II
• Descent by blow-ups for homotopy invariant \(K\)-theory
• Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories
• Nisnevich descent for \(K\)-theory of Deligne-Mumford stacks
• Motivic homotopy theory of group scheme actions
• Voevodsky's Lectures on Motivic Cohomology 2000/2001
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(K\)-theory and the bridge from motives to noncommutative motives
• A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula
• The homotopy limit problem for Hermitian \(K\)-theory, equivariant motivic homotopy theory and motivic real cobordism
• The homotopy category of parametrized spectra
• Complete reducibility of rational representations of a matric group

Cited In (59)

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

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)