[论文解读] Finite order automorphisms and real forms of affine Kac-Moody algebras in the smooth and algebraic category

Ernst Heintze, Christian Groß|ArXiv.org|Mar 31, 2009

Algebraic structures and combinatorial models被引用 4

一句话总结

本文通过将问题约化为基底有限维单李代数中的自同构曲线，对光滑仿射 Kac-Moody 代数的有限阶自同构和实形式进行了分类。它证明了环路代数与 Kac-Moody 代数之间的同构是标准的，由微分同胚和光滑自同构曲线参数化，并通过此类曲线导出的不变量，完整分类了对合与实形式——扩展了 Cartan 对对称空间的分类——适用于紧致与复数光滑仿射 Kac-Moody 代数。

ABSTRACT

Automorphisms of finite order and real forms of "smooth" affine Kac-Moody algebras are studied, i.e. of 2-dimensional extensions of the algebra of smooth loops in a simple Lie algebra. It is shown that they can be parametrized by certain invariants and that in particular the classification of involutions essentially follows from Cartan's classifications in finite dimensions. We also prove that our approach works equally well in the usual algebraic setting and leads to the same results there.

研究动机与目标

• 在光滑与代数范畴中，对光滑仿射 Kac-Moody 代数的有限阶自同构和实形式进行分类。
• 将 Cartan 对对称空间的分类推广至仿射 Kac-Moody 代数的无限维情形。
• 建立环路代数与 Kac-Moody 代数之间同构与有限维李代数中光滑自同构曲线之间的对应关系。
• 对紧致与复数光滑仿射 Kac-Moody 代数的对合与实形式提供完整分类。
• 将分类与如 Aut(𝔤) 中对合的中心化子的连通分支等拓扑不变量联系起来。

提出的方法

• 将光滑仿射 Kac-Moody 代数自同构的研究约化为基底有限维单李代数 𝔤 中的自同构曲线。
• 利用 Burnside 定理证明所有扭曲环路代数之间的同构均为标准同构，即由微分同胚 λ 和光滑自同构曲线 φₜ 所诱导。
• 根据 λ 的行为，将自同构分为第一类（保向，ε=1）与第二类（反向，ε=-1）。
• 证明同构可延拓至 Kac-Moody 代数当且仅当 λ(t) = εt + t₀ 且 ε = ±1、λ′ 为常数。
• 在 L(𝔤,σ) 与 ẐL(𝔤,σ) 上的自同构共轭类之间建立双射，从而将问题约化至有限维情形。
• 应用复数与共轭线性扩张以分类实形式与对合，利用 Aut(𝔤) 中对合中心化子的不变量。

实验结果

研究问题

• RQ1 如何利用有限维数据对光滑仿射 Kac-Moody 代数的有限阶自同构进行分类？
• RQ2 环路代数之间的同构与有限维李代数中光滑自同构曲线之间的确切关系为何？
• RQ3 光滑仿射 Kac-Moody 代数的对合与实形式如何扩展 Cartan 对对称空间的分类？
• RQ4 Aut(𝔤) 中对合的中心化子的连通分支在实形式分类中起何作用？
• RQ5 能否通过共轭线性扩张，将实形式的分类从紧致情形推广至复数光滑仿射 Kac-Moody 代数？

主要发现

• 所有扭曲环路代数 L(𝔤,σ) 之间的同构均为标准同构，由微分同胚 λ 与光滑自同构曲线 φₜ 所诱导。
• 同构可延拓至相应的光滑仿射 Kac-Moody 代数 ẐL(𝔤,σ) 当且仅当 λ(t) = εt + t₀ 且 ε = ±1、λ′ 为常数。
• 在 ẐL(𝔤,σ) 与 L(𝔤,σ) 上，有限阶自同构的共轭类之间存在双射关系。
• 对于对合（阶为 2），ẐL(𝔤,σ) 上第二类自同构的共轭类由等价类对 (ρ₊, ρ₋) 参数化，其中 ρ₊, ρ₋ ∈ Aut𝔤 为对合或单位元，且 ρ₋ρ₊ 在 Aut𝔤/Int𝔤 中共轭于 σ。
• 当 𝔤 为紧致时，ẐL(𝔤,σ) 上对合的共轭线性扩张，建立了实形式的共轭类与 ẐL(𝔤ℂ,σℂ) 上对合的共轭类之间的双射，从而保证了 Cartan 分解的存在性与唯一性。
• 通过 Levstein 的一个结果，该分类可推广至代数范畴，其结果与光滑情形基本一致。