[論文レビュー] On non-standard graded algebras

Dalzotto, G., Sbarra, E.|ArXiv.org|Jun 16, 2005

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

ひとこと要約

この論文は、非一様な変数の重みを持つ多項式環である非標準的重み付き代数を、組合せ論的および可換代数的道具を用いて調査する。重み付き強安定イデアルを導入し、Castelnuovo-Mumford正則性および一般初期イデアルが保存される条件を確立し、計算可能な不変量 $G(w)$ を用いたイデアルの辞書式化可能性の基準を提示する。また、好都合な重み条件のもとでも、すべてのイデアルが辞書式化可能であるとは限らないことを示す。

ABSTRACT

Positively graded algebras are fairly natural objects which are arduous to be studied. In this article we query quotients of non-standard graded polynomial rings with combinatorial and commutative algebra methods.

研究の動機と目的

• 標準的重み付き代数における基礎的結果（一般初期イデアル、素数回避、正則性、辞書式イデアルなど）を、任意の正の整数の重みを持つ非標準的重み付き多項式環へと拡張すること。
• 重み付き多項式環におけるどのイデアルが辞書式化可能か、すなわち同じヒルベルト関数を持つ辞書式イデアルをもつのかを調査すること。
• Castelnuovo-Mumford正則性や深さといった重要な不変量が、一般初期イデアルの構成において保存される条件を特定すること。
• 特に $G(w)$ を含む計算可能な道具および不変量を開発し、与えられた斉次イデアルが辞書式か、あるいは辞書式化可能かをテストすること。

提案手法

• 重み付き多項式環の自己同型を定義・分析し、Borel固定型不変性の下で一般初期イデアルの存在を確立する。
• 非標準的設定における一般初期イデアルの組合せ論的特徴づけとして「重み付き強安定イデアル」の概念を導入する。
• 重みを補正した階数ごとのベッチ数とその重複度を用いて、Castelnuovo-Mumford正則性を計算し、標準的ケースを一般化する。
• 有限個の各次元成分について、辞書的セグメントによる生成をチェックするテストを提案し、不変量 $G(w)$ を用いる。
• Hilbert関数、一般初期イデアル、極化、および辞書式イデアルの計算手順をCoCoAに実装する。
• 完全極化の技法を用いて、イデアルが辞書式化可能でない場合でも、同じヒルベルト関数を持つ強安定単項式イデアルを構成する。

実験結果

リサーチクエスチョン

• RQ1 一般初期イデアルをとる際、Castelnuovo-Mumford正則性が保存される重みに関する条件は何か？
• RQ2 重み付き多項式環における斉次イデアルが、同じヒルベルト関数を持つ辞書式イデアルをもつとは、どのようなときか？
• RQ3 $G(w)$ のような組合せ論的不変量を用いて、与えられたイデアルが辞書式であるかどうかを効果的にテストできるか？
• RQ4 非標準的重み付き設定における完全極化イデアルの完全な特徴づけは可能か？
• RQ5 どの重み列に対して多項式環が Macaulay-Lex であるか、すなわちすべてのイデアルが辞書式化可能であるか？

主な発見

• 重み付き多項式環における斉次イデアルの一般初期イデアルは、標準的ケースにおけるBorel固定性を一般化した重み付き強安定である。
• Castelnuovo-Mumford正則性は、重みを補正した階数ごとのベッチ数とその重複度から計算可能であり、標準的ケースの公式が一般化される。
• 各重みが次の重みを割り切るという仮定の下では、イデアルとその一般初期イデアルの正則性が一致するが、一般には成り立たない。例3.7で反例が示されている。
• 斉次イデアルが辞書式であるための必要十分条件は、その各次元成分が辞書的セグメントによって生成されることであり、このテストは不変量 $G(w)$ を用いて行える。ただし、同重み変数が多数ある場合、$G(w)$ の急激な増大により最適ではない。
• 条件2.3を満たす重み列であっても、例4.17および4.18で示されるように、辞書式化不可能なイデアルが存在する。これはMacaulay-Lex環がまれであることを示している。
• 完全極化イデアルは、必ずしも辞書式ではないが、ヒルベルト関数を保存するため、辞書式化不可能な場合の代替として役立つ可能性がある。