[論文レビュー] Brill-Noether theory of binary curves

Lucia Caporaso|ArXiv.org|Jul 9, 2008

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

ひとこと要約

本稿は、二進曲線のコンパクト化ヤコビアンを用いて、ブライル＝ノイザー理論の基礎的定理—リーマン、クリフォード、マルテンス—を線分束に関して確立する。一般の二進曲線における $ r \leq 2 $ のブライル＝ノイザー定理を証明し、ブライル＝ノイザー多様体の次元が期待値 $ \rho^r_d(g) $ に一致することを示し、クリフォード指数を用いて双曲的および三角的曲線を特徴づける。これは代数幾何学における退化安定曲線の新しい枠組みを提供する。

ABSTRACT

Final version, to appear in Mathematical Research Letters.

研究の動機と目的

• 二進曲線—2つの有理的成分が $ g+1 $ 個の点で接続するノード曲線—に注目することで、還元的かつ特異的曲線への古典的ブライル＝ノイザー理論の拡張を図ること。
• 二進曲線のコンパクト化ピカード群のパラメータ化する線分束に対して、リーマン、クリフォード、マルテンスの定理を確立すること。
• クリフォード指数を用いて、双曲的および三角的二進曲線を特徴づけ、滑らかな曲線理論の退化版を提供すること。
• 一般の二進曲線における $ r \leq 2 $ のブライル＝ノイザー定理を証明し、ブライル＝ノイザー多様体の期待次元 $ \rho^r_d(g) $ が成立することを示すこと。

提案手法

• 二進曲線の線分束のための環境空間として、コンパクト化された普遍ピカード多様体 $ \overline{P}_{d,g} \to \overline{M}_g $ を用いる。
• 有理曲線から射影空間への次数 $ d $ の写像をパラメータ化するため、安定写像のモジュライ空間 $ M_{0,n}(\mathbb{P}^r, d) $ を適用する。
• $ g+1 $ 個の点でマークされた有理曲線を貼り合わせることで二進曲線をパラメータ化する写像 $ \gamma_g: M_{0,g+1} \times M_{0,g+1} \to B_g $ を構成する。
• 有理曲線の写像の像 $ \operatorname{Im}\phi_1 \subset \operatorname{Im}\phi_2 $ かどうかに応じて、$ J \subset M_{0,g+1}(\mathbb{P}^2, d_1) \times M_{0,g+1}(\mathbb{P}^2, d_2) $ からの評価写像の像を分析する。
• 次元の上限を求めるために、$ \dim M_{0,n}(\mathbb{P}^r, d) = (r+1)d + r - 3 + n $ を用いてブライル＝ノイザー局所の次元を制御する。
• $ PGL(3) $ および $ PGL(2) $ の作用の不変性を適用し、ファイバーの次元を制御し、$ B_g $ への写像の支配性を決定する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト化ヤコビアン上の線分束に対して、クリフォードの定理は成り立つか？
• RQ2 滑らかな場合と同様に、クリフォード指数は双曲的および三角的二進曲線を特徴づけられるか？
• RQ3 $ r \leq 2 $ の一般の二進曲線においてブライル＝ノイザー定理は成り立つか？ すなわち、$ W^r_{\underline{d}}(X) $ の次元が $ \rho^r_d(g) $ に一致するか？
• RQ4 一般の二進曲線の genus $ g $ におけるブライル＝ノイザー局所 $ W^r_{\underline{d}}(X) $ の次元は何か？
• RQ5 有理的成分からの写像が横断的でない場合、局所 $ W^r_{\underline{d}}(X) $ はどのように振る舞うか？

主な発見

• 任意の二進曲線のコンパクト化ヤコビアンによってパラメータ化されるすべての線分束に対して、リーマン、クリフォード、マルテンスの定理が成り立つ。
• 二進曲線のクリフォード指数がゼロであることは、それが双曲的であることと同値であり、1であることは、それが三角的であることと同値である。
• $ r = 1 $ の場合、一般の二進曲線 $ X $ に対して $ W^1_{\underline{d}}(X) $ の次元は $ \rho^1_d(g) $ に等しく、$ \rho^1_d(g) < 0 $ の場合は空集合である。
• $ r = 2 $ の場合、一般の二進曲線 $ X $ に対して $ W^2_{\underline{d}}(X) $ の次元は $ \rho^2_d(g) $ に等しく、$ \rho^2_d(g) < 0 $ の場合は空集合である。この結果は、写像のモジュライ空間における次元数え上げにより得られる。
• $ \beta_{\underline{d}}(J_b) $ は $ B_g $ に稠密でないため、ブライル＝ノイザー多様体の次元に寄与するのは常に $ J_a $ の成分のみである。
• ブライル＝ノイザー定理の $ r \leq 2 $ の証明は滑らかな曲線の場合とは独立しており、したがって古典的定理の新たな証明を提供する。