The Galois group of a stable homotopy theory (Q2634787): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 07:55, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Galois group of a stable homotopy theory |
scientific article |
Statements
The Galois group of a stable homotopy theory (English)
0 references
18 February 2016
0 references
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.
0 references
étale fundamental group
0 references
structured ring spectra
0 references
thick subcategories
0 references
descent theory
0 references
Quillen stratification
0 references
topological modular forms
0 references
axiomatic Galois theory
0 references