[论文解读] Fukaya algebras via stabilizing divisors

François Charest, Chris Woodward|arXiv (Cornell University)|May 29, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用 8

一句话总结

该论文利用稳定除子，为具有有理对称类的紧致、定向、相对自旋拉格朗日子流形构造了有限维的严格单位弗克耶代数。证明了代数的同伦型及弱莫拉尔-卡坦解的模空间与扰动数据的选择无关，并表明弗勒尔上同调在规范等价意义下保持不变，前提是选择特定数据。

ABSTRACT

We use the technique of stabilizing divisors introduced by Cieliebak-Mohnke to construct finite dimensional, strictly unital Fukaya algebras of compact, oriented, relatively spin Lagrangians in compact symplectic manifolds with rational symplectic classes. The homotopy type of the algebra and the moduli space of solutions to the weak Maurer-Cartan equation are shown to be independent of the choice of perturbation data. The Floer cohomology is the cohomology of a complex of vector bundles over the space of solutions to the weak Maurer-Cartan equation and is shown to be independent of the choice of perturbation data up to gauge equivalence.

研究动机与目标

• 为具有有理对称类的紧致、定向、相对自旋拉格朗日子流形构造一个有限维的、严格单位的弗克耶代数。
• 通过引入有限维模型，解决拉格朗日子弗勒尔理论中无限维形式体系的挑战。
• 建立代数的同伦型及弱莫拉尔-卡坦解模空间在不同扰动数据选择下的不变性。
• 证明弗勒尔上同调（定义为解空间上向量丛复形的上同调）在扰动数据选择下，至多在规范等价意义下保持不变。

提出的方法

• 利用奇利巴克与莫恩克提出的稳定除子技术，控制伪全纯曲线模空间。
• 通过将稳定除子纳入扰动柯西-黎曼算子的扰动数据中，构建有限维模型的弗克耶代数。
• 在此有限维框架内定义弱莫拉尔-卡坦方程，并将其解空间作为向量丛复形的基。
• 应用规范等价关系关联不同的扰动数据，证明弗勒尔上同调在这些选择下的不变性。
• 利用相对自旋结构与有理对称类条件，确保代数的良定义性与有限性。
• 分析弗克耶代数的同伦型，并证明其在扰动数据改变下的不变性。

实验结果

研究问题

• RQ1 能否通过稳定除子，为具有有理对称类的紧致、定向、相对自旋拉格朗日子流形构造一个有限维的、严格单位的弗克耶代数？
• RQ2 在使用稳定除子时，弗克耶代数的同伦型是否与扰动数据的选择无关？
• RQ3 在此有限维设定下，弱莫拉尔-卡坦方程解的模空间在不同扰动数据下如何表现？
• RQ4 当扰动数据改变时，弗勒尔上同调是否在规范等价意义下保持不变？
• RQ5 弗勒尔上同调能否被描述为弱莫拉尔-卡坦方程解空间上向量丛复形的上同调？

主要发现

• 通过稳定除子构造的弗克耶代数是有限维的且具有严格单位，解决了标准构造中无限维性的问题。
• 弗克耶代数的同伦型与扰动数据的选择无关，确保了代数结构的稳健性。
• 弱莫拉尔-卡坦方程解的模空间在同伦等价意义下与扰动数据的选择无关。
• 弗勒尔上同调被实现为弱莫拉尔-卡坦方程解空间上向量丛复形的上同调。
• 弗勒尔上同调在扰动数据选择下至多在规范等价意义下保持不变，证实了其内在性质。
• 该构造关键依赖于对称类的有理性与相对自旋结构，以确保代数的有限性与良定义性。