Equivariant principal bundles and their classifying spaces (Q740530)

Let \(\Gamma\) and \(G\) be topological groups. In this comprehensive paper, the authors introduce the notion of a \(\Gamma\)-equivariant principal \(G\)-bundle over a \(\Gamma\)-CW-complex. More precisely, this is a principal \(G\)-bundle \(p: E \to B\) together with left actions of \(\Gamma\) on \(E\) and \(B\) which commute with the right action of \(G\) on \(E\) such that \(p\) is \(\Gamma\)-equivariant. This data gives, for every \(e \in E\), a local representation \(\rho_e : \Gamma_{p(e)} \to G\) uniquely determined by the equation \(\gamma^{-1}\cdot e = e\cdot \rho_e(\gamma)\) for \(\gamma \in \Gamma_{p(e)}\). Notice that, when the action is trivial, we get back the classical case of a principal \(G\)-bundle. One of the main results of the paper is Theorem 8.1, wherein the authors prove that under some technical condition on the family of local representations (Condition (H) in the paper), a \(\Gamma\)-equivariant principal \(G\)-bundle \(p : E \to B\) is the same as a \(\Gamma \times G\)-CW-complex \(E\). Using this result, the authors give a universal \(\Gamma\)-equivariant principal \(G\)-bundle with respect to a given family of local representations satisfying Condition (H). The authors remark that their results can be generalised to the case when there is an intertwining between the actions of the groups \(\Gamma\) and \(G\). Equivariant principal bundles have been studied before by several authors. This carefully written paper generalizes all the previous constructions. The paper also gives a comprehensive list of related references and should serve as a good introduction to the topic.