Starting from the classification of real Manin triples done in a previous paper we look for those that are isomorphic as 6-dimensional Lie algebras with the ad-invariant form used for construction of the Manin triples. We use several invariants of the Lie algebras to distinguish the non-isomorphic structures and give explicit form of maps between Manin triples that are decompositions of isomorphic Drinfeld doubles. The result is a complete list of 6-dimensional real Drinfeld doubles. It consists of 22 classes of non-isomorphic Drinfeld doubles.
We study infinite dimensional generalisations of the Heisenberg doubles of the Borel half of $U_q(sl(2))$ and of $U_q(osp(1|2))$ and find associated canonical elements which satisfy pentagon equation. The former reproduces the canonical element, expressed using the Faddeev's quantum dilogarithm, which has been found by Kashaev to be realised within quantised Teichmüller theory, while for the latter we show that it corresponds to an operator from quantised super Teichmüller theory. We study infinite dimensional representations of those two Heisenberg doubles and, using an algebra homomorphism b…
In view of applications to conformal field theory or to other branches of theoretical physics and mathematics, new examples of character tables for Drinfeld doubles of finite groups (modular data) are made available on a website.
The two isomorphic Borel subalgebras of gl(n), realized on upper and lower triangular matrices, allow us to consider the gl(n) \opus t_n algebra as a self-dual Drinfeld double. Compatibility conditions impose the choice of an orthonormal basis in the Cartan subalgebra and fix the basis of gl(n). A natural Lie bialgebra structure on gl(n) is obtained, that offers a new perspective for its standard quantum deformation.
We investigate representations of mapping class groups of surfaces that arise from the untwisted Drinfeld double of a finite group G, focusing on surfaces without marked points or with one marked point. We obtain concrete descriptions of such representations in terms of finite group data. This allows us to establish various properties of these representations. In particular we show that they have finite images, and that for surfaces of genus at least 3 their restriction to the Torelli group is non-trivial iff G is non-abelian.
Drinfeld doubles of finite subgroups of SU(2) and SU(3) are investigated in detail. Their modular data - S, T and fusion matrices - are computed explicitly, and illustrated by means of fusion graphs. This allows us to reexamine certain identities on these tensor product or fusion multiplicities under conjugation of representations that had been discussed in our recent paper [J. Phys. A: Math. Theor. 44 (2011), 295208, 26 pages, arXiv:1103.2943], proved to hold for simple and affine Lie algebras, and found to be generally wrong for finite groups. It is shown here that these identities fail also…
Heisenberg and Drinfeld doubles of Uq(gl(1|1)) and Uq(osp(1|2)) super-algebras
Section of Mathematics, University of Geneva（日内瓦大学数学系）；Centre for Quantum Mathematics Department of Mathematics and Computer Science (IMADA), Southern Denmark University (SDU)（南丹麦大学数学与计算机科学系量子数学中心）；CentraleSupélec, LGPM（中央理工-高等电力学院LGPM实验室）
We prove that the Drinfeld double of the category of sheaves on an orbifold is equivalent to the category of sheves on the corresponding inertia orbifold.
For a Hopf algebra B with bijective antipode, we show that the Heisenberg double H(B^*) is a braided commutative Yetter--Drinfeld module algebra over the Drinfeld double D(B). The braiding structure allows generalizing H(B^*) = B^{*cop}\braid B to "Heisenberg n-tuples" and "chains" ...\braid B^{*cop}\braid B \braid B^{*cop}\braid B\braid..., all of which are Yetter--Drinfeld D(B)-module algebras. For B a particular Taft Hopf algebra at a 2p-th root of unity, the construction is adapted to yield Yetter--Drinfeld module algebras over the 2p^3-dimensional quantum group U_qsl(2).
For a finite dimensional Hopf algebra we show that an associated natural inclusion of infinite crossed products is the crossed product by the Drinfeld double, and that this is a characterisation of the double.
We study the Yetter--Drinfeld D(B)-module algebra structure on the Heisenberg double H(B^*) endowed with a "heterotic" action of the Drinfeld double D(B). This action can be interpreted in the spirit of Lu's description of H(B^*) as a twist of D(B). In terms of the braiding of Yetter--Drinfeld modules, H(B^*) is braided commutative. By the Brzezinski--Militaru theorem, H(B^*)#D(B) is then a Hopf algebroid over H(B^*). For B a particular Taft Hopf algebra at a 2p-th root of unity, the construction is adapted to yield Yetter--Drinfeld module algebras over the 2p^3-dimensional quantum group U_q(s…
Higher genus partition functions of two-dimensional conformal field theories have to be invariants under linear actions of mapping class groups. We illustrate recent results [4,6] on the construction of such invariants by concrete expressions obtained for the case of Drinfeld doubles of finite groups. The results for doubles are independent of the characteristic of the underlying field, and the general results do not require any assumptions of semisimplicity.
In this paper, the Drinfeld center of a monoidal category is generalized to a class of mixed Drinfeld centers. This gives a unified picture for the Drinfeld center and a natural Heisenberg analogue. Further, there is an action of the former on the latter. This picture is translated to a description in terms of Yetter-Drinfeld and Hopf modules over quasi-bialgebras in a braided monoidal category. Via braided reconstruction theory, intrinsic definitions of braided Drinfeld and Heisenberg doubles are obtained, together with a generalization of the result in [Lu94] that the Heisenberg double is a …
We produce an explicit embedding of the planar algebra of the Drinfeld double of a finite-dimensional, semisimple and cosemisimple Hopf algebra $H$ into the two-cabling of the planar algebra of the dual Hopf algebra $H^*$ and characterise the image.
Let $\A$ be a finitary hereditary abelian category. We give a Hall algebra presentation of Kashaev's theorem on the relation between Drinfeld double and Heisenberg double. As applications, we obtain realizations of the Drinfeld double Hall algebra of $\A$ via its derived Hall algebra and Bridgeland Hall algebra of $m$-cyclic complexes.
A description of all normal Hopf subalgebras of a semisimple Drinfeld double is given. This is obtained by considering an analogue of Goursat's lemma concerning fusion subcategories of Deligne products of two fusion categories. As an application we show that the Drinfeld double of any abelian extension is also an abelian extension.
We show that for dually paired bialgebras, every comodule algebra over one of the paired bialgebras gives a comodule algebra over their Drinfeld double via a crossed product construction. These constructions generalize to working with bialgebra objects in a braided monoidal category of modules over a quasitriangular Hopf algebra. Hence two ways to provide comodule algebras over the braided Drinfeld double (the double bosonization) are provided. Furthermore, a map of second Hopf algebra cohomology spaces is constructed. It takes a pair of 2-cocycles over dually paired Hopf algebras and produces…
The twisted Drinfeld double (or quasi-quantum double) of a finite group with a 3-cocycle is identified with a certain twisted groupoid algebra. The groupoid is the loop (or inertia) groupoid of the original group and the twisting is shown geometrically to be the loop transgression of the 3-cocycle. The twisted representation theory of finite groupoids is developed and used to derive properties of the Drinfeld double, such as representations being classified by their characters. This is all motivated by gerbes and 3-dimensional topological quantum field theory. In particular the representation …
We study irreducible spherical unitary representations of the Drinfeld double of a $q$-deformation of a connected simply connected compact Lie group, which can be considered as a quantum analogue of the complexification of the Lie group. In the case of $SU_q(3)$, we give a complete classification of such representations. As an application, we show the Drinfeld double of the quantum group $SU_q(2n+1)$ has property (T), which also implies central property (T) of the dual of $SU_q(2n+1)$.
We construct a generalized cluster structure compatible with the Poisson bracket on the Drinfeld double of the standard Poisson-Lie group $GL_n$ and derive from it a generalized cluster structure on $GL_n$ compatible with the push-forward of the dual Poisson--Lie bracket.
We construct a generalized cluster structure compatible with the Poisson bracket on the Drinfeld double of the standard Poisson-Lie group $GL_n$ and derive from it a generalized cluster structure on $GL_n$ compatible with the push-forward of the Poisson bracket on the dual Poisson--Lie group.
We define \textit{graded manifolds} as a version of supermanifolds endowed with an additional $\mathbb Z$-grading in the structure sheaf, called \textit{weight} (not linked with parity). Examples are ordinary supermanifolds, vector bundles over supermanifolds, double vector bundles, iterated constructions like $TTM$, etc. I give a construction of \textit{doubles} for \textit{graded} $QS$- and \textit{graded $QP$-manifolds} (graded manifolds endowed with a homological vector field and a Schouten/Poisson bracket). Relation is explained with Drinfeld's Lie bialgebras and their doubles. Graded $QS…
We provide a deformation, $\mathfrak{f}_β$, of Lusztig algebra $\mathbf{f}$. Various quantum algebras in literatures, including half parts of two-parameter quantum algebras, quantum superalgebras, and multi-parameter quantum algebras/superalgebras, are all specializations of $\mathfrak{f}_β$. Moreover, $\mathfrak{f}_β$ is isomorphic to Lusztig algebra $\mathbf{f}$ up to a twist. As a consequence, half parts of those quantum algebras are isomorphic to Lusztig algebra $\mathbf{f}$ over a big enough ground field up to certain twists. We further construct the entire algebra $\mathbf U_{β,ξ}$ by Dr…
The Hopf algebra $\mathcal{D}$ which is the subject of this paper can be viewed as a Drinfeld double of the bosonisation of the Jordan plane. Its prime and primitive spectra are completely determined. As a corollary of this analysis it is shown that $\mathcal{D}$ satisfies the Dixmier-Moeglin Equivalence, leading to the formulation of a conjecture on the validity of this equivalence for pointed Noetherian Hopf algebras.
In this paper we prove a formula that relates Müger's centralizer in the category of representations of a factorizable Hopf algebra to the notion of Hopf kernel of a representation of the dual Hopf algebra. Using this relation we obtain a complete description for Müger's centralizer of some fusion subcategories of the fusion category of finite dimensional representations of a Drinfeld double of a semisimple Hopf algebra.
We determine a substantial part of the unitary representation theory of the Drinfeld double of a $q$-deformation of a compact Lie group in terms of the complexification of the compact Lie group. Using this, we show that the dual of every $q$-deformation of a higher rank compact Lie group has central property ${\rm (T)}$. We also determine the unitary dual of $SL_q(n,\mathbb{C})$.
Consider a Frobenius kernel G in a split semisimple algebraic group, in very good characteristic. We provide an analysis of support for the Drinfeld center Z(rep(G)) of the representation category for G, or equivalently for the representation category of the Drinfeld double of kG. We show that thick ideals in the corresponding stable category are classified by cohomological support, and calculate the Balmer spectrum of the stable category of Z(rep(G)). We also construct a $π$-point style rank variety for the Drinfeld double, identify $π$-point support with cohomological support, and show that …
We prove that the regular generalized cluster structure on the Drinfeld double of $GL_n$ constructed in arXiv:1912.00453 is complete and compatible with the standard Poisson--Lie structure on the double. Moreover, we show that for $n=4$ this structure is distinct from a previously known regular generalized cluster structure on the Drinfeld double, even though they have the same compatible Poisson structure and the same collection of frozen variables. Further, we prove that the regular generalized cluster structure on band periodic matrices constructed in arXiv:1912.00453 possesses similar comp…
We introduce the Hom-analogue of the L-R-smash product and use it to define the Hom-analogue of the diagonal crossed product. When H is a finite dimensional Hom-Hopf algebra with bijective antipode and bijective structure map, we define the Drinfeld double of H; its algebra structure is a Hom-diagonal crossed product and it has all expected properties, namely it is quasitriangular and modules over it coincide with left-right Yetter-Drinfeld modules over H.
Let $\mathcal{D}$ be the Drinfeld double of $\mathcal{FK}_3\#\Bbbk{\mathbb S}_3$. The simple $\mathcal{D}$-modules were described in arXiv:1409.0438. In the present work, we describe the indecomposable summands of the tensor product between them. We classify the extensions of the simple modules and show that $\mathcal{D}$ is of wild representation type. We also investigate the projective modules and their tensor products.
We investigate the fine structure of the simplectic foliations of Poisson homogeneous spaces. Two general results are proved for weak splittings of surjective Poisson submersions from Heisenberg and Drinfeld doubles. The implications of these results are that the torus orbits of symplectic leaves of the quotients can be explicitly realized as Poisson-Dirac submanifolds of the torus orbits of the doubles. The results have a wide range of applications to many families of real and complex Poisson structures on flag varieties. Their torus orbits of leaves recover important families of varieties su…
In this paper we continue to study Belavin-Drinfeld cohomology introduced in arXiv:1303.4046 [math.QA] and related to the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra. Here we compute Belavin-Drinfeld cohomology for all non-skewsymmetric $r$-matrices from the Belavin-Drinfeld list for simple Lie algebras of type $B$, $C$, and $D$.
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.
We report on two classes of autoequivalences of the category of Yetter-Drinfeld modules over a finite group, or, equivalently the Drinfeld center of the category of representations of a finite group. Both operations are related to the $r$-th power operation, with $r$ relatively prime to the exponent of the group. One is defined more generally for the group-theoretical fusion category defined by a finite group and an arbitrary subgroup, while the other seems particular to the case of Yetter-Drinfeld modules. Both autoequivalences preserve higher Frobenius-Schur indicators up to Galois conjugati…
The representation theory of the Drinfeld doubles of dihedral groups is used to solve the Yang-Baxter equation. Use of the 2-dimensional representations recovers the six-vertex model solution. Solutions in arbitrary dimensions, which are viewed as descendants of the six-vertex model case, are then obtained using tensor product graph methods which were originally formulated for quantum algebras. Connections with the Fateev-Zamolodchikov model are discussed.
We prove that the Drinfeld double of an arbitrary finite group scheme has finitely generated cohomology. That is to say, for G any finite group scheme, and D(G) the Drinfeld double of the group ring kG, we show that the self-extension algebra of the trivial representation for D(G) is a finitely generated algebra, and that for each D(G)-representation V the extensions from the trivial representation to V form a finitely generated module over the aforementioned algebra. As a corollary, we find that all categories rep(G)*_M dual to rep(G) are of also of finite type (i.e. have finitely generated c…
Let $\A$ be a finitary hereditary abelian category and $D(\A)$ be its reduced Drinfeld double Hall algebra. By giving explicit formulas in $D(\A)$ for left and right mutations, we show that the subalgebras of $D(\A)$ generated by exceptional sequences are invariant under mutation equivalences. As an application, we obtain that if $\A$ is the category of finite dimensional modules over a finite dimensional hereditary algebra, or the category of coherent sheaves on a weighted projective line, the double composition algebra of $\A$ is generated by any complete exceptional sequence. Moreover, for …
We return to the fusion rules for the Drinfeld double of the duals of the generalised Taft algebras that we studied in [9]. We first correct some proofs and statements in [9] that were incorrect, using stable homomorphisms. We then complete this with new results on fusion rules for the modules we had not studied in [9] and a classification of endotrivial and algebraic modules.
Colour-kinematics duality suggests that Yang-Mills (YM) theory possesses some hidden Lie algebraic structure. So far this structure has resisted understanding, apart from some progress in the self-dual sector. We show that there is indeed a Lie algebra behind the YM Feynman rules. The Lie algebra we uncover is the Drinfeld double of the Lie algebra of vector fields. More specifically, we show that the kinematic numerators following from the YM Feynman rules satisfy a version of the Jacobi identity, in that the Jacobiator of the bracket defined by the YM cubic vertex is cancelled by the contrib…
We introduce Yetter-Drinfeld modules over a weak Hopf algebra $H$, and show that the category of Yetter-Drinfeld modules is isomorphic to the center of the category of $H$-modules. The categories of left-left, left-right, right-left and right-right Yetter-Drinfeld modules are isomorphic as braided monoidal categories. Yetter-Drinfeld modules can be viewed as weak Doi-Hopf modules, and, a fortiori, as weak entwined modules. If $H$ is finitely generated and projective, then we introduce the Drinfeld double using duality results between entwining structures and smash product structures, and show …
Let H be a bialgebra and D an H-bimodule algebra H-bicomodule coalgebra. We find sufficient conditions on D for the L-R-smash product algebra and coalgebra structures on D\otimes H to form a bialgebra (in this case we say that (H, D) is an L-R-admissible pair), called L-R-smash biproduct. The Radford biproduct is a particular case, and so is, up to isomorphism, a double biproduct with trivial pairing. We construct a prebraided monoidal category {\cal LR}(H), whose objects are H-bimodules H-bicomodules M endowed with left-left and right-right Yetter-Drinfeld module as well as left-right and rig…
On the Drinfeld doubles of Laistrygonian algebras in positive characteristic
Vrije Universiteit Brussel（布鲁塞尔自由大学）；Shenzhen International Center for Mathematics, Southern University of Science and Technology（南方科技大学深圳数学中心）；Departamento de Matemática, Universidade Federal de Santa Catarina（圣卡塔琳娜联邦大学数学系）；Departamento de Matemática, Universidade Federal de Santa Maria（圣玛丽亚联邦大学数学系）
We provide an analog of the Joyal-Street center construction and of the Kassel-Turaev categorical quantum double in the context of the crossed categories introduced by Turaev. Then, we focus or attention to the case of categories of representation. In particular, we introduce the notion of a Yetter-Drinfeld module over a crossed group coalgebra H and we prove that both the category of Yetter-Drinfeld modules over H and the center of the category of representations of H as well as the category of representations of the quantum double of H are isomorphic as braided crossed categories.
We study natural cluster structures in the rings of regular functions on simple complex Lie groups and Poisson-Lie structures compatible with these cluster structures. According to our main conjecture, each class in the Belavin-Drinfeld classification of Poisson-Lie structures on $\G$ corresponds to a cluster structure in $Ø(\G)$. We prove a reduction theorem explaining how different parts of the conjecture are related to each other. The conjecture is established for $SL_n$, $n<5$, and for any $\G$ in the case of the standard Poisson-Lie structure.
We present a new approach to calculating the higher Frobenius-Schur indicators for the simple modules over the Drinfeld double of a finite group. In contrast to the formula by Kashina-Sommerh{ä}user-Zhu that involves a sum over all group elements satisfying a certain condition, our formula operates on the level of conjugacy classes and character tables. It can be implemented in the computer algebra system GAP, efficiently enough to deal, on a laptop, with symmetric groups up to $S_{18}$ (providing further evidence that indicators are non-negative in this case) or simple groups of order up to $…
Consider a field k of characteristic p > 0, G_r the r-th Frobenius kernel of a smooth algebraic group G, DG_r the Drinfeld double of G_r, and M a finite dimensional DG_r-module. We prove that the cohomology algebra H*(DG_r,k) is finitely generated and that H*(DG_r,M) is a finitely generated module over this cohomology algebra. We exhibit a finite map of algebras θ_r:H*(G_r,k) \otimes S(g) \to H*(DG_r,k) which offers an approach to support varieties for DG_r-modules. For many examples of interest, θ_r is injective and induces an isomorphism of associated reduced schemes. Additionally, for M an …
Over fields of arbitrary characteristic we classify all braid-indecomposable tuples of at least two absolutely simple Yetter-Drinfeld modules over non-abelian groups such that the group is generated by the support of the tuple and the Nichols algebra of the tuple is finite-dimensional. Such tuples are classified in terms of analogs of Dynkin diagrams which encode much information about the Yetter-Drinfeld modules. We also compute the dimensions of these finite-dimensional Nichols algebras. Our proof uses the Weyl groupoid of a tuple of simple Yetter-Drinfeld modules.
