Real loci of based loop groups

TL;DR

This paper studies the fixed point sets of involutions on based loop groups of compact Lie groups, proving convexity properties and cohomology isomorphisms that relate the loop space of a symmetric space to that of the group.

Contribution

It establishes a convexity theorem for the moment map images of fixed point sets and proves cohomology ring isomorphisms between loop spaces of symmetric spaces and Lie groups.

Findings

Images of fixed point sets under the moment map are equal.

Cohomology rings of loop spaces are isomorphic via degree-halving.

A stronger form of Bott and Samelson's result is proved.

Abstract

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 $\sigma$. This induces an involutive automorphism $\tau$ of the based loop space $\Omega(G)$. There exists a maximal torus $T\subset G$ such that the canonical action of $T\times S^1$ on $\Omega(G)$ is compatible with $\tau$ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat's convexity theorem. Namely, the images of $\Omega(G)$ and $\Omega(G)^\tau$ (fixed point set of $\tau$) under the $T\times S^1$ moment map on $\Omega(G)$ are equal. The space $\Omega(G)^\tau$ is homotopy equivalent to the loop space $\Omega(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 $\Omega(G)$ and $\Omega(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.