Hopf Algebroids: Structure & Applications

• Hopf algebroids are generalized Hopf algebras that replace the traditional ground field with a versatile base algebra, allowing for richer algebraic and coalgebraic structures.
• They model equivariant symmetries and descent in areas such as stable homotopy theory and noncommutative geometry, notably through examples like Lubin–Tate spectra.
• Key structural features include biunital maps, coproducts, and antipodes, with properties like pro–freeness and Landweber filtration that influence homological and categorical analyses.

A Hopf algebroid is a generalization of a Hopf algebra in which the ground field or commutative ring is replaced by a more general (possibly noncommutative or local) base algebra, and both algebraic and coalgebraic structures are adapted to accommodate additional symmetry, topological, and descent-theoretic phenomena. The theory of Hopf algebroids unifies and extends the algebraic models of groupoids, equivariant symmetries, and descent, while enabling new structures and techniques particularly relevant in stable homotopy theory, noncommutative geometry, and representation theory.

1. Definition and Structure of Hopf Algebroids

A Hopf algebroid consists of a base commutative Noetherian regular complete local ring $R$ (with maximal ideal $m$) and a total ring or algebra $\Gamma$ endowed with rich structure. In the $L$-complete context (0901.1471), $\Gamma$ is a commutative $R$-biunital ring object in the symmetric monoidal category of $L$-complete $R$-modules, where $L$-completeness means that a module $M$ satisfies $M \cong L_0 M$ (the derived $0$th functor of $m$-adic completion).

The algebra $\Gamma$ admits:

• Two unital maps (biunital) $\eta^L, \eta^R: R \to \Gamma$, extending to $R \otimes R \to \Gamma$.
• A counit $\epsilon: \Gamma \to R$.
• A coproduct (comultiplication) $\psi: \Gamma \to \Gamma \otimes_R \Gamma$ and an antipode $\chi: \Gamma \to \Gamma$.

These maps satisfy cogroupoid diagrams—encoding coassociativity, counit, and inversion—mirroring classical Hopf algebra axioms, but set within the abelian symmetric monoidal category of $L$-complete $R$-modules. A key additional condition is "pro–freeness": $\Gamma$ must be pro–free as left (or equivalently, right) $R$-module, and $m$ acts centrally ($m\Gamma = \Gamma m$).

The structure can be summarized as: | Structure map | Role in Hopf algebroid | Compatibility | |--------------------------|------------------------------------------------------|---------------| | $\eta^L, \eta^R$ | Specify left/right unital $R$-structures | $L$-complete | | $\epsilon$ | Counit, $k_0$-algebra homomorphism | $R$-linear | | $\psi$ | Coproduct, twined with $R$-linear symmetry | $L$-complete | | $\chi$ | Antipode, generalizes groupoid inverses | $R$-linear |

2. Examples and Applications in Algebraic Topology

A canonical instance arises in $K(n)$-local stable homotopy theory. Lubin–Tate spectra $E$ yield complete local rings of the form $$E_* \cong W\mathbb{F}_p[[u_1, \ldots, u_{n-1}]][u, u^{-1}]$$. The Hopf algebroid $(E_*, E_* E)$, where $E_* E$ is the cohomology of $E$ with itself, models the symmetry of the associated Morava $E$-theory and is shown to be $L$-complete and pro–free (Theorems 5.2 and 5.3). Explicitly,

• $E_* E \cong \mathrm{Map}(S, E_*)$, with $S$ a profinite Morava stabilizer group, as pro–free $E_*$-modules.
• The maximal ideal $m \subset E_*$ is invariant under the action of $E_* E$ ($m E_* E = E_* E m$).

These structures formalize descent and Galois theory in the $K(n)$-local category, controlling not only algebraic but also continuous and profinite group symmetries required in chromatic homotopy.

