Real loci of based loop groups

From MaRDI portal
Publication:969607

DOI10.1007/S00031-010-9075-8zbMATH Open1192.53056arXiv0903.0840OpenAlexW2963967520MaRDI QIDQ969607FDOQ969607


Authors: Lisa C. Jeffrey, Augustin-Liviu Mare Edit this on Wikidata


Publication date: 7 May 2010

Published in: Transformation Groups (Search for Journal in Brave)

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 au of the based loop space Omega(G). There exists a maximal torus TsubsetG such that the canonical action of TimesS1 on Omega(G) is compatible with au (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)au (fixed point set of au) under the TimesS1 moment map on Omega(G) are equal. The space Omega(G)au 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 mathbbZ2 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.


Full work available at URL: https://arxiv.org/abs/0903.0840




Recommendations




Cites Work


Cited In (3)





This page was built for publication: Real loci of based loop groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q969607)