Bivariant Chern character and longitudinal index

DOI10.1016/J.JFA.2006.01.004MaRDI QIDQ2497900zbMATH OpenOpenAlexFDO

Authors Alexander Gorokhovsky

Publication date 4 August 2006

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

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

zbMATH Keywords

Chern character cyclic cohomology index theorem non-commutative geometry

Mathematics Subject Classification ID

Noncommutative differential geometry (46L87) Exotic index theories on manifolds (58J22)

Abstract: In this paper we consider a family of Dirac-type operators on fibration

P o B

equivariant with respect to an action of an etale groupoid. Such a family defines an element in the bivariant

K

theory. We compute the action of the bivariant Chern character of this element on the image of Connes' map

P h i

in the cyclic cohomology. A particular case of this result is Connes' index theorem for etale groupoids in the case of fibrations.

Review text

The paper offers a generalization of the A. Connes index theorem for etale grupoids and Connes-Moscovici higher \(\Gamma \)-index theorem (see \textit{A. Connes} book `Non-commutative Geometry', Academic Press (1994; Zbl 0818.46076) and also papers by V. Nistor and J. Cuntz cited in this paper). In order to put things in context let us consider the following situation. Let \(\pi :P\rightarrow B\) be a fibration with Riemannian complete Spin\(^{c}\)-manifolds as fibres, and let \(D\) be a family of fiberwise Dirac-type Spin\(^{c}\)-operators acting on a \(\mathbb{Z}/2\)-graded bundle \(E\). Assume that an etale groupoid \(G\) acts on the fibration \(P\) and the operator \(D\) is \(G\)-invariant. Then the operator \(D\) defines an element of the equivariant \(KK\)-theory \(KK^{G}(C_{0}(P),C_{0}(B))\) which projects onto an element in \(KK(C_{0}(P)\triangleleft G,C_{0}(B)\triangleleft G)\) using the canonical map. This last element can be represented by a quasihomomorphism \(\psi _{D}\), and this quasihomomorphism in turn defines a p-summable quasihomomorphism of smooth cross-products \(C_{0}^{\infty }(P)\triangleleft G\) and \(C_{0}^{\infty }(B)\triangleleft G\). Then the bivariant Chern character Ch\((D)\) is defined as a morphism of complexes \(CC_{\ast }(C_{0}^{\infty }(P)\triangleleft G)\rightarrow CC_{\ast }(C_{0}^{\infty }(B)\triangleleft G)\) which induces a morphism of the corresponding cyclic cohomology. On the other hand, the map \(\pi \) induces a map \(\pi ^{\ast }:H_{\tau }^{\ast }(B_{G})\rightarrow H_{\tau }^{\ast }(P_{G})\) of cohomology groups (twisted by the relevant orientation bundles) of quotients. Using the equivariant \(\widehat{A}\)-genus \(\widehat{A}_{G}(TP/B)\) of the vertical tangent bundle of \(P\) and the equivariant twisting Chern character Ch\(_{G}(E/S)\) of the bundle \(E\) one can define a map \(\widetilde{\pi }^{\ast }:H_{\tau }^{\ast }(B_{G})\rightarrow H_{\tau }^{\ast }(P_{G})\) by \(\widetilde{\pi }^{\ast }(x)=(2\pi i)^{(\dim B-\dim P)/2}\widehat{A}_{G}(TP/B)\text{Ch}_{G}(E/S)\pi ^{\ast }(x)\). Moreover, there is the Connes injective map \(\Phi :H_{\tau }^{\ast }(P_{G})\rightarrow HC^{\ast }(C_{0}^{\infty }(P)\triangleleft G)\) and similarly for \(B\). Now, the main result of the paper states that \(\Phi \circ \widetilde{\pi }^{\ast }=\Phi \circ \text{Ch}(D)^{t}\), which gives a tool for computing the values of the Chern character on the image of the Connes map.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Bivariant Chern character and longitudinal index

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