Cohomological Obstructions to Cleft Extensions over Cocommutative Hopf Algebras

We extend the cohomological treatment of cleft extensions over cocommutative Hopf algebras by giving an interpretation of degree three Sweedler cohomology classes as obstructions to extensions. We show that every twisted action of a cocommutative Hopf algebra on an algebra R gives rise to an obstruction, a degree three Sweedler cohomology class of H with values in the center of R. The obstruction vanishes if and only if the twisted action belongs to a crossed product extension. We also show that every Sweedler three-cocycle can be realized as an obstruction.     

On the Hopf–Schur group of a field

Let k be any field. We consider the Hopf–Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of finite-dimensional Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative finite-dimensional Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a finite-dimensional Hopf algebra over k, revealing so that the Hopf–Schur group can be much larger than the Schur group of k.     

Generalizations of the Sweedler Dual

As left adjoint to the dual algebra functor, Sweedler’s finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We identify a condition guaranteeing that Sweedler’s construction works when generalized to noetherian commutative rings. We establish the following two apparently previously unnoticed dual adjunctions: For every commutative ring R the left adjoint of the dual algebra functor on the category of R-bialgebras has a right adjoint. This dual adjunction can be restricted to a dual adjunction on the category of Hopf R-algebras, provided that R is noetherian and absolutely flat.     

A variation of sweedler's complex and the group of galois objects of an infinite hopf algebra

Let H be a cocommutative faithfully flat Hopf algebra over a commutative ring R. We give a four term exact sequence describing the group of H-Galois objects. This generalizes an exact sequence due to Early and Kreimer and Yokogawa. We have to introduce the Picard group of a coalgebra, and a new type of Sweedler cohomology. Using methods of Villamayor and Zelinsky and Hattori, we can extend the four term exact sequence to a sequence of infinite length.     

Hopf monads on monoidal categories

We define Hopf monads on an arbitrary monoidal category, extending the definition given in Bruguières and Virelizier (2007) [5] for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode.Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid.Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford–Majid bosonization of Hopf algebras).We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler?s Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).     

The complexity of crossed products

Let H be a finite-dimensional Hopf algebra, let A be a finite-dimensional algebra measured by H, and let A # _σ H be a crossed product. In this paper, we first show that if H is semisimple as well as its dual H*, then the complexity of A # _σ H is equal to that of A. Furthermore, we prove that the complexity of a finite-dimensional Hopf algebra H is equal to the complexity of the trivial module _H k. As an application, we prove that the complexity of Sweedler’s 4-dimensional Hopf algebra H ₄ is equal to 1.     

Algebras Graded by Discrete Doi–Hopf Data and the Drinfeld Double of a Hopf Group-Coalgebra

We study Doi–Hopf data and Doi–Hopf modules for Hopf group-coalgebras. We introduce modules graded by a discrete Doi–Hopf datum; to a Doi–Hopf datum over a Hopf group coalgebra, we associate an algebra graded by the underlying discrete Doi–Hopf datum, using a smash product type construction. The category of Doi–Hopf modules is then isomorphic to the category of graded modules over this algebra. This is applied to the category of Yetter–Drinfeld modules over a Hopf group coalgebra, leading to the construction of the Drinfeld double. It is shown that this Drinfeld double is a quasitriangular ${\mathbb{G}}$ -graded Hopf algebra.     

A Central Extension Theorem-for Hopf Algebras

The construction used in Schur's central extension theorem is generalized by proving that given a cocommutative Hopf algebra H, there is a cocornmutative central extension B of H such that any projective representation of H lifts to an ordinary representation of B. The extension B is the crossed product of H with the finite dual of the group algebra kZ₁, where Z₁denotes the group of normal cocycles on H with values in the ground field k.     

A self paired Hopf algebra on double posets and a Littlewood-Richardson rule

Let D be the set of isomorphism types of finite double partially ordered sets, that is sets endowed with two partial orders. On ZD we define a product and a coproduct, together with an internal product, that is, degree-preserving. With these operations ZD is a Hopf algebra. We define a symmetric bilinear form on this Hopf algebra: it counts the number of pictures (in the sense of Zelevinsky) between two double posets. This form is a Hopf pairing, which means that product and coproduct are adjoint each to another. The product and coproduct correspond respectively to disjoint union of posets and to a natural decomposition of a poset into order ideals. Restricting to special double posets (meaning that the second order is total), we obtain a notion equivalent to Stanley's labelled posets, and a Hopf subalgebra already considered by Blessenohl and Schocker. The mapping which maps each double poset onto the sum of the linear extensions of its first order, identified via its second (total) order with permutations, is a Hopf algebra homomorphism, which is isometric and preserves the internal product, onto the Hopf algebra of permutations, previously considered by the two authors. Finally, the scalar product between any special double poset and double posets naturally associated to integer partitions is described by an extension of the Littlewood-Richardson rule.     

Pseudosymmetric braidings, twines and twisted algebras

