Pseudo-unitarizable weight modules over generalized Weyl algebras

We define a notion of pseudo-unitarizability for weight modules over a generalized Weyl algebra (of rank one, with commutative coefficient ring R), which is assumed to carry an involution of the form X^∗=Y, R^∗⊆R. We prove that a weight module V is pseudo-unitarizable iff it is isomorphic to its finitistic dual V^?. Using the classification of weight modules by Drozd, Guzner and Ovsienko, we obtain necessary and sufficient conditions for an indecomposable weight module to be isomorphic to its finitistic dual, and thus to be pseudo-unitarizable. Some examples are given, including U_q(sl₂) for q a root of unity.     

Presenting degenerate Ringel-Hall algebras of cyclic quivers

Using the generators labelled by simple and sincere semisimple modules for the Ringel-Hall algebra H_q(n) of a cyclic quiver Δ(n), we give a presentation for the degenerate algebra H₀(n). This is achieved by establishing a presentation for the generic extension monoid algebra of Δ(n). As an application, we show that both the degenerate Ringel-Hall algebra and the degenerate quantum affine sl_n admit multiplicative bases.     

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.     

Hopf powers and orders for some bismash products

The exponent of a finite group G can be viewed as a Hopf algebraic invariant of the group algebra H=kG: it is the least integer n for which the nth Hopf power endomorphism [n] of H is trivial. The exponent of a group scheme G as studied by Gabriel and Tate and Oort can be defined in the same way using the coordinate Hopf algebra H=O(G).The power map and the corresponding notion of exponent have been studied for a general finite-dimensional Hopf algebra beginning with work of Kashina. Several positive results, suggested by analogy to the group case, were proved by Kashina and by Etingof and Gelaki.Given these positive results, there was some hope that the Hopf order of an individual element of a Hopf algebra might also be a well-behaved notion, with some properties analogous to well-known facts on the orders of elements of a finite group.In fact we prove that such analogous properties do hold for Hopf algebras satisfying the usual rule for iterated powers; for example, such a Hopf algebra H has an element of order n if and only if n divides the exponent of H. However, in general such properties are not true. We will give examples where the behavior of Hopf powers, Hopf orders, and related notions is rather strange, unexpected, and seemingly hard to predict. We will see this using computer algebra calculations in Drinfeld doubles of finite groups, and more generally in bismash products constructed from factorizable groups.     

On Finite Quantum Groups at −1

This is a contribution to the classification of finite-dimensional pointed Hopf algebras. We are concerned with the case when the group of group-like elements is Abelian of exponent 2. We attach to such a pointed Hopf algebra a generalized simply-laced Cartan matrix; we conjecture that the Hopf algebra is finite-dimensional if and only if the Cartan matrix is of finite type. We prove the conjecture for the types A_n and A_n⁽¹⁾. We obtain the classification of all possible Hopf algebras with Cartan matrix A_n. We use the lifting method developed by Hans-Jürgen Schneider and the first-named author. Presented by S. MontgomeryMathematics Subject Classifications (2000) Primary: 17B37; secondary: 16W30.This work was partially supported by CONICET, Agencia Córdoba Ciencia – CONICOR, FOMEC and Secyt (UNC).     

Tensor Products and Whittaker Vectors for Quantum Groups

We describe the action of the center of the quantum group U_q () on the tensor product V ? L(λ) of an infinite-dimensional representation V having an infinitesimal character χ_τ and an irreducible finite-dimensional U_q () representation L(λ) of highest weight λ. We apply this result in order to describe the tensor product of a Whittaker module and a finite-dimensional simple module for the algebra U_q(l₂).     

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.     

Representations and cohomology for Frobenius-Lusztig kernels

