Cartan structure equations and Levi-Civita connection in noncommutative geometry

Abstract

We study the differential and Riemannian geometry of algebras $A$ endowed with an action of a triangular Hopf algebra $H$ and noncommutativity compatible with the associated braiding. The modules of one forms and of braided derivations are modules in a compact closed category of $H$-equivariant $A$-bimodules, whose internal morphisms correspond to tensor fields. Vector fields and forms approaches to curvature and torsion are proven to be equivalent by extending the Cartan calculus to left (right) $A$-module (not necessarily $A$-bimodule) connections. The Cartan structure equations and the Bianchi identities are derived. Existence and uniqueness of the Levi-Civita connection for arbitrary pseudo-Riemannian metrics is proven via a Koszul formula. The general theory includes Drinfeld twists of commutative geometries and also cotriangular Hopf algebras. It is illustrated with the example of the tensor square of Sweedler Hopf algebra which becomes a noncommutative Einstein manifold via a non-central metric.

v3 56pp. Added: 1) explicit expression of Levi-Civita connection 2) tensor square of Sweedler Hopf alg. as Einstein manifold with non-central metric. Improved introduction. Old Rmks 2.6 & 2.8 & proof of Thm. 4.8 dropped, proofs of Thm. 2.5, Prop. 3.7, Lem. 4.2 shortened. v2 54pp. Completed diff. & Cartan calculus plus ex. of cotriangular q-groups, Lem. 4.2, Rmks. 6.4 & 6.5. Dropped Appx.. v1 42pp

References in corpus (14)

• A Gravity Theory on Noncommutative Spaces
• Noncommutative Manifolds the Instanton Algebra and Isospectral Deformations
• Noncommutative Geometry and Gravity
• Connections on central bimodules
• Noncommutative finite-dimensional manifolds. I. Spherical manifolds and related examples
• Noncommutative Gravity Solutions
• Levi-Civita's Theorem for Noncommutative Tori
• Gravity induced from quantum spacetime
• Nonassociative geometry in quasi-Hopf representation categories I: Bimodules and their internal homomorphisms
• Vector Fields on Quantum Groups
• Nonassociative geometry in quasi-Hopf representation categories II: Connections and curvature
• Braided Cartan Calculi and Submanifold Algebras
• On the Koszul formula in noncommutative geometry
• Levi-Civita connections and vector fields for noncommutative differential calculi

Cited by in corpus (6)

• Gauge theories on quantum spaces
• Braided $L_{\infty }$-Algebras, Braided Field Theory and Noncommutative Gravity
• Braided Symmetries in Noncommutative Field Theory
• Twisted geometry for submanifolds of ${\mathbb{R}}^n$
• Gauge theory models on $\kappa$-Minkowski space: Results and prospects
• Quantum Calculi: differential forms and vector fields in noncommutative geometry