[论文解读] Bier spheres of extremal volume and generalized permutohedra

Filip D. Jevtić, Rade T. Živaljević|arXiv (Cornell University)|Aug 2, 2021

Advanced Combinatorial Mathematics被引用 2

一句话总结

本文通过引入与单纯复形 K 相关联的典范 Bier 风扇 Fan(K)，建立了 Bier 球面的几何与组合框架。Fan(K) 是与 K 关联的辫子风扇的加细。本文证明，最大体积的 Bier 球面可实现为一个通用凸多面体——Van Kampen-Flores 多面体 Ωₙ 的边界，其极对偶在仿射同构下与一个中位超单形同构。关键贡献在于提出了一种类 K-次模性准则，该准则刻画了 Bier 球面何时为多面体，并通过扇面理论与组合方法将其与广义排列多面体联系起来。

ABSTRACT

A Bier sphere $Bier(K) = K\ast_\Delta K^\circ$, defined as the deleted join of a simplicial complex and its Alexander dual $K^\circ$, is a purely combinatorial object (abstract simplicial complex). Here we study a hidden geometry of Bier spheres by describing their natural geometric realizations, compute their volume, describe an effective criterion for their polytopality, and associate to $K$ a natural fan $Fan(K)$, related to the Braid fan. Along the way we establish a connection of Bier spheres of maximal volume with recent generalizations of the classical Van Kampen-Flores theorem and clarify the role of Bier spheres in the theory of generalized permutohedra.

研究动机与目标

• 通过引入并分析典范 Bier 风扇 Fan(K)，阐明 Bier 球面的几何与组合结构。
• 刻画极值体积的 Bier 球面，并将其通用凸实现识别为 Van Kampen-Flores 多面体 Ωₙ。
• 通过一种新颖的类 K-次模性条件，建立 Bier 球面多面性的判别准则，该准则类比于广义排列多面体理论中的次模函数。
• 通过证明 Fan(K) 是辫子风扇的加细，并且最大体积的 Bier 球面对应于排列多面体的特定形变，将 Bier 球面与广义排列多面体理论联系起来。

提出的方法

• 将典范 Bier 风扇 Fan(K) 构造为 Bier 球面 Bier(K) = K ∗∆K◦ 中单体所关联的辫子锥的集合，利用预序结构描述锥的不等式。
• 利用预序-辫子锥字典，证明 Fan(K) 是一个完备的、单体的扇面，是辫子风扇的加细，其最大锥对应于恰好有一个非叶节点的树偏序集。
• 将星形实现 Star(K) 定义为 Bier(K) 的径向像，并证明最大体积的 Star(K) 与凸多面体 Ωₙ（即 Van Kampen-Flores 多面体）重合。
• 通过将超立方体 [−1,1]ⁿ 映射到超单形 ∆ₙ,k 的仿射变换，证明 Ωₙ 的极对偶在仿射同构下与一个中位超单形同构。
• 在 Bier(K) 的顶点集上引入 K-次模函数，其定义基于相邻单体在 Λ、V 和 X 构型上的穿墙不等式。
• 应用扇面正规性准则（命题 14），证明 Fan(K) 是某凸多面体的法扇面，当且仅当在 Bier(K) 的顶点上存在一个 K-次模函数，从而为 Bier 球面的多面性提供完整判别准则。

实验结果

研究问题

• RQ1 Bier 球面的几何实现是什么？其体积如何随单纯复形 K 变化？
• RQ2 Bier 风扇 Fan(K) 与辫子风扇及广义排列多面体有何关系？
• RQ3 最大体积的 Bier 球面具有何种结构？在所有 K 中是否唯一？
• RQ4 何种条件可确保 Bier 球面为多面体？其组合特征如何刻画？
• RQ5 K-次模函数如何与 Bier 球面多面体的法扇面相关联？其在推广多秩理论中的作用是什么？

主要发现

• 所有最大体积的 Bier 球面均可实现为单个通用凸多面体 Ωₙ 的边界，该多面体被称为 Van Kampen-Flores 多面体。
• Ωₙ 的极对偶在仿射同构下与一个中位超单形同构，具体为 Ωₙ◦ ≅ Conv{λ ∈ [0,1]ⁿ | λᵢ ∈ {0,1/2,1}, |{j:λⱼ=0}| = |{j:λⱼ=1}| = k}，当 n=2k+1 时成立。
• 典范扇面 Fan(K) 是辫子风扇的加细，其最大锥对应于恰好有一个非叶节点的树偏序集。
• Fan(K) 是某凸多面体的法扇面，当且仅当在 Bier(K) 的顶点上存在一个 K-次模函数，从而为多面性提供了完整判别准则。
• 对于阈值复形 K = Tₗ<ν，其对应的 Bier 球面为多面体，且其实现为广义排列多面体的极对偶，通过显式构造一个 K-次模函数得到验证。