[論文レビュー] A note on closed subgroups of compact Lie groups

Jun Yu|arXiv (Cornell University)|Dec 22, 2009

Advanced Algebra and Geometry参考文献 18被引用数 6

ひとこと要約

この論文は、コンパクトリー群の閉部分群に対して、グリースのリー原始性および強制的融合制御（SCF）の概念を一般化し、バーロウ＝セールの定理を準原始的部分群へ拡張する。また、すべてのコンパクトな単純対称ペアのうちSCFペアであるものを分類し、それらが特定の古典的および例外的リー代数に限られることを示している。具体的には、(𝔰𝔩(2n), 𝔰𝔪(2n)) および (𝔢₆, 𝔣₄) が含まれる。

ABSTRACT

We reduce the classification of finite subgroups in compact Lie groups to that of quasi-simple ones, prove the number of conjugacy classes is finite and each cojugacy class is Zariski closed in mapping space, and classify "strongly controlling fusions" symmetric pairs.

研究の動機と目的

• コンパクトリー群の閉部分群に対して、グリースによるリー原始性および強制的融合制御（SCF）の定義を一般化すること。
• 原始的部分群に関するバーロウ＝セールの定理を、閉部分群および準原始的チェーンの設定へ一般化すること。
• すべてのコンパクト単純対称ペア (𝔤₀, 𝔥₀) がSCFペアであるかどうかを分類すること。
• 特にHが単純または連結である場合に、対 (G,H) が強融合制御条件を満たすかどうかを特定すること。

提案手法

• 連結成分および中間部分群に関する条件を用いて、閉部分群H ⊂ Gにおけるリー原始性を定義する。
• 原始的部分群の鎖としての「準原始的部分群」の概念を導入する。
• 双側不変計量を備えたコンパクトリー群に対して、二重コセット分解 G = H·exp(𝔭₀)·K を用いる。
• 分解 G = H·exp(𝔭₀)·K を用いて、対称ペア (SO(7), G₂) および (E₆, F₄) がSCF性を満たすことを証明する。
• 代数閉体上での線形代数的群におけるSCFペアに関するグリースらの結果を活用する。
• 根の単位根や指数の置換に関する数論的・組合せ論的議論（例：SO(3)表現における条件のテスト）を用いて、SCF条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトリー群Gの閉部分群Hのうち、どの部分群がリー原始的または準原始的であるか。
• RQ2 部分群H ⊂ Gが、Gにおける融合を強制的制御するための条件は何か。
• RQ3 どのコンパクト単純対称ペア (G,H) がSCF条件を満たすか。
• RQ4 Gが古典的でHがF₄、E₈などの例外的型のコンパクト単純リー群であるようなSCFペア (G,H) は存在するか。
• RQ5 表現 ρₙ(SO(3)) ⊂ SO(2n+1) において、像が融合を強制的制御するのはいつか。

主な発見

• 本論文は一般化されたバーロウ＝セールの定理を証明する：任意の閉部分群S ⊂ Gは、H₀ ≠ 1を満たす準原始的部分群Hに含まれ、かつH₀がカルタン部分群であるか、またはSA_H/A_HがH/A_Hにおいてリー原始的である。
• 二重コセット分解を用いて、対称ペア (𝔰𝔬(7), 𝔣₄) および (𝔢₆, 𝔣₄) がSCFペアであることが示された。
• すべてのコンパクト単純対称ペアでSCFペアであるものは分類された：(𝔤₀, 𝔥₀) は、(𝔨₀⊕𝔨₀, Δ(𝔨₀))、(𝔰𝔲(n), 𝔰𝔬(n))、(𝔰𝔲(2n), 𝔰𝔭(n))、(𝔰𝔬(2n), 𝔰𝔬(2n−1))、または (𝔢₆, 𝔣₄) のいずれかに限られる。
• Hが連結と仮定する場合、上記のリストに加えて (𝔰𝔲(2n+1), 𝔰𝔬(2n+1)) が追加されるが、それ以外は同じである。
• 表現 ρ₁⊕ρ₂(SO(3)) ⊂ SO(8) がSCF包含であることが示されたが、n ≥ 2 のとき ρₙ(SO(3)) ⊂ SO(2n+1) はそうではない。
• Gが古典的でHがF₄、E₆、E₇、E₈型のコンパクト単純リー群であるようなSCFペア (G,H) は存在しない。