[論文レビュー] Algebraic Invariants of Edge Ideals Under Suspension

Selvi Kara, Dalena Vien|arXiv (Cornell University)|Mar 5, 2026

Commutative Algebra and Its Applications被引用数 0

ひとこと要約

この論文は、選択的なグラフサスペンションの下でエッジイデアルの代数的不変量がどのように変化するかを、最小頂点被覆と最大独立集合に焦点を当てて調べ、正則性が維持されるときと射影次元が増加する場合を詳述する。

ABSTRACT

The central question of this paper is: how do algebraic invariants of edge ideals change under natural graph operations? We study this question through the lens of suspensions. The (full) suspension of a graph is obtained by adjoining a new vertex adjacent to every vertex of the original graph; this construction is well-understood in the literature. Motivated by the fact that regularity is preserved under full suspension while projective dimension becomes maximal, we refine the construction to selective suspensions, where the new vertex is joined only to a prescribed subset of vertices. We focus on two extremal choices: minimal vertex covers and maximal independent sets. For suspensions over minimal vertex covers of an arbitrary graph, regularity is preserved and projective dimension increases by one. Moreover, the independence polynomial changes in a controlled way, allowing us to track $\mathfrak a$-invariants under cover suspension. In contrast, the analogous uniform behavior fails in general for suspensions over maximal independent sets. We therefore analyze paths and cycles and give a complete description: projective dimension always increases by one, and regularity and the $\mathfrak a$-invariant are preserved except for a unique extremal family of paths, where both invariants increase by one.

研究の動機と目的

• グラフサスペンションがエdgeイデアルの階層的不変量（正則性、射影次元、a-不変量）に与える影響を理解する。
• 最小頂点被覆上のサスペンションがグラフ全体で一様な挙動を生み出す条件を特定する。
• 最大独立集合上のサスペンションが正則性とa-不変量に対して剛性または感度をどのように示すかを検討する。
• 最大独立集合サスペンション下でのサイクルとパスの完全な記述を提供する。
• ホッヒシュターの公式や関連技法を通じて不変量を追跡する組合せ論的・ホモロジー的ツールを構築する。

提案手法

• G(C)を、G(V(G))の部分集合Cに隣接する新しい頂点を付け加えて得られるグラフとして定式化する。
• I(G(C))をI(G)と関係づけ、I(G(C)) = I(G) + (zx_i : x_i in C)と表す。
• ホッヒシュターの公式を用いて不変量を独立性複体と結びつけ、マイヤー–ビエトリスと離散モース理論を適用してホモロジーを制御する。
• 短い正確列と全サスペンションとの比較を通じて正則性と射影次元を分析する。
• サスペンション下で独立性多項式の明示的再帰関係と加法的変化を導出し、M(G)を介してa-不変量へ結びつける。
• 特定の族（サイクルとパス）を、詳細な位相的・組合せ論的議論を用いて扱う。

Figure 1. 6 cycle with wide spokes

実験結果

リサーチクエスチョン

• RQ1 選択的サスペンションG(C)は、reg(S/I(G(C)))およびpdim(S/I(G(C)))を、reg(R/I(G))およびpdim(R/I(G))に対してどのように変化させるか？
• RQ2 最小頂点被覆上のサスペンションは正則性を普遍的に保持し、pdimをちょうど1増加させるか？
• RQ3 最大独立集合サスペンションは、特にサイクルとパスに関して正則性とa-不変量の挙動をどのように示すか？
• RQ4 これらのサスペンション下で独立性多項式P_G(x)および根の重複数M(G)にどのような影響があるかを説明できるか？
• RQ5 ホッヒシュターの公式、マイヤー–ビエトリス、離散モースを用いて、サイクルとパスに対して鋭い結論を得るための組合せ-位相学的ツールは何か？

主な発見

• 最小頂点被覆上のサスペンションは正則性を保持し、射影次元を1増加させる。
• I(G(C)) = I(G) + (zx_i: x_i in C) という形は、suspendされたS/I(G(C))のpdimをpdim(R/I(G)) + 1とする。
• 独立性多項式は明示的な加法項で変化し、M(G)を介してa-不変量を追跡可能にする。
• 最大独立集合上のサスペンションは一様な挙動を必ずしも持たず、グラフクラスによって結果が異なる。
• サイクルについては、最大独立集合上のサスペンションは正則性とa-不変量を保ちつつpdimを1増加させる一方、パスには正規に1つの極端な構成があり、両方の正則性とa-不変量が1ずつ増加するケースがあるが、一般にはpdimは1増加する。
• パスとサイクルの解析には、ホッヒシュターの公式、マイヤー–ビエトリス列、離散モース理論を用いて最高次数のホモロジーを制御する。

Figure 2. 9 cycle with wide spokes