[論文レビュー] 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パンルを構成し、最初に知られる種数1 = 2, 3, 4 のシンプレクティックCalabi-Yau表面と、$p=7,8,9$ の場合に $
\mathbb{CP}^2\#p\overline{\mathbb{CP}}^2$ と同相だが微分同相でない異種の有理面をもたらす。著者らは、種数3の曲面の写像類群における新規な正の因子分解を用いてこれらのパンルを実現し、このようなパンルの最小種数に関する長年の疑問を解決するとともに、Korkmazの種数-$g$ フibrationの $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.

研究の動機と目的

• $p=7,8,9$ の場合に、$
  \mathbb{CP}^2\#p\overline{\mathbb{CP}}^2$ と同相だが微分同相でない有理面に同相な小さな4次元多様体上に、明示的なシンプレクティック種数3 Lefschetzパンルを構成すること。
• 種数3のパンルを用いて、$b_1 = 2,3,4$ の新しいシンプレクティックCalabi-Yau表面の族を構成し、そのうちの1つは4次元トーラスと同相であることを示すこと。
• Korkmazが提起した、種数-$g$ フibrationにおける $b_1$ の上界に関する疑問を解決し、$b_1 > g$ を満たす例を構成することで、$b_1(X) \leq g$ が一般に成り立たないことを示すこと。
• 写像類群 $\Gamma_g^m$ における正の因子分解を、低種数の因子分解から導く新しい方法を提供し、これにより異種およびCalabi-Yau 4次元多様体の構成が可能になること。

提案手法

• 著者らは、$h < g$ の場合に $\Gamma_h^n$ における境界多様体の正の因子分解 $W_1, \ldots, W_k$ を、一致する正負のディーン回転のペアを埋め込み・相殺することで、$\Gamma_g^m$ における新しい正の因子分解 $\widetilde{W}$ に統合する「育成」構成を導入する。
• 境界接合と回転を用いて、低種数のLefschetzファイブレーション（例：Korkmazの種数-$2h$ ファイブレーション）を高種数の写像類群に埋め込み、モノドロミー関係を保存する。
• モノドロミー因子分解の上への持ち上げ（例：Hamadaによる一般化されたMatsumotoファイブレーションの $\Gamma_{2h}^2$ 上への持ち上げ）を用い、$g = 2h+1$ の場合に $\Gamma_g^m$ へとさらに持ち上げることで、$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$ ($p=7,8,9$) に同相な小さな異種4次元多様体上に、明示的な種数3 Lefschetzパネルを構成できるか？
• RQ2 微分同相でない複素Calabi-Yau表面とは異なる、$b_1 = 2, 3, 4$ のシンプレクティック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$ よりも改善可能か？

主な発見

• 本稿は、$p=7,8,9$ の場合に、$
  \mathbb{CP}^2\#p\overline{\mathbb{CP}}^2$ と同相だが微分同相でない4次元多様体上に、最初の明示的なシンプレクティック種数3 Lefschetzパネルを構成し、これらの同相型クラスにおいて、このようなパネルの最小種数が3であることを確認した。
• $b_1 = 2, 3$ の無限族のシンプレクティックCalabi-Yau表面と、$b_1 = 4$ で4次元トーラスと同相な1つの表面を、すべて種数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$（$i=1,2,3$）を満たす4次元多様体が得られ、これらが制御された不変量を持つシンプレクティックCalabi-Yau表面であることを確認した。