[论文解读] Quantum homology of compact convex symplectic manifolds

Sergei Lanzat|arXiv (Cornell University)|Feb 5, 2013

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

一句话总结

本文将格罗莫夫-威滕理论与量子同调推广至具有凸（接触型）边界之半正紧致辛流形。通过在凸性与半正则性条件下建立伪全纯球面的良态模空间，构造了在 $\mathbb{F} = \mathbb{Z}_2$ 或 $\mathbb{Q}$ 上的绝对与相对量子同调代数，并证明了这些量子同调代数的庞加莱-李弗谢茨对偶性。

ABSTRACT

We study the space of pseudo-holomorphic spheres in compact symplectic manifolds with convex boundary. We show that the theory of Gromov-Witten invariants can be extended to the class of semi-positive manifolds with convex boundary. This leads to a deformation of intersection products on the absolute and relative singular homologies. As a result, absolute and relative quantum homology algebras are defined analogously to the case of closed symplectic manifolds. In addition, we prove the Poincaré-Lefschetz duality for the absolute and relative quantum homology algebras.

研究动机与目标

• 将格罗莫夫-威滕不变量与量子同调理论从闭辛流形推广至具有凸（接触型）边界的紧致辛流形。
• 为半正紧致凸辛流形定义绝对与相对量子同调代数。
• 为这些量子同调代数建立庞加莱-李弗谢茨对偶性。
• 为具有与辛拓扑相容的边界条件的非闭辛流形提供量子同调的框架。

提出的方法

• 利用边界凸性确保存在一个横截于边界的李维耶向量场，从而控制伪全纯曲线的行为。
• 应用半正则性条件，确保伪全纯球面的模空间在一般情况下为光滑且定向的流形。
• 通过在诺维科夫环上取系数的格罗莫夫-威滕不变量，对奇异同调的交积进行形变，从而构造量子同调代数。
• 利用诺维科夫环 $\Lambda$ 和量子积结构，定义绝对量子同调 $QH_*(M)$ 与相对量子同调 $QH_*(M,\partial M)$。
• 在诺维科夫环与量子同调上引入赋值结构，以处理无穷级数并确保量子积中的收敛性。
• 通过证明量子配对 $\Delta_2$ 与 $\Pi_2$ 为非退化，建立庞加莱-李弗谢茨对偶性，从而将经典对偶性推广至量子情形。

实验结果

研究问题

• RQ1 半正紧致凸辛流形的格罗莫夫-威滕不变量能否被一致地定义？
• RQ2 在具有接触型结构的边界存在时，如何构造量子同调代数？
• RQ3 庞加莱-李弗谢茨对偶性在凸辛流形的相对与绝对量子同调情形下是否成立？
• RQ4 诺维科夫环与赋值结构在确保量子积良好定义性方面起什么作用？
• RQ5 在具体例子（如 4-球的对称爆破与余切圆盘丛的爆破）中，量子积如何表现？

主要发现

• 在半正紧致凸辛流形中，伪全纯球面的模空间在一般情况下为光滑、定向且紧致的，从而可定义格罗莫夫-威滕不变量。
• 在 $\mathbb{F} = \mathbb{Z}_2$ 或 $\mathbb{Q}$ 上，绝对与相对量子同调代数 $QH_*(M)$ 与 $QH_*(M,\partial M)$ 良好定义，其量子积对经典交积进行了形变。
• 量子配对 $\Delta_2$ 与 $\Pi_2$ 为非退化，这意味着量子同调代数满足庞加莱-李弗谢茨对偶性。
• 对于在原点处以大小 $\delta$ 进行爆破的 4-球，量子积满足 $E \ast_1 E = -[pt] + E \otimes s^{-\delta} q^{-2}$，表明存在非平凡的量子修正项。
• 在亏格为 $g$ 的曲面的余切圆盘丛的爆破中，有 $[\Sigma] \ast_1 [\Sigma] = (2-2g)[pt]$ 与 $E \ast_2 E^\vee = [pt] - E \otimes s^{-\delta} q^{-2}$，展示了来自例外球面的量子修正。
• 在 $QH_*(M,\partial M)$ 中的单位元为 $[M,\partial M]$，且对所有 $z$ 有 $[M,\partial M] \ast_3 z = z$，确认了相对量子同调代数的单位元结构。