[论文解读] Rationally connected $3$-folds and symplectic geometry

Claire Voisin|ArXiv.org|Jan 9, 2008

Algebraic Geometry and Number Theory参考文献 24被引用 15

一句话总结

本文研究了在紧致凯勒3-流形中，理性连通性是否在辛等价下保持不变，证明了若一个理性连通3-流形 $X$ 与另一紧致凯勒3-流形 $Y$ 辛等价，则在两种条件下 $Y$ 也必为理性连通：当 $X$ 为法诺流形时，或当 $b_2(X) \leq 2$ 时。证明使用了格罗莫夫-威滕不变量、近乎全纯纤维丛及双有理几何，通过显示若 $Y$ 缺乏理性连通性，则会因辛形变不变性与曲线类分析而产生矛盾。

ABSTRACT

We study the following question, asked to us By Pandharipande and Starr: Let $X$ be a rationally connected $3$-fold, and $Y$ be a compact Kaehler $3$-fold symplectically equivalent to it. Is $Y$ rationally connected? We show that the answer is positive if $X$ is Fano or $b_2(X)\leq2$.

研究动机与目标

• 验证科拉尔提出的猜想：对于紧致凯勒3-流形，理性连通性是辛不变量。
• 确定当 $X$ 为法诺流形或满足 $b_2(X) \leq 2$ 时，辛等价的3-流形是否继承理性连通性。
• 将已知结果（即亏格有理曲面性为辛不变量）推广至3维中更强的理性连通性。
• 分析非理性连通3-流形上近乎全纯有理纤维丛的结构，以在辛等价下导出矛盾。

提出的方法

• 通过微分同胚 $\psi: X \cong Y$ 实现辛等价，保持凯勒形式的形变类。
• 应用格罗莫夫-威滕不变量 $GW^{X}_{0,[C]}([x])$ 检测最小次数有理曲线，并追踪其在 $\psi$ 下的像。
• 构造近乎全纯有理纤维丛 $\phi: X \dashrightarrow \Sigma$，$\phi': Y \dashrightarrow \Sigma'$，其有理纤维类分别为 $[C]$ 和 $[D] = \psi_*[C]$。
• 利用 $b_2(X) \leq 2$ 或 $X$ 为法诺流形的条件，确保纤维丛 $\phi$ 定义良好，且不将曲面收缩为点。
• 应用双有理几何与邻接理论，证明 $\Sigma'$ 必为可展曲面，从而推出 $Y$ 为理性连通。
• 通过证明：若 $Y$ 非理性连通，则纤维丛结构将迫使 $Y$ 为理性连通，从而与假设矛盾。

实验结果

研究问题

• RQ1 在紧致凯勒3-流形中，理性连通性是否在辛等价下保持不变？
• RQ2 在法诺或 $b_2 \leq 2$ 条件下，是否可证明辛等价的理性连通3-流形必均为理性连通？
• RQ3 最小次数有理曲线的格罗莫夫-威滕不变量在辛等价下检测理性连通性的作用为何？
• RQ4 非理性连通3-流形上近乎全纯纤维丛的结构如何约束辛不变量？
• RQ5 在何种条件下，存在有理纤维的有理纤维丛可推出全空间的理性连通性？

主要发现

• 若 $X$ 为满足 $b_2(X) \leq 2$ 的理性连通3-流形，则任意与 $X$ 辛等价的紧致凯勒3-流形 $Y$ 也必为理性连通。
• 若 $X$ 为法诺3-流形，则任意与 $X$ 辛等价的紧致凯勒3-流形 $Y$ 也必为理性连通。
• 证明的关键在于：若 $Y$ 缺乏理性连通性，则其存在具有有理纤维的可展曲面纤维丛，从而导出矛盾。
• 格罗莫夫-威滕不变量 $GW^{X}_{0,[C]}([x]) = 1$ 对于最小次数曲线类 $[C]$ 在辛等价下保持不变，且蕴含存在有理纤维丛。
• 当 $b_2(X) \leq 2$ 或 $X$ 为法诺流形时，纤维丛 $\phi: X \dashrightarrow \Sigma$ 定义良好，且在此条件下不将曲面收缩为点。
• 与 $Y$ 关联的曲面 $\Sigma'$ 为双有理可展曲面，由引理1.3可知 $Y$ 为理性连通，与假设 $Y$ 非理性连通矛盾。