A bigroupoid's topology (or, topologising the homotopy bigroupoid of a space) (Q504544): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
The fundamental bigroupoid of a topological space \(X\) is, roughly speaking, the bicategory with objects points of \(X\), \(1\)-morphisms paths in \(X\), and \(2\)-morphisms homotopies (relative to endpoints) between paths; those homotopies are taken modulo homotopy. The goal of the paper under review is to promote this construction to a \textit{topological} bigroupoid, that is, give suitable topologies to the sets of objects, \(1\)-morphism, and \(2\)-morphisms. The first two are just the original topology of \(X\) and the compact-open topology on the path space. The biggest challenge is to define an appropriate topology on the set of homotopy classes of homotopies between paths, so that compositions and all other categorical operations are continuous. As a technical condition, it is required that \(X\) is semilocally \(2\)-connected, i.e., there exists a basis of neighborhoods \(\{ U \}\) which are simply-connected and \(\pi_2(U) \to \pi_2(X)\) is the zero map. Finally, it is shown that if \(X\) is locally relatively contractible, then its fundamental bigroupoid is locally trivial. This condition is closely related to the existence of a locally trivial \(2\)-bundle associated to the groupoid. In this sense, this result is a higher analogue of the fact that the universal cover of a semilocally simply connected space admits local trivializations.
Property / review text: The fundamental bigroupoid of a topological space \(X\) is, roughly speaking, the bicategory with objects points of \(X\), \(1\)-morphisms paths in \(X\), and \(2\)-morphisms homotopies (relative to endpoints) between paths; those homotopies are taken modulo homotopy. The goal of the paper under review is to promote this construction to a \textit{topological} bigroupoid, that is, give suitable topologies to the sets of objects, \(1\)-morphism, and \(2\)-morphisms. The first two are just the original topology of \(X\) and the compact-open topology on the path space. The biggest challenge is to define an appropriate topology on the set of homotopy classes of homotopies between paths, so that compositions and all other categorical operations are continuous. As a technical condition, it is required that \(X\) is semilocally \(2\)-connected, i.e., there exists a basis of neighborhoods \(\{ U \}\) which are simply-connected and \(\pi_2(U) \to \pi_2(X)\) is the zero map. Finally, it is shown that if \(X\) is locally relatively contractible, then its fundamental bigroupoid is locally trivial. This condition is closely related to the existence of a locally trivial \(2\)-bundle associated to the groupoid. In this sense, this result is a higher analogue of the fact that the universal cover of a semilocally simply connected space admits local trivializations. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Augusto Stoffel / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 18D05 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 22A22 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 55Q05 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6675380 / rank
 
Normal rank
Property / zbMATH Keywords
 
fundamental bigroupoid
Property / zbMATH Keywords: fundamental bigroupoid / rank
 
Normal rank
Property / zbMATH Keywords
 
homotopy 2-type
Property / zbMATH Keywords: homotopy 2-type / rank
 
Normal rank
Property / zbMATH Keywords
 
topological bigroupoid
Property / zbMATH Keywords: topological bigroupoid / rank
 
Normal rank

Revision as of 01:13, 1 July 2023

scientific article
Language Label Description Also known as
English
A bigroupoid's topology (or, topologising the homotopy bigroupoid of a space)
scientific article

    Statements

    A bigroupoid's topology (or, topologising the homotopy bigroupoid of a space) (English)
    0 references
    17 January 2017
    0 references
    The fundamental bigroupoid of a topological space \(X\) is, roughly speaking, the bicategory with objects points of \(X\), \(1\)-morphisms paths in \(X\), and \(2\)-morphisms homotopies (relative to endpoints) between paths; those homotopies are taken modulo homotopy. The goal of the paper under review is to promote this construction to a \textit{topological} bigroupoid, that is, give suitable topologies to the sets of objects, \(1\)-morphism, and \(2\)-morphisms. The first two are just the original topology of \(X\) and the compact-open topology on the path space. The biggest challenge is to define an appropriate topology on the set of homotopy classes of homotopies between paths, so that compositions and all other categorical operations are continuous. As a technical condition, it is required that \(X\) is semilocally \(2\)-connected, i.e., there exists a basis of neighborhoods \(\{ U \}\) which are simply-connected and \(\pi_2(U) \to \pi_2(X)\) is the zero map. Finally, it is shown that if \(X\) is locally relatively contractible, then its fundamental bigroupoid is locally trivial. This condition is closely related to the existence of a locally trivial \(2\)-bundle associated to the groupoid. In this sense, this result is a higher analogue of the fact that the universal cover of a semilocally simply connected space admits local trivializations.
    0 references
    fundamental bigroupoid
    0 references
    homotopy 2-type
    0 references
    topological bigroupoid
    0 references

    Identifiers