[논문 리뷰] Automorphic Forms and Lorentzian Kac--Moody Algebras. Part I

Valeri A. Gritsenko, Viacheslav V. Nikulin|ArXiv.org|1996. 10. 31.

Algebraic structures and combinatorial models참고 문헌 34인용 수 11

한 줄 요약

이 논문은 반사 라티스의 두 개의 음의 제곱을 갖는 일반적인 방법에 기반하여, 랭크 3이고 격자 웨일 벡터를 갖는 타원형이며 대칭적이고 비틀린 히퍼볼릭 일반화 카르탕 행렬을 분류한다. 또한 리 반사 자동형 함수를 도입하고, IV형 도메인에서의 반사 자동형 함수와 히퍼볼릭 근계 사이의 연결을 제안하는 산술 거울 대칭 추측을 제시하며, 제2부에서 로렌츠형 카크–무디 대수의 자동형 보정을 위한 기초를 마련한다.

ABSTRACT

Using the general method which was applied to prove finiteness of the set of hyperbolic generalized Cartan matrices of elliptic and parabolic type, we classify all symmetric (and twisted to symmetric) hyperbolic generalized Cartan matrices of elliptic type and of rank 3 with a lattice Weyl vector. We develop the general theory of reflective lattices T with 2 negative squares and reflective automorphic forms on homogeneous domains of type IV defined by T. We consider this theory as mirror symmetric to the theory of elliptic and parabolic hyperbolic reflection groups and corresponding hyperbolic root systems. We formulate Arithmetic Mirror Symmetry Conjecture relating both these theories and prove some statements to support this Conjecture. This subject is connected with automorphic correction of Lorentzian Kac--Moody algebras. We define Lie reflective automorphic forms which are the most beautiful automorphic forms defining automorphic Lorentzian Kac--Moody algebras, and we formulate finiteness Conjecture for these forms. Detailed study of automorphic correction and Lie reflective automorphic forms for generalized Cartan matrices mentioned above will be given in Part II.

연구 동기 및 목표

• 타원형이며 랭크 3이고 격자 웨일 벡터를 갖는 대칭적이고 비틀린 히퍼볼릭 일반화 카르탕 행렬을 분류하는 것.
• 두 개의 음의 제곱을 갖는 반사 라티스와 IV형 허미트 대칭 도메인에서의 반사 자동형 함수에 대한 일반 이론을 개발하는 것.
• 타원형/포라빅 히퍼볼릭 반사군 이론과 반사 자동형 함수 이론 사이의 거울 대칭적 이중성 관계를 수립하는 것.
• 두 이론를 연결하는 산술 거울 대칭 추측을 제안하고 初기 결과로 지지하는 것.
• 리 반사 자동형 함수를 정의하여 자동형 로렌츠형 카크–무디 대수를 정의하는 가장 자연스러운 자동형 함수로 삼고, 그에 대한 유한성 추측을 제안하는 것.

제안 방법

• 이전에 타원형 및 포라빅 유형의 히퍼볼릭 일반화 카르탕 행렬의 유한성을 증명하는 데 사용된 일반적 방법을 적용하여, 격자 웨일 벡터를 갖는 랭크 3 대칭 및 비틀린 경우를 분류하는 것.
• 서명 (2, n)을 갖는 반사 라티스 T와 그에 관련된 허미트 대칭 도메인의 IV형에서의 자동형 함수를 연구하는 것.
• 유계 대칭 도메인에서의 자동형 함수 이론을 사용하여 반사 초평면과 웨일 벡터의 구조 및 유한성 분석하는 것.
• 보르체르스乘의를 통해 로렌츠형 카크–무디 대수를 정의하는 자동형 함수로 리 반사 자동형 함수의 개념을 도입하는 것.
• 거울 대칭 원리에 기반하여 반사군의 기하학과 자동형 함수의 산술학 사이의 이중성 관계를 수립하는 것.
• 히퍼볼릭 근계 이론과 반사 자동형 함수 이론 사이의 다리를 놓는 산술 거울 대칭 추측을 제안하는 것.

실험 결과

연구 질문

• RQ1 타원형이며 랭크 3인 대칭적이고 비틀린 히퍼볼릭 일반화 카르탕 행렬 중에서 격자 웨일 벡터를 갖는 것은 무엇이며, 어떻게 분류할 수 있는가?
• RQ2 IV형 도메인에서의 반사 자동형 함수는 두 개의 음의 제곱을 갖는 라티스의 기하학과 어떻게 관련되는가?
• RQ3 타원형/포라빅 히퍼볼릭 반사군 이론과 허미트 대칭 도메인에서의 반사 자동형 함수 이론 사이의 정확한 이중성은 무엇인가?
• RQ4 리 반사 자동형 함수의 구조적 성질과 유한성은 무엇이며, 자동형 로렌츠형 카크–무디 대수를 어떻게 정의하는가?
• RQ5 산술 거울 대칭 추측은 자동형 함수의 산술학을 히퍼볼릭 근계의 조합론과 어떻게 통합하는가?

주요 결과

• 논문은 일반적인 유한성 방법을 사용하여, 격자 웨일 벡터를 갖는 모든 대칭적이고 비틀린 히퍼볼릭 일반화 카르탕 행렬을 랭크 3에서 분류한다.
• 타원형/포라빅 히퍼볼릭 반사군 이론과 IV형 도메인에서의 반사 자동형 함수 이론 사이의 이중성을 수립한다.
• 자동형 로렌츠형 카크–무디 대수를 정의하는 데 가장 자연스러운 자동형 함수로 리 반사 자동형 함수의 개념을 도입한다.
• 반사 자동형 함수와 히퍼볼릭 근계 사이의 깊은 연결을 제안하는 산술 거울 대칭 추측을 제안한다.
• 리 반사 자동형 함수에 대한 유한성 추측을 제안하여, 특정 조건 하에서는 이러한 자동형 함수가 유한 개 뿐임을 시사한다.
• 자동형 보정을 위한 로렌츠형 카크–무디 대수의 기초 틀을 마련하였으며, 자세한 연구는 제2부로 연기된다.