[論文レビュー] $B$-rigidity of the property to be an almost Pogorelov polytope

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

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

ひとこと要約

本稿は、双曲的3次元空間における有限体積の右角度多面体に対応する、強く循環的4辺連結で、かつ3次元の単純多面体であるほぼポゴレロフ多面体であるという性質の$B$-剛性を確立する。モーメント・アングル複体$\mathcal{Z}_P$のコホモロジー不変量を用いて、このような多面体の組合せ型が、整数係数コホモロジー環$H^*(\mathcal{Z}_P, \mathbb{Z})$によって完全に決定されることを証明し、$B$-剛性をこれまでに知られていた範囲よりも広いクラスに拡張する。これには3次元のアソシアヘドロン$As^3$とパーソミュートヘドロン$Pe^3$が含まれる。

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)$.

研究の動機と目的

• 双曲的3次元空間における有限体積の右角度多面体に対応する、強く循環的4辺連結な3次元多面体であるほぼポゴレロフ多面体のクラスに対する$B$-剛性を確立すること。
• フラッグ多面体およびポゴレロフ多面体に既知の$B$-剛性結果を、より弱い連結性制約を持つ多面体クラスに拡張すること。
• 特に分離回路条件（SCC）を含む、ポゴレロフ多面体理論の技法を、ほぼポゴレロフ多面体の設定に一般化すること。
• 3次元アソシアヘドロン$As^3$とパーソミュートヘドロン$Pe^3$が、その定義的性質がコホモロジー的に検出可能であることを示すことにより、$B$-剛性を証明すること。

提案手法

• 本稿は、各単純$n$次元多面体$P$に対して、$T^m$作用を備えたモーメント・アングル複体$\mathcal{Z}_P$をトーリックトポロジーの手法で関連付ける。ここで$\mathcal{Z}_P / T^m \simeq P$が成り立つ。
• 整数係数コホモロジー環$H^*(\mathcal{Z}_P, \mathbb{Z})$を、$B$-剛性不変量として分析する。ここで、環の同型が多面体の組合せ同型を意味する。
• 証明は、特に4角形、5角形、および45角形の面を含む関係を、標準的生成子と双対要素を用いて明示的に構成することに依拠する。
• ほぼポゴレロフ多面体に対して、分離回路条件（SCC）の類似物を導入し、コホモロジー環におけるアニュレーター構造を制御することを証明する。
• 特定のコホモロジー類、たとえば$\widetilde{\omega}$や$\alpha$のアニュレーターの余次元を計算することで、その消滅条件が多面体の組合せ構造を検出できることを示す。
• この手法をアソシアヘドロン$As^3$に適用し、コホモロジー環の構造を明示的に分析することで、$B$-剛性を確認する。

実験結果

リサーチクエスチョン

• RQ1 モーメント・アングル複体の整数係数コホモロジー環から、ほぼポゴレロフ多面体であるという性質が検出可能か？
• RQ2 分離回路条件（SCC）は、フラッグ多面体でない多面体、たとえばほぼポゴレロフ多面体に対しても一般化可能か？
• RQ3 3次元アソシアヘドロン$As^3$とパーソミュートヘドロン$Pe^3$は$B$-剛性を満たすか、すなわちその組合せ型が$H^*(\mathcal{Z}_P, \mathbb{Z})$によって決定可能か？
• RQ4 $\mathbb{L}^3$における理想右角度多面体に対応する理想ほぼポゴレロフ多面体の部分族に対しても$B$-剛性は成立するか？
• RQ5 循環的$k$-連結性の制約下で、$H^*(\mathcal{Z}_P, \mathbb{Z})$のコホモロジー構造を用いて、3次元多面体の面構造を再構成可能か？

主な発見

• ほぼポゴレロフ多面体であるという性質は$B$-剛性を満たす：$H^*(\mathcal{Z}_P, \mathbb{Z}) \simeq H^*(\mathcal{Z}_Q, \mathbb{Z})$の同型が成立するならば、$P$と$Q$は組合せ的に同型である。
• 理想ほぼポゴレロフ多面体であるという性質—$\mathbb{L}^3$における理想右角度多面体に対応する—に対しても$B$-剛性が成立する。
• 3次元アソシアヘドロン$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個の一次独立な条件が得られる。