[論文レビュー] The Severi problem for Hirzebruch surfaces

Vsevolod Shevchishin|ArXiv.org|Apr 4, 2004

Mathematics and Applications参考文献 6被引用数 3

ひとこと要約

この論文は、与えられた線型同値類および幾何学的 genus $g$ に対して、Hirzebruch 表面 $\mathbf{F}_k$ 上の非可約ノード曲線のモジュライ空間が連結であることを証明する。ファイバー成分付近でのノードの局所的変形解析と、ノード配置へのモノドロミー群作用を用いて、すべての成分が $d$ 個のセクションと $f$ 個のファイバーからなる退化曲線の滑らか化から生じることを確立し、Hirzebruch 表面における Severi 問題を解決する。

ABSTRACT

We prove that the locus of irreducible nodal curves on a given Hirzebruch surface F_k of given linear equivalency class and genus g is irreducible.

研究の動機と目的

• 非可約ノード曲線のモジュライ空間の連結性を証明することで、Hirzebruch 表面における Severi 問題を解決すること。
• すべての非可約成分が、$d$ 個のセクションと $f$ 個のファイバーからなるノード特異点を持つ可約曲線を含むことの証明。
• すべてのこのような成分が、そのような退化曲線の滑らか化として得られることを確立し、『予期しない』成分の存在を除外すること。
• 代数的幾何の結果をシンプレクティックトポロジーに接続し、$\mathbf{F}_k$ 内の擬全純曲線について、シンプレクティック同相型がホモロジー類と genus によって決定されることを示すこと。

提案手法

• 可約曲線のファイバー成分付近でのノード変形を研究することにより、ルールド表面における局所的 Severi 問題を分析する。
• $\mathbf{F}_k$ 上のトーリック作用を用いて、$d$ 個のセクションと $f$ 個のファイバーからなる曲線を構成し、それぞれが横断的ノードで交わることを保証する。
• ノード集合へのモノドロミー群作用を適用し、任意のノード配置が互換によって標準形に変換可能であることを示す。
• 他のノードに支持されるノードの互換を用いて、ノード集合への対称群作用を生成し、モジュライ空間の連結性を実現する。
• $k \geq 1$ と $k = 0$（ここで $\mathbf{F}_0 = \mathbb{P}^1 \times \mathbb{P}^1$）のケースを区別する。これは、異なるルーリング構造とモノドロミー群によるものである。
• $k=0$ の場合、長方形の配置を用いてエッジに沿ったノードの互換を定義し、ノード集合への完全な対称群作用を生成可能とする。

実験結果

リサーチクエスチョン

• RQ1 与えられた線型同値類および genus $g$ に対して、Hirzebruch 表面 $\mathbf{F}_k$ 上の非可約ノード曲線のモジュライ空間は連結か？
• RQ2 モジュライ空間のすべての非可約成分は、$d$ 個のセクションと $f$ 個のファイバーからなる可約曲線の滑らか化として実現可能か？
• RQ3 退化曲線上の異なるノード配置を接続するためのモノドロミーの役割は何か？
• RQ4 ファイバー成分付近での局所的変形性質は、モジュライ空間のグローバル構造にどのような制約を課えるか？
• RQ5 モジュライ空間の連結性は、擬全純曲線のシンプレクティック同相型がホモロジー類と genus によって一意に決定されることを示唆するか？

主な発見

• すべての $k \geq 0$, $d \geq 1$, $f \geq 0$, および $0 \leq g \leq g_{\text{max}}$ に対して、$\mathbf{F}_k$ 上の非可約ノード曲線のモジュライ空間 $\mathcal{M}(\mathbf{F}_k, d, f, g)$ は連結である。
• $\mathcal{M}(\mathbf{F}_k, d, f, g)$ のすべての非可約成分は、自己交わりが $k$ の $d$ 個のセクションと、ルーリングの $f$ 個の異なるファイバーからなる曲線 $C^\times$ を含む。
• 曲線 $C^\times$ を滑らか化して得られる曲線のノード集合へのモノドロミー群作用は、全単射的であり、すべてのそのような滑らか化が同じ連結成分に属することを保証する。
• $k=0$ の場合、モノドロミー群は $\mathrm{Sym}_d \times \mathrm{Sym}_f$ であり、垂直および水平なファイバーに対してそれぞれ独立に作用する。
• この結果は、$\mathbf{F}_0 = \mathbb{P}^1 \times \mathbb{P}^1$ 内の非可約ノード付き擬全純曲線が、すべて $g \leq 3$ に対してシンプレクティック同相である、すなわち代数的曲線とシンプレクティック同相であることを示唆する。
• そのような曲線のシンプレクティック同相型は、ホモロジー類と genus によって一意に決定され、各 bi-degree $(d_1, d_2)$ および $g \leq 3$ に対して一意のシンプレクティック同相型が存在する。