Let U_ζ be the quantum group (Lusztig form) associated to the simple Lie algebra g, with parameter ζ specialized to an ?-th root of unity in a field of characteristic p>0. In this paper we study certain finite-dimensional normal Hopf subalgebras U_ζ(G_r) of U_ζ, called Frobenius-Lusztig kernels, which generalize the Frobenius kernels G_r of an algebraic group G. When r=0, the algebras studied here reduce to the small quantum group introduced by Lusztig. We classify the irreducible U_ζ(G_r)-modules and discuss their characters. We then study the cohomology rings for the Frobenius-Lusztig kernels and for certain nilpotent and Borel subalgebras corresponding to unipotent and Borel subgroups of G. We prove that the cohomology ring for the first Frobenius-Lusztig kernel is finitely-generated when g has type A or D, and that the cohomology rings for the nilpotent and Borel subalgebras are finitely-generated in general.     

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

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

Weyl modules, Demazure modules, KR-modules, crystals, fusion products and limit constructions

We study finite-dimensional representations of current algebras, loop algebras and their quantized versions. For the current algebra of a simple Lie algebra of type ADE, we show that Kirillov-Reshetikhin modules and Weyl modules are in fact all Demazure modules. As a consequence one obtains an elementary proof of the dimension formula for Weyl modules for the current and the loop algebra. Further, we show that the crystals of the Weyl and the Demazure module are the same up to some additional label zero arrows for the Weyl module.For the current algebra Cg of an arbitrary simple Lie algebra, the fusion product of Demazure modules of the same level turns out to be again a Demazure module. As an application we construct the Cg-module structure of the Kac-Moody algebra -module V(?Λ₀) as a semi-infinite fusion product of finite-dimensional Cg-modules.     

A family of Koszul algebras arising from finite-dimensional representations of simple Lie algebras

Let g be a finite-dimensional simple Lie algebra and let Sg be the locally finite part of the algebra of invariants (EndCV⊗Sg(g)) where V is the direct sum of all simple finite-dimensional modules for g and S(g) is the symmetric algebra of g. Given an integral weight ξ, let Ψ=Ψ(ξ) be the subset of roots which have maximal scalar product with ξ. Given a dominant integral weight λ and ξ such that Ψ is a subset of the positive roots we construct a finite-dimensional subalgebra of Sg and prove that the algebra is Koszul of global dimension at most the cardinality of Ψ. Using this we construct naturally an infinite-dimensional non-commutative Koszul algebra of global dimension equal to the cardinality of Ψ. The results and the methods are motivated by the study of the category of finite-dimensional representations of the affine and quantum affine algebras.     

Endomorphism algebras and q-traces

For a braided vector space (V,σ) with braiding σ of Hecke type, we introduce three associative algebra structures on the space of graded endomorphisms of the quantum symmetric algebra S_σ(V). We use the second product to construct a new trace. This trace is an algebra morphism with respect to the third product. In particular, when V is the fundamental representation of U_qsl_N+1 and σ is the action of the R-matrix, this trace is a scalar multiple of the quantum trace of type A.     

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.     

Cohomology of the Schrdinger Algebra S(1)

We explicitly compute the first and second cohomology groups of the Schrdinger algebra S(1) with coefficients in the trivial module and the finite-dimensional irreducible modules.We also show that the first and second cohomology groups of S(1) with coefficients in the universal enveloping algebras U(S(1))(under the adjoint action) are infinite dimensional.     

Extensions of quantum enveloping algebras

In this paper, we define a class of extended quantum enveloping algebras U _q (f(K, J)) and some new Hopf algebras, which are certain extensions of quantum enveloping algebras by a Hopf algebra H. This construction generalizes some well-known extensions of quantum enveloping algebras by a Hopf algebra and provides a large of new noncommutative and noncocommutative Hopf algebras.     

Self-dual hopf algebras

We introduce the notions of self-dual (graded) Hopf algebras and of structurally simple (graded) Hopf algebras. We prove that the self-dual Hopf algebras are structurally simple and provide a construction of self-dual Hopf algebras. Finally, we classify the self-dual quotients of the form T_B (M)/I, where T_B (M) is a path algebra with a graded Hopf algebra structure, and I is a graded admissible Hopf ideal.