Morse flow categories as exit path categories

Colin Fourel

arxiv: 2605.27112 · v2 · pith:3YVXTH3Wnew · submitted 2026-05-26 · 🧮 math.AT · math.CT· math.SG

Morse flow categories as exit path categories

Colin Fourel This is my paper

Pith reviewed 2026-06-29 14:38 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.SG

keywords Morse flow categoryexit path categoryMorse-Smale pairinfinity-category equivalencestable manifoldsstratificationconstructible sheaveshomotopy coherent nerve

0 comments

The pith

The topological flow category from a Morse-Smale pair on a manifold is equivalent as an infinity-category to the exit path category stratified by stable manifolds.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that the flow category M, whose objects are critical points of a Morse function and whose morphisms are spaces of trajectories of the vector field, is equivalent as an infinity-category to the exit path infinity-category of the manifold with respect to the stratification by stable manifolds. The proof first shows that spaces of broken trajectories are homotopy equivalent to unbroken ones, then constructs a map from unbroken trajectories to exit paths that is a weak homotopy equivalence, and finally assembles a zigzag of equivalences between the homotopy coherent nerve of M and the exit path category using a flow coherent nerve, stratified cubes, and a comparison result. This identification supplies a model for the stratified homotopy type directly from flow data. A sympathetic reader would care because the result supplies a concrete bridge between classical Morse theory and the theory of exit paths in stratified spaces, with stated consequences for constructible sheaves.

Core claim

The topological flow category M arising from a Morse-Smale pair (f, ξ) on a smooth closed manifold X is equivalent, as an infinity-category, to the exit path infinity-category Sing_A(X) with respect to the stratification by the stable manifolds of ξ. Objects of M are the critical points; morphism spaces are spaces of possibly broken trajectories, which are homotopy equivalent to spaces of unbroken trajectories. These map to exit paths by a weak homotopy equivalence. The homotopy coherent nerve of M is then connected to Sing_A(X) by a zigzag that passes through the flow coherent nerve (whose simplices are unbroken diagrams), a functor from ordered sequences of critical points to A-stratified

What carries the argument

The flow coherent nerve of M, which assembles unbroken diagrams of trajectories into a functor from ordered sequences of critical points to A-stratified spaces and compares it to the stratified geometric realization functor.

If this is right

The morphism spaces of the flow category are weakly homotopy equivalent to the spaces of exit paths between corresponding critical points.
Constructible sheaves on the manifold admit a description in terms of the flow category data.
The homotopy type of the manifold can be recovered from the flow category.
The equivalence supplies a combinatorial model for the exit path category using only the critical points and connecting trajectories.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result indicates that flow categories may provide explicit models for exit path categories on other stratified spaces whenever a suitable stratification by stable manifolds exists.
Explicit computation of both sides on the circle or on the 2-sphere would give a direct check of the equivalence for low-dimensional cases.
The construction could be tested for robustness by relaxing the closed-manifold assumption while keeping the stratification conditions intact.

Load-bearing premise

The map of semi-simplicial sets induced by the flow coherent nerve satisfies the hypotheses needed for Tanaka's theorem to produce an equivalence of infinity-categories.

What would settle it

A concrete counterexample would be any Morse-Smale pair on a closed manifold for which the space of unbroken trajectories between two critical points fails to be weakly homotopy equivalent to the space of exit paths between the same points.

Figures

Figures reproduced from arXiv: 2605.27112 by Colin Fourel.

read the original abstract

We prove that the topological flow category $\mathcal{M}$ arising from a Morse-Smale pair $(f,\xi)$ on a smooth closed manifold $X$ is equivalent, as an $\infty$-category, to Lurie's $\infty$-category $\mathrm{Sing}_A(X)$ of exit paths in $X$ with respect to the stratification by the stable manifolds of $\xi$. The objects of $\mathcal{M}$ are the critical points of $f$, and for every pair of critical points, the space of morphisms of $\mathcal{M}$ between these is the space of possibly broken trajectories of $\xi$ connecting them; it can be identified up to homotopy with the space of unbroken ones. The latter maps naturally to the space of exit paths connecting these critical points; we prove this map to be a weak homotopy equivalence. Then, we combine these ingredients with several others to construct a zigzag of equivalences between the homotopy coherent nerve of $\mathcal{M}$, denoted $\mathcal{N}(\mathcal{M})$, and $\mathrm{Sing}_A(X)$. The $n$-simplices of $\mathcal{N}(\mathcal{M})$ are homotopy coherent diagrams of $n$ composable morphisms of $\mathcal{M}$; we introduce the notion of unbroken diagram, yielding an $\infty$-subcategory of $\mathcal{N}(\mathcal{M})$, which we refer to as the flow coherent nerve of $\mathcal{M}$. The simplices of the latter give rise to stratified maps out of a family of stratified cubes, into $X$. We organize this family into a functor from the category of finite ordered sequences of critical points, to the category of $A$-stratified topological spaces, and we prove a comparison result with the usual stratified geometric realization functor. We finally use a theorem of Tanaka that associates a functor of $\infty$-categories to a map a semi-simplicial sets satisfying some conditions. Our theorem has implications regarding constructible sheaves and the description of homotopy types in terms of flow categories.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a direct zigzag equating the Morse flow category to Sing_A(X) via unbroken diagrams and the flow coherent nerve, with the Tanaka theorem step as the part that needs the closest look.

