[論文レビュー] Geometry of arithmetically Gorenstein curves in ${\mathbb P}^4$

Robin Hartshorne|ArXiv.org|Jan 15, 2003

Commutative Algebra and Its Applications参考文献 18被引用数 9

ひとこと要約

本稿は、$\mathbb{P}^4$ 内の算術的にゴレンシュタイン（AG）曲線の後置性（postulation character）を特徴づけ、このような曲線が算術的にコhen＝マカウル（ACM）な表面の上で $mH - K$ として実現可能であるための数値的条件を確立する。Watanabeの結果を強化し、$\mathbb{P}^4$ 内の任意の一般のAG曲線が、直線から上昇的完全交差双リゾン（CI-biliaison）の系列によって得られることを証明することで、これらの曲線の構成的分類を提供する。

ABSTRACT

We characterize the postulation character of arithmetically Gorenstein curves in ${\mathbb P}^4$. We give conditions under which the curve can be realized in the form $mH-K$ on some ACM surface. Finally, we strengthen a theorem of Watanabe by showing that any general arithmetically Gorenstein curve in ${\mathbb P}^4$ can be obtained from a line by a series of ascending complete-intersection biliaisons.

研究の動機と目的

• AG曲線の後置性特性を $\gamma$-特性を用いて特徴づけること。
• $\mathbb{P}^4$ 内のAG曲線がACM表面上で $mH - K$ として表現可能である条件を特定すること。
• codimension 3 のAGスキームがlicciであるというWatanabeの結果を一般化し、$\mathbb{P}^4$ 内の一般のAG曲線が直線から上昇的CI双リゾンによって得られることを示すこと。
• 任意のACM表面上で $mH - K$ の形に実現できないAG曲線の例を提示し、この構成の限界を強調すること。

提案手法

• $\gamma$-特性（後置性関数の $N$ 階差分）を用いて、$\mathbb{P}^4$ 内のAG曲線の数値的不変量を符号化する。
• 特にcodimension 3 における完全交差（CI）双リゾンに焦点を当てた、ACMスキームおよび双リゾン理論を応用する。
• $\gamma$-特性に関する帰納法を用い、曲線 $Y$ から $Y' \sim Y - H$ を満たす曲線 $Y'$ を、完全交差として構成された表面 $X$ 上で考える。
• 正則層 $\omega_Y$ と双対性を用いた層論的議論により、$Y'$ が算術的にゴレンシュタインであれば $Y$ が算術的にゴレンシュタインであることを検証する。
• codimension 3 のゴレンシュタイン代数の構造定理（Buchsbaum-Eisenbud）を用いて、AGスキームのイデアル構造を分析する。
• ヒルベルト関数および $h$-ベクトルの形式的記法を用い、$\gamma$-特性がヒルベルト多項式および次数／種数を完全に決定することを強調する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{P}^4$ 内の算術的にゴレンシュタイン曲線がACM表面上で $mH - K$ として実現可能であるための数値的条件は何か？
• RQ2 任意の一般の算術的にゴレンシュタイン曲線が、直線から上昇的完全交差双リゾンの系列によって得られるか？
• RQ3 $\mathbb{P}^4$ 内のAG曲線のうち、任意のACM表面上で $mH - K$ の形に実現できないものがあるか？ もしあるならば、それらはどのように特徴づけられるか？
• RQ4 上昇的CI双リゾンの下で $\gamma$-特性はどのように変化するか？ そして、AG曲線の分類にどのような含意を持つのか？

主な発見

• AG曲線がACM表面上で $mH - K$ として実現可能であるための数値的基準が確立された。その基準は、$\gamma$-特性が曲線の後置性特性の「最初の半分」に一致する場合に成立する。
• $\mathbb{P}^4$ 内に、任意のACM表面上でも $mH - K$ の形に実現できないAG曲線が存在し、この構成の限界を示している。
• 与えられた $\gamma$-特性を持つ一般のAG曲線は、有限回の上昇的完全交差双リゾンの系列によって、直線から得られる。
• $\gamma$-特性は双リゾンの下で予測可能な方法で変化する：$\gamma'(n)$ は $\gamma(n)$ をずらし、重要な次数で値を調整することで得られ、AG性が保たれる。
• 十分に一般のAG曲線に対しては、双リゾンプロセスを非特異曲線と非特異完全交差表面を用いて行うことができ、幾何的制御が保証される。
• 明示的な例が提示された：$\gamma = [-1,-1,-1,6,-1,-1,-1]$（次数14、種数15）であるAG曲線は、2段階の上昇的CI双リゾンにより直線から得られ、最初に $X_{3,3}$ 表面上の種数1曲線へ、次にデル・ペッツォ表面上の直線へと至る。