Classification of bicovariant differential calculi on quantum groups

Suppose thatq is not a root of unity. We classify all bicovariant differential calculi of dimension greater than one on the quantum groupsGL _q (N),O _q (N) andSp _q (N) for which the differentials du _j ⁱ of the matrix entriesu _j ⁱ generate the left module of first order forms. Our first classification theorem asserts that there are precisely two one-parameter families of such calculi onGL _q (N) forN3. In the limitq1 only two of these calculi give the ordinary differential calculus onGL(N). Our second main theorem states that apart from finitely manyq there exist precisely two differential calculi with these properties onO _q (N) andSp _q (N) forN4. This strengthens the corresponding result proved in our previous paper [SS2]. There are four such calculi onO _q (3). We introduce two new 4-dimensional bicovariant differential calculi onO _q (3).     

Complex quantum group,dual algebra and bicovariant differential calculus

The method used to construct the bicovariant bimodule in ref. [CSWW] is applied to examine the structure of the dual algebra and the bicovariant differential calculus of the complex quantum group. The complex quantum group Fun _q (SL(N, C)) is defined by requiring that it contains Fun _q (SU(N)) as a subalgebra analogously to the quantum Lorentz group. Analyzing the properties of the fundamental bimodule, we show that the dual algebra has the structure of the twisted product Fun _q (SU(N))Fun _q (SU(N)) _reg ^* . Then the bicovariant differential calculi on the complex quantum group are constructed.     

Bicovariant differential calculus on quantum groupsSU q (N) andSO q (N)

Following Woronowicz's proposal the bicovariant differential calculus on the quantum groupsSU _q (N) andSO _q (N) is constructed. A systematic construction of bicovariant bimodules by using the matrix is presented. The relation between the Hopf algebras generated by the linear functionals relating the left and right multiplication of these bicovariant bimodules, and theq-deformed universal enveloping algebras is given. Imposing the conditions of bicovariance and consistency with the quantum group structure the differential algebras and exterior derivatives are defined. As an application the Maurer-Cartan equations and theq-analogue of the structure constants are formulated.Address after 1 Dec. 1990, Institute of Theoretical Physics, University of München.     

Exterior algebras related to the quantum group O(O q(3))

For the 9-dimensional bicovariant differential calculi on the quantum group O(O _q(3)) several kinds of exterior algebras are examined. The corresponding dimensions, bicovariant subbimodules and eigenvalues of the antisymmetrizer are given. Exactly one of the exterior algebras studied by the authors has a unique left invariant form with maximal degree.     

Left-covariant differential calculi on SLq(2) and SLq(3)

