Left orderability and taut foliations with one-sided branching

This paper proves that the fundamental group of a closed orientable irreducible 3-manifold admitting a co-orientable taut foliation with one-sided branching is left orderable.

The Gist

The Big Picture: The "L-Space" Mystery

Imagine you are a detective trying to solve a mystery about 3-dimensional shapes (called 3-manifolds). Mathematicians have a famous hypothesis called the L-space conjecture. It suggests that for any closed, solid 3D shape, there are three ways to describe it, and they are all secretly the same thing:

1. The Geometry: The shape is "complicated" enough to not be a special, simple type called an "L-space."
2. The Flow: You can draw a continuous, non-stop river (a foliation) that flows through the entire shape without ever getting stuck or looping back on itself in a weird way.
3. The Group: The shape has a "fundamental group" (a code describing how you can walk around it and return to the start) that follows a specific rule called Left Orderability.

Think of Left Orderability like a strict line of people. If you have a group of people, you can line them up in a single file (an order) such that if Person A is ahead of Person B, and you ask everyone to move forward by the same amount, Person A is still ahead of Person B. Some groups can do this; others are too chaotic to ever line up properly.

The Goal: The paper wants to prove that if a shape has a specific kind of "river flow" (a taut foliation), its fundamental group must be able to line up in a single file (be left orderable).

The Three Types of Rivers

When mathematicians look at these rivers flowing through 3D shapes, they usually fall into three categories based on how the "leaves" of the river (the individual layers of the flow) behave when you zoom out to the infinite scale:

1. R-covered: The river looks like a perfect, straight, infinite sheet. (We already knew these shapes have "orderable" groups).
2. Two-sided Branching: The river splits and merges on both sides, like a chaotic, tangled tree. This is the most common, messy case.
3. One-sided Branching: The river splits, but only in one direction. Imagine a highway that keeps merging into a single lane as you go forward, but as you go backward, it keeps splitting into more and more lanes.

The Problem: We knew the rule worked for the straight rivers (Type 1) and the messy trees (Type 2) was the big unknown. This paper solves the middle case: One-sided branching.

The Solution: The "Blow-Up" Trick

How did the author prove that the group for these "one-sided branching" rivers can line up? He used a clever magic trick called "Blowing Up."

1. The Setup: A Non-Hausdorff Map

Imagine the "leaf space" (the map of all the river layers) as a strange, non-standard map. In normal maps, if two points are different, you can draw a circle around one that doesn't touch the other. But in this strange map, some points are "glued" together so tightly that you can't separate them. It's like a map where two different cities occupy the exact same spot, but they are technically distinct.

2. The Magic Trick: The Blow-Up

To fix this confusing map, the author performs a "blow-up."

• Imagine you have a single point on a map that represents a specific river layer.
• Instead of leaving it as a dot, you inflate it into a small interval (a tiny line segment).
• You do this for every single layer of the river.

Suddenly, that confusing, glued-together map transforms. The "glued" points are now separated by these tiny intervals. The map is no longer a messy knot; it becomes a structure that behaves much more like a standard line, but with extra "rooms" (intervals) where the branches used to be.

3. The New Group Action

Now, the author looks at how the shape's symmetries (the fundamental group) move around this new, "blown-up" map.

• Because the map is now "cleaner," the author can define a specific way to translate the movement of these symmetries into a group of functions that move points along a standard line ($\mathbb{R}$).
• He creates a "translation key" (a homomorphism) that takes the chaotic movements of the 3D shape and maps them into a group called $G_\infty$.

4. The Final Proof

The group $G_\infty$ is a special mathematical object that was already proven by another mathematician (Navas) to be Left Orderable.

• The author proves that his "translation key" is a perfect, one-to-one match (an injection).
• Therefore, the fundamental group of the 3D shape is a "sub-group" of $G_\infty$.
• If the big group ($G_\infty$) can line up in a single file, and your group fits perfectly inside it, your group can also line up in a single file.

The Analogy: The Infinite Hotel

Think of the 3D manifold as a hotel with infinite rooms.

