Calabi-Yau structure on the Chekanov-Eliashberg algebra of a Legendrian sphere

Basic Information

• Paper ID: 2304.03014
• Title: Calabi-Yau structure on the Chekanov-Eliashberg algebra of a Legendrian sphere
• Author: Noémie Legout
• Classification: math.SG (Symplectic Geometry)
• Publication Date: April 6, 2023 (arXiv submission)
• Paper Link: https://arxiv.org/abs/2304.03014

Abstract

This paper proves that the Chekanov-Eliashberg algebra of a horizontally displaceable n-dimensional Legendrian sphere in the contactization of a Liouville manifold is an (n+1)-Calabi-Yau differential graded algebra. In particular, this implies the existence of a DG-bimodule quasi-isomorphism between the diagonal bimodule and the inverse duality bimodule associated with the Chekanov-Eliashberg algebra. On certain cyclic versions of these bimodules, which compute the Hochschild homology and cohomology of the Chekanov-Eliashberg algebra, the authors construct $A_\infty$ operations and prove that the Calabi-Yau isomorphism extends to a family of maps satisfying the $A_\infty$-functor equations.

Research Background and Motivation

Problem Background

1. Importance of the Chekanov-Eliashberg algebra: The Chekanov-Eliashberg (C-E) algebra is an important invariant of Legendrian submanifolds, a differential graded algebra generated by Reeb chords, playing a central role in contact topology.
2. Duality structures: The linearized version of the C-E algebra is known to satisfy certain duality properties, a result first proved by Sabloff for Legendrian knots and later generalized to higher dimensions by Ekholm-Etnyre-Sabloff.
3. Expected Calabi-Yau structure: Based on work in Ganatra's doctoral thesis, the wrapped Fukaya category is a non-compact Calabi-Yau category generated by Legendrian spheres, suggesting that the C-E algebra should also possess a Calabi-Yau structure.

Research Motivation

The primary motivation of this paper is to prove that, under appropriate assumptions, the complete C-E algebra (non-linearized version) also satisfies analogous duality properties, formulated as a Calabi-Yau structure on differential graded bimodules.

Core Contributions

1. Main Theorem: Proves that the C-E algebra of a horizontally displaceable Legendrian sphere is an (n+1)-Calabi-Yau differential graded algebra (Theorem 1.1).
2. Rabinowitz Bimodule Construction: Introduces a Legendrian version of the Rabinowitz DG-bimodule, utilizing the 2-copy technique to construct key bimodule maps.
3. Finite-rank semi-free resolution: Proves that the diagonal bimodule A admits a finite-rank semi-free resolution, establishing that A is homologically smooth.
4. $A_\infty$ Structure: Constructs $A_\infty$ operations on cyclic complexes and proves that the Calabi-Yau isomorphism extends to a family of maps satisfying the $A_\infty$-functor equations.
5. Hochschild Homology Isomorphism: Establishes an isomorphism between the Hochschild homology and cohomology of the C-E algebra.

Detailed Methods

Problem Formulation

Prove that the C-E algebra A of a horizontally displaceable n-dimensional Legendrian sphere Λ ⊂ Y satisfies the Calabi-Yau condition: there exists a quasi-isomorphism $\text{CY}: A \xrightarrow{\sim} A^![−n−1]$ such that $\text{CY} \simeq \text{CY}^![−n−1]$, where $A^! = \text{RHom}_{A-A}(A, A \otimes A)$ is the inverse duality bimodule.

Core Technical Approach

1. 2-Copy Construction

• Construct a 2-copy $Λ_0 \cup Λ_1$ of the Legendrian sphere Λ, where $Λ_1$ is a small negative shift of $Λ_0 = Λ$
• Utilize a negative Morse function $f: Λ → \mathbb{R}$ to produce two Morse chords: $x_{01}$ corresponding to the maximum and $y_{01}$ corresponding to the minimum

2. Rabinowitz DG-Bimodule

Define the Rabinowitz bimodule $\text{RFC}_{A-A}(Λ_0, Λ_1)$: $\text{RFC}_{A-A}(Λ_0, Λ_1) = C_+(Λ_0, Λ_1) \oplus C_-(Λ_0, Λ_1)$ where the differential is given by a lower triangular matrix: $m_1 = \begin{pmatrix} Δ_1^{++} & 0 \\ b_1^{-+} & b_1^{--} \end{pmatrix}$

3. Key Bimodule Construction

• $\widetilde{C}_+(Λ_0, Λ_1) = C_+(Λ_0, Λ_1)[1] \oplus \langle x_{01} \rangle_{A-A}[1]$
• $\widetilde{C}_-(Λ_0, Λ_1) = C^l_{A-A}(Λ_0, Λ_1) \oplus \langle y_{01} \rangle_{A-A}$

4. Calabi-Yau Map

Define the key map $\text{CY}: \widetilde{C}_+(Λ_0, Λ_1) → \widetilde{C}_-(Λ_0, Λ_1)$: $\text{CY}(γ_{10}) = \sum_{β_{01} \in R^l(Λ_0,Λ_1) \cup \{y_{01}\}} \sum_{δ_0,δ_1} \#M^0_{Λ_{01}}(β_{01}; δ_0, γ_{10}, δ_1) \cdot δ_1 β_{01} δ_0$

