Examples of twisted cyclic cocycles from covariant differential calculi (Q1425069)

Let \(\Gamma^\wedge= \bigoplus_k\Gamma^{\wedge k}\) be a differential calculus on an algebra \(\chi\), \(\omega\in \Gamma^{\wedge n}\) a volume form such that \(\omega x=\sigma_1(x)\omega\), and \(h\) a twisted trace on \(\chi\); \(h(xy)= h(\sigma_2(y)x)\), then the twisted cyclic cocyle \(\tau_{\omega,h}\) on \(\chi\) associated with \(\omega\) and \(h\) is defined by \[ \tau_{\omega,h}(x_0,x_1,\dots, x_n)= h(\pi(x_0 dx_1\wedge\cdots\wedge dx_n)). \] In this paper, two examples of twisted cyclic cocycles are represented in terms of commutators \([{\mathcal F},\rho(x)]\), \({\mathcal F}\) is a selfadjoint operator and \(\rho\) is a \(*\)-representation of the underlying \(*\)-algebra. The first example is the \(*\)-algebra \(\chi_0\) with generators \(z ,z^*\) and defining relation \(z^*z- q^2zz^*= (1-q^2)\alpha\), \(0< q< 1\) (sec. 2). The second example concerns left-covariant differential calculi on Hopf algebras. Details are carried out for Woronowicz's 3D-calculus on the quantum group \(\text{SU}_q(2)\) (sec. 3). The outline of the paper is as follows: In section 1, twisted cyclic cohomology is reviewed. If \(\alpha= 0\), \(\chi_0\) is the quantum complex plane on which \({\mathcal U}_q(e_2)\) acts. For \(\alpha= 1\), \(\chi_0\) is the quantum disc which is a \({\mathcal U}_q(\text{su}_{1,1})\), and for \(\alpha=-1\), \(\chi_0\) is the stereographic projection of the Podleś quantum sphere. \(\chi_0\) is represented as an operator algebra acting on a Hilbert space \({\mathcal H}\). Then setting \[ {\mathcal F}= (1- q^2)^{-1}\begin{pmatrix} 0 & z\\ z^* & 0\end{pmatrix},\quad\rho(x)= \begin{pmatrix} x & 0\\ 0 & x\end{pmatrix}, \] it is shown \(x_1dx_2\) can be identified with \(\rho(x_1)[i{\mathcal F},\rho(x_2)]\). By this identification, the following expression of a \(\sigma\)-twisted cyclic cocycle is derived (th. 2.1), \[ \tau_{\omega,h}(x_0, x_1,x_2)= \text{Tr\,}\gamma_q\rho(y^{-1}) \rho(x_0)[{\mathcal F},\rho(x_1)][{\mathcal F},\rho(x_2)]. \] To describe the second example, covariant differential calculi on Hopf algebras in [\textit{K. A. Klimyk} and \textit{K. Schmüdgen}, Quantum groups and their representations, Springer (1997; Zbl 0891.17010)], are used. Let \({\mathcal A}\) be a Hopf algebra and \(\Gamma^\wedge\) a differential calculus on \({\mathcal A}\) with a volume form \(\omega\in\Gamma^{\wedge n}\). \(\pi:\Gamma^{\wedge n}\to{\mathcal A}\) is the map \(\xi= \pi(\xi)\omega\). Then \(\pi(x_0dx_1\wedge\cdots\wedge dx_n)\) is expressed in terms of commutators in the cross-product algebra \({\mathcal A}\rtimes{\mathcal A}^0\), where \({\mathcal A}^0\) is the Hopf dual of \({\mathcal A}\) (lemma 3.1). Applying 3-D calculus on the quantum group \(\text{SU}_q(2)\) [\textit{S. L. Worono\-wicz}, Publ. RIMS Kyoto Univ. 23, 117--181 (1987; Zbl 0676.46050)] to this result, \({\mathcal F}\) is explicitly given as a selfadjoint operator on \({\mathcal H}\otimes\mathbb{C}^4\), \({\mathcal H}\) is the Hilbert space completion of \({\mathcal O}(\text{SU}_q(2))\). Then the \(\sigma\)-twisted cyclic cocycle \(\tau_{\omega,h}\) associated with the volume form \(\omega\) of the 3D-calculus on the Hopf \(*\)-algebra \({\mathcal O}(\text{SU}_q(2))\) is shown to have the following form (th. 3.3) \[ \tau_{\omega,h}(x_0,x_1,x_2)= \zeta(z)^{-1} \text{Tr}_{{\mathcal H}\otimes \mathbb{C}^4}{\mathcal C}^{-z} K^{-6}\gamma_q\rho(x_0)[{\mathcal F},\rho(x_1)][{\mathcal F},\rho(x_2)][{\mathcal F},\rho(x_3)]. \]