Motivic and Real Etale Stable Homotopy Theory

Abstract

Let X be a Noetherian scheme of finite dimension and denote by rho the (additive inverse of the) morphism in SH(X) from S to Gm corresponding to the unit -1. Here SH(X) denotes the motivic stable homotopy category. We show that the category obtained by inverting rho in SH(X) is canonically equivalent to the (simplicial) local stable homotopy category of the site X_ret, by which we mean the small real etale site of X, comprised of etale schemes over X with the real etale topology. One immediate application is that SH(RR)[rho^-1] is equivalent to the classical stable homotopy category. In particular this computes all the stable homotopy sheaves of the rho-local sphere (over RR). As further applications we improve a result of Ananyevskiy-Levine-Panin, reprove a vanishing result of Roendigs and establish some new rigidity results.

Minor corrections. Accepted for publication in compositio. Comments still welcome!

References in corpus (3)

• Higher Topos Theory
• On (Enriched) Left Bousfield Localization of Model Categories
• Cdh descent in equivariant homotopy K-theory

Cited by in corpus (30)

• C_2-equivariant stable homotopy from real motivic stable homotopy
• On the effectivity of spectra representing motivic cohomology theories
• Reconstructing rational stable motivic homotopy theory
• The real cycle class map
• On Modules Over Motivic Ring Spectra
• Rigidity in etale motivic stable homotopy theory
• On the rational motivic homotopy category
• Chow-Witt rings of classifying spaces for symplectic and special linear groups
• Real motivic and $C_2$-equivariant Mahowald invariants
• The motivic Adams-Novikov spectral sequence at odd primes over $\mathbb{C}$ and $\mathbb{R}$
• The homotopy groups of the η-periodic motivic sphere spectrum
• Three real Artin-Tate motives
• Motivic Tambara Functors
• R-motivic stable stems
• The $C_2$-effective spectral sequence for $C_2$-equivariant connective real $K$-theory
• Algebraic Cobordism and Étale Cohomology
• Notes on motivic infinite loop space theory
• Remarks on étale motivic stable homotopy theory
• The stable Adams operations on Hermitian K-theory
• Topological models for stable motivic invariants of regular number rings
• Affine quadrics and the Picard group of the motivic category
• $\mathbb{R}$-motivic $v_1$-periodic homotopy
• Algebraic elliptic cohomology and flops II: $SL$-cobordism
• Nilpotence in normed MGL-modules
• Galois reconstruction of Artin-Tate $\mathbb{R}$-motivic spectra
• On some finiteness results in real étale cohomology
• The stable Galois correspondence for real closed fields
• A Gersten complex on real schemes
• Motivic Pontryagin classes and hyperbolic orientations
• Odd rank vector bundles in eta-periodic motivic homotopy theory