Abstract:Let $M$ be a connected, closed, orientable, irreducible $3$-manifold. We show that: if $M$ admits a co-orientable taut foliation $\mathcal{F}$ with orderable cataclysm, then $\pi_1(M)$ is left orderable. This provides an elementary proof that $\pi_1(M)$ is left orderable if $M$ admits an Anosov flow with a co-orientable stable foliation without using Thurston's universal circle action. Furthermore, for every closed orientable 3-manifold that admits a pseudo-Anosov flow $X$ with a co-orientable stable foliation, our result applies to infinitely many of Dehn fillings along the union of singular orbits of $X$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the fundamental group of 3 - manifolds has left - orderability. Specifically, the author studies whether the fundamental group \(\pi_1(M)\) of a 3 - manifold \(M\) is left - orderable when \(M\) has a co - oriented compact foliation \(F\) and this foliation has ordered catastrophes. The main result of the paper shows that if \(M\) satisfies the above conditions, then \(\pi_1(M)\) is indeed left - orderable.
### Background and Motivation of the Paper
1. **L - space Conjecture**:
- An important motivation of this paper is the L - space conjecture, proposed by Boyer - Gordon - Watson in [BGW] and Juhász in [J]. The L - space conjecture states that for a 3 - manifold \(M\), the following three statements are equivalent:
1. \(M\) is not an L - space.
2. \(\pi_1(M)\) is left - orderable.
3. \(M\) has a co - oriented compact foliation \(F\).
2. **Known Results**:
- Ozsváth and Szabó proved \((3)\Rightarrow(1)\) in [OS].
- Gabai proved in [G1] that if the first Betti number of \(M\) is positive, then \(M\) has a co - oriented compact foliation.
- Boyer, Rolfsen and Wiest proved in [BRW] that if \(b_1(M)>0\), then \(\pi_1(M)\) is left - orderable.
- When \(F\) has one - sided branching, Zh proved \((3)\Rightarrow(2)\) in [Zh].
### Main Results
1. **Main Theorems**:
- **Theorem 1.1**: If a 3 - manifold \(M\) has a co - oriented compact foliation \(F\) and \(F\) has ordered catastrophes, then \(\pi_1(M)\) is left - orderable. In particular, if \(F\) has two - sided branching, then the set of endpoints of the foliation space has a linear order that is invariant under the deck transformations of \(\tilde{M}\).
2. **Applications**:
- **Anosov Flows**: Fenley proved in [F3] that the stable and unstable foliations of Anosov flows have ordered catastrophes, so Theorem 1.1 applies to these foliations.
- **Corollary 1.2**: If a 3 - manifold \(M\) has a co - oriented compact foliation that is the stable foliation of some Anosov flow, then \(\pi_1(M)\) is left - orderable. In particular, if \(M\) has an Anosov flow, then \(\pi_1(M)\) is either left - orderable or has a left - orderable subgroup of index 2.
### Technical Details
1. **Definitions and Terminologies**:
- **Catastrophe**: A set of points \(\mu\) in the foliation space \(L\) is called a catastrophe if any two different points \(u, v\in\mu\) cannot be separated by other points in \(L\), and there does not exist \(x\in L\setminus\mu\) such that \(\mu\cup\{x\}\) also satisfies this property.
- **Ordered Catastrophe**: For each catastrophe \(\mu\), there exists a linear order \(\mu <\) that is invariant under the action of \(\pi_1(M)\).
2. **Proof Ideas**:
- By constructing an embedded piecewise - linear path \(\alpha(x_1, x_2)\) from one positive end to another positive end and defining a function \(n(x_1, x_2)\) that measures the difference in the number of positive and negative branches in the path.
- Using \(n(x_1, x_2)\)