Calegari's Flow Conjecture

• Calegari's Flow Conjecture is a central theory in dynamics on hyperbolic 3-manifolds asserting that every quasigeodesic flow exhibits closed orbits.
• Recent work demonstrates that these flows can be semiconjugated on large invariant subsets to pseudo-Anosov flows with robust exponential dynamics.
• The conjecture bridges coarse geometric properties with fine dynamical features, impacting manifold topology and symbolic dynamics.

Calegari's Flow Conjecture is a central statement in the paper of dynamical systems on hyperbolic 3-manifolds, specifically addressing the dynamical and geometric nature of quasigeodesic flows. The conjecture, formulated by Danny Calegari, posits that every quasigeodesic flow on a closed hyperbolic 3-manifold admits closed orbits and, in stronger versions, may be deformed into flows exhibiting pseudo-Anosov dynamics—expansive behavior characterized by invariant transverse structures. Recent progress has established closed orbit existence (Frankel, 2015), and shown that such flows can be semiconjugated to pseudo-Anosov flows on large invariant subsets (Frankel et al., 2 Oct 2025), thus bridging coarse geometric properties with fine dynamical features.

1. Quasigeodesic Flows and Hyperbolic 3-Manifolds

A quasigeodesic flow $\Phi$ on a closed hyperbolic 3-manifold $M$ consists of a one-parameter family of diffeomorphisms where each orbit, when lifted to the universal cover $\widetilde{M} \simeq \mathbb{H}^3$, is a quasigeodesic. That is, for each flowline $\gamma$, there exist constants $k \geq 1$ and $C \geq 0$ such that for all $s, t$:

$$\frac{1}{k}|s-t| - C \leq d(\gamma(s), \gamma(t)) \leq k|s-t| + C$$

Quasigeodesicity is a coarse hyperbolic dynamical property, with implications for their behavior at the boundary at infinity and the existence of closed orbits (Frankel, 2015). The paper of ends of hyperbolic 3-manifolds (Bonahon [Invent. Math. 114 (1993), 193–206]) provides foundational structural results used in analyses of boundary behavior and universal circles.

2. The Existence of Closed Orbits

Calegari's original conjecture asserted the existence of closed orbits for any quasigeodesic flow on a closed hyperbolic 3-manifold. This was proved in "Coarse hyperbolicity and closed orbits for quasigeodesic flows" (Frankel, 2015), establishing that:

Every quasigeodesic flow on a closed hyperbolic 3-manifold has closed orbits.

This result utilizes coarse hyperbolic techniques and an analysis of orbit spaces and universal circles, leveraging properties of quasi-isometries and continuity of end invariants, as pioneered by Bonahon. The existence of closed orbits is a fundamental dynamical property with implications for entropy, rigidity, and classification of flows.

3. Deformation to Pseudo-Anosov Flows

A refined version of the conjecture was addressed in "From quasigeodesic to pseudo-Anosov flows" (Frankel et al., 2 Oct 2025), showing that:

Any quasigeodesic flow $\Phi$ on a closed hyperbolic 3-manifold $M$ can be semiconjugated, on a large invariant subset $M_L$, to a flow $\Psi$ which is both quasigeodesic and pseudo-Anosov.

The proof involves the following core components:

• Circle and Disc Decompositions: Special pairs of decompositions on the universal circle $S_u^1$, satisfying unlinking and nesting, are extended to 'emuu pairs' in a disc $Q$ via convex hull constructions, producing transverse singular foliations analogous to stable/unstable structures.
• Flowspace Analysis: The "linked subset" $P_L \subset P$ of the flowspace contains points where positive and negative ideal endpoints interlace in $S_u^1$, yielding an invariant set homeomorphic to $\mathbb{R}^2$.
• Comparison Map: A flow-equivariant map $R: M \to T^1M$ sends each flowline to the unique geodesic determined by its ideal endpoints, preserving the flow's timing: $R(x \cdot t) = R(x) \cdot t$.
• Straightening and Product Structure: The straightening map $s: P_L \to Q$ and $\Pi: A \times \mathbb{R} \to |A|$ provide a product structure $M_L \cong P_L \times \mathbb{R}$, enabling the definition of the "straightened" flow $\Psi$ semiconjugate to the original $\Phi$.
• Pseudo-Anosov Properties: The new flow $\Psi$ admits transverse invariant foliations, exponential contraction/expansion on strong leaves

