Hopf algebroid

Last updated February 16, 2021

In mathematics, in the theory of Hopf algebras, a Hopf algebroid is a generalisation of weak Hopf algebras, certain skew Hopf algebras and commutative Hopf k-algebroids. If k is a field, a commutative k-algebroid is a cogroupoid object in the category of k-algebras; the category of such is hence dual to the category of groupoid k-schemes. This commutative version has been used in 1970-s in algebraic geometry and stable homotopy theory. The generalization of Hopf algebroids and its main part of the structure, associative bialgebroids, to the noncommutative base algebra was introduced by J.-H. Lu in 1996 as a result on work on groupoids in Poisson geometry (later shown equivalent in nontrivial way to a construction of Takeuchi from the 1970s and another by Xu around the year 2000). They may be loosely thought of as Hopf algebras over a noncommutative base ring, where weak Hopf algebras become Hopf algebras over a separable algebra. It is a theorem that a Hopf algebroid satisfying a finite projectivity condition over a separable algebra is a weak Hopf algebra, and conversely a weak Hopf algebra H is a Hopf algebroid over its separable subalgebra H^L. The antipode axioms have been changed by G. Böhm and K. Szlachányi (J. Algebra) in 2004 for tensor categorical reasons and to accommodate examples associated to depth two Frobenius algebra extensions.

Definition

The main motivation behind of the definition of a Hopf algebroid^[1]^pg301-302 is its a commutative algebraic representation of an algebraic stack which can be presented as affine schemes. More generally, Hopf algebroids encode the data of presheaves of groupoids on the category ${\text{Aff}}$ of affine schemes.^[2] That is, if we have a groupoid object of affine schemes

$s,t:X_{1}\rightrightarrows X_{0}$

with an identity map $\iota :X_{0}\to X_{1}$ giving an embedding of objects into the arrows, we can take as our definition of a Hopf algebroid as the dual objects in commutative rings ${\text{CRing}}$ which encodes this structure. Note that this process is essentially an application of the Yoneda lemma to the definition of the groupoid schemes in the category ${\text{Aff}}$ of affine schemes. Since we may want to fix a base ring, we will instead consider the category ${\text{CRing}}_{k}$ of commutative $k$ -algebras.

Scheme-theoretic definition

Algebraic objects in the definition

A Hopf algebroid over a commutative ring $k$ is a pair of $k$ -algebras $(A,\Gamma )$ in ${\text{CRing}}_{k}$ such that their functor of points

${\text{Hom}}_{k}(\Gamma ,-)\rightrightarrows {\text{Hom}}_{k}(A,-)$

encodes a groupoid in ${\text{Aff}}$ . If we fix $B$ as some object in ${\text{CRing}}_{k}$ , then ${\text{Hom}}_{k}(A,B)$ is the set of objects in the groupoid and ${\text{Hom}}_{k}(\Gamma ,B)$ is the set of arrows. This translates to having maps

${\begin{aligned}\eta _{L}&:A\to \Gamma &{\text{ left unit/ source map}}\\\eta _{R}&:A\to \Gamma &{\text{ right unit/ target map}}\\\Delta &:\Gamma \to \Gamma \otimes _{A}\Gamma &{\text{ coproduct/ composition map}}\\\varepsilon &:\Gamma \to A&{\text{ counit/ identity map }}\\c&:\Gamma \to \Gamma &{\text{ conjugation/ inverse map}}\end{aligned}}$

where the text on the left hand side of the slash is the traditional word used for the map of algebras giving the Hopf algebroid structure and the text on the right hand side of the slash is what corresponding structure on the groupoid

${\text{Hom}}_{k}(\Gamma ,-)\rightrightarrows {\text{Hom}}_{k}(A,-)$

these maps correspond to, meaning their dual maps from the Yoneda embedding gives the structure of a groupoid. For example,

$\eta _{L}^{*}:{\text{Hom}}_{k}(\Gamma ,-)\rightarrow {\text{Hom}}_{k}(A,-)$

corresponds to the source map $s$ .

Axioms these maps must satisfy

In addition to these maps, they satisfy a host of axioms dual to the axioms of a groupoid. Note we will fix $B$ as some object in ${\text{CRing}}_{k}$ giving

