Search

We consider the finite generation property for cohomology algebra of pointed finite tensor categories via de-equivariantization and exact sequence of finite tensor categories. As a result, we prove that all coradically graded pointed finite tensor categories over abelian groups have finitely generated cohomology., Comment: 11 pages, comments welcome

We try to classify Hopf algebras with the dual Chevalley property of discrete corepresentation type over an algebraically closed field $\Bbb{k}$ with characteristic 0. For such Hopf algebra $H$, we characterize the link quiver of $H$ and determine the structures of the link-indecomposable component $H_{(1)}$ containing $\Bbb{k}1$. Besides, we construct an infinite-dimensional non-pointed non-cosemisimple link-indecomposable Hopf algebra $H(e_{\pm 1}, f_{\pm 1}, u, v)$ with the dual Chevalley property of discrete corepresentation type.

We study the quantum double of a finite abelian group $G$ twisted by a $3$-cocycle and give a sufficient condition when such a twisted quantum double will be gauge equivalent to a ordinary quantum double of a finite group. Moreover, we will determine when a twisted quantum double of a cyclic group is genuine. As an application, we contribute to the classification of coradically graded finite-dimensional pointed coquasi-Hopf algebras over abelian groups. As a byproduct, we show that the Nichols algebras $\mathcal{B}(M_1\oplus M_2 \oplus M_3)$ are infinite-dimensional where $M_1,M_2,M_3$ are three different simple Yetter-Drinfeld modules of $D_8$.

Let $\Bbbk$ be an algebraically closed field of characteristic 0 and $H$ a finite-dimensional Hopf algebra over $\Bbbk$ with the dual Chevalley property. In this paper, we show that $\operatorname{gr}^c(H)$ is of tame corepresentation type if and only if $\operatorname{gr}^c(H)\cong (\Bbbk\langle x,y\rangle/I)^* \times H^\prime$ for some finite-dimensional semisimple Hopf algebra $H^\prime$ and some special ideals $I$. Then, by the method of link quiver and bosonization, we discuss which of the above ideals will occur when $(\Bbbk\langle x,y\rangle/I)^* \times H_0$ is a Hopf algebra of tame corepresentation type under some assumptions., Comment: arXiv admin note: substantial text overlap with arXiv:2308.09553

The aim of this paper is to introduce a tensor structure for the Serre quotient category of an abelian monoidal category with biexact tensor product to make the canonical functor a monoidal functor. In this tensor product, the Serre quotient category of a multiring category (resp. a multitensor category) by a two-sided Serre tensor-ideal is still a multiring category (resp. a multitensor category). Besides, a two-sided Serre tensor-ideal of a tensor category is always trivial. This result can be generalized to any tensor product. If the canonical functor is a monoidal functor, then the corresponding Serre subcategory of the tensor category is trivial.

Using a variety of methods developed in the theory of finite-dimensional quasi-Hopf algebras, we classify all finite-dimensional coradically graded pointed coquasi-Hopf algebras over abelian groups. As a consequence, we partially confirm the generation conjecture of pointed finite tensor categories due to Etingof, Gelaki, Nikshych and Ostrik., Comment: 30 pages. arXiv admin note: text overlap with arXiv:1710.07917

Let $H$ be a finite-dimensional Hopf algebra over an algebraically closed field $\Bbbk$ with the dual Chevalley property. We prove that $H$ is of finite corepresentation type if and only if it is coNakayama, if and only if the link quiver $\mathrm{Q}(H)$ of $H$ is a disjoint union of basic cycles, if and only if the link-indecomposable component $H_{(1)}$ containing $\Bbbk1$ is a pointed Hopf algebra and the link quiver of $H_{(1)}$ is a basic cycle.

Let $H$ be the Hopf algebra $H_{c: \sigma_{0}}$ of Kashina [J. Algebra, 232(2000),pp.617-663]. We give all simple Yetter-Drinfel'd modules $V$ over $H$, then classify all finite-dimensional Nichols algebras of $V$. The finite dimensional Nichols algebras of diagonal type are either $A_{1}, A_{2}$ or quantum planes, and non-diagonal type ones are $8$ or $16$ dimensional.

We aim to study Morita theory for tensor triangulated categories. For two finite tensor categories having no projective simple objects, we prove that their stable equivalence induced by an exact $\Bbbk$-linear monoidal functor can be lifted to a tensor equivalence under some certain conditions.