A laycle is the categorical analogue of a lazy cocycle. Twines (introduced by Bruguières) and strong twines (as introduced by the authors) are laycles satisfying some extra conditions. If c is a braiding, the double braiding c² is always a twine; we prove that it is a strong twine if and only if c satisfies a sort of modified braid relation (we call such cpseudosymmetric, as any symmetric braiding satisfies this relation). It is known that the category of Yetter-Drinfeld modules over a Hopf algebra H is symmetric if and only if H is trivial; we prove that the Yetter-Drinfeld category _HYD^H over a Hopf algebra H is pseudosymmetric if and only if H is commutative and cocommutative. We introduce as well the Hopf algebraic counterpart of pseudosymmetric braidings under the name pseudotriangular structures and prove that all quasitriangular structures on the 2ⁿ⁺¹-dimensional pointed Hopf algebras E(n) are pseudotriangular. We observe that a laycle on a monoidal category induces a so-called pseudotwistor on every algebra in the category, and we obtain some general results (and give some examples) concerning pseudotwistors, inspired by the properties of laycles and twines.     

Braided groups and quantum groupoids

Let H be a quasitriangular weak Hopf algebra. It is proved that the centralizer subalgebra of its source subalgebra in H is a braided group (or Hopf algebra in the category of left H-modules), which is cocommutative and also a left braided Lie algebra in the sense of Majid.     

A Characterization of Group Rings

In this paper we prove that every coseparable involutory Hopf algebra over the ring of integers Z which is a free Z-module is the group ring of some group. This result was proved independently for Hopf algebras which are finitely generated Z-modules by H.-J. Schneider [6], using similar techniques. We then give some examples of coseparable Hopf algebras over number rings which are not group algebras, and give an example of a cocommutative coseparable coalgebra over a number ring which cannot be given a multiplicative structure making it into a Hopf algebra. The Hopf algebra structure theory required for this paper is found in [1], [4], and [5]. For completeness we give proofs here of the coalgebra analogues to some “well-known” facts about separable algebras.     

Integrable Renormalization II: The General Case

We extend the results we obtained in an earlier work [1]. The cocommutative case of ladders is generalized to a full Hopf algebra of (decorated) rooted trees. For Hopf algebra characters with target space of Rota-Baxter type, the Birkhoff decomposition of renormalization theory is derived by using the double Rota-Baxter construction, respectively Atkinsons theorem. We also outline the extension to the Hopf algebra of Feynman graphs via decorated rooted trees.submitted 16/03/04, accepted 09/09/04This revised version was published online in May 2005 with correction to the addresses.     

Primitively generated Hopf orders in characteristic p

Let R be a characteristic p discrete valuation ring with field of fractions K. Let H be a commutative, cocommutative K-Hopf algebra of p-power rank which is generated as a K-algebra by primitive elements. We construct all of the R-Hopf orders of H in K; each Hopf order corresponds to a solution to a single matrix equation. For R complete, we greatly simplify the matrix equation and give explicit examples of Hopf orders in some rank p² K-Hopf algebras.     

The Brauer-Clifford group for locally finite (S,H)-Azumaya algebras

In this article, we define the notion of Brauer-Clifford group for H-locally finite (S, H)-Azumaya algebras, when H is a cocommutative Hopf algebra and S is an H-locally finite commutative H-module algebra over a commutative noetherian ring k. This is the situation that arises in applications with connections to algebraic geometry. This Brauer-Clifford group turns out to be an example of a Brauer group of a symmetric monoidal category.     

The Drinfel’d Double for Group-cograded Multiplier Hopf Algebras

Let G be any group and let K(G) denote the multiplier Hopf algebra of complex functions with finite support in G. The product in K(G) is pointwise. The comultiplication on K(G) is defined with values in the multiplier algebra M(K(G) ⊗K(G )) by the formula for all and . In this paper we consider multiplier Hopf algebras B (over ) such that there is an embedding I: K(G) →M(B). This embedding is a non-degenerate algebra homomorphism which respects the comultiplication and maps K(G) into the center of M(B). These multiplier Hopf algebras are called G-cograded multiplier Hopf algebras. They are a generalization of the Hopf group-coalgebras as studied by Turaev and Virelizier. In this paper, we also consider an admissible action π of the group G on a G-cograded multiplier Hopf algebra B. When B is paired with a multiplier Hopf algebra A, we construct the Drinfel’d double D ^π where the coproduct and the product depend on the action π. We also treat the ^*-algebra case. If π is the trivial action, we recover the usual Drinfel’d double associated with the pair . On the other hand, also the Drinfel’d double, as constructed by Zunino for a finite-type Hopf group-coalgebra, is an example of the construction above. In this case, the action is non-trivial but related with the adjoint action of the group on itself. Now, the double is again a G-cograded multiplier Hopf algebra. Presented by K. Goodearl.     

Commutative combinatorial Hopf algebras

We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general construction based on graphs, and its noncommutative dual is realized in three different ways, in particular, as the Grossman–Larson algebra of heap-ordered trees. Extensions to endofunctions, parking functions, set compositions, set partitions, planar binary trees, and rooted forests are discussed. Finally, we introduce one-parameter families interpolating between different structures constructed on the same combinatorial objects.     

拟三角Hopf代数的Ore -扩张

该文主要考虑了拟三角Hopf代数的某种Ore -扩张问题. 对拟三角Hopf代数的Ore -扩张何时保持相同的拟三角结构给出了充分必要条件. 最后作为应用, 文章讨论了Sweedler Hopf代数和Lusztig小量子群的Ore -扩张结构.