[論文レビュー] Projectivities in Simplicial Complexes and Colorings of Simple Polytopes

Michael Joswig|ArXiv.org|Feb 23, 2001

Advanced Combinatorial Mathematics参考文献 10被引用数 4

ひとこと要約

本稿では、強連結な単体的複体に対して、位相に依存しない構造的対称性を捉える組み合わせ的不変量として、射影変換群 Π(Δ) を導入する。この枠組みを用いて、彩色数 γ(P) = d を満たす単純多面体 P を特徴づけ、特にすべての2次元面が偶数個の頂点を持つ場合に、s(P) = n − d が成り立つことを証明する。これはトーリック多様体理論における重要なケースを解決し、d-正則二部グラフにおける辺彩色双対性と関連付ける。

ABSTRACT

For each strongly connected finite-dimensional (pure) simplicial complex we construct a finite group, the group of projectivities of the complex, which is a combinatorial but not a topological invariant. This group is studied for combinatorial manifolds and, in particular, for polytopal simplicial spheres. The results are applied to a coloring problem for simplicial (or, dually, simple) polytopes which arises in the area of toric algebraic varieties.

研究の動機と目的

• 有限次元かつ強連結な単体的複体の組み合わせ的不変量として、射影変換群 Π(Δ) を定義し、その性質を調べること。
• 単純d次元多面体 P の彩色数 γ(P) を、その2次元面に関する組み合わせ的条件によって特徴づけること。
• BuchstaberとPanovの問題4.4.1の1つのケースを解決し、γ(P) = d のとき s(P) = n − d が成り立つことを示すこと。
• 単純多面体の適切な facet 彩色と、その1次元骨格（1-skeleton）における適切な辺彩色との間の関係を確立すること。

提案手法

• 局所的な組み合わせ的データと複体の基本群から、射影変換群 Π(Δ) を構成する。
• 射影変換群を、組み合わせ的多様体および多面体的球面（特に凸多面体の境界）に適用する。
• 単純多面体と単体的球面の双対性を用いて、facet 彩色に関する結果を多面体的構造に翻訳する。
• 単純多面体における偶数個の頂点を持つ2次元面と、二部グラフとしての頂点-辺グラフの同値性に依存する。
• d-正則二部グラフにおける辺彩色に関するVizingおよびKönigの定理を応用する。
• 多面体的複体の構成可能性とシェーリング可能性を用いて、サイクル空間と2次元面との関係を確立し、彩色に関する特徴づけを支援する。

実験結果

リサーチクエスチョン

• RQ1 単純d次元多面体 P が γ(P) = d を満たすのはいつか？ そのような多面体を特徴づける組み合わせ的条件は何か？
• RQ2 Davis-Januszkiewicz多様体 Z_P におけるトーラス作用の最大自由ランク s(P) と彩色数 γ(P) の関係は何か？
• RQ3 単体的複体の局所的な組み合わせ的データと基本群から、射影変換群 Π(Δ) を計算できるか？
• RQ4 単純多面体の適切な facet 彩色と、その1次元骨格における適切な辺彩色との関係は何か？

主な発見

• 単純d次元多面体 P が γ(P) = d を満たすための必要十分条件は、すべての2次元面が偶数個の頂点を持つことである。
• このような多面体に対しては、s(P) = n − d が成り立ち、ここで n は facet の数を表す。
• 射影変換群 Π(Δ) は、強連結な単体的複体の有限な組み合わせ的不変量であり、位相的構造とは独立している。
• 単純d次元多面体の facet に対する適切なd色彩色は、その1次元骨格における適切なd辺彩色を誘導する。これは、Königの定理（二部d-正則グラフにおける辺彩色）と整合的である。
• 構成可能な多面体的複体の頂点-辺グラフのサイクル空間は、2次元面によって生成される。これは、彩色およびサイクルに基づく特徴づけを支援する。
• この結果により、s(P) = n − d が最大値であることが確認され、このケースは偶数個の頂点を持つ2次元面によって、組み合わせ的に特徴づけられる。