On Fredholm boundary conditions on manifolds with corners. I: Global corner cycles obstructions (Q831447)

Let \(X\) be a connected manifold with corners of any codimension. Let \(\mathcal{K}_{b}(X)\) be the algebra of \(b\)-compact operators for \(X\) and \(H^{\mathrm{cn}}_{\ast}(X)\) a computable homology theory called conormal homology for \(X\). In [\textit{P. C. Rouse} and \textit{J.-M. Lescure}, Ann. \(K\)-Theory 3, No. 3, 523--563 (2018; Zbl 1394.19003)], the first two authors proved that there is a natural isomorphism \(T_{\mathrm{even/odd}} : K_{\mathrm{even/odd}}(\mathcal{K}_{b}(X)) \to H^{\mathrm{cn}}_{\mathrm{even/odd}}(X) \otimes \mathbb{Q}\) for \(X\) a product of manifolds of codimension at most \(3\). In this paper under review, the authors gave a explicit construction of \(T_{\mathrm{even/odd}}\) for arbitrary codimension. More precisely, the authors defined a topological space \(O_{X}\) by using groupoid methods and proved that \(T_{\mathrm{even/odd}}\) is given by the composition of (1) the Connes-Thom isomorphism \(\mathrm{CT}_{h} : K_{\mathrm{even/odd}}(\mathcal{K}_{b}(X)) \to K^{\mathrm{even/odd}}_{\mathrm{top}}(O_{X})\), (2) the Chern charactor morphism \(\mathrm{ch} : K^{\mathrm{even/odd}}_{\mathrm{top}}(O_{X}) \to H^{\mathrm{even/odd}}(O_{X}) \otimes \mathbb{Q}\), and (3) the natural isomorphism \(B_{\mathrm{even/odd}} \otimes \mathrm{id} : H^{\mathrm{even/odd}}(O_{X}) \otimes \mathbb{Q} \to H^{\mathrm{cn}}_{\mathrm{even/odd}}(X) \otimes \mathbb{Q}\) which is described explicitly in Section 4B.