[論文レビュー] Rational curves on hypersurfaces of low degree

Joe Harris, Mike Roth+1 more|ArXiv.org|Mar 8, 2002

Algebraic Geometry and Number Theory参考文献 5被引用数 3

ひとこと要約

本稿は、$n > 2$ および $d < \frac{n+1}{2}$ である一般の複素超曲面 $X \subset \mathbb{P}^n$ に対して、次数 $e$ の滑らかな有理曲線をパラメトライズするスキーム $R_e(X)$ が、期待される次元 $(n+1-d)e + (n-4)$ を持つ、整域的で局所的完全交差スキームであることを確立する。証明は、変形理論、安定写像のコンツェビッチモジュライ空間、および一般化された曲げ・再分割補題を用いた境界成分の組合せ論的解析を組み合わせる。

ABSTRACT

Let n &gt; 2 and let d &lt; (n+1)/2. We prove that for a general hypersurface X of degree d in P^n, all the genus 0 Kontsevich moduli spaces M_{0,n}(X,e) are irreducible, reduced, local complete intersection stacks of the expected dimension.

研究の動機と目的

• 一般の超曲面 $X \subset \mathbb{P}^n$ に対して、次数 $e$ の滑らかな有理曲線をパラメトライズするスキーム $R_e(X)$ の幾何的構造を特定すること。
• $d < \frac{n+1}{2}$ の場合に、$R_e(X)$ が期待される次元 $(n+1-d)e + (n-4)$ を持つ整域的で局所的完全交差スキームであることを確立すること。
• 安定写像モジュライ空間および変形理論の技術を拡張し、$R_e(X)$ の既約性と次元を解析すること。

提案手法

• $R_e(X)$ をコンツェビッチモジュライ空間 $\overline{\mathcal{M}}_{0,0}(X,e)$ の開部分スキームとして埋め込むことで、モジュラー的コンパクト化を提供する。
• ベイレンド＝マインの分解を用いて、$\overline{\mathcal{M}}_{0,0}(X,e)$ を安定 $A$-グラフによってインデックスづけられた局所的閉部分集合に分割する。
• 評価準同型 $\overline{\mathcal{M}}_{0,1}(X,e) \to X$ が平坦かつ一般に障害がないことを証明し、期待される次元と滑らかさを保証する。
• モーリーの曲げ・再分割補題のバージョンを適用し、$\overline{\mathcal{M}}_{0,0}(X,e)$ のすべての既約成分が、ドメイン曲線が $X$ 内の直線に写される写像をパラメトライズする基本的成分から生じることを示す。
• 基本的成分の間の組合せ論的同値関係を用いて、これらのすべての成分が $\overline{\mathcal{M}}_{0,0}(X,e}$ 内で同一の既約成分を生成することを証明し、既約性を示す。
• 点付き直線のインシデント対応の平坦性結果を活用し、基本的成分が期待される次元を持ち、整域的かつ一意分岐であることを示す。

実験結果

リサーチクエスチョン

• RQ1 超曲面 $X \subset \mathbb{P}^n$ の次数 $d$ に対して、滑らかな有理曲線をパラメトライズするスキーム $R_e(X)$ が、期待される次元を持つ整域的で局所的完全交差スキームであるための条件は何か？
• RQ2 コンツェビッチモジュライ空間 $\overline{\mathcal{M}}_{0,0}(X,e)$ の構造は、低次の超曲面上の有理曲線の幾何にどのように反映されるか？
• RQ3 安定 $A$-グラフの組合せ論的解析とその縮約を用いて、$\overline{\mathcal{M}}_{0,0}(X,e)$ の既約性を確立できるか？
• RQ4 低次の超曲面に対して、評価準同型 $\overline{\mathcal{M}}_{0,1}(X,e) \to X$ が平坦かつ一般に障害がないための条件は何か？

主な発見

• $n > 2$ および $d < \frac{n+1}{2}$ の場合、スキーム $R_e(X)$ は次元 $(n+1-d)e + (n-4)$ を持つ整域的で局所的完全交差スキームである。
• このような超曲面に対して、コンツェビッチモジュライ空間 $\overline{\mathcal{M}}_{0,0}(X,e)$ は既約的であり、期待される次元を持つ。
• 評価準同型 $\overline{\mathcal{M}}_{0,1}(X,e) \to X$ は平坦かつ一般に障害がないため、モジュライ空間の期待される次元と滑らかさが保証される。
• 点付き直線のインシデント対応 $F_{0,1}(X)$ は $X$ に対して平坦であり、相対次元 $n-d-1$ を持つ。これにより、モジュライ空間の基本的成分が整域的かつ一意分岐であることが示される。
• $\overline{\mathcal{M}}_{0,0}(X,e)$ のすべての既約成分は、組合せ論的同値関係のもとで同一の基本的成分の同値類から生じるため、既約性が証明される。
• モジュライ空間 $\overline{\mathcal{M}}_{0,0}(X,e)$ は期待される次元を持つ、削減された局所的完全交差スタックであり、$R_e(X)$ はその唯一の安定なストラトムである。