[論文レビュー] Powers of monomial ideals with characteristic-dependent Betti numbers

Davide Bolognini, Antonio Macchia+2 more|arXiv (Cornell University)|Jan 1, 2022

Commutative Algebra and Its Applications被引用数 1

ひとこと要約

本稿では、単項イデアルの冪のベッチ数およびカステルヌオヴォ＝ムーフォ・正則性が係数体の特徴に関する依存性について調査する。lcmラティスやベッチ分解といった道具を用いて、三角形分割されたクラインのボーラの辺イデアルなど、すべての冪で特徴的依存性を示す明示的例を構成する。主な貢献として、新しい変数における単項式を加えることで、すべての高次の冪へと特徴的依存性が伝播することを示す一般構成が得られる。

ABSTRACT

We explore the dependence of the Betti numbers of monomial ideals on the characteristic of the field. A first observation is that for a fixed prime p either the i-th Betti number of all high enough powers of a monomial ideal differs in characteristic 0 and in characteristic p or it is the same for all high enough powers. In our main results, we provide constructions and explicit examples of monomial ideals all of whose powers have some characteristic-dependent Betti numbers or whose asymptotic regularity depends on the field. We prove that, adding a monomial on new variables to a monomial ideal allows to spread the characteristic dependence to all powers. For any given prime p, this produces an edge ideal such that all its powers have some Betti numbers that are different over Q and over Zp. Moreover, we show that, for every r≥0 and i≥3 there is a monomial ideal I such that some coefficient in a degree ≥r of the Kodiyalam polynomials P3(I),…,Pi+r(I) depends on the characteristic. We also provide a summary of related results and speculate about the behavior of other combinatorially defined ideals.

研究の動機と目的

• 単項イデアルの冪のベッチ数およびカステルヌオヴォ＝ムーフォ・正則性が係数体の特徴に依存するかどうかを調査すること。
• すべての冪でベッチ数が体の特徴に依存する明示的な単項イデアルを構成すること。
• 低次の冪から高次の冪へと特徴的依存性がどのように伝播するかを理解すること、特に辺イデアルおよび二項辺イデアルにおいて。
• ベッチ数や正則性における特徴的依存性が、代数的構成によって体系的かつ制御可能に生成可能かどうかを特定すること。
• 与えられた冪 h からすべての冪へと特徴的依存性を拡張可能かどうか、およびそれが冪をとる操作に対して安定かどうかを検討すること。

提案手法

• ホシュターフォーミュラおよびlcmラティスを用いてベッチ数を計算し、その体依存性を分析する。
• ベッチ分解技術を適用し、新しい変数における単項式を加えることで、ある冪における体依存性がすべての高次の冪へと伝播することを証明する。
• 単体的複体（例：クラインのボーラの最小三角形分割）からスターリング＝ライスナー理論を用いて単項イデアルを構成し、すべての冪で特徴的依存性を持つベッチ数を実現する。
• コーディヤラムの定理（高次の冪におけるベッチ数の多項式性）を用いて、異なる体の特徴においてコーディヤラム多項式の次数および係数を分析する。
• Macaulay2を用いた計算により、辺イデアルや二項辺イデアルの具体的な例において体依存性を検証する。
• 一般構成を導入する：特徴的依存性を持つ正則性を有するイデアルに yc を加えることで、すべての十分大きな h に対して (I + (yc))^h が特徴的依存性を持つ正則性を有することを保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての冪で体の特徴に依存するベッチ数を持つような単項イデアルを構成可能か？
• RQ2 代数的構成により、ある冪でのベッチ数の特徴的依存性を、すべての高次の冪へと伝播可能か？
• RQ3 単項イデアルの冪の漸近的正則性は体の特徴に依存するか？ もしそうならば、これを体系的に生成する方法はあるか？
• RQ4 二項辺イデアルにおいて、低次の冪が独立であっても、高次の冪のベッチ数が体に依存する可能性はあるか？
• RQ5 固定された冪のベッチ数が異なる素数の集合は有限か？ それとも無限個の素数が存在しうるか？

主な発見

• 任意の単項イデアル I に対して、Ih の i 番目のベッチ数は、すべての h ≥ hi に対して常に体依存性を示すか、またはすべての h ≥ hi に対して常に体独立性を示すかのいずれかであり、閾値的挙動を示す。
• クラインのボーラの最小三角形分割のスターリング＝ライスナーイデアルは、すべての h ≥ 1 に対してベッチ数が体に依存する。
• 単項イデアルに新しい変数における単項式を加えると、特徴的依存性がすべての高次の冪へと伝播する： Ih が特徴的依存性を持つならば、(I + (w))^ℓ はすべての ℓ ≥ h に対して特徴的依存性を持つ。
• 特徴的依存性を持つ正則性を有するイデアル I に yc を加えることで、すべての十分大きな h に対して (I + (yc))^h が特徴的依存性を持つ正則性を有するような構成が存在する。
• J^4_C のベッチ数が特徴 2 と Q で異なるような二項辺イデアルの例が得られ、J^3_D の射影次元が低次の冪が独立であっても特徴に依存する。
• 一部の辺イデアルにおいて、JE および J^2_E のベッチ数は特徴 0、2、3 で異なることが判明し、J^2_F に対しても同様の現象が確認された。これは、特徴的依存性が高次の冪にのみ現れる可能性を示している。