[論文レビュー] Max Noether's Theorem for Integral Curves

Lia Feital Fusaro Abrantes, André Contiero+1 more|arXiv (Cornell University)|Mar 17, 2014

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

ひとこと要約

本稿は、特異点が非Gorensteinである整関数的曲線へとMax Noetherの定理を一般化し、特異点のない階数1のねじれ自由層を用いた新しい枠組みを導入する。n重双対層の対称冪写像の上への性質を確立し、理想の次元公式を伴う canonical model の埋め込みを示し、非Gorenstein曲線へのClifford指数、ゴノリティ、Greenの予想の拡張を達成する。特に、種数5の曲線およびほぼGorenstein曲線に対して鋭い境界と特徴づけを提供する。

ABSTRACT

We generalize, for integral curves, a celebrated result of Max Noether on global sections of the n-dualizing sheaf of a smooth nonhyperelliptic curve. This is our main result. We also obtain an embedding of a non-Gorenstein curve in a way that we can express the dimensions of the components of the ideal in terms of the main invariants of the curve. Afterwards we focus on gonality, Clifford index and Koszul cohomology of non-Gorenstein curves by allowing torsion free sheaves of rank 1 in their definitions. We find an upper bound for the gonality, which agrees with Brill-Noether's one for a rational and unibranch curve. We characterize curves of genus 5 with Clifford index 1, and, finally, we study Green's Conjecture for a certain class of curves, called nearly Gorenstein.

研究の動機と目的

• 滑らかでない整関数的非Gorenstein曲線へのMax Noetherの古典的定理（双対層の正則切断の性質）の拡張。
• ねじれ自由階数1層を用いて、非Gorenstein曲線におけるClifford指数、ゴノリティ、Koszulコホモロジーの定義と研究。
• Clifford指数が1の種数5曲線の特徴づけと、有理単分岐曲線のゴノリティに対する鋭い境界の提供。
• ほぼGorenstein曲線に対してGreenの予想を証明し、Gorensteinの場合を超えた結果を拡張する。
• 非Gorenstein曲線のcanonical embeddingを確立し、その理想の各成分の次元を曲線の不変量で表す。

提案手法

• 整関数的非双曲的曲線に対して、写像 $\operatorname{Sym}^n H^0(C, \omega) \to H^0(C, \omega^n)$ の上への性質を証明することで、Max Noetherの定理を一般化する。
• 曲線 $C$ の正規化と双対層を用いた canonical model $C'$ を定義し、$\omega$ によって誘導される準同型写像の像として $C'$ を定義する。
• 文献[21]の結果を適用し、ほぼGorenstein曲線では $\widehat{C} \cong C'$ が成り立つことを示し、これにより $K_{p,q}(C, \omega)$ と $K_{p,q}(C', \omega)$ を関連付ける。
• ほぼGorenstein曲線では $C'$ が射影的正則的であることを利用し、[14, Thm. 8.8.1] の証明を特異曲線へ適応する。
• 特異点における値の半群の構造を用いて、線分束の次数を計算し、評価論的理論によりゴノリティを特定する。
• 制御された不変量を持つ曲線族（例：$C_p$）を構成し、境界のテストと結果の鋭さの検証に用いる。

実験結果

リサーチクエスチョン

• RQ1 Max Noetherの定理における対称冪写像の上への性質は、整関数的非Gorenstein曲線へ拡張可能か？
• RQ2 非Gorenstein曲線におけるClifford指数とゴノリティはどのように定義すべきか？また、どのような境界が得られるか？
• RQ3 Greenの予想はほぼGorenstein曲線に対して成り立つか？Koszulコホモロジーを用いて証明可能か？
• RQ4 非Gorenstein曲線のcanonical modelの理想とその不変量との正確な関係は何か？
• RQ5 有理単分岐曲線のゴノリティに対する上界 $\left\lfloor \frac{g+3}{2} \right\rfloor$ は鋭いか？また、いつ達成されるか？

主な発見

• Max Noetherの定理は、すべての整関数的非双曲的曲線に対して成り立つ：すべての $n \geq 1$ に対して写像 $\operatorname{Sym}^n H^0(C, \omega) \to H^0(C, \omega^n)$ は上への写像である。
• ほぼGorenstein曲線で $\eta$ 個の非Gorenstein点を持つ場合、$K_{p,2}(C, \omega) = 0$ が $p < \eta$ のとき成り立つ。これは滑らかな曲線に対する結果を一般化する。
• 非Gorenstein曲線のcanonical model $C'$ は射影的正則的であり、$\deg(C') = 2g' + \eta$ を満たす。ここで $g'$ は幾何的種数である。
• 有理単分岐曲線に対して、ゴノリティは上界 $\left\lfloor \frac{g+3}{2} \right\rfloor$ で抑えられ、明示的な例によってこの境界が鋭いことが示された。
• Clifford指数が1の種数5曲線は $\operatorname{Cliff}(C) = 1$ を満たすものとして特徴づけられ、非Gorenstein特異点を持つような例が存在する。
• 半群 $\{0,4,7,8,10\}$ を持つ種数6の有理曲線の具体例はゴノリティが正確に4であり、境界 $\left\lfloor \frac{6+3}{2} \right\rfloor$ が鋭いことを確認している。