An equivariant PPV theorem and Paschke-Higson duality (Q2676725)

The paper is devoted to the problem of constructing the Paschke-Higson sequence for transformation groupoids and, as a consequence, the Higson-Roe exact sequence which is related with the Baum-Connes assembly map. Let \(\Gamma\) be a discrete infinite countable group acting on a compact metrizable space \(X\) of finite dimension, \(Z\) -- a locally compact Hausdorff space with a proper cocompact \(\Gamma\)-action, \(G = X \rtimes \Gamma\) -- the corresponding groupoid, acting on the corresponding C*-algebra \(C(X,A)\) of continuous functions on \(X\) with values in a proper \(\Gamma\)-C*-algebra \(A\) over \(Z\), \((\pi,H)\) a representation of \(A\) in a separable Hilbert space \(H\). The Roe C*-algebra \(D_\Gamma(X,A;(Z,\ell^2\Gamma^\infty \otimes H))\) is the norm closure in \(\mathcal L_{C(X)}(C(X)\otimes H)\) of adjointable \(G\)-\(C(X)\)-module invariant bounded endomorphisms \(T\) with finite propagation \(\#\{\gamma\in \Gamma; \mathrm{supp} (\gamma^*T) \cap \mathrm{supp}(T) \ne \emptyset \} < \infty\) and are local in the sense that for all \(f\in C(X,A)\), the commutators are compact-operator-valued \([T,\pi(f)] \in C(X,\mathcal K(H))\). The ideal \(C_\Gamma(X,A;(Z,\ell^2\Gamma^\infty \otimes H))\) is consisting of all \(T\) such that \(T\pi(f) \in C(X,\mathcal K(H))\) for all \(f\in C(X,A)\). There is an exact sequence \[ 0\longrightarrow C_\Gamma(X,A;(Z,\ell^2\Gamma^\infty \otimes H)) \hookrightarrow D_\Gamma(X,A;(Z,\ell^2\Gamma^\infty \otimes H)\longrightarrow Q^*_\Gamma(X,A;(Z,\ell^2\Gamma^\infty \otimes H)) \longrightarrow 0. \] The first main result of the paper is an extended version of the Pimsner-Popa-Voiculescu (PPV) theorem (Theorems 1.6, 2.1, 2.2, 2.7, 2.8). The Paschke-Higson duality theorem idendifies the K-theory of the quotient C*-algebra \(Q^*_\Gamma(X,A;(Z,\ell^2\Gamma^\infty \otimes H))\) with the KK-theory of the pair \((C(X,A), C(X))\) (Theorem 1.7), \[ K_*(Q^*_\Gamma(X,A;(Z, \ell^2\Gamma^\infty \otimes H)) \cong KK^\Gamma_{*+1}(A,C(X)) \] When \(A= C_0(Z)\), the main consequence is deduced (Theorem 1.8): \[ K_*(Q^*_\Gamma(X;(Z, \ell^2\Gamma^\infty \otimes H)) \cong KK_\Gamma^{*+1}(Z,C(X)). \] The connecting homomorphisms in the Higson-Roe exact sequence identify the Baum-Connes assembly map.