[論文レビュー] Arithmetical rank of lexsegment edge ideals

Viviana Ene, Oana Olteanu+1 more|ArXiv.org|Nov 15, 2009

Commutative Algebra and Its Applications参考文献 14被引用数 5

ひとこと要約

本稿では、lexsegment辺イデアルおよびそのアレクサンダー双対の算術的ランクが、それぞれの射影次元に等しいことを確立し、これらのイデアルが集合論的完遂交叉であることを証明している。組合せ的可換代数を用いて、次元、深さ、正則性といった不変量を計算し、基本的な不等式鎖 proj dim(S/I) ≤ ara(I) ≤ n − indeg(I) + 1 における等号がこのクラスのイデアルに対して成り立つことを示している。

ABSTRACT

Let $I\subset S=K[x_1,...,x_n]$ be a lexsegment edge ideal or the Alexander dual of such an ideal. In both cases it turns out that the arithmetical rank of $I$ is equal to the projective dimension of $S/I.$

研究の動機と目的

• lexsegment辺イデアルおよびそのアレクサンダー双対の算術的ランクを特定すること。
• lexsegment辺イデアルの主要な不変量—次元、深さ、正則性—を計算すること。
• これらのイデアルに対して算術的ランクと射影次元が等しいことを確立すること。
• コーエン・マカウレイなlexsegment辺イデアルが集合論的完遂交叉であることを示すこと。
• 等式 ara(I) = proj dim(S/I) を、このようなイデアルのアレクサンダー双対へ拡張すること。

提案手法

• 素イデアル分解と高さの議論を用いて、I = (L(u,v)) として表されるlexsegment辺イデアル I に対する S/I の次元と深さを計算する。
• 平方自由単項式イデアルの射影次元および正則性に対する既知の公式を適用する。
• 平方自由単項式イデアルに対して proj dim(S/I) = cd(I) = n − depth(S/I) が成り立つことを利用する。
• 不等式鎖 proj dim(S/I) ≤ ara(I) ≤ n − indeg(I) + 1 を適用し、lexsegment辺イデアルに対して等号が成り立つことを証明する。
• アレクサンダー双対 I* を高さ2の素イデアルの共通部分として表現し、それを分析する。
• proj dim(S/I*) = reg(I) であるという結果を用い、既知の評価を適用して ara(I*) = proj dim(S/I*) を示す。

実験結果

リサーチクエスチョン

• RQ1 lexsegment辺イデアルの算術的ランクは、その射影次元に等しいか？
• RQ2 lexsegment辺イデアルの次元、深さ、正則性は何か？
• RQ3 lexsegment辺イデアルのアレクサンダー双対は、集合論的完遂交叉であるか？
• RQ4 平方自由単項式イデアルに対して、いつ ara(I) = proj dim(S/I) が成り立つか？
• RQ5 等式 ara(I) = proj dim(S/I) を、lexsegment辺イデアルのアレクサンダー双対へ拡張できるか？

主な発見

• 任意のlexsegment辺イデアル I に対して、算術的ランクは射影次元に等しい：ara(I) = proj dim(S/I)。
• S/I の次元は n − j に等しく、ここで j は v = x_j x_k を満たす最小の添え字で、j ≥ 2 を満たす。
• S/I の射影次元は、i ≤ j+1 または k = n のとき 2 に等しく、i ≥ j+2 かつ k ≠ n のとき 3 に等しい。
• lexsegment辺イデアルのアレクサンダー双対 I* は、同じ次元に基づく分類に関して ara(I*) = proj dim(S/I*) を満たす。
• コーエン・マカウレイなlexsegment辺イデアルは、ara(I) = ht(I) であるため、集合論的完遂交叉である。
• I および I* の両方に対して proj dim(S/I) = ara(I) が成り立つことから、このクラスのイデアルに強い構造的性質が確認される。