We study (N²−1)-dimensional left-covariant differential calculi on the quantum group SL_q(N) for which the generators of the quantum Lie algebras annihilate the quantum trace. In this way we obtain one distinguished calculus on SL_q(2) (which corresponds to Woronowicz' 3D-calculus on SU_q(2)) and two distinguished calculi on SL_q(3) such that the higher-order calculi give the ordinary differential calculus on SL(2) and SL(3), respectively, in the limit q → 1. Two new differential calculi on SL_q(3) are introduced and developed in detail.     

Differential calculus on the inhomogeneous quantum groups IGL q (n)

We obtain the inhomogeneousq-groups IGL _q (n) via a projection from GL _q (n + 1). The bicovariant differential calculus of IGL _q (n) is constructed, and the corresponding quantum Lie algebra is given explicitly.     

Geometrical Tools for Quantum Euclidean Spaces

We apply one of the formalisms of noncommutative geometry to ℝ ^N _q , the quantum space covariant under the quantum group SO _q (N). Over ℝ ^N _q there are two SO _q (N)-covariant differential calculi. For each we find a frame, a metric and two torsion-free covariant derivatives which are metric compatible up to a conformal factor and which have a vanishing linear curvature. This generalizes results found in a previous article for the case of ℝ³ _q . As in the case N=3, one has to slightly enlarge the algebra ℝ ^N _q ; for N odd one needs only one new generator whereas for N even one needs two. As in the particular case N=3 there is a conformal ambiguity in the natural metrics on the differential calculi over ℝ ^N _q . While in our previous article the frame was found “by hand”, here we disclose the crucial role of the quantum group covariance and exploit it in the construction. As an intermediate step, we find a homomorphism from the cross product of ℝ ^N _q with U _q so(N) into ℝ ^N _q , an interesting result in itself. Received: 4 March 2000 / Accepted: 11 October 2000     

Higher order differential calculus on SL q(N)

Let be a bicovariant first order differential calculus on a Hopf algebra . There are three possibilities to construct a differential N ₀-graded Hopf algebra which contains as its first order part. In all cases is a quotient = /J of the tensor algebra by some suitable ideal. We distinguish three possible choices _u J, _s J, and _W J, where the first one generates the universal differential calculus (over ) and the last one is Woronowicz' external algebra. Let q be a transcendental complex number and let be one of the N ²-dimensional bicovariant first order differential calculi on the quantum group SL _q(N). Then for N 3 the three ideals coincide. For Woronowicz' external algebra we calculate the dimensions of the spaces of left-invariant and bi-invariant k-forms. In this case each bi-invariant form is closed. In case of 4D _± calculi on SL _q(2) the universal calculus is strictly larger than the other two calculi. In particular, the bi-invariant 1-form is not closed.     

Quantum double and differential calculi

We show that bicovariant bimodules as defined by Woronowicz are in one-to-one correspondence with the Drinfeld quantum double representations. We then prove that a differential calculus associated to a bicovariant bimodule of dimension n is connected to the existence of a particular (n+1)-dimensional representation of the double. An example of bicovariant differential calculus on the nonquasitriangular quantum group E _q (2) is developed. The construction is studied in terms of Hochschild cohomology and a correspondence between differential calculi and 1-cocycles is proved. Some differences of calculi on quantum and finite groups with respect to Lie groups are stressed.     

Bicovariant differential calculi on SL q(N) and Sp q(N)

For transcendental values of the deformation parameter q all bicovariant first order differential calculi on the Hopf algebras are classified.     

Laplace operator and hodge decomposition for quantum groups and quantum spaces

LetΓ=Γ _±,z be one of theN ²-dimensional bicovariant first order differential calculi for the quantum groups GL _q (N), SL _q (N), SO _q (N), or Sp _q (N), whereq is a transcendental complex number andz is a regular parameter. It is shown that the de Rham cohomology of Woronowicz’s external algebraΓ ^{^} coincides with the de Rham cohomologies of its leftinvariant, its right-invariant and its biinvariant subcomplexes. In the cases GL _q (N) and SL _q (N) the cohomology ring is isomorphic to the biinvariant external algebraΓ _inv ^{^} and to the vector space of harmonic forms. We prove a Hodge decomposition theorem in these cases. The main technical tool is the spectral decomposition of the quantum Laplace-Beltrami operator. It is also applicable for quantum Euclidean spheres. The eigenvalues of the Laplace-Beltrami operator in cases of the general linear quantum group, the orthogonal quantum group, and the quantum Euclidean spheres are given.     

Riemannian Geometry of Quantum Groups¶and Finite Groups with Nonuniversal Differentials

We construct noncommutative “Riemannian manifold” structures on dual quasitriangular Hopf algebras such as ℂ _q [SU ₂] with its standard bicovariant differential calculus, using the quantum frame bundle approach introduced previously. The metric is provided by the braided-Killing form on the braided-Lie algebra on the tangent space and the n-bein by the Maurer–Cartan form. We also apply the theory to finite sets and in particular to finite group function algebras ℂ[G] with differential calculi and Killing forms determined by a conjugacy class. The case of the permutation group ℂ[S ₃] is worked out in full detail and a unique torsion free and cotorsion free or “Levi–Civita” connection is obtained with noncommutative Ricci curvature essentially proportional to the metric (an Einstein space). We also construct Dirac operators in the metric background, including on finite groups such as S ₃. In the process we clarify the construction of connections from gauge fields with nonuniversal calculi on quantum principal bundles of tensor product form. Received: 22 June 2000 / Accepted: 26 August 2001     

SO q (N) covariant differential calculus on quantum space and quantum deformation of schrödinger equation

We construct a differential calculus on theN-dimensional non-commutative Euclidean space, i.e., the space on which the quantum groupSO _q (N) is acting. The differential calculus is required to be manifestly covariant underSO _q (N) transformations. Using this calculus, we consider the Schrödinger equation corresponding to the harmonic oscillator in the limit ofq→1. The solution of it is given byq-deformed functions.     

GLq(N)-covariant braided differential bialgebras

We study the possibility of defining the (braided) comultiplication for the GL _q (N)-covariant differential complexes on some quantum spaces. We discover suchdifferential bialgebras (and Hopf algebras) on the bosonic and fermionic quantum hyperplanes (with additive coproduct) and on the braided matrix algebra BM _q (N) with both multiplicative and additive coproducts. The latter case is related (forN = 2) to theq-Minkowski space andq-Poincaré algebra.     

Gravity on Finite Groups

Gravity theories are constructed on finite groups G. A self-consistent review of the differential calculi on finite G is given, with some new developments. The example of a bicovariant differential calculus on the nonabelian finite group S ₃ is treated in detail, and used to build a gravity-like field theory on S ₃. Received: 11 November 1999 / Accepted: 11 December 2000     

Deformed Algebras from Elliptic sl(N) Algebras

We extend to the sl(N)sl(N) case the results that we previously obtained on the construction of W_q,p{\cal W}_{q,p} algebras from the elliptic algebra A_q,p([^(sl)](2)_c){\cal A}_{q,p}(\widehat{sl}(2)_{c}). The elliptic algebra \elp\elp at the critical level c= m N has an extended center containing trace-like operators t(z). Families of Poisson structures indexed by N(Nу)/2 integers, defining q-deformations of the W_N{\cal W}_{N} algebra, are constructed. The operators t(z) also close an exchange algebra when (-p^\sfrac12)^NM = q^-c-N(-p^\sfrac{1}{2})^{NM} = q^{-c-N} for M ? \ZZM\in\ZZ. It becomes Abelian when in addition p= q^Nh, where h is a non-zero integer. The Poisson structures obtained in these classical limits contain different q-deformed W_N{\cal W}_{N} algebras depending on the parity of h, characterizing the exchange structures at p p q^Nh as new W_q,p(sl(N)){\cal W}_{q,p}(sl(N)) algebras.     

Differential calculus on quantum Euclidean spheres

We study covariant differential calculus on the quantum Euclidean spheres S _q ^N−1 which are quantum homogeneous spaces with coactions of the quantum groups O _q (N). First order differential calculi on the quantum Euclidean spheres satisfying a dimension constraint are found and classified: ForN≥6, there exist exactly two such calculi one of which is closely related to the classical differential calculus in the commutative case. Higher order differential forms and symmetry are discussed. Presented at the 9th Colloquium “Quantum Groups and Integrable Systems”, Prague, 22–24 June 2000.     

The problem of differential calculus on quantum groups

The bicovariant differential calculi on quantum groups of Woronowicz have the drawback that their dimensions do not agree with that of the corresponding classical calculus. In this paper we discuss the first-order differential calculus which arises from a simple quantum Lie algebra l _h (g) This calculus has the correct dimension and is shown to be bicovariant and complete. But it doesnot satisfy the Leibniz rule. Forsl _n this approach leads to a differential calculus which satisfies a simple generalization of the Leibniz rule.Presented at the 5th International Colloquium on Quantum Groups: Quantum Groups and Integrable Systems, Prague, 20–22 June 1996.     

Realization ofU q (so(N)) within the differential algebra onR q N

We realize the Hopf algebraU _q–1 (so(N)) as an algebra of differential operators on the quantum Euclidean spaceR _q ^N . The generators are suitableq-deformed analogs of the angular momentum components on ordinaryR ^N . The algebra Fun(R _q ^N ) of functions onR _q ^N splits into a direct sum of irreducible vector representations ofU _q–1 (so(N)); the latter are explicitly constructed as highest weight representations.     

Classification of bicovariant differential calculi on quantum groups of type A,B, C and D

Under the assumptions thatq is not a root of unity and that the differentialsdu _j ⁱ of the matrix entries span the left module of first order forms, we classify bicovariant differential calculi on quantum groupsA _n–1 ,B _n ,C _n andD _n . We prove that apart one dimensional differential calculi and from finitely many values ofq, there are precisely2n such calculi on the quantum groupA _n–1 =SL _q (n) forn3. All these calculi have the dimensionn ². For the quantum groupsB _n ,C _n andD _n we show that except for finitely manyq there exist precisely twoN ²-dimensional bicovariant calculi forN3, whereN=2n+1 forB _n andN=2n forC _n ,D _n . The structure of these calculi is explicitly described and the corresponding ad-invariant right ideals of ker are determined. In the limitq1 two of the 2n calculi forA _n–1 and one of the two calculi forB _n ,C _n andD _n contain the ordinary classical differential calculus on the corresponding Lie group as a quotient.