$\varepsilon \eta _{L}=\varepsilon \eta _{R}={\text{Id}}_{A}$ , meaning the dual counit map $\varepsilon ^{*}$ acts as a two-sided identity for the objects in ${\text{Hom}}_{k}(A,B)$
$({\text{Id}}_{\Gamma }\otimes \varepsilon )\Delta =(\varepsilon \otimes {\text{Id}}_{\Gamma })\Delta ={\text{Id}}_{\Gamma }$ , meaning composing an arrow with the identity leaves that arrow unchanged
$({\text{Id}}_{\Gamma }\otimes \Delta )\Delta =(\Delta \otimes {\text{Id}}_{\Gamma })\Delta ={\text{Id}}_{\Gamma }$ corresponds to the associativity of composition of morphisms
$c\eta _{R}=\eta _{L}$ and $c\eta _{L}=\eta _{R}$ , translates to inverting a morphism interchanges the source and target
$cc={\text{Id}}_{\Gamma }$ , meaning the inverse of the inverse is the original map
These exists maps $\Gamma \otimes _{A}\Gamma \rightrightarrows \Gamma$ encoding the composition of a morphism with its inverse on either side gives the identity morphism. This can be encoded by the commutative diagram below where the dashed arrows represent the existence of these two arrows

where $c\cdot \Gamma$ is the map $c\cdot \Gamma (\gamma _{1}\otimes \gamma _{2})=c(\gamma _{1})\gamma _{2}$ and $\Gamma \cdot c(\gamma _{1}\otimes \gamma _{2})=\gamma _{1}c(\gamma _{2})$ .

Additional structures

In addition to the standard definition of a Hopf-algebroid, there are also graded commutative Hopf-algebroids which are pairs of graded commutative algebras $(A,\Gamma )$ with graded commutative structure maps given above.

Also, a graded Hopf algebroid $(A,\Gamma )$ is said to be connected if the right and left sub $A$ -modules $\Gamma _{0}\hookrightarrow \Gamma$ are both isomorphic to $A$

Another definition

A left Hopf algebroid (H, R) is a left bialgebroid together with an antipode: the bialgebroid (H, R) consists of a total algebra H and a base algebra R and two mappings, an algebra homomorphism s: R → H called a source map, an algebra anti-homomorphism t: R → H called a target map, such that the commutativity condition s(r₁) t(r₂) = t(r₂) s(r₁) is satisfied for all r₁, r₂ ∈ R. The axioms resemble those of a Hopf algebra but are complicated by the possibility that R is a non-commutative algebra or its images under s and t are not in the center of H. In particular a left bialgebroid (H, R) has an R-R-bimodule structure on H which prefers the left side as follows: r₁ ⋅ h ⋅ r₂ = s(r₁) t(r₂) h for all h in H, r₁, r₂ ∈ R. There is a coproduct Δ: H → H ⊗_RH and counit ε: H → R that make (H, R, Δ, ε) an R-coring (with axioms like that of a coalgebra such that all mappings are R-R-bimodule homomorphisms and all tensors over R). Additionally the bialgebroid (H, R) must satisfy Δ(ab) = Δ(a)Δ(b) for all a, b in H, and a condition to make sure this last condition makes sense: every image point Δ(a) satisfies a₍₁₎t(r) ⊗ a₍₂₎ = a₍₁₎ ⊗ a₍₂₎s(r) for all r in R. Also Δ(1) = 1 ⊗ 1. The counit is required to satisfy ε(1_H) = 1_R and the condition ε(ab) = ε(as(ε(b))) = ε(at(ε(b))).

The antipode S: H → H is usually taken to be an algebra anti-automorphism satisfying conditions of exchanging the source and target maps and satisfying two axioms like Hopf algebra antipode axioms; see the references in Lu or in Böhm-Szlachányi for a more example-category friendly, though somewhat more complicated, set of axioms for the antipode S. The latter set of axioms depend on the axioms of a right bialgebroid as well, which are a straightforward switching of left to right, s with t, of the axioms for a left bialgebroid given above.

Examples

From algebraic topology

One of the main motivating examples of a Hopf algebroid is the pair $(\pi _{*}(E),E_{*}(E))$ for a spectrum $E$ .^[3] For example, the Hopf algebroids $(\pi _{*}({\text{MU}}),{\text{MU}}_{*}({\text{MU}}))$ , $(\pi _{*}({\text{BP}}),{\text{BP}}_{*}({\text{BP}}))$ , for the spectra representing complex cobordism and Brown-Peterson homology, and truncations of them are widely studied in algebraic topology. This is because of their use in the Adams-Novikov spectral sequence for computing the stable homotopy groups of spheres.

Hopf algebroid corepresenting stack of formal group laws

There is a Hopf-algebroid which corepresents the stack of formal group laws ${\mathcal {M}}_{FG}$ which is constructed using algebraic topology.^[4] If we let ${\text{MP}}$ denote the spectrum

${\text{MP}}=\bigvee _{m\in \mathbb {Z} }\Sigma ^{2m}{\text{MU}}$

there is a Hopf algebroid

${\text{MP}}_{0}\rightrightarrows {\text{MP}}_{0}({\text{MP}})$

