
arXiv: 2407.12156
A classical result in Morse theory is the determination of the homotopy type of the loop space of a manifold. In this paper, we study this result through the lens of discrete Morse theory. This requires a suitable simplicial model for the loop space. Here, we use Milnor's $\textrm{F}^+\textrm{K}$ construction to model the loop space of the sphere $S^2$, describe a discrete gradient on it, and identify a collection of critical cells. We also compute the action of the boundary operator in the Morse complex on these critical cells, showing that they are potential homology generators. A careful analysis allows us to recover the calculation of the first homology of $\Omega S^2$.
Comment: 15 pages, 1 figure
loop space, Simplicial sets and complexes in algebraic topology, critical cell, simplicial set, 57Q70, 55P35, Mathematics - Algebraic Topology, Discrete Morse theory and related ideas in manifold topology, discrete Morse theory, Milnor's \(F^+K\) construction, Morse matching, Loop spaces
loop space, Simplicial sets and complexes in algebraic topology, critical cell, simplicial set, 57Q70, 55P35, Mathematics - Algebraic Topology, Discrete Morse theory and related ideas in manifold topology, discrete Morse theory, Milnor's \(F^+K\) construction, Morse matching, Loop spaces
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
