[논문 리뷰] Kazhdan's Theorem on Arithmetic Varieties

J. S. Milne|ArXiv.org|2001. 06. 23.

Geometry and complex manifolds참고 문헌 19인용 수 3

한 줄 요약

이 논문은 산술 다양체에 대한 카즈단의 정리에 대해 분류에 의존하지 않는 통일된 증명을 제공하며, ℂ의 임의의 자기동형사상에 의해 공역이 변환된 산술 다양체가 여전히 산술적임을 보여준다. 버그만 계량, 군론적 구조, 허미트 대칭 도메인의 성질을 활용하여, 차원 수가 3 이상이거나 최대 토러스 분해 조건을 만족할 경우에 한해 사례별 분석을 피하고, 클로젤의 극한 스피닝 스피닝 이론에 기반하여 결과를 확립한다.

ABSTRACT

Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex numbers to the coefficients of an arithmetic variety the resulting variety is again arithmetic. This article simplifies Kazhdan's proof. In particular, it avoids recourse to the classification theorems. It was originally completed on March 28, 1984, and distributed in handwritten form. July 23, 2001: Fixed about 30 misprints.

연구 동기 및 목표

• 산술 다양체에 대한 카즈단의 정리에 대해 분류에 의존하지 않는 통일된 증명을 제공한다.
• 모든 체 자기동형사상 σ ∈ Aut(ℂ)에 대해 산술 다양체의 공역이 여전히 산술적임을 보인다.
• 분류 정리 대신 기하학적 및 군론적 기법을 사용하여 사례별 분석을 피한다.
• 차원 수 ≥3 및 허수 이차 확장에서 최대 토러스 분해 조건을 만족할 경우 결과를 확립한다.
• 클로젤의 극한 스피닝 스피닝 결과와 요아의 카플러-아인슈타인 정리와 같은 기본 도구에 기반한다.

제안 방법

• 산술 다양체를 Q-단순하고 단순연결된 대수군 G로부터 유도된 산술군에 의해 유계 대칭 도메인을 몫으로 취한 것으로 정의한다.
• 공역 다양체 σX의 기하학을 기술하기 위해 기본피복체 위의 버그만 계량을 사용한다.
• 피아테츠키-샤피로와 보로보이의 임bedding 기법을 활용하여, G의 재수성 부분군 Hα에 대응하는 산술 부분다양체 Xα의 프로젝티브 체계를 구성한다.
• 다양체의 접속다발이 낮은 차원의 산술 부분다양체로부터 유도된 부분다발들에 의해 생성되면 그 다양체는 산술적임을 증명하는 기준을 적용한다.
• 유도법과 A1 경우에 의해 σXα가 산술적임을 이용하여, σX의 접속다발이 이러한 부분다발들에 의해 생성됨을 유도한다.
• 비어 있지 않거나 전체가 아닐 경우에 인덱스 집합 I가 비어 있지 않거나 전체가 아닐 때, 리 대칭대수 분해와 H_I'의 최대성에 의해 모순을 도출한다.

실험 결과

연구 질문

• RQ1 분류 정리에 의존하지 않고, 임의의 σ ∈ Aut(ℂ)에 대해 산술 다양체의 공역이 여전히 산술적일까?
• RQ2 차원 수 ≥3 및 토러스 분해 조건을 만족하는 모든 산술 다양체에 대해 카즈단의 정리를 통일적으로 증명할 수 있는가?
• RQ3 특히 E6, E7 및 혼합 Dℝ/Dℍ 유형과 같은 비콤팩트 유형에 대해서도 사례별 분석을 피할 수 있는 정도는 어느 정도인가?
• RQ4 증명에서 버그만 계량과 카플러-아인슈타인 계량의 역할을 어떻게 통합할 수 있는가?
• RQ5 기본군의 군론적 구조와 그 계량 부분군을 사용하여 공역 변환된 다양체의 산술성을 확립할 수 있는가?

주요 결과

• X가 차원 수 ≥3 및 최대 토러스 분해 조건을 만족할 경우, 모든 σ ∈ Aut(ℂ)에 대해 공역 다양체 σX는 산술적이다.
• 대칭 도메인의 분류를 피하기 위해 접속다발과 부분다양체에 대한 기하학적 및 군론적 추론을 사용한다.
• σX의 접속공간은 산술 부분다양체 Xασ의 접속공간들에 의해 생성되며, 이는 다양체가 산술적임을 보장한다.
• 비콤팩트 성분의 인덱스 집합 I가 비어 있지 않거나 전체가 아닐 경우, 리 대칭대수 분해와 H_I'의 최대성에 의해 모순이 발생하므로, 그러한 구성은 존재할 수 없다.
• G'의 부분군으로서 H_I'를 구성할 때 H_I' = G'이 되므로 모순이 발생하며, 이는 정리의 확정을 뒷받침한다.
• 클로젤의 극한 스피닝 스피닝 결과에 기반하여, E6, E7 및 혼합 Dℝ/Dℍ 유형을 포함한 모든 유형에 대해 주어진 조건 하에 결과가 통일적으로 성립한다.