corepresenting the stack ${\mathcal {M}}_{FG}$ . This means, there is an isomorphism of functors

${\mathcal {M}}_{FG}(-)\cong [{\text{MP}}_{0}\rightrightarrows {\text{MP}}_{0}({\text{MP}})](-)$

where the functor on the right sends a commutative ring $B$ to the groupoid

${\text{MP}}_{0}(B)\rightrightarrows {\text{MP}}_{0}({\text{MP}})(B)$

Other examples

As an example of left bialgebroid, take R to be any algebra over a field k. Let H be its algebra of linear self-mappings. Let s(r) be left multiplication by r on R; let t(r) be right multiplication by r on R. H is a left bialgebroid over R, which may be seen as follows. From the fact that H ⊗_RH ≅ Hom_k(R ⊗ R, R) one may define a coproduct by Δ(f)(r ⊗ u) = f(ru) for each linear transformation f from R to itself and all r, u in R. Coassociativity of the coproduct follows from associativity of the product on R. A counit is given by ε(f) = f(1). The counit axioms of a coring follow from the identity element condition on multiplication in R. The reader will be amused, or at least edified, to check that (H, R) is a left bialgebroid. In case R is an Azumaya algebra, in which case H is isomorphic to R ⊗ R, an antipode comes from transposing tensors, which makes H a Hopf algebroid over R. Another class of examples comes from letting R be the ground field; in this case, the Hopf algebroid (H, R) is a Hopf algebra.

Related Research Articles

In mathematics, an associative algebra is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over the field K. A standard first example of a K-algebra is a ring of square matrices over a field K, with the usual matrix multiplication.

In mathematics, specifically category theory, adjunction is a relationship that two functors may have. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems, such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology.

In mathematics, coalgebras or cogebras are structures that are dual to unital associative algebras. The axioms of unital associative algebras can be formulated in terms of commutative diagrams. Turning all arrows around, one obtains the axioms of coalgebras. Every coalgebra, by duality, gives rise to an algebra, but not in general the other way. In finite dimensions, this duality goes in both directions.

In mathematics, a bialgebra over a field K is a vector space over K which is both a unital associative algebra and a counital coassociative coalgebra. The algebraic and coalgebraic structures are made compatible with a few more axioms. Specifically, the comultiplication and the counit are both unital algebra homomorphisms, or equivalently, the multiplication and the unit of the algebra both are coalgebra morphisms.

In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously a algebra and a coalgebra, with these structures' compatibility making it a bialgebra, and that moreover is equipped with an antiautomorphism satisfying a certain property. The representation theory of a Hopf algebra is particularly nice, since the existence of compatible comultiplication, counit, and antipode allows for the construction of tensor products of representations, trivial representations, and dual representations.

In mathematics and theoretical physics, the term quantum group denotes one of a few different kinds of noncommutative algebras with additional structure. These include Drinfeld–Jimbo type quantum groups, compact matrix quantum groups, and bicrossproduct quantum groups.

In mathematics, the tensor algebra of a vector space V, denoted T(V) or T^•(V), is the algebra of tensors on V with multiplication being the tensor product. It is the free algebra on V, in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing V, in the sense of the corresponding universal property.

In abstract algebra, a representation of a Hopf algebra is a representation of its underlying associative algebra. That is, a representation of a Hopf algebra H over a field K is a K-vector space V with an action H × V → V usually denoted by juxtaposition. The vector space V is called an H-module.

In mathematics, a comodule or corepresentation is a concept dual to a module. The definition of a comodule over a coalgebra is formed by dualizing the definition of a module over an associative algebra.

In mathematics, especially in the fields of representation theory and module theory, a Frobenius algebra is a finite-dimensional unital associative algebra with a special kind of bilinear form which gives the algebras particularly nice duality theories. Frobenius algebras began to be studied in the 1930s by Richard Brauer and Cecil Nesbitt and were named after Ferdinand Frobenius. Tadashi Nakayama discovered the beginnings of a rich duality theory, . Jean Dieudonné used this to characterize Frobenius algebras. Frobenius algebras were generalized to quasi-Frobenius rings, those Noetherian rings whose right regular representation is injective. In recent times, interest has been renewed in Frobenius algebras due to connections to topological quantum field theory.

In mathematics, a compact quantum group is an abstract structure on a unital separable C*-algebra axiomatized from those that exist on the commutative C*-algebra of "continuous complex-valued functions" on a compact quantum group.

In category theory, a branch of mathematics, dagger compact categories first appeared in 1989 in the work of Sergio Doplicher and John E. Roberts on the reconstruction of compact topological groups from their category of finite-dimensional continuous unitary representations. They also appeared in the work of John Baez and James Dolan as an instance of semistrict k-tuply monoidal n-categories, which describe general topological quantum field theories, for n = 1 and k = 3. They are a fundamental structure in Samson Abramsky and Bob Coecke's categorical quantum mechanics.

