[논문 리뷰] A lecture on Kac--Moody Lie algebras of the arithmetic type

Viacheslav V. Nikulin|ArXiv.org|1994. 12. 06.

Algebraic structures and combinatorial models참고 문헌 2인용 수 25

한 줄 요약

이 논문은 아르키메데스적 성질을 가진 케이크–무디 리 대수를 도입하고 분류하며, 이를 초월기 하이퍼볼릭 케이크–무디 대수의 일반화로 간주한다. 이는 하이퍼볼릭 공간 내 아르키메데스 반사군과 연결된다. 일반화된 카르탕 행렬이 이 유형에 속하는 경우, 유한, 아핀, 랭크 2, 아르키메데스 하이퍼볼릭의 네 가지 유형으로 분류되며, 반사적 정수 대칭 이차형식을 통해 이들의 완전한 분류를 제시한다. 유한한 수의 계열이 존재하며, 대칭 경우의 완전한 분류가 알려져 있다.

ABSTRACT

We name an indecomposable symmetrizable generalized Cartan matrix $A$ and the corresponding Kac--Moody Lie algebra ${\goth g} ^\prime (A)$ {\it of the arithmetic type} if for any $β\in Q$ with $(β| β)<0$ there exist $n(β)\in {\Bbb N}$ and an imaginary root $α\in Δ^{im}$ such that $n(β)β\equiv α\mod Ker\ (.|.)$ on $Q$. Here $Q$ is the root lattice. This generalizes "symmetrizable hyperbolic" type of Kac and Moody. We show that generalized Cartan matrices of the arithmetic type are divided in $4$ types: (a) finite, (b) affine, (c) rank two, and (d) arithmetic hyperbolic type. The last type is very closely related with arithmetic groups generated by reflections in hyperbolic spaces with the field of definition $\Bbb Q$. We apply results of the author and É.B. Vinberg on arithmetic groups generated by reflections in hyperbolic spaces to describe generalized Cartan matrices of the arithmetic hyperbolic type and to show that there exists a finite set of series of the generalized Cartan matrices of the arithmetic hyperbolic type. For the symmetric case all these series are known.

연구 동기 및 목표

• 아르키메데스적 성질을 가진 케이크–무디 리 대수를 정의하고 특성화함으로써, 대칭가능한 하이퍼볼릭 유형을 일반화함.
• 이 유형의 일반화된 카르탕 행렬을 네 가지 유형으로 분류함: 유한, 아핀, 랭크 2, 아르키메데스 하이퍼볼릭.
• 이러한 대수와 하이퍼볼릭 공간 내 유리수 체를 정의 체로 가지는 아르키메데스 반사군 사이의 대응관계 수립.
• 아르키메데스 하이퍼볼릭 유형의 일반화된 카르탕 행렬이 반사적 원시 하이퍼볼릭 정수 대칭 이차형식의 유한한 집합에서 유래함을 증명함.
• 대칭일 때의 일반화된 카르탕 행렬의 아르키메데스 하이퍼볼릭 유형에 대한 완전한 기술 제공. 이는 2-반사 형식과 기존의 분류 결과를 활용함.

제안 방법

• 아르키메데스적 성질 조건 도입: 음의 노름을 가진 근 β에 대해, 어떤 배수 n(β)β가 Ker(·|·)에 모듈로 합동인 이미지 근 α가 존재함.
• 대칭가능한 일반화된 카르탕 행렬 A로부터 유도된 근 격자 Q 위의 표준 대칭 이차형식 (·|·) 사용.
• 니쿨린과 비너버그의 하이퍼볼릭 공간 내 아르키메데스 반사군에 관한 결과를 활용하여 반사적 정수 대칭 이차형식 S를 분류함.
• 반사적 형식 S, O(S)의 유한지수 반사 부분군 W̃ ⊂ O(S), 그리고 정수성 및 생성 조건을 만족하는 함수 λ: P(M)pr → ℕ로부터 일반화된 카르탕 행렬 A(S, W̃, λ)를 구성함.
• 이러한 대수와 불변량 (S, W̃, λ) 사이의 표준적 대응관계 수립. 모든 이러한 대수들이 이 구성에서 유래됨을 증명함.
• 2-반사 조건([O(S):W(2)(S)] < ∞)를 활용하여 대칭 경우를 완전히 분류함. 이는 랭크 19 이하까지 알려진 이러한 형식의 분류 결과를 활용함.

실험 결과

연구 질문

• RQ1 아르키메데스적 성질을 가진 케이크–무디 리 대수를 정의하는 조건은 무엇이며, 이는 대칭가능한 하이퍼볼릭 유형을 어떻게 일반화하는가?
• RQ2 아르키메데스 하이퍼볼릭 유형의 일반화된 카르탕 행렬은 어떻게 분류되며, 그들이 속하는 구조적 유형은 무엇인가?
• RQ3 이러한 케이크–무디 대수와 하이퍼볼릭 공간 내 ℚ을 정의 체로 가지는 아르키메데스 반사군 사이의 관계는 무엇인가?
• RQ4 아르키메데스 하이퍼볼릭 유형의 일반화된 카르탕 행렬에 대해 유한한 계열이 존재하는가? 그리고 반사적 형식으로부터 명시적으로 구성할 수 있는가?
• RQ5 대칭일 때의 아르키메데스 하이퍼볼릭 유형의 일반화된 카르탕 행렬의 완전한 분류는 무엇이며, 2-반사 형식과의 관계는 어떻게 되는가?

주요 결과

• 아르키메데스적 성질을 가진 일반화된 카르탕 행렬은 네 가지 유형으로 나뉜다: 유한, 아핀, 랭크 2, 아르키메데스 하이퍼볼릭.
• 아르키메데스 하이퍼볼릭 유형은 하이퍼볼릭 공간 내 유리수 체를 정의 체로 가지는 아르키메데스 반사군과 밀접하게 관련되어 있다.
• 반사적 원시 하이퍼볼릭 정수 대칭 이차형식에 대응하는 아르키메데스 하이퍼볼릭 유형의 일반화된 카르탕 행렬의 유한한 계열 집합이 존재한다.
• 대칭 경우에서는 모든 이러한 행렬이 완전히 분류되어 있으며, 최대 랭크는 19이며, 2-반사 형식을 사용한다.
• 이러한 대수의 구성은 표준적이다: 각 대수는 (S, W̃, λ)의 삼중조합에서 유래하며, 여기서 S는 반사적 형식, W̃는 유한지수 반사 부분군, λ는 (4.4)와 (4.5)를 만족하는 함수이다.
• 대칭 경우는 [O(S):W(2)(S)] < ∞를 만족하는 2-반사 형식 S에 대응하며, 이러한 모든 형식은 랭크 19 이하까지 알려져 있다.