Elliptic and transversally elliptic index theory from the viewpoint of \(KK\)-theory (Q510246): Difference between revisions

One of the most powerful feature of \(KK\)-theory is the very technical cup-product construction by G. Kasparov himself: \[ -\otimes_D-: KK(A,B\otimes D) \times KK(B \times D, C) \to KK(A,C) \] in the category of C*-algebras. In the paper under reviewing the author combines this with usage of Clifford algebras along orbits to obtain equivariant index theorem for equivariant elliptic and transversally elliptic operators over Riemannian manifold \(X\) with a proper group action of a locally compact group \(G\). For a real vector bundle \(\mathcal V\) over \(X\) equipped with a \(G\)-invariant Riemannian metric and a quadratic form \(Q(v) = ||v||^2\) on fibres, the Clifford algebra \(\mathrm{Cliff}(\mathcal V,Q)\) is acting on as endormorphisms \(\mathcal L(\wedge^*(X)\) of the exterior algebra of \(\mathcal V\) by associating to each vector \(v\in \mathcal V\) the sum of its exterior product \(\mathrm{ext}(v)=v\wedge .\) and the dual \(\mathrm{int}(v)\). The exterior derivation \(d_X\) on \(\mathcal H= L^2(\wedge^*(X))\) Dirac operator element \([d_X] = [(\mathcal H, D_X(1+D_X^2)^{-1/2})]\), where \(D_X := d_X +d_X^*\). One defines also the local dual Dirac element \(\Theta_x\), as the operator of Clifford multiplication by radial covector field \(\Theta_x\) on each convex open ball \(U_x, x\in X\). It was shown that \([\Theta_{X,1}] \otimes_{\mathrm{Cl}_\tau(X)} [d_X] = 1_X \in \mathcal RK^G(X;C_0(X)) = RK^G(X),\) where \(\mathrm{Cl}_\tau(X)\) is the complexification of the algebra of continuous sections of \(\mathrm{Cliff}(\mathcal V,Q)\) over \(X\), for \(\mathcal V = \tau = T^*(X)\), the cotangent bundle of \(X\). The author started by deriving the inverse Clifford index theorem for elliptic operators of order 0 on a complete Riemannian manifold \(X\), of the Hörmander class \(\rho=1,\delta=0\), the Clifford symbol class (Definition3.8] is \([\sigma_A^{cl}] = [\Theta_{X,2}] \otimes_{C_0(X)} [A] \in \mathcal RK^G_*(X;\mathrm{Cl}_\tau(X))\) (Theorem 4.1) and the same for the Dolbeault operator \(\mathcal D_X\) (Theorem 4.2), for the Bott element \([\mathcal B_{X,2}]\) class (Theorem 4.3). He then obtained the second Poincaré duality \(KK(_*^G(A \otimes C_0(X), B) \cong \mathcal RKK^G_*(X; A \otimes C_0(X), B\otimes C_0(TX)) \) \(\cong \mathcal RKK^G_*(X; A \otimes C_0(X), B \hat\otimes \mathrm{Cl}_\tau(X)),\) for separable G-C*-algebras \(A\) and \(B\) (Theorem 4.6). The more general Poincaré duality is proven in Theorem 7.8: \(KK^G_*(A \hat\otimes \mathrm{Cl}_\Gamma(X), B) \cong \mathcal RKK(X; A\hat\otimes C_0(X), B\hat\otimes Cl_{\tau \oplus \Gamma})\) \(\cong \mathcal RKK^G_*(X; A\hat\otimes C_0(X),B\hat\otimes \mathrm{Cl}_\tau(TX)),\) also for separable G-C*-algebras \(A\) and \(B\). The main result is the inverse Clifford index theorem (Theorems 8.12, 8.18) counting the symbol class for \(G\)-invariant \(L^2\)-bounded transversally elliptic operators \(A\) of order 0, of the Hörmander class \(\rho=1, \delta=0\) on a complete Riemannian manifolds \(X\) with a proper and isometric action of Lie group \(G\): \([\sigma_A^{cl}] = [\Theta_{X,\Gamma} \otimes_{\mathrm{Cl}_\Gamma(X)} [A]^{cl} \in \mathcal RK^G_*(X;\mathrm{Cl}_{\tau\oplus \Gamma}(X)),\) also Theorems 9.4, 9.5 as some applications. The paper also is a good introduction to the subject.