[論文レビュー] The arithmetical rank of a special class of monomial ideals

Pietro Mongelli|arXiv (Cornell University)|May 14, 2010

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

ひとこと要約

本稿では、連続する変数の積から生成される特別なクラスの平方自由単項イデアル $ I_t(L_n) $ の算術的ランクが、その射影次元に等しいことを確立する。イデアルの根に関する鍵となる補題と、Barileの結果に基づく再帰的置換技術を用いて、$ n $ を $ t+1 $ で割った剰余に応じて算術的ランクの正確な公式を導出し、文献にあった予想を解決する。

ABSTRACT

We give an affirmative answer to a question due to J. He and A. Van Tuyl, proving that the arithmetical rank of a special monomial ideal equals to the projective dimension of corresponding quotient module.

研究の動機と目的

• 単項イデアルの算術的ランクに関する先行研究を一般化し、特に[2]の定理4.5をより広いクラスのイデアルへ拡張すること。
• $ t $ および $ n $ のすべての正の整数について、$ \operatorname{ara}(I_t(L_n)) = \operatorname{pd}(R/I_t(L_n)) $ の等式を確立すること。
• $ n \mod (t+1) $ の値に応じて、$ I_t(L_n) $ の算術的ランクの明示的閉形式表現を導出すること。
• 変数の分離とイデアル拡張に関する補題を用いて、$ I_t(L_n) $ の根を定義するに必要な生成元の数を削減する構成的技法を提供すること。

提案手法

• 生成元が $ I $ の生成元に含まれる変数を割り切らない変数で割り切れるような $ J $ の生成元が存在する場合に、$ \operatorname{ara}I \leq \operatorname{ara}(I+J) $ が成り立つという鍵となる補題を活用すること。
• Barileの結果を応用し、$ 2n $ 個の変数における $ n $ 重の連続積から生成されるイデアルの算術的ランクが 2 に等しいことを利用すること。
• $ I_t(L_n) $ の生成元をサイズ $ t+1 $ のブロックに分割し、各ブロックを同じ根を生成する二つの多項式に置き換えること。
• 数学的帰納法と剰余算術を用いて、$ n \mod (t+1) $ に基づく場合分けを行い、$ d = t $ と $ d < t $ を区別すること。
• 生成元の根を保つ削減処理を通じて算術的ランクを計算し、このような置換によって根イデアルが保存されることに依拠すること。
• 生成元の削減プロセスから得られる上界と、[2, 定理4.1]で知られている射影次元を組み合わせることで、等式を結論づけること。

実験結果

リサーチクエスチョン

• RQ1 連続する $ t $ 個の変数の積から生成されるイデアル $ I_t(L_n) $ の算術的ランクは、すべての $ t,n \geq 1 $ に対してその射影次元に等しいか。
• RQ2 $ I_t(L_n) $ の算術的ランクは、$ n $ と $ t $ の関数として閉形式で表現可能か。
• RQ3 $ \operatorname{ara}(I_t(L_n)) $ は、$ n $ を $ t+1 $ で割った剰余にどのように依存するか。
• RQ4 変数の分離とイデアル拡張を用いて、根を保ちつつ生成元の数を削減する構成的技法は存在するか。

主な発見

• $ n \equiv d \pmod{t+1} $ かつ $ 0 \leq d \leq t-1 $ のとき、$ I_t(L_n) $ の算術的ランクは正確に $ \frac{2(n-d)}{t+1} $ に等しい。
• $ n \equiv t \pmod{t+1} $ のとき、算術的ランクは $ \frac{2n - (t-1)}{t+1} $ に等しい。
• すべての正の整数 $ t $ および $ n $ に対して、$ \operatorname{ara}(I_t(L_n)) = \operatorname{pd}(R/I_t(L_n)) $ の等式が成り立つ。これは文献にあった予想を確認するものである。
• 証明は、$ t+1 $ 個の連続する単項生成元のブロックを、同じ根を生成する二つの多項式に置き換える削減技術に依拠している。
• 一般には $ \operatorname{ara}I \leq \operatorname{ara}(I+J) $ は成り立たないが、補題1で用いられた特定の変数分離条件下では成り立つ。
• Barileの $ 2n $ 変数イデアルについての結果（$ n $ 重連続積）を、一般の $ n $ 変数イデアルについての $ t $ 重連続積への一般化として拡張している。