[论文解读] ABHY Associahedra and Newton polytopes of $F$-polynomials for finite type cluster algebras

Véronique Bazier-Matte, Chapelier-Laget, Nathan+4 more|arXiv (Cornell University)|Aug 29, 2018

Algebraic structures and combinatorial models参考文献 27被引用 20

一句话总结

本文将原本用于散射振幅的 ABHY 构造——最初针对关联单纯形（associahedra）提出——推广至任意单连通 Dynkin 类型的广义关联单纯形。研究证明，该构造同样生成有限型簇代数中 $F$-多项式的牛顿多面体，从而在物理启发的几何与簇理论中的代数组合学之间建立起深刻联系。

ABSTRACT

A new construction of the associahedron was recently given by Arkani-Hamed, Bai, He, and Yan in connection with the physics of scattering amplitudes. We show that their construction (suitably understood) can be applied to construct generalized associahedra of any simply-laced Dynkin type. Unexpectedly, we also show that this same construction produces Newton polytopes for all the $F$-polynomials of the corresponding cluster algebras. In addition, we show that the toric variety associated to the g-vector fan has the property that its nef cone is simplicial.

研究动机与目标

• 将 ABHY 构造从类型 $A_n$ 推广至所有单连通 Dynkin 类型。
• 建立 ABHY 构造生成有限型簇代数中 $F$-多项式牛顿多面体的结论。
• 证明与 $g$-向量扇面相关的环面簇的 nef 锥为单纯形。
• 定义并研究广义簇代数中通用系数情形下的通用 $F$-多项式，以推广标准 $F$-多项式。
• 通过 ABHY 构造统一簇理论中的几何、代数与表示论视角。

提出的方法

• 在 quiver 表示框架下，通过 $c$-向量与 $g$-向量关联的多面体的闵可夫斯基和实现 ABHY 构造。
• 定义从 $\mathbb{Z}^{\mathcal{I}^+}$ 到环面簇 $X_\Sigma$ 的 Picard 群的映射，将 $\underline{c}$ 映射为除子 $D(\underline{c})$。
• 建立由不等式定义的 $\mathbb{A}_{\underline{c}}$ 区域与多面体 $P_{D(\underline{c})}$ 之间的对偶性，证明 $\mathbb{A}_{\underline{c}} = -P_{D(\underline{c})}$。
• 利用环面簇上的交比理论，证明 $D(\underline{c})$ 为 nef 当且仅当 $\underline{c}$ 的所有分量非负。
• 应用 quiver 的 $\tau$-刚性表示理论，将 $g$-向量与 $c$-向量与多面体的几何性质联系起来。
• 利用 AR quiver 中的 $\underline{c}$-形变的网格关系，分析 $i_{\underline{c}}$-函数的行为，并通过曲线交比验证 nef 性质。

实验结果

研究问题

• RQ1 ABHY 构造的关联单纯形能否从类型 $A_n$ 推广至所有单连通 Dynkin 类型？
• RQ2 ABHY 构造生成的多面体是否与有限型簇代数中 $F$-多项式的牛顿多面体一致？
• RQ3 与有限型簇代数的 $g$-向量扇面相关的环面簇的 nef 锥结构如何？
• RQ4 通用 $F$-多项式与标准 $F$-多项式及 ABHY 构造之间有何关系？
• RQ5 是否存在 ABHY 构造的表示论解释，以阐明其几何与代数性质？

主要发现

• ABHY 构造可推广至所有单连通 Dynkin 类型，生成的广义关联单纯形的外法向量扇面即为 $g$-向量扇面。
• 相同的 ABHY 构造实现了有限型簇代数中所有簇变量的 $F$-多项式牛顿多面体。
• 与 $g$-向量扇面相关的环面簇具有单纯形 nef 锥，证明方法为：该 nef 锥是正象限在群同构下的像。
• 多面体 $P_{D(\underline{c})}$ 同构于 $-\mathbb{A}_{\underline{c}}$，且 $\mathbb{A}_{\underline{c}}$ 的顶点对应于 $-\underline{m}_\sigma(\underline{c})$，从而将构造与 $g$-向量联系起来。
• 该构造等价于与 $c$-向量关联的多面体的闵可夫斯基和，且从 $\mathbb{Z}^{\mathcal{I}^+}$ 到 $\operatorname{Pic}(X_\Sigma)$ 的映射是自由阿贝尔群的同构。
• 该结果可推广至通用 $F$-多项式，其在具有通用系数的簇代数背景下推广了标准 $F$-多项式。