In mathematics, a braided Hopf algebra is a Hopf algebra in a braided monoidal category. The most common braided Hopf algebras are objects in a Yetter–Drinfeld category of a Hopf algebra H, particularly the Nichols algebra of a braided vectorspace in that category.

In mathematics, the group Hopf algebra of a given group is a certain construct related to the symmetries of group actions. Deformations of group Hopf algebras are foundational in the theory of quantum groups.

In mathematics, the Butcher group, named after the New Zealand mathematician John C. Butcher by Hairer & Wanner (1974), is an infinite-dimensional Lie group first introduced in numerical analysis to study solutions of non-linear ordinary differential equations by the Runge–Kutta method. It arose from an algebraic formalism involving rooted trees that provides formal power series solutions of the differential equation modeling the flow of a vector field. It was Cayley (1857), prompted by the work of Sylvester on change of variables in differential calculus, who first noted that the derivatives of a composition of functions can be conveniently expressed in terms of rooted trees and their combinatorics.

In ring theory and Frobenius algebra extensions, areas of mathematics, there is a notion of depth two subring or depth of a Frobenius extension. The notion of depth two is important in a certain noncommutative Galois theory, which generates Hopf algebroids in place of the more classical Galois groups, whereas the notion of depth greater than two measures the defect, or distance, from being depth two in a tower of iterated endomorphism rings above the subring. A more recent definition of depth of any unital subring in any associative ring is proposed in a paper studying the depth of a subgroup of a finite group as group algebras over a commutative ring.

In mathematics, weak bialgebras are a generalization of bialgebras that are both algebras and coalgebras but for which the compatibility conditions between the two structures have been "weakened". In the same spirit, weak Hopf algebras are weak bialgebras together with a linear map S satisfying specific conditions; they are generalizations of Hopf algebras.

In mathematics, if $is an associative algebra over some ground field k, then a left associative -bialgebroid is another associative k -algebra together with the following additional maps: an algebra map called the source map, an algebra map called the target map, so that the elements of the images of and commute in, therefore inducing an -bimodule structure on via the rule for; an -bimodule morphism which is required to be a counital coassociative comultiplication on in the monoidal category of -bimodules with monoidal product . The corresponding counit is required to be a left character. Furthermore, a compatibility between the comultiplication and multiplications on and on is required. For a noncommutative, the tensor square is not an algebra, hence asking for a bialgebra-like compatibility that is a morphism of k -algebras does not make sense. Instead, one requires that has a k -subspace which contains the image of and has a well-defined multiplication induced from its preimage under the projection from the usual tensor square algebra . Then one requires that the corestriction is a homomorphism of unital algebras. If it is a homomorphism for one such, one can make a canonical choice for, namely the so called Takeuchi's product, which always inherits an associative multiplication via the projection from . Thus, it is sufficient to check if the image of is contained in the Takeuchi's product rather than to look for other . As shown by Brzeziński and Militaru, the notion of a bialgebroid is equivalent to the notion of -algebra introduced by Takeuchi earlier, in 1977.$

In algebraic topology, through an algebraic operation (dualization), there is an associated commutative algebra from the noncommutative Steenrod algebras called the dual Steenrod algebra. This dual algebra has a number of surprising benefits, such as being commutative and provided technical tools for computing the Adams spectral sequence in many cases with much ease.

In mathematics, at the intersection of algebraic topology and algebraic geometry, there is the notion of a Hopf algebroid which encodes the information of a presheaf of groupoids whose object sheaf and arrow sheaf are represented by algebras. Because any such presheaf will have an associated site, we can consider quasi-coherent sheaves on the site, giving a topos-theoretic notion of modules. Dually^{pg 2}, comodules over a Hopf algebroid are the purely algebraic analogue of this construction, giving a purely algebraic description of quasi-coherent sheaves on a stack: this is one of the first motivations behind the theory.

References

↑ Ravenel, Douglas C. (1986). Complex cobordism and stable homotopy groups of spheres. Orlando: Academic Press. ISBN 978-0-08-087440-1. OCLC 316566772.
↑ Hovey, Mark (2001-05-16). "Morita theory for Hopf algebroids and presheaves of groupoids". arXiv: math/0105137 .
↑ Hopkins. "Complex oriented cohomology theories and the language of stacks" (PDF).
↑ Douglas, Christopher L.; Francis, John; Henriques, André G.; Hill, Michael A. "4. Landweber exact functor theorem". Topological modular forms (PDF). Providence, Rhode Island. ISBN 978-1-4704-1884-7. OCLC 884782304.