On the KO characteristic cycle of a Spin\(^c\) manifold (Q706159)

The authors consider a closed \(\text{ spin}^c\) manifold \(X\) of dimension \(t\) together with a submanifold \(Y\subset X\) dual to the determinant line bundle of \(X\). Such a submanifold \(Y\) is necessarily of dimension \(t-2\) and carries a canonical spin structure. The main result of the article is a formula that expresses the \(KO\)-characteristic numbers of \(Y\) in terms of the \(K\)-characteristic numbers of \(X\). Namely let \(\psi\in KO(X)\) be any class, then one gets in \(KO({\mathbb R}^{t-2})\) \[ \langle i^*\psi,[Y]\rangle_{KO}= r \beta_c^{-1}\langle C\psi,[X]\rangle_K, \] where \(i^*\) is induced from the inclusion \(i:Y\to X\), where \(C:KO(X)\to K(X)\) is the complexification map, where \(r:K(X)\to KO(X)\) is the realification map, and where \(\beta_c\) is the complex Bott isomorphism. A special case of these results has been previously proven in two special cases: first the case of a trivial normal bundle, and second in the case of dimension \(8m+2\) without any restriction on the normal bundle. The article is well-written and nicely readable and starts with a review of \(K\) theory with compact support and the Thom isomorphism in \(K\)-theory. The second part is devoted to the proof of the above formula and some corollaries.