[论文解读] On the Eisenbud-Green-Harris Conjecture

Abed Abedelfatah|arXiv (Cornell University)|Dec 11, 2012

Commutative Algebra and Its Applications参考文献 10被引用 4

一句话总结

该论文证明了当齐次理想包含一个正则序列，且每个 $ f_i $ 均可分解为一次因式时的Eisenbud-Green-Harris（EGH）猜想。通过一个分次同构将问题约化为单项式情形，作者构造了一个具有与原理想相同Hilbert函数的lex-plus-powers理想，从而通过维数增长分析与Hilbert函数递推关系，在此特殊情形下证实了该猜想。

ABSTRACT

It has been conjectured by Eisenbud, Green and Harris that if $I$ is a homogeneous ideal in $k[x_1,...,x_n]$ containing a regular sequence $f_1,...,f_n$ of degrees $°(f_i)=a_i$, where $2\leq a_1\leq ... \leq a_n$, then there is a homogeneous ideal $J$ containing $x_1^{a_1},...,x_n^{a_n}$ with the same Hilbert function. In this paper we prove the Eisenbud-Green-Harris conjecture when $f_i$ splits into linear factors for all $i$.

研究动机与目标

• 解决当正则序列中每个 $ f_i $ 均可分解为线性因式时的Eisenbud-Green-Harris猜想。
• 证明每个包含 $ f_1,\dots,f_n $ 的齐次理想 $ I $，其中 $ \deg(f_i) = a_i $ 且 $ f_i $ 可分解为线性因式，其Hilbert函数与包含 $ x_1^{a_1},\dots,x_n^{a_n} $ 的理想相同。
• 将Clements-Lindström定理推广至非单项式正则序列，扩展关于商环中Hilbert函数的先前结果。
• 回答Chen提出的问题：当 $ f_i = x_i l_i $ 且 $ l_i \in S_1 $ 时，EGH猜想是否仍成立。

提出的方法

• 使用分次同构 $ \alpha: S \to S $，其中 $ \alpha(x_i) = p_i $，且 $ p_i $ 整除 $ f_i $，将问题约化为 $ f_i = x_i l_i $ 的情形，同时保持Hilbert函数不变。
• 利用 $ p_1,\dots,p_n $ 在 $ k $ 上线性无关的性质，假设 $ f_i = x_i l_i $ 且 $ l_i \in S_1 $，从而简化理想结构。
• 通过递归分解 $ I + \langle x_n \rangle $ 与 $ (I : x_n) $，分析包含 $ x_1 l_1,\dots,x_n l_n $ 的理想之维数增长。
• 通过从低维环 $ R = k[x_1,\dots,x_{n-1}] $ 提升单项式生成元，在 $ S $ 中构造目标理想 $ K $，使用 $ \operatorname{Mon}(L_0) \cup \{w x_n\} \cup \{w x_n^2\} \cup \{x_n^3\} $，其中 $ L_0, L_1, L_2 $ 为lex-plus-powers理想。
• 通过Macaulay2中的直接计算，利用递推公式 $ H(S/I,t) = H(S/(I + \langle x_n \rangle),t) + H(S/(I : x_n),t-1) $，验证 $ K $ 的Hilbert函数与 $ I $ 相同。
• 借助Clements-Lindström定理，确保 $ S/\langle x_1^{a_1},\dots,x_n^{a_n}\rangle $ 中的每个Hilbert函数均可由一个lex-plus-powers理想实现。

实验结果

研究问题

• RQ1 当正则序列中每个 $ f_i $ 均可分解为线性因式时，Eisenbud-Green-Harris猜想是否成立？
• RQ2 对于包含 $ f_1,\dots,f_n $ 且 $ \deg(f_i) = a_i $ 的齐次理想 $ I $，其Hilbert函数是否可由一个包含 $ x_1^{a_1},\dots,x_n^{a_n} $ 的lex-plus-powers理想匹配？（在线性因式情形下）
• RQ3 Chen提出的问题：当 $ f_i = x_i l_i $ 且 $ l_i \in S_1 $ 时，EGH猜想是否成立？
• RQ4 能否利用 $ I + \langle x_n \rangle $ 与 $ (I : x_n) $ 的递归结构，构建一个与 $ I $ 具有相同Hilbert函数的目标理想？

主要发现

• 当正则序列中每个 $ f_i $ 均可分解为线性因式时，EGH猜想得证，将先前结果推广至该类理想。
• 对于 $ I = \langle f_1,\dots,f_n \rangle $ 且 $ f_i = x_i l_i $，$ l_i \in S_1 $ 的情形，存在一个lex-plus-powers理想 $ K $，使得 $ H(S/I) = H(S/K) $，从而在该情形下证实了猜想。
• Hilbert函数在分次同构 $ \alpha $ 下保持不变，使得问题可约化至 $ x_i l_i $ 的情形，其中 $ l_i $ 为一次齐次多项式，从而可处理为单项式情形。
• 通过从低维lex-plus-powers理想 $ L_0, L_1, L_2 $ 提升单项式生成元，显式构造 $ K $，其Hilbert函数正确，经Macaulay2计算验证。
• 在例4.6中，$ H(S/I) = (1,5,8,3,0,\dots) $ 与 $ H(S/K) $ 匹配；在例4.7中，$ H(S/I) = (1,6,14,13,2,0,\dots) $ 与 $ H(S/K) $ 匹配，验证了构造的有效性。
• 递推关系 $ H(S/I,t) = H(S/(I + \langle x_n \rangle),t) + H(S/(I : x_n),t-1) $ 被有效用于构建与 $ I $ 具有相同Hilbert函数的 $ K $。