Realizing the analytic surgery group of Higson and Roe geometrically. I: The geometric model

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 a geometric analog of the analytic surgery group of Higson and Roe for the assembly mapping for free actions of a group with values in a Banach algebra completion of the group algebra. We prove that the geometrically defined group, in analogy with the analytic surgery group, fits into a six term exact sequence with the assembly mapping and also discuss mappings with domain the geometric group. In particular, given two finite dimensional unitary representations of the same rank, we define a map in the spirit of

e t a

-type invariants from the geometric group (with respect to assembly for the full group

C^{*}

-algebra) to the real numbers.

Review text

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} \]

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Realizing the analytic surgery group of Higson and Roe geometrically. I: The geometric model

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