[论文解读] 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对者。
• 确定哪些对称对（G,H）满足强融合控制条件，特别是当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 是否存在SCF对（G,H），其中G为典型型而H为例外型（如F₄, E₈）？
• RQ5 对于表示ρₙ(SO(3)) ⊂ SO(2n+1)，何时其像强控制融合？

主要发现

• 本文证明了推广的博雷尔-塞尔定理：每个闭子群S ⊂ G均包含于一个拟本原子群H中，且H₀ ≠ 1，使得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)则不是。
• 不存在SCF对（G,H），其中G为典型型，而H为F₄、E₆、E₇或E₈型的紧致单李群。