2025-11-14T10:55:11.262755

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

Legout

In this paper, we prove that the Chekanov-Eliashberg algebra of an horizontally displaceable n-dimensional Legendrian sphere in the contactisation of a Liouville manifold is a (n+1)-Calabi-Yau differential graded algebra. In particular it means that there is a quasi-isomorphism of DG-bimodules between the diagonal bimodule and the inverse dualizing bimodule associated to the Chekanov-Eliashberg algebra. On some cyclic version of these bimodules, which are chain complexes computing the Hochschild homology and cohomology of the Chekanov-Eliashberg algebra, we construct $A_\infty$ operations and show that the Calabi-Yau isomorphism extends to a family of maps satisfying the $A_\infty$-functor equations.

academic

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

基本信息

论文ID: 2304.03014
标题: Calabi-Yau structure on the Chekanov-Eliashberg algebra of a Legendrian sphere
作者: Noémie Legout
分类: math.SG (辛几何)
发表时间: 2023年4月6日 (arXiv提交)
论文链接: https://arxiv.org/abs/2304.03014

摘要

本文证明了在Liouville流形的接触化中的水平可置换n维Legendrian球面的Chekanov-Eliashberg代数是一个(n+1)-Calabi-Yau微分分次代数。特别地，这意味着在对角双模与Chekanov-Eliashberg代数相关的逆对偶双模之间存在DG-双模的拟同构。在这些双模的某些循环版本上，它们是计算Chekanov-Eliashberg代数的Hochschild同调和上同调的链复形，我们构造了 $A_\infty$ 运算并证明了Calabi-Yau同构扩展为满足 $A_\infty$ -函子方程的映射族。

研究背景与动机

问题背景

Chekanov-Eliashberg代数的重要性: Chekanov-Eliashberg代数（C-E代数）是Legendrian子流形的一个重要不变量，由Reeb弦生成的微分分次代数，在接触拓扑中扮演核心角色。
对偶性结构: 已知C-E代数的线性化版本满足特定的对偶性，这一结果首先由Sabloff在Legendrian结的情况下证明，后由Ekholm-Etnyre-Sabloff推广到高维情形。
Calabi-Yau结构的期望: 基于Ganatra在其博士论文中的工作，包裹Fukaya范畴是非紧Calabi-Yau范畴，而该范畴由Legendrian球面生成，因此期望C-E代数也应具有Calabi-Yau结构。

研究动机

本文的主要动机是证明在适当假设下，完整的C-E代数（非线性化版本）也满足类似的对偶性，并将其表述为微分分次双模的Calabi-Yau结构。

核心贡献

主要定理: 证明了水平可置换Legendrian球面的C-E代数是(n+1)-Calabi-Yau微分分次代数（定理1.1）。
Rabinowitz双模构造: 引入了Legendrian的Rabinowitz DG-双模版本，利用2-copy技术构造了关键的双模映射。
有限秩半自由分解: 证明了对角双模A承认有限秩半自由分解，从而A是同调光滑的。
$A_\infty$ 结构: 在循环复形上构造了 $A_\infty$ 运算，并证明Calabi-Yau同构扩展为满足 $A_\infty$ -函子方程的映射族。
Hochschild同调同构: 建立了C-E代数的Hochschild同调与上同调之间的同构。

方法详解

任务定义

证明水平可置换n维Legendrian球面Λ ⊂ Y的C-E代数A满足Calabi-Yau条件：存在拟同构 $\text{CY}: A \xrightarrow{\sim} A^![−n−1]$ 使得 $\text{CY} \simeq \text{CY}^![−n−1]$ ，其中 $A^! = \text{RHom}_{A-A}(A, A \otimes A)$ 是逆对偶双模。

核心技术路径

1. 2-copy构造

对Legendrian球面Λ构造2-copy $Λ_0 \cup Λ_1$ ，其中 $Λ_1$ 是 $Λ_0 = Λ$ 的小负推移
利用负Morse函数 $f: Λ → \mathbb{R}$ ，产生两个Morse弦：最大值对应的 $x_{01}$ 和最小值对应的 $y_{01}$

2. Rabinowitz DG-双模

定义Rabinowitz双模 $\text{RFC}_{A-A}(Λ_0, Λ_1)$ ： $\text{RFC}_{A-A}(Λ_0, Λ_1) = C_+(Λ_0, Λ_1) \oplus C_-(Λ_0, Λ_1)$ 其中微分由下三角矩阵给出： $m_1 = \begin{pmatrix} Δ_1^{++} & 0 \\ b_1^{-+} & b_1^{--} \end{pmatrix}$

3. 关键双模构造

$\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映射

定义关键映射 $\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$

技术创新点

有限维方法: 与Ganatra的无穷维方法不同，本文使用有限维的伪全纯盘面计数，具有更好的可计算性。
2-copy技术: 巧妙利用Morse函数构造的2-copy避免了直接处理无穷维模空间的困难。
锥复形描述: 将Rabinowitz复形表示为两个双模映射的锥，简化了分析。

实验设置

理论验证

本文是纯数学理论工作，主要通过以下方式验证结果：

拟同构性验证: 通过证明相关复形的无环性来建立拟同构
维数公式: 利用Conley-Zehnder指标计算模空间维数
横截性: 使用正则几乎复结构确保横截性

命题6.4: 映射 $F: \widetilde{C}_+(Λ_0,Λ_1)[−n−1] → A$ 是拟同构
命题6.5: 映射 $G: \widetilde{C}_-(Λ_0,Λ_1) → \text{Hom}_{A-A}(\widetilde{C}_+(Λ_0,Λ_1)[−n−1], A \otimes A)$ 是拟同构
定理7.1: Calabi-Yau映射保持积结构
定理7.2: $A_\infty$ 结构的存在性

具体计算示例

对于未知结情况：

$\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映射： $\text{CY}_1(a_{10}a^j) = y_{01}a^j$ ， $\text{CY}_1(x_{01}a^j) = a_{01}a^j$