\(L^p\) coarse Baum-Connes conjecture and \(K\)-theory for \(L^p\) Roe algebras (Q2073914)

This paper studies the \(L^p\) version of coarse Baum-Connes conjecture for spaces with finite asymptotic dimension. \[ e_0:\lim_{k\to\infty}K_*(B^p_L(N_{C_k}))\to \lim_{k\to\infty}K_*(B^p(N_{C_k}))\cong K_*(B^p(X)). \] This conjecture includes the usual coarse Baum-Connes conjecture as a special case for \(p=2\). But due to the difference of Banach algebras and \(C^*\) algebras, ones must be alerted when they apply certain theorems which may require the hidden \(C^*\) condition. In the first part, authors gave a very nice review of the background. Many interesting and important papers were mentioned here. In the second section, authors gave the detailed constructions, definitions and propositions. Most of this section are counterparts of \(C^*\) version of coarse Baum-Connes index map, but in the Banach algebra universe. In Conjecture 2.13, the \(L^p\) coarse Baum-Connes conjecture was defined and the obstruction group was introduced right after it. In the formula, Guoliang Yu's version of \(K\)-homology was used due to the Banach algebra setting. In the third part, quasi-idempotents and quasi-invertible elements were defined and the controlled cutting and pasting exact sequence for quasi-invertible elements was proved in Corollary 3.21. \[ QU_{\delta,N,r,k}(X_1)\oplus QU_{\delta,N,r,k}(X_2)\to QU_{\delta,N,r,k}(X)\to QU_{\delta,N,r,k-1}(X_1\cap X_2). \] The whole section was a controlled version of the classical \(K\)-theory. All \(\epsilon\) and \(\delta\) were clearly presented in all proofs. In the next section, authors gave the proof of the main theorem in the controlled version cutting and pasting and five lemma. Finite asymptotic dimension is used to construct anti-Čech system for spaces and it is crucially used ``\(\operatorname{dim}(N_{C'_n})\leq m\)'' in the proofs of Lemma 4.5 and Theorem 4.6. In the next section, authors introduced the \(dual\) \(L^p\) localization algebra \(B^{p,*}_L(X)\) and proved for a finite dimensional simplicial complex \(X\) with the \(\ell^1\)-metric and \(p\in (1,\infty)\), \[ K_*(B^p_L(X))\cong K_*(B^{p,*}_L(X))\cong K_*(C^*_L(X)). \] This is a partial affirmative answer to a question of Chung and Nowak about the independence of \(K_*(B^p_L(X))\) in terms of \(p\in (1,\infty)\). Then, together with the previous proven \(L^p\) coarse Baum-Connes conjecture for proper metric space \(X\) with finite asymptotic dimension, authors proved Theorem 5.22: ``\(K_*(B^p(X))\) does not depend on \(p\) for \(p\in(1,\infty)\),'' provided that \(X\) has finite asymptotic dimension. At the end of the paper, authors provided a list of interesting open problems.