Technical Innovations

1. Finite-dimensional approach: Unlike Ganatra's infinite-dimensional method, this paper employs finite-dimensional pseudoholomorphic disk counting, offering better computability.
2. 2-copy technique: Cleverly utilizes the 2-copy constructed via Morse functions to avoid direct treatment of infinite-dimensional moduli spaces.
3. Cone complex description: Represents the Rabinowitz complex as a cone over two bimodule maps, simplifying the analysis.

Experimental Setup

Theoretical Verification

This is a pure mathematics theoretical work, verified primarily through:

1. Quasi-isomorphism verification: Establishing quasi-isomorphisms by proving acyclicity of relevant complexes
2. Dimension formulas: Computing moduli space dimensions using Conley-Zehnder indices
3. Transversality: Ensuring transversality using regular almost complex structures

Concrete Examples

Section 8 of the paper provides detailed calculations for the standard TB = -1 unknot case, verifying the correctness of the theory.

Experimental Results

Main Results

Theorem 6.1 (Main Theorem)

The Chekanov-Eliashberg algebra A(Λ) of a horizontally displaceable Legendrian sphere Λ ⊂ Y is an (n+1)-Calabi-Yau differential graded algebra.

Key Intermediate Results

1. Proposition 6.4: The map $F: \widetilde{C}_+(Λ_0,Λ_1)[−n−1] → A$ is a quasi-isomorphism
2. Proposition 6.5: The map $G: \widetilde{C}_-(Λ_0,Λ_1) → \text{Hom}_{A-A}(\widetilde{C}_+(Λ_0,Λ_1)[−n−1], A \otimes A)$ is a quasi-isomorphism
3. Theorem 7.1: The Calabi-Yau map preserves the product structure
4. Theorem 7.2: Existence of the $A_\infty$ structure

Concrete Computational Examples

For the unknot case:

• $\widetilde{C}^{\text{cyc}}_+(Λ_0,Λ_1) = \langle a_{10}, x_{01} \rangle^{\text{cyc}}_{A-A}$
• $\widetilde{C}^{\text{cyc}}_-(Λ_0,Λ_1) = \langle a_{01}, y_{01} \rangle^{\text{cyc}}_{A-A}$
• Calabi-Yau map: $\text{CY}_1(a_{10}a^j) = y_{01}a^j$, $\text{CY}_1(x_{01}a^j) = a_{01}a^j$

Related Work

Historical Development

1. C-E algebra theory: Foundational work by Chekanov (2002) and Eliashberg (1998)
2. Duality theory: Sabloff's (2006) Legendrian knot duality, Ekholm-Etnyre-Sabloff's (2009) higher-dimensional generalization
3. Calabi-Yau structures: Ginzburg's general theory, Ganatra's (2012) application to wrapped Fukaya categories

Contribution of This Paper

This paper is the first to establish a complete Calabi-Yau structure at the C-E algebra level, filling a theoretical gap and providing a computable method.

Conclusions and Discussion

Main Conclusions

1. The C-E algebra of horizontally displaceable Legendrian spheres possesses an (n+1)-Calabi-Yau structure
2. A admits a finite-rank semi-free resolution, establishing homological smoothness
3. Hochschild homology and cohomology are isomorphic
4. Complete description of the $A_\infty$ structure

Limitations

1. Horizontal displacability assumption: Results depend on the horizontal displacability assumption, limiting applicability
2. Sphere restriction: Currently applies only to Legendrian spheres
3. Coefficient ring: Work is conducted over $\mathbb{Z}_2$ coefficients, potentially generalizable to more general cases

Future Directions

1. Generalization to more general Legendrian submanifolds
2. Relationship with Ganatra's construction
3. Further development of computational techniques
4. Applications to mirror symmetry

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides a complete proof of the Calabi-Yau structure on the C-E algebra
2. Methodological innovation: The 2-copy technique and finite-dimensional approach are original
3. Computability: Provides a more practical computational framework compared to infinite-dimensional methods
4. Technical rigor: Detailed moduli space analysis and transversality arguments

Weaknesses

1. Restrictive assumptions: Horizontal displacability and sphere assumptions are quite strong
2. Coefficient restrictions: Work only over $\mathbb{Z}_2$
3. Limited applications: Concrete applications require further development

Impact

1. Theoretical contribution: Provides new theoretical tools for contact topology and symplectic geometry
2. Methodological value: The 2-copy technique may have applications to other problems
3. Bridging role: Establishes connections between different mathematical branches

Applicable Scenarios

1. Research in Legendrian knot theory
2. Duality problems in contact topology
3. Mirror symmetry research
4. Fukaya category theory

References

The paper cites key literature in the field, including:

• Chekanov (2002), Eliashberg (1998): Foundational work on C-E algebras
• Ekholm-Etnyre-Sabloff series: Legendrian contact homology theory
• Ganatra (2012): Calabi-Yau structure on wrapped Fukaya categories
• Bourgeois-Chantraine (2014): Bilinearization theory

This is a paper of significant theoretical value in the fields of contact topology and symplectic geometry, providing new geometric structural understanding of algebraic invariants of Legendrian submanifolds.