Baum-Connes and the Fourier-Mukai transform (Q2135638)

If \(\mathbb{T}^d = \mathbb{R}^d/\mathbb{Z}^d\) is the torus, the Poincaré bundle \(\mathcal{P}_d\) is a complex line bundle over \(\mathbb{T}^d \times \widehat{\mathbb{Z}}^d\) (where \(\widehat{\mathbb{Z}}^d = \Hom(\mathbb{Z}^d,\mathbb{T})\)). The Fourier-Mukai correspondence is the topological correspondence \[ \mathbb{T}^d \xleftarrow{\text{pr}_1} (\mathbb{T}^d\times \widehat{\mathbb{Z}}^d, \mathcal{P}_d) \xrightarrow{\text{pr}_2} \widehat{\mathbb{Z}}^d, \] which defines an element \([\mathcal{F}_d] \in KK_{-d}(\mathbb{T}^d, \widehat{\mathbb{Z}}^d)\). The Fourier-Mukai transform is the map \([\mathcal{F}_d]\otimes_{\widehat{\mathbb{Z}}^d} : K^{\ast}(\widehat{\mathbb{Z}}^d) \to\) \(K^{\ast -d}(\mathbb{T}^d)\), and the first main result of the paper is a geometric description of this map. Given a torsion-free discrete group \(G\) with classifying space \(BG\), the Baum-Connes assembly map \[ \mu : K_{\ast}(BG) \to K_{\ast}(C^{\ast}(G)) \] is given by \[ \mu(f) = \mathcal{P}_G\otimes_{C(G)\otimes C^{\ast}(G)}(f\otimes 1_{C^{\ast}(G)}) \] where \(\mathcal{P}_G \in KK_0(\mathbb{C}, C(BG)\otimes C^{\ast}(G))\) is the class of the Mischenko element (see [\textit{P. Baum} et al., Contemp. Math. 167, 241--291 (1994; Zbl 0830.46061)]). If \(G = \mathbb{Z}^d\), then \(\mathcal{P}_G\) is the class of the Poincaré bundle and the second main result of the paper is a geometric description of the assembly map in this case.