[論文レビュー] Classification of broken Lefschetz fibrations with small fiber genera

R. İnanç Baykur, Seiichi Kamada|arXiv (Cornell University)|Oct 27, 2010

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

ひとこと要約

本稿は、非自明な全モノドロミーをもつ2次元円板上の genus one レフシェッツファイブレーションのモノドロミー因子分解を分析することにより、4次元多様体上の genus one 簡易化された破れたレフシェッツファイブレーション（SBLFs）を分類する。チャート記述法とハンドル体技術を用いて、このようなファイブレーションを許容するすべての閉じた、向き付け可能な4次元多様体を同定し、それらが特定の接続和 $\mathbb{CP}^2$, $\overline{\mathbb{CP}}^2$, $S^1 \times S^3$, $S^2 \times S^2$, レンズ空間、または $n\mathbb{CP}^2 \# \, 5n\overline{\mathbb{CP}}^2$ の吹き上げを含むものと微分同相であることを示している。分類は基本群とオイラー標跡に依存する。

ABSTRACT

In this article, we generalize the classification of genus one Lefschetz fibrations to genus one simplified broken Lefschetz fibrations, which have fibers of genera one and zero. We classify genus one Lefschetz fibrations over the 2-disk with certain non-trivial global monodromies using chart descriptions, and identify the 4-manifolds admitting genus one simplified broken Lefschetz fibrations.

研究の動機と目的

• genus one レフシェッツファイブレーションの Kas と Moishezon の分類を、ファイバーの genus が1および0である簡易化された破れたレフシェッツファイブレーションの設定に一般化すること。
• 2次元円板上の genus one レフシェッツファイブレーションを、$SL(2,\mathbb{Z})$ 内で $\pm \text{id}$ に $\pm$ 乗数のデーン回転の積として写像する非自明な全モノドロミーをもつものについて分類すること。
• ハンドル体とチャート記述を用いて、最小の genus one 簡易化された破れたレフシェッツファイブレーションを許容するすべての閉じた、向き付け可能な4次元多様体を同定すること。
• このようなファイブレーションを許容する4次元多様体の微分同相型を特定すること。特に、分類に必要な場合に吹き上げを含むこと。

提案手法

• 文献[12]のチャート計算の修正版である、図式的なチャート記述法を用いて、2次元円板上の genus one レフシェッツファイブレーションを表現する。
• Hurwitz生成子系と $SL(2,\mathbb{Z})$ 内のモノドロミー因子分解を用いて、特に $\pm \text{id}$ に $\pm$ 乗数のデーン回転の積への写像を含む全モノドロミーを分析する。
• 文献[3]のハンドル体記述を用いて、ファイブレーションの全空間を再構成し、それによって得られる4次元多様体を同定する。
• 2次元円板上でのモノドロミー因子分解の分類を用いて、ファイブレーションの可能な全空間を導出する。
• 標準的な因子分解の像に属さない場合に、特に全モノドロミーが標準的因子分解の像にない場合に、必要に応じてシンプレクティックに吹き上げる。
• ハンドル図を用いて結果を検証し、Perutz の $S^2 \times S^2$ および $\mathbb{CP}^2 \# \overline{\mathbb{CP}}^2$ 上のファイブレーションなどの既知の例と比較する。

実験結果

リサーチクエスチョン

• RQ1 どの4次元多様体が、ファイバーの genus が1および0である genus one 簡易化された破れたレフシェッツファイブレーションを許容するか？
• RQ2 SL(2,\mathbb{Z}) 内の非自明な全モノドロミーは、2次元円板上の genus one レフシェッツファイブレーションの分類にどのように影響するか？
• RQ3 このようなファイブレーションの全空間として現れる4次元多様体の微分同相型は、吹き上げを許容してどのように特定されるか？
• RQ4 分類は、全モノドロミーが非自明な場合に拡張可能か。また、吹き上げはこの分類にどのように関与するか？
• RQ5 基本群、オイラー標跡などのトポロジカル不変量は、これらのファイブレーションを許容する4次元多様体を特徴付けるか？

主な発見

• genus one 最小の簡易化された破れたレフシェッツファイブレーションを許容する4次元多様体は、$S^1 \times S^3 \# k\overline{\mathbb{CP}}^2$, $\mathbb{CP}^2 \# S^1 \times S^3 \# (k-1)\overline{\mathbb{CP}}^2$, $S^2 \times S^2 \# S^1 \times S^3$, $L_n \# k\overline{\mathbb{CP}}^2$, $L_n' \# k\overline{\mathbb{CP}}^2$, $T^2 \times S^2 \# k\overline{\mathbb{CP}}^2$, $S^1 \times L(n,1) \# k\overline{\mathbb{CP}}^2$, または $E(n)$ と微分同相である。ただし $k=12n$ であり、吹き上げを許容する。
• $\pi_1(X) = 1$ の場合、全空間は $E(n)$ で $k=12n$ であるか、吹き上げの後 $n\mathbb{CP}^2 \# \, 5n\overline{\mathbb{CP}}^2$ と微分同相になる。
• 全モノドロミーが $\tilde{\mu} = \left(\begin{smallmatrix}-1 & 0 \\ 4 & -1\end{smallmatrix}\right)$ に写像する場合も分類に含まれ、この場合、主定理を適用するために吹き上げが必要となる。
• すべてのこのようなファイブレーションは $b^+(X) > 0$ のとき近似シンプレクティックであり、連結性によりファイバーはホモロジー的に本質的である。
• 4次元多様体のリストは吹き上げを許容して完全であり、モノドロミーが標準的因子分解の類に属さないファイブレーションでは吹き上げが不可欠である。
• 結果として、モノドロミー因子分解 $\sim (t_a, t_b)^{3n+3} \cdot (t_a)^k$ の場合に $n\mathbb{CP}^2 \# \, 5n\overline{\mathbb{CP}}^2$ が吹き上げ後の全空間であることが確認された。