In this paper we investigate pointed Hopf algebras via quiver methods. We classify all possible Hopf structures arising from minimal Hopf quivers, namely basic cycles and the linear chain. This provides full local structure information for general pointed 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.
We classify Hopf actions of Taft algebras T(n) on path algebras of quivers, in the setting where the quiver is loopless, finite, and Schurian. As a corollary, we see that every quiver admitting a faithful Z_n-action (by directed graph automorphisms) also admits inner faithful actions of a Taft algebra. Several examples for actions of the Sweedler algebra T(2) and for actions of T(3) are presented in detail. We then extend the results on Taft algebra actions on path algebras to actions of the Frobenius-Lusztig kernel u_q(sl_2), and to actions of the Drinfeld double of T(n).
The quiver Hopf algebras are classified by means of ramification systems with irreducible representations. This leads to the classification of Nichols algebras over group algebras and pointed Hopf algebras of type one.
Let $\k$ be a field and $Q$ a minimal Hopf quiver, i.e., a cyclic quiver or the infinite linear quiver, and let $\rep^{ln}(Q)$ denote the category of locally nilpotent finite dimensional $\k$-representations of $Q.$ The category $\rep^{ln}(Q)$ has natural tensor structures induced from graded Hopf structures on the path coalgebra $\k Q.$ Tensor categories of the form $\rep^{ln} (Q)$ are an interesting class of tame hereditary pointed tensor categories which are not finite. The aim of this paper is to compute the Clebsch-Gordan formulae and Green rings of such tensor categories.
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…
We study generalised differential structures $Ω^1,d$ on an algebra $A$, where $A\tens A\to Ω^1$ given by $a\tens b\to a d b$ need not be surjective. The finite set case corresponds to quivers with embedded digraphs, the Hopf algebra left covariant case to pairs $(Λ^1,ω)$ where $Λ^1$ is a right module and $ω$ a right module map, and the Hopf algebra bicovariant case corresponds to morphisms $ω:A^+\to Λ^1$ in the category of right crossed (or Drinfeld-Radford-Yetter) modules over $A$. When $A=U(g)$ the generalised left-covariant differential structures are classified by cocycles $ω\in Z^1(g,Λ^1)…
We survey some results on counting the rational points of moduli spaces of quiver representations. We then make generalizations to Grassmannians and flags of quiver representations. These results have nice applications to the cluster algebra. Along the way, we use the full Hopf structure of the Hall algebra of a quiver.
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.
Rutgers University(罗格斯大学);California Institute of Technology(加州理工学院);CERN(欧洲核子研究组织);Seoul National University(首尔大学);Korea Institute for Advanced Study(韩国高等科学研究院);University of Seville(塞维利亚大学)
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…
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 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 …
This paper introduces methods for classifying actions of finite-dimensional Hopf algebras on path algebras of quivers, and more generally on tensor algebras $T_B(V)$ where $B$ is semisimple. We work within the broader framework of finite (multi-)tensor categories $\mathcal{C}$, classifying tensor algebras in $\mathcal{C}$ in terms of $\mathcal{C}$-module categories. We obtain two classification results for actions of semisimple Hopf algebras: the first for actions which preserve the ascending filtration on tensor algebras, and the second for actions which preserve the descending filtration on …
We define and study the category $\RepQ$ of representations of a quiver in $\VFun$ - the category of vector spaces "over $\Fun$". $\RepQ$ is an $\Fun$-linear category possessing kernels, co-kernels, and direct sums. Moreover, $\RepQ$ satisfies analogues of the Jordan-Hölder and Krull-Schmidt theorems. We are thus able to define the Hall algebra $\HQ$ of $\RepQ$, which behaves in some ways like the specialization at $q=1$ of the Hall algebra of $\on{Rep}(\Q, \mathbf{F}_q)$. We prove the existence of a Hopf algebra homomorphism of $ ρ': \U(\n_+) \rightarrow \HQ$, from the enveloping algebra of t…
The classification of finite-dimensional pointed Hopf algebras with group S_3 was finished in "The Nichols algebra of a semisimple Yetter-Drinfeld module", arXiv:0803.2430v1 [math.QA], by Andruskiewitsch, Heckenberger and Schneider: there are exactly two of them, the bosonization of a Nichols algebra of dimension 12 and a non-trivial lifting. Here we determine all simple modules over any of these Hopf algebras. We also find the Gabriel quivers, the projective covers of the simple modules, and prove that they are not of finite representation type. To this end, we first investigate the modules o…
We investigate the quasi-Hopf twist of the quantum toroidal algebra of $\mathfrak{gl}_1$ as an elliptic deformation. Under the quasi-Hopf twist the underlying algebra remains the same, but the coproduct is deformed, where the twist parameter $p$ is identified as the elliptic modulus. Computing the quasi-Hopf twist of the $R$ matrix, we uncover the relation to the elliptic lift of the Nekrasov factor for instanton counting of the quiver gauge theories on $\mathbb{R}^4 \times T^2$. The same $R$ matrix also appears in the commutation relation of the intertwiners, which implies an elliptic quantum…
Recently, Li and Yamazaki proposed a new class of infinite-dimensional algebras, quiver Yangian, which generalizes the affine Yangian $\mathfrak{gl}_{1}$. The characteristic feature of the algebra is the action on BPS states for non-compact toric Calabi-Yau threefolds, which are in one-to-one correspondence with the crystal melting models. These algebras can be bootstrapped from the action on the crystals and have various truncations. In this paper, we propose a $q$-deformed version of the quiver Yangian, referred to as the quiver quantum toroidal algebra (QQTA). We examine some of the consist…
We show that the shuffle algebra associated to a doubled quiver (determined by 3-variable wheel conditions) is generated by elements of minimal degree. Together with results of Varagnolo-Vasserot and Yu Zhao, this implies that the aforementioned shuffle algebra is isomorphic to the localized K-theoretic Hall algebra associated to the quiver by Schiffmann-Vasserot. With small modifications, our theorems also hold under certain specializations of the equivariant parameters, which will allow us in Neguţ-Sala-Schiffmann to give a generators-and-relations description of the Hall algebra of any curv…
Recently, new classes of infinite-dimensional algebras, quiver Yangian (QY) and shifted QY, were introduced, and they act on BPS states for non-compact toric Calabi-Yau threefolds. In particular, shifted QY acts on general subcrystals of the original BPS crystal. A trigonometric deformation called quiver quantum toroidal algebra (QQTA) was also proposed and shown to act on the same BPS crystal. Unlike QY, QQTA has a formal Hopf superalgebra structure which is useful in deriving representations. In this paper, we define the shifted QQTA and study a class of their representations. We define 1d a…
The quantized enveloping algebra $U_q$ is constructed as a quotient of the generalized quantum double $ U^{\leq 0}_q \cmdbicross_τ U^{\geq 0}_q $ associated to a natural skew pairing $ τ: U^{\leq 0}_q \otimes U^{\geq 0}_q \to k $. This double is generalized by $\cmdcalD = (\cmdfrakB (V) \cmddotrtimes F) \cmdbicross_τ (\cmdfrakB (W) \cmddotrtimes G)$, where $F$, $G$ are abelian groups, $ V \in {}^F_F \cmdcalYD $, $ W \in {}^G_G \cmdcalYD $ are Yetter-Drinfeld modules and $ \cmdfrakB (V) $, $ \cmdfrakB (W) $ are their Nichols algebras. We prove some results on Hopf ideals of $ \cmdcalD $, includ…
In this work we investigate partial actions of a Hopf algebra H on nonunital algebras and the associated partial smash products. We show that our partial actions correspond to nonunital algebras in the category of partial representations of H. The central problem of existence of a globalization for a partial action is studied in detail, and we provide sufficient conditions for the existence (and uniqueness) of a minimal globalization for associative algebras in general. Extending previous results by Abadie, Dokuchaev, Exel and Simon, we define Morita equivalence for partial Hopf actions, and w…
The coset $G$-space of a finite group and a subgroup is a fundamental module of study of Schur and others around 1930; for example, its endomorphism algebra is a Hecke algebra of double cosets. We study and review its generalization $Q$ to Hopf subalgebras, especially the tensor powers and similarity as modules over a Hopf algebra, or what's the same, Morita equivalence of the endomorphism algebras. We prove that $Q$ has a nonzero integral if and only if the modular function restricts to the modular function of the Hopf subalgebra. We also study and organize knowledge of $Q$ and its tensor pow…
We construct a minimalistic presentation of Drinfeld super Yangians in the case of special linear superalgebra associated with an arbitrary Dynkin diagram. This gives us a possibility to introduce Hopf superalgebra structure on Drinfeld super Yangians. Using complete Weyl group we classify Drinfeld super Yangians endowed with mentioned Hopf superalgebra structures. Also it is constructed an isomorphism between completions of Drinfeld super Yangians and quantum loop superalgebras.
In this paper, we introduce twisted and folded AR-quivers of type $A_{2n+1}$, $D_{n+1}$, $E_6$ and $D_4$ associated to (triply) twisted Coxeter elements. Using the quivers of type $A_{2n+1}$ and $D_{n+1}$, we describe the denominator formulas and Dorey's rule for quantum affine algebras $U'_q(B^{(1)}_{n+1})$ and $U'_q(C^{(1)}_{n})$, which are important information of representation theory of quantum affine algebras. More precisely, we can read the denominator formulas for $U'_q(B^{(1)}_{n+1})$ (resp. $U'_q(C^{(1)}_{n})$) using certain statistics on any folded AR-quiver of type $A_{2n+1}$ (resp…