Groups acting on buildings, operator \(K\)-theory, and Novikov's conjecture (Q1176979)

The authors consider in the work under review an adelized group \(\underline{G}(\mathbb{A})=\underline{G}(\mathbb{R})\times\Pi_ p\underline{G}(\mathbb{Q}_ p)\) with a fixed maximal compact subgroup \(K=K_ \infty\times \Pi_ pK_ p\) and also a discrete subgroup \(\Gamma \subseteq\underline{G}(\mathbb{Q})\), which could be also adelized as \(\Gamma=\Gamma_ \infty\times \Pi_ p\Gamma_ p\), acting freely on the Bruhat-Tits building \[ X=K\backslash\underline{G}(\mathbb{A})=K_ \infty\backslash\underline{G}(\mathbb{R})\times\prod_ p K_ p\backslash\underline{G}(\mathbb{Q}_ p). \] It is a well known geometric realizaton \(B\) of this building in Euclidean space. The authors associate to \(X\) a \(C^*\)-algebra \({\mathcal A}_ X\) which is a \(G-C(G)\)-algebra, construct a Dirac element \(D\in K_ G^ 0({\mathcal A}_ X)\) and then its dual Dirac element \(\Delta\in K_ 0^ G({\mathcal A}_ X)=KK(\mathbb{C},{\mathcal A}_ X)\), such that \[ \Delta\otimes_{{\mathcal A}_ X}D=\gamma\in R(G), \] the element of the group representation ring, constructed by \textit{P. Julg} and \textit{A. Valette} [Proc. Cent. Math. Ann., Austral. Natl. Univ. 16, 143-145 (1988; Zbl 0673.46047)]. It is proved that \(p^*(\gamma)=1_ B\in RK_ G^ 0(B)\), with respect to the projection \(p: B\to pt\). The intersection product \(D\otimes_ \mathbb{C}\Delta=1\in KK_ G({\mathcal A}_ X,{\mathcal A}_ X)\) is computed by using the technique of non-Hausdorff manifolds, from what the \(\gamma\)-part of the \(KK\)- groups is deduced with help of some spectral sequence. The last one generalizes the Pimsner's exact sequence. Finally, some types of Poincaré duality for non-Hausdorff manifolds are proved. The algebras \({\mathcal A}_ X\) and \(C(B)\) are related to each other via some Poincaré duality (Theorems 6.6\& 6.8): \[ RK K_ G(Y\times B;A,D)\cong RK K_ G(Y;A\otimes C^*(T^*U),D), \] \[ RK K_ G(Y;A\times C(X),D)\cong RK K_ G(Y;A,D\otimes C^*(T^*U)). \] The last isomorphism is the P. Baum - A. Connes' conjecture for non-Hausdorff manifolds.