Mapping surgery to analysis. III: Exact sequences (Q2487347): Difference between revisions

[For part I and II, see \(K\)-theory 33, 277--299 (2004; Zbl 1083.19002), ibid. 301-324 (2004; Zbl 1083.19003)]. In this third part of the series, the authors construct a natural transformation from the surgery exact sequence to an exact sequence associated to certain \(K\)- theoretic sequence of a \(C^{*}\)-algebra. Concretely, let \(\pi\) be a finitely generated group and \(X\) be a \(\pi\)- presented group, see part II. The category \(\mathcal{D}^{*}(X)\) consists of objects \(X\)-modules and morphisms the norm limits of equivariant and finite propagation operators \(T:H\to H'\) that satisfy \(T\rho(f)-\rho'(f)T\in \mathcal{K}(H,H')\) for every \(f\in C_{0}(\widetilde{X})\). Next, the category \(\mathcal{C}^{*}(X)\) has objects \(X\)-modules and morphisms norm limits of equivariant finite propagation operators \(T:H\to H'\) which are locally compact. The category \(\mathcal{C}^{*}(X)\) is a subcategory of \(\mathcal{D}^{*}(X)\) and by the Paschke duality theorem (Proposition 1.3) there is an isomorphism \(K_{i+1}(\mathcal{D}^{*}(X)/\mathcal{C}^{*}(X))\cong K_{i}(X)\), where the latter is Kasparov's \(K\)-homology of \(X\). This gives a short exact sequence of \(C^{*}\)-categories \[ 0\to\mathcal{C}^{*}(X)\to\mathcal{D}^{*}(X)\to \mathcal{D}^{*}(X)/\mathcal{C}^{*}(X)\to 0, \] that gives an exact sequence of \(K\)-groups \[ \cdots\to K_{i+1}(\mathcal{D}^{*}(X))\to K_{i}(X)\to K_{i}(\mathcal{C}^{*}(X))\to K_{i}(\mathcal{D}^{*}(X)\to\cdots \] This is the analytic surgery exact sequence associated to the \(\pi\)-presented space \(X\). On the other hand, let \(V\) be a smooth, closed oriented \(n\)-dimensional manifold, \(\mathcal{S}(V)\) and \(\mathcal{N}(V)\) be the structure set and the set degree one normal maps \(f:M\to V\), respectively, and \(L_{n+1}(\pi)\) the \(L\)-group for \(\pi=\pi_1(V)\), [see \textit{C. T. C. Wall}, `Surgery on compact manifolds', Lond. Math. Soc. Monogr. 1 (1970; Zbl 0219.57024)] for these definitions. The main result is the construction of maps: \(\gamma:L_{n}(\pi)\to K_{n}(C_{r}^{*}(\pi ))\otimes\mathbb{Z}[\frac{1}{2}]\), \(\alpha: \mathcal{S}(V)\to K_{n}(\mathcal{D}^{*}(V))\otimes\mathbb{Z}[\frac{1}{2}]\), and \(\beta : \mathcal{N}(V)\to K_{n}(V)\otimes\mathbb{Z}[\frac{1}{2}]\) which give a map from the fundamental surgery exact sequence to the analytic surgery exact sequence, more precisely: Theorem 5.4. The maps mentioned above give a commutative diagram: \[ \begin{tikzcd} L_{n+1}(\pi)\ar[r]\ar[d,"\gamma"] & \mathcal{S}(V)\ar[r]\ar[d,,"\alpha"] & \mathcal{N}(V)\ar[r]\ar[d,"\beta"] & L_{n}(\pi) \ar[d,"\gamma"]\\ K_{n+1}(C_{r}^{*}(\pi ))\otimes\mathbb{Z}[\frac{1}{2}] \ar[r] & K_{n+1}(\mathcal{D}^{*}(V))\otimes\mathbb{Z}[\frac{1}{2}]\ar[r] & K_{n}(V)\otimes\mathbb{Z}[\frac{1}{2}]\ar[r] & K_{n+1}(C_{r}(\pi ))\otimes\mathbb{Z}[\frac{1}{2}]\end{tikzcd} \]