[论文解读] A classification of subsystems of a root system

Toshio Oshima|ArXiv.org|Nov 29, 2006

Advanced Algebra and Geometry被引用 4

一句话总结

本文通过分析保持Cartan整数的同态，结合Weyl群作用与对偶对，对根系的子系统进行了全面分类，利用扩展Dynkin图构建统一框架，尤其针对例外根系实现子系统分类，提供详细的轨道计数与外自同构作用表格。

ABSTRACT

We classify isomorphic classes of the homomorphisms of a root system $Ξ$ to a root system $Σ$ which do not change Cartan integers. We examine several types of isomorphic classes defined by the Weyl group of $Σ$, that of $Ξ$ and the automorphisms of $Σ$ or $Ξ$ etc. We also distinguish the subsystem generated by a subset of a fundamental system. We introduce the concept of the dual pair for root systems which helps to study the action of the outer automorphism of $Ξ$ on the homomorphisms.

研究动机与目标

• 对根系Σ的所有子系统按Weyl群等价性进行分类，尤其针对例外类型。
• 确定同构子系统在Σ的Weyl群作用下何时等价。
• 分析子系统外自同构在实现Σ的Weyl群作用中的作用。
• 区分由基本系统子集生成的子系统，并计算其轨道计数。
• 提供完整的子系统类型参考表格，包含在Weyl群、自同构群与外自同构群作用下的轨道计数。

提出的方法

• 使用保持Cartan整数的同态集合Hom(Ξ, Σ)来定义与Ξ同构的子系统。
• 将分类问题简化为在扩展Dynkin图上的图论组合问题，推广了已知的图自同构结果。
• 引入子系统对偶对的概念，以研究Aut(Ξ)在Hom(Ξ, Σ)上的作用。
• 定义闭包与S-闭子系统，以在从扩展Dynkin图逐次移除根时保持分类的稳定性。
• 通过WΣ\Hom(Ξ,Σ)/Aut(Ξ)及其相关商集计算轨道计数，以枚举不同的等价类。
• 使用Σ^L表示长根，A_m^S/L与D_m^S/L区分根长与子系统类型。

实验结果

研究问题

• RQ1 哪些抽象根系Ξ可作为给定根系Σ的子系统出现？
• RQ2 给定Σ的两个同构子系统Ξ与Ξ′，在什么条件下Ξ′在WΣ作用下与Ξ等价？
• RQ3 在Σ中，存在多少个WΣ-轨道的子系统与Ξ同构？
• RQ4 Ξ的外自同构是否由WΣ中的元素诱导，尤其当Ξ具有同构不可约分量时？
• RQ5 子系统Ξ在何时与Σ的基本系统子集生成的子系统等价，且此类子集共有多少？

主要发现

• 对于不可约Σ，Hom(Ξ, Σ)的WΣ-轨道数通常为1，表明所有同构子系统均WΣ-等价。
• 在4A₁于E₇与E₈的情形中，WΣ\Hom(Ξ,Σ)/Out(Ξ)的轨道计数为2，对应两类不同类，标记为[Ξ]′与[Ξ]′′。
• 对偶对构造使外自同构在Hom(Ξ, Σ)上的作用得以分析，尤其当Ξ具有多个同构分量时。
• 对于Ξ = D₅ + A₂在E₈中，有OutΣ(Ξ) ≅ N_AutΣ(Ξ′)(Ξ₂)/WΞ，表明稳定子子群控制外自同构的实现。
• 第10节的表格提供了完整数据：所有不可约Σ的非空Hom(Ξ, Σ)的轨道计数、闭包及显式构造参考。
• 该方法成功推广了Dynkin对正规子代数的分类，通过使用扩展Dynkin图与根长区分（S/L），修正了[4]中先前的表格。