Some Constructions on Quantum Principal Bundles
Gustavo Amilcar Saldaña Moncada
TL;DR
The paper develops a framework for universal differential calculus on quantum groups and quantum principal bundles, showing that the universal envelope $\\Gamma^{\\wedge}$ forms a graded differential $*$-Hopf algebra compatible with the coactions and adjoint actions, and specializing to classical compact matrix Lie groups recovers the exterior algebra $H\\otimes\\bigwedge\\mathfrak{g}^{\\#}_{\\mathbb{C}}$. It proves a key group isomorphism between convolution-invertible maps and graded left $\\Omega^{\\bullet}(B)$-module automorphisms of $\\Omega^{\\bullet}(P)$, giving constructive correspondences via $\\mathfrak{f}_{\\mathfrak{F}}$ and $\\mathfrak{F}_{\\mathfrak{f}}$, and shows how a finite set of maps $\\{T^{L}_k\\}$ can be obtained from corepresentations to realize translations from the total space to the base in the quantum setting. The work provides a concrete counterexample where the base forms are not generated by the base space, illustrating subtleties in the base calculus, and culminates with a Dunkl-operator-based approach to quantum principal bundles, demonstrating how Dunkl connections yield real, multiplicative covariant derivatives and extend classical gauge transformations to the quantum realm. Overall, the results advance the understanding of differential structures on quantum principal bundles and their links to representation theory and Dunkl operators, with implications for noncommutative geometry and quantum gauge theory.
Abstract
This paper works as an appendix of the paper titled Geometry of Associated Quantum Vector Bundles and the Quantum Gauge Group. Here, we are going to prove four statements in the theory of quantum principal bundles:: 1) The universal differential envelope $\ast$--calculus of a matrix (compact) Lie group, for the classical bicovariant $\ast$--First Order Differential Calculus, is the algebra of differential forms. 2) An example of a quantum principal bundle in which the space of base forms is not generated by the base space. 3) The group isomorphism between convolution-invertible maps and covariant left module isomorphisms at the level of differential calculus 4) The way the maps $\{T^V_k \}$ from Remark 3.1 look in differential geometry.
