[論文レビュー] Buchstaber Invariant of Simple Polytopes

Н.Ю. Ероховец|arXiv (Cornell University)|Aug 24, 2009

Advanced Combinatorial Mathematics参考文献 9被引用数 5

ひとこと要約

本稿は、モーメント・アングル複体 $ \mathcal{Z}_P $ における自由トーラス作用から導かれる単体的多面体の組合せ的不変量である Buchstaber 不変量 $ s(P) $ を調査する。$ n $ 次元単体的多面体で $ n+3 $ 個の面をもつものについて、$ s(P) $ の完全な特徴付けを確立し、関連する正 $ (2k-1) $-角形が $ k \leq 4 $ を満たすときかつそのときに限り $ s(P) = 3 $ であることを証明するとともに、$ \mathcal{Z}_P $ の双次数付きベッチ数およびコホモロジー環の明示的公式を提供する。主な貢献は、この多面体族における $ s(P) $ の完全な組合せ的記述であり、長年の未解決問題を解決するものである。

ABSTRACT

In this paper we study a new combinatorial invariant of simple polytopes, which comes from toric topology. With each simple n-polytope P with m facets we can associate a moment-angle complex Z_P with a canonical action of the torus T^m. Then s(P) is the maximal dimension of a toric subgroup that acts freely on Z_P. The problem stated by Victor M. Buchstaber is to find a simple combinatorial description of an s-number. We describe the main properties of s(P) and study the properties of simple n-polytopes with n+3 facets. In particular, we find the value of an s-number for such polytopes, a simple formula for their h-polynomials and the bigraded cohomology rings of the corresponding moment-angle complexes

研究の動機と目的

• 単体的 $ n $-多面体に $ n+3 $ 個の面をもつ場合の Buchstaber 不変量 $ s(P) $ の完全な組合せ的記述を提供し、ヴィクトル・M・ブシュターバーが提起した問題を解決すること。
• このような多面体について、モーメント・アングル複体 $ \mathcal{Z}_P $ の双次数付きベッチ数およびコホモロジー環を計算すること。
• $ s(P) $ に関する一般の不等式および構造的性質（彩色数およびフラッグ条件による境界を含む）を確立すること。
• $ s(P) $ が $ f $-ベクトルや彩色数だけでは決定されないが、$ n+3 $-面の場合には双次数付きベッチ数によって完全に特徴づけられることを示すこと。

提案手法

• 本稿は、単体的多面体 $ P $ に関連するモーメント・アングル複体 $ \mathcal{Z}_P $ を用い、標準的な $ T^m $-作用を備える。
• Buchstaber 不変量 $ s(P) $ は、$ \mathcal{Z}_P $ に自由に作用するトーラス部分群の次元の最大値として定義され、双対多面体の境界 $ \partial P^* $ との関係が示される。
• 本稿は、$ \mathcal{Z}_P $ の双次数付きコホモロジー理論を用い、生成子と関係式の明示的計算により $ \operatorname{H}^{*,*}(\mathcal{Z}_P) $ を計算する。
• $ n+3 $-面多面体の場合、 facet 構造は正 $ (2k-1) $-角形でモデル化され、頂点の交差を特徴付けるために「中心を含む三角形」という幾何的条件が用いられる。
• 本稿は、$ s(P) = 3 $ が成り立つのは $ k \leq 4 $ のときに限ることを証明する。ここで $ 2k-1 $ は関連する多角形の頂点数である。
• 本稿は、双次数付きコホモロジー環 $ \operatorname{H}^{*,*}(\mathcal{Z}_P) $ の完全な表示を導出し、特定の双次数と乗法則をもつクラス $ X_i, Y_j, Z $ によって生成されることを示す。

実験結果

リサーチクエスチョン

• RQ1 単体的 $ n $-多面体に $ n+3 $ 個の面をもつ場合、Buchstaber 不変量 $ s(P) $ の値は何か？
• RQ2 双次数付きベッチ数 $ \mathcal{Z}_P $ は、特に $ n+3 $-面の場合に多面体 $ P $ の組合せ的構造とどのように関係するか？
• RQ3 Buchstaber 不変量は、$ \mathcal{Z}_P $ の双次数付きコホモロジー環によって完全に決定可能か？ もしそうなら、どのような条件下で可能か？
• RQ4 $ f $-ベクトルや彩色数を超える組合せ的不変量は、$ s(P) $ を完全に決定可能か？
• RQ5 $ s(P) $ と多面体 $ P $ のフラッグ性または $ k $-フラッグ性との関係は何か？ また、これらは $ s(P) $ の下界にどのように影響するか？

主な発見

• 任意の単体的 $ n $-多面体について、$ n+3 $ 個の面をもつ場合、関連する正 $ (2k-1) $-角形の $ k \leq 4 $ であるときかつそのときに限り $ s(P) = 3 $ が成り立つ。ここで $ 2k-1 $ は多角形の頂点数である。
• 双次数付きベッチ数について、$ \sum_j \beta^{-1,2j}(\mathcal{Z}_P) = \sum_j \beta^{-2,2j}(\mathcal{Z}_P) = 2k-1 $ であり、$ 2k-1 = \sum_j \beta^{-1,2j}(\mathcal{Z}_P) $ であるため、$ k $ はコホモロジーによって決定される。
• 双次数付きコホモロジー環 $ \operatorname{H}^{*,*}(\mathcal{Z}_P) $ は、$ \mathbb{Z} \oplus \mathbb{Z}^{2k-1} \oplus \mathbb{Z}^{2k-1} \oplus \mathbb{Z} $ に同型であり、双次数 $ (-1, 2(a_i + \cdots + a_{i+k-2})) $、$ (-2, 2(a_j + \cdots + a_{j+k-1})) $、および $ (-3, 2(n+3)) $ をもつ生成子 $ X_i, Y_j, Z $ によって生成される。
• $ k \geq 3 $ の場合、乗法は $ X_i X_j = 0 $、$ X_i Y_j = \delta_{i+k-1,j} Z $、および $ Y_i Y_j = 0 $ で与えられる。$ k=2 $ の場合、$ X_i^2 = 0 $、$ X_i X_{i+1} = -X_{i+1} X_i = Y_i $、および $ X_1 X_2 X_3 = Z $ が成り立つ。
• 同じ $ f $-ベクトルと彩色数をもつ二つの多面体 $ P $ と $ Q $ であっても、$ s $-数が異なる場合があるが、双次数付きコホモロジー環が同型であるのは、双次数付きベッチ数が等しい場合に限る。
• 不変量 $ s(P) $ は $ k $ 重の複製構成 $ P_{k_1,\dots,k_m} $ に対して保存されるため、$ s(P_{k_1,\dots,k_m}) = s(P) $ が成り立つ。