Weinstein presentations for high-dimensional antisurgery

Basic Information

• Paper ID: 2310.03133
• Title: Weinstein presentations for high-dimensional antisurgery
• Authors: Ipsita Datta, Oleg Lazarev, Chindu Mohanakumar, Angela Wu
• Classification: math.SG (Symplectic Geometry)
• Publication Date: October 6, 2023
• Paper Link: https://arxiv.org/abs/2310.03133

Abstract

This paper provides an algorithm for describing Weinstein presentations of Weinstein subdomains obtained by removing regular Lagrangian submanifolds. The work generalizes previous results in the three-dimensional case and introduces a novel Legendrian isotopy move (the "boat move"), which modifies the local index of Reeb chords in the front projection. As applications, the authors describe presentations of certain singular Weinstein subdomains and provide explicit descriptions of P-flexible Legendrians.

Research Background and Motivation

Core Problem

The central problem addressed in this paper is how to provide explicit Weinstein presentations for Weinstein subdomains constructed via "antisurgery." Specifically, when removing a regular Lagrangian disk L from a Weinstein domain X, how can one explicitly construct a Weinstein presentation of the subdomain X\L?

Research Significance

1. Theoretical Value: Weinstein domains are exact symplectic manifolds equipped with symplectic handlebody decompositions, analogous to CW complexes in topology. Their presentations make the computation of invariants (such as wrapped Fukaya categories) tractable.
2. Construction of Singular Structures: Numerous symplectically singular Weinstein domains can be constructed as subdomains of standard Weinstein domains by removing Lagrangian disks. For example, Sylvan and the second author proved that for n≥5, the standard cotangent bundle TS^n admits infinitely many Weinstein subdomains that are diffeomorphic to TS^n but pairwise non-symplectomorphic.
3. Contact Structure Construction: Contact antisurgery is important for constructing contact structures. For instance, any contact structure on S^{2n-1} can be obtained from the standard contact structure by performing one contact surgery and one contact antisurgery.

Limitations of Existing Methods

Although related results exist in the three-dimensional case (such as DG09), a general method for explicitly constructing Weinstein presentations after antisurgery in higher dimensions has been lacking. Specifically:

• The construction of P-flexible Weinstein manifolds remains relatively unclear, as it is uncertain how excision/antisurgery modifies the front projection of the original Legendrian
• The front projection of P-flexible Legendrians was previously unknown

Core Contributions

1. Introduction of Boat Moves: Proposes a new family of n-dimensional Legendrian moves—D^k-suspensions, particularly (n,k)-boat moves, which can modify the local index of Reeb chords in the front projection.
2. Main Algorithm: Provides an explicit algorithm for constructing Weinstein presentations of Weinstein domains obtained via antisurgery (Theorem 1.2).
3. Explicit Description of P-flexible Legendrians: Provides the first explicit front projection description of P-flexible Legendrian knots (Corollary 1.4).
4. High-dimensional Generalization: Extends three-dimensional antisurgery results to arbitrary high dimensions.

Detailed Methodology

Task Definition

Given a Weinstein domain X^{2n} and a regular Lagrangian disk L within it, construct an explicit Weinstein presentation of the subdomain X\L that is compatible with the presentation of the original domain X.

Core Technique: Boat Moves

D^k-Suspension Construction

For a Legendrian isotopy ψ: D^{n-k} × 0,1 → R^{2(n-k)+1}, define its D^k-suspension Σ^{D^k}{ψ} as:

Σ^{D^k}{ψ} = {(s, ψ(θ, β_k(s))) | s ∈ D^k, θ ∈ D^{n-k}}

where β_k: D^k → 0,1 is a smooth "bump function" with specific properties.

(n,k)-Boat Move

When ψ is an (n-k)-dimensional Reidemeister 1 move, its D^k-suspension is called an (n,k)-boat move. The key properties of this move are:

Proposition 3.7: The (n,k)-boat move B_{n,k} is relative boundary Legendrian isotopic to the original Legendrian Λ_0.

Proposition 3.9: After the boat move, only one graphical component in the front projection has critical points, and this critical point is a maximum.

Main Algorithm Flow

Construction of Lemma 4.3

Given a Legendrian submanifold Λ in a contact manifold and parallel Legendrian pairs Λ^+ and Λ^-, make them completely parallel through the following steps:

1. Perturbation: Ensure all Reeb chords are non-degenerate and correspond to critical points of a Morse function
2. Process Critical Points Individually: For each critical point:
   • If index 0 (maximum): directly perform handle slide
   • If index n-k (0≤k<n): first perform (n,k)-boat move to convert to maximum, then perform handle slide
3. Elimination: Repeat until all obstructing Reeb chords are eliminated

Proof of Theorem 1.2

1. Setup: Transform the antisurgery problem into a surgery diagram problem
2. Add Canceling Pair: Introduce an (n-1)-handle and corresponding Legendrian Λ^-
3. Apply Lemma 4.3: Make Λ^+ and Λ^- completely parallel
4. Cancellation: Eliminate Λ^+ and Λ^-, obtaining the final presentation

Technical Innovations

1. Geometric Intuition of Boat Moves: Through suspension construction, generalize low-dimensional Reidemeister moves to higher dimensions while preserving Legendrian properties.
2. Local Index Control: Boat moves systematically convert critical points of arbitrary index to maxima, which is key to handling high-dimensional Reeb chords.
3. Relative Boundary Isotopy: All constructions preserve the boundary, ensuring consistency of the overall geometric structure.

