Smooth atlas stratified spaces, K-Homology Orientations, and Gysin maps. Part 2

In this Part 2 of our article we give a detailed discussion of the compatibility between the analytic Gysin maps we have defined in Part 1 and the topological Gysin maps defined by the second author. A significant role is played by a bordism-like description of K-homology due to Jakob which is closely related to the geometric K-homology theory of Baum and Douglas. We give a self-contained proof of the equivalence of the former with the analytic K-homology theory of Kasparov. As an intermediate step towards proving our main result we use Thom's transversality theorem to describe Gysin maps compatibly with Jakob's definition of K-homology.