[論文レビュー] The stable set of associated primes of a complementary edge ideal

Antonino Ficarra|arXiv (Cornell University)|Mar 2, 2026

Commutative Algebra and Its Applications被引用数 0

ひとこと要約

要約: 論文は補集合エッジイデアル I_c(G)^k の各べき乗に対する関連素の集合を明示的に決定し、持続性を証明し、v-関数を計算する一方、高次数の自明で平方自由モノミアルイデアルのホモロジー的性質をグラフの観点から記述する。

ABSTRACT

We explicitly determine the associated primes of every power of a complementary edge ideal, prove that they satisfy the persistence property, and compute the $\text{v}$-function. In the course of the proofs, we completely describe the homological properties of all powers of squarefree monomial ideals generated in degrees large relative to the number of variables defining them.

研究の動機と目的

• モノミナルイデアルのべき乗に対して関連素が安定化する時期を研究する動機づけと形式化、特に補集合エッジイデアルに焦点を当てる。
• 安定集合 Ass^∞(I_c(G)) を特徴づけ、astab(I_c(G)) の上限を評価する。
• 一般的な枠組み（モノミアル局所化と深さの議論）を開発し、平方自由モノミアルイデアルの広いクラスの持続性を分析する。
• 安定集合とべき乗のホモロジー的挙動を介して、グラフの組み合わせ的性質を代数的不変量に結びつける。

提案手法

• モノミアル局所化 I(P_F) を用いて Ass(I) と depth(S_F/I(P_F)^k) の安定性を結び付ける。
• 定理Bを適用： depth(S_F/I(P_F)^k) が k に対して非増加であるファミリ F に対して、持続性が成り立つ。
• べき乗 I^k を Betti 分割によって分解し、変数のサポートが互いに交わる成分からの寄与を分離する。
• 高次数（≥ n-2）で生成される平方自由モノミアルイデアルの構造を利用して、深さと正則性の性質を導く。
• G が連結成分を持つ場合、I_c(G) の深さと Betti の計算から安定集合を得る。
• 線形除法、成分ごと線形性、および reg/depth の挙動に関する既知の結果を用いて、定理C の（a）–（f）を確立する。

実験結果

リサーチクエスチョン

• RQ1 補集合エッジイデアルの Ass^∞(I_c(G)) はいくらか？
• RQ2 I_c(G) のべき乗は持続性性を満たすか、満たす場合 astab(I_c(G)) の上界は何か？
• RQ3 深さと正則性は k が大きくなるにつれてどう変化するか、特に I_c(G) が次数 ≥ n-2 で生成される場合は？
• RQ4 I_c(G)^k の等級ベッティ数が基底体 K に依存しなくなる条件は？
• RQ5 孤立点や二部成分など、グラフ G の性質が I_c(G)^k の代数的不変量をどう支配するか？

主な発見

• I_c(G)^k の Ass は持続的な列を形成する：Ass(I_c(G)) ⊆ Ass(I_c(G)^2) ⊆ … 。
• 安定集合 Ass^∞(I_c(G) ) は正確に以下の併合である：{P_i: deg_G(i)=0} の集合 ∪ {P_F: |F|>1, tilde b(G|_F)=0}。
• astab(I_c(G)) の上限は n−2 に抑えられる。
• G が特定の構造を持つとき、べき乗 I_c(G)^k の深さと正則性は安定し、明確な式を持ち、すべての k≥1 について格納ベッティ数は標準体 K に依存しない。
• I_c(G) は持続性性を満たし、定理 B は高次数平方自由モノミアルイデアルの持続性を証明する一般的枠組みを提供する。
• 解析はモノミアル局所化 I(P_F)、Betti 分割、および Tor-消失写像を用いて深さとベッティ数の漸近挙動を制御する。