Equivariant formality of isotropy actions and products of spheres
For best-studied class of homogeneous spaces G/H with G>H compact, connected Lie groups, those for which rank(G) = rank(H), it is well known that the standard left ("isotropy") action of H on G/H is equivariantly formal, meaning every rational cohomology class on G/H lifts to a class in Borel H-equivariant cohomology.
Moving to the case rank(G) - rank(H) = 1, we give a characterization of pairs (G,H) such that the isotropy action is equivariantly formal, via a sequence of reductions ending with pairs such that G/H has the rational homotopy type of a product of spheres. The irreducible such pairs are for the most part already classified in works of Kramer, Wolfrom, and Bletz-Siebert, which require only mild extension to handle the cases we are interested in and then reduce the entire problem to a verification of finitely many cases.
This work is joint with Chen He.