Quantum principal bundles on projective bases (Q2662869)

The authors develop a theory of quantum principal bundles over projective base spaces, and specifically over homogeneous projective varieties. They then study noncommutative principal bundles corresponding to a quotient \(G \rightarrow G/P\) of a semisimple group \(G\) by a parabolic subgroup \(P\) and a projective embedding of \(G/P\) coming from a section of a very ample line bundle. The classical description of principal bundles is given, then reformulated in terms of function algebras, which provides a Hopf-algebraic setting for quantum versions. In general, a \emph{quantum principal bundle}, or an \emph{\(H\)-principal bundle} for a Hopf algebra \(H\), is defined to be a sheaf \(\mathcal{F}\) of \(H\)-comodule algebras on a ringed space \((M,\mathcal{O}_M)\) equipped with an open covering \((U_i)\) such that \(\mathcal{F}(U_i)\) is a principal \(H\)-comodule algebra whose subalgebra of \(H\)-coinvariants coincides with \(\mathcal{O}_M(U_i)\). Quantum homogeneous projective varieties \(\tilde{\mathcal{O}}_q(G/P)\) corresponding to quantum sections of line bundles on \(G/P\) were constructed by \textit{N. Ciccoli} et al. as algebras of \(\mathcal{O}_q(P)\)-semi-coinvariants [J. Noncommut. Geom. 2, No. 4, 449--496 (2008; Zbl 1168.16024)]. Here the authors construct quantum principal bundles (\(\mathcal{O}_q(P)\)-principal bundles) over \(\tilde{\mathcal{O}}_q(G/P)\) corresponding to quantum sections. These bundles are worked out in detail for \(G = \operatorname{SL}_n({\mathbb C})\) and a specific \(P\) such that \(G/P \cong {\mathbb P}^{n-1}({\mathbb C})\). The final section of the paper develops a 2-cocycle twist deformation process for quantum principal bundles. Applications to the bundles worked out in the previous section give three new quantum principal bundles over \(\tilde{\mathcal{O}}_q( {\mathbb P}^{n-1}({\mathbb C}))\).