An additional class of examples relates to twisted group rings: when a profinite group $G$ acts continuously on $R$, the Hopf algebroid $(R, \mathrm{Map}(G, R))$ appears as the dual of the twisted group ring $R \# G$.

3. Landweber Filtration and Finiteness Properties

A key structural theorem (Theorem 3.2) proves that for any finitely generated discrete $(R,\Gamma)$–comodule $M$ (i.e., $M$ where each element is annihilated by a power of $m$), there exists a finite "Landweber filtration":

$$M = M^{(0)} \supset M^{(1)} \supset \cdots \supset M^{(\ell)} = \{0\}$$

with each $M^{(i)}/M^{(i+1)} \cong k$, the residue field. This extends the classical Landweber filtration of complex cobordism to the $L$-complete, local setting and allows for inductive and composition series techniques in studying categories of comodules and their extensions. This compositional stratification is fundamental in algebraic topology as it enables structural analysis via reduction to simple objects.

4. Unipotence and Category Theory

The notion of unipotence is generalized from the context of Hopf algebras over fields to Hopf algebroids. Over the residue field $k = R/m$, the reduced Hopf algebroid $(k, \Gamma/m\Gamma)$ is said to be unipotent if every nontrivial finite-dimensional comodule has nontrivial primitives—that is, $k$ is the only irreducible comodule. Theorem 3.2 relates this property to the structure of finite-length Landweber filtrations in the category of discrete comodules. This generalization provides a higher categorical analog of the classical Jordan–Holder theory and is crucial for understanding the reduction and simplicity of comodule categories.

5. Connection with Twisted Group Rings and Galois Theory

Appendix A formalizes the relationship between Hopf algebroids and twisted group rings. If $G$ is a finite group acting on a field $\ell$ with a suitable Galois structure, the pair $(\ell, \ell G)$ with $\ell G$ the dual group algebra forms a Hopf algebroid. The twisted group ring $\ell \# G$ is then a simple central algebra, and the associated Hopf algebroid structure encodes full reducibility of these simple modules.

In the $K(n)$-local context, Hopf algebroids obtained from Lubin–Tate spectra can thus be viewed, via completion and dualization, as arising from twisted group rings of Morava stabilizer groups. This structure encodes descent data and transfers symmetry and extension properties (Galois connections) into the algebraic models supporting homotopy-theoretic calculations.

6. Homological Algebra: Non-exactness of Tensor/Coproduct Functors

Appendix B addresses a critical subtlety: the coproducts (tensor products) of $L$-complete modules can fail to preserve exactness, even with pro–free modules. Hovey’s result (extended in the present work) constructs explicit examples where $P \otimes (-)$ is not left exact, affecting derived functor computations and limiting the straightforward transfer of classical homological arguments to the $L$-complete context.

Specifically, there exist injective maps $N \hookrightarrow M$ of $L$-complete modules such that the induced map $L_0(N) \to L_0(M)$ is not injective. Therefore, the technical apparatus required for comodule and homological algebra in the $L$-complete setting must deviate from classical module-theoretic intuition, and pro–free modules, although projective, do not guarantee all standard properties.

7. Significance and Further Directions

The synthesis of $L$-complete Hopf algebroid theory provides foundational tools and structural theorems central to advanced work in stable homotopy theory (e.g., the paper of the $K(n)$-local category), equivariant and topological Galois theory, and categorical approaches to descent and cohomology in algebraic topology. By extending classical Hopf algebraic properties (unipotence, Landweber filtration, Galois descent, rigidity) and revealing new phenomena (non-exactness, pro–freeness, equivariant completion), this theory enables refined algebraic modeling of deep topological and categorical phenomena.

Emerging applications focus on the analysis of module and comodule categories over these Hopf algebroids, connections with derived categories and higher toposes, and equivariant localization and completion techniques that underpin the computational machinery of modern algebraic topology. The relationship to twisted group rings further ties the theory to classical Galois theory, representation theory, and noncommutative geometry.

---

Key references: (0901.1471)