BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Gongxiang Liu

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.QAmath.RTmath.RAmath.CTmath.KTmath.CO

Catalog footprint

Research overview

25works
6topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

25 publications

preprint2023arXiv

The Finite Duals of Affine Prime Regular Hopf Algebras of GK-Dimension One

This paper is an attempt to construct a special kind of Hopf pairing ⟨−,−⟩:H∙⊗H→k\langle-,-\rangle:H^\bullet\otimes H\rightarrow\Bbbk. Specifically, H∙H^\bullet and HH 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 HH of GK-dimension one: 1) We compute the finite duals H∘H^\circ of them, which are given by generators and relations; 2) the Hopf pairings desired are determined by choosing certain Hopf subalgebras H∙H^\bullet of H∘H^\circ, where ⟨−,−⟩\langle-,-\rangle becomes the evaluation.

Open access
preprint2022arXiv

Higher Frobenius-Schur indicators for semisimple Hopf algebras in positive characteristic

Let HH 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 SS of HH satisfies the equality S2(h)=uhu−1S^2(h)=\mathbf{u}h\mathbf{u}^{-1}, where h∈Hh\in H, u=S(Λ(2))Λ(1)\mathbf{u}=S(Λ_{(2)})Λ_{(1)} and ΛΛ is a nonzero integral of HH. The formula of S2S^2 enables us to define higher Frobenius-Schur indicators for the Hopf algebra HH. 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)(H) of finite dimensional representations of HH.

Open access
preprint2022arXiv

Invariants from the Sweedler power maps on integrals

For a finite-dimensional Hopf algebra AA with a nonzero left integral ΛΛ, we investigate a relationship between Pn(Λ)P_n(Λ) and PnJ(Λ)P_n^J(Λ), where PnP_n and PnJP_n^J are respectively the nn-th Sweedler power maps of AA and the twisted Hopf algebra AJA^J. We use this relation to give several invariants of the representation category Rep(A)(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(K8)(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 λλ in A∗A^* and λJλ^J in (AJ)∗(A^J)^*. This can be used to give a uniform proof of the remarkable result which says that the nn-th indicator νn(A)ν_n(A) is a gauge invariant of AA for any n∈Zn\in \mathbb{Z}. We also use the expression for λJλ^J to give an alternative proof of the known result that the Killing form of the Hopf algebra AA is invariant under twisting. As a result, the dimension of the Killing radical of AA is a gauge invariant of AA.

Open access
preprint2022arXiv

The Grothendieck algebras of certain smash product semisimple Hopf algebras

Let HH 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 GG is a cyclic group of order $n:=2\dim_{\mathbbm{k}}(H)$. Using irreducible representations of HH 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 HH. 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}}$.

Open access
preprint2018arXiv

A classification result on prime Hopf algebras of GK-dimension one

In this paper, we classify all prime Hopf algebras HH of GK-dimension one satisfying the following two conditions: 1) HH has a 1-dimensional representation of order PI.deg(H)(H) and 2) the invariant components of HH 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.

Open access
preprint2014arXiv

Representations of the small quasi-quantum group Quq(sl2){Q}\mathbf{u}_{q}(\mathfrak{sl}_{2})

The quasi-Frobenius-Lusztig kernel Quq(sl2){Q}\mathbf{u}_{q}(\mathfrak{sl}_{2}) associated with sl2\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.

Open access
preprint2012arXiv

On Total Frobenius-Schur Indicators

We define total Frobenius-Schur indicator for each object in a spherical fusion category CC as a certain canonical sum of its higher indicators. The total indicators are invariants of spherical fusion categories. If CC is the representation category of a semisimple quasi-Hopf algebra HH, we prove that the total indicators are non-negative integers which satisfy a certain divisibility condition. In addition, if HH 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.

Open access
preprint2012arXiv

The quasi-Hopf analogue of uq(sl2)u_q(sl_2)

In [4], some quasi-Hopf algebras of dimension n3n^{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 n3n^{3} constructed in [4] is always twist equivalent to Lusztig's small quantum group uq(sl2)u_q(sl_2) if nn is odd. Based on computations and analysis, we show that this is \emph{not} the case if nn is even. That is, the quasi-Hopf analogue Quq(sl2)Qu_q(sl_2) of uq(sl2)u_q(sl_2) is gotten.

Open access
preprint2011arXiv

Support varieties and representations of tame basic classical Lie superalgebras

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.

Open access
preprint2010arXiv

Commutative Hopf structures over a loop

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

Open access
preprint2009arXiv

On quiver-theoretic description for quasitriangularity of Hopf algebras

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.

Open access
preprint2009arXiv

Quivers, Quasi-Quantum Groups and Finite Tensor Categories

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.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.