Quantum double of {\rm U}_q((\ksl_2)^{\leq 0})

Let ${U}_q(sl_2)$ be the quantized enveloping algebra associated to the simple Lie algebra $sl_2$. In this paper, we study the quantum double $D_q$ of the Borel subalgebra ${U}_q((sl_2)^{\leq 0})$ of ${U}_q(sl_2)$. We construct an analogue of Kostant--Lusztig ${Z}[v,v^{-1}]$-form for $D_q$ and show that it is a Hopf subalgebra. We prove that, over an algebraically closed field, every simple $D_q$-module is the pullback of a simple ${U}_q(sl_2)$-module through certain surjection from $D_q$ onto ${U}_q(sl_2)$, and the category of finite dimensional weight $D_q$-modules is equivalent to a direct sum of $|k^{\times}|$ copies of the category of finite dimensional weight ${U}_q(sl_2)$-modules. As an application, we recover (in a conceptual way) Chen's results as well as Radford's results on the quantum double of Taft algebra. Our main results allow a direct generalization to the quantum double of the Borel subalgebra of the quantized enveloping algebra associated to arbitrary Cartan matrix

Finite-dimensional quasi-Hopf algebras of Cartan type

In this paper, we present a general method for constructing finite-dimensional quasi-Hopf algebras from finite abelian groups and braided vector spaces of Cartan type. The study of such quasi-Hopf algebras leads to the classification of finite-dimensional radically graded basic quasi-Hopf algebras over abelian groups with dimensions not divisible by $2,3,5,7$ and associators given by abelian $3$-cocycles. As special cases , the small quasi-quantum groups are introduced and studied. Many new explicit examples of finite-dimensional genuine quasi-Hopf algebras are obtained

The Green rings of the generalized Taft Hopf algebras

In this paper, we investigate the Green ring $r(H_{n,d})$ of the generalized Taft algebra $H_{n,d}$, extending the results of Chen, Van Oystaeyen and Zhang in \cite{Coz}. We shall determine all nilpotent elements of the Green ring $r(H_{n,d})$. It turns out that each nilpotent element in $r(H_{n,d})$ can be written as a sum of indecomposable projective representations. The Jacobson radical $J(r(H_{n,d}))$ of $r(H_{n,d})$ is generated by one element, and its rank is $n-n/d$. Moreover, we will present all the finite dimensional indecomposable representations over the complexified Green ring $R(H_{n,d})$ of $H_{n,d}.$ Our analysis is based on the decomposition of the tensor product of indecomposable representations and the observation of the solutions for the system of equations associated to the generating relations of the Green ring $r(H_{n,d})$.Comment: To appear in Contemporary Math. AMS, Proceeding of Hopf Algebra conference in Almeria, 201

Local cohomology associated to the radical of a group action on a noetherian algebra

An arbitrary group action on an algebra $R$ results in an ideal $\mathfrak{r}$ of $R$. This ideal $\mathfrak{r}$ fits into the classical radical theory, and will be called the radical of the group action. If $R$ is a noetherian algebra with finite GK-dimension and $G$ is a finite group, then the difference between the GK-dimensionsof $R$ and that of $R/\mathfrak{r}$ is called the pertinency of the group action. We provide some methods to find elements of the radical, which helps to calculate the pertinency of some special group actions. The $\mathfrak{r}$-adic local cohomology of $R$ is related to the singularities of the invariant subalgebra $R^G$. We establish an equivalence between the quotient category of the invariant $R^G$ and that of the skew group ring $R*G$ through the torsion theory associated to the radical $\mathfrak{r}$. With the help of the equivalence, we show that the invariant subalgebra $R^G$ will inherit certain Cohen-Macaulay property from $R$.Comment: 26 page

Braided autoequivalences and quantum commutative bi-Galois objects

Let $(H,R)$ be a quasitriangular weak Hopf algebra over a field $k$. We show that there is a braided monoidal equivalence between the Yetter-Drinfeld module category $^H_H\mathscr{YD}$ over $H$ and the category of comodules over some braided Hopf algebra ${}_RH$ in the category $_H\mathscr{M}$. Based on this equivalence, we prove that every braided bi-Galois object $A$ over the braided Hopf algebra ${}_RH$ defines a braided autoequivalence of the category $^H_H\mathscr{YD}$ if and only if $A$ is quantum commutative. In case $H$ is semisimple over an algebraically closed field, i.e. the fusion case, then every braided autoequivalence of $^H_H\mathscr{YD}$ trivializable on $_H\mathscr{M}$ is determined by such a quantum commutative Galois object. The quantum commutative Galois objects in $_H\mathscr{M}$ form a group measuring the Brauer group of $(H,R)$ as studied in [20] in the Hopf algebra case

