Hostname: page-component-74656f9884-8r8nv Total loading time: 0 Render date: 2026-11-07T03:04:41.844Z Has data issue: false hasContentIssue false

Localization and nilpotent spaces in ${\mathbb {A}}^1$-homotopy theory

Published online by Cambridge University Press:  27 May 2022

Aravind Asok
Affiliation:
Department of Mathematics, University of Southern California, 3620 S. Vermont Ave., Los Angeles, CA 90089-2532, USA asok@usc.edu
Jean Fasel
Affiliation:
Institut Fourier - UMR 5582, Université Grenoble Alpes, 100, rue des Mathématiques, F-38402 Saint Martin d'Hères, France jean.fasel@gmail.com
Michael J. Hopkins
Affiliation:
Department of Mathematics, Harvard University, One Oxford Street, Cambridge, MA 02138, USA mjh@math.harvard.edu
Rights & Permissions [Opens in a new window]

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 ${\mathbb {A}}^1$-homotopy theory. To this end, we introduce and analyze two notions of nilpotence for spaces in ${\mathbb {A}}^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 $BGL_n$ is ${\mathbb {A}}^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 ${\mathbb {A}}^1$-homotopy theory: if $-1$ is a sum of squares in the base field, ${\mathbb {A}}^n \,{\setminus}\, 0$ is rationally equivalent to a suitable motivic Eilenberg–Mac Lane space, and the special linear group decomposes as a product of motivic spheres.

Information

Type
Research Article
Copyright
© 2022 The Author(s). The publishing rights in this article are licensed to Foundation Compositio Mathematica under an exclusive licence