[论文解读] $B$-rigidity of ideal almost Pogorelov polytopes

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

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

一句话总结

本文证明了理想几乎波戈列洛夫多面体——通过截去双曲3空间 $\mathbb{L}^3$ 中一个直角理想多面体的所有理想顶点而得到——具有 $B$-刚性，即其moment-angle复叠上同调环唯一确定其组合类型。该结果建立了三类流形的上同调刚性：moment-angle复叠、关于这些多面体的典型拟环丛流形以及小覆盖，它们均作为线性模型的拉回构造而成。

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空间中理想直角多面体导出的新一类三维简单多面体的 $B$-刚性。
• 研究moment-angle复叠 $Χ_P$ 的整上同调环是否能确定多面体 $P$ 的组合类型。
• 通过证明理想几乎波戈列洛夫多面体具有 $B$-刚性，扩展已知的 $B$-刚性多面体家族。
• 证明关于这些多面体的典型拟环丛流形和小覆盖继承自基底多面体的上同调刚性。

提出的方法

• 将理想几乎波戈列洛夫多面体定义为通过截去双曲3空间 $\mathbb{L}^3$ 中理想直角多面体的所有理想顶点和边而得到的组合3-多面体，其具有特定的面结构。
• 利用原多面体边界之重心剖分来刻画理想几乎波戈列洛夫多面体的对偶。
• 将moment-angle复叠 $\mathcal{Z}_P$ 构造为关于 $P$ 的 $T^m$-流形，满足 $\mathcal{Z}_P / T^m \cong P$，并分析其整上同调环。
• 通过给多面体 $P$ 的面进行3-着色，定义在双重覆盖 $\boldsymbol{R}(P)$ 上的 $\mathbb{Z}_2^3$-作用，该覆盖分解为两个有限体积的双曲流形。
• 利用由着色诱导的同态 $\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 理想几乎波戈列洛夫多面体是否具有 $B$-刚性，即其moment-angle复叠上同调环是否唯一确定其组合类型？
• RQ2 能否将moment-angle复叠的上同调刚性推广至由双曲3空间中理想直角多面体导出的多面体？
• RQ3 关于理想几乎波戈列洛夫多面体的典型拟环丛流形和小覆盖是否继承自基底多面体的上同调刚性？
• RQ4 商流形 $\mathbb{L}^3 / \mathrm{Ker}\,\varphi$ 的双曲结构是否与moment-angle复叠的拓扑结构相容？
• RQ5 原多面体边界之重心剖分与理想几乎波戈列洛夫多面体的结构有何关系？

主要发现

• 任意理想几乎波戈列洛夫多面体均具有 $B$-刚性，即若作为分次环有 $H^*(\mathcal{Z}_P, \mathbb{Z}) \cong H^*(\mathcal{Z}_Q, \mathbb{Z})$，则 $P$ 与 $Q$ 组合等价。
• 关于理想几乎波戈列洛夫多面体的moment-angle复叠 $\mathcal{Z}_P$ 具有唯一确定多面体组合类型的上同调环。
• 关于理想几乎波戈列洛夫多面体的典型6维拟环丛流形具有上同调刚性，其继承自基底多面体的 $B$-刚性。
• 关于这些多面体的典型3维小覆盖也具有上同调刚性，因其作为线性模型的拉回而构造。
• 将 $\boldsymbol{R}(P)$ 构造为两个有限体积双曲流形的双重覆盖，每个均同胚于 $\mathbb{L}^3 / \mathrm{Ker}\,\varphi$，支持该系统的拓扑刚性。
• $\boldsymbol{R}(P)$ 上由面的3-着色诱导的 $\mathbb{Z}_2^3$-作用将每个四边形面实现为平坦的2-环面，且整个结构在上同调等价下保持不变。