[論文レビュー] 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) 予想を証明する。重層的同型を用いて単項式への還元を行い、元のイデアルと同一のヒルベルト関数を持つレックス・プラス・パワーイデアルを構成することで、次元増加解析とヒルベルト関数再帰を用いてこの特殊ケースにおいて予想を確認する。

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_i $ の次数が $ a_i $ で、$ f_i $ が一次因数に分解する斉次イデアル $ I \ni f_1,\dots,f_n $ が、$ x_1^{a_1},\dots,x_n^{a_n} $ を含むイデアルと同一のヒルベルト関数を持つことを確立すること。
• Clements-Lindström の定理を非単項式正則列へ拡張することで、商環におけるヒルベルト関数に関する既存の結果を一般化すること。
• Chen が提起した疑問に答えること：$ f_i = x_i l_i $ かつ $ l_i \in S_1 $ の場合に EGH 予想が成立するか。

提案手法

• 各 $ f_i $ を割り切る $ p_i $ を用いて $ \alpha: S \to S $ を定義する重層的同型 $ \alpha $ を用い、$ \alpha(x_i) = p_i $ とすることで、問題を $ f_i = x_i l_i $ の場合に還元し、ヒルベルト関数を保存する。
• $ p_1,\dots,p_n $ が $ k $-線形独立であるという事実を応用し、$ f_i = x_i l_i $ かつ $ l_i \in S_1 $ と仮定することで、イデアル構造を単純化する。
• $ x_1 l_1,\dots,x_n l_n $ を含むイデアルの次元増加を、$ I + \langle x_n \rangle $ と $ (I : x_n) $ を用いた再帰的分解により分析する。
• $ R = k[x_1,\dots,x_{n-1}] $ の低次元環からの単項式生成元のリフトを用いて、$ S $ 内のターゲットイデアル $ K $ を構成する。ここで $ L_0, L_1, L_2 $ はレックス・プラス・パワーイデアルであり、$ \operatorname{Mon}(L_0) \cup \{w x_n\} \cup \{w x_n^2\} \cup \{x_n^3\} $ を用いる。
• Macaulay2 を用いた直接計算により、再帰式 $ H(S/I,t) = H(S/(I + \langle x_n \rangle),t) + H(S/(I : x_n),t-1) $ を用いて、$ K $ のヒルベルト関数が $ I $ と一致することを検証する。
• Clements-Lindström の定理を活用し、$ S/\langle x_1^{a_1},\dots,x_n^{a_n}\rangle $ 内のすべてのヒルベルト関数がレックス・プラス・パワーイデアルによって実現可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 正則列に含まれる各 $ f_i $ が一次因数に分解する場合に、Eisenbud-Green-Harris 予想は成立するか？
• RQ2 各 $ f_i $ の次数が $ a_i $ である斉次イデアル $ I $ が $ f_1,\dots,f_n $ を含むとき、$ x_1^{a_1},\dots,x_n^{a_n} $ を含むレックス・プラス・パワーイデアルによって、そのヒルベルト関数が再現可能か？（一次因数分解の場合）
• RQ3 Chen が提起した通り、$ l_i \in S_1 $ のとき $ f_i = x_i l_i $ の形の生成元によって生成されるイデアルに対し、EGH 予想は成立するか？
• RQ4 $ I + \langle x_n \rangle $ と $ (I : x_n) $ の再帰的構造を用いて、$ I $ と同一のヒルベルト関数を持つターゲットイデアルを構築可能か？

主な発見

• 正則列に含まれる各 $ f_i $ が一次因数に分解する場合に、EGH 予想が正当であることが証明され、これにより従来の結果がこのクラスに拡張された。
• $ I = \langle f_1,\dots,f_n \rangle $ で $ f_i = x_i l_i $、$ l_i \in S_1 $ のとき、ヒルベルト関数が $ H(S/I) = H(S/K) $ を満たすレックス・プラス・パワーイデアル $ K $ が存在し、この場合に予想が確認された。
• ヒルベルト関数を保存する重層的同型 $ \alpha $ を用いることで、$ l_i $ が一次形式である単項式の場合 $ x_i l_i $ に還元可能であり、この場合に問題を簡略化できる。
• 低次元のレックス・プラス・パワーイデアル $ L_0, L_1, L_2 $ からの単項式のリフトを用いた $ K $ の明示的構成により、正しいヒルベルト関数が得られ、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 $ と同一のヒルベルト関数を持つ $ K $ の構築に効果的に用いられた。