[論文レビュー] On linear series with negative Brill-Noether number

Nathan Pflueger|arXiv (Cornell University)|Nov 22, 2013

Algebraic Geometry and Number Theory参考文献 8被引用数 6

ひとこと要約

本稿は、ねじれたワイエルシュトラス点を導入し、その移動の難易度を制限することで、次元的に適正な線形系列が負のブリル・ノエター数をもつことを確立する。極限線形系列と組合せ論的技法を用いて、$\rho \geq -\frac{r}{r+2}g + 3r - 3$ のとき、モジュライ空間 $\mathcal{W}^r_{d,g}$ が次元 $\dim\mathcal{M}_g + \rho$ の成分をもつことを証明し、$\rho$ がきわめて負でない場合のブリル・ノエター予想の精密化を確認する。主な貢献は、ボックス型分割に関する組合せ論的難易度の上限であり、これが主定理を示す。

ABSTRACT

Brill-Noether theory studies the existence and deformations of curves in projective spaces; its basic object of study is $\mathcal{W}^r_{d,g}$, the moduli space of smooth genus $g$ curves with a choice of degree $d$ line bundle having at least $(r+1)$ independent global sections. The Brill-Noether theorem asserts that the map $\mathcal{W}^r_{d,g} ightarrow \mathcal{M}_g$ is surjective with general fiber dimension given by the number $ρ= g - (r+1)(g-d+r)$, under the hypothesis that $0 \leq ρ\leq g$. One may naturally conjecture that for $ρ< 0$, this map is generically finite onto a subvariety of codimension $-ρ$ in $\mathcal{M}_g$. This conjecture fails in general, but seemingly only when $-ρ$ is large compared to $g$. This paper proves that this conjecture does hold for at least one irreducible component of $\mathcal{W}^r_{d,g}$, under the hypothesis that $0 < -ρ\leq \frac{r}{r+2} g - 3r+3$. We conjecture that this result should hold for all $0 < -ρ\leq g + C$ for some constant $C$, and we give a purely combinatorial conjecture that would imply this stronger result.

研究の動機と目的

• 負の $\rho$ に対してブリル・ノエター次元推定が失敗する理由を解明し、$\mathcal{W}^r_{d,g}$ が期待される次元の成分をもつ条件を同定すること。
• 負の $\rho$ に対してブリル・ノエター定理を拡張し、$-\rho$ が $g$ に対してあまり大きくない場合に、次元的に適正な線形系列の存在を示すこと。
• 特に $\mathfrak{g}^r_d$ 線形系列に対応するボックス型分割に付随するねじれたワイエルシュトラス点の概念を導入・分析すること。
• 極限線形系列技法を用いた帰納的構成を可能にする、移動難易度に基づく組合せ論的枠組みを確立すること。
• ある定数 $C$ に対してすべての $0 < -\rho \leq g + C$ に対して結果が成り立つと予想し、次元推定が成り立つために必要な組合せ論的条件（原始性）を同定すること。

提案手法

• 分割 $P$ を用いてねじれたワイエルシュトラス点を定義し、 genus $g$ の曲線上のそれらをパラメトライズするモジュライ空間 $\mathcal{W}_g(P)$ を導入する。
• 極限線形系列技法を用いて、genus $g$ の次元的に適正なねじれたワイエルシュトラス点から、genus $g+1$ でのそれらを帰納的に構成する。
• 分割 $P$ の移動難易度 $\delta(P)$ を定義し、これは算術級数に沿った上向き移動によって次元的に適正な点に到達するまでの最小ステップ数を測る。
• もし $\delta(P) \leq g - |P|$ ならば、$\mathcal{W}_g(P)$ は次元的に適正な点をもつことを証明し、組合せ論的上限と幾何的存在性を結びつける。
• ボックス型分割に対して $\delta((a^b)) \leq a + 3b - 5$ の上限を確立し、これは $a = g - d + r$, $b = r + 1$ のとき $\mathfrak{g}^r_d$ 線形系列と双対的である。
• この上限を適用し、$\rho \geq -\frac{r}{r+2}g + 3r - 3$ のとき、空間 $\mathcal{W}^r_{d,g}$ が次元 $\dim\mathcal{M}_g + \rho$ の成分をもち、$\mathcal{M}_g$ 内での像の余次元が $-\rho$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 負の $\rho$ のとき、$\mathcal{W}^r_{d,g}$ のナーブな次元推定は、期待される次元の成分についても成り立つか？
• RQ2 負の $\rho$ に対して、$-\rho$ が $g$ に対して定量的に小さい条件下で、次元的に適正な線形系列の存在を保証できるか？
• RQ3 分割の移動難易度は、次元的に適正なねじれたワイエルシュトラス点の存在を保証する十分な不変量か？
• RQ4 アイゼンシュトラス＝ハリスの定理における原始性の組合せ論的条件は、次元推定が成り立つために必要不可欠であるが、これを除去しても結果が破綻するか？
• RQ5 すべての $\rho < 0$ に対して、$\mathcal{W}^r_{d,g}$ が次元 $C(r)g$ 以上の成分をもつような一様定数 $C$ が存在するか？

主な発見

• $\rho \geq -\frac{r}{r+2}g + 3r - 3$ のとき、モジュライ空間 $\mathcal{W}^r_{d,g}$ は次元 $\dim\mathcal{M}_g + \rho$ の既約成分をもち、$\mathcal{M}_g$ 内での像の余次元は $-\rho$ である。
• ボックス型分割 $(a^b)$ の移動難易度は $\delta((a^b)) \leq a + 3b - 5$ を満たし、これは与えられた $\rho$-境界のもとで次元的に適正な線形系列の存在を保証するのに十分である。
• $\rho \geq -\frac{r}{r+2}g + 3r - 3$ の境界により、$g \geq \frac{1}{2}(ab + a + 3b - 5)$ が成り立ち、$a = g - d + r$, $b = r + 1$ であるため、次元推定が正当化される。
• この結果により、ナーブな次元推定が失敗するのは $-\rho$ が $g$ に対して大きい場合に限られ、その有効性の鋭い閾値が特定された。
• 本稿は、アイゼンシュトラス＝ハリスの定理における原始性条件が必要不可欠であることを示している：原始性がなければ、ワイエルシュトラス点の次元推定は破綻する。
• 極限線形系列と移動列を用いた構成により、$\delta(P) \leq g - |P|$ ならば、$\mathcal{W}_g(P)$ に次元的に適正な点が得られる。これは提示された境界のもとで満たされる。