Direct splitting method for the Baum-Connes conjecture

DOI10.1016/J.JFA.2019.05.004MaRDI QIDQ2316809zbMATH OpenOpenAlexWikidataFDO

Authors Shintaro Nishikawa

Publication date 7 August 2019

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.08298

zbMATH Keywords

\(K\)-theory \(KK\)-theory Baum-Connes conjecture

Mathematics Subject Classification ID

Kasparov theory ((KK)-theory) (19K35)

Abstract: We introduce a new method for studying the Baum-Connes conjecture, which we call the direct splitting method. The method can simplify and clarify proofs of some of the known cases of the conjecture. In a separate paper, with J. Brodzki, E. Guentner and N. Higson, a similar idea will be used to give a finite-dimensional proof of the Baum-Connes conjecture for groups which act properly and co-compactly on a finite-dimensional CAT(0)-cubical space.

Review text

The typical route for proving that the Baum-Connes map with respect to a second countable, locally group \(G\) is an isomorphism is by constructing a so-called \(\gamma\)-element and related Dirac and dual-Dirac elements. If the universal space \(\underline E G\) for proper actions of \(G\) allows a co-compact model \(E\) (i.e. the orbit space \(E/G\) is compact), then the author of the paper establishes an improvement over the Dirac dual-Dirac method. Indeed, the conditions required on the involved \(\gamma\)-element appear weaker as the Dirac and dual-Dirac elements are no longer needed. More precisely, a Kasparov element \([H,T] \in KK^G(\mathbb{C},\mathbb{C})\) is said to be a \((\gamma)\)-element if \([H,T]\) restricts to the one-element in \(KK^H(\mathbb {C},\mathbb{C})\) for all compact subgroups \(H\) of \(G\), and \(C_0(E)\) allows a non-degenerate \(G\)-equivariant representation on the Hilbert space \(H\) such that \(k(g)= [g(f),T]\) satisfies \(k \in C_0(G, K(H))\) (compact operators) for all \(f \in C_0(E)\) and \(\int_{g \in G} g(c) T g(c) d g - T \in K(H)\) for some cut-off function \(c \in C_0(E)\). The author proves that such an element \([H,T]\), if it exists, is unique and idempotent. To this end, a generalization of the Kasparov technical theorem is proved. Moreover, if a \(\gamma\)-element exists for \(G\) then it coincides with the \((\gamma)\)-element \([H,T]\). An explicit map \[ \nu_A^{G,T} : KK(\mathbb{C}, A \rtimes_r G)\rightarrow KK^G(C_0(E),A) \] is constructed, which is aimed to become the potential inverse map of the Baum-Connes map \(\mu_A^G\) going in the other direction. Some aspects like the commuting left and right regular actions on the canoncially involved Hilbert space \(L^2(G)\) are reminiscent of a proof of the Green-Julg isomorphism. Then it is shown that \(z:=j_r \circ \sigma_A([H,T])\in KK(A \rtimes_r G, A \rtimes_r G)\) acts on \(KK(\mathbb{C}, A \rtimes_r G)\) as the map \(\mu_A^G \circ \nu_A^{G,T}\) does. It is then concluded that if a \((\gamma)\)-element \([H,T]\) exists, then \(\nu_A^{G,T}\) is a left inverse for the Baum-Connes map \(\mu_A^G\), the strong Novikov conjecture holds for \(G\) (i.e. the Baum-Connes map \(\mu_A^G\) is split-injective for all \(A\)), and the Baum-Connes map is an isomorphism if and only if \(z\) acts as the identity map. The Baum-Connes man is also an isomorphism if \(z\) is shown to act only surjectively, or if \([H,T]\) is the one-element. Finally the author indicates how one might construct a \((\gamma)\)-element from an unbounded operator.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Direct splitting method for the Baum-Connes conjecture

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