Loops as sections in compact Lie groups
type: Item
instance of: scholarly article
title: Loops as sections in compact Lie groups
zbMATH Open document ID: 1371.22008
author: Karl Strambach
author: Ágota Figula
published in: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg
publication date: 2017-04-28T00:00:00Z
full work available at URL: https://arxiv.org/abs/1502.06911
review text: Consider a coset projection \(p: G \to G/H\) from a compact connected Lie group \(G\). \textit{H. Scheerer} [Math. Ann. 206, 149--155 (1973; Zbl 0247.22010)] has given necessary and sufficient conditions for the existence of a continuous section \(\sigma : G/H \to G\) for \(p\). Roughly he showed that the only nontrivial building block for such structures comes from the action of \(SO_8\mathbb R\) on the 7-sphere, the section being obtained from octonion multiplication. If no such block occurs, then \(G/H\) is homeomorphic to a compact Lie group. The present article addresses the question, raised by Scheerer, in which cases a section \(\sigma\) defines a loop strucure on \(L = G/H\) via \(x\cdot y : = p(\sigma(x)\cdot \sigma(y))\), or in other words, in which cases \(\sigma(L)\) is sharply transitive on \(L\). So assume that \(L = G/H\) is a loop. If \(L\) is homeomorphic to \(\mathbb S_7\) or to \(P_7\mathbb R\), then it is shown that \(L\) is the Moufang loop of octonions of norm one or its quotient modulo \(-1\). If \(L\) is not a group and is homeomorphic to a compact semisimple Lie group, then also \(G\) is semisimple with at least two simple factors, and \(\dim G \geq 14\). If \(\dim G = 14\), then \(G\) is locally isomorphic to \(Spin_3\times SU_3 \times Spin_3\). A general construction for loops coming from groups \(G\) with three factors is presented.
reviewed by: Rainer Löwen
Mathematics Subject Classification ID: 22C05
Mathematics Subject Classification ID: 20N05
Mathematics Subject Classification ID: 57T10
Mathematics Subject Classification ID: 57T15
zbMATH DE Number: 6708874
zbMATH Keywords: compact connected loop
zbMATH Keywords: compact Lie group
zbMATH Keywords: sharply transitive sections in compact Lie groups
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2964135356
Wikidata QID: Q115377294
arXiv ID: 1502.06911
cites work: Lie groups and Lie algebras I. Foundations of Lie theory. Lie transformation groups. Transl. from the Russian by A. Kozlowski
cites work: Structure and Geometry of Lie Groups
cites work: Topologische Loops
cites work: Lie loops with invariant uniformities
cites work: Q3972228
cites work: Restklassenräume kompakter zusammenhängender Gruppen mit Schnitt
cites work: Loops in group theory and Lie theory
cites work: Tabellen zu den einfachen Lie Gruppen und ihren Darstellungen
DOI: 10.1007/S12188-016-0128-3
Recommended article: Quasi-simple Lie groups as multiplication groups of topological loops
Recommended article: Lie groups as multiplication groups of topological loops
Recommended article: Another construction of the central extension of the loop group
Recommended article: On groups of smooth maps into a simple compact Lie group
Recommended article: The Space of Loops on a Homogeneous Space and Rational Equivalence
Recommended article: Multiplication groups of topological loops
Recommended article: Adjoint action on homology \(\mod 2\) of \(E_8\) on its loop space
Recommended article: On finite H-spaces given by sphere extensions of classical groups
Recommended article: The group of continuous autotopisms of the loop \(S^ 7\)
Recommended article: On certain homotopy-homomorphic elements of \(\pi _{n+1}(X)\)
description: scientific article