[论文解读] Lagrangian fillings for Legendrian links of affine type

Byung Hee An, Youngjin Bae+1 more|arXiv (Cornell University)|Jul 9, 2021

Advanced Combinatorial Mathematics参考文献 35被引用 7

一句话总结

本文通过N-图和Legendrian突变，构造了至少与仿射型$\tilde{D}_n^e$、$\tilde{E}_6^e$、$\tilde{E}_7^e$和$\tilde{E}_8^e$的Legendrian链的种子数量相等的精确嵌入Lagrangian填充。通过在N-图上建立簇突变与几何Legendrian突变之间的对应关系，作者证明了簇结构中的所有种子均可实现为Lagrangian填充，从而首次给出了具有无限多个填充且穷尽全部簇种子集的Legendrian链家族。该工作进一步表明，Legendrian Coxeter突变对应于Legendrian环，与Casals和Ng先前的研究一致。

ABSTRACT

We prove that there are at least as many exact embedded Lagrangian fillings as seeds for Legendrian links of affine type $ ilde{\mathsf{D}} ilde{\mathsf{E}}$. We also provide as many Lagrangian fillings with certain symmetries as seeds of type $ ilde{\mathsf{B}}_n$, $ ilde{\mathsf{F}}_4$, $ ilde{\mathsf{G}}_2$, and $\mathsf{E}_6^{(2)}$. These families are the first known Legendrian links with infinitely many fillings that exhaust all seeds in the corresponding cluster structures. Furthermore, we show that Legendrian realization of Coxeter mutation of type $ ilde{\mathsf{D}}$ corresponds to the Legendrian loop considered by Casals and Ng.

研究动机与目标

• 建立仿射型簇代数中的种子与Legendrian链的精确嵌入Lagrangian填充之间的一一对应关系。
• 通过分析交换图的组合结构，解决在N-图上将簇突变实现为Legendrian突变时的几何障碍。
• 证明Legendrian Coxeter突变对应于Legendrian环，从而将辛几何与簇代数动力学联系起来。
• 通过群自适配的N-图，将构造扩展至折叠型簇类型（$\tilde{B}_n$、$\tilde{G}_2$、$E^{(2)}_6$、$\tilde{F}_4$）。
• 通过N-图突变和边界数据，系统性地实现所有簇种子作为Lagrangian填充。

提出的方法

• 作者在圆盘$D^2$上使用N-图来表示$J^1\partial D^2$中Legendrian链的精确Lagrangian填充，其中带装饰的边界边编码一维循环。
• 他们定义了一个边界测量映射，通过循环相交的quiver和交换矩阵，将每个带有循环的N-图映射到簇代数中的一个种子。
• Legendrian突变作为N-图上的局部几何操作实现，其模型基于quiver突变，并证明当几何相交数与代数相交数匹配时可实现。
• 关键的技术工具是“移动(Z)”，即一种局部操作，将Y形循环上的Legendrian突变替换为保持循环类型的拓扑移动序列。
• 作者通过将N-图分解为有限型分量（$A_n$、$D_n$、$E_n$）并应用已知的其突变可实现性结果，证明了所有突变的可实现性。
• 对于折叠类型，他们利用群作用（如$\mathbb{Z}/2\mathbb{Z}$、$\mathbb{Z}/3\mathbb{Z}$）定义自适配的N-图，以实现相应的簇模式。

实验结果

研究问题

• RQ1 仿射型簇代数$\tilde{D}_n^e$、$\tilde{E}_6^e$、$\tilde{E}_7^e$和$\tilde{E}_8^e$中的所有种子是否都能实现为Legendrian链的精确嵌入Lagrangian填充？
• RQ2 N-图上的Legendrian Coxeter突变是否对应于Casals和Ng所定义的辛意义下的Legendrian环？
• RQ3 在簇突变总是可行但几何突变可能面临相交障碍的条件下，Legendrian突变在N-图上实现的条件是什么？
• RQ4 通过具有群自适配边界数据的N-图，是否能完全实现折叠型簇结构（$\tilde{B}_n$、$\tilde{G}_2$、$E^{(2)}_6$、$\tilde{F}_4$）？
• RQ5 对于这些仿射型Legendrian链，从N-图到簇种子的边界测量映射是否满射到完整的种子集？

主要发现

• 作者为$\tilde{D}_n^e$、$\tilde{E}_6^e$、$\tilde{E}_7^e$和$\tilde{E}_8^e$型的Legendrian链构造了至少与簇代数中种子数量相等的精确嵌入Lagrangian填充，证明了首次已知的具有无限多个填充且实现所有种子的Legendrian链家族。
• 对于$\tilde{D}_n^e$，构造依赖于$n$的奇偶性，偶数和奇数$n$分别具有不同的N-图和循环配置，详见表4。
• 在$\tilde{D}_n^e$上，Legendrian Coxeter突变与Legendrian环相关联，证实了该几何操作对应于cobordism下DGA的自同构，与先前的猜想一致。
• 本文证明，Legendrian突变在N-图上可实现当且仅当几何相交数与代数相交数匹配，且通过移动(Z)和分解为有限型分量，该条件对所有种子均满足。
• 对于折叠类型，作者构造了$\mathbb{Z}/2\mathbb{Z}$或$\mathbb{Z}/3\mathbb{Z}$-自适配的N-图，分别实现了$\tilde{B}_n$、$\tilde{G}_2$、$E^{(2)}_6$和$\tilde{F}_4$的簇模式。
• 经过一系列突变后的最终N-图被证明是$G$-自适配的，从而确保了簇结构中每个种子均存在一致的Lagrangian填充。