\(\text{Mod }p\) equivariant cohomology of homogeneous spaces (Q1971135)

Let \((G,K)\) be a compact Lie pair. Then \(K\) acts on the homogeneous space \(G/K\) by left translation. The author investigates a condition on the pair \((G,K)\) such that the induced fiber over the classifying space \(BK\) \[ G/K\to EKX_KG/K\to BK \tag{*} \] is totally noncohomologous to zero \((TNCZ)\) with respect to any field \(K\) of characteristic \(p\). For the special case where \(K\) is the field of real numbers \(R\), this problem was solved by \textit{H. Shiga} [J. Pure Appl. Algebra 106, 173-183 (1996; Zbl 0849.43006)]. Let \(\pi:G\to G/K\) be the natural projection and \(N_G(K)\) the normalizer of \(K\) in \(G\), \(H^*(G;K)\) and \(H^*(K;K)\) be exterior algebras on generators. The group \(N= N_G(K)/K\) acts on \(G/K\) and so on \(H^*(G/K;K)\). We denote by \(H^*(G/K;K)^N\) the set of fixed points in \(H^*(G/K;K)\) under the action of \(N\), rank \(G=l\), rank \(k=m\). Let us formulate the following propositions: (P1) \((G,K)\) is a Cartan pair, i.e., \(\dim_K (\text{Im} \pi^*\cap PH^*(G;K)) =l-m\), where \(P H^*(G;K)\) is the vector space of primitive elements of \(H^*(G;K)\). (P2) The induced homomorphism \(\pi^*:H^* (G/K;K)^N\to H^*(G;K)\) is injective. (P3) There exist indecomposable elements \(x_1,\dots, x_m\), \(x_{m+1}, \dots,x_l\) of \(H^*(BG;K)\) such that \(H^*(BG;K) \cong K[x_1,\dots, x_m,x_{m+1}, \dots,x_l]\) as an algebra; \(\rho^*(x_1), \dots,\rho^* (x_m)\) is a regular sequence in \(H^*(BK;K) \), while \(\rho^*(x_{m+1}) =\cdots= \rho^*(x_l)=0\), where \(\rho:BK\to BG\) is the induced map from the inclusion \(K\to G\). Then the main results of this paper are: (i) Proposition (P3) holds if and only if so does (P1) and the fibration (*) is \(TNCZ\) with respect to \(K\). (ii) Propositions (P1) and (P2) imply (P3).