Localization and nilpotent spaces in A^1-homotopy theory

DOI10.1112/S0010437X22007321MaRDI QIDQ5082048zbMATH OpenOpenAlexFDO

Authors Aravind Asok, Jean Fasel, Michael J. Hopkins

Publication date 15 June 2022

Published in Compositio Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

motivic homotopynilpotent spacessimplicial sheaves

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) Higher symbols, Milnor (K)-theory (19D45) Linear algebraic groups over arbitrary fields (20G15) Localization and completion in homotopy theory (55P60)

Abstract: For a subring $R$ of the rational numbers, we study $R$-localization functors in the local homotopy theory of simplicial presheaves on a small site and then in ${mathbbA}^1$-homotopy theory. To this end, we introduce and analyze two notions of nilpotence for spaces in ${mathbbA}^1$-homotopy theory paying attention to future applications for vector bundles. We show that $R$-localization behaves in a controlled fashion for the nilpotent spaces we consider. We show that the classifying space $BG{L}_n$ is ${mathbbA}^1$-nilpotent when $n$ is odd, and analyze the (more complicated) situation where $n$ is even as well. We establish analogs of various classical results about rationalization in the context of ${mathbbA}^1$-homotopy theory: if $-1$ is a sum of squares in the base field, ${mathbbA}^{n}setminus0$ is rationally equivalent to a suitable motivic Eilenberg--Mac Lane space, and the special linear group decomposes as a product of motivic spheres.

Recommendations

• \(\mathbb{A}^1\)-homotopy theory of schemes
• The stable \(\mathbb{A}^1\)-connectivity theorems
• Connectivity of motivic \(H\)-spaces
• \(\mathbb{A}^1\)-homotopy theory
• Nilpotente Gruppen und nilpotente Räume. Nachdiplomvorlesung gehalten am Mathematik-Departement ETH Zürich 1981/82. (Aufzeichnungen von Markus Pfenniger.)

Cites work

• \(\mathbb A^1\)-algebraic topology over a field
• \(\mathbb{A}^1\)-algebraic topology
• \(\mathbb{A}^1\)-homotopy theory of schemes
• A cohomological classification of vector bundles on smooth affine threefolds
• A degree map on unimodular rows
• A homotopy theory for stacks
• Affine representability results in \(\mathbb A^1\)-homotopy theory. II: Principal bundles and homogeneous spaces
• Affine representability results in \(\mathbb A^1\)-homotopy theory. III: Finite fields and complements
• Affine representability results in \(\mathbb{A}^1\)-homotopy theory. I: Vector bundles.
• Algebraic \(K\)-theory, \(A^1\)-homotopy and Riemann-Roch theorems
• Algebraic cycles and higher K-theory
• Algebraic homotopy classes of rational functions
• Algebraic vector bundles on spheres
• An explicit KO‐degree map and applications
• Chevalley groups over local rings
• Clifford Algebras and Spinor Norms Over a Commutative Ring
• Comparing Euler classes
• From algebraic cobordism to motivic cohomology
• Function complexes in homotopical algebra
• Generic motives
• Geometric models for higher Grothendieck-Witt groups in \(\mathbb A^1\)-homotopy theory
• Geometric topology. Localization, periodicity and Galois symmetry. The 1970 MIT Notes. Edited by A. Ranicki
• Groupes d'homotopie et classes de groupes abéliens
• Groupes de Chow-Witt
• Higher Chern classes and Steenrod operations in motivic cohomology
• Higher Topos Theory (AM-170)
• Homotopy limits, completions and localizations
• scientific article; zbMATH DE number 6479627 (Why is no real title available?)
• scientific article; zbMATH DE number 2131830 (Why is no real title available?)
• scientific article; zbMATH DE number 5194874 (Why is no real title available?)
• scientific article; zbMATH DE number 3790635 (Why is no real title available?)
• scientific article; zbMATH DE number 3505857 (Why is no real title available?)
• scientific article; zbMATH DE number 3631581 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 742916 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 3285308 (Why is no real title available?)
• scientific article; zbMATH DE number 2247521 (Why is no real title available?)
• Lecture notes on motivic cohomology
• Local homotopy theory
• Localizing with Respect to Self-Maps of the Circle
• More concise algebraic topology. Localization, completion, and model categories
• Motives of reductive groups
• Motivic Eilenberg-MacLane spaces
• Motivic symmetric spectra
• Obstructions to algebraizing topological vector bundles
• On \(\mathbb{A}^1\)-fundamental groups of isotropic reductive groups
• ON STABLY FREE MODULES
• On the Friedlander-Milnor conjecture for groups of small rank
• On the homotopy groups of the classical groups
• On the motive of a reductive group
• Quaternionic Grassmannians and Borel classes in algebraic geometry
• Rational homotopy theory
• Reduced power operations in motivic cohomology
• Simplicial chains over a field and \(p\)-local homotopy theory
• Slices and transfers
• Smooth Models of Motivic Spheres and the Clutching Construction
• Stacks and the homotopy theory of simplicial sheaves
• The algebraic and geometric theory of quadratic forms
• The motivic cohomology of Stiefel varieties
• The simplicial EHP sequence in \(\mathbb{A}^1\)-algebraic topology
• The simplicial suspension sequence in \(\mathbb A^1\)-homotopy
• The stable \(\mathbb{A}^1\)-connectivity theorems
• Triangulated Categories of Mixed Motives
• Voevodsky's Lectures on Motivic Cohomology 2000/2001
• Über die Bettischen Gruppen, die zu einer beliebigen Gruppe gehören

Cited in

(11)

• The Morel-Voevodsky localization theorem in spectral algebraic geometry
• scientific article; zbMATH DE number 515221 (Why is no real title available?)
• scientific article; zbMATH DE number 1492868 (Why is no real title available?)
• On Localized Unstable K¹-groups and Applications to Self-homotopy Groups
• Endomorphisms of the projective plane and the image of the Suslin-Hurewicz map
• When Bousfield localizations and homotopy idempotent functors meet again
• Algebraic vector bundles and \(p\)-local \(\mathbb{A}^1\)-homotopy theory
• On the Whitehead theorem for nilpotent motivic spaces
• Cancellation and splitting of symplectic modules in the critical range and Euler class group
• Unstable arithmetic fracture squares in -topoi
• Localization of Eilenberg-MacLane G-spaces with respect to homology theory

This page was built for publication: Localization and nilpotent spaces in \(\mathbb{A}^1\)-homotopy theory

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