Torus bundle Liouville domains are stably Weinstein

Basic Information

• Paper ID: 2109.07615
• Title: Torus bundle Liouville domains are stably Weinstein
• Authors: Joseph Breen, Austin Christian
• Classification: math.SG (Symplectic Geometry)
• Publication Date: September 2021 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2109.07615

Abstract

This paper develops explicit local operations applicable to Liouville domains with the goal of simplifying the dynamics of Liouville vector fields. These local operations are Liouville homotopies inspired by techniques employed by Honda and Huang in HH19 to prove that convex hypersurfaces in contact manifolds are $C^0$-generic. As an application, the authors use these operations to prove that certain Liouville-but-not-Weinstein domains constructed by Huang in Hua20 are stably Weinstein.

Research Background and Motivation

Problem Background

1. Distinction between Liouville and Weinstein domains: In symplectic geometry, Liouville domains are compact exact symplectic manifolds with Liouville structure, while Weinstein domains are a special class of Liouville domains whose Liouville vector field is the gradient field of some Morse function. Weinstein domains possess favorable topological properties and can be constructed via handle decompositions.
2. Existence problem: A central question is whether a given Liouville domain is (in the sense of Liouville homotopy) Weinstein. There are known topological obstructions: according to Proposition 1.1, Weinstein domains must have the homotopy type of a half-dimensional CW complex.
3. Stabilization problem: Even if a Liouville domain is not Weinstein, a weaker question is whether it is stably Weinstein—that is, whether its product with the standard Liouville domain $(r_0 D^2, \lambda_{stab})$ is Weinstein.

Research Motivation

1. Theoretical significance: Understanding the essential differences between Liouville and Weinstein dynamics
2. Technical challenges: How to control complex Liouville vector fields in the absence of Lyapunov functions
3. Concrete applications: Proving that torus bundle Liouville domains constructed by Huang are stably Weinstein

Core Contributions

1. Development of explicit local operations: Construction of local Liouville homotopy operations such as box folds and chimney folds
2. Construction of blocking apparatus: A composite local operation capable of effectively "trapping" Liouville flow lines
3. Proof of main theorem: Torus bundle Liouville domains are stably Weinstein (Theorem 1.10)
4. Provision of new technical framework: A systematic approach for studying the stably Weinstein property of Liouville domains

Detailed Methodology

Basic Strategy

The authors' core idea is to "tame" chaotic Liouville dynamics through local operations so that they satisfy the Weinstein criterion (Proposition 2.7):

1. Existence of a Morse Lyapunov function near each critical point
2. Every flow line converges to a critical point in backward time
3. Absence of broken loops

Core Technique: Box Folds

Definition and Construction

Box folds are local operations based on contactization techniques. For the two-dimensional case:

• Installation on region $U \sim ([0,s_0] \times [0,t_0], e^s dt)$
• Implementation via the graph of function $F_\epsilon: [0,s_0] \times [0,t_0] \to [0,z_0]$
• Resulting Liouville vector field: $X_{\lambda_{F_\epsilon}} = \partial_s + X_F$

Key Properties (Theorem 4.1)

1. Weinstein compatibility: Produces a Morse vector field with one index-0 and one index-1 critical point
2. Trapping property: Flow lines in region $[e^{-s_0}t_0 + \epsilon, t_0 - \epsilon] \times (W_0 \setminus N^{s_0+\epsilon}(\partial W_0))$ are trapped
3. Holomorphic properties: For untrapped flow lines, holomorphic map estimates can be obtained

Advanced Technique: Chimney Folds

Chimney folds are generalizations of box folds based on more complex contact regions:

• Contain "chimney" region $[0,t_0] \times C$ and "stove" region $[0,t_-] \times (W_{Ch} \setminus C)$
• Key assumption (Assumption 5.3): Ensures appropriate properties of boundary holomorphic maps
• Trapping mechanism: The entire chimney region is trapped (Proposition 5.6)

Blocking Apparatus

This is the core technical innovation of the paper, combining chimney folds and box holes:

Construction (Definition 6.3)

• Chimney fold $C\Pi_1$: Installed on $[s_0-s_1, s_0] \times H^{C_1}_1$
• Box hole $\overline{\Pi}_2$: Installed on $[0,s_2] \times H_2$

Main Theorem (Theorem 1.9)

For Weinstein cobordism $(U = [0,s_0] \times [0,t_0] \times W_0 \times r_0 D^2, e^s(dt + \lambda_0 + \lambda_{stab}))$:

1. Weinstein compatibility: Produces a Morse vector field with $8N_0$ critical points
2. Trapping property: There exists neighborhood $U_{trap}$ such that flow lines passing through it converge to critical points
3. Holomorphic properties:
   • $\|W_0(h(x))\|_{W_0} \leq Ke^{s_0}\|W_0(x)\|_{W_0}$
   • When $\|W_0(x)\| < e^{-s_0}$: $\|\pi_{r_0D^2}(h(x))\|_{stab} \leq Ke^{s_0/2}\|\pi_{r_0D^2}(x)\|_{stab}$

