Cyclic cocycles on twisted convolution algebras (Q1936652)

In the paper under reviewing a construction of cyclic cocycles on convolution algebras twisted by gerbes over discrete translation groupoid is introduced. A \(\mathbf S^1\)-gerbe over the discrete translation groupoid \(M\rtimes \Gamma\) is presented by a line bundle \(L \to M \rtimes \Gamma\) and a collection of bundle isomorphism \(\mu_{g_1,g_2}: L_{g_1} \otimes (L_{g_2})^{g_1}\overset\sim\longrightarrow L_{g_1g_2}\), for any \(g_1,g_2\in \Gamma\) and restrictions \(L_g \) of \(L\) to \(M_g = M \times \{g\}\). The sections of \(L\) with the convolution product \[ (f_1\ast f_2)(x,g) = \sum_{g-1g_2=g} \mu_{g_1,g_2}(f_1|_{M_{g_1}} \otimes (f_2|_{M_{g_2}})^{g_1})(x,g) \] provide the twisted convolution algebra \(C^\infty_c(M\rtimes \Gamma)\). For proper étale groupoids, \textit{J.-L. Tu} and \textit{P. Xu} [Adv. Math. 207, No. 2, 455--483 (2006; Zbl 1113.19005)] provide a map between the periodict cyclic cohomology of a gerb twisted convolution algebra and twisted cohomology group, similar to the construction of \textit{V. Mathai} and \textit{D. Stevenson} [Adv. Math. 200, No. 2, 303--335 (2006; Zbl 1098.19002)]. In the improper case, one cannot construct a \(\Gamma\)-invariant connection \(\nabla\) on \(L \to M \times \Gamma\), namely satisfying the condition \(\mu^\ast_{g,h}(\nabla_{gh}) = \nabla_g \otimes 1 + 1\otimes (\nabla_h)^g\), where \(\nabla_g = \nabla|_{M_g}\) defining a form \(\theta\in \Omega^2((M\rtimes \Gamma)_{(1)}) \) and the discrepancy \[ \alpha(g,h) = \mu^\ast(\nabla_{g,h}) - \nabla_g \otimes 1 + 1 \otimes (\nabla_h)^g \] defining a cocycle \((\alpha,\theta)\) that represents the Dixmier-Douady class of the Bott complex of \(M \rtimes\Gamma\). The author then defines the simplicial differential form on the simplicial manifold \((M\rtimes \Gamma)_\bullet\), i.e., the nerve of \(M\rtimes \Gamma\). From the gerbe datum \((L,\mu,\nabla)\) one defines the infinite-dimensional vector bundle \(\mathcal E \to M\) as the direct sum bundle \(\mathcal E = \oplus_{g\in \Gamma} L_g\) with the direct sum connection \(\nabla^{\mathcal E}\). The bundle \(\mathrm{End}\mathcal E \to M\) is a vector bundle of finite rank endomorphisms over \(M\). Define the connection \(\nabla^k\) on \(\mathcal E_k \times \Delta^k \to (M\rtimes \Gamma)_{(k)} \times \Delta^k, \) where \(\mathcal E_k = p_k^\ast \mathcal E\), with \(p_k = pr_1 : M \times \Gamma^k \to M\). On the simplicial vector bundle \(\mathrm{End}\mathcal E_k \to (M\rtimes \Gamma)_{(k)}\) one defines the form \[ \vartheta_{(k)}(g_1,\dots,g_k) = (\nabla^k)^2 - \sum_{i=1}^k t_i\theta_{g_1\dots g_i} + \sum_{1\leq i<j\leq k} \alpha(g_1\dots g_i,g_{i+1}\dots g_j) (t_idt_j-t_jdt_i). \] The simplicial curvature 3-form \(\Theta_u\) is defined by \((\Theta_u){(k)} = \nabla^k(\vartheta_u)_{(k)}\). As the main results of the paper, Theorem 5.5 gives a simplicial JLO-type version of the character formula of \textit{A. Jaffe}, \textit{A. Lesniewski}, and \textit{K. Osterwalder}: there is a morphism into the group of cochains, with coboundary \(\delta'_{gr}\), valued in the \((b,B)\)-bicomplex of sections of \(\mathrm{End}\mathcal E\) \[ \tau_\nabla : (\Omega(M_\bullet)[u]^\bullet,d\Theta_u)\to (C^\bullet(\Gamma, CC^\bullet(\Gamma^\infty_c(\mathrm{End}\mathcal E))[u^{-1},u]), b+uB + \delta'_{gr}); \] and in Theorem 5.8 the author defines algebraic morphisms \[ C^\bullet(\Gamma, CC^\bullet(\Gamma^\infty_c(\mathrm{End}\mathcal E))[u^{-1},u]) \to CC^\bullet(C^\infty_c(M \rtimes \Gamma, L)[u^{-1},u], b+uB). \]