From Morse Functions to Lefschetz Fibrations on Cotangent Bundles

Basic Information

• Paper ID: 2510.10669
• Title: From Morse Functions to Lefschetz Fibrations on Cotangent Bundles
• Author: Emmanuel GIROUX (CNRS and ENS-PSL)
• Classification: math.SG (Symplectic Geometry), math.GT (Geometric Topology)
• Publication Date: October 12, 2025
• Paper Link: https://arxiv.org/abs/2510.10669

Abstract

This paper proves that for any Morse function on a compact manifold and an adapted gradient satisfying the Morse-Smale condition, there exists a homotopy-unique complex-valued symplectic Lefschetz fibration defined on the cotangent bundle, whose restriction to the zero section equals the given function, whose imaginary part is the evaluation of covectors on the gradient, and which is equivariant under fiber reversal involution and complex conjugation. Subsequently, the topology and symplectic geometry of the regular fibers of this fibration are studied; these fibers are well-defined Weinstein manifolds.

Research Background and Motivation

Problem Background

1. Donaldson's Pioneering Work: S. Donaldson proved that all closed symplectic manifolds admit Lefschetz-type pencils with symplectic fibers, providing powerful tools for geometric study.
2. Seidel's Development: P. Seidel further developed these ideas to study the Fukaya category, but required shifting the framework from closed symplectic manifolds to Liouville/Weinstein domains, correspondingly replacing Lefschetz pencils with Lefschetz fibrations.
3. Existence Problem: Although the existence of symplectic Lefschetz fibrations on Weinstein domains was established in GP by adapting Donaldson's asymptotic methods, concrete important examples described in the literature are relatively scarce outside the 4-dimensional case.

Research Motivation

1. Lack of Concrete Examples: The proofs of existing general existence results lack intuition and explicit Lefschetz fibration examples.
2. Bridge Between Theory and Practice: A more direct connection between Morse theory and Lefschetz fibrations is needed.
3. Geometric Understanding: Explicit constructions would provide better understanding of the geometric structure of Lefschetz fibrations.

Core Contributions

1. Main Extension Theorem: Proves that any Morse function satisfying the Morse-Smale condition can be extended to a symplectic Lefschetz fibration on the cotangent bundle, with the extension being unique up to homotopy.
2. Explicit Construction Method: Provides an explicit construction process realized through two key steps: "rough complexification" and "critical value rearrangement."
3. Weinstein Structure Analysis: Thoroughly studies the Weinstein structure of regular fibers, proving these structures belong to the same homotopy class.
4. Geometric Property Characterization: Provides detailed geometric descriptions of Lefschetz fibers, including vanishing cycles and critical submanifolds.

Detailed Methodology

Problem Setup

Given a Morse function φ: M → ℝ on a compact manifold M and an adapted gradient ν satisfying the Morse-Smale condition, construct a complex-valued map h = f + ig: T*M → ℂ such that:

• The restriction of h to the zero section M equals φ
• The imaginary part g(p,q) = ⟨p,ν(q)⟩
• h is a symplectic Lefschetz fibration
• The real part f is 1-homogeneous at infinity

Core Construction Method

Step One: Rough Complexification

Define the preliminary map h₀: T*M → ℂ:

h₀(p,q) := φ(q) - (1/2)χ(q)∇²φₑ(p,p) + i⟨p,ν(q)⟩

where χ is a cutoff function and ∇²φₑ is the covariant second derivative of φ at q.

Key Properties:

• Within the small neighborhood Wδ, the critical points of h₀ coincide with those of φ and are of complex Morse type
• The real part f⁰ = Re h₀ is a Lyapunov function for the Hamiltonian field ν̃
• On the sphere Vᵣ, f⁰ᵣ is a Morse-Bott Lyapunov function for the contact field ν̄

Step Two: Critical Value Rearrangement

Extend h₀ to all of T*M by rearranging the critical values of the Morse-Bott function f⁰ᵣ|∂Wδ.

Construction of the Family fᵣ:

fᵣ := τ₀(r)f⁰ᵣ + τ₁(r)f¹ᵣ

where f¹ᵣ = rf∞ and τ₀, τ₁ are appropriately chosen transition functions.

Technical Innovations

1. Dual Lifting of Vector Fields: Utilizes properties of the Hamiltonian lifting ν̃ of the vector field ν on TM and its contact lifting ν̄ on STM.
2. Homogeneity Condition: Ensures correct asymptotic behavior of the fibration by requiring f to be 1-homogeneous at infinity.
3. Critical Role of Morse-Smale Condition: Proves that violating the Morse-Smale condition leads to incompleteness of connections, preventing fibration structure.

