Separable commutative algebras and Galois theory in stable homotopy theories

Abstract

We relate two different proposals to extend the étale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite covers are precisely those separable commutative algebras with underlying dualizable module, which have a locally constant and finite degree function. We then use Galois theory to classify separable commutative algebras in numerous categories of interest. Examples include the category of modules over a connective ${\mathbb{E}}_{\infty }$-ring $R$ which is either connective or even periodic with ${\pi }_0(R)$ regular Noetherian in which $2$ acts invertibly, the stable module category of a finite group of $p$-rank one and the derived category of a qcqs scheme.

References in corpus (11)

• Topological Hochschild homology and cohomology of A_\infty ring spectra
• Monads and comonads in module categories
• Perfect complexes on algebraic stacks
• Stacks of group representations
• On the K-theory of pullbacks
• Affineness and chromatic homotopy theory
• Monochromatic homotopy theory is asymptotically algebraic
• Extensions of the Benson-Solomon fusion systems
• A characterization of finite étale morphisms in tensor triangular geometry
• Quasi-Galois theory in symmetric-monoidal categories
• Separable commutative rings in the stable module category of cyclic groups