Equivariant cohomology algebras of \(\mathfrak{F}\)-classifying \(T^k\)-spaces (Q2516405): Difference between revisions

The author considers the toral group \(G= T^k\). For any \(G\) space \(X,\) let \(\mathcal{F}\) denote the family of stabilizer subgroups \(G_x,~x\in X\). The author assumes that \(\mathcal{F}\) is a finite collection of finite groups. The construction of universal \(G\)-bundles was generalised by Palais in 1960 to Universal \(G\)-spaces. In this paper, \(\mathbb{W}\) denotes the Universal Palais \(G\)-space or its variant \(\mathbb{W}_{\mathcal{F}}\) for the family \(\mathcal{F}\). Let \(W_{\mathcal{F}}= \mathbb{W}_{\mathcal{F}}/G\) and denote \[ E_{\mathcal{F}} X= \{(w,x)\in \mathbb{W}\times X: ~ G_w\subset G_x, ~(G_w)\in \mathcal{F} \}. \] Then define \(H_{\mathcal{F}}^*(X)= H^*(E_{\mathcal{F}} X; \mathbb{Q})\). A family \(\mathcal{F}\) is said to be typical if \(H^*(W_{\mathcal{F}}; \mathbb{Q})= \mathbb{Q}[x_1,x_2,\dots, x_k]\), where each \(x_i\) is of degree 2. The first result says that if \({\mathcal{F}}_1, {\mathcal{F}}_2, ~{\mathcal{F}}_0= {\mathcal{F}}_1\cap {\mathcal{F}}_2\) are typical then \({\mathcal{F}}={\mathcal{F}}_1\cup {\mathcal{F}}_2\) is typical. Two other theorems describe how the equivariant cohomology \(H^*_{\mathcal{F}}(\mathbb{W}_{\mathcal{F}})\) depends on the equivariant cohomologies of \(\mathcal{F}_0, \mathcal{F}_1,\mathcal{F}_2\).