在黎曼球面上构造自守李代数的Chevalley正规形式的一种统一方法
A uniform construction of Chevalley normal forms for automorphic Lie algebras on the Riemann sphere
摘要 Abstract
对于有限子群 \( G \subset SU(2) \) 及其一个基形式 \( P \in \mathbb{C}[X,Y] \),我们证明了 \( k \in 2\mathbb{Z} \) 次齐次不变量空间 \( \mathbb{C}[X,Y,P^{-1}]^{G}_k \) 是零次不变量代数上的循环模,并找到了该模的一个生成元,此生成元对 \( SU(2) \) 的所有有限子群均一致。接着,我们构建了一个统一的 intertwining 映射,将标量不变量映射到向量值不变量。利用这些工具,我们构造了由对称群 \( G \) 到有限维李代数 \( \mathfrak{g} \) 自同构群的同态所定义的所有自守李代数 \( \mathfrak{g}[X,Y,P^{-1}]^{G}_0 \),且该同态通过 \( SU(2) \)。当 \( \mathfrak{g} \) 为单李代数时,我们给出了一个类似于 \( \mathfrak{g} \) 的Chevalley基的自守李代数生成元集。先前关于具有不同对称群 \( G \) 的自守李代数同构的观察可以通过 \( \mathfrak{g} \) 的Coxeter数及 \( G \) 中出现的阶数来解释。最后,我们计算了所有例外李类型的自守李代数的结构常数。
For a finite subgroup $G$ of $SU(2)$ and one of its ground forms $P\in\mathbb{C}[X,Y]$, we show that the space of invariants $\mathbb{C}[X,Y,P^{-1}]^{G}_k$ of degree $k\in2\mathbb{Z}$ is a cyclic module over the algebra of invariants of degree zero. We find a generator for this module, uniformly for all finite subgroups of $SU(2)$. Then we construct a uniform intertwiner sending the scalar invariants to vector-valued invariants. With these tools we construct all automorphic Lie algebras $\mathfrak{g}[X,Y,P^{-1}]^{G}_0$ defined by a homomorphism from the symmetry group $G$ into the automorphism group of a finite dimensional Lie algebra $\mathfrak g$, which factors through $SU(2)$. When the Lie algebra $\mathfrak g$ is simple, we present a set of generators for the automorphic Lie algebra which is analogous to the Chevalley basis for $\mathfrak g$. Previous observations of isomorphisms between automorphic Lie algebras with distinct symmetry groups $G$ are explained in terms of the Coxeter number of $\mathfrak g$ and the orders appearing in $G$. Finally, we compute the structure constants for automorphic Lie algebras of all exceptional Lie types.