文摘
Given a compact, connected Lie group G and a compact, connected Lie subgroup K defined by an automorphism of G, we show that the isotropy action of K on class="mathmlsrc">class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915002935&_mathId=si1.gif&_user=111111111&_pii=S0022404915002935&_rdoc=1&_issn=00224049&md5=1274f647a022317f0af8ecb7e61b6a98" title="Click to view the MathML source">G/Kclass="mathContainer hidden">class="mathCode"> is equivariantly formal and that class="mathmlsrc">class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022404915002935&_mathId=si2.gif&_user=111111111&_pii=S0022404915002935&_rdoc=1&_issn=00224049&md5=aa551cc8513a319417749c447f7dc843" title="Click to view the MathML source">(G,K)class="mathContainer hidden">class="mathCode"> is a Cartan pair.