[論文レビュー] A classification of subsystems of a root system

Toshio Oshima|ArXiv.org|Nov 29, 2006

Advanced Algebra and Geometry被引用数 4

ひとこと要約

本稿は、カルタン整数を保存する準同型を分析することで、ルート系の部分系を包括的に分類する。Weyl群作用と双対対を用いて、同型類を区別する。主な貢献は、特に例外的ルート系において、拡張されたディンキン図形に基づく統一的な枠組みを提供することである。明示的な表により、軌道数と外部自己同型作用が詳細に記載されている。

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群 WΣ に関して同値となる条件を特定すること。
• 部分系の外部自己同型が、Weyl群作用を実現する役割を分析すること。
• 基本系の部分集合によって生成される部分系を区別し、その軌道数を計算すること。
• Weyl群、自己同型群、外部自己同型群の下での部分系タイプの完全な参照表（軌道数を含む）を提供すること。

提案手法

• カルタン整数を保存する準同型の集合 Hom(Ξ, Σ) を用いて、Ξ に同型な部分系を定義する。
• 分類問題を、拡張されたディンキン図形上のグラフ的組合せ論に還元し、既知のグラフ自己同型に関する結果を一般化する。
• Aut(Ξ) が Hom(Ξ, Σ) 上に作用する様子を研究するため、部分系の双対対の概念を導入する。
• 分類の安定化のため、拡張されたディンキン図形からの逐次的ルート除去に対して、閉包と S-閉部分系を定義する。
• WΣ\Hom(Ξ,Σ)/Aut(Ξ) 及び関連する商を用いて軌道数を計算し、異なる同値類を数える。
• 長根を表す記号 Σ^L と、A_m^S/L、D_m^S/L を用いて、根長と部分系タイプを区別する。

実験結果

リサーチクエスチョン

• RQ1 どの抽象的ルート系 Ξ が、与えられたルート系 Σ の部分系として現れるか？
• RQ2 Σ の同型な部分系 Ξ と Ξ′ が、Weyl群 WΣ に関して同値となるのはいつか？
• RQ3 Σ 内で Ξ に同型な部分系の WΣ-軌道は、いくつ存在するか？
• RQ4 特に Ξ が同型な既約成分を複数持つ場合に、Ξ の外部自己同型が WΣ の元から生じるか？
• RQ5 部分系 Ξ が、Σ の基本系の部分集合によって生成される部分系と同値となるのはいつか？また、そのような部分集合はいくつ存在するか？

主な発見

• 既約な Σ に対して、Hom(Ξ, Σ) の WΣ-軌道数はしばしば 1 であり、すべての同型部分系が WΣ 同値であることを示唆する。
• E₇ と E₈ における 4A₁ のような場合、WΣ\Hom(Ξ,Σ)/Out(Ξ) の下での軌道数は 2 であり、[Ξ]′ と [Ξ]′′ とラベル付けされた異なる同値類が存在する。
• 双対対構成により、特に Ξ に複数の同型成分がある場合、Hom(Ξ, Σ) 上での外部自己同型作用の解析が可能になる。
• Ξ = D₅ + A₂ の場合、OutΣ(Ξ) ≅ N_AutΣ(Ξ′)(Ξ₂)/WΞ が成り立ち、安定化部分群が外部自己同型の実現を制御することを示している。
• 10節の表は、すべての非空な Hom(Ξ, Σ)（既約な Σ を前提）について、完全なデータを提供している：軌道数、閉包、および明示的構成への参照。
• 本手法は、拡張されたディンキン図形と根長の区別（S/L）を用いることで、ディンキンによる正則部分代数の分類を成功裏に一般化し、[4] の以前の表を是正している。