[論文レビュー] Dimension counts for singular rational curves via semigroups

Ethan Cotterill, Lia Feital+1 more|arXiv (Cornell University)|Nov 26, 2015

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

ひとこと要約

本稿では、値半群を分析することで、射影空間内の特異な有理曲線をパラメータ化するセベリ型多様体の次元を調査する。$cusp$特異点をモデル化するため$γ^*$-ハイパーオービック半群を用い、$n \geq 8$ の場合、$g$-ノード曲線の閉包に含まれない余剰成分を含む、ユニシップル有理曲線の明示的族を構成することで、$M^n_{d,g}$ が非連結であることを証明する。これにより、自然なコディメンジョンヒューリスティックが誤りであることが示される。

ABSTRACT

We study singular rational curves in projective space, deducing conditions on their parametrizations from the value semigroups $\sss$ of their singularities. In particular, we prove that a natural heuristic for the codimension of the space of nondegenerate rational curves of arithmetic genus $g>0$ and degree $d$ in $\mb{P}^n$, viewed as a subspace of all degree-$d$ rational curves in $\mb{P}^n$, holds whenever $g$ is small. On the other hand, we show that this heuristic fails in general, by exhibiting an infinite family of examples of Severi-type varieties of rational curves containing "excess" components of dimension strictly larger than the space of $g$-nodal rational curves.

研究の動機と目的

• 非特異的有理曲線が算術的に genus $g > 0$ で次数 $d$ である $\mathbb{P}^n$ 内の空間のコディメンジョンが、ノード曲線ヒューリスティックに基づく予想された次元と一致するかを同定すること。
• 特に $n \geq 3$ の場合に、このヒューリスティックがユニシップル有理曲線に対して成り立つかどうかを、特異点分類における値半群の役割を分析することで調査すること。
• $g = 3\gamma + 1$ の genus を持つ有理曲線の明示的例を構成し、そのパラメータ化が $ (n-2)g $ 個の独立な条件を課さないことを示し、ノードヒューリスティックに反することを示すこと。
• 余剰成分が $g$-ノードlocus の閉包に含まれないことを示すことで、$n \geq 8$ の場合にセベリ型多様体 $M^n_{d,g}$ が非連結であることを証明すること。

提案手法

• 著者らは、$4\gamma - 2$ までのすべての偶数を含み、$4\gamma$ を含む二つの条件を満たす数値半群として $\gamma^*$-ハイパーオービック半群を定義する。
• $i = 0, \dots, \gamma - 1$ に対して、$f_i(t) = t^{2(\gamma + i)} + O(t^{2(\gamma + i)+1})$ の $t$-級数パラメータ化を、一般の高次係数を用いて構成し、一枝特異点をモデル化する。
• 得られる$cusp$の値半群 $\mathrm{S}^*$ は $\mathrm{S}^* = \mathrm{S}^*_0 + \mathrm{S}^*_1$ と分解され、ここで $\mathrm{S}^*_0 = \langle 2\gamma, \dots, 4\gamma - 2 \rangle$ は偶数の値を、$\mathrm{S}^*_1 = \langle 4\gamma + 5, \dots, 6\gamma + 3 \rangle$ は奇数の値を生成する。
• $cusp$に由来する分岐条件は、$r(f) = \frac{(5\gamma - 3)\gamma}{2} - 1$ という公式により数えられ、偏微分の消失から生じる係数への線形条件を数える。
• 半群の genus は $g(\mathrm{S}^*) = 3\gamma + 1$ として計算され、これは $G_0 = \{2, 4, \dots, 2\gamma - 2\}$ と $G_1 = \{1, 3, \dots, 4\gamma + 3\}$ の互いに素なギャップ集合の直和から導かれる。
• $r(f)$ を予想されるコディメンジョン $(n-2)g(\mathrm{S}^*)$ と比較することで、$n \geq 8$ かつ $\gamma \geq 8$ の場合に $r(f) < (n-2)g(\mathrm{S}^*)$ であることを示し、余剰次元を証明する。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 3$ の場合、$\mathbb{P}^n$ 内の非特異的有理曲線が算術的に genus $g > 0$ で次数 $d$ である空間のコディメンジョンは、$g$-ノード曲線に基づくヒューリスティックと一致するか？
• RQ2 一枝特異点の値半群は、有理曲線のセベリ型多様体の次元を体系的に分類・推定するために用いることができるか？
• RQ3 $n \geq 8$ の場合、$\mathbb{P}^n$ 内に $ (n-2)g $ 個の独立な条件を課さないユニシップル有理曲線の例は存在するか？ これはノードヒューリスティックに反する。
• RQ4 $n \geq 8$ の場合、セベリ型多様体 $M^n_{d,g}$ は依然として非連結であるか、それとも $g$-ノードlocus の閉包に含まれない余剰成分を含むか？
• RQ5 $\gamma^*$-ハイパーオービック半群の構成は、より多くの非連結セベリ型多様体の例を生み出すために一般化可能か？

主な発見

• $n \geq 8$ の場合、$g = 3\gamma + 1$ で $d \gg g$ であるセベリ型多様体 $M^n_{d,g}$ には、$g$-ノード有理曲線locus の閉包に含まれない余剰成分が存在する。
• 構築された$cusp$特異点の値半群 $\mathrm{S}^*$ は $\gamma^*$-ハイパーオービックであり、$g(\mathrm{S}^*) = 3\gamma + 1$ である。これは、サイズ $\gamma - 1$ と $2\gamma + 2$ のギャップ集合 $G_0$ と $G_1$ から導かれる。
• $cusp$ が課す分岐条件の数 $r(f)$ は $\frac{(5\gamma - 3)\gamma}{2} - 1$ であるが、$n \geq 8$ かつ $\gamma \geq 8$ の場合、これは $(n-2)g(\mathrm{S}^*)$ よりも厳密に小さいため、予想されるコディメンジョンヒューリスティックに反する。
• $n \geq 8$ の場合、セベリ型多様体 $M^n_{d,g}$ は非連結である。$\gamma^*$-ハイパーオービック$cusp$ に由来する余剰成分は $g$-ノードlocus の閉包に含まれない。
• この構成は、一般の高次係数を有する $t$-級数 $f_i(t) = t^{2(\gamma + i)} + O(t^{2(\gamma + i)+1})$ に依存し、一枝特異点をもつ、明確に定義された分解可能な値半群を生成する。
• この結果は、ノード曲線に基づく自然なヒューリスティックが高次元環境では誤りであり、特異有理曲線のモジュライにおける正確な次元推定には半群に基づくストラティフィケーションが不可欠であることを示している。