[论文解读] Bergman Complexes, Coxeter Arrangements, and Graph Associahedra

Federico Ardila, Victor Reiner+1 more|ArXiv.org|Aug 14, 2005

Advanced Combinatorial Mathematics参考文献 22被引用 20

一句话总结

本文证明了柯克斯eter排列的定向拟阵的正 Bergman 复形与其对应的 Dynkin 图的图关联多面体对偶，并且 Bergman 复形与该排列的嵌套集复形一致。这些结果通过拟植理论与柯克斯eter 系统的视角，统一了热带几何、超平面排列与多面体组合数学。

ABSTRACT

Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of M such that the corresponding positive Bergman complexes cover B(M), where mu(M) denotes the Mobius function of the lattice of flats of M.

研究动机与目标

• 阐明在定向拟植背景下 Bergman 复形与正 Bergman 复形的拓扑与组合结构。
• 研究柯克斯eter 排列中 Bergman 复形与嵌套集复形之间的关系。
• 建立有限柯克斯eter 系统中正 Bergman 复形与图关联多面体之间的对偶性。
• 证明柯克斯eter 排列的 Bergman 复形等于其嵌套集复形。
• 证明柯克斯eter 排列的 Bergman 复形中的粗细胞在 Coxeter 群作用下与正 Bergman 复形中的细胞 $W$-等价，从而证实 Tevelev 的一个猜想。

提出的方法

• 通过权向量 $\omega$ 及其关联的平坦子集旗，定义拟植 $M$ 的 Bergman 复形 $\mathcal{B}(M)$ 与正 Bergman 复形 $\mathcal{B}^+(M)$。
• 利用权诱导的拟植 $M_\omega$，基于 $\omega$ 为常数和严格递增的子集旗 $\mathcal{F}(\omega)$ 定义 Bergman 复形中的胞腔。
• 证明柯克斯eter 排列 $\mathcal{A}_\Phi$ 的正 Bergman 复形 $\mathcal{B}^+(M_\Phi)$ 与其类型 $\Phi$ 的 Dynkin 图 $\Gamma$ 的图关联多面体 $P(\Gamma)$ 对偶。
• 证明对于有限根系 $\Phi$，Bergman 复形 $\mathcal{B}(M_\Phi)$ 等于排列 $\mathcal{A}_\Phi$ 的嵌套集复形。
• 利用 Coxeter 群 $W$ 在基集上的作用，证明 $\mathcal{B}(M_\Phi)$ 中的每个粗细胞都与 $\mathcal{B}^+(M_\Phi)$ 中的一个细胞 $W$-等价，利用 Bergman 复形的自同构不变性。
• 应用 Feichtner、Sturmfels 等人关于嵌套集复形及其与 Bergman 复形关系的结果，细化胞腔结构并证明复形的相等性。

实验结果

研究问题

• RQ1 柯克斯eter 排列的定向拟植的正 Bergman 复形是否与其 Dynkin 图的图关联多面体对偶？
• RQ2 柯克斯eter 排列的 Bergman 复形是否与其嵌套集复形一致？
• RQ3 柯克斯eter 排列的 Bergman 复形中的每个粗细胞是否可通过 Coxeter 群作用映射到正 Bergman 复形中的一个细胞？
• RQ4 拟植的重定向如何覆盖 Bergman 复形？Möbius 函数在此过程中起什么作用？
• RQ5 Las Vergnas 拟植的面格与正 Bergman 复形之间的确切关系是什么？

主要发现

• 类型为 $\Phi$ 的柯克斯eter 排列的正 Bergman 复形 $\mathcal{B}^+(M_\Phi)$ 与其对应 Dynkin 图 $\Gamma$ 的图关联多面体 $P(\Gamma)$ 对偶。
• 有限柯克斯eter 排列的 Bergman 复形 $\mathcal{B}(M_\Phi)$ 等于其嵌套集复形，因此它是一个单纯复形。
• 对于任意可定向拟植 $M$，Bergman 复形 $\mathcal{B}(M)$ 被 $|\mu(M)|$ 个不同的正 Bergman 复形覆盖，这些复形来自重定向，其中 $\mu(M)$ 是平坦子集格的 Möbius 函数。
• Bergman 复形 $\mathcal{B}(M_\Phi)$ 的粗细胞与 $\mathcal{B}^+(M_\Phi)$ 中的细胞 $W$-等价，从而证实了 Tevelev 的猜想。
• 正 Bergman 复形 $\mathcal{B}^+(M_\Phi)$ 是一个旗复形，且同胚于一个球面，确认了其拓扑结构。
• 定向拟植 $M_\Phi$ 中正平坦子集的嵌套集与 Dynkin 图 $\Gamma$ 的管状结构之间存在双射关系，从而确立了其与图关联多面体的对偶性。