[论文解读] Circuits and Hurwitz action in finite root systems

Joel Brewster Lewis, Victor Reiner|arXiv (Cornell University)|Mar 18, 2016

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

一句话总结

该论文证明，在有限实反射群中，一个考克斯eter元的两个反射分解属于同一Hurwitz轨道，当且仅当它们使用的共轭类多重集相同。证明的关键在于一个新颖的引理：在根系中，最小线性相关性（即回路）的锐度图是不连通的，这使得可通过Hurwitz作用对分解进行结构化约化，最终将贝西斯关于最短分解的定理推广至更长的分解。

ABSTRACT

In a finite real reflection group, two factorizations of a Coxeter element into an arbitrary number of reflections are shown to lie in the same orbit under the Hurwitz action if and only if they use the same multiset of conjugacy classes. The proof makes use of a surprising lemma, derived from a classification of the minimal linear dependences (matroid circuits) in finite root systems: any set of roots forming a minimal linear dependence with positive coefficients has a disconnected graph of pairwise acuteness.

研究动机与目标

• 将贝西斯关于有限实反射群中最短反射分解的Hurwitz传递性定理推广至更长的分解。
• 识别在更长分解中Hurwitz传递性的精确障碍，表明反射共轭类的多重集是唯一的不变量。
• 建立根系回路的结构引理，证明具有正系数的最小线性相关性（即回路）的锐度图是不连通的。
• 开发一种与类型无关的约化技术，利用Hurwitz作用将分解标准化为标准形式。
• 提出一个猜想，将主要结果推广至拟生成的复反射群。

提出的方法

• 将Hurwitz作用在反射分解上定义为 braid 群的作用，通过交换相邻因子并相互共轭实现。
• 证明引理1.2：在任意有限根系中，具有正系数的最小线性相关性（即回路）的锐度图是不连通的，其中边表示缩放后根之间的内积为正。
• 利用引理1.2证明引理1.3：若长度为 $ m $ 的分解满足总长度 $ \ell_T(w) < m $，则其Hurwitz轨道中存在某个前缀，其长度严格小于其位置。
• 通过迭代应用引理1.3，证明任意长度为 $ m $ 的分解与一个分解属于同一Hurwitz轨道，其中前 $ m - \ell $ 个反射成对出现，而最后 $ \ell $ 个构成 $ w $ 的最短分解。
• 结合贝西斯关于最短分解的定理以及任一反射均可作为考克斯eter元最短分解的起点这一事实，完成定理1.1的证明。
• 将论证扩展至猜想拟生成复反射群的推广，尽管该方法在该设定下无法直接推广，因为引理1.3在该情形下不成立。

实验结果

研究问题

• RQ1 在有限实反射群中，考克斯eter元的两个反射分解在什么条件下属于同一Hurwitz轨道？
• RQ2 对于更长的分解，反射共轭类的多重集是否是Hurwitz作用下唯一的不变量？
• RQ3 在有限根系中，若回路具有正系数，其锐度图是否总是不连通的？
• RQ4 在有限实反射群中，当分解长度大于秩时，Hurwitz作用是否仅保持共轭类多重集不变？
• RQ5 该主要结果能否推广至共轭类结构不同的拟生成复反射群？

主要发现

• 在有限实反射群中，两个考克斯eter元的反射分解是Hurwitz等价的，当且仅当它们使用的反射共轭类多重集相同。
• 该证明依赖于一个关键引理：在任意有限根系中，具有正系数的最小线性相关性（即回路）的锐度图是不连通的，其中边连接内积为正的根。
• 该锐度图的不连通性使得可通过Hurwitz作用对分解进行约化，从而可将任意分解标准化为一种形式：前序反射成对出现，末尾部分为最短分解。
• 在具有单一反射共轭类的不可约类型中（例如 $ A_n, D_n, E_6, E_7, E_8, H_3, H_4, I_2(m) $ 对奇数 $ m $），Hurwitz作用在考克斯eter元的所有分解上是传递的。
• 该结果将贝西斯关于最短分解的定理推广至有限实反射群中任意长度的分解。
• 提出了一个猜想：在拟生成复反射群中，相同的刻画也成立，尽管该方法无法直接推广，因为在该设定下关键约化引理存在反例。