Realizing the analytic surgery group of Higson and Roe geometrically. III: Higher invariants

DOI10.1007/S00208-016-1365-6MaRDI QIDQ343183zbMATH OpenOpenAlexFDO

Publication date 25 November 2016

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.1768

\(\eta\)-invariants Baum-Connes assembly maps geometric \(K\)-homology index theory

Kasparov theory ((KK)-theory) (19K35) Index theory (19K56) Topological (K)-theory (55N15) Stable classes of vector space bundles in algebraic topology and relations to (K)-theory (55R50)

Abstract: We construct an isomorphism between the geometric model and Higson-Roe's analytic surgery group, reconciling the constructions in the previous papers in the series on "Realizing the analytic surgery group of Higson and Roe geometrically" with their analytic counterparts. Following work of Lott and Wahl, we construct a Chern character on the geometric model for the surgery group; it is a "delocalized Chern character", from which Lott's higher delocalized

h o

-invariants can be retrieved. Following work of Piazza and Schick, we construct a geometric map from Stolz' positive scalar curvature sequence to the geometric model of Higson-Roe's analytic surgery exact sequence.

Review text

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.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Realizing the analytic surgery group of Higson and Roe geometrically. III: Higher invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q343183)