We provide a quiver setting for quasi-Hopf algebras, generalizing the Hopf quiver theory. As applications we obtain some general structure theorems, in particular the quasi-Hopf analogue of the Cartier theorem and the Cartier-Gabriel decomposition theorem.
A Hopf algebra quantizing a necklace Lie algebra canonically associated to a quiver
V. Ginzburg,并独立地R. Bocklandt和L. Le Bruyn,定义了一个无限维的“项链”李代数,它与任何一个李代数正则相关。根据V.Turaev,P.Etingof和Ginzburg的建议,我们定义了一个上括号,并证明了它定义了一个李双代数结构。给出了一个量子化该李双代数的霍普夫代数,并证明了它是一个满足PBW性质的霍普夫代数.我们提出的表示到空间上的微分算子的表示,它的轨迹表示的李代数的Ginzburg。
For $(Q,W)$ a symmetric quiver with potential satisfying a Künneth-type condition, we construct (positive and negative) extensions of its K-theoretic Hall algebra which are bialgebras. In particular, there are bialgebra extensions of preprojective KHAs of a quiver $Q$ and one can construct their Drinfeld double algebra.
We explore the differential geometry of finite sets where the differential structure is given by a quiver rather than as more usual by a graph. In the finite group case we show that the data for such a differential calculus is described by certain Hopf quiver data as familiar in the context of path algebras. We explore a duality between geometry on the function algebra vs geometry on the group algebra, i.e. on the dual Hopf algebra, illustrated by the noncommutative Riemannian geometry of the group algebra of $S_3$. We show how quiver geometries arise naturally in the context of quantum princi…
Duality for Generalised Differentials on Quantum Groups and Hopf quivers
本文研究了代数$A$上的广义微分结构$Ω^1,d$,其中由$a\tens b\to a d b$给出的$A\tens A\to Ω^1$不必是满射的.有限集情形对应于嵌入有向图的箭图,Hopf代数左协变情形对应于$(Λ^1,ω)$对,其中$Λ^1$是右模,$ω$是右模映射,而Hopf代数双协变情形对应于$A$上的右交叉(或Drinfeld-Radford-Yetter)模范畴中的态射$ω:A^+\to Λ^1$。当$A=U(g)$的广义左协变微分结构分类的余圈$ω\in Z^1(g,Λ^1)$。然后,我们介绍和研究的对偶概念的余微分结构$(Ω^1,i)$上的余代数和Hopf代数的自对偶概念的强双共变微分分次代数$(Ω,d)$增广的余微分$i$度-1。这里$Ω$是一个分次超Hopf代数扩展的Hopf代数$Ω^0=A$和,在适用的情况下,对偶超Hopf代数给出了相同的结构上的对偶Hopf代数。我们将展示如何从一阶数据构建这样的对象,使用编织反对称的最小构造和使用编织张量代数的最大构造,并通过编织洗牌代数给出对偶。该理论适用于量子群与$Ω^1(C_q(G))$对偶配对的$Ω^1(U_q(g))$,和有限群的关系(超)霍普夫箭图。
The Structure Theorem for Hopf modules states that if a bialgebra $H$ is a Hopf algebra (i.e. it is endowed with a so-called antipode) then every Hopf module $M$ is of the form ${M}^{\mathrm{co}{H}}\otimes H$, where ${M}^{\mathrm{co}{H}}$ denotes the space of coinvariant elements in $M$. Actually, it has been shown that this result characterizes Hopf algebras: $H$ is a Hopf algebra if and only if every Hopf module $M$ can be decomposed in such a way. The main aim of this paper is to extend this characterization to the framework of quasi-bialgebras by introducing the notion of preantipode and b…
Let $q>2$ be a prime number, $d$ be an odd square-free natural number, and $n$ be a non-negative integer. We prove that a semisimple quasitriangular Hopf algebra of dimension $dq^n$ is solvable in the sense of Etingof, Nikshych and Ostrik. In particular, if $n\leq 3$ then it is either isomorphic to $k^G$ for some abelian group $G$, or twist equivalent to a Hopf algebra which fits into a cocentral abelian exact sequence.
Let k be an algebraically closed field of characteristic zero. In joint work with J. Cuadra [arxiv.org/abs/1409.1644, arxiv.org/abs/1509.01165], we showed that a semisimple Hopf action on a Weyl algebra over a polynomial algebra k[z_1,...,z_s] factors through a group action, and this in fact holds for any finite dimensional Hopf action if s=0. We also generalized these results to finite dimensional Hopf actions on algebras of differential operators. In this work we establish similar results for Hopf actions on other algebraic quantizations of commutative domains. This includes universal envelo…
Rutgers University(罗格斯大学);California Institute of Technology(加州理工学院);CERN(欧洲核子研究组织);Seoul National University(首尔大学);Korea Institute for Advanced Study(韩国高等科学研究院);University of Seville(塞维利亚大学)
We find and classify all bialgebras and Hopf algebras or `quantum groups' of dimension $\le 4$ over the field $\Bbb F_2=\{0,1\}$. We summarise our results as a quiver, where the vertices are the inequivalent algebras and there is an arrow for each inequivalent bialgebra or Hopf algebra built from the algebra at the source of the arrow and the dual of the algebra at the target of the arrow. There are 314 distinct bialgebras, and among them 25 Hopf algebras with at most one of these from one vertex to another. We find a unique smallest noncommutative and noncocommutative one, which is moreover s…
We construct an explicit isomorphism between the quasitriangular quasi-Hopf algebra $D^ω(H)$ defined in \cite{bp} and a certain quantum double quasi-Hopf algebra. We give also new characterizations for a quasitriangular quasi-Hopf algebra to be ribbon and use them to construct some ribbon elements for $D^ω(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.
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.