Let $H$ be a semisimple Hopf algebra over an algebraically closed field $\mathbbm{k}$ of characteristic $p>\dim_{\mathbbm{k}}(H)^{1/2}$ and $p\nmid 2\dim_{\mathbbm{k}}(H)$. In this paper, we consider the smash product semisimple Hopf algebra $H\#\mathbbm{k}G$, where $G$ is a cyclic group of order $n:=2\dim_{\mathbbm{k}}(H)$. Using irreducible representations of $H$ and those of $\mathbbm{k}G$, we determine all non-isomorphic irreducible representations of $H\#\mathbbm{k}G$. There is a close relationship between the Grothendieck algebra $(G_0(H\#\mathbbm{k}G)\otimes_{\mathbb{Z}}\mathbbm{k},*)$ of $H\#\mathbbm{k}G$ and the Grothendieck algebra $(G_0(H)\otimes_{\mathbb{Z}}\mathbbm{k},*)$ of $H$. To establish this connection, we endow with a new multiplication operator $\star$ on $G_0(H)\otimes_{\mathbb{Z}}\mathbbm{k}$ and show that the Grothendieck algebra $(G_0(H\#\mathbbm{k}G)\otimes_{\mathbb{Z}}\mathbbm{k},\ast)$ is isomorphic to the direct sum of $(G_0(H)\otimes_{\mathbb{Z}}\mathbbm{k},*)^{\oplus\frac{n}{2}}$ and $(G_0(H)\otimes_{\mathbb{Z}}\mathbbm{k},\star)^{\oplus\frac{n}{2}}$., Comment: 14 pages. Any comments and suggestions will be appreciated

For a finite-dimensional Hopf algebra $A$ with a nonzero left integral $\Lambda$, we investigate a relationship between $P_n(\Lambda)$ and $P_n^J(\Lambda)$, where $P_n$ and $P_n^J$ are respectively the $n$-th Sweedler power maps of $A$ and the twisted Hopf algebra $A^J$. We use this relation to give several invariants of the representation category Rep$(A)$ considered as a tensor category. As applications, we distinguish the representation categories of 12-dimensional pointed nonsemisimple Hopf algebras. Also, these invariants are sufficient to distinguish the representation categories Rep$(K_8)$, Rep$(\kk Q_8)$ and Rep$(\kk D_4)$, although they have been completely distinguished by their Frobenius-Schur indicators. We further reveal a relationship between the right integrals $\lambda$ in $A^*$ and $\lambda^J$ in $(A^J)^*$. This can be used to give a uniform proof of the remarkable result which says that the $n$-th indicator $\nu_n(A)$ is a gauge invariant of $A$ for any $n\in \mathbb{Z}$. We also use the expression for $\lambda^J$ to give an alternative proof of the known result that the Killing form of the Hopf algebra $A$ is invariant under twisting. As a result, the dimension of the Killing radical of $A$ is a gauge invariant of $A$., Comment: 19 pages,comments are welcome

Let $H$ be a semisimple Hopf algebra over an algebraically closed field $\mathbbm{k}$ of characteristic $p>\dim_{\mathbbm{k}}(H)^{1/2}$. We show that the antipode $S$ of $H$ satisfies the equality $S^2(h)=\mathbf{u}h\mathbf{u}^{-1}$, where $h\in H$, $\mathbf{u}=S(\Lambda_{(2)})\Lambda_{(1)}$ and $\Lambda$ is a nonzero integral of $H$. The formula of $S^2$ enables us to define higher Frobenius-Schur indicators for the Hopf algebra $H$. This generalizes the notions of higher Frobenius-Schur indicators from the case of characteristic 0 to the case of characteristic $p>\dim_{\mathbbm{k}}(H)^{1/2}$. These indicators defined here share some properties with the ones defined over a field of characteristic 0. Especially, all these indicators are gauge invariants for the tensor category Rep$(H)$ of finite dimensional representations of $H$.

Let p and q be distinct odd primes and assume k is an algebraically closed field of characteristic zero. We classify all quasitriangular Hopf algebras of dimension pq^2 over k, which are not simple as Hopf algebras. Moreover, we obtained all quasitriangular structures on these Hopf algebras.

This paper is an attempt to construct a special kind of Hopf pairing $\langle-,-\rangle:H^\bullet\otimes H\rightarrow\Bbbk$. Specifically, $H^\bullet$ and $H$ should be both affine, noetherian and of the same GK-dimension. In addition, some properties of them would be dual to each other. We test the ideas in two steps for all the affine prime regular Hopf algebras $H$ of GK-dimension one: 1) We compute the finite duals $H^\circ$ of them, which are given by generators and relations; 2) the Hopf pairings desired are determined by choosing certain Hopf subalgebras $H^\bullet$ of $H^\circ$, where $\langle-,-\rangle$ becomes the evaluation., Comment: Final version, where some errors are corrected

