Homotopic Hopf-Galois extensions: foundations and examples

TL;DR

This paper develops a theory of homotopic Hopf-Galois extensions within monoidal model categories, generalizing classical and spectral cases, and provides explicit examples relevant to topology.

Contribution

It introduces a new framework for homotopic Hopf-Galois extensions in monoidal categories, extending prior concepts to structured ring spectra and simplicial sets.

Findings

Principal fibrations of simplicial monoids are homotopic Hopf-Galois extensions

The theory generalizes classical Galois extensions to a homotopical setting

Connections to descent theory are explored

Abstract

Hopf-Galois extensions of rings generalize Galois extensions, with the coaction of a Hopf algebra replacing the action of a group. Galois extensions with respect to a group $G$ are the Hopf-Galois extensions with respect to the dual of the group algebra of $G$. Rognes recently defined an analogous notion of Hopf-Galois extensions in the category of structured ring spectra, motivated by the fundamental example of the unit map from the sphere spectrum to $MU$. This article introduces a theory of homotopic Hopf-Galois extensions in a monoidal category with compatible model category structure that generalizes the case of structured ring spectra. In particular, we provide explicit examples of homotopic Hopf-Galois extensions in various categories of interest to topologists, showing that, for example, a principal fibration of simplicial monoids is a homotopic Hopf-Galois extension in the category of simplicial sets. We also investigate the relation of homotopic Hopf-Galois extensions to descent.