[論文レビュー] On the Koszulness of multi-Rees algebras of certain strongly stable ideals

Gabriel Sosa|arXiv (Cornell University)|Jun 9, 2014

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

ひとこと要約

本稿では、特定の主強安定イデアルのRees代数および多変数Rees代数が、定義イデアルの明示的な正方形自由な二次グレブナー基底の構成により、Koszul、Cohen-Macaulay、正規整域であることを確立する。主な貢献は、比較閉包に基づく新しい単項式順序を導入し、$G$-二次条件を保証することで、既知のヴェロネーゼ部分環に関する結果を一般化し、強安定イデアルの多変数Rees代数へと拡張することである。

ABSTRACT

Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gröbner basis for the defining ideals of these multi-Rees algebras with squarefree initial monomials, to show that they are also normal Cohen-Macaulay domains.

研究の動機と目的

• ヴェロネーゼ部分環の既知のKoszul性を、強安定イデアルのRees代数および多変数Rees代数へと拡張すること。
• 従来の例を超えて、Koszul、Cohen-Macaulay、正規整域であるクラスの多変数Rees代数を同定すること。
• 定義イデアルに対して正方形自由な二次グレブナー基底を保証する比較閉包に基づく新しい単項式順序を導入すること。
• 主強安定イデアルに関して、比較に関して閉じた集合の組合せ的特徴づけを提供すること。
• ヴェロネーゼ型代数のグレブナー基底に関する結果を、特定の順序と次数制約を持つイデアルの多変数Rees代数へと一般化すること。

提案手法

• 変数添え字の辞書式順序と単項式積の特定の順序を用いて、比較に関して閉じた単項式集合の概念を導入する。
• 多項式環 $K[T_1, \dots, T_s]$ 上の単項式順序を定義し、定義関係の初期単項式が正方形自由かつ二次的であることを保証する。
• 正方形自由な二次生成元を持つグレブナー基底を構成することで $G$-二次条件を適用し、関連する代数のKoszul性を示す。
• 単項式のソーティングと順序付け操作を用いて定義イデアルの生成元を定義し、ヴェロネーゼ型およびヒビ型代数からの技法を一般化する。
• シュトゥルムフェルスおよびホッチャーストの結果を適用し、定義イデアルに正方形自由なグレブナー基底がある場合、代数が正規Cohen-Macaulay整域であると結論づける。
• 特別な構成 $\mathcal{B}(u)$ を用いて、比較に関して閉じた集合と主強安定イデアルとの間の対応関係を確立し、定義イデアルの特徴づけを可能にする。

実験結果

リサーチクエスチョン

• RQ1 主強安定イデアルのRees代数がいつKoszul、Cohen-Macaulay、正規となるか。
• RQ2 比較に基づく新しい単項式順序を用いて、強安定イデアルの多変数Rees代数に対して $G$-二次条件を満たすことは可能か。
• RQ3 単項式集合のどのような組合せ的性質が、それに対応するRees代数が正規Cohen-Macaulay整域であることを保証するか。
• RQ4 強安定イデアルの構造は、その定義イデアルに正方形自由な二次グレブナー基底が存在することとどのように関係するか。
• RQ5 ヴェロネーゼ部分環に用いられた技法を、次数が増加し、変数の台が重複しないイデアルの多変数Rees代数へと一般化できるか。

主な発見

• 任意の主強安定イデアルのRees代数はKoszul、Cohen-Macaulay、正規整域である。
• 有限個の主強安定イデアルの族で、$\text{max}(u_i) \leq \text{min}(u_{i+1})$ かつ $\text{deg}(u_{i+1}) \geq \text{deg}(u_i)$ を満たすものについて、その多変数Rees代数はKoszul、Cohen-Macaulay、正規である。
• このような代数の定義イデアルは、比較に基づく特定の単項式順序の下で正方形自由な二次グレブナー基底をもつ。
• この構成は、既知のヴェロネーゼ部分環およびヒビ代数に関する結果を一般化し、多変数Rees代数へと拡張する。
• 最大イデアルの冪の直和の多変数Rees代数の特別な場合がKoszul、Cohen-Macaulay、正規であることが示され、リンとポリーニの結果が回復される。
• 生成集合が $\mathcal{B}(u)$-集合でない例が存在するが、それでもKoszul、正規、Cohen-Macaulayな代数が得られるため、条件は十分であるが必要ではないことが示される。