[論文レビュー] Brill-Noether-type Theorems with a Movable Ramification Point

Rebecca Lehman|ArXiv.org|Apr 29, 2008

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

ひとこと要約

本稿は、一般の曲線に指定された消え方列をもつ可動的分岐点をもつ線形系列 $g^r_d$ の存在および次元を調査する。ピカード多様体上の交線論およびフラッグ曲線への退化を用いて、$r \geq 2$ の場合の存在の数値的条件を確立し、$r=1$ および $r=2$ の場合の正確な次元性を証明し、一般の次元に対する上界を提示する。主な貢献は、低次元における完全な解法および高次元における鋭い存在条件の特定である。

ABSTRACT

The classical Brill-Noether theorems count the dimension of the family of maps from a general curve of genus g to non-degenerate curves of degree d in r-dimensional projective space. These theorems can be extended to include ramification conditions at fixed general points. This paper deals with the problem of imposing a ramification condition at an unspecified point. We solve the problem completely in dimensions 1 and 2, and provide an existence test and bound the dimension of the family in the general case.

研究の動機と目的

• 一般の曲線上に、固定された点ではなくある点での指定された分岐型をもつ $g^r_d$ が存在するかを同定すること。
• 線形系列 $\mathcal{L}$ が $g^r_d$ で、点 $Q$ が与えられた消え方列をもつようなペア $(\mathcal{L}, Q)$ の族の次元を計算すること。
• $r \geq 2$ の場合の存在の数値的条件を確立すること。これは古典的な単純な予想では成立しない。
• 退化技術を用いて、特に $r \geq 2$ の一般の場合の族の次元を上から抑えること。
• フラッグ曲線が可動的分岐に対しては十分に一般ではないことを示し、$\overline{M_g}$ 上に新たなブリル-ノーアーベル部分多様体が存在することを明らかにすること。

提案手法

• 本稿は、フィルター付きベクトルバンドルの退化局所の公式とシータ類を用いて、ピカード多様体における分岐局所の交線クラスを計算する。
• 有理曲線と楕円的成分からなる可約なフラッグ曲線における極限線形系列の理論を適用し、上半連続性により次元を上から抑える。
• $r=1$ の場合、線形系列と曲線上の線形系統の構造を直接用いて次元定理を証明する。
• $r=2$ の場合、平面曲線の外在的幾何を用いる：与えられた genus と分岐をもつ次数 $d$ の平面曲線の空間の次元は、自由度と条件の数を数えることで上界が得られる。
• 写像 $\phi: C \to \mathbb{P}^r$ による像曲線の特異点を解消し、 blown-up を通じて種数の損失と条件の導入を追跡する。
• 消え方列 $m_0, m_1$ に対するユークリッドの互除法に基づくテレスコピック和の議論により、分岐に起因する次元損失のネット量を計算し、主要な基準に到達する。

実験結果

リサーチクエスチョン

• RQ1 一般の曲線上に、固定点でないある点で与えられた消え方列をもつ $g^r_d$ は存在するか？
• RQ2 このようなペア $(\mathcal{L}, Q)$ の族の次元は何か？ また、それがゼロであるのはいつか？
• RQ3 分岐点が可動的である場合に、古典的なブリル-ノーアーベルの期待値（次元 $\rho$）が回復可能か？
• RQ4 なぜ $r \geq 2$ において可動的分岐に対しては退化議論が失敗するのか？ 一方で、固定分岐では成功するのにはどうしてか？
• RQ5 $\overline{M_g}$ 上のブリル-ノーアーベル部分多様体は、分岐点が可動的か固定的かによって異なるものか？

主な発見

• $r=1$ の場合、型 $(m_0, m_1)$ の可動的分岐点をもつ $g^1_d$ の族の次元は正確に期待される次元 $\rho$ であり、族が非空であるための必要十分条件は $\rho \geq 0$ である。
• $r=2$ の場合、$\rho \geq 0$ のとき、族の次元は正確に $\rho$ である。証明は平面曲線の外在的幾何と特異点の解消による種数計算に依存する。
• $r \geq 2$ の場合、数値的存在条件が確立された：与えられた消え方列をもつ $g^r_d$ が存在するための必要十分条件は、ピカード多様体上のある交線クラスが非ゼロであることであり、これは計算可能な不等式に翻訳可能である。
• 一般の場合、このような $g^r_d$ の族の次元は $\rho + 3g + m_0 + m_1$ で上から抑えられ、低次元ではこの上界が鋭い。
• 可動的分岐に対してフラッグ曲線への退化が失敗することは、それらがこれらの条件に対して十分に一般ではないことを示し、$\overline{M_g}$ 上に新たな、区別可能なブリル-ノーアーベル部分多様体が存在することを示唆する。
• $\gcd(m_0, m_1) = 1$ のとき、分岐に起因する次元損失は $m_0 + m_1 - 4$ であり、$\gcd(m_0, m_1) \neq 1$ のときは $m_0 + m_1 - 2$ である。このネット次元の低下は期待される次元に影響を与える。