The equivariant cohomology of isotropy actions on symmetric spaces

Abstract

We show that for every symmetric space $G/K$ of compact type with $K$ connected, the $K$-action on $G/K$ by left translations is equivariantly formal.