# Homotopic Hopf-Galois extensions: foundations and examples

@article{Hess2009HomotopicHE,
title={Homotopic Hopf-Galois extensions: foundations and examples},
author={Kathryn Hess},
journal={Geometry and Topology Monographs},
year={2009},
volume={16},
pages={79-132}
}
• K. Hess
• Published 19 February 2009
• Mathematics
• Geometry and Topology Monographs
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… Expand

#### Paper Mentions

Blog Post
Galois and Hopf-Galois Theory for Associative S-Algebras
We define and investigate Galois and Hopf-Galois extensions of associative S-algebras, generalizing both the algebraic notions and the notions introduced by John Rognes for commutative S-algebras. WeExpand
The Galois group of a stable homotopy theory
To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categoricalExpand
Quasi-Galois theory in tensor-triangulated categories
We consider separable ring objects in symmetric monoidal categories and investigate what it means for an extension of ring objects to be (quasi)-Galois. Reminiscent of field theory, we defineExpand
The homotopy theory of coalgebras over a comonad
• Mathematics
• 2014
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates bothExpand
Homotopic Hopf-Galois extensions of commutative differential graded algebras
Keywords: Hopf algebra ; homotopic Hopf-Galois extension ; Hopf-Galois correspondence ; homotopic descent ; coring ; category of comodules over a coring ; homotopy coinvariants These EcoleExpand
Quasi-Galois theory in symmetric-monoidal categories
Given a ring object $A$ in a symmetric monoidal category, we investigate what it means for the extension $\mathbb{1}\rightarrow A$ to be (quasi-)Galois. In particular, we define splitting ringExpand
Homotopical Morita theory for corings
• Mathematics
• Israel Journal of Mathematics
• 2018
A coring (A,C) consists of an algebra A in a symmetric monoidal category and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study ofExpand
Rigidification of connective comodules
We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of a field, or more generally of a finite product of fields $\mathbb{k}$. That is,Expand
A THEORY OF BASE MOTIVES
When A is a commutative local ring with residue field k, the derived tensor product L A k : D(A) ! (k Mod) lifts to a functor taking values in a category of modules over the 'Tate cohomology' RHomExpand
Waldhausen K-theory of spaces via comodules
• Mathematics
• 2014
Let X be a simplicial set. We construct a novel adjunction be- tween the categories RX of retractive spaces over X and ComodX+ of X+- comodules, then apply recent work on left-induced model categoryExpand

#### References

SHOWING 1-10 OF 28 REFERENCES
Hopf-Galois and Bi-Galois Extensions
Hopf-Galois extensions were introduced by Chase and Sweedler [8] (in the commutative case) and Kreimer and Takeuchi [25] (in the case of finite dimensional Hopf algebras) by axioms directlyExpand
GALOIS EXTENSIONS OF STRUCTURED RING SPECTRA
We introduce the notion of a Galois extension of commutative S-algebras (E1 ring spectra), often localized with respect to a flxed homology theory. There are numerous examples, including someExpand
Hopf Galois theory: A survey
We consider a Hopf Galois extension B A, for A a comodule algebra over the Hopf algebra H with coinvariant algebra B . After giving a number of examples, we discuss Galois extensions with additionalExpand
Galois Extensions of Structured Ring Spectra/Stably Dualizable Groups
Galois Extensions of Structured Ring Spectra: Abstract Introduction Galois extensions in algebra Closed categories of structured module spectra Galois extensions in topology Examples of GaloisExpand
Principal homogeneous spaces for arbitrary Hopf algebras
LetH be a Hopf algebra over a field with bijective antipode,A a rightH-comodule algebra,B the subalgebra ofH-coinvariant elements and can:A ⊗BA →A ⊗H the canonical map. ThenA is a faithfully flat (asExpand
Algebras and Modules in Monoidal Model Categories
• Mathematics
• 1998
In recent years the theory of structured ring spectra (formerly known as A$_{\infty}$- and E$_{\infty}$-ring spectra) has been simplified by the discovery of categories of spectra with strictlyExpand
Equivariant stable homotopy theory
Equivariant homotopy theory started from geometrically motivated questions about symmetries of manifolds. Several important equivariant phenomena occur not just for a particular group, but in aExpand
Equivariant Stable Homotopy Theory
• Mathematics
• 1986
The last decade has seen a great deal of activity in this area. The chapter provides a brief sketch of the basic concepts of space-level equivariant homotopy theory. It also provides an introductionExpand
Rings, Modules, and Algebras in Stable Homotopy Theory
• Mathematics
• 2007
Introduction Prologue: the category of ${\mathbb L}$-spectra Structured ring and module spectra The homotopy theory of $R$-modules The algebraic theory of $R$-modules $R$-ring spectra and theExpand
Postnikov extensions of ring spectra
• Mathematics
• 2006
!P2R! P1R! P0R! in the homotopy category of ring spectra. The levels come equipped with compatible maps R! PnR, and the n‐th level is characterized by having i.PnR/D 0 for i > n, together with theExpand