Cocycle deformations and Galois objects of semisimple Hopf algebras of dimension 16

Abstract

In this article, we determine cocycle deformations and Galois objects of non-commutative and non-cocommutative semisimple Hopf algebras of dimension 16. We show that these Hopf algebras are pairwise twist inequivalent mainly by calculating their higher Frobenius-Schur indicators, and that except three Hopf algebras which are cocycle deformations of dual group algebras, none of them admit non-trivial cocycle deformations.     

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.     

Polynomial invariants for a semisimple and cosemisimple Hopf algebra of finite dimension

We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. The coefficients of polynomial invariants are integers if is a finite Galois extension of Q, and A is a scalar extension of some finite-dimensional semisimple Hopf algebra over Q. Furthermore, we show that our polynomial invariants are indeed tensor invariants of the representation category of A, and recognize the difference between the representation category and the representation ring of A. Actually, by computing and comparing polynomial invariants, we find new examples of pairs of Hopf algebras whose representation rings are isomorphic, but whose representation categories are distinct.     

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 ?.     

2-Cosemisimplicial objects in a 2-category, permutohedra and deformations of pseudofunctors

In this paper we take up again the deformation theory for K-linear pseudofunctors initiated in Elgueta (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of 2-cosemisimplicial object in an arbitrary 2-category and analyzing the corresponding coherence question, where the permutohedra make their appearance. We then describe a general method to obtain usual cochain complexes of K-modules from (enhanced) 2-cosemisimplicial objects in the 2-category of small K-linear categories and prove that the deformation complex introduced in Elgueta (to appear) can be obtained by this method from a 2-cosemisimplicial object that can be associated to . Finally, using this 2-cosemisimplicial object of and a generalization to the context of K-linear categories of the deviation calculus introduced by Markl and Stasheff for K-modules (J. Algebra 170 (1994) 122), it is shown that the obstructions to the integrability of an nth-order deformation of indeed correspond to cocycles in the third cohomology group , a question which remained open in Elgueta (Adv. Math. 182 (2004) 204-277).     

Normal Hopf subalgebras of semisimple Drinfeld doubles

In this paper we study normal Hopf subalgebras of a semisimple Drinfeld double. This is realized by considering an analogue of Goursat’s lemma concerning fusion subcategories of Deligne products of two fusion categories. As an application we show that the Drinfeld double of any abelian extension is also an abelian extension.     

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.     

Positive Galois coverings of self-injective algebras

In the article, we study the structure of Galois coverings of self-injective artin algebras with infinite cyclic Galois groups. In particular, we characterize all basic, connected, self-injective artin algebras having Galois coverings by the repetitive algebras of basic connected artin algebras and with the Galois groups generated by positive automorphisms of the repetitive algebras.     

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.     

On geometrically transitive Hopf algebroids

This paper contributes to the characterization of a certain class of commutative Hopf algebroids. It is shown that a commutative flat Hopf algebroid with a non zero base ring and a nonempty character groupoid is geometrically transitive if and only if any base change morphism is a weak equivalence (in particular, if any extension of the base ring is Landweber exact), if and only if any trivial bundle is a principal bi-bundle, and if and only if any two objects are fpqc locally isomorphic. As a consequence, any two isotropy Hopf algebras of a geometrically transitive Hopf algebroid (as above) are weakly equivalent. Furthermore, the character groupoid is transitive and any two isotropy Hopf algebras are conjugated. Several other characterizations of these Hopf algebroids in relation to transitive groupoids are also given.     

Graded Calabi Yau algebras of dimension 3

In this paper, we prove that Graded Calabi Yau algebras of dimension 3 are isomorphic to path algebras of quivers with relations derived from a superpotential. We show that for a given quiver Q and a degree d, the set of good superpotentials of degree d, i.e. those that give rise to Calabi Yau algebras, is either empty or almost everything (in the measure theoretic sense). We also give some constraints on the structure of quivers that allow good superpotentials, and for the simplest quivers we give a complete list of the degrees for which good superpotentials exist.     

Non-group-theoretical semisimple Hopf algebras from group actions on fusion categories

Given an action of a finite group G on a fusion category we give a criterion for the category of G-equivariant objects in to be group-theoretical, i.e., to be categorically Morita equivalent to a category of group-graded vector spaces. We use this criterion to answer affirmatively the question about existence of non-group-theoretical semisimple Hopf algebras asked by P. Etingof, V. Ostrik, and the author in [7]. Namely, we show that certain /2-equivariantizations of fusion categories constructed by D. Tambara and S. Yamagami [26] are equivalent to representation categories of non-group-theoretical semisimple Hopf algebras. We describe these Hopf algebras as extensions and show that they are upper and lower semisolvable.      

Classifying bicrossed products of two Taft algebras

We classify all Hopf algebras which factor through two Taft algebras ${\mathbb{T}}_{n^2}(\stackrel{￣}{q})$ and respectively $T_{m^2}(q)$. To start with, all possible matched pairs between the two Taft algebras are described: if $\stackrel{￣}{q}\ne q^{n?1}$ then the matched pairs are in bijection with the group of d-th roots of unity in k, where $d=(m,n)$ while if $\stackrel{￣}{q}=q^{n?1}$ then besides the matched pairs above we obtain an additional family of matched pairs indexed by $k^{?}$. The corresponding bicrossed products (double cross product in Majid's terminology) are explicitly described by generators and relations and classified. As a consequence of our approach, we are able to compute the number of isomorphism types of these bicrossed products as well as to describe their automorphism groups.     

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.     

Hochschild-Mitchell cohomology and Galois extensions

We define H-Galois extensions for k-linear categories and prove the existence of a Grothendieck spectral sequence for Hochschild-Mitchell cohomology related to this situation. This spectral sequence is multiplicative and for a group algebra decomposes as a direct sum indexed by conjugacy classes of the group. We also compute some Hochschild-Mitchell cohomology groups of categories with infinite associated quivers.     

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).     

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.     

Galois theory for bialgebroids, depth two and normal Hopf subalgebras

We reduce certain proofs in [16, 11, 12] to depth two quasibases from one side only, a minimalistic approach which leads to a characterization of Galois extensions for finite projective bialgebroids without the Frobenius extension property. We prove that a proper algebra extension is a leftT-Galois extension for some right finite projective left bialgebroid over some algebraR if and only if it is a left depth two and left balanced extension. Exchanging left and right in this statement, we have a characterization of right Galois extensions for left finite projective right bialgebroids. Looking to examples of depth two, we establish that a Hopf subalgebra is normal if and only if it is a Hopf-Galois extension. We characterize finite weak Hopf-Galois extensions using an alternate Galois canonical mapping with several corollaries: that these are depth two and that surjectivity of the Galois mapping implies its bijectivity.

---

Sunto Riduciamo alcune prove di [16,11,12] a quasibasi di profondità due da un lato solo, un approccio minimalistico che conduce ad una caratterizzazione di estensioni di Galois per bialgebroidi proietivi finiti senza la proprietà di estensione di Frobenius. Dimostriamo che un'algebra che sia un'estensione propria è un'estensioneT-Galois sinistra per qualche bialgebroide finito proiettivo a sinistra su qualche algebraR se, e solo se, è un'estensione di profondità due a sinistra e bilanciata a sinistra. Scambiando destra e sinistra nell'enunciato, otteniamo una caratterizzazione di estensioni di Galois destre per bialgebroidi finiti proiettivi a destra. Guardando ad esempi di profondità due, otteniamo che una sottoalgebra di Hopf è normale se, e solo se, è un'estensione Hopf-Galois. Caratterizziamo le estensioni Hopf-Galois deboli finite usando un'applicazione canonica di Galois alternativa ottenendo parecchi corollari: queste sono di profondità due e la suriettività dell'applicazione di Galois implica la sua biiettività.

     

A remark on rank varieties for a class of local algebras

We answer a question raised in [9] by showing the equality of two different definitions of rank variety for finitely generated modules over truncated polynomial algebras. We do this by establishing an isomorphism of algebras used in the two definitions of rank variety. Received: 23 April 2007