Factorization of Dirac operators on almost-regular fibrations of spin^c manifolds

We establish the factorization of the Dirac operator on an almost-regular fibration of spin$^c$ manifolds in unbounded KK-theory. As a first intermediate result we establish that any vertically elliptic and symmetric first-order differential operator on a proper submersion defines an unbounded Kasparov module, and thus represents a class in KK-theory. Then, we generalize our previous results on factorizations of Dirac operators to proper Riemannian submersions of spin$^c$ manifolds. This allows us to show that the Dirac operator on the total space of an almost-regular fibration can be written as the tensor sum of a vertically elliptic family of Dirac operators with the horizontal Dirac operator, up to an explicit `obstructing' curvature term. We conclude by showing that the tensor sum factorization represents the interior Kasparov product in bivariant K-theory.