[논문 리뷰] A Program For Geometric Arithmetic

Lin Weng|ArXiv.org|2001. 11. 22.

Algebraic Geometry and Number Theory참고 문헌 61인용 수 10

한 줄 요약

이 논문은 리만 곡면 위의 Tannakian 카테고리와 기하적 구조를 통해 비아벨류 군체론, 코homology, 제타 함수, 리만 가설을 통합하는 기하산술의 기초적 프로그램을 제시한다. 복소수 위의 함수체에 대한 비아벨류 군체론을 유니터리 표현과 반불변 파라보릭 복합체를 통해 수립하고, 쌍대성과 아델 구조를 기반으로 한 새로운 코homological 프레임워크를 구축한다.

ABSTRACT

Proposed is a program for what we call Geometric Arithmetic, based on our works on non-abelian zeta functions and non-abelian class field theory. Key words are stability and adelic intersection-cohomology theory.

연구 동기 및 목표

• 고전적 상호작용 법칙을 아벨 확장 이외로 일반화하여 복소수 위의 함수체에 대한 비아벨류 군체론을 개발하기 위해.
• Chevalley의 곡선 이론을 모델로 하여 쌍대성과 선형 컴acts성과 호환되는 기하적 코hom로지 이론을 구축하기 위해.
• 교차 이론과 Tannakian 카테고리들을 통해 새로운 비아벨류 제타 함수와 그 기능적 방정식을 정의하고 연구하기 위해.
• 안정성, 표현, 코hom로지적 쌍대성과의 연결을 통해 고차원 기하산술에서 리만 가설을 위한 프레임워크를 수립하기 위해.

제안 방법

• 기본군의 유니터리 표현과 리만 곡면 위의 파라보릭 도수 0인 반불변 파라보릭 복합체 사이의 관계를 맺기 위해 Narasimhan-Seshadri 대응을 사용한다.
• Tannakian 쌍대성과 van Kampen 완비성 정리로 표현의 유한 완비 Tannakian 부분카테고리에서 갈루아 군을 재구성한다.
• 지오아리 복합체의 텐서 닫힘을 증명하기 위해 $KR^2$-트릭과 그 파라보릭 확장을 도입하며, 불안정성 플래그와 GIT 안정성에 기반한다.
• 구성된 구간 다이어그램을 통해 $H^i(S,D)$의 장기적인 정확한 수열을 유도함으로써, 조임과 곡선 제약을 통해 차원 2에서의 귀납과 약한 리만-로흐 공식을 가능하게 한다.
• 애너힐레이터와 수직보완 구조를 사용하여 $H^0(S,D)$와 $H^2(S,K_S - D)$ 사이, $H^1(S,D)$와 $H^1(S,K_S - D)$ 사이의 쌍대성 동형사상을 증명한다.
• 아델 링의 Chevalley의 선형 컴acts성의 일반화를 목표로 하여, 이산적이고 지오아리 컴팩트 공간이 상호 이중성을 가지는 지오아리 컴팩트성의 개념을 제안한다.

실험 결과

연구 질문

• RQ1 파라보릭 복합체와 표현과 같은 기하적 대상들을 사용하여 복소수 위의 함수체에 대한 비아벨류 군체론을 어떻게 공식화할 수 있는가?
• RQ2 지오아리 복합체의 텐서 곱이 여전히 지오아리일 수 있도록 보장하는 조건은 무엇인가?
• RQ3 쌍대성과 차원 2에서의 약한 리만-로흐 공식을 지원하는 표면에 대한 코homology 이론을 어떻게 구성할 수 있는가?
• RQ4 자기쌍대성과 수직보완 구조는 아델과 컴팩트성 성질을 갖는 기하학적으로 일관된 코homology를 정의하는 데 어떤 역할을 하는가?
• RQ5 교차 이론과 Tannakian 쌍대성을 통해 비아벨류 제타 함수를 위한 프레임워크를 구축할 수 있는가? 이는 기하산술에서의 리만 가설로 이어질 수 있는가?

주요 결과

• 기본군의 유니터리 표현의 동형류와 파라보릭 도수가 0인 반불변 파라보릭 복합체 사이의 대응을 통해, 복소수 위의 함수체에 대한 비아벨류 군체론이 수립된다.
• 필터링과 GIT 안정성에 기반한 파라보릭 확장된 $KR^2$-트릭을 통해 지오아리 복합체의 텐서 곱이 여전히 지오아리임을 증명함으로써, 텐서 연산에 대한 닫힘을 보장한다.
• 구성된 구간 다이어그램에서 유도된 $H^i(S,D)$의 장기적인 정확한 수열을 통해, 조임과 곡선 제약을 통한 귀납과 차원 2에서의 약한 리만-로흐 공식이 가능해진다.
• 애너힐레이터와 수직보완 구조를 사용하여 쌍대성 동형사상이 증명됨: $H^0(S,D)^ atural \to H^2(S,K_S - D)$, 및 $H^1(S,D)^ atural \to H^1(S,K_S - D)$.
• 코호몰로지 군은 대수적으로 교차로 정의됨: $H^0(S,D) = \textbf{A}(D) \bigcap (\textbf{A}_0 \bigcap \textbf{A}_1)$, $H^1(S,D) = \textbf{A}(D) \bigcap (\textbf{A}_0 + \textbf{A}_1) / (\text{교차합의 합})$, 및 $H^2(S,D) = \textbf{A}/(\textbf{A}(D) + \textbf{A}_0 + \textbf{A}_1)$.
• 지오아리 컴팩트성의 추측적 프레임워크가 제안되며, 이는 이산적이고 지오아리 컴팩트 공간이 상호 이중성을 가지며, 1차원에서 아델 링의 Chevalley의 선형 컴팩트성의 일반화를 목표로 한다.