Rigid dualizing complexes over quantum homogeneous spaces. (Q441395)

The authors develop homological properties of quantum homogeneous spaces over Hopf algebras \(H\), that is, right coideal subalgebras \(B\) of \(H\) such that \(H\) is faithfully flat over \(B\), concentrating on the existence of rigid dualizing complexes. The main theorem of the paper states that if \(H\) is Noetherian and pointed with bijective antipode \(S\), and if \(B\) is AS-Gorenstein with injective dimension \(d\), then:{\parindent=6mm\begin{itemize}\item[(1)] There is an automorphism \(\nu\) of \(B\), called the Nakayama automorphism, such that \(\text{Ext}^i_{B^e}(B,B^e)\) vanishes for \(i\neq d\) and is isomorphic to the twisted \(B\)-bimodule \(B^\nu\) when \(i=d\).\item[(2)] \(\nu\) is obtained by composing an inner automorphism of \(B\) with \(S^2\) and a winding-like automorphism associated to the character of \(B\) determined by its left homological integral.\item[(3)] \(B\) has a rigid dualizing complex, with the form \(^\nu B[d]\). \end{itemize}} This result extends to quantum homogeneous spaces the picture obtained for AS-Gorenstein Hopf algebras by \textit{K. A. Brown} and \textit{J. J. Zhang} [in J. Algebra 320, No. 5, 1814-1850 (2008; Zbl 1159.16009)]. One consequence of the theorem is that \(B\) satisfies a twisted Poincaré duality for Hochschild cohomology: if \(B\) has finite Hochschild cohomological dimension, then \(H^i(B,M)\cong H_{d-i}(B,{^{\nu^{-1}}M})\) for all \(i\) and all \(B\)-bimodules \(M\). A number of tools are developed towards and in relation to the main theorem. For example, conditions are established under which the AS-Gorenstein property descends from a Hopf algebra to a quantum homogeneous space. Finally, the authors determine and classify all quantum homogeneous spaces for \(U_q({\mathfrak{sl}}_2)\), and prove that they are all Auslander-regular, AS-regular, and Cohen-Macaulay. In higher rank, Kharchenko and Lara Sagahon have classified those quantum homogeneous spaces for \(U_q({\mathfrak{sl}}_{n+1})\) which contain all grouplike elements [\textit{V. K. Kharchenko}, Trans. Am. Math. Soc. 360, No. 10, 5121-5143 (2008; Zbl 1165.16023)].