[论文解读] Stokes posets and serpent nests

Frédéric Chapoton|arXiv (Cornell University)|May 22, 2015

Algebraic structures and combinatorial models参考文献 22被引用 5

一句话总结

本文引入了与正多边形四边形剖分相关的组合结构——Stokes偏序集与蛇形巢穴。建立了Stokes偏序集元素与蛇形巢穴之间的双射，推广了A型的非嵌套分拆与丛代数组合学，关联到Tamari格、Stokes多面体及Coxeter群理论。

ABSTRACT

We study two different objects attached to an arbitrary quadrangulation of a regular polygon. The first one is a poset, closely related to the Stokes polytopes introduced by Baryshnikov. The second one is a set of some paths configurations inside the quadrangulation, satisfying some specific constraints. These objects provide a generalisation of the existing combinatorics of cluster algebras and nonnesting partitions of type A.

研究动机与目标

• 定义并研究Stokes偏序集——与正多边形四边形剖分相关的偏序集，基于四边形剖分边的翻转相容定向。
• 引入蛇形巢穴：满足特定非交叉与连通性约束的四边形剖分中的路径配置，类似于非嵌套分拆。
• 为每个四边形剖分建立Stokes偏序集元素与蛇形巢穴之间的双射，推广A型丛代数组合学。
• 探索Stokes偏序集、Tamari格及Tamari格上倾斜模的导出范畴之间的联系。
• 通过例外序列与非交叉分拆，将该理论推广至其他根系与有限Coxeter群。

提出的方法

• 基于Baryshnikov工作的相容性条件，对四边形剖分的翻转进行定向，定义翻转上的有向图（有向图），并证明这些有向图是偏序集的哈斯图。
• 基于移除叶形四边形的归纳构造，证明这些有向图无环且构成偏序集，其底层无向图连通且正则。
• 将蛇形巢穴定义为四边形剖分中“蛇形”——特定路径——的配置，通过局部约束确保非交叉与连通性。
• 使用形式组合学（种类理论）建立递推方程，如 $ T^b = X(1 + 2T^b + 3(T^b)^2) $，以编码四边形剖分与交叉树的生成函数。
• 利用不对称定理关联种类如 $ T^oxplus $、$ T^i $ 与 $ T $，并推导各类子类的生成函数。
• 提出一个猜想：沿边扭转四边形剖分会保持其底层图、单纯复形与关联Stokes多面体的F-三角形不变。

实验结果

研究问题

• RQ1 如何通过翻转相容性与定向规则，自然地将一个偏序集与正多边形的四边形剖分相关联？
• RQ2 蛇形巢穴的组合性质是什么？它们与Stokes偏序集元素有何关系？
• RQ3 在何种条件下，Stokes偏序集可分解为更小Stokes偏序集的笛卡尔积？
• RQ4 Stokes偏序集与蛇形巢穴的理论能否超越A型，推广至其他有限Coxeter群与根系？
• RQ5 沿边扭转四边形剖分是否会保持其关联Stokes多面体与F-三角形的拓扑与代数不变量？

主要发现

• 通过基于移除叶形四边形的归纳构造，证明了与四边形剖分相关的Stokes偏序集是良定义的偏序集，其底层图连通且正则。
• 当四边形剖分为最小形式（如之字形模式）时，Tamari格作为Stokes偏序集的特例被恢复。
• 当四边形剖分中存在桥时，其关联的Stokes偏序集分解为两个子四边形剖分对应Stokes偏序集的笛卡尔积。
• 四边形剖分中蛇形巢穴的数量等于其对应Stokes偏序集的元素数量，生成函数通过递推种类方程计算得出。
• 对于避免“交叉”构型（一个有四个邻居的四边形）的四边形剖分，$ T^b $ 的生成函数起始为 $ 1, 2, 7, 26, 106, 452, 1999, \dots $，表明其为一个独立的组合类。
• 关于沿边扭转保持F-三角形与单纯复形结构的猜想尚未证明，但有结构证据与生成函数不变性支持。