Classifying spaces of twisted loop groups

DOI10.2140/AGT.2016.16.211MaRDI QIDQ258839zbMATH OpenOpenAlexFDO

Authors Thomas Baird

Publication date 10 March 2016

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

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

zbMATH Keywords

classifying spaceequivariant cohomologyloop grouptwisted conjugacy

Mathematics Subject Classification ID

Loop groups and related constructions, group-theoretic treatment (22E67) Compact Lie groups of differentiable transformations (57S15)

Abstract: We study the classifying space of a twisted loop group $L_{sigma}G$ where $G$ is a compact Lie group and $sigma$ is an automorphism of $G$ of finite order modulo inner automorphisms. Equivalently, we study the $sigma$-twisted adjoint action of $G$ on itself. We derive a formula for the cohomology ring $H^{\ast }(B{L}_{sigma}G)$ and explicitly carry out the calculation for all automorphisms of simple Lie groups. More generally, we derive a formula for the equivariant cohomology of compact Lie group actions with constant rank stabilizers.

Review text

Let \(G\) be a compact connected Lie group, and let \(\sigma\) be an automorphism of \(G\). The twisted loop group \(L_\sigma G\) is the topological group of continuous paths \(\gamma: I\to G\) satisfying \(\gamma(1)=\sigma(\gamma(0))\), with pointwise multiplication and compact-open topology. The isomorphism type of \(L_\sigma G\) only depends on the outer automorphism \([\sigma]\) represented by \(\sigma\). If \(\sigma\) is the identity automorphism, then \(L_\sigma G\) equals the continuous loop group \(LG\).NEWLINENEWLINEThe author studies the classifying space \(BL_\sigma G\). The main result is a formula for the cohomology ring \(H^\ast(BL_\sigma G)\): Assume \(G\) is semisimple. Let \(G^\sigma\) be the subgroup of elements of \(G\) fixed by \(\sigma\), and let \(G^\sigma_0\) be the identity component of \(G^\sigma\). Let \(T\) and \(T^\sigma\) denote the maximal tori of \(G\) and \(G^\sigma_0\), respectively. Let \(N_G(T^\sigma)\) denote the normalizer of \(T^\sigma\). Then NEWLINE\[NEWLINE H^\ast(BL_\sigma G; F)\cong H^\ast(BLG^\sigma_0; F)^{W_\sigma}, NEWLINE\]NEWLINE where \(W_\sigma= N_G(T^\sigma)/T\), and \(F\) is a coefficient field of characteristic coprime to the order of the Weyl group of \(G\), to the number of path components of \(G^\sigma\), and to the order of \([\sigma]\).NEWLINENEWLINEThe author explicitly carries out the calculation of \(H^\ast(BL_\sigma G;F)\) for all automorphisms of compact connected simple Lie groups. Moreover, he derives a formula for the equivariant cohomology of compact Lie group actions with constant rank stabilizers.

Recommendations

• Loop groups and twisted K-theory I
• Twisted tensor products related to the cohomology of the classifying spaces of loop groups
• On the cohomology of free and twisted loop spaces
• Loop groups and twisted \(K\)-theory. III
• Loop groups, string classes and equivariant cohomology

Cited in

(10)

• Spaces of commuting elements in the classical groups
• Moduli spaces of vector bundles with fixed determinant over a real curve
• On the equivariant cohomology of hyperpolar actions on symmetric spaces
• Twisted Weyl groups of Lie groups and nonabelian cohomology
• Syzygies in equivariant cohomology for non-abelian Lie groups
• Twisted tensor products related to the cohomology of the classifying spaces of loop groups
• Cohomology of the moduli space of rank two, odd degree vector bundles over a real curve
• On the cohomology of free and twisted loop spaces
• Cohomology of classifying spaces of loop groups and finite Chevalley groups associated with spin groups
• Real loci of based loop groups

This page was built for publication: Classifying spaces of twisted loop groups

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