Real loci of based loop groups

DOI10.1007/S00031-010-9075-8MaRDI QIDQ969607zbMATH OpenOpenAlexFDO

Authors Lisa C. Jeffrey, Augustin-Liviu Mare

Publication date 7 May 2010

Published in Transformation Groups (Search for Journal in Brave)

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

zbMATH Keywords

Betti numbersmoment mapcohomology ringsRiemannian symmetric pairDuistermaat's convexity theorem

Mathematics Subject Classification ID

Differential geometry of symmetric spaces (53C35) Algebraic topology on manifolds and differential topology (57R19)

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 $Times{S}^1$ 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{)}^{a}u$ (fixed point set of $au$) under the $Times{S}^1$ moment map on $Omega(G)$ are equal. The space $Omega(G{)}^{a}u$ 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.

Recommendations

• Quillen's theorem on buildings and the loops on a symmetric space
• Connectivity properties of moment maps on based loop groups
• Connectedness of levels for moment maps on various classes of loop groups
• Classifying spaces of twisted loop groups
• Integral homology of real flag manifolds and loop spaces of symmetric spaces

Cites work

• scientific article; zbMATH DE number 17565 (Why is no real title available?)
• scientific article; zbMATH DE number 51906 (Why is no real title available?)
• scientific article; zbMATH DE number 3280666 (Why is no real title available?)
• Applications of the Theory of Morse to Symmetric Spaces
• Computation of generalized equivariant cohomologies of Kac--Moody flag varieties
• Conjugation spaces
• Convexity and Tightness for Restrictions of Hamiltonian Functions to Fixed Point Sets of an Antisymplectic Involution
• Convexity theorem for infinite-dimensional isoparametric submanifolds
• Critical point theory and submanifold geometry
• Differential geometry, Lie groups, and symmetric spaces.
• Integral homology of real flag manifolds and loop spaces of symmetric spaces
• Moment maps and Riemannian symmetric pairs
• Proper Fredholm submanifolds of Hilbert space
• Quillen's theorem on buildings and the loops on a symmetric space
• Steenrod squares on conjugation spaces
• The mod 2 cohomology of fixed point sets of anti-symplectic involutions
• Variational completeness and \(K\)-transversal domains

Cited in

(3)

• Generating rational loop groups with noncompact reality conditions
• Connectivity properties of moment maps on based loop groups
• Quillen's theorem on buildings and the loops on a symmetric space

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)