Copointed Hopf algebras over S4

We study the realizations of certain braided vector spaces of rack type as Yetter–Drinfeld modules over a cosemisimple Hopf algebra H. We apply the strategy developed in [1] to compute their liftings and use these results to obtain the classification of finite-dimensional copointed Hopf algebras over ${\mathbb{S}}_4$.     

Isomorphism problems for Hopf–Galois structures on separable field extensions

Let $L/K$ be a finite separable extension of fields whose Galois closure $E/K$ has Galois group G. Greither and Pareigis use Galois descent to show that a Hopf algebra giving a Hopf–Galois structure on $L/K$ has the form $E{[N]}^G$ for some group N of order $[L:K]$. We formulate criteria for two such Hopf algebras to be isomorphic as Hopf algebras, and provide a variety of examples. In the case that the Hopf algebras in question are commutative, we also determine criteria for them to be isomorphic as K-algebras. By applying our results, we complete a detailed analysis of the distinct Hopf algebras and K-algebras that appear in the classification of Hopf–Galois structures on a cyclic extension of degree $p^n$, for p an odd prime number.     

The formal theory of Hopf algebras Part II: The case of Hopf algebras

Abstract

The category Hopf_R of Hopf algebras over a commutative unital ring R is analyzed with respect to its categorical properties. The main results are: (1) For every ring R the category Hopf_R is locally presentable, it is coreflective in the category of bialgebras over R, over every R-algebra there exists a cofree Hopf algebra. (2) If, in addition, R is absoluty flat, then Hopf_R is reflective in the category of bialgebras as well, and there exists a free Hopf algebra over every R-coalgebra. Similar results are obtained for relevant subcategories of Hopf_R. Moreover it is shown that, for every commutative unital ring R, the so-called “dual algebra functor” has a left adjoint and that, more generally, universal measuring coalgebras exist.     

Triangular braidings and pointed Hopf algebras

We consider an interesting class of braidings defined in [S. Ufer, PBW bases for a class of braided Hopf algebras, J. Algebra 280 (2004) 84-119] by a combinatorial property. We show that it consists exactly of those braidings that come from certain Yetter-Drinfeld module structures over pointed Hopf algebras with abelian coradical.As a tool we define a reduced version of the FRT construction. For braidings induced by U_q(g)-modules the reduced FRT construction is calculated explicitly.     

Constructions of stable equivalences of Morita type for finite dimensional algebras II

Suppose k is a field. Let A and B be two finite dimensional k-algebras such that there is a stable equivalence of Morita type between A and B. In this paper, we prove that (1) if A and B are representation-finite then their Auslander algebras are stably equivalent of Morita type; (2) The n-th Hochschild homology groups of A and B are isomorphic for all n≥1. A new proof is also provided for Hochschild cohomology groups of self-injective algebras under a stable equivalence of Morita type.     

Artinian Hopf algebras are finite dimensional

We prove that an artinian Hopf algebra over a field is finite dimensional. This answers a question of Bergen.

     

Indicators of Hopf algebras in positive characteristic

The notion of n-th indicator for a finite-dimensional Hopf algebra was introduced by Kashina, Montgomery, and Ng as invariance of the tensor category of its representations. In this short note, we show that the indicators appearing in positive characteristic all share the same sequence pattern if we assume the coradical of the Hopf algebra is a local Hopf subalgebra.     

Mould calculus,polyhedral cones,and characters of combinatorial Hopf algebras

We describe a method for constructing characters of combinatorial Hopf algebras by means of integrals over certain polyhedral cones. This is based on ideas from resurgence theory, in particular on the construction of well-behaved averages induced by diffusion processes on the real line. We give several interpretations and proofs of the main result in terms of noncommutative symmetric and quasi-symmetric functions, as well as generalizations involving matrix quasi-symmetric functions. The interpretation of noncommutative symmetric functions as alien operators in resurgence theory is also discussed, and a new family of Lie idempotents of descent algebras is derived from this interpretation.     

The formal theory of hopf algebras Part I: Hopf monoids in a monoidal category

Abstract

