The six operations in equivariant motivic homotopy theory

DOI10.1016/J.AIM.2016.09.031MaRDI QIDQ340398zbMATH OpenOpenAlexFDO

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

algebraic stacksequivariant homotopy theorygroup 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

• \(\mathbb{A}^1\)-homotopy theory
• \(\mathbb{A}^1\)-homotopy theory of schemes
• K-theory and the bridge from motives to noncommutative motives
• 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
• É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é
• 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)
• 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?)
• Motivic cohomology with \(\mathbb Z/2\)-coefficients
• Motivic Eilenberg-MacLane spaces
• 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

Cited in

(84)

• Corrigendum to: ``The six operations in equivariant motivic homotopy theory
• Stable A^1-connectivity over Dedekind schemes
• On the zeroth stable \(\mathbb{A}^1\)-homotopy group of a smooth curve
• A Grothendieck-Lefschetz theorem for equivariant Picard groups
• Equivariant cd-structures and descent theory
• Scheiderer motives and equivariant higher topos theory
• The motivic Satake equivalence
• 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
• Cohomological methods in intersection theory
• The Chow \(t\)-structure on the \(\infty\)-category of motivic spectra
• Categorical Milnor squares and \(K\)-theory of algebraic stacks
• Motivic stable homotopy theory is strictly commutative at the characteristic
• Integral motivic sheaves and geometric representation theory
• Compactly supported \(\mathbb{A}^1\)-Euler characteristic and the Hochschild complex
• The motivic Segal-Becker theorem for algebraic \(K\)-theory
• cdh descent in equivariant homotopy \(K\)-theory
• Cohomological correspondence categories
• Involutions of Azumaya algebras
• C₂-equivariant stable homotopy from real motivic stable homotopy
• Motivic Gauss-Bonnet formulas
• Towards conservativity of \(\mathbb{G}_m\)-stabilization
• Aspects of enumerative geometry with quadratic forms
• Cdh descent for homotopy Hermitian \(K\)-theory of rings with involution
• On the James and Hilton-Milnor splittings, and the metastable EHP sequence
• Algebraic elliptic cohomology and flops. II: SL-cobordism
• Milnor excision for motivic spectra
• The Morel-Voevodsky localization theorem in spectral algebraic geometry
• Injectivity and surjectivity of the Dress map
• Cdh descent, cdarc descent, and Milnor excision
• The universal six-functor formalism
• Lectures on quadratic enumerative geometry
• Norms in motivic homotopy theory
• Motivic homotopy theory of group scheme actions
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. I
• Motivic and real étale stable homotopy theory
• Topological comparison theorems for Bredon motivic cohomology
• Vladimir Voevodsky -- an appreciation
• The six-functor formalism for rigid analytic motives
• Motivic Euler characteristics and Witt-valued characteristic classes
• THE INTERSECTION MOTIVE OF THE MODULI STACK OF SHTUKAS
• Springer motives
• EULER CLASSES: SIX-FUNCTORS FORMALISM, DUALITIES, INTEGRALITY AND LINEAR SUBSPACES OF COMPLETE INTERSECTIONS
• THE TOM DIECK SPLITTING THEOREM IN EQUIVARIANT MOTIVIC HOMOTOPY THEORY
• THE ZEROTH -STABLE HOMOTOPY SHEAF OF A MOTIVIC SPACE
• On distributivity in higher algebra I: the universal property of bispans
• On the motivic Segal conjecture
• \(K\)-theory and \(G\)-theory of derived algebraic stacks
• Motivic cohomology
• Euler characteristics of homogeneous and weighted-homogeneous hypersurfaces
• The Nisnevich motive of an algebraic stack
• Motivic Pontryagin classes and hyperbolic orientations
• 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
• Motivic homotopy theory of algebraic stacks
• The cube axiom and resolutions in homotopy theory
• The Adams isomorphism revisited
• Generalized cohomology theories for algebraic stacks
• Motivic homotopical Galois extensions
• Atiyah-Segal completion for the Hermitian \(\mathrm{K}\)-theory of symplectic groups
• On the Whitehead theorem for nilpotent motivic spaces
• The quadratic Euler characteristic of a smooth projective same-degree complete intersection
• Virtual localization in equivariant Witt cohomology
• The geometric Satake equivalence for integral motives
• The six operations in topology
• An introduction to six-functor formalisms
• Notes on motivic infinite loop space theory
• Endomorphisms of equivariant algebraic K-theory
• Recent trends in algebraic geometry. Abstracts from the workshop held June 15--20, 2025
• Counterexamples in involutions of Azumaya algebras
• Bredon motivic cohomology of the real numbers
• T-equivariant motives of flag varieties
• Milnor-Witt motives
• Étale motivic spectra and Voevodsky's convergence conjecture
• The motivic Adams conjecture
• From nonabelian basechange to basechange with coefficients
• The geometric concentration theorem
• Quadratic Euler characteristic of symmetric powers of curves
• Frobenius rigidity in \(\mathbb{A}^1\)-homotopy theory
• Motivic Euler characteristic of nearby cycles and a generalised quadratic conductor formula
• An axiomatization of six-functor formalisms
• The étale local structure of algebraic stacks
• Title not available (Why is no real title available?)
• On modules over motivic ring spectra

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)