[论文解读] The Space of Symplectic Structures on Closed 4-Manifolds

Tianjun Li|ArXiv.org|May 19, 2008

Geometric and Algebraic Topology参考文献 36被引用 9

一句话总结

本文研究闭4-流形上的辛结构空间，重点关注辛形式模微分同胚的模空间。研究证明，对于满足 $b^+ = 1$ 的有理或可 ruled 4-流形，辛形式在微分同胚下由其上同调类唯一确定，从而完整描述了模空间。研究进一步探讨了辛结构与凯勒结构之间的关系，提出了在凯勒曲面上构造非全纯Lefschetz纤维丛的方法。

ABSTRACT

This is a survey paper on the space of symplectic structures on closed 4-manifolds, for the Proceedings ICCM 2004

研究动机与目标

• 理解闭4-流形上辛结构的空间，特别是模微分同胚的辛形式模空间。
• 确定在满足 $b^+ = 1$ 的4-流形中，辛形式何时由其上同调类唯一确定。
• 比较具有凯勒结构的流形上辛形式空间与凯勒形式空间。
• 研究凯勒曲面上的每个辛形式是否同调于一个凯勒形式，特别是在一般型曲面上的情形。
• 探讨唐纳森计划对辛形式及其在微分同胚下的等价性所蕴含的含义。

提出的方法

• 本文使用闭4-流形 $X$ 上与定向相容的辛形式空间 $\Omega(X)$，其为闭2-形式空间的开子集。
• 定义模空间 $\mathcal{M}_X = \Omega(X)/\mathrm{Diff}^+(X)$，以捕捉模微分同胚的辛结构。
• 对于 $b^+ = 1$ 的情形，本文应用唯一性结果：辛形式在微分同胚下由其上同调类唯一确定。
• 利用辛规范类 $K_\omega = -c_1(X,\omega)$ 和辛锥 $\mathcal{C}_X$ 分析上同调不变量。
• 应用凯勒Nakai-Moishezon判别法和精细周期映射，刻画 $H^2(X;\mathbb{R})$ 中的凯勒类，特别是在K3和环面情形。
• 通过在球面商的唯一复结构的 $H^1_1$ 子空间之外选取辛形式，构造非全纯Lefschetz纤维丛。

实验结果

研究问题

• RQ1 对于满足 $b^+ = 1$ 的闭4-流形，辛形式是否在微分同胚下由其上同调类唯一确定？
• RQ2 在哪些闭4-流形中，每个辛形式都同调于一个凯勒形式？
• RQ3 是否那些不属于任何复结构的 $H^1_1$ 子空间的辛形式能产生非全纯Lefschetz纤维丛？
• RQ4 对于极小椭圆曲面 $E(n)$，上同调凯勒锥是否与辛锥重合？
• RQ5 在何种条件下，唐纳森计划意味着具有相同陈类和上同调类的任意两个辛形式可通过微分同胚关联？

主要发现

• 对于满足 $b^+ = 1$ 的有理或可 ruled 4-流形，辛形式在微分同胚下由其上同调类唯一确定。
• 此类流形的模空间 $\mathcal{M}_X$ 可通过上同调类与微分同胚作用的简单描述来刻画。
• 在K3曲面和 $T^4$ 上，由于精细周期映射的满射性，每个正平方的整上同调类在适当调整复结构后均属于凯勒锥。
• 对于满足 $p_g \geq 1$ 的极小凯勒一般型曲面，上同调凯勒锥严格小于辛锥，通过构造位于 $s$ 较大时不在凯勒锥内的辛形式 $\tau_s = \omega + s\mathrm{Re}(\phi)$ 得到证明。
• 通过构造一个与 $H^1_1$ 子空间外的大量倍数的辛类对偶的Lefschetz线性系，可在满足 $p_g > 0$ 的凯勒曲面上得到非全纯Lefschetz纤维丛。
• 本文提供了证据表明，辛锥可能包含不与任何凯勒形式同调的类，特别是在一般型曲面上；尽管在 $E(n)$ 曲面上，当满足某些条件时，上同调凯勒锥可能与辛锥重合。