[论文解读] Unitary Lie Algebras and Lie Tori of Type BC_r, r \geq 3

Bruce Allison, Georgia Benkart|arXiv (Cornell University)|Nov 20, 2008

Algebraic structures and combinatorial models参考文献 25被引用 4

一句话总结

本论文将类型为 $ΒΧ_r$、$r \geq 3$ 的无中心李 $Λ$-代数构造并分类为具有对合的结合环上的非退化 $Λ$-加权埃尔米特型式的特殊酉李代数。关键结果是一个结构定理，证明任意此类无中心李 $Λ$-代数均与一个酉李 $Λ$-代数双同构，且通过二次型与 $Λ$-加权空间上的正交群轨道实现完整分类。

ABSTRACT

A Lie G-torus of type X_r is a Lie algebra with two gradings -- one by an abelian group G and the other by the root lattice of a finite irreducible root system of type X_r. In this paper we construct a centreless Lie G-torus of type BC_r, which we call a unitary Lie G-torus, as it is a special unitary Lie algebra of a nondegenerate G-graded hermitian form of Witt index r over an associative torus with involution. We prove a structure theorem for centreless Lie G-tori of type BC_r, r \geq 3, that states that any such Lie torus is bi-isomorphic to a unitary Lie G-torus, and we determine necessary and sufficient conditions for two unitary Lie G-tori to be bi-isomorphic. The motivation to investigate Lie G-tori came from the theory of extended affine Lie algebras, which are natural generalizations of the affine and toroidal Lie algebras. Every extended affine Lie algebra possesses an ideal which is a Lie n-torus of type X_r for some irreducible root system X_r, where by an n-torus we mean that the group G is a free abelian group of rank n for some n \geq 0. The structure theorem above enables us to classify centreless Lie n-tori of type BC_r, r \geq 3. We show that they are determined by pairs consisting of a quadratic form K on an n-dimensional Z_2-vector space and of an orbit of the orthogonal group of K. We use that result to construct extended affine Lie algebras of type BC_r, r \geq 3. Our article completes a large project involving many earlier papers and many authors to determine the centreless Lie n-tori of all types.

研究动机与目标

• 将类型 $ΒΧ_r$、$r \geq 3$ 的无中心李 $Λ$-代数构造并分类为具有对合的结合环上的酉李代数。
• 建立一个结构定理，表明任一类型 $ΒΧ_r$ 的无中心李 $Λ$-代数均与一个酉李 $Λ$-代数双同构。
• 确定两个酉李 $Λ$-代数双同构的必要与充分条件。
• 将分类结果应用于通过具有对合的结合 $n$-环与 $Λ$-加权空间上的二次型，系统构造类型 $ΒΧ_r$、$r \geq 3$ 的广义仿射李代数。

提出的方法

• 将酉李 $Λ$-代数构造为具有对合的结合环上、Witt 指标为 $r$ 的非退化 $Λ$-加权埃尔米特性形式的特殊酉李代数。
• 通过相对于一个可对角化子代数的根空间分解来定义根加权，通过结合环加权来定义外部 $Λ$-加权。
• 通过证明任一类型 $ΒΧ_r$ 的无中心李 $Λ$-代数均源于此类酉李 $Λ$-代数，从而证明结构定理。
• 通过分析正交群在 Wits 指标及 $Λ$-加权空间上关联二次型上的作用，建立双同构不变量。
• 通过二次型 $κ$ 与 $κ$ 的正交群轨道的配对对无中心李 $n$-代数进行分类，其中 $κ$ 是 $n$ 维 $\mathbb{Z}_2$-向量空间上的二次型，且 $n = \text{rank}(\u039b)$。
• 利用 Neher 构造，从已分类的李 $n$-代数系统构造类型 $ΒΧ_r$ 的广义仿射李代数，借助双同构分类。

实验结果

研究问题

• RQ1 在具有对合的结合环上的加权埃尔米特性形式的框架下，类型 $ΒΧ_r$、$r \geq 3$ 的无中心李 $Λ$-代数的结构是怎样的？
• RQ2 在何种条件下，两个酉李 $Λ$-代数是双同构的？
• RQ3 如何通过二次型与 $Λ$-加权空间上的正交群轨道来表达类型 $ΒΧ_r$ 的无中心李 $n$-代数的分类？
• RQ4 能否系统地从已分类的李 $n$-代数构造出类型 $ΒΧ_r$ 的广义仿射李代数？
• RQ5 在构造广义仿射李代数族的背景下，双同构关系与同构等价关系之间存在何种关系？

主要发现

• 任一类型 $ΒΧ_r$、$r \geq 3$ 的无中心李 $Λ$-代数均与一个酉李 $Λ$-代数双同构，该酉李 $Λ$-代数是具有对合的结合环上、Witt 指标为 $r$ 的非退化 $Λ$-加权埃尔米特性形式的特殊酉李代数。
• 两个酉李 $Λ$-代数双同构当且仅当它们在 $Λ$-加权空间上关联的二次型等价，且其关联的正交群轨道一致。
• 无中心李 $n$-代数在类型 $ΒΧ_r$ 下，通过配对分类：即 $n$ 维 $\mathbb{Z}_2$-向量空间上的二次型 $κ$ 与 $κ$ 的正交群轨道，其中 $n = \text{rank}(\u039b)$。
• 该分类可导出通过 Neher 构造将广义仿射李代数与已分类的李 $n$-代数关联的构造方法。
• 结果可推广至具有不变预除环结构的 $(ΒΧ_r, \u039b)$-加权李代数，当形式非退化且加权相容时，酉李 $Λ$-代数是其特例。