Rigid dualizing complexes over quantum homogeneous spaces.
AS-Gorenstein algebrasHochschild cohomologyNakayama automorphismNoetherian pointed Hopf algebrasquantum homogeneous spacesrigid dualizing complexes
Syzygies, resolutions, complexes in associative algebras (16E05) Homological conditions on associative rings (generalizations of regular, Gorenstein, Cohen-Macaulay rings, etc.) (16E65) Hopf algebras and their applications (16T05) Ring-theoretic aspects of quantum groups (16T20) Quantum groups (quantized enveloping algebras) and related deformations (17B37)
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.NEWLINENEWLINE 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]\).NEWLINENEWLINE\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)].NEWLINENEWLINE 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\).NEWLINENEWLINE 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.NEWLINENEWLINE 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)].
- Rigid dualizing complex for quantum enveloping algebras and algebras of generalized differential operators
- Hopf algebras with rigid dualizing complexes.
- On the Hochschild (co)homology of quantum homogeneous spaces.
- Rigid dualizing complexes
- Rigid complexes via DG algebras
- Quantization of projective homogeneous spaces and duality principle.
- scientific article; zbMATH DE number 1560229
- The rigid dualizing complex of a universal enveloping algebra
- Duality, cohomology, and geometry of locally compact quantum groups
- Quantum homogeneous spaces, duality and quantum 2-spheres
- An Associative Orthogonal Bilinear Form for Hopf Algebras
- Biinvertible actions of Hopf algebras
- Dualising complexes and twisted Hochschild (co)homology for Noetherian Hopf algebras.
- Dualizing complexes over noncommutative graded algebras
- Existence theorems for dualizing complexes over non-commutative graded and filtered rings
- Faithful flatness of Hopf algebras
- Freeness of hopf algebras over coideal subalgebras
- Homological integral of Hopf algebras
- scientific article; zbMATH DE number 4139959 (Why is no real title available?)
- scientific article; zbMATH DE number 4049807 (Why is no real title available?)
- scientific article; zbMATH DE number 3704768 (Why is no real title available?)
- scientific article; zbMATH DE number 706259 (Why is no real title available?)
- scientific article; zbMATH DE number 3309240 (Why is no real title available?)
- Injective dimension of semi-primary rings
- Integral interwining operators and quantum homogeneous spaces
- Lectures on algebraic quantum groups
- Noetherian PI Hopf algebras are Gorenstein
- Normal basis and transitivity of crossed products for Hopf algebras
- On Crossed Products of Hopf Algebras
- On Hopf algebras with cocommutative coradicals
- PBW-bases of coideal subalgebras and a freeness theorem
- Projectivity and freeness over comodule algebras
- Quantum homogeneous spaces with faithfully flat module structures
- Quantum homogeneous spaces, duality and quantum 2-spheres
- Quantum spheres
- Relative Hopf modules - equivalences and freeness criteria
- Right coideal subalgebras in \(U_q(\mathfrak{sl}_{n+1})\)
- Rigid dualizing complex for quantum enveloping algebras and algebras of generalized differential operators
- Zariskian filtrations
- On homological smoothness of generalized Weyl algebras over polynomial algebras in two variables
- On the Hochschild (co)homology of quantum homogeneous spaces.
- Plane curves which are quantum homogeneous spaces
- The nodal cubic is a quantum homogeneous space
- Quantum homogeneous spaces of connected Hopf algebras
- Twisted Calabi-Yau property of right coideal subalgebras of quantized enveloping algebras
- Untwisting a twisted Calabi-Yau algebra.
- Homological properties of Podleś quantum spheres.
- A module structure on Hochschild cohomology of coideal subalgebras
- Coideal subalgebras of pointed and connected Hopf algebras
- Dualising complexes and twisted Hochschild (co)homology for Noetherian Hopf algebras.
This page was built for publication: Rigid dualizing complexes over quantum homogeneous spaces.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q441395)
