Abstract

In this paper we introduce the curvature of densely defined universal connections on Hilbert C⁎-modules relative to a spectral triple (or unbounded Kasparov module), obtaining a well-defined curvature operator. Fixing the spectral triple, we find that modulo junk forms, the curvature only depends on the represented form of the universal connection. We refine our definition of curvature to factorizations of unbounded Kasparov modules. Our definition recovers all the curvature data of a Riemannian submersion of compact manifolds, viewed as a KK-factorization.

Highlights

  • This paper offers a new approach to defining and effectively computing curvature of Hilbert modules and unbounded Kasparov modules

  • Our approach does not rely on the heat kernel coefficient analogy, and so our results differ from the recent work of [14, 11, 12, 20, 22, 34, 35]

  • Examples where curvature appears in the context of unbounded Kasparov theory is in the factorisation of Dirac operators on Riemannian submersions and G-spectral triples [7, 9, 29]

Read more

Summary

Introduction

This paper offers a new approach to defining and effectively computing curvature of Hilbert modules and unbounded Kasparov modules. We may consider an unbounded representative of the internal Kasparov product given by the essentially self-adjoint and regular operator S ⊗ 1 + 1 ⊗∇ T , defined on the appropriate domain in X ⊗B Y (see [7, 28, 37, 38, 39] for more details). The left hand side of Equation (0.4) is a well-defined, direct and constructive way of representing the curvature of a module XB: all we require is the differential structure provided by a spectral triple or unbounded Kasparov module. Examples where curvature appears in the context of unbounded Kasparov theory is in the factorisation of Dirac operators on Riemannian submersions and G-spectral triples [7, 9, 29]. BM thanks Matthias Lesch for numerous conversations related to some of the technical aspects of this work

Universal differential forms for C2-Kasparov modules
Universal and represented differential forms for C2-spectral triples
Rough algebraic outline
The formal definitions of represented forms
Second derivatives and junk
Curvature in unbounded KK-theory
The definition of C1 and C2-connections
The represented curvature of a C2-connection on C1-module
The curvature of a C2-correspondence
Universal connections on locally convex modules
Connections on finite projective C2-modules
The curvature operator for finitely generated projective modules
Grassmann connections
Differentiable stabilisation
C2-Grassmann connections
The curvature operator of a Riemannian submersion
Geometric setup
Local expressions
The stabilisation isometry
The universal lift
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call