[論文レビュー] Isomorphism classes of short Gorenstein local rings via Macaulay's inverse system

Juan Elías, Maria Evelina Rossi|ArXiv.org|Nov 18, 2009

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

ひとこと要約

本稿は、ソクル次数3のアーティン的ゴレンシュタイン局所環とその関連付いた次数付き環の間の標準的同型を確立し、同型類が $\mathbb{P}^{n-1}$ 内の三次超曲面の射影同値類と一対一対応することを証明する。主な結果は、このような局所環の分類問題を、射影同値による斉次三次形式の分類という、よく知られた問題に還元する。

ABSTRACT

In this paper we study the isomorphism classes of Artinian Gorenstein local rings with socle degree three by means of Macaulay's inverse system. We prove that their classification is equivalent to the projective classification of the hypersurfaces of $\mathbb P ^{n }$ of degree three. This is an unexpected result because it reduces the study of this class of local rings to the homogeneous case. The result has applications in problems concerning the punctual Hilbert scheme $Hilb_d (\mathbb P^n)$ and in relation to the problem of the rationality of the Poincaré series of local rings.

研究の動機と目的

• ソクル次数3のアーティン的ゴレンシュタイン局所環の同型類を分類すること。
• このような環とその関連付いた次数付き環との間の標準的同型を確立し、次数付きの場合への還元を可能にする。
• このような局所環の分類を、$\mathbb{P}^{n-1}$ 内の三次超曲面の射影分類に関連付けること。
• この対応を、点付きヒルベルトスキームおよびポincare系列の有理型に関する問題に応用すること。
• 逆系を用いた幾何学的かつ計算的枠組みを提供し、局所ゴレンシュタイン特異点を研究する。

提案手法

• Macaulayの逆系を用いて、アーティン的ゴレンシュタイン代数と斉次多項式の間の一対一対応を確立する。
• 逆系対応を適用し、局所環の同型類を射影変換による同値類に翻訳する。
• 線形代数的手法を用いて、逆系多項式 $F_3$ の二階微分から得られる行列 $M_F$ を分析する。
• 行列 $M_F$ が最大階数 $\binom{n+1}{2} + n(m-n)$ を持つことを証明し、定義方程式の解の存在を保証する。
• 行列 $M_F$ の上三角構造と $F_3$ の非退化性を用いて、$A$ と $\mathrm{gr}(A)$ の間の標準的同型を確立する。
• 逆系多項式の三次部分 $F_3$ を通じて、$V(F) \subset \mathbb{P}^{n-1}$ 内の三次超曲面の射影分類に還元することで、分類問題を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 ソクル次数3のアーティン的ゴレンシュタイン局所環が、いつその関連付いた次数付き環と標準的同型となるか。
• RQ2 このような環の同型類は、代数幾何学的にどのように分類できるか。
• RQ3 ヒルベルト関数 $\{1,m,n,1\}$ を持つアーティン的ゴレンシュタイン局所環の分類と、$\mathbb{P}^{n-1}$ 内の三次超曲面の射影分類の関係は何か。
• RQ4 この幾何学的対応により、このような環のポincare系列の有理型を決定できるか。
• RQ5 この対応は、点付きヒルベルトスキーム $\mathrm{Hilb}_d(\mathbb{P}^n)$ の研究をどのように簡略化するか。

主な発見

• ヒルベルト関数 $\{1,n,n,1\}$ を持つ任意のアーティン的ゴレンシュタイン局所環は、関連付いた次数付き環と標準的同型となる。これは、対称ヒルベルト関数に対して一般には成り立たない。
• ヒルベルト関数 $\{1,m,n,1\}$、$m \geq n$ を持つアーティン的ゴレンシュタイン局所環の同型類は、$\mathbb{P}^{n-1}$ 内の三次超曲面の射影同値類と一対一対応する。
• このような環の分類は、$n$ 変数の非退化三次形式の射影同値による分類と同値である。
• $n \leq 4$ の場合、分類は、$n-1 \leq 3$ を満たす $\mathbb{P}^{n-1}$ 内の三次超曲面の既知の射影分類に基づいて完全に決定される。
• 逆系に付随する行列 $M_F$ は最大階数 $\binom{n+1}{2} + n(m-n)$ を持ち、解の存在を保証し、対応の妥当性を裏付ける。
• この結果により、低次の $d$ に対して、点付きヒルベルトスキーム $\mathrm{Hilb}_d(\mathbb{P}^n)$ の特異点の幾何的解釈が得られ、Casnati, Notari よりも拡張された結果が得られる。