• The River (Foliation): The hallways connecting the rooms.
• One-sided Branching: The hallways keep splitting into more doors as you walk backward, but merge into a single door as you walk forward.
• The Problem: The layout is so weird that you can't assign a simple "Room 1, Room 2, Room 3" number to the guests because the hallways are tangled.
• The Blow-Up: The manager decides to replace every single hallway intersection with a long, straight corridor. Now, instead of a tangled knot, you have a series of long, straight corridors.
• The Result: Even though the hotel is huge and complex, the new layout allows you to assign every guest a unique number on a single, infinite line. Because you can number them, the hotel's management (the fundamental group) is "orderable."

Why This Matters

This paper closes a major gap in the L-space conjecture.

• Before this, we knew the rule worked for "straight" rivers and "messy" rivers.
• The "one-sided branching" river was the missing puzzle piece.
• By proving this piece works, the author brings us one step closer to proving that Geometry, Flow, and Order are all just different names for the same underlying truth about 3D shapes.

In short: The author took a tangled, confusing river system, inflated the knots to untangle them, and showed that the resulting system follows a strict, orderly line. This proves that the 3D shape containing this river is mathematically "orderable."

Technical Summary

1. Problem Statement and Context

The L-space Conjecture:
The paper addresses a central open problem in low-dimensional topology known as the L-space conjecture, proposed by Boyer, Gordon, Watson, and Juhász. The conjecture posits that for a closed, orientable, irreducible 3-manifold $M$, the following three properties are equivalent:

1. $M$ is not an L-space (a rational homology sphere with minimal Heegaard Floer homology rank).
2. The fundamental group $\pi_1(M)$ is left-orderable (admits a total ordering invariant under left multiplication).
3. $M$ admits a co-orientable taut foliation.

Current Status and the Gap:

• It is known that (3) $\implies$ (1) (Ozsváth-Szabó).
• It is known that (2) $\implies$ (1) (Gordon).
• The direction (3) $\implies$ (2) is the focus of this paper. While this implication is proven for manifolds with $b_1(M) > 0$ (Boyer-Rolfsen-Wiest) and for graph manifolds, the general case remains open.

Classification of Foliations:
Taut foliations are classified by the topology of their leaf spaces ($L(\mathcal{F})$) in the universal cover $\tilde{M}$:

1. R-covered: $L(\mathcal{F}) \cong \mathbb{R}$. (Known to imply left-orderability).
2. Two-sided branching: The generic case. (The most difficult open case).
3. One-sided branching: An intermediate case where the leaf space branches in only one direction (positive or negative).

The Specific Problem:
This paper aims to prove that if a closed, orientable, irreducible 3-manifold $M$ admits a co-orientable taut foliation with one-sided branching, then $\pi_1(M)$ is left-orderable. This effectively reduces the remaining unknown case of the L-space conjecture to the "two-sided branching" scenario.

---

2. Methodology

The proof strategy involves constructing a specific group action and embedding the fundamental group into a known left-orderable group.

A. Leaf Space Analysis

The author analyzes the structure of the leaf space $L(\mathcal{F})$ of the pull-back foliation $\tilde{\mathcal{F}}$ in the universal cover.

• One-sided branching definition: The leaf space $L$ is not homeomorphic to $\mathbb{R}$ and branches in only one direction. Specifically, for any two points $u, v$, there exists a point $s$ such that $s > u$ and $s > v$ (negative branching), or $s < u$ and $s < v$ (positive branching).
• Ends of the leaf space: The author establishes that one-sided branching corresponds to the leaf space having exactly one end in the branching direction and infinitely many ends in the opposite direction.

B. The "Blow-up" Construction

To handle the non-Hausdorff nature of the leaf space and ensure the group action is effective, the author employs a Denjoy blow-up operation:

