[论文解读] $B$-rigidity of the property to be an almost Pogorelov polytope

Николай Юрьевич Ероховец|arXiv (Cornell University)|Apr 10, 2020

Geometric and Algebraic Topology参考文献 11被引用 5

一句话总结

本文建立了几乎波戈列洛夫多面体（almost Pogorelov polytope）的 $B$-刚性——即三维单纯多面体，其具有强循环4边连通性，并对应于双曲3维空间中有限体积的直角多面体。通过研究moment-angle复形 $\mathcal{Z}_P$ 的上同调不变量，作者证明了此类多面体的组合类型完全由整系数上同调环 $H^*(\mathcal{Z}_P, \mathbb{Z})$ 决定，将 $B$-刚性推广至此前未知的更广类，包括三维的单形多面体（associahedron）与排列多面体（permutohedron）。

ABSTRACT

Toric topology assigns to each $n$-dimensional combinatorial simple convex polytope $P$ with $m$ facets an $(m+n)$-dimensional moment-angle manifold $\mathcal{Z}_P$ with an action of a compact torus $T^m$ such that $\mathcal{Z}_P/T^m$ is a convex polytope of combinatorial type $P$. We study the notion of $B$-rigidity. A property of a polytope $P$ is called $B$-rigid, if any isomorphism of graded rings $H^*(\mathcal{Z}_P,\mathbb Z)= H^*(\mathcal{Z}_Q,\mathbb Z)$ for a simple $n$-polytope $Q$ implies that it also has this property. We study families of $3$-dimensional polytopes defined by their cyclic $k$-edge-connectivity. These families include flag polytopes and Pogorelov polytopes, that is polytopes realizable as bounded right-angled polytopes in Lobachevsky space $\mathbb L^3$. Pogorelov polytopes include fullerenes -- simple polytopes with only pentagonal and hexagonal faces. It is known that the properties to be flag and Pogorelov polytope are $B$-rigid. We focus on almost Pogorelov polytopes, which are strongly cyclically $4$-edge-connected polytopes. They correspond to right-angled polytopes of finite volume in $\mathbb L^3$. There is a subfamily of ideal almost Pogorelov polytopes corresponding to ideal right-angled polytopes. We prove that the properties to be an almost Pogorelov polytope and an ideal almost Pogorelov polytope are $B$-rigid. As a corollary we obtain that $3$-dimensional associahedron $As^3$ and permutohedron $Pe^3$ are $B$-rigid. We generalize methods known for Pogorelov polytopes. We obtain results on $B$-rigidity of subsets in $H^*(\mathcal{Z}_P,\mathbb Z)$ and prove an analog of the so-called separable circuit condition (SCC). As an example we consider the ring $H^*(\mathcal{Z}_{As^3},\mathbb Z)$.

研究动机与目标

• 建立几乎波戈列洛夫多面体类的 $B$-刚性，即强循环4边连通的三维多面体，其对应于双曲3维空间中有限体积的直角多面体。
• 将已知的 $B$-刚性结果从旗多面体与波戈列洛夫多面体推广至连通性约束更弱的更广类多面体。
• 将波戈列洛夫多面体理论中的技术，特别是可分电路条件（SCC），推广至几乎波戈列洛夫多面体的设定。
• 通过证明其定义性质在上同调中可检测，证明三维单形多面体 $As^3$ 与排列多面体 $Pe^3$ 是 $B$-刚性的。

提出的方法

• 本文使用拓扑几何中的环丛理论，为每个 $n$-维单纯多面体 $P$ 关联一个 moment-angle 复形 $\mathcal{Z}_P$，其配备一个 $T^m$-作用，使得 $\mathcal{Z}_P / T^m \simeq P$。
• 分析整系数上同调环 $H^*(\mathcal{Z}_P, \mathbb{Z})$ 作为 $B$-刚性不变量，其中环同构意味着多面体的组合等价。
• 证明依赖于利用典范生成元与对偶元素构造 $H^*(\mathcal{Z}_P, \mathbb{Z})$ 中的显式关系，特别关注四边形、五边形及四十五边形面的关系。
• 引入并证明了几乎波戈列洛夫多面体的可分电路条件（SCC）的类比，该条件控制上同调环中零化子的结构。
• 通过计算特定上同调类（如 $\widetilde{\omega}$ 与 $\alpha$）的零化子的余维数，证明其零化条件可检测多面体的组合结构。
• 该方法应用于单形多面体 $As^3$，其中显式分析了上同调环结构，以确认其 $B$-刚性。

实验结果

研究问题

• RQ1 多面体为几乎波戈列洛夫多面体的性质是否可由其 moment-angle 复形的整系数上同调环检测？
• RQ2 可分电路条件（SCC）是否可推广至非旗多面体（如几乎波戈列洛夫多面体）？
• RQ3 三维单形多面体 $As^3$ 与排列多面体 $Pe^3$ 是否为 $B$-刚性，即其组合类型是否由 $H^*(\mathcal{Z}_P, \mathbb{Z})$ 决定？
• RQ4 理想几乎波戈列洛夫多面体子族（对应于 $\mathbb{L}^3$ 中的理想直角多面体）是否满足 $B$-刚性？
• RQ5 在循环 $k$-连通性约束下，$H^*(\mathcal{Z}_P, \mathbb{Z})$ 的上同调结构是否可用于重构三维多面体的面结构？

主要发现

• 几乎波戈列洛夫多面体的性质是 $B$-刚性的：任意环同构 $H^*(\mathcal{Z}_P, \mathbb{Z}) \simeq H^*(\mathcal{Z}_Q, \mathbb{Z})$ 意味着 $P$ 与 $Q$ 组合等价。
• 理想几乎波戈列洛夫多面体的性质（对应于 $\mathbb{L}^3$ 中的理想直角多面体）也是 $B$-刚性的。
• 三维单形多面体 $As^3$ 与排列多面体 $Pe^3$ 是 $B$-刚性的，因为其定义性质在上同调中可检测。
• 本文证明了几乎波戈列洛夫多面体的可分电路条件（SCC）的类比，该条件控制 $H^*(\mathcal{Z}_P, \mathbb{Z})$ 中零化子的结构。
• 对于单形多面体 $As^3$，特定上同调类 $\alpha$ 的零化子余维数为9，与 $\widetilde{\omega}$ 的零化子余维数一致，确认了结构的刚性。
• 上同调环 $H^*(\mathcal{Z}_{As^3}, \mathbb{Z})$ 完全由生成元与对偶元素之间的关系决定，其中零化子计算产生了9个线性无关的条件。