Main Application: Torus Bundle Domains

Construction Review

Huang's torus bundle Liouville domain $(W_A, \lambda)$ is constructed based on matrix $A \in SL(n,\mathbb{Z})$:

• Eigenvalues $\lambda_1, \ldots, \lambda_n$ are all real
• Satisfy $0 < \lambda_n < |\lambda_i|$ for all $i \leq n-1$
• Constructed via partial mapping tori

Proof Strategy

Identification of Standard Stabilization Regions

1. Select contact handlebody $([0,t_0] \times W_0, dt + \lambda_0)$
2. Construct standard stabilization regions $U_i = V_i \times r_0 D^2$, where $V_i := \sigma_i \times D^{n-1} \times [0,t_0] \times L_i$

Parameter Selection

Through precise parameter selection ensure:

• $S^{2\epsilon}_0 \cup S^{2\epsilon}_1 = T^n$ (covers entire torus)
• Global holomorphic maps dominate local perturbations
• Conditions of Corollary 8.2 are satisfied

Weinstein Criterion Verification

Critical point criterion: Utilizing the property that regions $S_0, S_1$ cover $T^n$, prove that every flow line encounters a trapping region.

Broken loops criterion:

• If a broken loop exists, it must contain a stove critical point (Lemma 8.4-8.5)
• But Proposition 7.2 shows stove critical points cannot be contained in broken loops
• Contradiction, hence no broken loops exist

Experimental Results

This is a pure theoretical mathematics paper with no numerical experiments. The main results are:

Proof of Theorem 1.10

Successfully proves that all-dimensional torus bundle Liouville domains constructed by Huang are stably Weinstein, answering Hua20, Question 0.8.

Technical Verification

Through detailed mathematical proofs verifies:

1. All properties of the blocking apparatus
2. Weinstein compatibility of local operations
3. Precise estimates of holomorphic maps

Related Work

Historical Development

1. McDuff McD91: First construction of Liouville-but-not-Weinstein domains
2. Geiges, Mitsumatsu, et al.: Construction of further examples in various even dimensions
3. Honda-Huang HH19: Development of local operation techniques in contact geometry
4. Huang Hua20: Construction of torus bundle domains and proposal of stably Weinstein problem

Technical Connections

• The paper's box fold technique is directly inspired by HH19
• Chimney folds are the authors' innovation, designed for handling complex topological structures
• Contrasts with results of Eliashberg-Gromov EG91 on Liouville manifolds

Conclusions and Discussion

Main Conclusions

1. Technical achievement: Development of systematic local operation theory, particularly the blocking apparatus
2. Theoretical contribution: Proof of stably Weinstein property of torus bundle domains
3. Methodological significance: Provides new tools for investigating Question 1.3 (whether every Liouville domain is stably Weinstein)

Limitations

1. Technical complexity: Construction requires extensive fine parameter selection
2. Scope of applicability: Current methods primarily apply to domains with specific topological structures
3. Open problems: Questions 1.2 and 1.3 remain open

Future Directions

1. Generalized applications: Apply techniques to broader classes of Liouville domains
2. Simplified methods: Seek more direct construction approaches
3. Theoretical refinement: Progress toward complete resolution of the stably Weinstein problem

In-Depth Evaluation

Strengths

1. Technical innovation: Chimney folds and blocking apparatus represent important technical innovations
2. Theoretical depth: Resolves an important open problem
3. Systematic methodology: Provides systematic approach for handling complex Liouville dynamics
4. Rigorous proofs: Mathematical arguments are detailed and rigorous

Weaknesses

1. Technical complexity: Construction process is extremely complex, requiring handling of numerous technical details
2. Readability: Paper is lengthy with high technical threshold
3. Generalizability: Limited degree of generalization of the method

Impact

1. Field contribution: Provides new solution to important problem in symplectic geometry
2. Technical value: Local operation techniques may have broader applications
3. Theoretical significance: Deepens understanding of relationship between Liouville and Weinstein structures

Applicable Scenarios

This method is particularly suitable for:

1. Liouville domains with mapping torus structure
2. Cases where standard stabilization regions can be identified
3. Problems requiring precise control of Liouville dynamics

References

1. HH19 Ko Honda and Yang Huang. Convex hypersurface theory in contact topology
2. Hua20 Yang Huang. A dynamical construction of Liouville domains
3. McD91 Dusa McDuff. Symplectic manifolds with contact type boundaries
4. EG91 Yakov Eliashberg and Mikhael Gromov. Convex symplectic manifolds