\(K\)-duality for pseudomanifolds with isolated singularities (Q1766528)

Atiyah and Singer assign to the class of an elliptic pseudodifferential operator on a closed smooth manifold the class of its principal symbol on the cotangent bundle to get their celebrated index theorem. Kasparov, Connes and Skandalis define two elements, Dirac element and dual Dirac element which induce Poincaré duality in \(K\)-theory, between \(C^*\)-algebras. Connes and Skandalis reproduce the Atiyah-Singer index theorem using the \(K\)-duality together with some tools coming from bivariant \(K\)-theory. The authors generalize the \(K\)-duality from smooth manifolds and their tangent bundles to pseudomanifolds with a conical isolated singularity \(c\) and smooth groupoids \(G\) which play the role of the tangent space of \(X\). They assign to the restriction of \(G\) to the regular part \(X\backslash\{c\}\) the ordinary tangent space of \(X\backslash\{c\}\) and to the singular point \(\{c\}\) a pair groupoid. They define a Dirac element \(D \in KK(C^*(G)\otimes C(X),\mathbb{C} )\) as the Kasparov product and the dual Dirac element \(\lambda \in KK(\mathbb{C}, C^*(G)\otimes C(X))\). Using the Dirac element \(D\) and the dual Dirac element \(\lambda\), they obtain a Poincaré duality in \(K\)-theory between the \(C^*\)-algebras \(C^*(G)\) and \(C(X)\).