Reconstruction of tensor categories from their structure invariants

In this paper, we study tensor (or monoidal) categories of finite rank over an algebraically closed field $\mathbb F$. Given a tensor category $\mathcal{C}$, we have two structure invariants of $\mathcal{C}$: the Green ring (or the representation ring) $r(\mathcal{C})$ and the Auslander algebra $A(\mathcal{C})$ of $\mathcal{C}$. We show that a Krull-Schmit abelian tensor category $\mathcal{C}$ of finite rank is uniquely determined (up to tensor equivalences) by its two structure invariants and the associated associator system of $\mathcal{C}$. In fact, we can reconstruct the tensor category $\mathcal{C}$ from its two invarinats and the associator system. More general, given a quadruple $(R, A, \phi, a)$ satisfying certain conditions, where $R$ is a $\mathbb{Z}_+$-ring of rank $n$, $A$ is a finite dimensional $\mathbb F$-algebra with a complete set of $n$ primitive orthogonal idempotents, $\phi$ is an algebra map from $A\otimes_{\mathbb F}A$ to an algebra $M(R, A, n)$ constructed from $A$ and $R$, and $a=\{a_{i,j,l}|1< i,j,l<n\}$ is a family of "invertible" matrices over $A$, we can construct a Krull-Schmidt and abelian tensor category $\mathcal C$ over $\mathbb{F}$ such that $R$ is the Green ring of $\mathcal C$ and $A$ is the Auslander algebra of $\mathcal C$. In this case, $\mathcal C$ has finitely many indecomposable objects (up to isomorphisms) and finite dimensional Hom-spaces. Moreover, we will give a necessary and sufficient condition for such two tensor categories to be tensor equivalent

Cocycle Deformations and Brauer Group Isomorphisms

Let $H$ be a Hopf algebra over a commutative ring $k$ with unity and $\sigma:H\otimes H\longrightarrow k$ be a cocycle on $H$. In this paper, we show that the Yetter-Drinfeld module category of the cocycle deformation Hopf algebra $H^{\sigma}$ is equivalent to the Yetter-Drinfeld module category of $H$. As a result of the equivalence, the "quantum Brauer" group BQ$(k,H)$ is isomorphic to BQ$(k,H^{\sigma})$. Moreover, the group \Gal(\HR) constructed in \cite{Z} is studied under a cocycle deformation.Comment: 33 pages, no figure

The Calabi-Yau property of Hopf algebras and braided Hopf algebras

Let $H$ be a finite dimensional semisimple Hopf algebra and $R$ a braided Hopf algebra in the category of Yetter-Drinfeld modules over $H$. When $R$ is a Calabi-Yau algebra, a necessary and sufficient condition for R#H to be a Calabi-Yau Hopf algebra is given. Conversely, when $H$ is the group algebra of a finite group and the smash product R#H is a Calabi-Yau algebra, we give a necessary and sufficient condition for the algebra $R$ to be a Calabi-Yau algebra.Comment: 30 page

Calabi-Yau pointed Hopf algebras of finite Cartan type

We study the Calabi-Yau property of pointed Hopf algebra U(\mc{D},\lmd) of finite Cartan type. It turns out that this class of pointed Hopf algebras constructed by N. Andruskiewitsch and H.-J. Schneider contains many Calabi-Yau Hopf algebras. To give concrete examples of new Calabi-Yau Hopf algebras, we classify the Calabi-Yau pointed Hopf algebras U(\mc{D},\lmd) of dimension less than 5.Comment: 42 pages, introduction slightly revise

Calabi-Yau Nichols algebras of Hecke type

Let $R$ be a Nichols algebra of Hecke type. In this paper, we show that if $R$ is Noetherian and of finite global dimension, then $R$ has a rigid dualizing complex. We then give a necessary and sufficient condition for $R$ to be a Calabi-Yau algebra.Comment: no figure