[论文解读] 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边理想及其Alexander对偶的算术秩等于其射影维数，从而确立了这些理想为集-理论完全交。通过组合交换代数方法，作者计算了维数、深度和正则性等不变量，并证明了基本不等式链中的等式成立：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边理想及其Alexander对偶的算术秩。
• 计算lexsegment边理想的关键不变量——维数、深度、正则性。
• 确立这些理想的算术秩与射影维数相等。
• 证明Cohen-Macaulay型lexsegment边理想是集-理论完全交。
• 将等式ara(I) = proj dim(S/I)推广至此类理想的Alexander对偶。

提出的方法

• 利用素理想分解与高度论证，计算lexsegment边理想I = (L(u,v))的S/I的维数与深度。
• 应用平方自由单项式的射影维数与正则性的已知公式。
• 利用平方自由单项式理想中proj dim(S/I) = cd(I) = n − depth(S/I)的性质。
• 应用不等式链：proj dim(S/I) ≤ ara(I) ≤ n − indeg(I) + 1，并证明该链对lexsegment边理想成立等式。
• 通过将Alexander对偶I*表示为高为2的素理想的交，分析I*。
• 利用已知结果proj dim(S/I*) = reg(I)，并应用已知界，证明ara(I*) = proj dim(S/I*)

实验结果

研究问题

• RQ1 lexsegment边理想的算术秩是否等于其射影维数？
• RQ2 lexsegment边理想的维数、深度与正则性为何？
• RQ3 lexsegment边理想的Alexander对偶是否也是集-理论完全交？
• RQ4 对于平方自由单项式理想，ara(I) = proj dim(S/I)在何种条件下成立？
• RQ5 等式ara(I) = proj dim(S/I)能否推广至lexsegment边理想的Alexander对偶？

主要发现

• 对任意lexsegment边理想I，有算术秩等于射影维数：ara(I) = proj dim(S/I)。
• S/I的维数为n − j，其中j为满足v = x_j x_k且j ≥ 2的最小下标。
• S/I的射影维数为2，当i ≤ j+1或k = n时；为3，当i ≥ j+2且k ≠ n时。
• lexsegment边理想的Alexander对偶I*满足ara(I*) = proj dim(S/I*)，且具有基于维数的相同分类。
• Cohen-Macaulay型lexsegment边理想是集-理论完全交，因为ara(I) = ht(I)。
• 等式proj dim(S/I) = ara(I)对I与I*均成立，确认了该类理想具有强结构性质。