$$d(x \cdot t, y \cdot t) \leq a \lambda^{-t} d(x, y)$$

for suitable constants, and is expansive (admitting a Markov partition), thus qualifying as pseudo-Anosov.

4. Universal Circles, Decompositions, and Foliations

The universal circle $S_u^1$ plays a central role as the "end compactification" boundary associated with the orbit space of the lifted flow. Decompositions of $S_u^1$ (such as sprig decompositions) encode asymptotic data of flowlines and underpin the passage to transverse foliations via convex hull extensions in the disc $Q$.

• Unlinking and Nesting: Ensure proper non-interlacing and separability of decomposition elements, crucial for well-behaved foliation structures.
• Emuu Pairs: These monotone, unbounded, upper semicontinuous decompositions of the disc yield efficient intersection and transverse structure in the straightened flow.

This machinery facilitates constructing flows with well-understood stable and unstable structures, leading to pseudo-Anosov behavior, expansiveness, and symbolic dynamics via Markov partitions.

5. Algebraic and Geometric Connections

In related work (Cha et al., 15 Nov 2024), Calegari constructed homotopy 4-spheres via monodromies of fibered knots, with the mapping class action encoded by automorphisms $\varphi$ of free groups. The presentation

$$\langle x_1, ..., x_n \mid \varphi(x_i) = x_i, \; i = 1, ..., n \rangle$$

drives the construction of the mapping torus and attachment of handles, yielding a homotopy 4-sphere $\Sigma(f)$. Flow and dynamical properties of these diffeomorphisms correspond to topological features in dimensions four and five when analyzing handlebody structures.

• 5-Dimensional Techniques: Comparing thickened handlebodies $P = \Sigma(h) \times I$ and $Q = \Sigma(h_0) \times I^2$ allows identification of attaching data via isotopy, with differences resolved by Gluck twists along doubles of ribbon disks, which do not alter the diffeomorphism type of $S^4$.
• Schoenflies Conjecture Interplay: Applications include examining Casson-Gordon balls and embedding questions for homotopy 4-balls into $S^4$, revealing that, within the geometric regime, all such 4-spheres constructed from monodromies are standard.

6. Implications and Further Applications

The resolution of Calegari's Flow Conjecture has significant repercussions:

• Symbolic Dynamics and Topological Rigidity: The presence of pseudo-Anosov flows allows application of symbolic dynamics via Markov partitions and informs rigidity and classification results for 3-manifolds supporting quasigeodesic flows.
• Lamination and Circle Action Theory: Techniques involving universal circles, emuu pairs, and comparison maps contribute to understanding group actions on circles, order trees, and lamination theory in low-dimensional topology.
• 4-Manifold Topology: The interplay between dynamical methods and handlebody theory provides insight into potential counterexamples to the smooth 4-dimensional Schoenflies conjecture and clarifies the status of exotic smooth structures arising from dynamical construction.

A plausible implication is that further exploration of the interaction between coarse geometric properties (quasigeodesicity), fine dynamical structures (pseudo-Anosov behavior), and higher-dimensional topological invariants will deepen understanding of rigidity, classification, and smooth structure phenomena in the topology of manifolds.

7. Key Mathematical Expressions and Structures

Notation / Formula	Description
$R(x \cdot t) = R(x) \cdot t$	Flow-equivariant comparison map sending flowlines to geodesics
$$d(x \cdot t, y \cdot t) \leq a \lambda^{-t} d(x, y)$$	Exponential contraction on strong leaves
$$\langle x_1, ..., x_n \mid \varphi(x_i) = x_i \rangle$$	Presentation for free group automorphism in 4-sphere construction
$$\Sigma(f)=T(f)\cup_{\partial M_n\times S^1} \partial M_n\times D^2$$	Definition of homotopy 4-sphere
$$\mathbb{H}(\Lambda) = \{\mathbb{H}(\lambda)\ |\ \lambda \in \Lambda\}$$	Hull decomposition for passing from circle to disc decompositions

These formulas and structures distill key algebraic, dynamical, and topological elements of the theory, allowing precise connection between flow behavior, orbit structure, and manifold topology.

---

Calegari's Flow Conjecture, through its several established versions, has illuminated the relationship between quasigeodesic dynamics and fine invariant structures, contributed to the geometric understanding of flows on hyperbolic 3-manifolds, and provided methodological tools for higher-dimensional topological analysis and symbolic dynamics in 3-manifold theory.