Affine Grassmannians in A^1-homotopy theory

DOI10.1007/S00029-019-0471-1MaRDI QIDQ1733098zbMATH OpenOpenAlexFDO

Authors Tom Bachmann

Publication date 21 March 2019

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

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

zbMATH Keywords

\(\mathbb{G}_m\)-loops functoraffine Grassmannianmotivic homotopy theory

Mathematics Subject Classification ID

Geometric Langlands program (algebro-geometric aspects) (14D24) Motivic cohomology; motivic homotopy theory (14F42)

Abstract: Let k be a field. Denote by Spc(k)_* the unstable, pointed motivic homotopy category and by Omega_Gm: Spc(k)_* o Spc(k)_* the Gm-loops functor. For a k-group G, denote by Gr_G the affine Grassmannian of G. If G is isotropic reductive, we provide a canonical motivic equivalence Omega_Gm G = Gr_G. If k is perfect, we use this to compute the motive M(Omega_Gm G) in DM(k, Z).

Review text

Suspension and loop functors are central to studying stable phenomena in homotopy theory. Classically, the loop functor arises as a right adjoint to the suspension functor. In motivic homotopy theory, the existence of two distinct circle objects \(S^1\) and \(\mathbb{G}_m\) yields the suspension functors \(\Sigma_{S^1}\) and \(\Sigma_{\mathbb{G}_m}\). These suspension functors and their corresponding loop functors \(\Omega_{S^1}\) and \(\Omega_{\mathbb{G}_m}\) are central to understanding the relationship between unstable and stable motivic homotopy theory. Much less is known about \(\Omega_{\mathbb{G}_m}\) than \(\Omega_{S^1}\). In the present article, the author characterizes the \(\mathbb{G}_m\)-loop space of any isotropic reductive group \(G\) by demonstrating a canonical equivalence \(\Omega_{\mathbb{G}_m}G\simeq\rho(\mathrm{Gr}_G)\). Here, \(\mathrm{Gr}_G\) is the affine Grassmannian of the algebraic group \(G\), and \(\rho(\mathrm{Gr}_G)\) is the presheaf represented by \(\mathrm{Gr}_G\). This mirrors the classical analog, where \(\Omega(G(\mathbb{C}))\simeq\mathrm{Gr}_G(\mathbb{C})\). As a corollary of this work, the author describes the motive of \(\Omega_{\mathbb{G}_m}G\) in Corollary 20. Along with making concrete progress on the stubborn loop functor \(\Omega_{\mathbb{G}_m}\), this paper provides an excellent case study for passing from a classical result to its motivic analog. The author's approach and exposition are thoughtful and clear.

Recommendations

• The simplicial suspension sequence in \(\mathbb A^1\)-homotopy
• Motivic homotopy theory
• Unstable motivic homotopy theory
• Base change functors in the \(\mathbb{A}^1\)-stable homotopy category
• Affine representability results in \(\mathbb A^1\)-homotopy theory. II: Principal bundles and homogeneous spaces

Cites work

• \(\mathbb{A}^1\)-homotopy theory of schemes
• A proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing infinite fields
• Affine representability results in \(\mathbb A^1\)-homotopy theory. II: Principal bundles and homogeneous spaces
• Affine representability results in \(\mathbb{A}^1\)-homotopy theory. I: Vector bundles.
• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 4002404 (Why is no real title available?)
• scientific article; zbMATH DE number 1526538 (Why is no real title available?)
• scientific article; zbMATH DE number 810980 (Why is no real title available?)
• The test function conjecture for parahoric local models
• Unstable motivic homotopy categories in Nisnevich and cdh-topologies
• Voevodsky motives and \(l\)dh-descent

Cited in

(8)

• Cancellation theorem for motivic spaces with finite flat transfers
• Some extensions of the notion of loop Grassmannians
• Affine representability results in \(\mathbb A^1\)-homotopy theory. III: Finite fields and complements
• THE INTERSECTION MOTIVE OF THE MODULI STACK OF SHTUKAS
• The intersection theory of the moduli stack of vector bundles on
• On the Whitehead theorem for nilpotent motivic spaces
• Notes on motivic infinite loop space theory
• The affine Grassmannian as a presheaf quotient

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: Affine Grassmannians 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 Q1733098)