Scheiderer motives and equivariant higher topos theory

DOI10.1016/J.AIM.2021.107651zbMATH Open1484.14046arXiv1912.11557OpenAlexW3129659086MaRDI QIDQ2020375FDOQ2020375

Elden Elmanto, Jay Shah

Publication date: 23 April 2021

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

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.

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

zbMATH Keywords

real algebraic geometryequivariant homotopy theorymotivic homotopy theoryhigher topos theory[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=real+%EF%BF%BD%EF%BF%BDtale+cohomology&go=Go real ��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)

Cites Work

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

Cited In (4)

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

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)