[論文レビュー] Dependence of Betti Numbers on Characteristic

Kia Dalili, Manoj Kummini|arXiv (Cornell University)|Sep 22, 2010

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

ひとこと要約

この論文は、単項式イデアルの階数付きベッチ数が底体の標数に依存する条件を調査する。ホシュターフォーミュラ、離散モース理論、ベッチ表における連続的キャンセレーションの理論を用いて、成分ごとの線形解像がベッチ表の体標数に依存しないことを証明するとともに、強力な組合せ的性質を備えているにもかかわらず、依然として依存が生じる明示的な例を構成する。

ABSTRACT

We study the dependence of graded Betti numbers of monomial ideals on the characteristic of the base field. The examples we describe include bipartite ideals, Stanley--Reisner ideals of vertex-decomposable complexes and ideals with componentwise linear resolutions. We give a description of bipartite graphs and, using discrete Morse theory, provide a way of looking at the homology of arbitrary simplicial complexes through bipartite ideals. We also prove that the Betti table of a monomial ideal over the field of rational numbers can be obtained from the Betti table over any field by a sequence of consecutive cancellations.

研究の動機と目的

• 単項式イデアルのベッチ数が底体の標数に依存しない条件を特定すること。
• 既知のベッチ数の独立性に関する結果を、特に成分ごとの線形解像を有するクラスにまで拡張すること。
• 強力な組合せ的性質（例：二部グラフ、頂点分解可能、成分ごとの線形）を有する単項式イデアルの例を明示的に構成し、そのベッチ表が体の標数に依存することを示すこと。
• 離散モース理論を用いて、単体的複体のホモロジーと関連する二部単項式イデアルのベッチ数との間に接続を確立すること。
• 任意の体から連続的キャンセレーションを経てℚ上のベッチ表を再構成できることを示し、標数依存性の構造的理解を提供すること。

提案手法

• スターリング＝ライスナーイデアルのベッチ数を関連する単体的複体の相対ホモロジーに結びつけるホシュターフォーミュラの使用。
• 任意の単体的複体のホモロジーを関連する二部単項式イデアルを通じて解析するための離散モース理論の適用。
• 一般の単項式イデアルの研究を平方自由単項式イデアルに還元するための極化の使用。
• ベッチ表における連続的キャンセレーションの概念を導入し、ベッチ数が異なる標数においてどのように変化するかを分析すること。
• 成分ごとの線形解像を有するイデアルが、ベッチ表が体標数に依存しない条件を満たすことを証明すること。
• 正則性とイデアルの次数の差を用いた帰納法により、やや弱い閉包条件のもとで独立性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 単項式イデアルのベッチ表が底体の標数に依存しない条件は何か？
• RQ2 頂点分解可能または二部グラフ性といった強力な組合せ的性質が、ベッチ表の体標数に依存しないことを保証するか？
• RQ3 単体的複体のホモロジーは、二部単項式イデアルのベッチ数にどの程度に符号化できるか？
• RQ4 任意の体から連続的キャンセレーションの列を経てℚ上のベッチ表を得ることは可能か？
• RQ5 成分ごとの線形解像を有するイデアルは、常にベッチ表が体標数に依存しないか？

主な発見

• ℚ上の単項式イデアルのベッチ表は、任意の体上のベッチ表から連続的キャンセレーションの列を経て得られる。
• 成分ごとの線形解像は、帰納法とキャンセレーションの議論により、ベッチ表が体標数に依存しないことを示す。
• 頂点分解可能な単体的複体および二部イデアルのスターリング＝ライスナーイデアルには、ベッチ表が底体の標数に依存するものがある。
• エッジイデアルが弦的グラフに由来するか、安定イデアルであっても、ベッチ表が体標数に依存しない場合があるが、これは一般には保証されない。
• コーエン＝マカウルのスターリング＝ライスナー環のアレクサンダー双対は、すべての標数で線形解像を有するが、元のイデアルは依然として標数依存のベッチ数を有するため、双対性は標数依存性を検出できない。
• 成分ごとの線形解像を有するイデアルについて、ベッチ数β_{i,i+d(I)}(I)は体標数に依存せず、このクラスは最大イデアルのべきとの共通部分集合をとる操作に関して閉じている。