No label defined (Q4352407)

Let \(H\) be a Hopf algebra (over a field \(k)\) with coproduct \(\Delta\), counit \(\varepsilon\) and antipode \(S\). Let \(P\) be an algebra (with unit) and \(\Gamma: P\to P\otimes H\) a homomorphism such that \((\text{id} \otimes \Delta)\Gamma =(\Gamma \otimes\text{id}) \Gamma\) and \((\text{id} \otimes\varepsilon) \Gamma= \text{id}\) on \(P\). In other words, \(P\) is a right \(H\)-comodule algebra. Consider the fixed point subalgebra \(B\) of \(P\) defined as the set of elements \(u\in P\) such that \(\Gamma(u)= u\otimes 1\). Also, consider the map \(T:P \otimes P \to P\otimes H\) given by \(T(u\otimes v)= (u\otimes 1) \Gamma(v)\). The coaction \(\Gamma\) is called free if \(T\) is surjective. Elements of the form \(v\otimes uw- vu\otimes w\) with \(v,w\in P\) and \(u\in B\) belong to the kernel of \(T\). The coaction is called exact if these elements span \(\text{Ker} (T)\). If all this is the case, then \(P(B,H)\) is called a quantum principal bundle with structure quantum group \(H\) and base \(B\). In the classical situation, this corresponds with (or rather is dual to) a group \(G\) acting from the right freely on a space \(X\) with base manifold \(M=X/G\). In this case freeness means that the map \((u,g) \mapsto(u,ug)\) from \(X\times G\) to itself is injective. In the classical case, the exactness follows automatically from the freeness. The paper gives a survey of the theory of principle quantum bundles as developed by the author in collaboration with S. Majid. Apart from many examples, the following aspects are discussed (briefly): the trivial quantum principle bundle, the quantum principle bundle on a quantum homogeneous space, quantum fibre bundles. Also different aspects of gauge theory are explained. The details can be found in the author's main references [Commun. Math. Phys. 157, No. 3, 591-638 (1993; Zbl 0817.58003); ibid. 167, No. 1, 235 (1995; Zbl 0823.58006)] and other papers which are quoted in the paper. For the entire collection see [Zbl 0863.00038].