[论文解读] Root systems and diagram calculus. III. Semi-Coxeter orbits of linkage diagrams and the Carter theorem

Rafael Stekolshchik|arXiv (Cornell University)|May 14, 2011

Advanced Combinatorial Mathematics参考文献 5被引用 4

一句话总结

本文提供了Carter定理的一个新颖证明，表明Weyl群中的每个元素均可表示为两个对合的乘积。通过引入关联图、关联系统及使用对偶部分Weyl群的半-Coxeter轨道，作者证明了除少数例外情况外，每个半-Coxeter轨道均包含一个单色关联图——从而可实现对两个对合的平凡分解，最终通过C4和DE4类Carter图的图示演算完成证明。

ABSTRACT

A diagram obtained from the Carter diagram $Γ$ by adding one root together with its bonds such that the resulting subset of roots is linearly independent is said to be the {\it linkage diagram}. Given a linkage diagram, we associate the linkage labels vector, which is introduced like the vector of Dynkin labels. Similarly to the dual Weyl group, we introduce the group $W^{\vee}_L$ associated with $Γ$, and we call it the dual partial Weyl group. The linkage labels vectors connected under the action of $W^{\vee}_L$ constitute the linkage system $\mathscr{L}(Γ)$, which is similar to the weight system arising in the representation theory of the semisimple Lie algebras. The Carter theorem states that every element of a Weyl group $W$ is expressible as the product of two involutions. We give the proof of this theorem based on the description of the linkage system $\mathscr{L}(Γ)$ and semi-Coxeter orbits of linkage labels vectors for any Carter diagram $Γ$. The main idea of the proof is based on the fact that, with a few exceptions, in each semi-Coxeter orbit there is a special linkage diagram -- called {\it unicolored}, for which the decomposition into the product of two involutions is trivial.

研究动机与目标

• 提供Carter定理关于Weyl群元素分解为两个对合乘积的新型图示化证明。
• 定义并分类C4和DE4类中Carter图的关联系统与半-Coxeter轨道。
• 证明在大多数半-Coxeter轨道中存在单色关联图，从而实现对两个对合的平凡分解。
• 通过完成D₇与E₇系列中关联系统与轨道的分类，将该方法推广至所有Weyl群。

提出的方法

• 引入关联图的概念，作为在Carter图基础上添加一个线性无关根及其连接关系的扩展。
• 定义类似于Dynkin标签的关联标签向量，在对偶部分Weyl群W∨L的作用下形成关联系统L(Γ)。
• 构造半-Coxeter轨道，即对偶半-Coxeter元素c*在关联标签向量上的作用轨道。
• 利用Carter图（C4与DE4类）的分类，分析所有可能的半-Coxeter轨道并识别单色图。
• 应用群元素分解为正交根对应反射乘积的双色分解方法。
• 利用对合的共轭关系w = i w i⁻¹，将轨道结构与此类分解的存在性联系起来。

实验结果

研究问题

• RQ1 能否基于关联系统与半-Coxeter轨道的图示与代数结构证明Carter定理？
• RQ2 在哪些Carter图中，半-Coxeter轨道包含允许平凡分解为两个对合的单色关联图？
• RQ3 在D₇与E₇系列中，特别是D₇(a_i)与E₇(a_i)情形下，关联系统与半-Coxeter轨道的行为如何？
• RQ4 C4与DE4类中所有Carter图的半-Coxeter轨道的完整分类是什么？
• RQ5 例外情况（如D₄(a₁)、D₆(a₁)、E₆(a₂)）在轨道结构与分解行为上如何不同？

主要发现

• 对C4与DE4类中所有Carter图，提供了半-Coxeter轨道的完整分类，包括D₇(a₂)、D₇与E₇系列的详细轨道结构。
• 在D₇(a₂)中识别出10个半-Coxeter轨道：第一类E型分量中有4个，第二类（对称）分量中有4个，另有2个自对称轨道；轨道1–4与7–10成对出现。
• 在D₇中发现14个半-Coxeter轨道：第一类E型分量中有6个（其中5个长度为12，1个长度为4），对称分量中也有6个，另有2个自对称轨道。
• D₇中轨道1、3、9与11不包含单色关联图，表明其分解为非平凡形式。
• 在D₇(a₂)中，轨道5与6为自对称且包含单色图，从而可实现对合的直接分解。
• 通过证明除少数例外轨道外，每个半-Coxeter轨道至少包含一个单色关联图，从而实现对两个对合的平凡分解，完成了Carter定理的证明。