[논문 리뷰] The Singular Theta Correspondence, Lorentzian Lattices and Borcherds-Kac-Moody Algebras

Alex V. Barnard|ArXiv.org|2003. 07. 08.

Advanced Algebra and Geometry참고 문헌 38인용 수 14

한 줄 요약

이 논문은 특이 θ 대응과 로렌츠 래티스 사이의 연결고리를 확립하며, 개방된 추측을 전제로 하여 Weyl 벡터를 가진 로렌츠 반사군이 벡터값 모듈라 형식으로부터 유도됨을 증명한다. 이는 이러한 군의 최대 차원이 26임을 확인하고, Borcherds–Kac–Moody 대수학과 궤도 위상점의 보편적 보편 대수학 및 몬스터 군을 연결하며, 특이 가중치를 가진 자동형 함수를 통한 분류 가능성을 제안한다.

ABSTRACT

This dissertation answers some of the questions raised in Borcherds' papers on Moonshine and Lorentzian reflection groups. We prove (assuming an open conjecture of Burger, Li and Sarnak) that a Lorentzian reflection group with Weyl vector is associated to a vector-valued modular form. This result allows us to establish a folklore conjecture that the maximal dimension of a Lorentzian reflection group with Weyl vector is 26. In the case of elementary lattices, we show that these vector-valued forms can be obtained by inducing scalar-valued forms. This allows us to explain the critical signatures which occur in Borcherds' work. Many of the structures which occur at these critical signatures are especially beautiful and have appeared independently throughout the literature. We investigate Borcherds-Kac-Moody (BKM) algebras with denominator formulas that are singular weight automorphic forms. The results of these investigations suggest that all such BKM algebras are related to orbifold constructions of vertex algebras and elements of the Monster sporadic group. Finally, we show how work in this dissertation combined with results of Bruinier gives a new insight into the arithmetic mirror symmetry conjecture of Gritsenko and Nikulin.

연구 동기 및 목표

• Borcherds의 Moonshine 및 로렌츠 반사군에 관한 미해결 문제를 해결하기 위해.
• 가짜 극점 형식과 특이 θ 대응 사이의 연결 고리를 확립하기 위해.
• 개방된 추측을 전제로 하여 Weyl 벡터를 가진 로렌츠 반사군이 벡터값 모듈라 형식과 관련이 있음을 증명하기 위해.
• 스칼라값 형식에서의 유도를 통해 Borcherds의 작업에서 나타나는 임계 서명을 설명하기 위해.
• 분모 공식이 특이 가중치 자동형 함수인 BKM 대수학을 조사하고, 궤도 위상점의 보편 대수학과 몬스터 군을 통한 분류를 제안하기 위해.

제안 방법

• 특이 θ 대응을 사용하여 모듈라 형식에서 가짜 극점 형식을 구성한다.
• 벡터값 모듈라 형식 이론을 적용하여 Weyl 벡터를 지닌 로렌츠 래티스와 연관시킨다.
• Burger, Li, Sarnak의 오рhogonal 군의 자동형 스펙트럼에 관한 개방된 추측을 기본 가정으로 삼는다.
• 기초 래티스의 경우 스칼라값 형식에서 유도하여 벡터값 형식을 구성한다.
• 분모 공식이 특이 가중치 자동형 함수인 BKM 대수학을 분석하고, 보편 대수학적 구성과 연관지킨다.
• Bruinier의 결과와 결합하여 Gritsenko–Nikulin의 산술 거울 대칭 추측에 대한 새로운 통찰을 제공한다.

실험 결과

연구 질문

• RQ1 리만 가설을 만족하는 가짜 극점 형식은 특이 θ 대응을 통해 구성될 수 있는가?
• RQ2 어떤 조건에서 Weyl 벡터를 가진 로렌츠 반사군이 벡터값 모듈라 형식과 관련이 있는가?
• RQ3 Borcherds의 구성에서 임계 서명이 나타나는 이유는 무엇이며, 그 대칭성은 어떻게 설명되는가?
• RQ4 분모 공식이 특이 가중치 자동형 함수인 모든 BKM 대수학이 궤도 위상점의 보편 대수학과 몬스터 군과 관련이 있는가?
• RQ5 특이 θ 대응은 Gritsenko와 Nikulin의 산술 거울 대칭 추측에 어떻게 기여하는가?

주요 결과

• Weyl 벡터를 가진 로렌츠 반사군의 최대 차원이 26임이 확인되어 오랫동안 널리 퍼진 민간 추측을 지지한다.
• Hejhal이 연구한 가짜 극점 형식은 특이 θ 대응을 통해 구성될 수 있다.
• 기초 래티스의 경우 스칼라값 형식에서 유도함으로써 벡터값 모듈라 형식을 얻을 수 있으며, 이는 임계 서명의 출현을 설명한다.
• 임계 서명에서의 구조는 놀라운 대칭성을 보이며, 여러 수학 문헌에서 독립적으로 나타난다.
• 분모 공식이 특이 가중치 자동형 함수인 BKM 대수학은 궤도 위상점의 보편 대수학과 몬스터 군과 관련이 있을 것으로 추측되며, 이는 잠재적 분류를 시사한다.
• 이 연구 결과와 Bruinier의 결과를 결합함으로써 Gritsenko–Nikulin의 산술 거울 대칭 추측에 대한 새로운 통찰을 제공한다.