Theoretical Analysis

Definition of Lefschetz Fibration

The paper adopts a definition of Lefschetz fibration suitable for Liouville manifolds:

Definition 1: A map h: W → ℂ is a symplectic Lefschetz fibration if and only if:

1. Critical points are of complex Morse type
2. The distribution Ker dh consists of symplectic subspaces whose symplectic orthogonal complements form complete singular connections
3. W is exhausted by Liouville domains, with each regular fiber being a Liouville manifold

Fibration Criterion

Proposition 7: If the Hamiltonian lifting ν̃ admits an extension φ and a Lyapunov function f that is 1-homogeneous at infinity, then h := f + ig is a symplectic Lefschetz fibration.

Geometric Properties

Weinstein Structure of Regular Fibers

Proposition 13: Each real fiber Fᵤ = h⁻¹(u) (u ∈ ℝ-Δφ) carries a Weinstein structure induced by the standard 1-form λ on T*M, and these structures belong to the same homotopy class.

Critical Submanifolds

For a regular value u, the critical submanifolds of the kinetic energy function ρᵤ = ρ|Fᵤ include:

• Level sets Qᵤ = Fᵤ ∩ M
• Spheres C±ₐ (when φ(a) < u or φ(a) > u)

Geometric Applications and Examples

The Sphere Case

Example 0: For the coordinate function φ(x) = xₙ₊₁ on the unit sphere Sⁿ, the cotangent bundle T*Sⁿ is symplectomorphic to the complex affine quadric:

W = {z ∈ ℂⁿ⁺¹ : Σzⱼ² = 1}

The restriction of the coordinate zₙ₊₁ to W gives a holomorphic Lefschetz fibration.

Heegaard Decomposition Case

Example 16: For ordered Morse functions on 3-manifolds, the Lefschetz fiber is a 4-dimensional Weinstein manifold obtained by attaching Weinstein handles along 4g disjoint embedded framed curves on the disk cotangent bundle DT*Q.

Comparison with Related Work

Relationship to Johns' Work

• Johns obtained a weaker version of the extension result in his dissertation but could not identify the constructed Weinstein manifold W with T*M
• The present method is more direct, avoiding the main technical difficulties Johns encountered

Relationship to Lee's Work

• Lee proposed an algorithm for constructing Lefschetz fibrations from handle decompositions
• The present method is clearer in addressing the main technical issues

Conclusions and Discussion

Main Conclusions

1. Establishes a direct correspondence between Morse functions and Lefschetz fibrations
2. Provides explicit construction of Lefschetz fibrations on cotangent bundles
3. Completely describes the Weinstein geometry of regular fibers

Theoretical Significance

• Each "upgraded Morse function" (φ,ν) corresponds to a standard finite-type Weinstein manifold F^(2n-2)
• F contains vanishing cycles and regular level sets of φ as exact Lagrangian submanifolds
• The geometry of F can be explicitly described from these objects and their associated relations

Limitations

1. Requires the gradient to satisfy the Morse-Smale condition (which is necessary)
2. The construction process involves multiple technical steps, making practical computation potentially complex
3. Additional considerations are needed for non-compact manifolds

Future Directions

1. Study the relationship between the constructed Lefschetz fibrations and the Fukaya category
2. Explore applications in mirror symmetry
3. Generalize to more general geometric settings

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete theoretical framework from Morse theory to Lefschetz fibrations
2. Explicitness of Construction: Gives concrete construction methods rather than merely existence proofs
3. Geometric Insight: Deeply analyzes geometric properties of constructed objects
4. Technical Innovation: Cleverly utilizes dual lifting of vector fields and homogeneity conditions

Weaknesses

1. Technical Complexity: The construction process involves multiple technical steps, potentially limiting practical applications
2. Computational Challenges: Computation for concrete examples may be quite involved
3. Generalization Limitations: Whether the method can be generalized to other geometric settings remains unclear

Impact

1. Theoretical Contribution: Provides new tools for cross-disciplinary research between symplectic geometry and Morse theory
2. Application Prospects: Offers new methods for studying classification and invariants of Weinstein manifolds
3. Pedagogical Value: Provides concrete examples for understanding Lefschetz fibrations

Applicable Scenarios

• Study of symplectic geometry of cotangent bundles
• Classification problems for Weinstein manifolds
• Concrete computations in the Fukaya category
• Research in mirror symmetry

References

The paper cites important literature in the field, including:

• Donaldson's pioneering work on Lefschetz pencils
• Seidel's research on the Fukaya category
• Giroux-Pardon's proof of existence of Lefschetz fibrations on Weinstein domains
• Related construction work by Johns and Lee