Abstract:It is well-known that the reduced Floer homology of a rational homology sphere admitting a taut foliation does not vanish. We strengthen this by showing that (when thought of as an $\mathbb{F}[U]$-module) it also admits a direct $\mathbb{F}$-summand. Hence, one could potentially detect counterexamples to the foliation part of the $L$-space conjecture via purely Floer theoretic computations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the relationship between the taut foliation of compact three - dimensional manifolds (especially rational homology spheres) and their Floer homology groups. Specifically, the author attempts to provide a new method by strengthening the known results to detect counterexamples related to taut foliation in the L - space conjecture.
### Background and Problem Description of the Paper
1. **Taut Foliations and Floer Homology**
- It is known that if a rational homology sphere \(Y\) has a taut foliation, then its reduced Floer homology group \(HM^*(Y)\) is non - zero.
- The goal of this paper is to further study this property, that is, when \(Y\) has a taut foliation, the structure of \(HM^*(Y)\) as an \(\mathbb{F}[U]\)-module will be restricted.
2. **L - space Conjecture**
- A part of the L - space conjecture predicts the relationship between the existence of taut foliation and certain topological properties.
- Specifically, the conjecture states that if a rational homology sphere \(Y\) is irreducible and \(\dim_{\mathbb{F}}\widehat{HM}^*(Y)>|H_1(Y;\mathbb{Z})|\), then \(Y\) must have a taut foliation.
3. **Main Results**
- The author proves that if a rational homology sphere \(Y\) has a taut foliation, then \(HM^*(Y)\) as an \(\mathbb{F}[U]\)-module must contain a direct \(\mathbb{F}\)-summand.
- This result means that counterexamples in the L - space conjecture can be detected by pure Floer - theoretic calculations.
### Main Theorems and Corollaries
- **Theorem**: Suppose the rational homology sphere \(Y\) has a taut foliation. Then \(HM^*(Y)\) as an \(\mathbb{F}[U]\)-module contains a direct \(\mathbb{F}\)-summand.
\[
\text{If } Y \text{ admits a taut foliation, then the } \mathbb{F}[U]\text{-module } HM^*(Y) \text{ admits a direct } \mathbb{F}\text{-summand.}
\]
- **Corollary**: If the part of the L - space conjecture regarding taut foliations holds, then for any rational homology sphere \(Y\), the \(\mathbb{F}[U]\)-module \(HM^*(Y)\) either vanishes or admits a direct \(\mathbb{F}\)-summand.
\[
\text{If the L - space conjecture regarding taut foliations holds, then for any rational homology sphere } Y,\\
\text{the } \mathbb{F}[U]\text{-module } HM^*(Y) \text{ either vanishes or admits a direct } \mathbb{F}\text{-summand.}
\]
### Methods and Proof Ideas
- **Proof Strategy**: The author improves the usual non - zero proof, uses the TQFT properties of monopole Floer homology, and combines Seiberg - Witten invariants and invariants of contact structures to finally prove the above theorem.