[論文レビュー] Torus actions and combinatorics of polytopes

Victor Matveevich Buchstaber, Taras Panov|ArXiv.org|Sep 28, 1999

Advanced Combinatorial Mathematics参考文献 13被引用数 22

ひとこと要約

本稿は、$m$ 個の面をもつ単純な $n$ 次元多面体 $P^n$ に関連して、$mathbb{C}^m$ 内の平面の配置の補集合への $mathbb{R}^{m-n}$ の自由作用を用いて構成される滑らかな多様体 $mathcal{Z}_P$ を導入し、$T^m$-等変構造を与える。主な貢献は、$mathcal{Z}_P$ のコホモロジー環の完全な計算であり、それが多面体の組合せ的不変量を符号化する双次数付き構造を持つ面環と同型であることが示されている。

ABSTRACT

An n-dimensional polytope P^n is called simple if exactly n codimension-one faces meet at each vertex. The lattice of faces of a simple polytope P^n with m codimension-one faces defines an arrangement of even-dimensional planes in R^{2m}. We construct a free action of the group R^{m-n} on the complement of this arrangement. The corresponding quotient is a smooth manifold Z_P invested with a canonical action of the compact torus T^m with the orbit space P^n. For each smooth projective toric variety M^{2n} defined by a simple polytope P^n with the given lattice of faces there exists a subgroup T^{m-n}\subset T^m acting freely on Z_P such that Z_P/T^{m-n}=M^{2n}. We calculate the cohomology ring of Z_P and show that it is isomorphic to the cohomology ring of the face ring of P^n regarded as a module over the polynomial ring. In this way the cohomology of Z_P acquires a bigraded algebra structure, and the additional grading allows to catch the combinatorial invariants of the polytope. At the same time this gives an example of explicit calculation of the cohomology of the complement of an arrangement of planes, which is of independent interest.

研究の動機と目的

• 単純多面体 $P^n$（$m$ 個の面をもつ）の組合せ的データから滑らかな多様体 $\mathcal{Z}_P$ の位相的構成を確立すること。
• コンパクトトーラス $T^m$ の標準的作用を $\mathcal{Z}_P$ に定義し、その軌道空間を $P^n$ にすること。
• $\mathcal{Z}_P$ のコホモロジー環を計算し、それが双次数代数として $P^n$ の面環と同型であることを示すこと。
• $\mathcal{Z}_P$ の双次数ベッチ数が、$h$-ベクトルや面数を含む $P^n$ の組合せ的不変量を符号化することを示すこと。
• 単純多面体の古典的組合せ的不等式（デーン＝ゾンメルビル方程式やマクマレンの不等式を含む）の位相的解釈を提供すること。

提案手法

• $\mathbb{C}^m$ 内の平面の配置の補集合を $mathbb{R}^{m-n}$ の自由作用で割った商として $\mathcal{Z}_P$ を構成すること。
• 多面体 $P^n$ の面環 $k(P)$ を用い、その $\mathop{\rm Tor}$-加群を計算することで $\mathcal{Z}_P$ のコホモロジーを特定すること。
• ホックラーの定理を適用し、双次数付きコホモロジーのペインカーレ系列を、双対単体複体 $K^{n-1}$ の部分複体を通じて表現すること。
• $\mathcal{Z}_P = T^m \times P^n / \sim$ の商構成と、$U(P^n) \subset \mathbb{C}^m$ への埋め込みによる代数的構成との間のホメオモーフィズムを確立すること。
• $\mathop{\rm Tor}^{-q,2r}_{k[v_1,\dots,v_m]}(k(P),k)$ から双次数ベッチ数 $b^{-q,2r}(\mathcal{Z}_P)$ を導出すること。
• $F(\mathcal{A}^{*,*}, \tau,t) = \sum_j f_{j-1} \left(1 + \frac{t^2}{\tau}\right)^{m-j} t^{2j}$ の公式を用い、$P^n$ の $f$-ベクトルと $\mathcal{Z}_P$ のコホモロジーとの関係を特定すること。

実験結果

リサーチクエスチョン

• RQ1 単純多面体に関連する多様体のコホモロジー環は、その組合せ的構造を用いてどのように計算できるか？
• RQ2 $\mathcal{Z}_P$ の双次数ベッチ数と多面体 $P^n$ の組合せ的不変量との関係は何か？
• RQ3 $\mathcal{Z}_P$ の位相的不変量を用いて、単純多面体の古典的組合せ的不等式を導出または解釈できるか？
• RQ4 トーラス部分群がランク $m-n$ で $\mathcal{Z}_P$ に自由に作用する条件は何か？ その結果得られる商多様体は何か？
• RQ5 $\mathcal{Z}_P$ のコホモロジーは、$P^n$ の面数や $h$-ベクトルをどのように反映しているか？

主な発見

• $\mathcal{Z}_P$ のコホモロジー環は、多項式環上の双次数代数として $P^n$ の面環と同型であり、双次数が組合せ的データを符号化している。
• 3番目のベッチ数 $b^3(\mathcal{Z}_P)$ は $\binom{m}{2} - f_1$ に等しく、ここで $f_1$ は双対単体複体 $K^{n-1}$ の辺の数である。
• $n \geq 3$ のとき、上界 $b^3(\mathcal{Z}_P) \leq \binom{m-n}{2}$ が成り立ち、これはマクマレン不等式 $h_1 \leq h_2$ を反映している。
• 面数の上界予想は、$0 \leq t < 1$ に対して $\chi(t) \leq 1$ が成り立つことと同値であり、ここで $\chi(t)$ は $h$-ベクトルの母関数である。
• 双次数付きコホモロジーのペインカーレ系列は $F(\mathcal{A}^{*,*}, \tau,t) = \sum_j f_{j-1} \left(1 + \frac{t^2}{\tau}\right)^{m-j} t^{2j}$ で与えられ、$P^n$ の $f$-ベクトルと $\mathcal{Z}_P$ の位相的性質を結びつける。
• $\mathcal{Z}_P$ は、対応するトーリック多様体が滑らかで射影的である場合に限り、$T^{m-n}$ の自由作用をもつ。このような商多様体は、クォージトーリック多様体と呼ばれる。