1. Select a leaf $\lambda$ of the foliation $\mathcal{F}$.
2. "Blow up" this leaf (and its lifts in the universal cover) by replacing each point $g(\tilde{\lambda})$ in the leaf space with a closed interval $I$.
3. This creates a new foliation $\mathcal{F}_0$ and a new leaf space $L(\mathcal{F}_0)$.
4. Crucially, the author defines a new action of $\pi_1(M)$ on $L(\mathcal{F}_0)$ that acts non-trivially on these new intervals. This is achieved by utilizing the fact that the stabilizer of the leaf $\lambda$ (isomorphic to $\pi_1(\lambda)$) is a left-orderable group (surface groups are left-orderable) and can act effectively on the interval $I$.

C. Embedding into $G_\infty$

The core technical innovation is constructing an injective homomorphism from $\pi_1(M)$ into a specific group $G_\infty$.

• Definition of $G_\infty$: Let $Homeo_+(\mathbb{R})$ be the group of orientation-preserving homeomorphisms of the real line. Define an equivalence relation $\sim$ where $f \sim g$ if they agree on some ray $[n, +\infty)$. Then $G_\infty = Homeo_+(\mathbb{R}) / \sim$.
• Navas's Theorem: The group $G_\infty$ is known to be left-orderable (proven by Navas).
• The Homomorphism: Using the blown-up leaf space $L(\mathcal{F}_0)$ and a proper embedding $e: \mathbb{R} \to L(\mathcal{F}_0)$, the author constructs a map $d: \pi_1(M) \to G_\infty$.
  • For $g \in \pi_1(M)$, the map $d(g)$ is defined by the asymptotic behavior of the action of $g$ on the ray $e(\mathbb{R})$.
  • The "blow-up" ensures that for any non-identity element $g$, the action moves points on the ray sufficiently far out, ensuring $d(g) \neq 1$ in the quotient group.

---

3. Key Contributions

1. Proof of Theorem 1.1: The paper provides a rigorous proof that if $M$ admits a co-orientable taut foliation with one-sided branching, then $\pi_1(M)$ is left-orderable.
2. Refinement of the L-space Conjecture: By resolving the one-sided branching case, the paper narrows the scope of the L-space conjecture. The conjecture now only remains unproven for manifolds admitting taut foliations with two-sided branching.
3. Novel Use of Blow-ups: The paper adapts the Denjoy blow-up technique to the context of non-Hausdorff leaf spaces to construct an effective group action. This allows the translation of the topological properties of the foliation into algebraic properties of the fundamental group.
4. Connection to $G_\infty$: The work demonstrates the utility of the group $G_\infty$ (introduced by Mann and Navas) as a target for embedding fundamental groups of 3-manifolds, bypassing the need to construct an explicit action on $\mathbb{R}$ directly (which is often difficult for non-Hausdorff leaf spaces).

---

4. Results

• Main Theorem: Let $M$ be a connected, closed, orientable, irreducible 3-manifold. If $M$ admits a co-orientable taut foliation with one-sided branching, then $\pi_1(M)$ is left-orderable.
• Injectivity: The constructed homomorphism $d: \pi_1(M) \to G_\infty$ is injective. Since $G_\infty$ is left-orderable, any subgroup (including the image of $\pi_1(M)$) is left-orderable.
• Limitation: The paper explicitly notes that while the proof establishes the existence of a left-ordering on $\pi_1(M)$, it does not provide a constructive method to define this ordering or an explicit action of $\pi_1(M)$ on $\mathbb{R}$. This is because the left-orderability of $G_\infty$ itself is non-constructive.

---

5. Significance

• Progress on a Major Conjecture: This result represents a significant step toward the full resolution of the L-space conjecture. By eliminating the "one-sided branching" case, it isolates the "two-sided branching" case as the sole remaining obstacle.
• Methodological Advancement: The technique of using blow-ups to "separate" group elements in the leaf space and map them to the asymptotic group $G_\infty$ offers a new tool for studying the relationship between foliations and group orderability.
• Clarification of Foliations: The paper provides a clear structural analysis of one-sided branching foliations, linking their topological properties (number of ends in the leaf space) directly to the algebraic property of left-orderability.

In summary, Bojun Zhao successfully bridges the gap between the existence of specific types of taut foliations and the algebraic property of left-orderability, utilizing advanced techniques in 1-manifold topology and group theory to reduce the L-space conjecture to its most complex remaining case.