We introduce a general notion of quantum universal enveloping algebroids (QUE algebroids), or quantum groupoids, as a unification of quantum groups and star-products. Some basic properties are studied including the twist construction and the classical limits. In particular, we show that a quantum groupoid naturally gives rise to a Lie bialgebroid as a classical limit.
Conversely, we formulate a conjecture on the existence of a quantization for any Lie bialgebroid, and prove this conjecture for the special case of regular triangular Lie bialgebroids. As an application of this theory, we study the dynamical quantum groupoid ${\cal D}\otimes_{\hbar} U_{\hbar}(\frakg)$, which gives an interpretation of the quantum dynamical Yang-Baxter equation in terms of Hopf algebroids.
In this paper we realize the dynamical categories introduced in our previous paper as categories of modules over bialgebroids; we study the bialgebroids arising in this way. We define quasitriangular structure on bialgebroids and present examples of quasitriangular bialgebroids related to the dynamical categories. We show that dynamical twists over an arbitrary base give rise to bialgebroid twists. We prove that the classical dynamical r-matrices over an arbitrary base manifold are in one-to-one correspondence with a special class of coboundary Lie bialgebroids.
Bialgebroids, separable bialgebroids, and weak Hopf algebras are compared from a categorical point of view. Then properties of weak Hopf algebras and their applications to finite index and finite depth inclusions of von Neumann algebras are shortly reviewed. A hint is given at a duality between bialgebroid actions and abstract inclusions in 2-categories.
The purpose of this Note is to unify quantum groups and star-products under a general umbrella: quantum groupoids. It is shown that a quantum groupoid naturally gives rise to a Lie bialgebroid as a classical limit. The converse question, i.e., the quantization problem, is posed. In particular, any regular triangular Lie bialgebroid is shown quantizable. For the Lie bialgebroid of a Poisson manifold, its quantization is equivalent to a star-product.
Proposing a certain category of bialgebroid maps we show that the balanced depth 2 extensions appear as they were the finitary Galois extensions in the context of quantum groupoid actions, i.e., actions by finite bialgebroids, weak bialgebras or weak Hopf algebras. We comment on deformation of weak bialgebras, on half grouplike elements, on uniqueness of weak Hopf algebra reconstructions and discuss the example of separable field extensions.
We give a detailed comparison between the notion of a weak Hopf algebra (also called a quantum groupoid by Nikshych and Vainerman), and that of a $\times_R$-bialgebra due to Takeuchi (and also called a bialgebroid or quantum (semi)groupoid by Lu and Xu). A weak bialgebra is the same thing as a $\times_R$-bialgebra in which $R$ is Frobenius-separable. We extend the comparison to cover module and comodule theory, duality, and the question when a bialgebroid should be called a Hopf algebroid.
Every monoidal functor G: C --> M has a canonical factorization through the category of bimodules over some monoid R in M such that the factor U: C -->_R M_R is strongly unital. Using this result and the characterization of the forgetful functors M_A -->_R M_R of bialgebroids A over R given by Schauenburg together with their bimonad description given by the author recently here we characterize the "long" forgetful functors M_A -->_R M_R --> M of both bialgebroids and weak bialgebras.
A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. We define the term "quantum category". The definition of antipode for a bialgebroid is less resolved in the literature. Our suggestion is that the kind of dualization occurring in Barr's star-autonomous categories is more suitable than autonomy (= compactness = rigidity). This leads to our definition of quantum groupoid intended as a "Hopf algebra with several objects".
Bialgebroids (resp. Hopf algebroids) are bialgebras (Hopf algebras) over noncommutative rings. Drinfeld twist techniques are particularly useful in the (deformation) quantization of Lie algebras as well as underlying module algebras (=quantum spaces). Smash product construction combines these two into the new algebra which, in fact, does not depend on the twist. However, we can turn it into bialgebroid in the twist dependent way. Alternatively, one can use Drinfeld twist techniques in a category of bialgebroids. We show that both techniques indicated in the title: twisting of a bialgebroid or …
A definition of a Doi-Koppinen datum over a noncommutative algebra is proposed. The idea is to replace a bialgebra in a standard Doi-Koppinen datum with a bialgebroid. The corresponding category of Doi-Koppinen modules over a noncommutative algebra is introduced. A weak Doi-Koppinen datum and module of [G. Bohm. Comm. Algebra, 28:4687--4698, 2000] are shown to be examples of a Doi-Koppinen datum and module over an algebra. A coring associated to a Doi-Koppinen datum over an algebra is constructed and various properties of induction and forgetful functors for Doi-Koppinen modules over an algebr…
Over many decades, the word "double" has appeared in various contexts, at times seemingly unrelated. Several have some relation to mathematical physics. Recently, this has become particularly strking in DFT (double field theory). Two 'doubles' that are particularly relevant are double vector bundles and Drinfel'd doubles. The original Drinfel'd double occurred in the contexts of quantum groups and of Lie bialgebras. Quoting T. Voronov: "Double Lie algebroids arose in the works on double Lie groupoids and in connection with an analog for Lie bialgebroids of the classical Drinfel'd double of Lie…
Courant algebroids are structures which include as examples the doubles of Lie bialgebras and the direct sum of tangent and cotangent bundles with the bracket introduced by T. Courant for the study of Dirac structures. Within the category of Courant algebroids one can construct the doubles of Lie bialgebroids, the infinitesimal objects for Poisson groupoids. We show that Courant algebroids can be considered as strongly homotopy Lie algebras.
Description of the smallest quantum groupoid associated with the A2 diagram. From the talk: ``Quantum groupoids and Ocneanu bialgebras for Coxeter-Dynkin systems'' given at the XV Colloquio Latinoamericano de Algebra, Cocoyoc, Mexico, July 20th-26th, 2003.
By using twist construction, we obtain a quantum groupoid $\cald\ot_{q}\uqg$ for any simple Lie algebra $\frakg$. The underlying Hopf algebroid structure encodes all the information of the corresponding elliptic quantum group-the quasi-Hopf algebras as obtained by Fronsdal, Arnaudon et. al. and Jimbo et. al..
In this work we prove, in full details, that any finite dimensional $C^*$-quantum groupoid can be deformed in order that the square of the antipode is the identity on the base. We also prove that for any $C^*$-quantum groupoid with non abelian base, there is uncountably many $C^*$-quantum groupoids with the same underlying algebra structure but which are not isomorphic to it. In fact, the $C^*$-quantum groupoids are closed in an analog of the procedure presented by D.Nikshych ([N] 3.7) in a more general situation.
We propose a definition of compact quantum groupoids in the setting of C*-algebras, associate to such a quantum groupoid a regular C*-pseudo-multiplicative unitary, and use this unitary to construct a dual Hopf C*-bimodule and to pass to a measurable quantum groupoid in the sense of Enock and Lesieur. Moreover, we discuss examples related to compact and to étale groupoids and study principal compact C*-quantum groupoids.
We use categories of representations of finite dimensional quantum groupoids (weak Hopf algebras) to construct ribbon and modular categories that give rise to invariants of knots and 3-manifolds.
We give the construction of a class of weak Hopf algebras (or quantum groupoids) associated to a matched pair of groupoids and certain cocycle data. This generalizes a now well-known construction for Hopf algebras, first studied by G. I. Kac in the sixties. Our approach is based on the notion of double groupoids, as introduced by Ehresmann.
In this article, we develop a theory of integration on algebraic quantum groupoids in the form of regular multiplier Hopf algebroids, and establish the main properties of integrals obtained by Van Daele for algebraic quantum groups before - faithfulness, uniqueness up to scaling, existence of a modular element and existence of a modular automorphism - for algebraic quantum groupoids under reasonable assumptions. The approach to integration developed in this article forms the basis for the extension of Pontrjagin duality to algebraic quantum groupoids, and for the passage from algebraic quantum…
We relate quantum 6J symbols of various types (quantum versions of Wigner and Racah symbols) to Ocneanu cells associated with AN Dynkin diagrams. We check explicitly the algebraic structure of the associated quantum groupoids and analyze several examples (A3, A4). Some features relative to cells associated with more general ADE diagrams are also discussed.
We show that the C*-algebra of a quantum sphere $C(S_{q}^{2n+1})$ can be realized as a groupoid C*-algebra of a groupoid which is explicitly identified and is independent of the parameter $q$.
In this work we investigate the notion of action or coaction of a finite quantum groupoid in von Neumann algebras context. In particular we prove a double crossed product theorem and prove the existence of an universal von Neumann algebra on which any finite groupoids acts outerly. In previous works, N. Andruskiewitsch and S.Natale define for any match pair of groupoids two $C^*$-quantum groupoids in duality, we give here an interpretation of them in terms of crossed products of groupoids using a multiplicative partial isometry which gives a complete description of these structures. In a next …
In this work we give a generalization of matched pairs of (finite) groups to describe a general class of depth two inclusions of factor von Neumann algebras and the C*-quantum groupoids associated with, using double groupoids.
We study Hamilton circuits of the Cayley graphs of the Weyl groupoids of the generalized quantum groups, or the quantum double of the Nichols algebras of diagonal-type, with finite root systems. We prove the existence of a Hamilton circuit for any of them and explicitly draw one of them for rank 3 and 4 cases.
We give a survey of the theory of finite quantum groupoids (weak Hopf algebras), including foundations of the theory and applications to finite depth subfactors, dynamical deformations of quantum groups, and invariants of knots and 3-manifolds.
Quantum groupoids are a joint generalization of groupoids and quantum groups. We propose a definition of a compact quantum groupoid that is based on the theory of C*-algebras and Hilbert bimodules. The essential point is that whenever one has a tensor product over the complex numbers in the theory of quantum groups, one now uses a certain tensor product over the base algebra of the quantum groupoid.
We establish a Galois correspondence for finite quantum groupoid actions on II_1 factors and show that every finite index and finite depth subfactor is an intermediate subalgebra of a quantum groupoid crossed product. Moreover, any such a subfactor is completely and canonically determined by a quantum groupoid and its coideal *-subalgebra. This allows to express the bimodule category of a subfactor in terms of the representation category of a corresponding quantum groupoid and the principal graph as the Bratteli diagram of an inclusion of certain C^*-algebras related to it.
Like quantum groups, quantum groupoids frequently appear in pairs of mutually dual objects. We develop a general Pontrjagin duality theory for quantum groupoids in the algebraic setting that extends Van Daele's duality theory for multiplier Hopf algebras and overcomes the finiteness restrictions of the approach of Kadison, Szlachányi, Böhm and Schauenburg. Our construction is based on the integration theory for multiplier Hopf algebroids and yields, as a corollary, a duality theory for weak multiplier Hopf algebras with integrals. We compute the duals in several examples and introduce morphism…
We introduce the notion of Hopf algebroids, in which neither the total algebras nor the base algebras are required to be commutative. We give a class of Hopf algebroids associated to module algebras of the Drinfeld doubles of Hopf algebras when the $R$-matrices act properly. When this construction is applied to quantum groups, we get examples of quantum groupoids, which are semi-classical limits of Poisson groupoids. The example of quantum $sl(2)$ is worked out in details.
We present a formal algebraic language to deal with quantum deformations of Lie-Rinehart algebras - or Lie algebroids, in a geometrical setting. In particular, extending the ice-breaking ideas introduced by Xu in [Ping Xu, "Quantum groupoids", Comm. Math. Phys. 216 (2001), 539-581], we provide suitable notions of "quantum groupoids". For these objects, we detail somewhat in depth the formalism of linear duality; this yields several fundamental antiequivalences among (the categories of) the two basic kinds of "quantum groupoids". On the other hand, we develop a suitable version of a "quantum du…
We summarize the definition of the Weyl groupoid using supercategory approach in order to investigate quantum superalgebras at roots of unity. We show how the structure of a Hopf superalgebra on a quantum superalgebra is determined by the quantum Weyl groupoid. The Weyl groupoid of $\mathfrak{sl}(m|n)$ is constructed to this end as some supercategory. We prove that in this case quantum superalgebras associated with Dynkin diagrams are isomorphic as superalgebras. It is shown how these quantum superalgebras considered as Hopf superalgebras are connected via twists and isomorphisms. We explicitl…
A new quantization of groupoids under the name of \times-Hopf coalgebras is introduced. We develop a Hopf cyclic theory with coefficients in stable-anti-Yetter-Drinfeld modules for \times-Hopf coalgebras. We use \times-Hopf coalgebras to study coextensions of coalgebras. Finally, equivariant \times-Hopf coalgebra Galois coextensions are defined and applied as functors between categories of stable anti-Yetter-Drinfeld modules over \times-Hopf coalgebras involved in the coextension.
Let $L$ be a quantum semigroupoid, more precisely a $\times_R$-bialgebra in the sense of Takeuchi. We describe a procedure replacing the algebra $R$ by any Morita equivalent, or in fact more generally any $\sqrt{\text{Morita}}$ equivalent (in the sense of Takeuchi) algebra $S$ to obtain a $\times_S$-bialgebra $\widetilde H$ with the same monoidal representation category.
We establish the equivalence of three versions of a finite dimensional quantum groupoid: a generalized Kac algebra introduced by T. Yamanouchi, a weak $C^*$-Hopf algebra introduced by G. Bohm, F. Nill and K. Szlachanyi (with an involutive antipode), and a Kac bimodule -- an algebraic version of a Hopf bimodule, the notion introduced by J.-M. Vallin. We also study the structure and construct examples of finite dimensional quantum groupoids.
We establish a generalization of Kitaev models based on unitary quantum groupoids. In particular, when inputting a Kitaev-Kong quantum groupoid $H_\mathcal{C}$, we show that the ground state manifold of the generalized model is canonical isomorphic to that of the Levin-Wen model based on a unitary fusion category $\mathcal{C}$. Therefore the generalized Kitaev models provide realizations of the target space of the Turaev-Viro TQFT based on $\mathcal{C}$.
Quivers over a fixed base set form a monoidal category with tensor product given by pullback. The quantum Yang-Baxter equation, or more properly the braid equation, is investigated in this setting. A solution of the braid equation in this category is called a "solution" for short. Results of Etingof-Schedler-Soloviev, Lu-Yan-Zhu and Takeuchi on the set-theoretical quantum Yang-Baxter equation are generalized to the context of quivers, with groupoids playing the rôle of groups. The notion of "braided groupoid" is introduced. Braided groupoids are solutions and are characterized in terms of bije…
We summarize the definition of the Weyl groupoid using supercategory approach in order to investigate quantum superalgebras at roots of unity. We show how the structure of a Hopf superalgebra on a quantum superalgebra is determined by the quantum Weyl groupoid. The Weyl groupoid of $\mathfrak{sl}(m|n)$ is constructed to this end as some supercategory. We prove that in this case quantum superalgebras associated with Dynkin diagrams are isomorphic as superalgebras. It is shown how these quantum superalgebras considered as Hopf superalgebras are connected via twists and isomorphisms. We explicitl…
We obtain Drinfeld second realization of the quantum affine superalgebras associated with the affine Lie superalgebra $D^{(1)}(2,1;x)$. Our results are analogous to those obtained by Beck for the quantum affine algebras. Beck's analysis uses heavily the (extended) affine Weyl groups of the affine Lie algebras. In our approach the structures are based on a Weyl groupoid.
In this article, when G is a locally compact quantum group, we associate to a braided-commutative G-Yetter-Drinfel'd algebra $(N,a,\hat{a})$ equipped with a normal faithful semi-finite weight verifying some appropriate condition, a structure of a measured quantum groupoid. The dual structure is then given by $(N,\hat{a},a)$. Examples are given, especially the situation of a quotient type co-ideal of a compact quantum group. This construction generalizes the standard construction of a transformation groupoid. Most of the results were announced by the second author in 2011, at a conference in Wa…
Let N_0 \subset N_1 a depth 2, finite index inclusion of type II1 factors and N_0 \subset N_1 \subset N_2 \subset N_3 ... the corresponding Jones tower. D. Nikshych et L. Vainerman built dual structures of quantum C*-groupoid on the relative commutants N'_0 \cap N_2 et N'_1 \cap N_3. Here I define a new duality which allows a symetric construction without changing the involution. So the Temperley-Lieb algebras are selfdual quantum C*-groupoids and the quantum C*-groupoids associated to a finite depth finite index inclusion can be choosen selfdual. I show that every finite-dimensional connexe q…
A q-analogue of Erdelyi's formula for the Hankel transform of the product of Laguerre polynomials is derived using the quantum linking groupoid between the quantum SU(2) and E(2) groups. The kernel of the q-Hankel transform is given by the 1\varphi1-q-Bessel function, and then the transform of a product of two Wall polynomials times a q-exponential is calculated as a product of two Wall polynomials times a q-exponential.
Dynamical quantum groups were introduced by Etingof and Varchenko in connection with the dynamical quantum Yang-Baxter equation, and measured quantum groupoids were introduced by Enock, Lesieur and Vallin in their study of inclusions of type II_1 factors. In this article, we associate to suitable dynamical quantum groups, which are a purely algebraic objects, Hopf C*-bimodules and measured quantum groupoids on the level of von Neumann algebras. Assuming invariant integrals on the dynamical quantum group, we first construct a fundamental unitary which yields Hopf bimodules on the level of C*-al…
We give an explicit form of the symplectic groupoid that integrates the semiclassical standard Podles sphere. We show that Sheu's groupoid, whose convolution C*-algebra quantizes the sphere, appears as the groupoid of the Bohr-Sommerfeld leaves of a (singular) real polarization of the symplectic groupoid. By using a complex polarization we recover the convolution algebra on the space of polarized sections. We stress the role of the modular class in the definition of the scalar product in order to get the correct quantum space.
Quantum categories were introduced in [4] as generalizations of both bi(co)algebroids and small categories. We clarify details of that work. In particular, we show explicitly how the monadic definition of a quantum category unpacks to a set of axioms close to the definitions of a bialgebroid in the Hopf algebraic literature. We define notions of functor and natural transformation for quantum categories.
A fundamental feature of quantum groups is that many come in pairs of mutually dual objects, like finite-dimensional Hopf algebras and their duals, or quantisations of function algebras and of universal enveloping algebras of Poisson-Lie groups. The same phenomenon was studied for quantum groupoids in various settings. In the purely algebraic setup, the construction of a dual object was given by Schauenburg and by Kadison and Szlachányi, but required the quantum groupoid to be finite with respect to the base. A sophisticated duality for measured quantum groupoids was developed by Enock, Lesieu…
We show that the Ehresmann-Schauenburg bialgebroid of a quantum principal bundle $P$ or Hopf Galois extension with structure quantum group $H$ is in fact a left Hopf algebroid $L(P,H)$. We show further that if $H$ is coquasitriangular then $L(P,H)$ has an antipode map $S$ obeying certain minimal axioms. Trivial quantum principal bundles or cleft Hopf Galois extensions with base $B$ are known to be cocycle cross products $B\#_σH$ for a cocycle-action pair ($\vartriangleright$,$σ$) and we look at these of a certain `associative type' where $ \vartriangleright$ is an actual action. In this case a…
We classify finite-dimensional irreducible highest weight modules of generalized quantum groups whose positive part is infinite dimensional and has a Kharchenko's PBW basis with an irreducible finite positive root system.
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 …
The construction of a quantum groupoid out of a double groupoid satisfying a filling condition and a perturbation datum is given. This extends previous work that appeared in math.QA/0308228. Several important classes of examples of tensor categories are shown to fit into this construction. Certain invariants such as a pivotal group-like element and quantum and Frobenius-Perron dimensions of simple objects are computed.
This is an introduction to double algebras which is the structure modelled by the properties of the convolution product in Hopf algebras, weak Hopf algebras and in Hopf algebroids. We show that Hopf algebroids with a Frobenius integral can be characterized as the double algebras in which the two multiplications satisfy distributivity. We discuss questions of duality, antipode, Maschke theorem and examples.
