Differential calculus on quantum projective spaces

Covariant first order differential calculus on the quantum projective spaces CP _q ^N-1 is studied by two approaches. First, the embedding of CP _q ^N-1 into the quantum spheres S _q ^2N-1 is used to obtain differential calculi on CP _q ^N-1 by restriction; second, classification results for differential calculi on CP _q ^N-1 under three different constraint settings are proved directly. The main results are that under each of the constraints considered, there exists a differential calculus which is uniquely determined if N 6, and that (essentially) all of the differential *-calculi on S _q ^2N-1 known from a previous classification paper admit restriction to CP _q ^N-1 .     

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.     

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     

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.     

Noncommutative space-time models

The FRT quantum Euclidean spaces O _q ^N are formulated in terms of Cartesian generators. The quantum analogs of N-dimensional Cayley-Klein spaces are obtained by contractions and analytical continuations. Noncommutative constant-curvature spaces are introduced as spheres in the quantum Cayley-Klein spaces. For N = 5 part of them is interpreted as the noncommutative analogs of (1+3) space-time models. As a result the quantum (anti) de Sitter, Minkowski, Newton, Galilei kinematics with the fundamental length and the fundamental time are suggested. Presented at the International Colloquium “Integrable Systems and Quantum Symmetries”, Prague, 16–18 June 2005.     

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.     

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.     

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.     

A class of bicovariant differential calculi on hopf algebras

We introduce a large class of bicovariant differential calculi on any quantum group A, associated to Ad-invariant elements. For example, the deformed trace element on SL_q (2) recovers Woronowicz's 4D _± calculus. More generally, we obtain a class of differential calculi on each quantum group A(R), based on the theory of the corresponding braided groups B(R). Here R is any regular solution of the QYBE.Supported by St John's College, Cambridge and KBN grant 2 0218 91 01.     

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     

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.     

Levi-Civita Connections on the Quantum Groups SLq(N), Oq(N) and Spq(N)

For bicovariant differential calculi on quantum groups various notions on connections and metrics (bicovariant connections, invariant metrics, the compatibility of a connection with a metric, Levi-Civita connections) are introduced and studied. It is proved that for the bicovariant differential calculi on SL _q (N), O _q (N) and Sp _q (N) from the classification in [18] there exist unique Levi-Civita connections. Received: Received: 28 February 1996 / Accepted: 1 October 1996     

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.     

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.     

Inhomogeneous quantum groups and their quantized universal enveloping algebras

The quantum group IGL _q (N), the inhomogenization of GL _q (N), is formulated with -matrices. Theq-deformed universal enveloping algebra is constructed as the algebra of regular functionals in this formulation and contains the partial derivatives of the covariant differential calculus on the quantum space.     

Differential calculi on the quantum superplane

Using some natural conditions less restrictive than theGL _ql/s(m/n) invariance, we present two possible multiparametric differential calculi on the quantum superplane. We show that there exists a new differential calculus which is different from the known one, generalizing the Wess-Zumino formalism to the superspace case. We discuss some^*-algebra structures leaving invariant this differential calculus. The (1 + 1)-dimensional case is analyzed and a realization of the super-Virasoro algebra on this particular quantum superspace is given.     

Quantum Bundle Description of Quantum Projective Spaces

We realise Heckenberger and Kolb??s canonical calculus on quantum projective (N ? 1)-space C _q [C p ^N?1] as the restriction of a distinguished quotient of the standard bicovariant calculus for the quantum special unitary group C _q [SU _N ]. We introduce a calculus on the quantum sphere C _q [S ^2N?1] in the same way. With respect to these choices of calculi, we present C _q [C p ^N?1] as the base space of two different quantum principal bundles, one with total space C _q [SU _N ], and the other with total space C _q [S ^2N?1]. We go on to give C _q [C p ^N?1] the structure of a quantum framed manifold. More specifically, we describe the module of one-forms of Heckenberger and Kolb??s calculus as an associated vector bundle to the principal bundle with total space C _q [SU _N ]. Finally, we construct strong connections for both bundles.     

Differential calculus on quantized simple lie groups

Differential calculi, generalizations of Woronowicz's four-dimensional calculus on SU _q (2), are introduced for quantized classical simple Lie groups in a constructive way. For this purpose, the approach of Faddeev and his collaborators to quantum groups was used. An equivalence of Woronowicz's enveloping algebra generated by the dual space to the left-invariant differential forms and the corresponding quantized universal enveloping algebra, is obtained for our differential calculi. Real forms for q are also discussed.