read the letter

The core claim is that the topological flow category M from a Morse-Smale pair equals Lurie's exit-path ∞-category Sing_A(X) for the stable-manifold stratification. The paper builds this by first showing that broken trajectories are homotopy equivalent to unbroken ones, then mapping the unbroken ones to exit paths and proving the map is a weak equivalence. It introduces unbroken diagrams to carve out the flow coherent nerve inside the homotopy coherent nerve, turns the n-simplices into a functor from ordered sequences of critical points to A-stratified spaces, and compares that to stratified geometric realization before feeding the resulting semi-simplicial map into Tanaka's theorem.

What stands out is the concrete construction: the identification of morphism spaces, the weak-equivalence proof for the exit-path map, and the new notions of unbroken diagrams and flow coherent nerve. These pieces are spelled out enough that a reader can follow the intended zigzag without obvious circularity.

The soft spot is the final application of Tanaka's theorem. The abstract states that the constructed map satisfies the required conditions, but supplies no explicit verification that it is levelwise a weak equivalence or meets the cofibrancy or enrichment compatibilities. The stress-test note correctly flags this bridge as the least checked part of the argument. If the full text contains a careful check, the result holds; if the check is only sketched, that section would benefit from expansion.

The work is aimed at people already working at the intersection of Morse theory and stratified homotopy theory, especially those who might later use the equivalence for constructible sheaves. A reader who wants a precise comparison between flow data and exit paths will find the steps useful even if they later need to fill in details.

It deserves peer review. The claim is specific, the outline is direct, and the potential payoff is clear, so referees should be asked to focus on the Tanaka step and the stratified-realization comparison.

Referee Report

2 major / 1 minor

Summary. The paper claims to prove that the topological flow category M arising from a Morse-Smale pair (f, ξ) on a closed smooth manifold X is equivalent as an ∞-category to Lurie's exit path ∞-category Sing_A(X) stratified by the stable manifolds of ξ. The argument proceeds via identification of morphism spaces up to homotopy, construction of unbroken diagrams and the flow coherent nerve as an ∞-subcategory of the homotopy coherent nerve N(M), a functor from ordered sequences of critical points to A-stratified spaces, a comparison with stratified geometric realization, and a final application of Tanaka's theorem to a map of semi-simplicial sets.

Significance. If the claimed equivalence holds, the result connects classical Morse theory with stratified homotopy theory in a concrete way, with potential implications for the study of constructible sheaves and homotopy types via flow categories. The explicit constructions of unbroken diagrams and the flow coherent nerve constitute a substantive technical contribution.

major comments (2)

[Main theorem proof (zigzag construction, as described in the abstract)] The final step of the zigzag invokes Tanaka's theorem to produce an ∞-functor from a map of semi-simplicial sets, but the manuscript provides no explicit verification that the constructed map (arising from the flow coherent nerve and the comparison with stratified geometric realization) satisfies the theorem's hypotheses, such as levelwise weak equivalences or the required compatibility conditions. This verification is load-bearing for the claimed equivalence between N(M) and Sing_A(X).
[Comparison with stratified geometric realization (as described in the abstract)] The comparison result between the functor from ordered sequences of critical points to A-stratified spaces and the usual stratified geometric realization functor is used to feed the semi-simplicial map into Tanaka's theorem, yet the manuscript does not detail how this comparison preserves the weak equivalences or cofibrancy properties needed for the theorem's applicability.

minor comments (1)

[Abstract] The abstract is lengthy and compresses multiple technical steps; breaking the description of the zigzag into enumerated steps would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the potential implications of our result for constructible sheaves and homotopy types. We address the two major comments below. Both concern the need for more explicit verification in the final steps of the zigzag; we agree these details should be expanded and will do so in revision.

read point-by-point responses

Referee: [Main theorem proof (zigzag construction, as described in the abstract)] The final step of the zigzag invokes Tanaka's theorem to produce an ∞-functor from a map of semi-simplicial sets, but the manuscript provides no explicit verification that the constructed map (arising from the flow coherent nerve and the comparison with stratified geometric realization) satisfies the theorem's hypotheses, such as levelwise weak equivalences or the required compatibility conditions. This verification is load-bearing for the claimed equivalence between N(M) and Sing_A(X).

