[论文解读] Examples of non-Kähler Calabi-Yau 3-folds with arbitrarily large $b_2$

Kenji Hashimoto, Taro Sano|arXiv (Cornell University)|Feb 4, 2019

Algebraic Geometry and Number Theory参考文献 29被引用 4

一句话总结

该论文利用对数形变理论，通过光滑化由两个凯勒分量组成的简单法向交叉（SNC）代数簇，首次构造出第二贝蒂数 $b_2$ 可任意大、且非凯勒的卡拉比-丘 3-流形。所得流形是单连通的、非代数的，代数维数为 1，且其形变无阻碍，霍奇-德·Rham谱序列在 $E_1$ 项退化。其关键贡献在于揭示了非凯勒卡拉比-丘 3-流形在双有理等价意义下的无界性。

ABSTRACT

We construct non-Kähler simply connected Calabi-Yau 3-folds with arbitrarily large 2nd Betti numbers by smoothing normal crossing varieties with trivial dualizing sheaves.

研究动机与目标

• 构造第二贝蒂数 $b_2$ 可任意大、且非凯勒的卡拉比-丘 3-流形，以解决该类流形在拓扑结构上无界的开放问题。
• 通过证明当 $a \neq a'$ 时，$X(a)$ 与 $X(a')$ 不双有理等价，从而展示非凯勒卡拉比-丘 3-流形的双有理无界性。
• 确立此类卡拉比-丘 3-流形可为单连通、非代数的，且代数维数为 1，尽管其典范丛是平凡的。
• 将对数形变理论的应用范围扩展至具有凯勒分量的非代数 SNC 代数簇，从而实现向卡拉比-丘流形的光滑化。
• 验证霍奇-德·Rham 谱序列在 $E_1$ 项退化，且形变无阻碍，从而确认卡拉比-丘结构的保持性。

提出的方法

• 构造一个简单法向交叉（SNC）代数簇 $X_0(a) = X_1 \cup X_2$，其中 $X_1$ 是 $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ 沿着椭圆纤维的 $a$ 个不同光滑纤维及一条曲线 $C$ 的爆破，而 $X_2 = \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$。
• 通过一个在交集 $S$ 上具有无限阶的自同构对 $X_1$ 与 $X_2$ 进行粘合，$S$ 是一个反典型除子，该自同构允许进行任意多此爆破。
• 应用 Kawamata–Namikawa 对数形变理论，将 $X_0(a)$ 光滑化为一个光滑的卡拉比-丘 3-流形 $X(a)$，确保典范丛平凡，且 $H^i(X, \mathcal{O}_X)$ 在 $0 < i < 3$ 时为零。
• 利用上半连续性定理与上同调消去，将中心纤维上的大线丛提升至一般纤维，同时保持其到 $\mathbb{P}^1$ 的映射。
• 通过反证法证明非代数性与代数维数为 1：假设 $a(X) \geq 2$ 将与中心纤维上存在大线丛的事实矛盾。
• 通过 Lefschetz 超平面定理与基本群比较证明单连通性，并确认形变无阻碍，且霍奇-德·Rham 谱序列在 $E_1$ 项退化。

实验结果

研究问题

• RQ1 能否通过光滑化技术构造出第二贝蒂数 $b_2$ 可任意大、且非凯勒的卡拉比-丘 3-流形？
• RQ2 是否存在此类流形，其为单连通、非代数的，且代数维数为 1？
• RQ3 非凯勒卡拉比-丘 3-流形是否可能具有双有理无界性，即是否存在无穷多个互不双有理等价的此类流形？
• RQ4 对数形变理论能否应用于具有凯勒分量的非代数 SNC 代数簇，以生成卡拉比-丘流形？
• RQ5 霍奇-德·Rham 谱序列与形变理论在这些非凯勒卡拉比-丘 3-流形上是否表现良好？

主要发现

• 对任意正整数 $a$，存在一个单连通的非凯勒卡拉比-丘 3-流形 $X(a)$，其第二贝蒂数满足 $b_2(X(a)) = a + 3$。
• $X(a)$ 的拓扑欧拉示性数为 $e(X(a)) = -256a^2 + 32a - 224$，可为任意负数。
• $X(a)$ 的代数维数恰好为 1，且 $X(a)$ 不双有理等价于任何凯勒流形。
• 霍奇-德·Rham 谱序列在 $X(a)$ 上于 $E_1$ 项退化，且 $X(a)$ 具有无阻碍形变。
• 当 $a \neq a'$ 时，流形 $X(a)$ 与 $X(a')$ 不双有理等价，从而确立了非凯勒卡拉比-丘 3-流形类别中的双有理无界性。
• 该构造利用了交集曲面 $S$ 上一个非平凡的无限阶自同构，从而实现任意多此爆破，最终实现 $b_2$ 的任意增大。