On formality of a class of compact homogeneous spaces (Q1851071)

In the Sullivan theory of minimal models, recall that a space \(X\) is formal if its differential algebra of PL-forms, \(A_{\text{PL}}(X)\), has the same homotopy type as its rational cohomology, \(H(X;\mathbb{Q})\). In the paper under review, the author proves: ``Let \(G\) be a simple simply connected compact Lie group endowed with an automorphism \(\sigma\) of finite order, then the homogeneous space \(G/G^\sigma\) is formal, where \(G^\sigma\) is the subgroup of fixed points of \(\sigma\)''.