[論文レビュー] Colorings of simplicial complexes and vertex decomposability

Jennifer Biermann, Christopher A. Francisco+2 more|arXiv (Cornell University)|Sep 13, 2012

Commutative Algebra and Its Applications参考文献 11被引用数 9

ひとこと要約

本稿では、単体的複体 Δ を頂点彩色を用いて頂点分解可能複体 Δ_χ に変換する構成を導入し、頂点分解可能性の必要十分条件を提供する。この構成により、代数的トポロジー的手法を用いて、従来の逐次 Cohen-Macaulay エッジイデアルに関する結果を強化し、代数的に導かれた性質に対して新たなトポロジカルな証明を与える。

ABSTRACT

In attempting to understand how combinatorial modifications alter algebraic properties of monomial ideals, several authors have investigated the process of adding whiskers to graphs. The first and the fourth authors developed a similar construction to build a vertex decomposable simplicial complex $\Delta_\chi$ from a coloring $\chi$ of the vertices of a simplicial complex $\Delta$. In this paper, we study this construction for colorings of subsets of the vertices, and give necessary and sufficient conditions for this construction to produce vertex decomposable simplicial complexes. Using combinatorial topology, we strengthen and give new proofs for results of the second and third authors about sequentially Cohen-Macaulay edge ideals that were originally proved using algebraic techniques.

研究の動機と目的

• 完全な頂点彩色にとどまらない、部分的頂点彩色に基づく頂点分解可能複体の構成を一般化すること。
• 彩色に基づく構成が頂点分解可能単体的複体を生成するための必要十分条件を同定すること。
• 元々代数的手法によって確立された、逐次 Cohen-Macaulay エッジイデアルに関する結果に対して、組合せ的トポロジー的手法による証明を提供すること。
• 単項式イデアルの研究およびその組合せ的変種において、代数的およびトポロジカル的視点を統合すること。

提案手法

• 本稿は、部分的頂点彩色へのホイスカーチェーンの構成を拡張し、Δ とその一部の頂点に定義された彩色 χ から構成される単体的複体 Δ_χ を定義する。
• 組合せ的トポロジーの道具、特にシェーリング可能性および頂点分解可能性の基準を用いて、Δ_χ の構造を分析する。
• 頂点分解可能性と逐次 Cohen-Macaulay 性の間のアレクサンダー双対性対応を用いて、トポロジカルな不変量と代数的不変量を関連付ける。
• Δ_χ の頂点分解可能性の特徴づけを、彩色構造と元の複体 Δ に依存する形で確立する。
• 頂点のリンクと削除の構造を再帰的に分析することで、頂点分解可能性の条件を検証する。
• 代数的技法に代えて組合せ的トポロジーを用いて、既知のエッジイデアルに関する結果を再証明する。

実験結果

リサーチクエスチョン

• RQ1 単体的複体 Δ の一部の頂点に対する頂点彩色 χ が、関連する単体的複体 Δ_χ を頂点分解可能にするための条件は何か？
• RQ2 彩色に基づく構成は、グラフへのホイスカーの追加といった従来の構成をどのように一般化するか？
• RQ3 トポロジカル手法は、エッジイデアルにおける逐次 Cohen-Macaulay 性といった代数的性質に対して、新たなまたは簡略化された証明を提供できるか？
• RQ4 彩色構造と Δ_χ のシェーリング可能性または頂点分解可能性の関係は何か？
• RQ5 Δ_χ のトポロジカルな性質は、関連する単項式イデアルの代数的性質をどの程度反映しているか？

主な発見

• 構成 Δ_χ が頂点分解可能であるための必要十分条件は、複体内における彩色された頂点集合の独立性に関連する特定の条件を満たすことである。
• 本稿は、ホイスカー追加に関する先行結果を一般化する形で、彩色に基づく構成が頂点分解可能複体を生成する条件を完全に特徴づけている。
• 逐次 Cohen-Macaulay エッジイデアルに関する既知の結果に対して、新たなトポロジカル証明が与えられ、代数的議論に代わって組合せ的トポロジーが用いられている。
• 構成は、複体の構造をトポロジカルに制御することにより、Cohen-Macaulay 性などの望ましい代数的性質を保存または強化する。
• 結果は、頂点彩色、単体的複体の構造、およびベッチ数や射影次元といった代数的不変量との間の強い関係を示している。