[论文解读] Symplectic surgeries from singularities

Ivan Smith, Richard Thomas|ArXiv.org|Dec 16, 2002

Geometry and complex manifolds参考文献 19被引用 24

一句话总结

本文提出了一套辛手术框架，通过一种规范的拉格朗日爆破，将复奇点退化过程中出现的拉格朗日球面配置替换为辛解析解。关键贡献在于构建了一种全局辛手术，通过在例外除子上支持的闭2-形式形变辛形式，保持辛结构，从而在辛几何中实现光滑化与解析解之间的转换。

ABSTRACT

We describe a variety of symplectic surgeries (not a priori compatible with Kahler structures) which are obtained by combining local Kahler degenerations and resolutions of singularities. The effect of the surgeries is to replace configurations of Lagrangian spheres with symplectic submanifolds. We discuss several examples in detail, relating them to existence questions for symplectic manifolds with $c_1>0, c_1=0, c_1<0$ in four and six dimensions.

研究动机与目标

• 在孤立超曲面奇点的背景下，建立一种将拉格朗日消失循环替换为复解析解的规范辛手术。
• 证明辛平行转移可确保所有光滑化 $X_t$ 同痕，从而实现一致的全局手术构造。
• 证明对于树状结构的拉格朗日球面配置，其附近辛结构在辛同痕意义下唯一确定。
• 提供一种通用方法，通过在拉格朗日配置上进行手术，构造具有指定拓扑（如法诺、卡拉比-丘、一般型）的辛流形。

提出的方法

• 利用总空间 $\mathcal{X} = \{(z,t) \in \mathbb{C}^{n+1} \times \mathbb{C} \mid f(z) = t\}$ 上的辛平行转移，将所有 $X_t$ 识别为辛同痕的流形。
• 构造一个拉格朗日爆破映射 $X_0 \leftarrow X_t$，其例外像为一组拉格朗日球面，作为奇点的消失循环实现。
• 在 $X_0$ 的奇点处进行爆破，得到 $\widehat{X}$，其配备一个退化的2-形式 $\omega$，经由与例外除子上同调对偶的闭2-形式 $\sigma$ 的扰动后变为非退化。
• 定义 $\sigma$ 与局部模型 $\mathbb{C}^{n+1} \times \mathbb{P}^n$ 上的凯勒形式同调，证明当 $\varepsilon > 0$ 足够小时，$\omega + \varepsilon \sigma$ 是辛形式。
• 利用通过管状邻域构造的、基于树状拉格朗日球面配置的辛结构唯一性，确保手术构造的良定义性。
• 将该手术应用于包含此类配置的全局辛流形，从而在解析解上生成具有受控第一陈类（如法诺、卡拉比-丘、一般型）的新辛结构。

实验结果

研究问题

• RQ1 是否可以构建辛手术，以替换拉格朗日消失循环为复解析解，同时保持辛结构？
• RQ2 在何种条件下，拉格朗日球面配置附近的辛结构在辛同痕意义下唯一确定？
• RQ3 辛平行转移如何关联不同光滑化并实现全局手术构造？
• RQ4 例外除子与扰动 $\omega + \varepsilon \sigma$ 在手术后保证全局辛性方面起什么作用？
• RQ5 该手术框架是否可用于构造具有指定第一陈类（如 $c_1 > 0$，$c_1 = 0$，$c_1 < 0$）的辛流形？
• RQ6 奇点邻域上的接触结构如何区分辛填充，特别是在高维情形下？

主要发现

• 手术通过规范的拉格朗日爆破，将拉格朗日球面（消失循环）替换为辛解析解，例外像为拉格朗日循环。
• 所有光滑化 $X_t$ 均通过辛平行转移实现辛同痕，确保手术构造的一致性。
• 对于树状结构的拉格朗日球面配置，其附近的辛结构在辛同痕意义下唯一确定。
• 当 $\varepsilon > 0$ 足够小时，扰动形式 $\omega + \varepsilon \sigma$ 在爆破流形 $\widehat{X}$ 上整体为辛形式，这是由于 $\omega$ 与 $\sigma$ 在重叠区域的非退化性。
• 该手术与局部模型 $\mathbb{C}^{n+1} \times \mathbb{P}^n$ 的辛几何相容，其中 $\sigma$ 在例外除子邻域内与凯勒形式一致。
• 该构造支持在具有 $c_1 > 0$、$c_1 = 0$ 和 $c_1 < 0$ 的流形中实现辛转换，为解决辛结构存在性问题提供了有效工具。