[论文解读] 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 $ 相关的光滑流形 $\mathcal{Z}_P$，该流形通过 $ \mathbb{C}^m $ 中一个平面排列的补集上 $ \mathbb{R}^{m-n} $ 的自由作用构造而成，从而获得 $ T^m $-等变结构。主要贡献在于完全计算了 $ \mathcal{Z}_P $ 的上同调环，证明其同构于 $ P^n $ 的面环，并具有编码多面体组合不变量的双分次结构。

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.

研究动机与目标

• 建立一个基于具有 $ m $ 个面的简单多面体 $ P^n $ 的组合数据的光滑流形 $\mathcal{Z}_P$ 的拓扑构造。
• 在 $ \mathcal{Z}_P $ 上定义紧致环群 $ T^m $ 的典范作用，其轨道空间为 $ P^n $。
• 计算 $ \mathcal{Z}_P $ 的上同调环，并证明其作为双分次代数同构于 $ P^n $ 的面环。
• 证明 $ \mathcal{Z}_P $ 的双分次贝蒂数编码了 $ P^n $ 的组合不变量，如 $ h $-向量和面数。
• 为简单多面体的经典组合不等式（包括 Dehn–Sommerville 方程和 MacMullen 不等式）提供拓扑解释。

提出的方法

• 将 $ \mathcal{Z}_P $ 构造为 $ \mathbb{C}^m $ 中平面排列的补集关于 $ \mathbb{R}^{m-n} $ 自由作用的商空间。
• 使用多面体 $ P^n $ 的面环 $ k(P) $，并通过计算其 $ \mathop{\rm Tor} $-模来确定 $ \mathcal{Z}_P $ 的上同调。
• 应用 Hochster 定理，通过 $ P^n $ 的对偶单纯复形 $ K^{n-1} $ 的子复形表达双分次上同调的 Poincaré 系数。
• 建立商构造 $ \mathcal{Z}_P = T^m \times P^n / \sim $ 与通过嵌入到 $ U(P^n) \subset \mathbb{C}^m $ 的代数构造之间的同胚。
• 从 $ \mathop{\rm Tor} $-模 $ \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 $ 的面环，其双分次结构捕捉了组合数据。
• 第三贝蒂数 $ 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} $，这反映了 MacMullen 不等式 $ h_1 \leq h_2 $。
• 面数的上界猜想等价于不等式 $ \chi(t) \leq 1 $ 对于 $ 0 \leq t < 1 $ 成立，其中 $ \chi(t) $ 是 $ h $-向量的生成函数。
• 双分次上同调的 Poincaré 系数由公式 $ 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} $ 自由作用，当且仅当对应的 toric 簇是光滑且射影的，此类商流形被称为拟环丛流形。