[论文解读] Sortable elements in infinite Coxeter groups

Nathan Reading, David E Speyer|arXiv (Cornell University)|Mar 18, 2008

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

一句话总结

本文使用统一的代数与几何工具，将可排序元素与卡姆布里安扇丛理论从有限型推广至任意无限考克斯特群。引入斜对称形式 $\omega_c$ 与投影 $\pi_{\downarrow}^c$，以刻画 $c$-可排序元素并描述卡姆布里安同余的纤维，实现了一种基于模式避免的统一刻画，并使得即使在无限类型中也能实现卡姆布里安扇丛的几何构造。

ABSTRACT

In a series of previous papers, we studied sortable elements in finite Coxeter groups, and the related Cambrian fans. We applied sortable elements and Cambrian fans to the study of cluster algebras of finite type and the noncrossing partitions associated to Artin groups of finite type. In this paper, as the first step towards expanding these applications beyond finite type, we study sortable elements in a general Coxeter group W. We supply uniform arguments which transform all previous finite-type proofs into uniform proofs (rather than type by type proofs), generalize many of the finite-type results and prove new and more refined results. The key tools in our proofs include a skew-symmetric form related to (a generalization of) the Euler form of quiver theory and the projection \pidown^c mapping each element of W to the unique maximal c-sortable element below it in the weak order. The fibers of \pidown^c essentially define the c-Cambrian fan. The most fundamental results are, first, a precise statement of how sortable elements transform under (BGP) reflection functors and second, a precise description of the fibers of \pidown^c. These fundamental results and others lead to further results on the lattice theory and geometry of Cambrian (semi)lattices and Cambrian fans.

研究动机与目标

• 将可排序元素与卡姆布里安扇丛理论从有限型推广至任意无限考克斯特群。
• 为此前通过逐型分析建立的结果提供统一、与类型无关的证明。
• 利用斜对称形式 $\omega_c$，通过统一的模式避免条件刻画 $c$-可排序元素。
• 将投影 $\pi_{\downarrow}^c$ 的纤维描述为卡姆布里安同余的等价类，从而实现对卡姆布里安半格的组合与几何理解。
• 为将卡姆布里安扇丛与丛代数之间的联系拓展至有限型之外奠定基础。

提出的方法

• 在根系上引入一个斜对称双线性形式 $\omega_c$，推广自quiver理论中的欧拉形式。
• 定义投影 $\pi_{\downarrow}^c: W \to W$，将每个群元素映射到其在弱序中下方的唯一最大 $c$-可排序元素。
• 利用每个元素的 $c$-排序词定义单纯形锥，构成卡姆布里安扇丛的基础。
• 证明 $c$-可排序元素可通过其反射序列上 $\omega_c$-配对的非负性来刻画，且当反射不交换时配对严格为正。
• 证明 $\pi_{\downarrow}^c$ 的纤维是有限的，并由一组有限的可检验条件完全描述，从而完整刻画卡姆布里安同余类。
• 利用排序词与对齐的组合学控制卡姆布里安扇丛的几何结构，特别是在蒂茨锥中的行为。

实验结果

研究问题

• RQ1 如何将 $c$-可排序元素的概念从有限型统一推广至无限考克斯特群？
• RQ2 投影 $\pi_{\downarrow}^c$ 的纤维的精确代数与几何刻画是什么？
• RQ3 在双线性形式 $\omega_c$ 下，$c$-可排序元素的反射序列行为如何？
• RQ4 卡姆布里安扇丛能否在无限考克斯特群中实现几何构造？其相对于蒂茨锥的结构如何？
• RQ5 元素的 $c$-排序词与其 $c$-可排序性之间存在何种关系？

主要发现

• 本文利用斜对称形式 $\omega_c$，为任意考克斯特群中的 $c$-可排序元素提供了统一的、基于模式避免的刻画，取代了此前依赖类型的具体构造。
• $\pi_{\downarrow}^c$ 的纤维被证明是有限的，并由一组有限的可检验条件完全描述，从而完整刻画了卡姆布里安同余类。
• 一个 $c$-可排序元素的反射序列满足对所有 $i \leq j$ 有 $\omega_c(\beta_i, \beta_j) \geq 0$，且当对应反射不交换时严格大于零。
• 由 $c$-可排序元素定义的锥集合与蒂茨锥相交后，形成一个结构良好、面面相接的分解，暗示其具有推广的扇丛结构。
• 投影 $\pi_{\downarrow}^c$ 将每个元素映射到其在弱序中下方的唯一最大 $c$-可排序元素，且该映射与卡姆布里安半格的格结构相容。
• 该理论实现了对文献中此前仅针对特定类型成立的结果的统一证明，用一般性的结构推理取代了逐型分析的论证。