[論文レビュー] A Combinatorial Approach to Involution and delta-Regularity II: Structure Analysis of Polynomial Modules with Pommaret Base

Werner M. Seiler|arXiv (Cornell University)|Aug 30, 2002

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

ひとこと要約

本稿では、多項式モジュールの解析にPommaret基底を用いた組合せ的枠組みを提示し、クルール次元、射影次元、深さ、およびカステルヌオーヴォ-ムーディ・正則性といった主要なホモロジー的不変量が直接的に符号化されることを示している。degree reverse lexicographic順序におけるPommaret基底の次数が正則性に等しいことが確立されており、Bayer/StillmanおよびEisenbud/Gotoによる古典的特徴づけの新しい証明を提供するとともに、Pommaret基底が存在するδ-正則座標を効率的に特定するアルゴリズムを導入している。

ABSTRACT

Substantial changes in many parts of the paper. In particular, significantly expanded treatment of monomial ideals and of Castelnuovo-Mumford regularity. Also relation between delta-regularity and Noether normalisation now treated.

研究の動機と目的

• Pommaret基底をホモロジー的不変量の計算のための道具として用いることにより、多項式モジュールの構造的解析を展開すること。
• ヒロナカのCohen-Macaulayモジュールに関する基準や、グレード付きAuslander-Buchsbaumの公式といった古典的結果の、新しい直接的証明を提供すること。
• degree reverse lexicographic順序における基底の次数を通じて、Pommaret基底とカステルヌオーヴォ-ムーディ・正則性との間の関係を確立すること。
• Pommaret基底が常に存在するとは限らないという制限を克服するため、δ-正則座標を検出する新しい決定的かつ効率的なアルゴリズムを提示すること。

提案手法

• 多項式モジュールのRees分解を誘導する特殊なインボリューション基底としてのPommaret基底を用いる。
• 座標類と乗法的変数の概念を適用し、サイジージとモジュール分解の解析のための組合せ的構造を定義する。
• 段階的な座標類の増加に従って部分モジュールを反復的に因数分解することで、Rees分解を構成する再帰的アルゴリズム（アルゴリズム2）を適用する。
• インボリューション正規形および強基底性の性質を用いて、サイジージモジュールのグレブナー基底に類似した構造を導出する。
• JanetとPommaretの乗法的変数を比較する基準を導入し、δ特異座標系を検出する。
• 一般座標がδ-正則であるという事実に依拠し、一般に成り立つと知られている結果を、より広い座標系のクラスへ一般化する。

実験結果

リサーチクエスチョン

• RQ1 Pommaret基底を用いて、多項式モジュールのクルール次元、射影次元、および深さをどのように計算できるか？
• RQ2 degree reverse lexicographic順序におけるPommaret基底の次数とカステルヌオーヴォ-ムーディ・正則性との間の明確な関係は何か？
• RQ3 Pommaret基底が存在するδ-正則座標を検出する決定的かつ効率的なアルゴリズムを構築できるか？
• RQ4 正則列、ノイザー正規化、および一次分解に関する可換代数の古典的結果が、どの程度δ-正則座標で成り立つか？
• RQ5 Pommaret基底のサイジージ理論は、明示的な微分構造を持つ自由分解へどのように導くか？

主な発見

• degree reverse lexicographic項順序におけるPommaret基底の次数は、モジュールのカステルヌオーヴォ-ムーディ・正則性に正確に等しい。
• 本稿では、Pommaret基底フレームワークを用いて、Bayer/StillmanおよびEisenbud/Gotoが提唱したカステルヌオーヴォ-ムーディ・正則性の基準に対する、新しい直接的証明が提供されている。
• JanetとPommaretの乗法的変数を比較する基準に基づき、δ特異座標を検出する新しい単純な基準が導出されており、従来の方法よりも効率的なアルゴリズムが得られている。
• Pommaret基底のサイジージモジュールは、単項式の場合に微分代数的構造を備えており、微分の明示的公式が存在する。
• Pommaret基底を有する単項式イデアルに対しては、基底から容易に冗長でない一次分解が得られる。
• Pommaret基底が最小であるときかつそのときに限り、Pommaret基底から得られる分解は最小であることが示され、EliahouとKervaireの結果が一般化されている。