The aim of this paper is to study quasitriangular structures on a class of semisimple Hopf algebras constructed through abelian extensions of $Z_2$ for an abelian group $G$. We prove that there are only two forms of them. Using such description together with some other techniques, we get a complete list of all universal $\mathcal{R}$-matrices on some Hopf algebras.

In this note, we find a combinatorial identity which is closely related to the multi-dimensional integral $\gamma_{m}$ in the study of divisor functions. As an application, we determine the finite dual of the group algebra of infinite dihedral group., Comment: Comments are welcome!

In this paper, we study the antipode of a finite-dimensional Hopf algebra $H$ with the dual Chevalley property and obtain an annihilation polynomial for its antipode $S$. The annihilation polynomial is determined by the exponent $N$ of the coradical and the Loewy length. In particular, the order of $S^2$ divides $N$ in characteristic $0$. Moreover, we get two characterizations of the quasi-exponent.

In this note, we give a list of all non-isomorphic quasitriangular structures on the 8-dimension Kac algebra K_8., Comment: We were informed that the main result of this paper already appeared in Michihisa Wakui's paper "Polynomial invariants for a semisimple and cosemisimple Hopf algebra of finite dimension " as its Lemma 5.4. We thank Professor Kenichi Shimizu for informing us this fact

In this paper, we classify all prime Hopf algebras $H$ of GK-dimension one satisfying the following two conditions: 1) $H$ has a 1-dimensional representation of order PI.deg$(H)$ and 2) the invariant components of $H$ with respect to this 1-dimensional representation are domains (see Section 2 for related definitions). As consequences, 1) a number of new Hopf algebras of GK-dimension one are found and some of them are not pointed, 2) we give a partial answer to a question posed by Brown and Zhang and 3) some new kinds of finite-dimensional Hopf algebras are found., Comment: 92 pages. In page 2, the graph should be "cusp $\in ^{\Z_6}_{Z_6}\mathcal{YD}$ ". Your comments are very welcome! Comparing with the first version, some typos were corrected

The goal of the present paper is to classify an interesting class of elementary quasi-Hopf algebras, or equivalently, finite-dimensional pointed Majid algebras. By a Tannaka-Krein type duality, this determines a big class of pointed finite tensor categories. Based on some interesting observations of normalized 3-cocycles on finite abelian groups, we elucidate an explicit connection between our objective pointed Majid algebras and finite-dimensional pointed Hopf algebras over finite abelian groups. With a help of this connection and the successful theory of diagonal Nichols algebras over abelian groups, we provide a conceptual classification of finite-dimensional graded pointed Majid algebras of diagonal type. Some efficient methods of construction are also given., Comment: 35pages. All comments are welcome

This is a contribution to the structure theory of finite pointed quasi-quantum groups. We classify all finite-dimensional connected graded pointed Majid algebras of rank two which are not twist equivalent to ordinary pointed Hopf algebras., Comment: 34pages

The classification of affine prime regular Hopf algebras of GK-dimension one is completed. As consequences, 1) we give a negative answer to an open question posed by Brown-Zhang and 2) we show that there do exist prime regular Hopf algebras of GK-dimension one which are not pointed., Comment: 39pages

The quasi-Frobenius-Lusztig kernel ${Q}\mathbf{u}_{q}(\mathfrak{sl}_{2})$ associated with $\mathfrak{sl}_{2}$ has been constructed in \cite{Liu}. In this paper we study the representations of this small quasi-quantum group. We give a complete list of non-isomorphic indecomposables and the tensor product decomposition rules for simples and projectives. A description of the Grothendieck ring is provided., Comment: 19 pages, 9 fiqures

The class of graded elementary quasi-Hopf algebras of tame type is classified. Combining with our previous work [19], this completes the trichotomy for such class of algebras according to their representation types. In addition, new examples of genuine elementary quasi-Hopf algebras, and accordingly finite pointed tensor categories, are provided., Comment: 20 pages

We provide explicit and unified formulae for the normalized 3-cocycles on arbitrary finite abelian groups. As an application, we compute all the braided monoidal structures on linear Gr-categories., Comment: 14 pages; typos corrected

In this paper, we construct the quasi-Frobenius-Lusztig kernel for any simple Lie algebra $\mathfrak{g}$., Comment: a few changes made

