The local structure of the cyclic cohomology of Heisenberg Lie groups (Q1328337)

Let \(G\) be a connected, simply connected nilpotent Lie group of dimension \(n\) and \(S(G)\) the convolution algebra of the Schwartz functions. It is known [\textit{G. A. Elliott} and the authors, Cyclic cohomology for one- parameter smooth crossed products, Acta Math. 160, No. 3/4, 285-305 (1988; Zbl 0655.46054)]\ that the cyclic \(n\)-cocycle \(\#^n_G (\tau)\) generates the stabilized cyclic cohomology. In the present paper the authors consider some interpretations of \(\#^n_G (\tau)\). In particular, they prove that for some particular types of \(G\), it coincides with the cyclic cocycle \(\psi_G\) defined as follows: \[ \psi_G (f_0, \dots, f_m)= \int f_0 (g_1,\cdots, g_m)^{-1} f_1 (g_1) \cdots f_m (g_m) \sigma_G (g_1, \dots, g_m) dg_1 \cdots dg_m, \] where \(\sigma_G\) is the cocycle in the Hochschild-Mostow continuous cochain complex for \(G\) determined by the rule \(\sigma_G (g_1, \dots, g_m)= \int_{\Delta (g_1, \dots, g_m)} dg\). Here the following notations are used. The standard diffeomorphism \(\mathbb{R}^n\to G\) is denoted by \(\varphi\), \(\gamma_t\) is a contracting homotopy \(\gamma_t (g)= \varphi ((1-t) \varphi^{-1} (g)), \Delta (g_1, \dots, g_n)\) is defined as a differentiable singular simplex \[ \Delta (g_1, \dots, g_n) (s_0, \dots, s_{n-1})= \gamma_{s_0} (g_1) \gamma_{s_1} (g_2) \cdots \gamma_{s_{n-1}} (g_n). \] For the Heisenberg groups \(H_n\) the authors obtain a description of the cyclic cocycles \(\#_{H_n}^{2n+1} (\tau)\).