Real loci of based loop groups

Let $(G,K)$ be a Riemannian symmetric pair of maximal rank, where $G$ is a compact simply connected Lie group and $K$ the fixed point set of an involutive automorphism $σ$. This induces an involutive automorphism $τ$ of the based loop space $Ω(G)$. There exists a maximal torus $T\subset G$ such that the canonical action of $T\times S^1$ on $Ω(G)$ is compatible with $τ$ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat's convexity theorem. Namely, the images of $Ω(G)$ and $Ω(G)^τ$ (fixed point set of $τ$) under the $T\times S^1$ moment map on $Ω(G)$ are equal. The space $Ω(G)^τ$ is homotopy equivalent to the loop space $Ω(G/K)$ of the Riemannian symmetric space $G/K$. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in $\mathbb{Z}_2$ of $Ω(G)$ and $Ω(G/K)$. Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe.

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.