The Novikov conjecture and extensions of coarsely embeddable groups (Q2140252)

In this paper the author proves the following theorem: Theorem. Let \(1\to N\to G\to G/N\to 1\) be a short exact sequence of countable discrete groups and \(B\) a \(G-C^*-\)algebra. If \(N\) and \(G/N\) are coarsely embeddable into Hilbert spaces, then the strong Novikov conjecture holds for \(G\) with coefficients in the \(G-C^*-\)algebra \(B\); that is, the Baum-Connes assembly map \[ \mu: KK^G_*(\mathscr EG,B)\to K_*(B\rtimes_rG) \] is injective, where \(\mathscr EG\) is the universal space for proper \(G\)-action and \(B\rtimes_rG\) is the reduced crossed product \(C^*\)-algebra. In the first part, the author gives a nice explanation of all necessary symbols and concepts. Among them, Roe algebras \(C^*(P_d(G),G,B)\) and \(C^*_L(P_d(G),G,B)\) are specially crucial. Using Proposition 2.15, the author converts the statement of Theorem 1.1 to the injectivity of the following evaluation map: \[ ev_*: \lim_{d\to\infty}K_*(C^*_L(P_d(G),G,B))\to \lim_{d\to\infty}K_*(C^*(P_d(G),G,B)) \] Due to the non-commutativity of the Roe-algebra \(C^*(P_d(G),G,B)\), it is hard to apply the cutting-and-pasting technique on \(\lim_{d\to\infty}K_*(C^*(P_d(G),G,B))\). Therefore the author constructs twisted Roe algebras \(C^*(P_d(G),C(Y)\hat{\otimes}\mathcal A(X,\mathcal H)\hat{\otimes}B)^G\) and \(C^*_L(P_d(G),C(Y)\hat{\otimes}\mathcal A(X,\mathcal H)\hat{\otimes}B)^G\), and proves the following map is an isomorphism in Theorem 5.1: \[ ev_*: \lim_{d\to\infty}K_*(C^*_L(P_d(G),C(Y)\hat{\otimes}\mathcal A(X,\mathcal H)\hat{\otimes}B)^G)\to K_*(C^*(P_d(G),C(Y)\hat{\otimes}\mathcal A(X,\mathcal H)\hat{\otimes}B)^G). \] Using the infinite-dimensional Bott map, the author proves that \[ \beta_{L,*}: K_*(C^*_L(P_d(G),G,C(Y)\hat{\otimes}C(X)\hat{\otimes}B)\hat{\otimes}\mathcal S)\to K_*(C^*_L(P_d(G),C(Y)\hat{\otimes}\mathcal A(X,\mathcal H)\hat{\otimes}B)^G) \] is an isomorphism in Proposition 6.4. With this isomorphism and a commutative diagrams, the author proves \[ ev_{*}: \lim_{d\to\infty}K_*(C^*_L(P_d(G),G,C(Y)\hat{\otimes}C(X)\hat{\otimes}B))\to \lim_{d\to\infty}K_*(C^*(P_d(G),G,C(Y)\hat{\otimes}C(X)\hat{\otimes}B)) \] is injective in Lemma 6.5. This is almost the end. The final part is the following commutative diagram \[ \begin{tikzcd} \displaystyle\lim_{d\to\infty}K_*(C^*_L(P_d(G),G,B)) \arrow[d,"(\tilde{c}_L)_*"]\arrow[r, "ev_*"] & \displaystyle\lim_{d\to\infty}K_*(C^*(P_d(G),G,B))\arrow[d,"\tilde{c}_*"]\\ \displaystyle\lim_{d\to\infty}K_*(C^*_L(P_d(G),G,C(Y\times X)\hat{\otimes}B))\arrow[r,"ev_*"]& \displaystyle\lim_{d\to\infty}K_*(C^*(P_d(G),G,C(Y\times X)\hat{\otimes}B)) \end{tikzcd} \] To complete it, the author proves that the left vertical map \((\tilde{c}_L)_*\) is an isomorphism in Proposition 6.7, hence the top \(ev_*\) map is injective.