[論文レビュー] $B$-rigidity of ideal almost Pogorelov polytopes

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

Commutative Algebra and Its Applications参考文献 25被引用数 4

ひとこと要約

この論文は、双曲的3次元空間 $\mathbb{L}^3$ 内の直角的理想多面体のすべての理想頂点を切り詰めて得られる理想 almost Pogorelov 多面体が $B$-剛性であることを証明している。すなわち、そのモーメント・ゼロ・コンプレックスのコホモロジー環が、その組合せ型を一意に特定することを意味する。この結果により、三つの多様体族—モーメント・ゼロ・コンプレックス、標準的クォザトリック多様体、および小被覆—のコホモロジー的剛性が確立される。これらはすべて線形モデルからの引き戻しとして構成されている。

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$. A simple $n$-polytope 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 $P$ and $Q$ are combinatorially equivalent. An ideal almost Pogorelov polytope is a combinatorial $3$-polytope obtained by cutting off all the ideal vertices of an ideal right-angled polytope in the Lobachevsky (hyperbolic) space $\mathbb L^3$. These polytopes are exactly the polytopes obtained from any, not necessarily simple, convex $3$-polytopes by cutting off all the vertices followed by cutting off all the "old" edges. The boundary of the dual polytope is the barycentric subdivision of the boundary of the old polytope (and also of its dual polytope). We prove that any ideal almost Pogorelov polytope is $B$-rigid. This produces three cohomologically rigid families of manifolds over ideal almost Pogorelov manifolds: moment-angle manifolds, canonical $6$-dimensional quasitoric manifolds and canonical $3$-dimensional small covers, which are "pullbacks from the linear model".

研究の動機と目的

• 双曲的3次元空間 $\mathbb{L}^3$ 内の理想直角多面体から生じる、3次元の単純多面体の新しいクラスの $B$-剛性を確立すること。
• モーメント・ゼロ・コンプレックス $Χ_P$ の整数コホモロジー環が多面体 $P$ の組合せ型を決定するかどうかを調査すること。
• 理想 almost Pogorelov 多面体が $B$-剛性であることを証明することで、既知の $B$-剛性多面体の族を拡張すること。
• 標準的クォザトリック多様体および小被覆が、その下位多面体からのコホモロジー的剛性をどのように継承するかを示すこと。

提案手法

• 理想 almost Pogorelov 多面体を、双曲的3次元空間 $\mathbb{L}^3$ 内の理想直角多面体のすべての理想頂点と辺を切り詰めて得られる、特定の面構造を持つ組合せ的3次元多面体として定義する。
• 元の多面体の境界の重心分割を用いて、理想 almost Pogorelov 多面体の双対を特徴付ける。
• 多面体 $P$ 上の $T^m$-多様体としてモーメント・ゼロ・コンプレックス $\mathcal{Z}_P$ を構成し、$\mathcal{Z}_P / T^m \cong P$ を満たし、その整数コホモロジー環を分析する。
• 多面体 $P$ の面に3色彩色を施して、2重被覆 $\boldsymbol{R}(P)$ 上に $\mathbb{Z}_2^3$-作用を定義し、これが有限体積の2つの双曲的多様体に分解されることを示す。
• 彩色によって誘導される準同型 $\varphi: G(Q) \to \mathbb{Z}_2^2$ の核の作用を用いて、双曲的多様体 $\widehat{\boldsymbol{R}_i}$ を商 $\mathbb{L}^3 / \mathrm{Ker}\,\varphi$ として構成し、これは $\boldsymbol{R}(P)$ の一部とホメオモーティックである。
• コホモロジー環の同型 $H^*(\mathcal{Z}_P, \mathbb{Z}) \cong H^*(\mathcal{Z}_Q, \mathbb{Z})$ が、$P$ と $Q$ の組合せ同型を意味することを証明することで、$B$-剛性を確立する。

実験結果

リサーチクエスチョン

• RQ1 理想 almost Pogorelov 多面体は $B$-剛性を有するか、すなわちそのモーメント・ゼロ・コンプレックスのコホモロジー環がその組合せ型を一意に決定するか？
• RQ2 双曲的3次元空間内の理想直角多面体から導かれる多面体に対して、モーメント・ゼロ・コンプレックスのコホモロジー的剛性を拡張できるか？
• RQ3 理想 almost Pogorelov 多面体上の標準的クォザトリック多様体および小被覆は、その基盤多面体からのコホモロジー的剛性を継承するか？
• RQ4 商多様体 $\mathbb{L}^3 / \mathrm{Ker}\,\varphi$ の双曲的構造は、モーメント・ゼロ・コンプレックスの位相的構造と整合性を持つか？
• RQ5 元の多面体の境界の重心分割は、理想 almost Pogorelov 多面体の構造とどのように関係するか？

主な発見

• 任意の理想 almost Pogorelov 多面体は $B$-剛性を有する。すなわち、$H^*(\mathcal{Z}_P, \mathbb{Z}) \cong H^*(\mathcal{Z}_Q, \mathbb{Z})$ が次数付き環として同型であるならば、$P$ と $Q$ は組合せ的に同型である。
• 理想 almost Pogorelov 多面体上のモーメント・ゼロ・コンプレックス $\mathcal{Z}_P$ のコホモロジー環は、多面体の組合せ型を一意に特定する。
• 理想 almost Pogorelov 多面体上の標準的6次元クォザトリック多様体は、コホモロジー的に剛性を有し、その基盤多面体からの $B$-剛性を継承する。
• これらの多面体上の3次元の小被覆も、コホモロジー的に剛性を有する。これは、線形モデルからの引き戻しとして構成されるためである。
• $\boldsymbol{R}(P)$ を、有限体積の2つの双曲的多様体の2重として構成し、それぞれが $\mathbb{L}^3 / \mathrm{Ker}\,\varphi$ とホメオモーティックであることを示すことで、システムの位相的剛性が裏付けられる。
• $P$ の面に施された3色彩色によって誘導される $\mathbb{Z}_2^3$-作用は、各四角形面を平坦な2次元トーラスとして実現し、全体の構造はコホモロジー同型性のもとで保存される。