[论文解读] Expansion Posets for Polygon Cluster Algebras

Andrew Claussen|arXiv (Cornell University)|May 5, 2020

Algebraic structures and combinatorial models参考文献 33被引用 7

一句话总结

本文通过在弧、三角剖分和蛇图等组合对象上定义对合，为类型A多边形丛代数中的丛变量引入了双重展开偏序集。它建立了展开偏序集与其对偶之间的同构，并证明了所有此类偏序集均为Young格L(m,n)中的区间，同时提出了新的丛展开公式。一个关键结果是，当底层蛇图最多具有四个最大直线段时，格路展开偏序集的秩函数呈单峰性，部分证实了Ovsienko与Morier-Genoud的猜想。

ABSTRACT

Define an expansion poset to be the poset of monomials of a cluster variable attached to an arc in a polygon, where each monomial is represented by the corresponding combinatorial object from some fixed combinatorial cluster expansion formula. We introduce an involution on several of the interrelated combinatorial objects and constructions associated to type $A$ surface cluster algebras, including certain classes of arcs, triangulations, and distributive lattices. We use these involutions to formulate a dual version of skein relations for arcs, and dual versions of three existing expansion posets. In particular, this leads to two new cluster expansion formulas, and recovers the lattice path expansion of Propp et al. We provide an explicit, structure-preserving poset isomorphism between an expansion poset and its dual version from the dual arc. We also show that an expansion poset and its dual version constructed from the same arc are dual in the sense of distributive lattices. We show that any expansion poset is isomorphic to a closed interval in one of the lattices $L(m,n)$ of Young diagrams contained in an $m imes n$ grid, and that any $L(m,n)$ has a covering by such intervals. We give two formulas for the rank function of any lattice path expansion poset, and prove that this rank function is unimodal whenever the underlying snake graph is built from at most four maximal straight segments. We show that the support of any type $A$ cluster variable is the orbit of a groupoid. Finally, in work joint with Nicholas Ovenhouse, we partially generalize $T$-paths to configurations of affine flags, and prove that a $T$-path expansion analogous to the type $A$ case holds when the initial seed is from a fan triangulation.

研究动机与目标

• 通过在类型A曲面丛代数的组合对象上使用对合，发展丛展开公式的对偶形式。
• 通过保持结构的映射，建立展开偏序集与其对偶之间的同构关系。
• 证明所有展开偏序集同构于L(m,n)中的闭区间，即m×n网格中Young图的格。
• 在底层蛇图满足特定约束条件下，证明格路展开偏序集的秩函数具有单峰性。
• 基于蛇图的几何特征，刻画对称的秩生成函数。

提出的方法

• 在弧、三角剖分和蛇图上引入对合，以定义对偶组合对象和对偶 skein 关系。
• 利用完美匹配、T-路径和格路构造三种对偶展开偏序集，并证明每种与其对偶之间存在同构。
• 使用蛇图构造来建模丛变量，并将其与分配格及Young图联系起来。
• 证明任意展开偏序集同构于L(m,n)中的闭区间，即m×n矩形中Young图的格。
• 应用偏序集理论技术分析秩函数，并证明当蛇图最多具有四条最大直线段时，其秩函数呈单峰性。
• 与Ovenhouse合作，将T-路径推广至扇形三角剖分下的仿射旗配置。

实验结果

研究问题

• RQ1 如何在类型A丛代数的组合对象上利用对合，构造丛展开公式的对偶版本？
• RQ2 展开偏序集与其对偶之间存在何种结构关系？能否显式构造出偏序集同构？
• RQ3 在何种条件下，格路展开偏序集的秩函数呈单峰性？
• RQ4 展开偏序集与Young格L(m,n)中的区间有何关联？
• RQ5 底层蛇图的何种几何特征决定了其秩生成函数是否对称？

主要发现

• 每个展开偏序集同构于L(m,n)中的闭区间，即m×n网格中Young图的格，且每个L(m,n)均可被此类区间覆盖。
• 由对偶弧构造的展开偏序集及其对偶，在分配格的意义下互为对偶。
• 显式构造了展开偏序集与其对偶版本之间的保持结构的偏序集同构。
• 当底层蛇图最多具有四个最大直线段时，格路展开偏序集的秩函数呈单峰性。
• 展开偏序集的秩生成函数对称，当且仅当其底层蛇图具有对称形状。
• 任意类型A丛变量的支撑是群胚的一个轨道，意味着可由任意一个单项式重构。