[논문 리뷰] A Theory of Lorentzian Kac-Moody algebras

Viacheslav V. Nikulin|ArXiv.org|1998. 10. 01.

Algebraic structures and combinatorial models참고 문헌 27인용 수 3

한 줄 요약

이 논문은 일반화된 카크-무디 대수와 헤르미트 대칭 도메인의 IV형에서의 자동형 함수를 활용하여, 유한 및 아핀 카크-무디 대수의 일반화인 로렌츠형 카크-무디 대수에 대한 종합적인 이론을 수립한다. 주요 기여는 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.

연구 동기 및 목표

• 유한 및 아핀 사례를 초월하여 로렌츠형(쌍곡형) 일반화 카르탕 행렬을 포함하는 카크-무디 대수의 분류를 확장하기 위해.
• 일반화된 카크-무디 대수와 자동형 함수를 활용한 로렌츠형 카크-무디 대수에 대한 체계적인 프레임워크를 수립하기 위해.
• Weyl 군의 쌍곡 공간 위에서의 작용 기하학과 분모 함수의 성질을 바탕으로 한 분류 프로그램을 제공하기 위해.
• 유한 및 아핀 카크-무디 대수의 구조적 특징을 쌍곡 기하학과 자동형 함수에서 유래하는 새로운 현상과 통합하기 위해.
• 격자 Weyl 벡터와 유한 부피를 가진 기본 다면체를 통한 로렌츠형 카크-무디 대수의 존재성과 구축을 탐색하기 위해.

제안 방법

• 보르처스가 도입한 일반화된 카크-무디 대수를 기초적인 대수적 구조로 사용한다.
• 로렌츠형 카크-무디 대수의 분모 함수로 IV형 헤르미트 대칭 도메인 위의 자동형 함수를 적용한다.
• 근 공간의 구조를 정의하는 정수 쌍곡 격자 $ S $ 에 따른 분할을 도입한다.
• Weyl 군이 관련된 쌍곡 공간 위에서의 작용을 분석하며, 유한(또는 거의 유한) 부피를 가진 기본 다면체 $ \mathcal{M} $ 에 중점을 둔다.
• 가능한 대수들을 제약하고 분류를 가능하게 하기 위해 격자 Weyl 벡터의 개념을 활용한다.
• 특히 리치 격자로부터 자동형 함수를 구성한 R. 보르처스의 결과를 일반 이론의 원형으로 삼는다.

실험 결과

연구 질문

• RQ1 카크-무디 대수의 이론은 어떻게 쌍곡형(로렌츠형) 일반화 카르탕 행렬을 포함하도록 확장될 수 있는가?
• RQ2 IV형 헤르미트 대칭 도메인 위의 자동형 함수는 어떻게 로렌츠형 카크-무디 대수의 분모 함수를 정의하는가?
• RQ3 격자 $ S $ 와 관련된 쌍곡 공간 위에서 Weyl 군의 작용이 분류를 지원할 수 있는 유한 부피를 가진 기본 다면체를 유도할 수 있는가?
• RQ4 격자 Weyl 벡터는 어떻게 로렌츠형 카크-무디 대수의 가능한 구조를 제약하는가?
• RQ5 어떤 조건이 이러한 대수의 분모 함수가 자동형 함수가 되도록 보장하는가? 이는 리치 격자로부터 유도된 보르처스 대수와 같은 알려진 사례를 어떻게 일반화하는가?

주요 결과

• 이론은 쌍곡형 일반화 카르탕 행렬과 자동형 분모 함수를 통합함으로써, 유한 및 아핀 카크-무디 대수를 일반화한다.
• Weyl 군은 정수 쌍곡 격자 $ S $ 와 관련된 쌍곡 공간 위에서 작용하며, 그 기본 다면체 $ \mathcal{M} $ 는 유한 부피를 갖는다.
• 격자 Weyl 벡터의 존재는 로렌츠형 카크-무디 대수의 가능한 구조에 대한 유한 또는 거의 유한한 분류를 가능하게 하는 핵심 제약 조건을 제공한다.
• 분모 함수는 IV형 헤르미트 대칭 도메인 위의 자동형 함수로 표현되며, 보르처스의 리치 격자로부터의 구성 방식을 일반화한다.
• 이 프레임워크는 많은 로렌츠형 카크-무디 대수의 체계적 구축을 가능하게 하며, 이미 분류 결과가 도출되었다.
• 이론은 알려진 예들과 일관되며, 기하학적 및 산술적 제약 조건을 통해 이러한 대수의 완전한 분류로 이르는 길을 제시한다.