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.      

Finitely generated invariants of Hopf algebras on free associative algebras

We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the action is scalar. This generalizes an analogous result for group actions by automorphisms obtained by Dicks and Formanek, and Kharchenko.     

Forms of pointed Hopf algebras

Using descent theory, we study Hopf algebra forms of pointed Hopf algebras. It turns out that the set of isomorphism classes of such forms are in one-to-one correspondence to other known invariants, for example the set of isomorphism classes of Galois extensions with a certain group F, or the set of isometry classes of m-ary quadratic forms. Our theory leads to a classification of all Hopf algebras over a field of characteristic zero that become pointed after a base extension, in dimension p, p ² and p ³, with p odd. Received: 22 November 1998     

Rank varieties for Hopf algebras

We construct rank varieties for the Drinfeld double of the Taft algebra Λ_n and for u_q(sl₂). For the Drinfeld double when n=2 this uses a result which identifies a family of subalgebras that control projectivity of Λ-modules whenever Λ is a Hopf algebra satisfying a certain homological condition. In this case we show that our rank variety is homeomorphic to the cohomological support variety. We also show that Ext^∗(M,M) is finitely generated over the cohomology ring of the Drinfeld double for any finitely generated module M.     

The structure of AS-Gorenstein algebras

In this paper, we define a notion of AS-Gorenstein algebra for N-graded algebras, and show that symmetric AS-regular algebras of Gorenstein parameter 1 are exactly preprojective algebras of quasi-Fano algebras. This result can be compared with the fact that symmetric graded Frobenius algebras of Gorenstein parameter −1 are exactly trivial extensions of finite-dimensional algebras. The results of this paper suggest that there is a strong interaction between classification problems in noncommutative algebraic geometry and those in representation theory of finite-dimensional algebras.     

The structure theorem and duality theorem for endomorphism algebras of weak Hopf algebras

With an aim of exploring homological algebra for weak Hopf modules, this paper investigates the HOM-functor and presents the structure theorem for endomorphism algebras of weak two-sided (A,H)-Hopf modules, and gives the duality theorem for weak “big” smash products.     

A note on K-theory and triangulated derivators

In this paper we show an example of two differential graded algebras that have the same derivator K-theory but non-isomorphic Waldhausen K-theory. We also prove that Maltsiniotis?s comparison and localization conjectures for derivator K-theory cannot be simultaneously true.     

Co-Frobenius Hopf algebras and the coradical filtration

We prove that a Hopf algebra with a finite coradical filtration is co-Frobenius. We also characterize co-Frobenius Hopf algebras with coradical a Hopf subalgebra. Let H be a Hopf algebra whose coradical is a Hopf algebra. Let gr H be the associated graded coalgebra and let R be the diagram of H, c. f. [2]. Then the following are equivalent: (1) H is co-Frobenius; (2) gr H is co-Frobenius; (3) R is finite dimensional; (4) the coradical filtration of H is finite. This Theorem allows us to give systematically examples of co-Frobenius Hopf algebras, and opens the way to the classification of ample classes of such Hopf algebras. Received: 8 March 2001 / Published online: 8 November 2002 RID="*" ID="*" Parts of this work were done during visits of the second author to the University of Córdoba, Argentina, in May 2000; and of the first author to the University of Bucharest in November 2000. We thank the FOMEC and CNCSIS (Grant C12) for support to these visits. The first author also thanks ANPCyT, CONICET, Agencia Córdoba Ciencia and Secyt (UNC) for partial support. The second author was partiall y supported by Grant SM10/01 of the Research Administration of Kuwait University.     

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.     

Lie algebras associated to systems of Dyson–Schwinger equations

We consider systems of combinatorial Dyson–Schwinger equations in the Connes–Kreimer Hopf algebra HI of rooted trees decorated by a set I. Let H(S) be the subalgebra of HI generated by the homogeneous components of the unique solution of this system. If it is a Hopf subalgebra, we describe it as the dual of the enveloping algebra of a Lie algebra g(S) of one of the following types:

• 1. 

  g(S) is an associative algebra of paths associated to a certain oriented graph.

• 2. 

  Or g(S) is an iterated extension of the Faà di Bruno Lie algebra.

• 3. 

  Or g(S) is an iterated extension of an infinite-dimensional abelian Lie algebra.

We also describe the character groups of H(S).     

On minimal disjoint degenerations of modules over tame path algebras

For representations of tame quivers the degenerations are controlled by the dimensions of various homomorphism spaces. Furthermore, there is no proper degeneration to an indecomposable. Therefore, up to common direct summands, any minimal degeneration from M to N is induced by a short exact sequence 0→U→M→V→0 with indecomposable ends that add up to N. We study these ‘building blocs’ of degenerations and we prove that the codimensions are bounded by two. Therefore, a quiver is Dynkin resp. Euclidean resp. wild iff the codimension of the building blocs is one resp. bounded by two resp. unbounded. We explain also that for tame quivers the complete classification of all the building blocs is a finite problem that can be solved with the help of a computer.     

On products and duality of binary, quadratic, regular operads

Since its introduction by Loday in 1995, with motivation from algebraic K-theory, dendriform dialgebras have been studied quite extensively with connections to several areas in Mathematics and Physics. A few more similar structures have been found recently, such as the tri-, quadri-, ennea- and octo-algebras, with increasing complexity in their constructions and properties. We consider these constructions as operads and their products and duals, in terms of generators and relations, with the goal to clarify and simplify the process of obtaining new algebra structures from known structures and from linear operators.     

Tame algebras and Tits quadratic forms

We solve a long standing problem concerning the connection between the tameness of simply connected algebras and the weak nonnegativity of the associated Tits integral quadratic forms, and derive some consequences.     

Bialgebra cohomology, pointed Hopf algebras, and deformations

We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf algebras in the recent classification of Andruskiewitsch and Schneider, in an interpretation of these Hopf algebras as graded bialgebra deformations of Radford biproducts.     

The representation dimension of Hecke algebras and symmetric groups

We establish a lower bound for the representation dimension of all the classical Hecke algebras of types A, B and D. For all the type A algebras, and “most” of the algebras of types B and D, we also establish upper bounds. Moreover, we establish bounds for the representation dimension of group algebras of some symmetric groups.     

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.     

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.     

On a common generalization of Koszul duality and tilting equivalence

We propose a new definition of Koszulity for graded algebras where the degree zero part has finite global dimension, but is not necessarily semi-simple. The standard Koszul duality theorems hold in this setting.