We provide the Cartan calculus for bicovariant differential forms on bicrossproduct quantum groups $k(M)\lrbicross kG$ associated to finite group factorizations $X=GM$ and a field $k$. The irreducible calculi are associated to certain conjugacy classes in $X$ and representations of isotropy groups. We find the full exterior algebras and show that they are inner by a bi-invariant 1-form $θ$ which is a generator in the noncommutative de Rham cohomology $H^1$. The special cases where one subgroup is normal are analysed. As an application, we study the noncommutative cohomology on the quantum codouble $D^*(S_3)\isom k(S_3)\lrbicross k\Z_6$ and the quantum double $D(S_3)=k(S_3)\lcross kS_3$, finding respectively a natural calculus and a unique calculus with $H^0=k.1$.
We re-examine all the contractions related with the ${\cal U}_q(su(2))$ deformed algebra and study the consequences that the contraction process has for their structure. We also show using ${\cal U}_q(su(2))\times{\cal U}(u(1))$ as an example that, as in the undeformed case, the contraction may generate Hopf algebra cohomology. We shall show that most of the different Hopf algebra deformations obtained have a bicrossproduct or a cocycle bicrossproduct structure, for which we shall also give their dual `group' versions. The bicovariant differential calculi on the deformed spaces associated with…
To give a Cartan calculus on the extended quantum 3d space, the noncommutative differential calculus on the extended quantum 3d space is extended by introducing inner derivations and Lie derivatives.
We extend the universal differential calculus on an arbitrary Hopf algebra to a ``universal Cartan calculus''. This is accomplished by introducing inner derivations and Lie derivatives which act on the elements of the universal differential envelope. A new algebra is formulated by incorporating these new objects into the universal differential calculus together with consistent commutation relations. We also explain how to include nontrivial commutation relations into this formulation to obtain the ``generalized Cartan calculus''.
A Cartan Calculus of Lie derivatives, differential forms, and inner derivations, based on an undeformed Cartan identity, is constructed. We attempt a classification of various types of quantum Lie algebras and present a fairly general example for their construction, utilizing pure braid methods, proving orthogonality of the adjoint representation and giving a (Killing) metric and the quadratic casimir. A reformulation of the Cartan calculus as a braided algebra and its extension to quantum planes, directly and induced from the group calculus, are provided.
We associate to any (suitable) bicovariant differential calculus on a quantum group a Cartan Hopf algebra which has a left, respectively right, representation in terms of left, respectively right, Cartan calculus operators. The example of the Hopf algebra associated to the $4D_+$ differential calculus on $SU_q(2)$ is described.
We consider inner deformations of families of $A_\infty$-algebras. With the help of noncommutative Cartan's calculus, we prove the invariance of Hochschild (co)homology under inner deformations. The invariance also holds for cyclic cohomology classes that satisfy some additional conditions. Applications to dg-algebras and QFT problems are briefly discussed.
A rigid framework for the Cartan calculus of Lie derivatives, inner derivations, functions, and forms is proposed. The construction employs a semi-direct product of two graded Hopf algebras, the respective super-extensions of the deformed universal enveloping algebra and the algebra of functions on a quantum group. Relations in the Cartan calculus follow as consistency conditions. The approach is not a priori based on the Leibniz rule for the exterior derivative and might hence also be of interest in the recent work on its deformations. The Cartan identity for the Lie derivatives is proven. (T…
In this paper we review the recently proposed path-integral counterpart of the Koopman-von Neumann operatorial approach to classical Hamiltonian mechanics. We identify in particular the geometrical variables entering this formulation and show that they are essentially a basis of the cotangent bundle to the tangent bundle to phase-space. In this space we introduce an extended Poisson brackets structure which allows us to re-do all the usual Cartan calculus on symplectic manifolds via these brackets. We also briefly sketch how the Schouten-Nijenhuis, the Frölicher- Nijenhuis and the Nijenhuis-Ri…
A generalization of the differential geometry of forms and vector fields to the case of quantum Lie algebras is given. In an abstract formulation that incorporates many existing examples of differential geometry on quantum groups, we combine an exterior derivative, inner derivations, Lie derivatives, forms and functions all into one big algebra. In particular we find a generalized Cartan identity that holds on the whole quantum universal enveloping algebra of the left-invariant vector fields and implicit commutation relations for a left-invariant basis of 1-forms.
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…
Cartan calculi on the extended quantum superplane are given. To this end, the noncommutative differential calculus on the extended quantum superplane is extended by introducing inner derivations and Lie derivatives.
We show that if the cochain complex computing Ext groups (in the category of modules over Hopf algebroids) admits a cocyclic structure, then the noncommutative Cartan calculus structure on Tor over Ext dualises in a cyclic sense to a calculus on Coext over Cotor. More precisely, the cyclic duals of the chain resp. cochain spaces computing the two classical derived functors lead to complexes that compute the more exotic ones, giving a cyclic opposite module over an operad with multiplication that induce operations such as a Lie derivative, a cap product (or contraction), and a (cyclic) differen…
In this thesis we give obstructions for Drinfel'd twist deformation quantization on several classes of symplectic manifolds. Motivated from this quantization procedure, we further construct a noncommutative Cartan calculus on any braided commutative algebra, as well as an equivariant Levi-Civita covariant derivative for any non-degenerate equivariant metric. This generalizes and unifies the Cartan calculus on a smooth manifold and the Cartan calculus on twist star product algebras. We prove that the Drinfel'd functor leads to equivalence classes in braided commutative geometry and commutes wit…
Intrinsic Hopf algebra structure of the Woronowicz differential complex is shown to generate quite naturally a bicovariant algebra of four basic objects within a differential calculus on quantum groups -- coordinate functions, differential 1-forms, Lie derivatives, and inner derivations -- as the cross-product algebra of two mutually dual graded Hopf algebras. This construction, properly taking into account Hopf-algebraic properties of Woronowicz's bicovariant calculus, provides a direct proof of the Cartan identity and of many other useful relations. A detailed comparison with other approache…
We proposed the construction of the differential calculus on the quantum group and its subgroup with the property of the natural reduction: the differential calculus on the quantum group $GL_q(2,C)$ has to contain the differential calculus on the quantum subgroup $SL_q(2,C)$ and quantum plane $C_q(2|0)$ (''quantum matrjoshka''). We found, that there are two differential calculi, associated to the left differential Maurer--Cartan 1-forms and to the right differential 1-forms. Matched reduction take the degeneracy between the left and right differentials. The classical limit ($q\to 1$) of the ''…
Noncommutative or quantum Riemannian geometry has been proposed as an effective theory for aspects of quantum gravity. Here the metric is an invertible bimodule map $Ω^1\otimes_AΩ^1\to A$ where $A$ is a possibly noncommutative or `quantum' spacetime coordinate algebra and $(Ω^1,d)$ is a specified bimodule of 1-forms or `differential calculus' over it. In this paper we explore the proposal of a `quantum Koszul formula' with initial data a degree -2 bilinear map $\perp$ on the full exterior algebra $Ω$ obeying the 4-term relations \[ (-1)^{|η|} (ωη)\perpζ+(ω\perpη)ζ=ω\perp(ηζ)+(-1)^{|ω|+|η|}ω(η\…
We introduce a construction of the differential calculus on the quantum supergroup GL$_{p,q}(1| 1)$. We obtain two differential calculi, respectively, associated with the left and right Cartan-Maurer one-forms. We also obtain the quantum superalgebra of GL$_{p,q}(1| 1)$. Although all of the structures we obtain are derived without an R matrix, they neverthless can be expressed using an R matrix.
For a Hopf algebra A, we define the structures of differential complexes on two dual exterior Hopf algebras: 1) an exterior extension of A and 2) an exterior extension of the dual algebra A^*. The Heisenberg double of these two exterior Hopf algebras defines the differential algebra for the Cartan differential calculus on A. The first differential complex is an analog of the de Rham complex. In the situation when A^* is a universal enveloping of a Lie (super)algebra the second complex coincides with the standard complex. The differential is realized as an (anti)commutator with a BRST- operator…
We define a noncommutative algebra of four basic objects within a differential calculus on quantum groups: functions, 1-forms, Lie derivatives and inner derivations, as the cross-product algebra associated with Woronowicz's (differential) algebra of functions and forms. This definition properly takes into account the Hopf algebra structure of the Woronowicz calculus. It also provides a direct proof of the Cartan identity.
Whereas the classical sphere $C P^1$ can be defined as the coordinate algebra generated by the matrix entries of a projector $e$ with $\trace(e)=1$, the fuzzy-sphere is defined in the same way by $\trace(e)=1+λ$. We show that the standard $q$-sphere is similarly defined by $\trace_q(e)=1$ and the Podles 2-spheres by $\trace_q(e)=1+λ$, thereby giving a unified point of view in which the 2-parameter Podles spheres are $q$-fuzzy spheres. We show further that they arise geometrically as `constant time slices' of the unit hyperboloid in $q$-Minkowski space viewed as the braided group $B_q[SU_2]$. T…
We give a pedagogical introduction to the differential calculus on quantum groups by stressing at all stages the connection with the classical case ($q \rightarrow 1$ limit). The Lie derivative and the contraction operator on forms and tensor fields are found. A new, explicit form of the Cartan--Maurer equations is presented. The example of a bicovariant differential calculus on the quantum group $GL_q(2)$ is given in detail. The softening of a quantum group is considered, and we introduce $q$-curvatures satisfying q-Bianchi identities, a basic ingredient for the construction of $q$-gravity an…
In this article, we show under what additional ingredients a comp (or opposite) module over an operad with multiplication can be given the structure of a cyclic k-module and how the underlying simplicial homology gives rise to a Batalin-Vilkovisky module over the cohomology of the operad. In particular, one obtains a generalised Lie derivative and a generalised (cyclic) cap product that obey a Cartan-Rinehart homotopy formula, and hence yield the structure of a noncommutative differential calculus in the sense of Nest, Tamarkin, Tsygan, and others. Examples include the calculi known for the Ho…
From the bicovariant first order differential calculus on inhomogeneous Hopf algebra ${\cal B}$ we construct the set of right-invariant Maurer-Cartan one-forms considered as a right-invariant basis of a bicovariant ${\cal B}$-bimodule over which we develop the Woronowicz's general theory of differential calculus on quantum groups. In this formalism, we introduce suitable functionals on ${\cal B}$ which control the inhomogeneous commutation rules. In particular we find that the homogeneous part of commutation rules between the translations and those between the generators of the homogeneous par…
The differential geometry on a Hopf algebra is constructed, by using the basic axioms of Hopf algebras and noncommutative differential geometry. The space of generalized derivations on a Hopf algebra of functions is presented via the smash product, and used to define and discuss quantum Lie algebras and their properties. The Cartan calculus of the exterior derivative, Lie derivative, and inner derivation is found for both the universal and general differential calculi of an arbitrary Hopf algebra, and, by restricting to the quasitriangular case and using the numerical R-matrix formalism, the a…
The topic of this thesis is the development of a versatile and geometrically motivated differential calculus on non-commutative or quantum spaces, providing powerful but easy-to-use mathematical tools for applications in physics and related sciences. A generalization of unitary time evolution is proposed and studied for a simple 2-level system, leading to non-conservation of microscopic entropy, a phenomenon new to quantum mechanics. A Cartan calculus that combines functions, forms, Lie derivatives and inner derivations along general vector fields into one big algebra is constructed for quantu…
The purpose of this article is to embed the string topology bracket developed by Chas-Sullivan and Menichi on negative cyclic cohomology groups as well as the dual bracket found by de Thanhoffer de Voelcsey-Van den Bergh on negative cyclic homology groups into the global picture of a noncommutative differential (or Cartan) calculus up to homotopy on the (co)cyclic bicomplex in general, in case a certain Poincare' duality is given. For negative cyclic cohomology, this in particular leads to a Batalin-Vilkovisky algebra structure on the underlying Hochschild cohomology. In the special case in wh…
We construct noncommutative `Riemannian manifold' structures on dual quasitriangular Hopf algebras such as $C_q[SU_2]$ with its standard bicovariant differential calculus, using the quantum frame bundle formalism 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 $C[G]$ with differential calculi and Killing forms determined by a conjugacy class. The case of the permutation group $C[S_3]$ is…
Alma Mater Studiorum - Università di Bologna（博洛尼亚大学）；Istituto Nazionale di Fisica Nucleare Sezione di Bologna（意大利国家核物理研究所博洛尼部分所）；Mathematical Institute of Charles University（查理大学数学研究所）
