Thin loop groups

DOI10.1007/S40879-019-00396-7MaRDI QIDQ2210178zbMATH OpenOpenAlexWikidataFDO

Publication date 5 November 2020

Published in European Journal of Mathematics (Search for Journal in Brave)

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

loop space piecewise linear map quasifibration thin loop space topological group

Homotopy equivalences in algebraic topology (55P10) Loop spaces (55P35) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: We verify that for a finite simplicial complex

X

and for piecewise linear loops on

X

, the "thin" loop space is a topological group of the same homotopy type as the space of continuous loops. This turns out not to be the case for the higher loops.

Review text

A loop \(\gamma\) is a thin loop if there exists a homotopy (rel. the base point) of \(\gamma\) to the trivial loop with the image of the homotopy lying entirely within the image of \(\gamma\). Two loops \(f\) and \(g\) are said to be thin homotopic if there is a sequence of loops \(\gamma_1=f,\gamma_2,\dots, \gamma_n=g\) such that for each \(1\leq i<n\), \(\gamma_i\circ \gamma_{i+1}^{-1}\) is thin. A reparameterization of a path \(\gamma :I=[0,1]\to X\) is any map obtained from \(\gamma\) by precomposition with a continuous map \(\alpha:I\to I\) such that \(\alpha (0)=0,\ \alpha (1)=1\). Note that any two curves that differ by a reparameterization are thin homotopic. Let \(\pi_1^1(X)\) denote the thin loop space defined by \(\pi_1^1(X)=\Omega X/\sim\), where \(\sim\) is thin homotopy. In this paper the authors prove that if \(X\) is a finite connected simplicial complex the space of thin PL loops \(\omega (X)\) is a topological group homotopy equivalent to the base loop space \(\Omega X\). They also discuss several other group models for loop spaces.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Thin loop groups

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