Secondary characteristic classes and cyclic cohomology of Hopf algebras (Q697823): Difference between revisions

A higher dimensional analogue of Connes' Godvillon-Vey cyclic cocycle [\textit{A. Connes}, Pitman Res. Notes Math. Ser. 123, 52-144 (1986; Zbl 0647.46054)] is given. Precisely, let \(M\) be a smooth manifold, \(\Gamma\) a discrete (pseudo)group of orientation preserving diffeomorphisms of \(M\), and \(E\) a \(\Gamma\)-equivariant trivial bundle on \(M\). Then the characteristic map \[ \chi: \bigoplus_{m\in\mathbb{Z}} H^{i-2m}\bigl(W ({\mathfrak gl}_n,O_n)_q\bigr)\to HP^{i-q} \bigl(C_0^\infty(M) \rtimes\Gamma \bigr), \] is constructed (Th. 18). Here \(W( {\mathfrak g},K)_q\) is the truncated relative Weil algebra to the complex \({\mathcal B}_q({\mathcal H}(G))\), \({\mathcal H}(G))\) is the differential graded Hopf algebra of differential forms on \(G\), and \(HP^*({\mathcal A})\) is the periodic cyclic cohomology of \({\mathcal A}\). The outline of the paper is as follows: In section 2, a cyclic complex for differential graded algebras is investigated. Then the existence of the isomorphism \(R:HP^* ((\Omega^*,d)) \to HP^*({\mathcal A})\), \({\mathcal A}= \Omega^0\), where \(\Omega^*\) is a differential graded algebra with the differential \(d\) of grade 1, is shown (Th. 1) and the image of the character of a cycle under \(R\) is computed (Th. 4). Here, the character of a cycle is defined as an analog of Connes' cycle over a differential graded algebra, under suitable data ((2.34)--(2.37)). In section 3, Connes-Moscovici's construction of cyclic module of a Hopf algebra [\textit{A. Connes} and \textit{H. Moscovici}, Commun. Math. Phys., 198, No. 1, 199-246 (1998; Zbl 0940.58005)] is reproduced in the differential graded context. In section 4. invariance of the characteristic map by the twist of the Hopf action by a cocycle is shown (Prop. 6). In section 5, by using trivialization on \(E\), assumptions for the construction of the characteristic map are examined and the map \[ \chi:HC^*_q\bigl({\mathcal H}(GL_n (\mathbb{R}), d\bigr)\to HP^*\bigl(C^*_0(M) \rtimes\Gamma \bigr), \] where \(HC^*({\mathcal A})\) is the cyclic cohomology of \({\mathcal A}\), is obtained. This map does not depend on the choice of the trivialization by the invariance of the characteristic map (Th. 15). In section 6, identifying the Hochschild complex of \({\mathcal H}(G)\) with the simplicial-de Rham complex of \(NG\), \(NG_p={\overbrace {G\times\cdots \times G}^{p}}\) [\textit{H. Shulman} and \textit{J. Stasheff}, Lect. Notes Math. 652, 62-74 (1978; Zbl 0388.57016)], the isomorphism \(HH^i({\mathcal H}(G),d)_q=H^i (W( {\mathfrak g}, K)_q)\) is obtained by the results in [\textit{F. W. Kamber} and \textit{P. Tondeur}, `Foliated Bundles and Characteristic Classes'. Springer, Berlin (1975; Zbl 0308.57011)]. Here \(HH^*({\mathcal A})\) is the Hochschild cohomology of \({\mathcal A}\). Then translating this result to cyclic cohomology, the isomorphism \(HC^i ({\mathcal H}(G),d)_q= \oplus^{i-2m}_{m\geq 0} (W({\mathfrak g},K)_q)\) is shown and Theorem 18 is proved. In section 7, the last section, compatibility of the map \(H^*(W ({\mathfrak g},O_N)) \to HP^*({\mathcal A})\), \({\mathcal A}=C_0^\infty(M) \rtimes \Gamma\) obtained in this paper and the map \(H^*(W({\mathfrak g},O_n))\to H^* (M_\gamma)\), \(M_\Gamma= M\times_\Gamma E\Gamma\), obtained by Connes's canonical map [\textit{A. Connes}, `Noncommutative Geometry', New York (1994; Zbl 0818.46076)], is shown (Th. 19).