Loop space
In topology, a branch of mathematics, the loop space ΩX of a pointed topological space X is the space of (based) loops in X, i.e. continuous pointed maps from the pointed circle S1 to X, equipped with the compact-open topology. Two loops can be multiplied by concatenation. With this operation, the loop space is an A∞-space. That is, the multiplication is homotopy-coherently associative.
The set of path components of ΩX, i.e. the set of based-homotopy equivalence classes of based loops in X, is a group, the fundamental group π1(X).
The iterated loop spaces of X are formed by applying Ω a number of times.
There is an analogous construction for topological spaces without basepoint. The free loop space of a topological space X is the space of maps from the circle S1 to X with the compact-open topology. The free loop space of X is often denoted by [math]\displaystyle{ \mathcal{L}X }[/math].
As a functor, the free loop space construction is right adjoint to cartesian product with the circle, while the loop space construction is right adjoint to the reduced suspension. This adjunction accounts for much of the importance of loop spaces in stable homotopy theory. (A related phenomenon in computer science is currying, where the cartesian product is adjoint to the hom functor.) Informally this is referred to as Eckmann–Hilton duality.
Eckmann–Hilton duality
The loop space is dual to the suspension of the same space; this duality is sometimes called Eckmann–Hilton duality. The basic observation is that
- [math]\displaystyle{ [\Sigma Z,X] \approxeq [Z, \Omega X] }[/math]
where [math]\displaystyle{ [A,B] }[/math] is the set of homotopy classes of maps [math]\displaystyle{ A \rightarrow B }[/math], and [math]\displaystyle{ \Sigma A }[/math] is the suspension of A, and [math]\displaystyle{ \approxeq }[/math] denotes the natural homeomorphism. This homeomorphism is essentially that of currying, modulo the quotients needed to convert the products to reduced products.
In general, [math]\displaystyle{ [A, B] }[/math] does not have a group structure for arbitrary spaces [math]\displaystyle{ A }[/math] and [math]\displaystyle{ B }[/math]. However, it can be shown that [math]\displaystyle{ [\Sigma Z,X] }[/math] and [math]\displaystyle{ [Z, \Omega X] }[/math] do have natural group structures when [math]\displaystyle{ Z }[/math] and [math]\displaystyle{ X }[/math] are pointed, and the aforementioned isomorphism is of those groups.[1] Thus, setting [math]\displaystyle{ Z = S^{k-1} }[/math] (the [math]\displaystyle{ k-1 }[/math] sphere) gives the relationship
- [math]\displaystyle{ \pi_k(X) \approxeq \pi_{k-1}(\Omega X) }[/math].
This follows since the homotopy group is defined as [math]\displaystyle{ \pi_k(X)=[S^k,X] }[/math] and the spheres can be obtained via suspensions of each-other, i.e. [math]\displaystyle{ S^k=\Sigma S^{k-1} }[/math].[2]
See also
- Eilenberg–MacLane space
- Free loop
- Fundamental group
- Gray's conjecture
- List of topologies
- Loop group
- Path (topology)
- Quasigroup
- Spectrum (topology)
- Path space (algebraic topology)
References
- ↑ May, J. P. (1999), A Concise Course in Algebraic Topology, U. Chicago Press, Chicago, http://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf, retrieved 2016-08-27 (See chapter 8, section 2)
- ↑ Topospaces wiki – Loop space of a based topological space
- Adams, John Frank (1978), Infinite loop spaces, Annals of Mathematics Studies, 90, Princeton University Press, ISBN 978-0-691-08207-3, https://books.google.com/books?id=e2rYkg9lGnsC
- May, J. Peter (1972), The Geometry of Iterated Loop Spaces, Lecture Notes in Mathematics, 271, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0067491, ISBN 978-3-540-05904-2, http://www.math.uchicago.edu/~may/BOOKSMaster.html
 |  |
