Covariant connections on bicovariant differential calculus

DOI10.1016/J.JALGEBRA.2020.08.001MaRDI QIDQ2197775zbMATH OpenOpenAlexWikidataFDO

Authors Jyotishman Bhowmick, Sugato Mukhopadhyay

Publication date 1 September 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.04689

zbMATH Keywords

bicovariant differential calculuscocycle deformationLevi-Civita connection

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Connections (general theory) (53C05) Noncommutative geometry (à la Connes) (58B34)

Abstract: Given a bicovariant differential calculus $(mathcalE,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 $mathcalE$. Following Heckenberger and Schm{"u}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 cocycle deformations of classical Lie groups.

Review text

Let \(\mathcal{A}\) be a Hopf algebra and \(\mathcal{E}\) the \(\mathcal{A}\)-bimodule of one-forms coming frome a bicovariant differential calculus. Denote by \({}_{0}\mathcal{E}\) the set of all left-invariant elements of the module \(\mathcal{E}\). \textit{S. L. Woronowicz} [Commun. Math. Phys. 122, No. 1, 125--170 (1989; Zbl 0751.58042)] proved that there exists a bicovariant \(\mathcal{A}\)-bilinear map \(\sigma : \mathcal{E} \otimes_{\mathcal{A}} \mathcal{E} \to \mathcal{E} \otimes_{\mathcal{A}} \mathcal{E}\). The map \(\sigma\) restricts to a map \({}_{0}\sigma : {}_{0}\mathcal{E} \otimes_{\mathbb{C}} {}_{0}\mathcal{E} \to {}_{0}\mathcal{E} \otimes_{\mathbb{C}} {}_{0}\mathcal{E}\). In this paper, the authors assume that \({}_{0}\sigma\) is diagonalisable. This assumption is satisfied by a fairly large class (see Proposition 3.1 in this paper). Then the result is the following: There exists on \(\mathcal{A}\)-\(\mathcal{A}\)-bimodule \(\mathcal{F}\) such that \[ \mathcal{E} \otimes_{\mathcal{A}} \mathcal{E} = \mathrm{Ker}(\wedge) \oplus \mathcal{F}, \] where \(\wedge : \mathcal{E} \otimes_{\mathcal{A}} \mathcal{E} \to \Omega^{2}(\mathcal{A})\) denotes the wedge map to the set of \(2\)-forms \(\Omega^{2}(\mathcal{A})\). Moreover, the map \(\wedge|_{\mathcal{F}} : \mathcal{F} \to \Omega^{2}(\mathcal{A})\) defines an isomorphism of right \(\mathcal{A}\)-modules. As applications of the result, the authors proved that there exists a bicovariant torsionless connection on \(\mathcal{E}\). Moreover, they proved that there exists a unique bicovariant Levi-Civita commection for the large class of bicovariant differential calculi with a bi-invariant pseudo-Riemannian metric.

Recommendations

• Levi-Civita connections on the quantum groups \(SL_ q(N), O_ q(N)\) and \(Sp_ q(N)\)
• Remarks on bicovariant differential calculi and exterior Hopf algebras
• scientific article; zbMATH DE number 97618
• Quantum double and differential calculi
• Classification of bicovariant differential calculi

Cites work

• *-compatible connections in noncommutative Riemannian geometry
• Bicovariant differential calculus on quantum groups \(SU_ q(N)\) and \(SO_ q(N)\)
• Braided Cartan calculi and submanifold algebras
• CYCLIC COHOMOLOGY, QUANTUM GROUP SYMMETRIES AND THE LOCAL INDEX FORMULA FOR SU q (2)
• Differential calculus on compact matrix pseudogroups (quantum groups)
• Equivariant spectral triples on the quantum SU(2) group
• Hopf modules and Yetter-Drinfel'd modules
• scientific article; zbMATH DE number 1545633 (Why is no real title available?)
• scientific article; zbMATH DE number 4115525 (Why is no real title available?)
• Kähler structures on quantum irreducible flag manifolds
• Levi-Civita connections for a class of spectral triples
• Levi-Civita connections on the quantum groups \(SL_ q(N), O_ q(N)\) and \(Sp_ q(N)\)
• Non-commutative complex differential geometry
• Noncommutative complex structures on quantum homogeneous spaces
• Noncommutative Kähler structures on quantum homogeneous spaces
• Noncommutative principal bundles through twist deformation
• Noncommutative Riemannian and spin geometry of the standard \(q\)-sphere
• On the Koszul formula in noncommutative geometry
• Pseudo-Riemannian metrics on bicovariant bimodules
• Scalar curvature of a Levi-Civita connection on the Cuntz algebra with three generators
• Spin geometry on quantum groups via covariant differential calculi
• The Dirac operator on \(\text{SU}_{q}(2)\)
• The Dirac operator on compact quantum groups
• Twisting of quantum differentials and the Planck scale Hopf algebra

Cited in

(7)

• Recurrent relations for covariant derivatives of bilocal functions in a Riemannian manifold
• Bimodule connections for relative line modules over the irreducible quantum flag manifolds
• Pseudo-Riemannian metrics on bicovariant bimodules
• Levi-Civita connections and vector fields for noncommutative differential calculi
• A new look at Levi-Civita connection in noncommutative geometry
• Metric compatibility and Levi-Civita connections on quantum groups
• General covariant derivatives for general connections

This page was built for publication: Covariant connections on bicovariant differential calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2197775)