[论文解读] Small symplectic Calabi-Yau surfaces and exotic 4-manifolds via genus-3 pencils

R. İnanç Baykur|arXiv (Cornell University)|Nov 18, 2015

Geometric and Algebraic Topology参考文献 25被引用 5

一句话总结

本文在小的辛4-流形上构造了显式的亏格3 Lefschetz铅笔，首次给出了第一类已知的具有第一贝蒂数 $b_1 = 2, 3, 4$ 的辛 Calabi-Yau 曲面，以及微分同胚于 $\mathbb{CP}^2\#p\overline{\mathbb{CP}}^2$ 的异样有理曲面（$p=7,8,9$）。作者通过在亏格3曲面的映射类群中使用新颖的正因子分解，实现了这些铅笔，解决了关于此类铅笔最小亏格的长期悬而未决问题，并为Korkmaz关于亏格-$g$纤维化中 $b_1$ 上界猜想提供了反例。

ABSTRACT

We explicitly produce symplectic genus-3 Lefschetz pencils (with base points), whose total spaces are homeomorphic but not diffeomorphic to rational surfaces CP^2 # p (-CP^2) for p= 7, 8, 9. We then give a new construction of an infinite family of symplectic Calabi-Yau surfaces with first Betti number b_1=2,3, along with a surface with b_1=4 homeomorphic to the 4-torus. These are presented as the total spaces of symplectic genus-3 Lefschetz pencils we construct via new positive factorizations in the mapping class group of a genus-3 surface. Our techniques in addition allow us to answer in the negative a question of Korkmaz regarding the upper bound on b_1 of a genus-g fibration.

研究动机与目标

• 在与有理曲面 $\mathbb{CP}^2\#p\overline{\mathbb{CP}}^2$ 同胚但不同胚的小型4-流形上，构造显式的辛亏格3 Lefschetz铅笔，其中 $p=7,8,9$。
• 通过亏格3铅笔，构造新的辛 Calabi-Yau 曲面族，其 $b_1 = 2,3,4$，包括一个同胚于4-环面的曲面。
• 通过构造 $b_1 > g$ 的例子，解决Korkmaz关于亏格-$g$纤维化中 $b_1$ 上界的问题。
• 提出一种从低亏格因子分解推导映射类群 $\Gamma_g^m$ 中正因子分解的新方法，从而实现异样与 Calabi-Yau 4-流形的构造。

提出的方法

• 作者引入一种‘繁育’构造法，通过嵌入并抵消匹配的正负德恩旋转变换对，将 $\Gamma_h^n$（$h < g$）中边界多扭的正因子分解 $W_1, \ldots, W_k$ 组合为 $\Gamma_g^m$ 中的新正因子分解 $\widetilde{W}$。
• 通过边界粘合与旋转，将低亏格 Lefschetz 纤维丛（例如 Korkmaz 的亏格-$2h$ 纤维丛）嵌入更高亏格的映射类群中，同时保持单值关系。
• 该构造使用单值因子分解的提升——例如 Hamada 对广义 Matsumoto 纤维丛的提升——进入 $\Gamma_{2h}^2$，并进一步提升至 $\Gamma_g^m$（$g = 2h+1$），从而实现对 $b_1$ 有控制的铅笔。
• 通过在结果铅笔的基点上进行爆破，得到总空间实现所需4-流形的纤维丛，包括 Calabi-Yau 曲面与异样有理曲面。
• 该方法依赖于从低亏格中已知因子分解导出的 $\Gamma_g^m$ 中边界多扭的显式正因子分解，确保单值对应于辛 Lefschetz 铅笔。
• 作者利用 $c_1^2$、$\chi$ 和 $\pi_1$ 等拓扑不变量对结果4-流形进行分类，并验证其异样或 Calabi-Yau 性质。

实验结果

研究问题

• RQ1 能否在与 $\mathbb{CP}^2\#p\overline{\mathbb{CP}}^2$ 同胚但不同胚的小型异样4-流形上，构造显式的亏格3 Lefschetz 铅笔，其中 $p=7,8,9$？
• RQ2 是否存在具有 $b_1 = 2, 3, 4$ 的辛 Calabi-Yau 曲面，且其不微分同胚于复 Calabi-Yau 曲面？
• RQ3 Korkmaz 的猜想——即对任意非平凡的亏格-$g$ Lefschetz 纤维丛，有 $b_1(X) \leq g$——是否成立？能否构造反例？
• RQ4 异样有理曲面 $\mathbb{CP}^2\#p\overline{\mathbb{CP}}^2$ 上的 Lefschetz 铅笔的最小亏格是否可实现为亏格3？
• RQ5 对亏格-$g$ Lefschetz 铅笔，$b_1(X)$ 的精确上界是多少？能否将其改进至超过 $g+1$？

主要发现

• 本文首次在与 $\mathbb{CP}^2\#p\overline{\mathbb{CP}}^2$ 同胚但不同胚的4-流形上，构造了显式的辛亏格3 Lefschetz 铅笔，其中 $p=7,8,9$，并确认在这些同胚类中，亏格3是此类铅笔的最小可能亏格。
• 构造了一个包含无穷多条的辛 Calabi-Yau 曲面族，其 $b_1 = 2,3$，以及一个 $b_1 = 4$ 且同胚于4-环面的曲面，所有这些曲面均作为亏格3铅笔的总空间出现。
• 作者通过构造一个 $b_1 = 4 > g = 3$ 的亏格3 Lefschetz 铅笔，提供了对 Korkmaz 猜想的反例，表明 $b_1 \leq g$ 并非普遍成立。
• 该构造产生了具有任意有限交换基本群 $\mathbb{Z}/m_1\mathbb{Z} \oplus \mathbb{Z}/m_2\mathbb{Z}$ 的铅笔，其中无穷多条与任何复曲面均不同伦。
• 本文确立了 $b_1(X) = g+1$ 对于亏格-$g$ 铅笔是可实现的，暗示 $g+1$ 可能是精确上界，并推测对 $g=3$，此即上确界。
• 该方法产生了满足 $c_1^2 = 3-i$ 且 $\chi = 1$ 的4-流形，其中 $i=1,2,3$，确认其为具有受控不变量的辛 Calabi-Yau 曲面。