[論文レビュー] The Canonical Model of a Singular Curve

Steven L. Kleiman, Renato Vidal Martins|ArXiv.org|Mar 23, 2008

Algebraic Geometry and Number Theory参考文献 14被引用数 4

ひとこと要約

本稿は、種数 $g \geq 2$ の特異な整数的曲線 $C$ の canonical model $C'$ に関するローゼンリヒトの基礎的結果について、現代的で洗練された証明を提供する。$C$ と $C'$ が双有理同値であるための必要十分条件は $C$ が非超楕円的であることであり、この場合、$C'$ は canonical sheaf $\omega$ に関する $C$ の blowup と同型であることが示される。主な貢献は、近似的に Gorenstein 条件や特異点における埋め込み次元といった不変量を用いて、$C'$ が有理正規、算術的に正規、射影的に正規、または線形に正規であるかどうかを完全に特徴づけることにある。

ABSTRACT

We give refined statements and modern proofs of Rosenlicht's results about the canonical model C' of an arbitrary complete integral curve C. Notably, we prove that C and C' are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C' is equal to the blowup of C with respect to the canonical sheaf ω. We also prove some new results: we determine just when C' is rational normal, arithmetically normal, projectively normal, and linearly normal.

研究の動機と目的

• 種数 $g \geq 2$ の特異な整数的曲線 $C$ の canonical model $C'$ に関するローゼンリヒトの結果の再証明および洗練。
• $C$ と $C'$ 間の双有理的関係を明確にし、$C$ が非超楕円的であることと同値に $C$ と $C'$ が同型であることを示すこと。
• $C'$ が射影的に正規、線形に正規、算術的に正規、または有理正規であるための明確な条件を同定すること。
• 特に Gorenstein でない場合に備えて、canonical sheaf $\omega$ に関する blowup を用いた $C'$ の特徴づけ。
• $C'$ の幾何的性質を制御する不変量、たとえば近似的に Gorenstein 条件や特異点における埋め込み次元を特定すること。

提案手法

• canonical sheaf $\omega$ に関する blowup を用いた手法を含む現代的代数幾何学的技術の使用により、$C'$ を正規化 $\overline{C}$ 上の canonical 写像の像として構成する。
• 射影的正規性および線形正規性の分析に、カステルヌーヴォ理論および極値的曲線の理論を応用する。
• 局所代数、特に特異点における局所環の剰余イデアルと自己準同型環の使用により、$C'$ の Gorenstein でない点近傍の構造を研究する。
• 層コホホロジーにおける長完全系列とコホホロジーの消滅結果 $H^q(\mathcal{I}(l))$ の証明に、コホホロジー的議論を用いる。これにより $C'$ の定義方程式が制御される。
• 近似的に Gorenstein 条件の下で、射影的正規性、線形正規性、および極値性の同値性を証明する。
• フジタの基準および Castelnuovo–Mumford 正則性を用いて、$C'$ が二次式および三次式によって切り出される条件を同定する。

実験結果

リサーチクエスチョン

• RQ1 特異曲線 $C$ の canonical model $C'$ がいつ射影的に正規であり、$C$ がこの性質を満たすために必要な条件は何か？
• RQ2 $C'$ がいつ線形に正規であり、これは射影的正規性とどのように関係するか？
• RQ3 $C'$ がいつ有理正規であり、そのとき種数と次数が果たす役割は何か？
• RQ4 $C$ の特異点、特に Gorenstein でない点における $C'$ の幾何はどのように依存するか？
• RQ5 canonical model $C'$ と $\omega$ に関する $C$ の blowup 間の正確な関係は何か？また、これらがいつ同型であるか？

主な発見

• canonical model $C'$ が $\omega$ に関する $C$ の blowup と同型であることと同値な条件は、$C$ が非超楕円的であることである。
• canonical model $C'$ が射影的に正規であることと線形に正規であることの同値であり、これは $C$ が近似的に Gorenstein であり、$d' = g' + g - 1$ を満たすときに限り成り立つ。
• $C$ が非超楕円的であれば、$C'$ が極値的（すなわち、次数 $2g-2$ の下で最大の種数を持つ）であることと同値な条件は、$C$ が Gorenstein であることである。
• $C$ が近似的に Gorenstein で $\eta \geq 2$ であれば、$C'$ は二次式および三次式によって切り出され、$\eta \geq 2$ であれば二次式のみで十分である。
• canonical model $C'$ が有理正規であることと同値な条件は、$C$ が非超楕円的であり、$C'$ が $\mathbb{P}^{g-1}$ に含まれ、次数が $g-1$ で種数が $g-1$ であることである。
• 近似的に Gorenstein な曲線で $g=4$、$g'=2$、$d'=5$ の場合、$C'$ は二次式のみでは切り出せないため、三次式が必要であることが示される。