Poisson algebras associated to quasi-Hopf algebras

We define admissible quasi-Hopf quantized universal enveloping (QHQUE) algebras by ?-adic valuation conditions. We show that any QHQUE algebra is twist-equivalent to an admissible one. We prove a related statement: any associator is twist-equivalent to a Lie associator. We attach a quantized formal series algebra to each admissible QHQUE algebra and study the resulting Poisson algebras.     

Radford's biproduct for quasi-Hopf algebras and bosonization

Let B be a braided Hopf algebra (with bijective antipode) in the category of left Yetter-Drinfeld modules over a quasi-Hopf algebra H. As in the case of Hopf algebras (J. Algebra 92 (1985) 322), the smash product B#H defined in (Comm. Algebra 28(2) (2000) 631) and a kind of smash coproduct afford a quasi-Hopf algebra structure on B⊗H. Using this, we obtain the structure of quasi-Hopf algebras with a projection. Further we will use this biproduct to describe the Majid bosonization (J. Algebra 163 (1994) 165) for quasi-Hopf algebras.     

A structure theorem for quasi-Hopf comodule algebras

If is a quasi-Hopf algebra and is a right -comodule algebra such that there exists a morphism of right -comodule algebras, we prove that there exists a left -module algebra such that . The main difference when comparing to the Hopf case is that, from the multiplication of , which is associative, we have to obtain the multiplication of , which in general is not; for this we use a canonical projection arising from the fact that becomes a quasi-Hopf -bimodule.

     

Basic quasi-Hopf algebras over cyclic groups

Let m be a positive integer, not divisible by 2, 3, 5, 7. We generalize the classification of basic quasi-Hopf algebras over cyclic groups of prime order given in Etingof and Gelaki (2006) [11] to the case of cyclic groups of order m. To this end, we introduce a family of non-semisimple radically graded quasi-Hopf algebras A(H,s), constructed as subalgebras of Hopf algebras twisted by a quasi-Hopf twist, which are not twist equivalent to Hopf algebras. Any basic quasi-Hopf algebra over a cyclic group of order m is either semisimple, or is twist equivalent to a Hopf algebra or a quasi-Hopf algebra of type A(H,s).     

Central invariants and Frobenius-Schur indicators for semisimple quasi-Hopf algebras

In this paper, we obtain a canonical central element ν_H for each semi-simple quasi-Hopf algebra H over any field k and prove that ν_H is invariant under gauge transformations. We show that if k is algebraically closed of characteristic zero then for any irreducible representation of H which affords the character takes only the values 0, 1 or −1, moreover if H is a Hopf algebra or a twisted quantum double of a finite group then χ(ν_H) is the corresponding Frobenius-Schur indicator. We also prove an analog of a theorem of Larson-Radford for split semi-simple quasi-Hopf algebras over any field k. Using this result, we establish the relationship between the antipode S, the values of χ(ν_H), and certain associated bilinear forms when the underlying field k is algebraically closed of characteristic zero.     

Central invariants and higher indicators for semisimple quasi-Hopf algebras

In this paper, we define the higher Frobenius-Schur (FS-)indicators for finite-dimensional modules of a semisimple quasi-Hopf algebra via the categorical counterpart developed in a 2005 preprint. When is an ordinary Hopf algebra, we show that our definition coincides with that introduced by Kashina, Sommerhäuser, and Zhu. We find a sequence of gauge invariant central elements of such that the higher FS-indicators of a module are obtained by applying its character to these elements. As an application, we show that FS-indicators are sufficient to distinguish the four gauge equivalence classes of semisimple quasi-Hopf algebras of dimension eight corresponding to the four fusion categories with certain fusion rules classified by Tambara and Yamagami. Three of these categories correspond to well-known Hopf algebras, and we explicitly construct a quasi-Hopf algebra corresponding to the fourth one using the Kac algebra. We also derive explicit formulae for FS-indicators for some quasi-Hopf algebras associated to group cocycles.

     

An approach to quasi-Hopf algebras via Frobenius coordinates

We study quasi-Hopf algebras and their subobjects over certain commutative rings from the point of view of Frobenius algebras. We introduce a type of Radford formula involving an anti-automorphism and the Nakayama automorphism of a Frobenius algebra, then view several results in quantum algebras from this vantage-point. In addition, separability and strong separability of quasi-Hopf algebras are studied as Frobenius algebras.     

Liftings of graded quasi-Hopf algebras with radical of prime codimension

Let p be a prime, and let RG(p) denote the set of equivalence classes of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p. The purpose of this paper is to classify finite dimensional quasi-Hopf algebras A whose radical is a quasi-Hopf ideal and has codimension p; that is, A with gr(A) in RG(p), where gr(A) is the associated graded algebra taken with respect to the radical filtration on A. The main result of this paper is the following theorem: Let A be a finite dimensional quasi-Hopf algebra whose radical is a quasi-Hopf ideal of prime codimension p. Then either A is twist equivalent to a Hopf algebra, or it is twist equivalent to H(2), H_±(p), A(q), or H(32), constructed in [5] and [8]. Note that any finite tensor category whose simple objects are invertible and form a group of order p under tensor is the representation category of a quasi-Hopf algebra A as above. Thus this paper provides a classification of such categories.     

Master integrals, superintegrability and quadratic algebras

In this paper we use a generalization of Oevel's theorem about master symmetries to relate them with superintegrability and quadratic algebras.     

Cohomological properties of the quantum shuffle product and application to the construction of quasi-Hopf algebras

For a commutative algebra the shuffle product is a morphism of complexes. We generalize this result to the quantum shuffle product, associated to a class of non-commutative algebras (for example all the Hopf algebras). As a first application we show that the Hochschild-Serre identity is the dual statement of our result. In particular, we extend this identity to Hopf algebras. Secondly, we clarify the construction of a class of quasi-Hopf algebras.     

Translation-invariant integrals,and Fourier analysis on Clifford and Grassmann algebras

The generalization of Berezin's Grassmann algebra integral to a Clifford algebra is shown to be translation-invariant in a certain sense. This enables the construction of analogs of twisted convolutions of Grassmann algebra elements and of the Fourier-Weyl transformation, which is an isomorphism from a Clifford algebra to the Grassmann algebra over the dual space, equipped with a twisted convolution product. As an application a noncommutative central limit theorem for states of a Clifford algebra is proved.     

On weighted inequalities for singular integrals

In this note we consider singular integrals associated to Calderón-Zygmund kernels. We prove that if the kernel is supported in then the one-sided condition, , is a sufficient condition for the singular integral to be bounded in , , or from into weak- if . This one-sided condition becomes also necessary when we require the uniform boundedness of the singular integrals associated to the dilations of a kernel which is not identically zero in . The two-sided version of this result is also obtained: Muckenhoupts condition is necessary for the uniform boundedness of the singular integrals associated to the dilations of a general Calderón-Zygmund kernel which is not the function zero either in or in .

     

A quasi-Hopf algebra freeness theorem

We prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra.