Twisted Hochschild homology of quantum flag manifolds and Kähler forms (Q2220006)

This paper is concerned with the relation between twisted Hochschild homology of quantum flag manifolds and Kähler forms. The importance of Hochschild homology for the description of differential forms arises essentially from the Hochschild-Konstant-Rosenberg (HKR) theorem which for smooth manifolds allows for the identification of \(\Omega^\bullet(M)\) with the Hochschild homology of \(C^\infty(M)\), i.e. \(\Omega^\bullet(M)\cong HH_{\bullet}(C^\infty(M))\). Replacing \(C^\infty(M)\) with a (smooth) algebra \(A\) that, in the spirit of noncommutative geometry, corresponds to a certain \textit{ noncommutative topological space}, leads to the idea of using \(HH_\bullet(A)\) or its twisted version \(HH^\sigma_{\bullet}(A)\) (with twist implemented by a certain automorphism \(\sigma\) of \(A\)) as a way to encode differential structure on \(A\). The author studies the case of \(\ast\)-subalgebras \(\mathbb{C}_q[U/K_S]\) of \(\mathbb{C}_q[U]\) with \(U/K_S\) being the classical flag manifold obtained from a compact Lie group \(U\). These quantum flag manifolds \(\mathbb{C}_q[U/K_S]\) share many features with their classical analogs. In particular, the author shows that every \(\mathbb{C}_q[U/K_S]\) admits a non-trivial class \([\mathsf{C}(P_1)]\) in \(HH^\theta_{2}(\mathbb{C}_q[U/K_S])\) with the twist defined by the modular automorphism \(\theta\) of the Haar state on \(\mathbb{C}_q[U]\). Moreover, an explicit representation of this homology class in \(\mathbb{C}[U/K_S]^{\otimes 3}\) was found in terms of a certain projection from \(\mathrm{Mat}(\mathbb{C}_q[U/K_S])\). Under the classical limit, \(q\rightarrow 1\) understood e.g. on the level of representations, the resulting HKR \(2\)-form on \(U/K_S\) turns out to be Kähler.