The Galois group of a stable homotopy theory

DOI10.1016/J.AIM.2015.12.017MaRDI QIDQ2634787zbMATH OpenOpenAlexFDO

Publication date 18 February 2016

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

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

axiomatic Galois theory descent theory Quillen stratification structured ring spectra thick subcategories topological modular forms étale fundamental group

Mathematics Subject Classification ID

Stable homotopy theory, spectra (55P42) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: To a "stable homotopy theory" (a presentable, symmetric monoidal stable

i n f t y

-category), we naturally associate a category of finite 'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call the Galois group. We then calculate the Galois groups in several examples. For instance, we show that the Galois group of the periodic

m a t h b f E_{i} n f t y

-algebra of topological modular forms is trivial and that the Galois group of

K (n)

-local stable homotopy theory is an extended version of the Morava stabilizer group. We also describe the Galois group of the stable module category of a finite group. A fundamental idea throughout is the purely categorical notion of a "descendable" algebra object and an associated analog of faithfully flat descent in this context.

Review text

This extensively referenced paper establishes the notion of a Galois group of a stable homotopy theory, which is related to work of Baker, Richter and Rognes on Galois extensions of structured ring spectra. Here a stable homotopy theory is a presentable, symmetric monoidal stable \(\infty\)-category. Other invariants which can be associated to such a category include the Picard group (the group of objects with an inverse under the monoidal product), the algebraic \(K\)-theory (of the compact objects) or the lattice of thick subcategories. This new Galois group is an analog of the étale fundamental group of a connected scheme. In particular, there is a version of the Galois correspondence in this new setting. The first half of the paper sets up the substantial amount of machinery needed to define the Galois categories, the Galois group of a Galois category and to prove the Galois correspondence. Numerous calculations are given in the second half of the paper. In the following selected examples, the Galois group of an \(E_\infty\)-ring is defined to be the Galois group of its category of modules. The Galois group of a connective \(E_\infty\)-ring \(A\) is the étale fundamental group of Spec\(\pi_0 A\). If \(A\) is an even periodic \(E_\infty\)-ring with \(\pi_0 (A)\) regular Noetherian, then the Galois group of \(A\) is that of the discrete ring \(\pi_0 A\). The Galois group of the \(\infty\)-category of \(K(n)\)-local spectra is the extended Morava stabiliser group and the Galois group of \(TMF\), periodic topological modular forms, is trivial.

Recommendations

Cites work

Cited in

(87)

This page was built for publication: The Galois group of a stable homotopy theory

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