Equivariant formality of isotropy actions on homogeneous spaces defined by Lie group automorphisms (Q899574)

The authors consider the class of homogeneous spaces for which the isotropy action is equivariant formal (the class of spaces defined by Lie group automorphisms). The main result is: ``Let \(K\) be a closed, connected Lie subgroup of a compact, connected Lie group \(G\). If the fixed point subalgebra of an automorphism of \(G\) coincides with the Lie algebra of \(K\), then the pair \((G,K)\) is a Cartan pair and the isotropy action of \(K\) on \(G/K\) is equivariant formal.'' The authors also give a brief summary of the relevant statements and notions such as: equivariant formality, fixed point set of isotropy actions, cohomology of homogeneous spaces. They characterize the equivariant formality of an action via the fixed point set of a maximal torus. As an intermediate step they show that the main theorem is true when considering a Lie group pair \((G,K)\) for which \(G\) additionally is simple. Finally, the proof of the main result consists of a reduction of the general case to the special case where \(G\) is simple.