A twisted spectral triple for quantum \(SU(2)\) (Q408224): Difference between revisions

As one of the building blocks, the concept of spectral triples plays an important role in the theory of noncommutative geometry and has various versions differing in some components of the definition. In this paper, the authors present a new version of ``twisted'' spectral triples for the case of the quantum \(SU\left( 2\right) \). Recall that the Connes-Moscovici \(\sigma\)-spectral triple \((\mathcal{A} ,\mathcal{H},D) \) for an automorphism \(\sigma\) of a dense \(\ast\)-subalgebra \(\mathcal{A}\) of a unital \(C^\ast\)-algebra \(A\), which is unitary in the sense that \(\sigma (x^{\ast}) = (\sigma^{-1} (x))^{\ast}\) for all \(x\in\mathcal A\), involves a fixed representation of \(\mathcal A\) on \(\mathcal H\) (as if \(\mathcal A\subset\mathcal L( \mathcal H)\)) and a self-adjoint operator \(D\) with the resolvent \((i+D)^{-1}\in\mathcal K ( \mathcal H)\) and the twisted commutator \([D,x]_{\sigma}:=Dx-\sigma(x) D\) extendable to a bounded operator on \(\mathcal H\). When \([\left| D\right| ,x] _{\sigma}\in\mathcal L( \mathcal H)\) for all \(x\in\mathcal A\), the \(\sigma\)-spectral triple is called Lipschitz-regular. Note that in the definition, \(\mathcal K (\mathcal H)\) is the smallest norm-closed ideal of \(\mathcal L (\mathcal H)\) generated by all projections \(p\in\mathcal L(\mathcal H)\) with \(\text{Tr} ( p) <\infty\). Replacing \(\mathcal L(\mathcal H) \) by a concrete von Neumann algebra \(\mathcal M\) and \(\text{Tr}\) by some concrete normal faithful semifinite trace \(\psi:\mathcal M\rightarrow[0,\infty]\), the authors construct and analyze concrete Lipschitz-regular examples of a new version of ``twisted'' spectral triples, for the dense coordinate subalgebra \(\mathcal{A}:=\mathcal{O}\left( SU_{q}\left( 2\right) \right) \) of the \(C^\ast\)-algebra \(A=C( SU_{q}(2))\) of quantum \(SU(2)\), with the resolvent \((i+D)^{-1}\) contained in the smallest norm-closed ideal \(\mathcal{K}(\mathcal{M},\psi)\) of \(\mathcal{M}\) generated by all projections \(p\in\mathcal{M}\) with \(\psi(p) <\infty\), but \(\mathcal{A}\nsubseteqq\mathcal{M}\). For such a concrete example, the authors show that the zeta-function \(z\mapsto\psi(\left| D\right| ^{-z})\) extends to a meromorphic function on the whole complex plane, and point out that any positive spectral dimension can be obtained by changing the trace \(\psi\). Finally they construct a large class of twisted local Hochschild cocycles and show that these cocycles turn out to be coboundaries.