The KK-theory perspective on noncommutative geometry

The observation that the Dirac operator on a spin manifold encodes both the Riemannian metric as well as the fundamental class in K-homology leads to the paradigm of noncommutative geometry: the viewpoint that spectral triples generalise Riemannian manifolds. To encode maps between Riemannian manifolds, one is naturally led to consider the unbounded picture of Kasparov's KK-theory. In this talk I will explain how smooth cycles in KK-theory give a natural notion of noncommutative fibration, encoding morphisms noncommutative geometry in manner compatible with index theory.