[論文レビュー] Symplectic Parshin-Arakelov inequality

Tianjun Li|ArXiv.org|Sep 5, 2001

Spectral Theory in Mathematical Physics被引用数 7

ひとこと要約

本稿は、シンプレクティック4次元多様体上のLefschetzファイブレーションに対して、古典的なParshin-Arakelov不等式のシンプレクティック版を確立する。相対的に最小な genus $g$ のLefschetzファイブレーションが genus $h$ の曲面へと射影されるとき、多様体 $M$ が有理的でも再帰的でもない限り、$c_1^2(M) \geq 2(g-1)(h-1)$ が成り立ち、$h=0$ のとき等号が成立する可能性がある。この結果は、Kotschickの表面バンドルに対する不等式を一般化し、特に $S^2$ 上のファイブレーションにおける非可約特異ファイバーの数に対する鋭い下界を与える。すなわち $n \geq g$ が成り立つ。

ABSTRACT

Lefschetz fibration is the symplectic analogue of stable holomorphic fibration in complex geometry. A 4-dimensional stable holomorphic fibration satisfies the famous Parshin-Arakelov inequality. In this note we present an analogous inequality for a 4-dimensional Lefschetz fibration.

研究の動機と目的

• 安定な正則ファイブレーションに対する古典的Parshin-Arakelov不等式のシンプレクティック版を確立すること。
• 特に有理的でも再帰的でもない多様体に対して、$S^2$ 上のgenus $g$ のLefschetzファイブレーションにおける非可約特異ファイバーの最小数を特定すること。
• 再帰的および有理的曲面上のLefschetzファイブレーションの構造を分析し、特異ファイバー数の上限を導出すること。
• 幾何的モノドロミーとHodgeバンドの正性を介して、結果を写像類群およびDeligne-Mumfordモジュライ空間 $\overline{\mathcal{M}}_g$ に結びつけること。
• genus $g$ とベースのgenus $h$ の観点から、$c_1^2$ の下界を一般化したKotschickの結果に一般化すること。

提案手法

• Lefschetzファイブレーションのハンドル体記述を用い、ファイブレーションを $D^2$ 上の曲面バンドルに2-ハンドルを付加することで構成された4次元多様体としてモデル化する。
• 符号数公式 $\sigma = (2e + 3c_1^2 - 4)/3$ を適用し、特異ファイバー数および消滅サイクルとの関係を分析する。
• 写像類群 $\mathcal{MC}(F)$ 内のデーン回転を用いたモノドロミー表現を分析し、特に可約ファイバーに対応する分離型消滅サイクルに注目する。
• $S^2$ 上のLefschetzファイブレーションはグローバルモノドロミーが自明であるため、デーン回転の積が自明であることを用い、特異ファイバー数を制約する。
• ドナルドソンの定理（シンプレクティック4次元多様体に十分なブロー・アップを施すことで、シンプレクティックLefschetzファイブレーションが存在する）を応用する。
• モジュライ空間 $\overline{\mathcal{M}}_g$ 上のHodgeバンド $\mathcal{H}_g$ を用い、ファイブレーション写像の像との第一チャーン類のペアリングを計算することで、正性の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 正のgenusを持つ曲面上のLefschetzファイブレーションに対して、Parshin-Arakelov不等式のシンプレクティック版は何か？
• RQ2 有理的でも再帰的でもないシンプレクティック4次元多様体がgenus $g$ のLefschetzファイブレーションを許容する場合、$c_1^2(M)$ に対する鋭い下界を確立できるか？
• RQ3 $S^2$ 上のgenus $g$ のLefschetzファイブレーションにおける非可約特異ファイバーの最小数は何か？また、genus $g$ とどのように関係するか？
• RQ4 特異ファイバー数に関する結果は、再帰的および有理的曲面上のLefschetzファイブレーションの構造にどのような制約を与えるか？
• RQ5 genus $g$ のLefschetzファイブレーションが $S^2$ 上に存在するとき、ペアリング $<c_1(\mathcal{H}_g), \phi_*[S^2]>$ は非負か？そしてこれは $\overline{\mathcal{M}}_g$ の幾何に何を意味するか？

主な発見

• シンプレクティックなParshin-Arakelov不等式は、相対的に最小な genus $g$ のLefschetzファイブレーションが genus $h$ の曲面へと射影されるとき、$M$ が有理的でも再帰的でもない限り、$c_1^2(M) \geq 2(g-1)(h-1)$ が成り立ち、$h=0$ のとき等号が成立する可能性がある。
• $S^2$ 上のLefschetzファイブレーションでは、非可約特異ファイバー数 $n$ に対して $n \geq g$ が成り立ち、$g=2$ および $g=3$ のときこの下界は鋭い。
• $g \geq 3$ のとき、非可約特異ファイバー数は $n \geq 6$ を満たし、さらに $n \geq (6g+6)/5 + s/5$ が成り立つ。ここで $s$ は型 $I_1$ の特異ファイバー数である。
• 特異ファイバーの最小数は4以上であり、$g \geq 3$ のとき6以上である。これは符号数の下限とファイバー数の制約を組み合わせることで示される。
• ペアリング $<c_1(\mathcal{H}_g), \phi_*[S^2]> \geq \frac{1}{12}l + \frac{g-1}{3} \geq \frac{3g-2}{6}$ は、Hodgeバンドの第一チャーン類に対する正の下界を与える。これはシンプレクティックな文脈における正性を確認する。
• ベースのgenus $h=1$ のとき、不等式 $<c_1(\mathcal{H}_g), \phi_*[\Sigma_h]> \geq -\frac{1}{2}(h-1)(g-1) + \frac{1}{12}l$ が成り立ち、$h>0$ の場合のペアリングの正性に関する[ABKP]で提起された疑問に肯定的に答えている。