Authors: We acknowledge that the manuscript does not contain a self-contained, explicit check that the semi-simplicial map induced by the flow coherent nerve satisfies all hypotheses of Tanaka's theorem (levelwise weak equivalences, compatibility with face and degeneracy maps, etc.). In the revised version we will insert a new subsection immediately preceding the application of Tanaka's theorem that verifies these conditions one by one, using the already-established weak equivalences on morphism spaces and the unbroken-diagram construction. revision: yes
Referee: [Comparison with stratified geometric realization (as described in the abstract)] The comparison result between the functor from ordered sequences of critical points to A-stratified spaces and the usual stratified geometric realization functor is used to feed the semi-simplicial map into Tanaka's theorem, yet the manuscript does not detail how this comparison preserves the weak equivalences or cofibrancy properties needed for the theorem's applicability.

Authors: We agree that the comparison between our functor (from ordered sequences of critical points to A-stratified spaces) and stratified geometric realization requires additional arguments showing preservation of weak equivalences and the relevant cofibrancy conditions. The revised manuscript will expand the relevant section with these preservation statements, relying on the homotopy equivalences already proved for unbroken trajectories and the stratified structure of the cubes. revision: yes

Circularity Check

0 steps flagged

No circularity; direct zigzag of equivalences via external theorem

full rationale

The derivation proceeds by explicit constructions: morphism spaces of M identified up to homotopy with unbroken trajectories, a natural map to exit paths shown to be a weak homotopy equivalence, introduction of unbroken diagrams yielding the flow coherent nerve as an ∞-subcategory, organization into a functor from ordered sequences of critical points to A-stratified spaces, a comparison with stratified geometric realization, and final application of Tanaka's theorem on semi-simplicial maps. No step is self-definitional (e.g., no target category defined in terms of the source), no fitted inputs renamed as predictions, and no load-bearing self-citations or imported uniqueness theorems. Tanaka's result is external; the paper's chain remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on the Morse-Smale transversality condition and standard properties of infinity-categories; no free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption A Morse-Smale pair (f,ξ) satisfies the transversality condition that stable and unstable manifolds intersect transversely.
Invoked to ensure the flow category is well-defined with the stated morphism spaces.
domain assumption Tanaka's theorem applies to the constructed map of semi-simplicial sets.
Used in the final step to obtain the equivalence of infinity-categories.

pith-pipeline@v0.9.1-grok · 5887 in / 1280 out tokens · 35257 ms · 2026-06-29T14:38:26.291920+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Transport functions for principal bundles and Morse homology with differential graded coefficients
math.AT 2026-06 unverdicted novelty 6.0

Transport functions are constructed from Morse data to describe principal bundles, enabling a DG-coefficient Morse homology whose homology equals that of associated bundles in many cases and matches parallel transport...

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages · cited by 1 Pith paper

[1]

[Cor82] Jean-Marc Cordier

Available at:https://arxiv.org/abs/2603.23695. [Cor82] Jean-Marc Cordier. Sur la notion de diagramme homotopiquement cohérent.Cahiers de topologie et géométrie différentielle, 23(1):93–112, 1982. [Cor02] Octavian Cornea. Homotopical Dynamics II: Hopf invariants, smoothings and the Morse com- plex. InAnnales scientifiques de l’Ecole normale supérieure, vol...

work page arXiv 1982
[2]

[Qin10] Lizhen Qin

Available at:https://arxiv.org/abs/2211.05004. [Qin10] Lizhen Qin. On moduli spaces and CW structures arising from Morse theory on Hilbert manifolds.Journal of Topology and Analysis, 2(04):469–526, 2010. [Qui67] Daniel Quillen.Homotopical Algebra, volume 43 ofLecture Notes in Mathematics. Springer, 1967. [Qui88] Frank Quinn. Homotopically stratified sets....

work page arXiv 2010

[1] [1]

[Cor82] Jean-Marc Cordier

Available at:https://arxiv.org/abs/2603.23695. [Cor82] Jean-Marc Cordier. Sur la notion de diagramme homotopiquement cohérent.Cahiers de topologie et géométrie différentielle, 23(1):93–112, 1982. [Cor02] Octavian Cornea. Homotopical Dynamics II: Hopf invariants, smoothings and the Morse com- plex. InAnnales scientifiques de l’Ecole normale supérieure, vol...

work page arXiv 1982

[2] [2]

[Qin10] Lizhen Qin

Available at:https://arxiv.org/abs/2211.05004. [Qin10] Lizhen Qin. On moduli spaces and CW structures arising from Morse theory on Hilbert manifolds.Journal of Topology and Analysis, 2(04):469–526, 2010. [Qui67] Daniel Quillen.Homotopical Algebra, volume 43 ofLecture Notes in Mathematics. Springer, 1967. [Qui88] Frank Quinn. Homotopically stratified sets....

work page arXiv 2010