[论文解读] A Theory of Lorentzian Kac-Moody algebras

Viacheslav V. Nikulin|ArXiv.org|Oct 1, 1998

Algebraic structures and combinatorial models参考文献 27被引用 3

一句话总结

本文通过利用广义 Kac-Moody 代数和 IV 型 Hermitian 对称域上的自守形式，发展了一套关于 Lorentzian Kac-Moody 代数的完整理论——这是有限型与仿射 Kac-Moody 代数的推广。其关键贡献在于构建了一个框架，其中 Weyl 群在具有有限体积基本多面体的双曲空间上作用，从而通过格点 Weyl 向量和自守判别函数实现对这些代数的分类程序。

ABSTRACT

We present a variant of the Theory of Lorentzian (i. e. with a hyperbolic generalized Cartan matrix) Kac-Moody algebras recently developed by V. A. Gritsenko and the author. It is closely related with and strongly uses results of R. Borcherds. This theory should generalize well-known Theories of finite Kac-Moody algebras (i. e. classical semisimple Lie algebras corresponding to positive generalized Cartan matrices) and affine Kac-Moody algebras (corresponding to semi-positive generalized Cartan matrices). Main features of the Theory of Lorentzian Kac-Moody algebras are: One should consider generalized Kac-Moody algebras introduced by Borcherds. Denominator function should be an automorphic form on IV type Hermitian symmetric domain (first example of this type related with Leech lattice was found by Borcherds). The Kac-Moody algebra is graded by an integral hyperbolic lattice $S$. Weyl group acts in the hyperbolic space related with $S$ and has a fundamental polyhedron $\Cal M$ of finite (or almost finite) volume and a lattice Weyl vector. There are results and conjectures which permit (in principle) to get a ``finite'' list of all possible Lorentzian Kac-Moody algebras. Thus, this theory looks very similar to Theories of finite and affine Kac-Moody algebras but is much more complicated. There were obtained some classification results on Lorentzian Kac-Moody algebras and many of them were constructed.

研究动机与目标

• 将 Kac-Moody 代数的分类从有限型与仿射型推广至包含 Lorentzian（双曲）广义 Cartan 矩阵的情形。
• 通过广义 Kac-Moody 代数与自守形式，建立 Lorentzian Kac-Moody 代数的系统性框架。
• 基于 Weyl 群在双曲空间上的作用几何性质与判别函数的特性，提供一个分类程序。
• 将有限型与仿射 Kac-Moody 代数的结构特征与来自双曲几何及自守形式的新现象统一起来。
• 通过格点 Weyl 向量与有限体积基本多面体，探索 Lorentzian Kac-Moody 代数的存在性与构造方法。

提出的方法

• 以 Borcherds 引入的广义 Kac-Moody 代数作为基础代数结构。
• 将 IV 型 Hermitian 对称域上的自守形式用作 Kac-Moody 代数的判别函数。
• 通过一个整数双曲格点 $ S $ 实施分次，从而定义根空间结构。
• 分析 Weyl 群在相关双曲空间上的作用，重点关注其具有有限（或几乎有限）体积的基本多面体 $ \mathcal{M} $。
• 采用格点 Weyl 向量的概念以限制可能的代数并实现分类。
• 借鉴 R. Borcherds 的结果，特别是从 Leech 格点构造自守形式的方法，作为一般理论的原型。

实验结果

研究问题

• RQ1 如何将 Kac-Moody 代数的理论扩展至包含双曲（Lorentzian）广义 Cartan 矩阵的情形？
• RQ2 IV 型 Hermitian 对称域上的自守形式在定义 Lorentzian Kac-Moody 代数的判别函数中起到何种作用？
• RQ3 与格点 $ S $ 相关的双曲空间上，Weyl 群的作用是否能产生一个支持分类的有限体积基本多面体？
• RQ4 格点 Weyl 向量以何种方式限制 Lorentzian Kac-Moody 代数的可能结构？
• RQ5 在何种条件下，此类代数的判别函数为自守形式？这一条件如何推广已知情形（如从 Leech 格点构造的 Borcherds 代数）？

主要发现

• 该理论通过引入双曲广义 Cartan 矩阵与自守判别函数，推广了有限型与仿射型 Kac-Moody 代数。
• Weyl 群在与整数双曲格点 $ S $ 相关的双曲空间上作用，其基本多面体 $ \mathcal{M} $ 具有有限体积。
• 格点 Weyl 向量的存在提供了关键约束，使得可能的 Lorentzian Kac-Moody 代数可实现有限或几乎有限分类。
• 判别函数被实现为 IV 型 Hermitian 对称域上的自守形式，推广了 Borcherds 从 Leech 格点出发的构造方法。
• 该框架允许系统性地构造大量 Lorentzian Kac-Moody 代数，且已获得分类结果。
• 该理论与已知例子一致，并为通过几何与算术约束实现所有此类代数的完整分类提供了路径。