[論文レビュー] Interpolation for normal bundles of general curves

Atanas Atanasov, Eric Larson+1 more|arXiv (Cornell University)|Sep 5, 2015

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

ひとこと要約

本稿では、一般の空間曲線 $C \subset \mathbb{P}^3$ の正規束 $N_C$ について、次数とマークド点の帰納的技法を用いて補間性を確立する。主な結果は、$(d,g) = (6,1)$ もしくは $(5,2)$ の場合を除き、$N_C$ は補間性を満たすことであり、残りのケースは補助的帰納法および低ランク束に関する既知の結果により解決される。

ABSTRACT

Given n general points p_1, p_2,..., p_n in P^r, it is natural to ask when there exists a curve C \subset P^r, of degree d and genus g, passing through p_1, p_2,..., p_n. In this paper, we give a complete answer to this question for curves C with nonspecial hyperplane section. This result is a consequence of our main theorem, which states that the normal bundle N_C of a general nonspecial curve of degree d and genus g in P^r (with d >= g + r) has the property of interpolation (i.e. that for a general effective divisor D of any degree on C, either H^0(N_C(-D)) = 0 or H^1(N_C(-D)) = 0), with exactly three exceptions.

研究の動機と目的

• 一般の空間曲線 $C \subset \mathbb{P}^3$ の正規束 $N_C$ がいつ補間性を満たすかを特定すること。
• $r=3$ の場合に $N_C$ の補間問題を解明し、有理曲線に対する先行結果を拡張すること。
• 補間性が成立しない例外的な場合、特に $g > 0$ の場合を特定すること。
• 次数とマークド点の数に関する帰納的枠組みを構築し、補間条件の検証に用いること。

提案手法

• 次数 $d$ とマークド点の数に関する帰納法を用い、より小さい $d$ や少ないマークド点のケースで成立すると仮定して、$(d,g,3;n)$ に対して $N_C$ が補間性を満たすことを検証する。
• 補題 \ref{two-secant} を適用し、問題を $(d-1,g-1,3;n')$ の良い性質の確認に還元する。
• 二つの主要な帰納的補題を用いる：$\sum kn_{ij}^k = 1$ の場合と $\sum kn_{ij}^k = 0$ の場合で、それぞれ異なる還元規則を持つ。
• 帰納ステップを制御するため、$\sum (i-k)n_{ij}^k \leq 2d + 2g - 5$ の制約条件を用いる。
• 例外的な配置（例：$m \neq 0$ である $(\ell,m;0)$ 型の点）を扱うための補助的補題を用い、禁止された族を避ける。
• 低ランクケース（例：$r=2$）の結果や既知の定理（例：有理曲線の場合）を組み合わせることで、帰納法を完了する。

実験結果

リサーチクエスチョン

• RQ1 どの三つ組 $(d,g,3)$ に対して、$\mathbb{P}^3$ 内の一般の空間曲線 $C$ の正規束 $N_C$ が補間性を満たすか。
• RQ2 $g > 0$ の場合に補間性が成立しない正確な例外は何か、そしてそれらを体系的に除外する方法は何か。
• RQ3 次数とマークド点の数に関する帰納法をどのように用いて、$r=3$ の補間問題を既知または単純化されたケースに還元できるか。
• RQ4 $(n_{ij}^k)$ にどのような条件を課すと、帰納法の仮定のもとで、修正された束 $(d-1,g-1,3;n')$ が良好な性質を保つのか。
• RQ5 $\sum kn_{ij}^k = 0$ かつ $\sum in_{ij}^k = 2d+2g-14$、または $\sum kn_{ij}^k = 1$ かつ $\sum in_{ij}^k = 2d+2g-9$ で定義される二つの無限系列の例外が、補間性にどのように影響を与えるか。

主な発見

• 一般の空間曲線の正規束 $N_C$ は、$(d,g) = (6,1)$ または $(5,2)$ の場合を除き、$\mathbb{P}^3$ 内で補間性を満たす。後者は主定理の仮定により除外される。
• $g > 0$ の場合、$\sum (i-k)n_{ij}^k \leq 2d + 2g - 10$ が成り立つと、帰納的還元が適用可能になる。
• $\sum kn_{ij}^k = 1$ のケースは、$(d-1,g-1,3;n')$ に還元され、ここで $\sum k(n')_{ij}^k = 0$ となる。この新しい三つ組が禁止された族を避けることを確認することで処理される。
• $\sum kn_{ij}^k = 0$ かつ $\sum in_{ij}^k = 2d+2g-14$ の場合、$m \neq 0$ である $(\ell,m;0)$ 型の点の存在により、$\sum in_{ij}^k$ が厳密に小さい三つ組への還元が可能となり、帰納法が成立する。
• 例外ケース $(d,g) = (6,1)$ は、$(5,1,3;\mathbf{0})$ と $(5,1,2;\mathbf{0})$ がともに良好であることを検証することで解決され、$r=2$ および $r=3$ の先行結果に依拠する。
• 主定理は $r=3$ に対して成立し、$\mathbb{P}^3$ 内の一般曲線の正規束の補間分類が完全に完成する。