Elliptic and transversally elliptic index theory from the viewpoint of \(KK\)-theory (Q510246): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Do Ngoc Diep / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19K56 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58J20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19L47 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 19K35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6685586 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
elliptic operators | |||
Property / zbMATH Keywords: elliptic operators / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
transversally elliptics operators | |||
Property / zbMATH Keywords: transversally elliptics operators / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(KK\)-theory | |||
Property / zbMATH Keywords: \(KK\)-theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(K\)-homology | |||
Property / zbMATH Keywords: \(K\)-homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
crossed product | |||
Property / zbMATH Keywords: crossed product / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parallelizability of proper actions, global K-slices and maximal compact subgroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The holonomy groupoid of a singular foliation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pseudodifferential calculus on a singular foliation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The analytic index of elliptic pseudodifferential operators on a singular foliation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: BOTT PERIODICITY AND THE INDEX OF ELLIPTIC OPERATORS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elliptic operators and compact groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The index of elliptic operators. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The index of elliptic operators. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Chern character of a transversally elliptic symbol and the equivariant index / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The equivariant index of transversally elliptic operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Connes-Kasparov conjecture for almost connected groups and for liner \(p\)-adic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4310044 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The \(L^2\)-index theorem for homogeneous spaces of Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The longitudinal index theorem for foliations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3424903 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The structure of imprimitivity algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3142390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Morphismes $K$-orientés d'espaces de feuilles et fonctorialité en théorie de Kasparov (d'après une conjecture d'A. Connes) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3894484 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant KK-theory and the Novikov conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups acting properly on ``bolic'' spaces and the Novikov conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transversally elliptic operators on \(G\)-manifolds of bounded geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Induced representations of C\(^*\)-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4725211 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on Kasparov theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5679489 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:21, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elliptic and transversally elliptic index theory from the viewpoint of \(KK\)-theory |
scientific article |
Statements
Elliptic and transversally elliptic index theory from the viewpoint of \(KK\)-theory (English)
0 references
17 February 2017
0 references
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.
0 references
elliptic operators
0 references
transversally elliptics operators
0 references
\(KK\)-theory
0 references
\(K\)-homology
0 references
crossed product
0 references
0 references