[论文解读] Open Gromov-Witten theory without Obstruction

Vito Iacovino|arXiv (Cornell University)|Nov 14, 2017

Geometric and Algebraic Topology参考文献 8被引用 3

一句话总结

本文提出了一种新的开Gromov-Witten不变量构造方法，该方法通过计数边界具有固定欧拉示性数的伪全纯曲线，无需依赖边界链的存在——这是先前方法中的关键障碍。通过使用不连通的带装饰图和一种新颖的多曲线同调框架，该方法避开了传统障碍条件，在任意亏格下以及对于具有非平凡同调的拉格朗日子流形上实现了不变量的构造。

ABSTRACT

Open Gromov-Witten invariants are defined as cycles of the multi-curve chain complex, well defined up to isotopy.

研究动机与目标

• 为拉格朗日子流形定义开Gromov-Witten不变量，而无需要求存在边界链，这在以往阻碍了非平凡同调类的不变量构造。
• 通过直接从多曲线模空间构造不变量，克服开Gromov-Witten势函数和$A_\infty$结构的技术限制。
• 通过避免高亏格下量子Maurer-Cartan方程的复杂性，将构造推广至任意亏格。
• 通过引入一种新的同调理论——Nice多曲线同调（NMCH），简化原始多曲线同调的技术复杂性。
• 证明不变量仅依赖于辛结构和一个满足$\partial K = L$的4-链$K$的选择，从而实现同调类的规范平移。

提出的方法

• 通过与不连通带装饰图相关的多曲线模空间构造不变量，该图编码了边界分量和欧拉示性数。
• 引入一个新的同调群——Nice多曲线同调（NMCH），定义为$ L $上不相交的一维电流形式线性组合的商，模去由同伦生成的边界关系。
• 使用一个满足$\partial K = L$的4-链$K$，定义$ H_1(L,\mathbb{Q}) $中的规范基类$\gamma_0$，从而实现不变量同调类的平移。
• 将模空间$\overline{\mathcal{M}}_{\chi,(n,H)}(\beta)$定义为基本模空间与$K^n$的纤维积，通过$\partial K$纳入边界行为。
• 将边界公式扩展至同时包含节点型和取值型边界面，使用与图结构相容的扰动。
• 通过模空间的扰动$\mathfrak{s}$构造$MCH_0(\partial\beta + \gamma_0)$中的多曲线闭链，并在更强的遗忘条件之下证明其与NMCH框架的等价性。

实验结果

研究问题

• RQ1 能否在不依赖于障碍类消失（即无需边界链）的条件下，为具有非平凡$H_1(L,\mathbb{Q})$的拉格朗日子流形定义开Gromov-Witten不变量？
• RQ2 当量子Maurer-Cartan方程无法给出数值不变量时，如何克服定义高亏格开不变量的障碍？
• RQ3 在多曲线构造中，使用不连通图是否能消除对单个边界分量链接条件的需求，从而简化不变量的定义？
• RQ4 是否存在一种同调理论框架，既能捕捉开不变量的本质拓扑数据，又具备计算上的可行性？
• RQ5 选择一个满足$\partial K = L$的4-链$K$在实现不变量同调类的规范平移中起什么作用？

主要发现

• 本文为任意$\beta \in H_2(M,L,\mathbb{Z})$和$\chi \in \mathbb{Z}$构造了开Gromov-Witten不变量$Z_{\beta,\chi} \in NMCH_0(\partial\beta + \gamma_0)$，且无需要求$\partial\beta = 0$在$H_1(L,\mathbb{Q})$中成立。
• 不变量通过不连通带装饰图定义，允许使用总边界链接数代替对每个分量的独立条件，从而避免了障碍类。
• 该构造在任意亏格下均有效，因为它避开了开Gromov-Witten势函数及其量子Maurer-Cartan方程的需要。
• 作者证明了复多曲线同调$MCH_0$同构于更简单的$NMCH_0$，后者通过不相交一维电流形式线性组合模去同伦关系来定义。
• 不变量仅依赖于辛结构$(M,\omega)$和一个满足$\partial K = L$的4-链$K$的选择，其中类$\gamma_0 = (K \setminus \partial K) \cap L$提供了同调类的规范平移。
• 该方法通过将扰动$\mathfrak{s}$扩展至同时包含节点和取值型边界面，确保了模空间边界层的相容性，使用$K^n$和$\partial K$。