Realizing the analytic surgery group of Higson and Roe geometrically. III: Higher invariants (Q343183): Difference between revisions

The paper is the third of a series of 3 papers (for part I, II, see [J. Homotopy Relat. Struct. 12, No. 1, 109--142 (2017; Zbl 1370.19003); Math. Ann. 366, No. 3--4, 1319--1363 (2016; Zbl 1370.19001)]), 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. In this part, the authors proved the homotopy invariance of relative \(\eta\)-invariants. 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 \(\mathrm{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 \(C^*\)-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 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, also a six-term exact sequence with assembly map for geometric \(K\)-theory for geometric objects. The main result of the second paper (Theorem 5.5, see also Theorem 1.2) is a geometric proof of a result of Keswani regarding the homotopy invariance of relative \(\eta\)-invariants. In this third paper of the series, the authors prove (in Theorem 3.5) in isomorphism \(\lambda^\mathcal S_{\mathrm{an}}\) between the geometric version \(\mathcal S^{\mathrm{geo}}_*(X, \mathcal L_X)\) and the analytic \(K\)-groups of Higson-Roe \(K^*(D^*(\tilde X)^\Gamma)\) which fits into commutative diagram \[ \begin{tikzcd} K^{\mathrm{geo}}_*(\mathrm{pt}; C^*_{r}) \ar[r, "r"] \ar[d, "\lambda_{\mathrm{an}}"] & S^{\mathrm{geo}}_*(X;\mathcal L_X) \ar[r, "\delta"]\ar[d, "\lambda_{\mathrm{an}}^{\mathcal S}"] & K^{\mathrm{geo}}_{*+1}(X) \ar[d, "\lambda_{\mathrm{an}}"] \\ K_*(C^*_r(\Gamma)) \ar[r, "j_X"] & K_*(D^*(\tilde X)^\Gamma) \ar[r, "q_X"] & K_*(D^*(X)^\Gamma/C^*_r(\tilde X)^\Gamma) \end{tikzcd} \] The sections 4 and 5 are devoted to applications of this to Chern character (Theorem 4.16) \(\mathrm{ch}^{\mathrm{deloc}}: \mathcal S^{\mathrm{geo}}_*(X,\mathcal A(\Gamma)) \to \hat{H}^{\mathrm{deloc}, \langle e\rangle}_*(\mathcal A(\Gamma))\) from geometric surgery groups to the delocalized de Rham homology groups of a dense Fréchet subalgebra \(\mathcal A\subseteq C^*_r(\Gamma)\), which fits into a commutative diagram \[ \begin{tikzcd} \dots \ar[r] & K_*^{\mathrm{geo}}(X) \ar[r, "\mu"] \ar[d, "\mathrm{ch}_X^{\langle e\rangle}"] & K_*^{\mathrm{geo}}(\mathrm{pt},\mathcal A) \ar[r, "r"] \ar[d, "\mathrm{ch}_{\mathcal A(\Gamma)}"] & \mathcal S^{\mathrm{geo}}_*(X,\mathcal A) \ar[r, "s"] \ar[d, "\mathrm{ch}^{\mathrm{deloc}}"] & K_{*-1}^{\mathrm{geo}} \ar[r] \ar[d, "\mathrm{ch}^{\langle e\rangle}"] & \dots \\ \dots & \hat{H}^{\langle e\rangle}_*(\mathcal A(\Gamma)) \ar[r, "\mu_{\mathrm{dR}}"] & \hat{H}^{\mathrm{dR}}_*(\mathcal A(\Gamma)) \ar[r, "r_{\mathrm{dR}}"] & \hat{H}^{\mathrm{deloc},\langle e\rangle}(\mathcal A(\Gamma)) \ar[r, "s_{\mathrm{dR}}"] & \hat{H}^{\langle e\rangle}_{*-1}(\mathcal A(\Gamma)) \ar[r] & \dots \end{tikzcd} \] The authors also defined the maps \(\beta^{\mathrm{geo}}\) from the Stolz PSC groups \(\Omega^{\mathrm{Spin}}_*(X)\) to the geometric \(K\)-homology \(K^{\mathrm{geo}}_*(X)\), the map \(\mathrm{ind}^{\mathrm{geo}}_\Gamma: R^{\mathrm{Spin}}_0 \to K^{\mathrm{geo}}_0(\mathrm{pt},C^*_r(\Gamma))\) (Proposition 5.2), the map \(\rho^{P,\mathrm{geo}}_\Gamma : \mathrm{Pos}_n^{\mathrm{Spin}}(X) \to \mathcal S^{\mathrm{geo}}_{n}(X,\mathcal L_X)\) and \(\delta\) (Definition 5.5) , those fit to a commutative diagram (Theorem 5.7) \[ \begin{tikzcd} \dots \ar[r] & \Omega_n^{\mathrm{Spin}}(X) \ar[r] \ar[d, "\beta^{\mathrm{geo}}"] & R_n^{\mathrm{Spin}}(X) \ar[r] \ar[d, "\mathrm{ind}^{\mathrm{geo}}_\Gamma"] & \mathrm{Pos}_{n-1}^{\mathrm{Spin}}(X) \ar[r]\ar[d, "\rho^{P,geo}_\Gamma"] & \omega^{\mathrm{Spin}}_{n-1} \ar[r] \ar[d, "\beta^{\mathrm{geo}}"] & \dots\\ \dots \ar[r] & K_*^{\mathrm{geo}}(X) \ar[r, "\mu"] & K_n^{\mathrm{geo}}(\mathrm{pt}, C^*_r(\Gamma)) \ar[r, "r"] & \mathcal S_n^{\mathrm{geo}} (X,\mathcal L_X) \ar[r, "\delta"] & K^{\mathrm{geo}}_{n-1}(X) \ar[r] & \dots \end{tikzcd} \] The paper is well understandable.