[論文レビュー] Chart description for hyperelliptic Lefschetz fibrations and their stabilization

Hisaaki Endo, Seiichi Kamada|arXiv (Cornell University)|Jun 12, 2013

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

ひとこと要約

本稿では、ハイパーオーロプティック・レフシェッツ・ファイブレーションのための図式的記述を導入し、そのモノドロミーを図的に表現する手法を提供する。任意のこのようなファイブレーションが、特定の基本的ファイブレーションとのファイバー和をとることで安定化可能であることを証明し、図式の移動とハーウィッツ系変換を用いて完全な分類を確立する。

ABSTRACT

Chart descriptions are a graphic method to describe monodromy representations of various topological objects. Here we introduce a chart description for hyperelliptic Lefschetz fibrations, and show that any hyperelliptic Lefschetz fibration can be stabilized by fiber-sum with certain basic Lefschetz fibrations.

研究の動機と目的

• ハイパーオーロプティック・レフシェッツ・ファイブレーションのための図式的記述法を構築し、モノドロミー表現に関する先行研究を拡張すること。
• 体系的な安定化手順を導入することで、ハイパーオーロプティック・レフシェッツ・ファイブレーションの分類問題を解決すること。
• 任意のハイパーオーロプティック・レフシェッツ・ファイブレーションが、基本的ファイブレーションとの安定化を経て標準形に同値になることを証明すること。
• 局所的移動（C2, C3, C4）を用いてハーウィッツ系と図式的図形の間の対応を確立し、これがモノドロミー変換を模倣することを示すこと。
• 特異ファイバー型の個数の差に由来する不変量に基づく、安定化の構成的基準を提示すること。

提案手法

• 特定の曲線 $C_i$ および $S_h$ 沿いのデーン回転 $\zeta_i$ を用いて、 genus-$g$ の曲面上の図式的記述を導入する。
• 明示的なハーウィッツ系に基づく5つの基本的レフシェッツ・ファイブレーション $f_0, f_1, f_{2,h}, f'_1, f'_{2,h}$ を定義する。
• ハーウィッツ移動（H1, H2, H3）に対応する局所的図式移動（C2, C3, C4）を用いて、モノドロミー同値性を保ちつつ図式図形を変形する。
• ハイパーオーロプティック・マッピングクラス群の定義関係、特にブレード関係およびハイパーオーロプティック対合 $\iota$ を用いてハーウィッツ系を操作する。
• 特異ファイバー個数の線形結合として得られる安定化不変量 $\mathcal{E}(f)$ を導出する：$n_0^+ - n_0^- - 4\sum_h (n_h^+ - n_h^-)(2h(g-h)+2g+1)$。
• $g$ が偶数の場合は $\mathcal{E}(f)$ が $2(2g+1)$ で割り切れ、$g$ が奇数の場合は $4(2g+1)$ で割り切れることを示し、これにより基本的ファイブレーションとのファイバー和による安定化が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ハイパーオーロプティック・レフシェッツ・ファイブレーションに対して、モノドロミー情報を表現する図式的記述を効果的に定義できるか？
• RQ2 ハイパーオーロプティック・レフシェッツ・ファイブレーションがファイバー和操作によって安定化可能かどうかを決定づける条件は何か？
• RQ3 局所的図式移動（C2, C3, C4）は、モノドロミー表現を変形するハーウィッツ移動（H1, H2, H3）とどのように対応するか？
• RQ4 安定化プロセスを支配する不変量は何か？ そしてそれらはどのようにハイパーオーロプティック・ファイブレーションの分類に利用できるか？
• RQ5 任意のハイパーオーロプティック・ファイブレーションが安定化後に、ある普遍的な基本的ファイブレーションの族とのファイバー和に同値になるような、普遍的な基本的ファイブレーションの集合が存在するか？

主な発見

• 任意のハイパーオーロプティック・レフシェッツ・ファイブレーションは、有限個の基本的ファイブレーション $f_0, f_1, f_{2,h}, f'_1, f'_{2,h}$ とのファイバー和をとることで安定化可能であり、標準的ハーウィッツ系を持つファイブレーションが得られる。
• 安定化プロセスは、位相的不変量 $\mathcal{E}(f)$ によって支配され、$g$ が偶数の場合は $2(2g+1)$ で、$g$ が奇数の場合は $4(2g+1)$ で割り切れる必要がある。
• 安定化ファイブレーション $f \# m f_0$ における型 ${\rm I}^+$ の特異ファイバーの個数は $n_0^+(f) + 4(2g+1)m$ に等しく、ファイバー個数が明示的に制御されることを示している。
• 図式的記述の存在により、局所的移動（C2, C3, C4）を用いて任意のハーウィッツ系を同値なものに変形できることを示し、モノドロミーを保全する操作における同値性を証明している。
• ファイバー和 $ (a+m)f_0 \# b f_1 \# \sum c_h f_{2,h} \# d f'_1 \# \sum e_h f'_{2,h} $ は、不変量 $n_0^+, n_0^-, n_h^+, n_h^-$ によって係数が定まる安定化ファイブレーションを実現する。
• 関係式 $ (g+1)f_0 \cong 2f_1 $ が成り立つため、安定化パラメータを簡略化でき、構成において $b = 0$ または $1$ を選べることを示している。