Abstract:Brunella's classification implies that every smooth foliation on a compact complex surface admits a singular transversely projective structure. However, Biswas and Sorin's recent work shows that certain foliations on compact complex surfaces, despite possessing a singular transversely projective structure, do not admit a regular transversely projective structure. Here, we describe the smooth foliations on compact complex surfaces which fail to possess a regular transversely projective structure.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to describe which smooth holomorphic foliations on compact complex surfaces do not have a transverse projective structure. Specifically, the paper explores among the smooth foliations on compact complex surfaces which ones cannot have a regular transverse projective structure. This research is based on Brunella's classification of smooth foliations on compact complex surfaces and further analyzes the results of recent work by Biswas and Sorin. These works show that although the foliations on certain compact complex surfaces have singular transverse projective structures, they do not have regular transverse projective structures.
### Overview of Main Content:
1. **Background and Motivation**:
- **Brunella's Classification**: According to Brunella's classification, every smooth foliation on a compact complex surface has a singular transverse projective structure.
- **Biswas and Sorin's Work**: They, through dimension - counting arguments, proved that in general, the smooth foliations on the product of elliptic curves do not have a transverse projective structure.
2. **Research Objectives**:
- To describe all the smooth holomorphic foliations on compact complex surfaces that do not have a transverse projective structure.
- To pay special attention to whether turbulent foliations have a transverse projective structure.
3. **Main Results**:
- **Theorem 3.4**: If \( X \) is a compact Kähler surface and \( f: X\rightarrow B \) is a quasi - smooth fibration, then its orbifold base is good.
- **Theorem 3.7**: For a three - dimensional projective manifold \( X \), if \( f: X\rightarrow B \) is a quasi - smooth fibration, then its orbifold base is also good.
- **Theorem 4.4**: If \( F \) is a smooth turbulent foliation on a compact Kähler surface and \( F \) leaves at least one reference fiber invariant, then \( F \) has a transverse projective structure if and only if under a finite étale covering, \( F \) is given by a closed meromorphic 1 - form \( \omega \) and \( \omega \) satisfies one of the following conditions:
- \( \omega \) has no residues and \( (\omega)_{\infty}=2\sum C_{i} \), where \( C_{i} \) are irreducible smooth curves and \( C_{i}\cap C_{j}=\emptyset \) for all \( i\neq j \).
- \( \omega \) is a logarithmic form and has residues \( \pm\lambda \), where \( \lambda\in\mathbb{C}^* \).
### Explanation of Key Concepts:
- **Transverse Projective Structure**: A codimension - 1 foliation \( F \) on a complex manifold \( X \) is said to have a transverse projective structure if there exists a \( \mathbb{P}^1 \)-bundle \( \pi: P\rightarrow X \), a codimension - 1 smooth foliation \( G \) on \( P \) which is everywhere transverse to \( \pi \), and a holomorphic section \( \sigma: X\rightarrow P \) transverse to \( G \) such that \( F = \sigma^*G \).
- **Turbulent Foliation**: A smooth foliation \( F \) on a complex surface \( X \) is called turbulent if there exists a quasi - smooth fibration \( f: X\rightarrow B \) such that the general fiber of \( f \) is a curve of genus 1 and \( F \) is completely transverse to the general fiber of \( f \).
### Conclusion:
Through detailed analysis and theorem - proving, the paper clarifies which smooth holomorphic foliations on compact complex surfaces do not have a transverse projective structure. In particular, it conducts in - depth research on turbulent foliations and obtains specific conditions and classifications. These results provide a basis for further research in complex geometry and foliations.