We define total Frobenius-Schur indicator for each object in a spherical fusion category $C$ as a certain canonical sum of its higher indicators. The total indicators are invariants of spherical fusion categories. If $C$ is the representation category of a semisimple quasi-Hopf algebra $H$, we prove that the total indicators are non-negative integers which satisfy a certain divisibility condition. In addition, if $H$ is a Hopf algebra, then all the total indicators are positive. Consequently, the positivity of total indicators is a necessary condition for a quasi-Hopf algebra being gauge equivalent to a Hopf algebra. Certain twisted quantum doubles of finite groups and some examples of Tambara-Yamagami categories are discussed for the sufficiency of this positivity condition., Comment: 20pages Latex

A linear Gr-category is a category of finite-dimensional vector spaces graded by a finite group together with natural tensor product. We classify the braided monoidal structures of a class of linear Gr-categories via explicit computations of the 3-cocycles and quasi-bicharacters of finite abelian groups which are direct product of two cyclic groups., Comment: 13 pages Algebr Represent Theor. DOI 10.1007/s10468-013-9445-8

In [4], some quasi-Hopf algebras of dimension $n^{3}$, which can be understood as the quasi-Hopf analogues of Taft algebras, are constructed. Moreover, the quasi-Hopf analogues of generalized Taft algebras are considered in [7], where the language of the dual of a quasi-Hopf algebra is used. The Drinfeld doubles of such quasi-Hopf algebras are computed in this paper. The authors in [5] shew that the Drinfeld double of a quasi-Hopf algebra of dimension $n^{3}$ constructed in [4] is always twist equivalent to Lusztig's small quantum group $u_q(sl_2)$ if $n$ is odd. Based on computations and analysis, we show that this is \emph{not} the case if $n$ is even. That is, the quasi-Hopf analogue $Qu_q(sl_2)$ of $u_q(sl_2)$ is gotten., Comment: 19 pages

Let k be an algebraically closed field of characteristic p> 0. For a basic classical Lie superalgebra, we show its restricted cohomology algebra is a finitely generated algebra. Thus the cohomological support theory can be established. As a consequence, we show that the restricted enveloping algebra of a basic classical Lie superalgebra g is always wild except g=sl(2) or g=osp(1|2) or g=C(2). Moreover, all finite dimensional indecomposable restricted representations of u(osp(1|2)), the restricted enveloping algebra of Lie superalgebra osp(1|2), are determined., Comment: All comments are welcome!

In [5], Hochschild established a 6-term exact sequence for the cohomology of restricted Lie algebras. We generalize this result to restricted Lie superalgebras., Comment: All comments are welcome!

In this paper, we give the classification of finite supergroup schemes of finite representation type. Moreover, their Auslander-Reiten quivers are determined., Comment: All comments are welcome!

Let $k$ be an algebraically closed field of characteristic $p>0$. For a loop $\circlearrowleft$, denote its path coalgebra by $k\circlearrowleft$. In this paper, all the finite-dimensional commutative Hopf algebras over the sub coalgebras of $k\circlearrowleft$ are given. As a direct consequence, all the commutative infinitesimal groups $\mathcal{G}$ with dim$_{k}$Lie$(\mathcal{G})=1$ are classified., Comment: 16 pages

We study coquasitriangular pointed Majid algebras via the quiver approaches. The class of Hopf quivers whose path coalgebras admit coquasitriangular Majid algebras is classified. The quiver setting for general coquasitriangular pointed Majid algebras is also provided. Through this, some examples and classification results are obtained., Comment: 13 pages

This paper is devoted to the study of the quasitriangularity of Hopf algebras via Hopf quiver approaches. We give a combinatorial description of the Hopf quivers whose path coalgebras give rise to coquasitriangular Hopf algebras. With a help of the quiver setting, we study general coquasitriangular pointed Hopf algebras and obtain a complete classification of the finite-dimensional ones over an algebraically closed field of characteristic 0., Comment: 19 pages

We study finite quasi-quantum groups in their quiver setting developed recently by the first author in arXiv:0902.1620 and arXiv:0903.1472. We obtain a classification of finite-dimensional pointed Majid algebras of finite corepresentation type, or equivalently a classification of elementary quasi-Hopf algebras of finite representation type, over the field of complex numbers. By the Tannaka-Krein duality principle, this provides a classification of the finite tensor categories in which every simple object has Frobenius-Perron dimension 1 and there are finitely many indecomposable objects up to isomorphism. Some interesting information of these finite tensor categories is given by making use of the quiver representation theory., Comment: 22 pages

In continuation of the article \cite{L} we classify all radically graded basic Hopf algebras of tame type over an algebraically closed field of characteristic 0., Comment: 25 pages