[論文レビュー] On linear resolution of powers of an ideal

Keivan Borna|arXiv (Cornell University)|Oct 6, 2008

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

ひとこと要約

本稿では、高次のグレード付きイデアルの冪が線形分解を持つための一般基準を、リース代数を用いて提示する。特筆すべきは、特徴標数0における2つの特定のイデアル $J$ と $J_1$ について、$k=2$ を除くすべての冪が線形分解を持つことが証明されており、$k \neq 2$ のとき $ \mathrm{reg}(I^k) = dk$ が成り立つ。これは、漸近的正則性挙動に関する未解決の問題を解決するものである。

ABSTRACT

In this paper we give a generalization of a result of Herzog, Hibi, and Zheng providing an upper bound for regularity of powers of an ideal. As the main result of the paper, we give a simple criterion in terms of Rees algebra of a given ideal to show that high enough powers of this ideal have linear resolution. We apply the criterion to two important ideals $J,J_{1}$ for which we show that $J^{k},$ and $J_{1}^{k}$ have linear resolution if and only if $k eq 2.$ The procedures we include in this work is encoded in computer algebra package CoCoA.

研究の動機と目的

• ハーツォーグ、ヒビ、ジングによるイデアルの冪の正則性バウンドに関する結果の一般化を図ること。
• 高次の冪が線形分解を持つ条件を特定するための、リース代数に基づく計算的基準の開発。
• 2つの特定のイデアル $J$ と $J_1$ の冪の正則性挙動に関する未解決問題を解決すること、特に $\mathrm{reg}(I^k) = 3k$ が $k \neq 2$ のとき成り立つかどうかの検証。
• CoCoAパッケージを用いて $J^k$ と $J_1^k$ の正則性およびベッチ数についての明示的計算的検証を提供すること。

提案手法

• リース代数 $R(I)$ の $x$-正則性と $I^k$ の正則性の関係を示すローマーの公式を用いる: $\mathrm{reg}(I^k) \leq kd + \mathrm{reg}_x(R(I))$。
• 二重斉次座標変換 $g = g_1 \times g_2$ を適用し、リース環の定義イデアルを、初期イデアルを解析可能な形に変形する。
• リース環の定義イデアル $P$ の初期イデアル $\mathrm{in}(g(P))$ を計算し、$G$（$x$-部）と $B$（$t$-部）の和に分解する。
• $k > 2$ のとき $I_{(k,\star)} = G_{(k,\star)}$ が成り立つことを確認するため、$B$ に属する特定の単項式が $G$ に吸収されることを検証し、$\mathrm{reg}(I^k) = dk$ を保証する。
• CoCoAコンピュータ代数システムを用いて、明示的なグレブナー基底計算を行い、線形分解の条件を検証する。
• 多重次数付きヒルベルト級数の等価性を活用し、$J$ と $J_1$ がすべての冪で同じベッチ数を持つことを示す。

実験結果

リサーチクエスチョン

• RQ1 イデアル $I$ に対して、十分に高いすべての冪 $I^k$ が線形分解を持つための条件は何か？
• RQ2 複素射影平面 $\mathbb{P}^2$ の三角形分割に対応するイデアル $J$ に対して、すべての $k$ に対して $J^k$ の正確な正則度は何か？
• RQ3 正則度 $d$ のイデアル $Q$ が存在し、$\mathrm{reg}(Q^k) = dk$ がすべての $k \neq 3$ または $k \neq 2,3$ に対して成り立つか？
• RQ4 イデアルのリース代数を用いて、その冪の正則度をアルゴリズム的に決定する方法は何か？

主な発見

• 6変数上の10個の立方単項式によって定義されるイデアル $J$ に対して、特徴標数0ではすべての $k \neq 2$ に対して $\mathrm{reg}(J^k) = 3k$ が成り立つ。
• 関連するイデアル $J_1$ に対しても、すべての $k \neq 2$ に対して $\mathrm{reg}(J_1^k) = 3k$ であり、$J^k$ と同じ正則性挙動を示す。
• $J^2$ は $\mathrm{reg}(J^2) = 7 > 6 = 2 \times 3$ であり、$k=2$ で正則度のジャンプが生じるが、これは唯一の例外である。
• リース環 $R(J)$ と $R(J_1)$ は同一の多重次数付きヒルベルト級数を持つため、すべての $i,j,k$ に対して $\beta_{i,j}(J^k) = \beta_{i,j}(J_1^k)$ が成り立つ。
• $\mathrm{reg}_x(R(I)) = 0$ に基づく基準は、$I$ の高次の冪がすべて線形分解を持つための必要十分条件である。
• CoCoAによる計算的検証により、$J$ および $J_1$ において $k > 2$ のとき $I_{(k,\star)} = G_{(k,\star)}$ が成り立つことが確認され、線形分解の主張が裏付けられた。