Scheiderer motives and equivariant higher topos theory

DOI10.1016/J.AIM.2021.107651MaRDI QIDQ2020375zbMATH OpenOpenAlexFDO

Authors Elden Elmanto, Jay Shah

Publication date 23 April 2021

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

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

zbMATH Keywords

real algebraic geometryequivariant homotopy theorymotivic homotopy theoryhigher topos theoryreal étale cohomology

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) Semialgebraic sets and related spaces (14P10) Equivariant homotopy theory in algebraic topology (55P91)

Abstract: We give an algebro-geometric interpretation of $C_2$-equivariant stable homotopy theory by means of the $b$-topology introduced by Claus Scheiderer in his study of $2$-torsion phenomena in 'etale cohomology. To accomplish this, we first revisit and extend work of Scheiderer on equivariant topos theory by functorially associating to a $infty$-topos $mathscrX$ with $G$-action a presentable stable $infty$-category $mathrm{Sp}^G(mathscrX)$, which recovers the $infty$-category $mathrm{Sp}^G$ of genuine $G$-spectra when $mathscrX$ is the terminal $G$-$infty$-topos. Given a scheme $X$ with $1/2inmathcal{O}_X$, our construction then specializes to produce an $infty$-category $mathrm{Sp}_b^{C_2}(X)$ of "$b$-sheaves with transfers" as $b$-sheaves of spectra on the small 'etale site of $X$ equipped with certain transfers along the extension $X[i]ightarrowX$; if $X$ is the spectrum of a real closed field, then $mathrm{Sp}_b^{C_2}(X)$ recovers $mathrm{Sp}^{C_2}$. On a large class of schemes, we prove that, after $p$-completion, our construction assembles into a premotivic functor satisfying the full six functors formalism. We then introduce the $b$-variant $mathrm{SH}_b(X)$ of the $infty$-category $mathrmSH(X)$ of motivic spectra over $X$ (in the sense of Morel-Voevodsky), and produce a natural equivalence of $infty$-categories $mathrm{SH}_b(X{)}_p^{wedge}simeqmathrm{Sp}_b^{C_2}(X{)}_p^{wedge}$ through amalgamating the 'etale and real 'etale motivic rigidity theorems of Tom Bachmann. This involves a purely algebro-geometric construction of the $C_2$-Tate construction, which may be of independent interest. Finally, as applications, we deduce a "$b$-rigidity" theorem, use the Segal conjecture to show 'etale descent of the $2$-complete $b$-motivic sphere spectrum, and construct a parametrized version of the $C_2$-Betti realization functor of Heller-Ormsby.

Recommendations

• Motivic and real étale stable homotopy theory
• C₂-equivariant stable homotopy from real motivic stable homotopy
• The six operations in equivariant motivic homotopy theory
• Rigidity in étale motivic stable homotopy theory
• Galois equivariance and stable motivic homotopy theory

Cites work

• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 3710375 (Why is no real title available?)
• scientific article; zbMATH DE number 177467 (Why is no real title available?)
• scientific article; zbMATH DE number 796971 (Why is no real title available?)
• scientific article; zbMATH DE number 937403 (Why is no real title available?)
• A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula
• Algebraic elliptic cohomology theory and flops. I
• An introduction to locally semialgebraic spaces
• Calculation of Lin's Ext groups
• Day convolution for \(\infty\)-categories
• Dualizing cartesian and cocartesian fibrations
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
• Galois equivariance and stable motivic homotopy theory
• Higher Topos Theory (AM-170)
• Lax colimits and free fibrations in \(\infty\)-categories
• Motivic and real étale stable homotopy theory
• Nilpotence and descent in equivariant stable homotopy theory
• On conjectures of Mahowald, Segal and Sullivan
• On modules over motivic ring spectra
• On the integral Hodge conjecture for real varieties. I
• On topological cyclic homology
• Real and étale cohomology
• Real strict localizations
• Semialgebraic topology over a real closed field
• 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
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
• Systems of Fixed Point Sets
• The Etale Homotopy Type of Varieties over R
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. I
• The homotopy axiom in semialgebraic cohomology.
• The localization theorem for framed motivic spaces
• The six operations in equivariant motivic homotopy theory
• The stable Galois correspondence for real closed fields
• Topological hypercovers and \(\mathbb{A}^1\)-realizations
• Triangulated Categories of Mixed Motives
• \(C_2\)-equivariant stable homotopy from real motivic stable homotopy
• \(K\)-theory and the bridge from motives to noncommutative motives
• Étale motives

Cited in

(6)

• On some finiteness results in real étale cohomology
• Topological models for stable motivic invariants of regular number rings
• On distributivity in higher algebra I: the universal property of bispans
• THE TOM DIECK SPLITTING THEOREM IN EQUIVARIANT MOTIVIC HOMOTOPY THEORY
• Equivariant cd-structures and descent theory
• Motivic and real étale stable homotopy theory

This page was built for publication: Scheiderer motives and equivariant higher topos theory

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