Realizing the analytic surgery group of Higson and Roe geometrically. I: The geometric model (Q2012170): Difference between revisions

The paper is the first of a series of 3 papers (for part II, III, see [Math. Ann. 366, No. 3--4, 1319--1363 (2016; Zbl 1370.19001); Math. Ann. 366, No. 3--4, 1513--1559 (2016; Zbl 1370.19002)]), in which the authors define a geometric analogue \(\mathcal S^{\mathrm{geo}}_*(X; \mathcal L)\) of analytic surgery groups of \textit{N. Higson} and \textit{J. Roe} [Pure Appl. Math. Q. 6, No. 2, 555--601 (2010; Zbl 1227.19006)] to relative \(\eta\)-invariants. For a locally compact Hausdorff space \(X\) and a locally trivial bundle \(\mathcal L \to X\) of finitely generated Banach \(B\)-modules. A geometric Baum-Douglas type cycle relative to \(\mathcal L\) is \((W, (\mathcal E_B, \mathcal E'_B, E_\mathbb C, E_\mathbb C), \alpha),f )\), consisting of: \begin{itemize} \item[(1)] a smooth compact \(spin^c\)- manifold \(W\) with boundary \(\partial W\), \item[(2)] locally trivial smooth projective \(B\)-module bundles \(\mathcal E_B\) and \(\mathcal E'_B\) over \(W\), \item[(3)] the smooth Hermitian vector bundles \(\mathcal E'_B, E_\mathbb C, E_B\) over the boundary \(\partial W\), \item[(4)] a continuous map \(f: \partial W \to X\), and \item[(5)] a smooth isomorphism of \(B\)-bundles \(\alpha: \mathcal E|_{\partial W} \oplus (E'_{\mathbb C} \otimes f^*\mathcal L_X) \to \mathcal E'|_{\partial W} \oplus (E_{\mathbb C} \otimes f^*\mathcal L_X)\). \end{itemize} Let \(\Gamma\) denote a finitely generated group, \(\tilde{X}\) -- a proper geodesic metric space, \(\gamma\) is a free and proper action of \(\Gamma\) on \(\tilde X\), and \(X = \tilde X/\Gamma\). Let \(\mathcal L_{C^*_\epsilon(\Gamma)}, \epsilon = \text{ reduced or full}\), be the Mishchenko bundle on \(X\) associated with \(C^*_\epsilon(\Gamma)\). Since the action \(\gamma\) is free, we have \(K^\Gamma_*(\tilde X)\cong K_*(X)\) The assembly map can be constructed as \[ \mu_{X,\epsilon}: K_*(X) \to K_*(\mathrm{pt},C^*_\epsilon(\Gamma)), (M,E,\varphi) \mapsto (M,E\otimes_\mathbb C\varphi^*\mathcal L_{C^*_\epsilon(\Gamma)}. \] Denote by \(D^*_{\Gamma,\epsilon}(X)\) the \(\mathrm{C}^\ast\)-algebra of \(\Gamma\)-invariant pseudolocal controlled operators and \(C^*_{\Gamma,\epsilon}(X)\) the C*-algebra generated by \(\Gamma\)-invariant locally compact controlled operators. The short exact sequence \[ 0 \to C^*_{\Gamma,\epsilon}(X) \to D^*_{\Gamma,\epsilon}(X) \to D^*_{\Gamma,\epsilon}(X)/C^*_{\Gamma,\epsilon}(X) \to 0 \] induces the six-term exact sequences in \(K\)-theory \[ \begin{tikzcd} K_0(D^*_{\Gamma,\epsilon}(X)/C^*_{\Gamma,\epsilon})(X) \ar[r] & K_1(D^*_{\Gamma,\epsilon}(X)) \ar[r] & K_1(D^*_{\Gamma,\epsilon}(X)\ar[d] \\ K_0(D^*_{\Gamma,\epsilon}(X))\ar[u] & K_0(C^*_{\Gamma,\epsilon}(X))\ar[l] &K_1(D^*_{\Gamma,\epsilon}(X)/C^*_{\Gamma,\epsilon})(X))\ar[l] \end{tikzcd} \] Because \(K_p(C^*_{\Gamma,\epsilon})(X)) \cong K_p(C^*_\epsilon(\Gamma)))\) and \(K_{p+1}(D^*_{\Gamma,\epsilon}(X)/C^*_{\Gamma,\epsilon}(X))\cong K_1(X)\), one has a six-term exact sequence \[ \begin{tikzcd} K_0(X) \ar[r] & K_0(C^*_\epsilon(\Gamma)) \ar[r] & K_1(D^*_{\Gamma,\epsilon}(X) \ar[d] \\ K_1(D^*_{\Gamma,\epsilon}(X) \ar[u] & K_1(C^*_\epsilon(\Gamma)) \ar[l] & K_1(X) \ar[l, "\mu_{\Gamma,\epsilon}"] \end{tikzcd} \] a six-term exact sequence with assembly map for geometric \(K\)-theory (Theorems 4.8, 6.6) for geometric objects. \[ \begin{tikzcd} \, \ar[r] & K^{\mathrm{geo}}_*(B\Gamma) \ar[r] \ar[d] & K^{\mathrm{geo}}_*(\mathrm{pt},C^*_{\Gamma,\epsilon})(\Gamma) \ar[r] \ar[d] & \mathcal S_*^{\mathrm{geo}}\ar[r] \ar[d] & K^{\mathrm{geo}}_*(B\Gamma) \ar[r] \ar[d] & \, \\ \,\ar[r] & K_{*+1}(D,\mathbb R/\mathbb Z) \ar[r, "\delta"] & K^{\mathrm{geo}}_*(\mathrm{pt},D) \ar[r, "\phi_*"] & K^{\mathrm{geo}}_*(\mathrm{pt},D\otimes N) \ar[r] & K_*(D, \mathbb R/\mathbb Z) \ar[r] & \, \end{tikzcd} \]