Experimental Setup

Theoretical Verification

As a pure mathematics theory paper, this work verifies the effectiveness of the theory through construction of concrete examples:

Example 4.7: Case U = D^{n-1}

When U is a disk, the Morse function g has a single index 0 critical point. Applying the construction yields the standard Legendrian knot.

Example 4.8: Case U is a disjoint union

When U = U' ∐ D^{n-1}, the construction yields a flexible Legendrian.

Example 4.9: Flexibility of P-flexible Legendrian

Proves that when 0∈P, the P-flexible Legendrian is indeed flexible.

Verification Methods

Through explicit computation and geometric analysis, verify:

1. The constructed Legendrian indeed possesses the expected properties
2. Boat moves preserve Legendrian isotopy classes
3. Final results are consistent with known theoretical results

Experimental Results

Main Results

Theorem 1.2 (Main Theorem)

For a regular Lagrangian disk L⊂X, the Weinstein presentation of the subdomain X\L has the following properties:

• It has one more (n-1)-handle than X
• The n-handles are in one-to-one correspondence with those of X
• Each n-handle's attaching sphere Λ'_i is obtained through the corresponding boat move and cusp connected sum of the original attaching sphere

Corollary 1.4 (Explicit Description of P-flexible Legendrian)

The P-flexible Legendrian knot ΛP consists of four flexible Legendrian knots that are completely parallel outside a bounded region and are connected inside the bounded region through three boat moves and cusp connected sums.

Validity of Construction

The correctness of the algorithm is verified through concrete examples:

• Example 4.7 demonstrates handling of the simplest case
• Example 4.8 proves the emergence of flexibility
• Example 4.9 confirms the flexibility of P-flexible Legendrian

Related Work

Pioneering Work in Three Dimensions

• Ding-Geiges DG09: Described antisurgery along Legendrian circles admitting Lagrangian disk fillings in the three-dimensional case
• The present work generalizes these results to higher dimensions

Weinstein Domains and Flexibility Theory

• Weinstein Wei91: Introduced the concept of Weinstein domains
• Cieliebak-Eliashberg CE12: Theory of flexible Weinstein domains
• Murphy Mur19: Theory of flexible Legendrians
• Lazarev-Sylvan LS23: Construction of P-flexible Legendrians

Surgery Theory

• Bourgeois-Ekholm-Eliashberg BEE12: Effects of Legendrian surgery
• Ganatra-Pardon-Shende GPS18: Localization formulas

Conclusions and Discussion

Main Conclusions

1. Algorithm Completeness: Provides a complete algorithm for constructing explicit presentations of antisurgery Weinstein domains
2. Effectiveness of Boat Moves: The newly introduced boat moves are key tools for handling high-dimensional cases
3. Explicitness of P-flexible Legendrians: Provides concrete descriptions of these important geometric objects for the first time

Limitations

1. Regularity Assumption: Requires the Lagrangian disk to be regular
2. Non-degeneracy Condition: Requires Reeb chords to be non-degenerate (though achievable through perturbation)
3. Computational Complexity: For complex P-Moore spaces, computation may become difficult

Future Directions

The paper raises several open questions:

Question 4.10

Does there exist a more direct construction method for P-flexible Legendrians, analogous to Murphy's construction for flexible Legendrians?

Question 4.11

Can one provide an alternative proof of the Ganatra-Pardon-Shende localization formula by directly computing the Legendrian dga of the attaching spheres produced by Theorem 1.2?

In-Depth Evaluation

Strengths

1. Theoretical Innovation: The introduction of boat moves represents genuine technical innovation, solving the key technical challenge in the high-dimensional case.
2. Systematic Approach: Provides a complete and systematic algorithm that not only establishes existence but also gives explicit constructions.
3. Geometric Intuition: Boat moves have clear geometric interpretation; the "boat" metaphor effectively describes the geometric deformation.
4. Application Value: The explicit description of P-flexible Legendrians fills an important gap and is valuable for subsequent research.

Weaknesses

1. Technical Threshold: Requires deep background in contact and symplectic geometry, limiting accessibility.
2. Computational Complexity: Although an algorithm is provided, practical computation for complex cases remains difficult.
3. Generalization Limitations: The method primarily applies to the case of regular Lagrangian disks.

Impact

1. Theoretical Contribution: Provides important technical tools for symplectic and contact geometry.
2. Subsequent Research: Boat moves may find applications in other related problems.
3. Computational Aspects: Provides new avenues for computing invariants such as wrapped Fukaya categories.

Applicable Scenarios

1. Theoretical Research: Applicable to studying geometric properties of Weinstein domains and contact manifolds
2. Invariant Computation: Can be used to compute various symplectic and contact geometric invariants
3. Construction Problems: Applicable to constructing symplectic geometric objects with specific properties

References

The paper cites important literature in the field, including:

• Wei91 Weinstein's foundational work
• Mur19 Murphy's theory on flexible Legendrians
• LS23 Lazarev-Sylvan's construction of P-flexible Legendrians
• GPS18 Ganatra-Pardon-Shende's localization formulas
• DG09 Ding-Geiges' three-dimensional antisurgery results

This paper makes important contributions to symplectic and contact geometry, particularly through the introduction of boat moves and explicit descriptions of P-flexible Legendrians, providing important tools for further development in the field.