[论文解读] Polypositroids

Thomas Lam, Alexander Postnikov|arXiv (Cornell University)|Oct 14, 2020

Geometric and Algebraic Topology被引用 4

一句话总结

本文引入了多正多面体——即同时为广义排列多面体（多模态）与阿克洛夫多面体的多面体——统一了拟阵理论、丛代数与几何组合学的概念。作者通过考克斯eter项链与平衡图对多正多面体进行参数化，通过极射线与面不等式刻画其锥体，并通过膜结构与普拉比克图将它们与有限型丛代数及广义associahedra联系起来。

ABSTRACT

We initiate the study of a class of polytopes, which we coin polypositroids, defined to be those polytopes that are simultaneously generalized permutohedra (or polymatroids) and alcoved polytopes. Whereas positroids are the matroids arising from the totally nonnegative Grassmannian, polypositroids are "positive" polymatroids. We parametrize polypositroids using Coxeter necklaces and balanced graphs, and describe the cone of polypositroids by extremal rays and facet inequalities. We introduce a notion of (W,c)-polypositroid for a finite Weyl group W and a choice of Coxeter element c. We connect the theory of (W,c)-polypositroids to cluster algebras of finite type and to generalized associahedra. We discuss membranes, which are certain triangulated 2-dimensional surfaces inside polypositroids. Membranes extend the notion of plabic graphs from positroids to polypositroids.

研究动机与目标

• 定义并研究多正多面体这一新的多面体类，其同时为广义排列多面体与阿克洛夫多面体。
• 通过考克斯eter项链与平衡图对多正多面体进行参数化，推广正多面体理论中的格拉斯曼项链。
• 通过极射线与面定义不等式刻画多正多面体锥体，证明其为子模函数锥体在投影映射至阿克洛夫锥体下的像。
• 将理论推广至考克斯eter群与考克斯eter元素，引入(W,c)-多正多面体，并将其与有限型丛代数联系起来。
• 发展多正多面体中膜的理论，将普拉比克图技术推广至高维三角剖分曲面，并将其与丛代数突变及八面体递推关系联系起来。

提出的方法

• 通过考克斯eter项链与平衡图对多正多面体进行参数化，其推广了正多面体理论中的带装饰排列与普拉比克图。
• 将多正多面体锥体定义为子模函数锥体在映射至阿克洛夫锥体的投影下的像，通过有向圈对极射线进行索引。
• 使用匹配系刻画一般简单多正多面体的法线扇形，证明其为辫子扇形的加细。
• 引入膜作为多正多面体内部的三角剖分二维曲面，其边界环对应根环，且膜与普拉比克图相关。
• 将最小膜与有限型丛代数中的簇联系起来，其中膜上的局部变换对应丛代数突变。
• 提出渐近丛代数猜想，推测在边界环缩放下，膜的分布收敛于极限曲面，且格点上的测度收敛于极限测度。

实验结果

研究问题

• RQ1 同时为广义排列多面体与阿克洛夫多面体的多面体，其组合与几何结构为何？
• RQ2 多正多面体如何参数化？其参数化与考克斯eter项链或平衡图之间有何关系？
• RQ3 多正多面体锥体的结构为何？其与子模函数锥体及阿克洛夫多面体锥体的关系为何？
• RQ4 多正多面体中的膜如何推广普拉比克图？其与丛代数及八面体递推的关系为何？
• RQ5 在边界环缩放下，膜的渐近行为如何？是否存在极限曲面？

主要发现

• 多正多面体与考克斯eter项链及平衡图之间存在双射，推广了正多面体的参数化。
• 多正多面体锥体为子模函数锥体在投影映射至阿克洛夫锥体下的像，其极射线由{1,2,…,n}上的有向圈索引。
• 一般简单多正多面体的法线扇形由匹配系刻画，且所有此类扇形的f向量与环形多面体相同。
• 多正多面体法线扇形的集合对应辫子扇形的加细，其最大锥体由交错非交叉树标记。
• 多正多面体中的膜推广了普拉比克图，通过高阶八面体递推与丛代数相关联，其局部变换对应丛代数突变。
• 猜想表明，在缩放下，膜的分布收敛于极限测度，其支撑于极限曲面上，与普莱特问题及渐近表示理论相关。