The category Hopf ? of Hopf monoids in a symmetric monoidal category ?, assumed to be locally finitely presentable as a category, is analyzed with respect to its categorical properties. Assuming that the functors “tensor squaring” and “tensor cubing” on ? preserve directed colimits one has the following results: (1) If, in ?, extremal epimorphisms are stable under tensor squaring, then Hopf C is locally presentable, coreflective in the category of bimonoids in ? and comonadic over the category of monoids in C. (2) If, in ?, extremal monomorphisms are stable under tensor squaring, then Hopf ? is locally presentable as well, reflective in the category of bimonoids in C and monadic over the category of comonoids in ?.     

Subcoalgebras and endomorphisms of free Hopf algebras

For a matrix coalgebra C over some field, we determine all small subcoalgebras of the free Hopf algebra on C, the free Hopf algebra with a bijective antipode on C, and the free Hopf algebra with antipode S satisfying on C for some fixed d. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.     

On actions of Drinfel'd doubles on finite dimensional algebras

Let q be an nth root of unity for $n>2$ and let $T_n(q)$ be the Taft (Hopf) algebra of dimension $n^2$. In 2001, Susan Montgomery and Hans-Jürgen Schneider classified all non-trivial $T_n(q)$-module algebra structures on an n-dimensional associative algebra A. They further showed that each such module structure extends uniquely to make A a module algebra over the Drinfel'd double of $T_n(q)$. We explore what it is about the Taft algebras that leads to this uniqueness, by examining actions of (the Drinfel'd double of) Hopf algebras H “close” to the Taft algebras on finite-dimensional algebras analogous to A above. Such Hopf algebras H include the Sweedler (Hopf) algebra of dimension 4, bosonizations of quantum linear spaces, and the Frobenius–Lusztig kernel $u_q({\mathfrak{sl}}_2)$.     

On finite-dimensional copointed Hopf algebras over dihedral groups

We classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero such that its coradical is isomorphic to the algebra of functions ${\mathbb{k}}^{{\mathbb{D}}_m}$ over a dihedral group ${\mathbb{D}}_m$, with $m=4a\ge 12$. We obtain this classification by means of the lifting method, where we use cohomology theory to determine all possible deformations. Our result provides an infinite family of new examples of finite-dimensional copointed Hopf algebras over dihedral groups.     

Isomorphic trivial extensions of finite dimensional algebras

Let Λ be a finite dimensional algebra over an algebraically closed field such that any oriented cycle in the ordinary quiver of Λ is zero in Λ. Let T(Λ)=Λ?D(Λ) be the trivial extension of Λ by its minimal injective cogenerator D(Λ). We characterize, in terms of quivers and relations, the algebras Λ^′ such that T(Λ)?T(Λ^′).     

Existence of Hopf subalgebras of GK-dimension two

Let H be a pointed Hopf algebra over an algebraically closed field of characteristic zero. If H is a domain with finite Gelfand-Kirillov dimension greater than or equal to two, then H contains a Hopf subalgebra of Gelfand-Kirillov dimension two.     

Skew differential operator algebras of twisted Hopf algebras

By introducing a twisted Hopf algebra we unify several important objects of study. Skew derivations of such an algebra are defined and the corresponding skew differential operator algebras are studied. This generalizes results in the Weyl algebra. Applying this investigation to the twisted Ringel-Hall algebra we get, in particular, a natural realization of the non-positive part of a quantized generalized Kac-Moody algebra, by identifying the canonical generators with some linear, skew differential operators. This also induces some algebras which are quantum-group like.     

Monomial Hopf algebras over fields of positive characteristic

In this paper, we study the structures of monomial Hopf algebras over a field of positive characteristic. A necessary and sufficient condition for the monomial coalgebra Cd(n) to admit Hopf structures is given here, and if it is the case, all graded Hopf structures on Cd(n) are completely classified. Moreover, we construct a Hopf algebras filtration on Cd(n) which will help us to discuss a conjecture posed by Andruskiewitsch and Schneider. Finally combined with a theorem by Montgomery, we give the structure theorem for all monomial Hopf algebras.     

Semisimple Hopf actions on commutative domains

Let H be a semisimple (so, finite dimensional) Hopf algebra over an algebraically closed field k of characteristic zero and let A be a commutative domain over k. We show that if A arises as an H-module algebra via an inner faithful H-action, then H must be a group algebra. This answers a question of E. Kirkman and J. Kuzmanovich and partially answers a question of M. Cohen.