[논문 리뷰] Coxeter groups, Lorentzian lattices, and K3 surfaces

Richard E. Borcherds|ArXiv.org|1998. 06. 25.

Advanced Combinatorial Mathematics인용 수 28

한 줄 요약

이 논문은 코x터 군, 특히 루체르티안 격자와 K3 곡면과 관련된 무한 코x터 군에서의 포물선 부분군의 정규화군을 계산하기 위한 범주론적 프레임워크를 개발한다. 이는 자명한 군 $\Gamma_{\Omega}$가 유한 범주 $Q_4$의 기본군과 동형임을 보여주며, 이는 명시적인 표현을 가능하게 하고, $\Gamma_{\Omega}$가 유한 코homological 차원을 지니고 있음에도 불구하고 자주 비산술적임을 증명한다.

ABSTRACT

The main result of this paper describes the normalizer of a finite parabolic subgroup of a (possibly infinite) Coxeter group. We use this to compute the automorphism groups of some Lorentzian lattices and K3 surfaces.

연구 동기 및 목표

• 무한 코x터 군 $W_\Pi$에서 유한 포물선 부분군 $W_J$의 정규화군을 기술하는 것, 특히 $W_\Pi$가 무한일 경우.
• Howlett의 유한 코x터 군에 대한 결과를 일반화하기 위해, $\Gamma_\Omega$를 실현하는 기본군을 가지는 범주 $Q_4$를 도입하는 것.
• II_{1,25}에의 임베딩을 통해 루체르티안 격자와 K3 곡면의 자기동형군을 계산하기 위해 프레임워크를 적용하는 것.
• $\Gamma_\Omega$가 언제 산술적인지 결정하는 것. 유한 가상 코homological 차원을 지니고 있음에도 불구하고 자주 비산술적임을 보여주는 것.
• 루트 체계의 조합론과 다이어그램 자기동형사상의 기법을 사용하여, K3 곡면의 자기동형군에 대한 결과를 재증명하고 확장하는 것. 이는 임의의 아핀 K3 곡면과 '대부분 대수적'인 K3 곡면을 포함한다.

제안 방법

• 코x터 다이어그램 $\Pi$와 부분집합 $J$로부터 유한 범주 $Q_4$를 구성하여, $Q_4$의 기본군이 $\Gamma_\Omega$와 동형임을 보이는 것.
• 범주 $Q_4$를 사용하여 $\Gamma_\Omega$의 표현을 유도하는 것. 특히 $J = A_1$일 때 $Q_4$가 1차원이므로 $\Gamma_\Omega$가 자유군임을 보여주며, Brink의 결과를 복원하는 것.
• 반사군의 코x터 다이어그램인 $II_{1,25}$의 프레임워크를 적용하는 것. 이는 짝수 단순 루체르티안 격자를 나타낸다.
• 다이어그램 자기동형사상 $\Gamma_\Pi$와 부분군 $R \triangleleft \Gamma_J$를 사용하여 $W_\Omega$를 변화시켜, 자기동형군에 포함되는 반사들을 제어하는 것.
• Conway와 Sloane의 $II_{1,25}$에 관한 결과와 Kondo의 K3 곡면에 관한 연구를 활용하여, Picard 격자를 루트 격자의 직교보완으로 포함시키는 것.
• Margulis의 정규부분군에 관한 정리와 Borel–Serre의 가상 코homological 차원 공식을 활용하여, $\Gamma_\Omega$가 랭크 $\geq 2$인 어떤 리군에서도 산술적이지 않음을 보이는 것.

실험 결과

연구 질문

• RQ1 고전적 사례별 분석이 실패할 경우, 무한 코x터 군에서 포물선 부분군의 정규화군은 어떻게 묘사할 수 있는가?
• RQ2 정규화 분해식 $N_{W_\Pi}(W_J) = W_J \cdot W_\Omega \cdot \Gamma_\Omega$ 속에서 등장하는 $\Gamma_\Omega$의 구조는 무엇인가?
• RQ3 II_{1,25}에서 루트 체계의 조합론과 다이어그램 자기동형사상 기반으로 K3 곡면의 자기동형군을 계산할 수 있는가?
• RQ4 $\Gamma_\Omega$가 언제 산술적이며, 언제 유한 코homological 차원을 지니고 있음에도 불구하고 비산술적인가?
• RQ5 자기동형군의 구조를 기반으로, 임의의 아핀 Kummer 곡면의 자기동형군은 범주 $Q_4$와 $\Gamma_\Omega$의 구조를 어떻게 묘사할 수 있는가?

주요 결과

• $\Gamma_\Omega$는 유한 범주 $Q_4$의 기본군과 동형이므로, $\Gamma_\Omega$에 대한 명시적 표현 계산이 가능하다.
• $J = A_1$일 때, 범주 $Q_4$는 1차원이므로 $\Gamma_\Omega$는 자유군이며, 이는 Brink의 결과를 복원한다.
• 일반적인 종수 2 곡선의 임의의 아핀 Kummer 곡면의 경우, $\Gamma_\Omega \cong ((\mathbb{Z}/2\mathbb{Z})^5 \cdot S_6) \ast_{S_5} (S_5 \times \mathbb{Z}/2\mathbb{Z})$이며, 이는 192개의 $\mathbb{Z}/2\mathbb{Z}$ 복합체로 이루어진 정규부분군을 가진다.
• K3 곡면의 자기동형군에 대한 $\Gamma_\Omega$는 랭크 $\geq 2$인 어떤 리군 $G$에서도 산술적이지 않다. 이는 2차원의 충실한 표현에 너무 큰 유한 부분군이 존재하기 때문이다.
• $n \leq 19$일 때, $I_{1,n}$의 반사군은 $\mathrm{O}^+(I_{1,n})$에 유한 지수를 가지며, $\Gamma_\Omega$는 유한하다. 이는 $n = 20$일 때 예외적인 $D_5$ 경우로 인해 실패한다.
• $J = D_4$이고 $R = \mathrm{Aut}(J) = S_3$일 때, $\Gamma_\Omega$는 유한하다. 이는 $R$의 선택이 $\Gamma_\Omega$의 구조에 상당한 영향을 미친다는 것을 보여준다.