[论文解读] Monodromy invariants in symplectic topology

Denis Auroux|arXiv (Cornell University)|Apr 8, 2003

Geometric and Algebraic Topology参考文献 40被引用 6

一句话总结

本文建立了辛拓扑中单值不变量与两个关键构造之间的深刻联系：辛4-流形上的Luttinger手术，以及CP²中辛曲线的辫化。通过证明辫化辛曲线所诱导的分支覆盖与Luttinger手术结果相差一个Luttinger手术，作者证明了存在无穷多对非同痕的辛曲线，其次数与奇点类型完全相同，且利用典范类不变量加以区分。

ABSTRACT

This text is a set of lecture notes for a series of four talks given at I.P.A.M., Los Angeles, on March 18-20, 2003. The first lecture provides a quick overview of symplectic topology and its main tools: symplectic manifolds, almost-complex structures, pseudo-holomorphic curves, Gromov-Witten invariants and Floer homology. The second and third lectures focus on symplectic Lefschetz pencils: existence (following Donaldson), monodromy, and applications to symplectic topology, in particular the connection to Gromov-Witten invariants of symplectic 4-manifolds (following Smith) and to Fukaya categories (following Seidel). In the last lecture, we offer an alternative description of symplectic 4-manifolds by viewing them as branched covers of the complex projective plane; the corresponding monodromy invariants and their potential applications are discussed.

研究动机与目标

• 建立辛曲线辫化与辛4-流形上Luttinger手术之间的对应关系。
• 为利用单值不变量构造奇异辛4-流形提供统一的拓扑框架。
• 通过将Moishezon原始论证与Luttinger手术及典范类不变量相联系，简化其关于非同痕辛曲线的证明。
• 证明辛分支覆盖可通过单值不变量与手术下典范类行为加以区分。
• 阐明基本群计算与辛4-流形拓扑中典范类不变量之间的关系。

提出的方法

• 利用辛Lefschetz铅笔及其单值性，将辛4-流形的拓扑与曲线奇点联系起来。
• 应用Luttinger手术，通过在拉格朗日子环上施加受控的德恩扭转，改变其周围单值性，从而修改辛4-流形。
• 通过沿拉格朗日子环的辫化构造CP²中的辛曲线，保持次数与奇点数不变。
• 依赖于辫化曲线与分支覆盖之间的对应关系，证明所得全空间微分同胚于通过Luttinger手术得到的流形。
• 采用典范类公式：$ p\thinspace c_1(K_{p,k}) = (6p-9)[\omega_{p,k}] + (2p-3)k\thinspace PD([T]) $，以区分所得辛流形。
• 利用Moser稳定性定理与Darboux定理，确保局部辛平凡性及上同调类的同痕不变性。

实验结果

研究问题

• RQ1 能否系统地将辛曲线辫化与辛4-流形上的Luttinger手术联系起来？
• RQ2 辛Lefschetz铅笔的单值不变量如何与分支覆盖的拓扑相关？
• RQ3 哪些不变量可区分沿拉格朗日子环进行Luttinger手术所得的辛4-流形？
• RQ4 Luttinger手术下典范类如何变换，这对辛结构有何含义？
• RQ5 能否将辛曲线补集的基本群与典范类及单值不变量相联系？

主要发现

• 在CP²中存在无穷多对彼此非同痕的辛曲线，其次数与节点、尖点数完全相同，且通过辫化构造而成。
• 沿这些曲线的分支覆盖微分同胚于沿拉格朗日子环进行Luttinger手术所得的流形。
• 所得辛4-流形$X_{p,k}$的典范类变换为$ p\thinspace c_1(K_{p,k}) = (6p-9)[\omega_{p,k}] + (2p-3)k\thinspace PD([T]) $，提供了一个区分不变量。
• 当$p \not\equiv 0 \mod 3$或$k \equiv 0 \mod 3$时，同调类$[T] \in H_2(X_{p,k}, \mathbb{Z})$为非挠且本原，确保在不同$k$下保持相异。
• 当$k=0$时，补集的基本群$\pi_1(\mathbb{CP}^2 - \Sigma_{p,k})$为无限群，而当$k \neq 0$时为有限群，这与典范类仅在$k=0$时与辛类成比例一致。
• 该构造通过用基于单值性和辛拓扑的几何手术框架替代复数基本群计算，简化了Moishezon原始证明。