We study covariant differential calculus on the quantum spheres S_q^{N-1} which are quantum homogeneous spaces with coactions of the quantum groups O_q(N).
The first part of the paper is devoted to first order differential calculus. A classification result is proved which says that for N>=6 there exist exactly two covariant first order differential calculi on S_q^{N-1} which satisfy the classification constraint that the bimodule of one-forms is generated as a free left module by the differentials of the generators of S_q^{N-1}. Both calculi exist also for 3<=N<=5. The same calculi can be constructed using a method introduced by Hermisson. In case N=3, the result is in accordance with the known result by Apel and Schmüdgen for the Podles sphere.
In the second part, higher order differential calculus and symmetry are treated. The relations which hold for the two-forms in the universal higher order calculus extending one of the two first order calculi are given. A "braiding" homomorphism is found. The existence of an upper bound for the order of differential forms is discussed.
The dual coalgebra of Podleś' quantum sphere O_q(S^2_c) is determined explicitly. This result is used to classify all finite dimensional covariant first order differential calculi over O_q(S^2_c) for all but exceptional values of the parameter c.
Concepts of first order differential calculus (FODC) on a monoidal Hom-algebra and left-covariant FODC over a left Hom-quantum space with respect to a monoidal Hom-Hopf algebra are presented. Then, extension of the universal FODC over a monoidal Hom-algebra to a universal Hom-differential calculus is described. Next, concepts of left(right)-covariant and bicovariant FODC over a monoidal Hom-Hopf algebra are studied in detail. Subsequently, notion of quantum Hom-tangent space associated to a bicovariant Hom-FODC is introduced and equipped with an analogue of Lie bracket (commutator) through Wor…
We investigate covariant first order differential calculi on the quantum complex projective spaces CP_q^{N-1} which are quantum homogeneous spaces for the quantum group SU_q(N). Hereby, one more well-studied example of covariant first order differential calculus on a quantum homogeneous space is given. Since the complex projective spaces are subalgebras of the quantum spheres S_q^{2N-1} introduced by Vaksman and Soibelman, we get also an example of the relations between covariant differential calculus on two closely related quantum spaces. Two approaches are combined in obtaining covariant fir…
We study covariant differential calculus on the quantum spheres S_q^2N-1. Two classification results for covariant first order differential calculi are proved. As an important step towards a description of the noncommutative geometry of the quantum spheres, a framework of covariant differential calculus is established, including a particular first order calculus obtained by factorization, higher order calculi and a symmetry concept.
Covariant first order differential calculus over quantum complex Grassmann manifolds is considered. It is shown by a Pusz-Woronowicz type argument that under restriction to calculi close to classical Kaehler differentials there exist exactly two such calculi for the homogeneous coordinate ring. Complexification and localization procedures are used to induce covariant first order differential calculi over quantum Grassmann manifolds. It is shown that these differential calculi behave in many respects as their classical counterparts. As an example the q-deformed Chern character of the tautologic…
We construct the generalized version of covariant Z_3-graded differential calculus introduced by one of us (R.K.), and then extended to the case of arbitrary Z_N grading. Here our main purpose is to establish the recurrence formulae for the N-th power of covariant q-differential D_q = d_q + A and to analyze more closely the particular case of q being an Nth primitive root of unity. The generalized notions of connection and curvature are introduced and several examples of realization are displayed for N=3 and N=4. Finally we briefly discuss the idea of infinitesimal deformations of the paramete…
Given a bicovariant differential calculus $(\mathcal{E}, d)$ such that the braiding map is diagonalisable in a certain sense, the bimodule of two-tensors admits a direct sum decomposition into symmetric and anti-symmetric tensors. This is used to prove the existence of a bicovariant torsionless connection on $\mathcal{E}$. Following Heckenberger and Schm{ü}dgen, we study invariant metrics and the compatibility of covariant connections with such metrics. A sufficient condition for the existence and uniqueness of bicovariant Levi-Civita connections is derived. This condition is shown to hold for…
Let (G,d) be a first order differential *-calculus on a *-algebra A. We say that a pair (π,F) of a *-representation πof A on a dense domain D of a Hilbert space and a symmetric operator F on D gives a commutator representation of G if there exists a linear mapping t:G -> L(D) such that t(adb)=π(a)i[F,π(b)], a,b in A. Among others, it is shown that each left-covariant *-calculus G of a compact quantum group Hopf *-algebra A has a faithful commutator representation. For a class of bicovariant *-calculi on A there is a commutator representation such that F is the image of a central element of the…
We investigate a particular realization of generalized q-differential calculus of exterior forms on a smooth manifold based on the assumption that the N-th power (N>2) of exterior differential is equal to zero. It implies the existence of cyclic commutation relations for the differentials of first order and their generalization for the differentials of higher order. Special attention is paid to the cases N=3 and N=4. A covariant basis of the algebra of such q-grade forms is introduced, and the analogues of torsion and curvature of higher order are considered. We also study a graded exterior ca…
For transcendental values of q the quantum tangent spaces of all left-covariant first order differential calculi of dimension less than four on the quantum group $\SLq 2$ are given. All such differential calculi $Γ$ are determined and investigated for which the left-invariant differential one-forms $ω(u^1_2)$, $ω(u^2_1)$ and $ω(u^1_1-u^2_2)$ generate $Γ$ as a bimodule and the universal higher order differential calculus has the same dimension as in the classical case. Important properties (cohomology spaces, *-structures, braidings, generalized Lie brackets) of these calculi are examined as we…
We study $N^2-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\rightarrow 1$. Two new differential calculi on $SL_q(3)$ are introduced and developed in detail.
Using the fact that the algebra M(3,C) of 3 x 3 complex matrices can be taken as a reduced quantum plane, we build a differential calculus Omega(S) on the quantum space S defined by the algebra C^\infty(M) \otimes M(3,C), where M is a space-time manifold. This calculus is covariant under the action and coaction of finite dimensional dual quantum groups. We study the star structures on these quantum groups and the compatible one in M(3,C). This leads to an invariant scalar product on the later space. We analyse the differential algebra Omega(M(3,C)) in terms of quantum group representations, an…
Let A be a cosemisimple Hopf *-algebra with antipode S and let $Γ$ be a left-covariant first order differential *-calculus over A such that $Γ$ is self-dual and invariant under the Hopf algebra automorphism S^2. A quantum Clifford algebra $\Cl(Γ,σ,g)$ is introduced which acts on Woronowicz' external algebra $Γ^\wedge$. A minimal left ideal of $\Cl(Γ,σ,g)$ which is an A-bimodule is called a spinor module. Metrics on spinor modules are investigated. The usual notion of a linear left connection on $Γ$ is extended to quantum Clifford algebras and also to spinor modules. The corresponding Dirac ope…
For differential calculi over certain right coideal subalgebras of quantum groups the notion of quantum tangent space is introduced. In generalization of a result by Woronowicz a one to one correspondence between quantum tangent spaces and covariant first order differential calculi is established. This result is used to classify differential calculi over quantum Grassmann manifolds. It turns out that up to special cases in low dimensions there exists exactly one such calculus of classical dimension 2r(N-r). Keywords: Quantum groups, quantum spaces, quantum Grassmann manifolds, differential cal…
We construct a two-parameter covariant differential calculus on the quantum $h$-exterior plane. We also give a deformation of the two-dimensional fermionic phase space.
We introduce a noncommutative differential calculus on the two-parameter $h$-superplane via a contraction of the (p,q)-superplane. We manifestly show that the differential calculus is covariant under $GL_{h_1,h_2}(1| 1)$ transformations. We also give a two-parameter deformation of the (1+1)-dimensional phase space algebra.
The bicovariant differential calculus on the four-dimensional kappa-Poincare group and the corresponding Lie-algebra like structure are described. The deifferential calculus on the n-dimensional kappa-Minkowski space covariant under the action of the kappa-Poincare group is constructed.
A method of constructing covariant differential calculi on a quantum homogeneous space is devised. The function algebra X of the quantum homogeneous space is assumed to be a left coideal of a coquasitriangular Hopf algebra H and to contain the coefficients of any matrix over H which is the two-sided inverse of one with entries in X. The method is based on partial derivatives. For the quantum sphere of Podles and the quantizations of symmetric spaces due to Noumi, Dijkhuizen and Sugitani the construction produces the subcalculi of the standard bicovariant calculus on the quantum group.
A detailed study is made of the noncommutative geometry of $R^3_q$, the quantum space covariant under the quantum group $SO_q(3)$. For each of its two $SO_q(3)$-covariant differential calculi we find its metric, the corresponding frame and two torsion-free covariant derivatives that are metric compatible up to a conformal factor and which yield both a vanishing linear curvature. A discussion is given of various ways of imposing reality conditions. The delicate issue of the commutative limit is discussed at the formal algebraic level. Two rather different ways of taking the limit are suggested,…
A three-dimensional $q$-Lie algebra of $SU_q(2)$ is realized in terms of first- and second-order differential operators. Starting from the $q$-Lie algebra one has constructed a left-covariant differential calculus on the quantum group. The proposed construction is inverse to the standard Woronowicz approach; the left-invariant vector fields are introduced as initial objects whereas the differential 1-forms are defined in a dual manner.
We briefly report our application of a version of noncommutative geometry to the quantum Euclidean space $R^N_q$, for any $N \ge 3$; this space is covariant under the action of the quantum group $SO_q(N)$, and two covariant differential calculi are known on it. More precisely, we describe how to construct in a Cartan `moving-frame formalism' the metric, two covariant derivatives, the Dirac operator, the frame, the inner derivations dual to the frame elements, for both of these calculi. The components of the frame elements in the basis of differentials provide a `local realization' of the Fadde…
We construct a noncommutative Cartan calculus on any braided commutative algebra and study its applications in noncommutative geometry. The braided Lie derivative, insertion and de Rham differential are introduced and related via graded braided commutators, also incorporating the braided Schouten-Nijenhuis bracket. The resulting braided Cartan calculus generalizes the Cartan calculus on smooth manifolds and the twisted Cartan calculus. While it is a necessity of derivation based Cartan calculi on noncommutative algebras to employ central bimodules our approach allows to consider bimodules over…
The non-commutative differential calculus on quantum groups can be extended by introducing, in analogy with the classical case, inner product operators and Lie derivatives. For the case of $\GL$ we show how this extended calculus induces by coaction a similar extended calculus, covariant under $\GL$, on the quantum plane. In this way, inner product operators and Lie derivatives can be introduced on the plane as well. The situation with other quantum groups and quantum spaces is briefly discussed. Explicit formulas are given for the two dimensional quantum plane.
The natural generalization of the notion of bundle in quantum geometry is that of bimodule. If the base space has quantum group symmetries one is particularly interested in bimodules covariant (equivariant) under these symmetries. Most attention has so far been focused on the case with maximal symmetry -- where the base space is a quantum group and the bimodules are bicovariant. The structure of bicovariant bimodules is well understood through their correspondence with crossed modules. We investigate the ``next best'' case -- where the base space is a quantum homogeneous space and the bimodule…
Let (Γ,d) be the 3D-calculus or the 4D_{\pm}-calculus on the quantum group SU_q(2). We describe all pairs (π, F) of a *-representation πof O(SU_q(2)) and of a symmetric operator F on the representation space satisfying a technical condition concerning its domain such that there exist a homomorphism of first order differential calculi which maps dx into the commutator [iF,π(x)] for x\in O(SU_q(2)). As an application commutator representations of the 2-dimensional left-covariant calculus on Podles' quantum 2-sphere S^2_{qc} with c=0 are given.
In this paper, we construct a covariant differential calculus on quantum plane with two-parametric quantum group as a symmetry group. The two cases $d^2=0$ and $d^3=0$ are completly established. We also construct differential calculi $n=2$ and $n=3$ nilpotent on super quantum space with one and two-parametric symmetry quantum supergroup.
A complete Fock space representation of the covariant differential calculus on quantum space is constructed. The consistency criteria for the ensuing algebraic structure, mapping to the canonical fermions and bosons and the consequences of the new algebra for the statistics of quanta are analyzed and discussed. The concept of statistical transmutation between bosons and fermions is introduced.
The complexes of integral forms on the quantum Euclidean group $E_q(2)$ and the quantum plane are defined and their isomorphisms with the corresponding de Rham complexes are established.
We discuss the left-covariant 3-dimensional differential calculus on the quantum sphere $SU_q (2)/U(1) $. The $SU_q (2)$-spinor harmonics are treated as coordinates of the quantum sphere. We consider the gauge theory for the quantum group $SU_q (2)\times U(1) $ on the deformed Euclidean space $E_q (4)$. A $q$-generalization of the harmonic-gauge-field formalism is suggested . This formalism is applied for the harmonic (twistor) interpretation of the quantum-group self-duality equation (QGSDE). We consider the zero-curvature representation and the general construction of QGSDE-solutions in term…
A constructive approach to differential calculus on quantum principal bundles is presented. The calculus on the bundle is built in an intrinsic manner, starting from given graded (differential) *-algebras representing horizontal forms on the bundle and differential forms on the base manifold, together with a family of antiderivations acting on horizontal forms, playing the role of covariant derivatives of regular connections. In this conceptual framework, a natural differential calculus on the structure quantum group is described.
We briefly describe how to introduce the basic notions of noncommutative differential geometry on the 3-dim quantum space covariant under the quantum group of rotations $SO_q(3)$.
Gauge theory on the q-deformed two-dimensional Euclidean plane R^2_q is studied using two different approaches. We first formulate the theory using the natural algebraic structures on R^2_q, such as a covariant differential calculus, a frame of one-forms and invariant integration. We then consider a suitable star product, and introduce a natural way to implement the Seiberg-Witten map. In both approaches, gauge invariance requires a suitable ``measure'' in the action, breaking the E_q(2)-invariance. Some possibilities to avoid this conclusion using additional terms in the action are proposed.
We sketch our recent application of a non-commutative version of the Cartan `moving-frame' formalism to the quantum Euclidean space $R^N_q$, the space which is covariant under the action of the quantum group $SO_q(N)$. For each of the two covariant differential calculi over $R^N_q$ based on the $R$-matrix formalism, we summarize our construction of a frame, the dual inner derivations, a metric and two torsion-free almost metric compatible covariant derivatives with a vanishing curvature. To obtain these results we have developed a technique which fully exploits the quantum group covariance of …
A theory of principal bundles possessing quantum structure groups and classical base manifolds is presented. Structural analysis of such quantum principal bundles is performed. A differential calculus is constructed, combining differential forms on the base manifold with an appropriate differential calculus on the structure quantum group. Relations between the calculus on the group and the calculus on the bundle are investigated. A concept of (pseudo)tensoriality is formulated. The formalism of connections is developed. In particular, operators of horizontal projection, covariant derivative an…
A differential calculus of the first order over multi-braided quantum groups is developed. In analogy with the standard theory, left/right-covariant and bicovariant differential structures are introduced and investigated. Furthermore, antipodally covariant calculi are studied. The concept of the *-structure on a multi-braided quantum group is formulated, and in particular the structure of left-covariant *-covariant calculi is analyzed. A special attention is given to differential calculi covariant with respect to the action of the associated braid system. In particular it is shown that the lef…
We briefly describe our application of a version of noncommutative differential geometry to the 3-dim quantum space covariant under the quantum group of rotations $SO_q(3)$ and sketch how this might be used to determine the correct physical interpretation of the geometrical observables.
We begin with a deformation of a differential graded algebra by adding time and using a homotopy. It is shown that the standard formulae of Itô calculus are an example, with four caveats: First, it says nothing about probability. Second, it assumes smooth functions. Third, it deforms all orders of forms, not just first order. Fourth, it also deforms the product of the DGA. An isomorphism between the deformed and original DGAs may be interpreted as the transformation rule between the Stratonovich and classical calculus (again no probability). The isomorphism can be used to construct covariant d…
The differential calculus on n-dimensional quantum Minkowski space covariant with respect to left action of Kappa-Poincar'e group is constructed and its uniqueness is shown.
A Dirac operator D on the standard Podles sphere is defined and investigated. It yields a spectral triple such that |D|^{-z} is of trace class for Re z>0. Commutators with the Dirac operator give the distinguished 2-dimensional covariant differential calculus on the standard Podles sphere. The twisted cyclic cocycle associated with the volume form of the differential calculus is expressed by means of the Dirac operator.
We study the quantum matrix algebra $R_{21}x_1x_2=x_2x_1 R$ and for the standard $2\times 2$ case propose it for the co-ordinates of $q$-deformed Euclidean space. The algebra in this simplest case is isomorphic to the usual quantum matrices $M_q(2)$ but in a form which is naturally covariant under the Euclidean rotations $SU_q(2)\otimes SU_q(2)$. We also introduce a quantum Wick rotation that twists this system precisely into the approach to $q$-Minkowski space based on braided-matrices and their associated spinorial $q$-Lorentz group.
We construct a quantum frame bundle of the quantum plane $C^2_p$ by requiring that a $GL_{q,p}(2)$-covariant differential calculus on $C^2_p$ be isomorphic as a bimodule to the space of sections of the associated quantum cotangent bundle. We also construct the section space of the associated quantum tangent bundle, and show that it is naturally dual to the differential calculus.
We present the class of deformations of simple Euclidean superalgebra, which describe the supersymmetrization of some Lie algebraic noncommutativity of D=4 Euclidean space-time. The presented deformations are generated by the supertwists. We provide new explicit formulae for a chosen twisted D=4 Euclidean Hopf superalgebra and describe the corresponding quantum covariant deformation of chiral Euclidean superspace.
We apply one of the formalisms of noncommutative geometry to $R^N_q$, the quantum space covariant under the quantum group $SO_q(N)$. Over $R^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 $R^3_q$. As in the case N=3, one has to slightly enlarge the algebra $R^N_q$; for N odd one needs only one new generator whereas for N even one needs two…
We define a class of quadratic differential algebras which are generated as differential graded algebras by the elements of an Euclidean space. Such a differential algebra is a differential calculus over the quadratic algebra of its elements of differential degree zero. This generalizes for arbitrary quadratic algebras the differential graded algebra of exterior polynomial differential forms for the algebra of polynomial functions on $\mathbb R^n$. We investigate the structure of these differential algebras and their connection with the Koszul complexes of quadratic algebras.
Using the Hecke $\hat R$-matrix, we give a definition of the lattice $(l,q)$-deformed $n$-component boson and Grassmann fields. Here $l$ is a deformation parameter for the commutation relations of "values" of these fields in two arbitrary lattice sites and $q$ is a deformation parameter for $n$-component $q$-boson or $q$-Grassmann variable. In framework of the Wess-Zumino approach to the noncommutative differential calculus the commutation relations between differentials and derivatives of these fields are determined. The $SL_q(n,C)$-invariant generalization of the Berezin integration for the …
This paper presents an analysis of the set of connections and covariant derivatives on a U(1) quantum Hopf bundle on the standard Podles sphere, whose total space quantum SU(2) is equipped with the 3d left covariant differential calculus by Woronowicz. The introduction of a Hodge duality on the exterior algebras on both total and base space of the bundle allows for the study of Laplacians and of gauged Laplacians.
