[논문 리뷰] The Weil-Etale Topology for Number Rings

Stephen Lichtenbaum|ArXiv.org|2005. 03. 25.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 6

한 줄 요약

이 논문은 수체의 정수環의 스펙트럼에 대한 Weil-étale 위상구조를 도입하며, Weil-étale 코hom로지 군이 유한생성이고, 그 오일러 특성이 s=0에서 Dedekind 제타함수의 특수값을 계산하는 새로운 코호몰로지 이론을 구축한다. 주요 결과는 코호몰로지 복합체의 오일러 특성이 부호를 제외하고 제타함수의 주요 항과 일치함을 확인하며, 조건수와 애자일 수가 공식에 자연스럽게 나타남을 보여준다.

ABSTRACT

We would like to construct a new Grothendieck topology for arithmetic schemes, whose cohomology groups associated with motivic complexes of sheaves are finitely generated and whose Euler characteristics are related to special values of zeta-functions. In this paper we construct this topology for rings of algebraic integers and show that the cohomology of the constant sheaf Z is related to the behavior of zeta-functions at s = 0.

연구 동기 및 목표

• Spec ℤ 위의 산술 스킴에 대해 새로운 그로텐디크 위상구조인 Weil-étale 위상구조를 정의함.
• H^q_c(X,ℤ) 형태의 Weil-étale 코호몰로지 군을 정의하여, 이들이 유한생성되며 q > 3일 때는 0이 되도록 함.
• 제타함수의 특수값과 이러한 코호몰로지 군의 오일러 특성 간의 추측적 연결 고리를 설정함.
• 코호몰로지 군이 3차수 이상에서 0이 되는 가정 하에, 수체의 Dedekind 제타함수에 대해 이 추측을 검증함.

제안 방법

• 수체의 Weil 군 G가 주어질 때, 국소 섹션을 이용해 G-스패이스 위에 그로텐디크 위상구조 T_G를 정의함.
• X = Spec OF의 컴팩티피케이션 X̄ 위에서 φ!ℤ의 하이퍼코호몰로지로 Weil-étale 코호몰로지를 구성함.
• Leray 스펙트럴 시퀀스와 Weil 군의 성질을 이용해 H^q_c(X,ℝ)의 코호몰로지 군을 계산하고, ℝ와의 텐서곱을 통해 H^q_c(X,ℤ)와 연관시킴.
• Weil 군의 아벨화 위에서 절대값의 로그에 대응하는 자연스러운 클래스 ψ ∈ H^1(X̄, ℝ)를 식별함.
• ψ와의 Yoneda 곱을 통해, 그 오일러 특성이 행렬식을 통해 계산되는 복합체를 정의함.
• 이 복합체의 행렬식을 고전적 조건수와 연결하고, 애자일 수와 루트 수를 이용해 특수값 ζ*F(0)를 복원함.

실험 결과

연구 질문

• RQ1 Weil-étale 위상구조라는 새로운 그로텐디크 위상구조가 산술 스킴, 특히 X = Spec OF에 대해 정의될 수 있는가? 이 위상구조의 코호몰로지 군이 유한생성되고 제타함수의 특수값을 계산할 수 있는가?
• RQ2 Weil-étale 코호몰로지 복합체 H^*(X̄, φ!ℤ)의 오일러 특성이 수체 F의 Dedekind 제타함수의 특수값 ζ*F(0)와 같은가?
• RQ3 X = Spec OF일 때 코호몰로지 군 H^q_c(X,ℤ)는 어떻게 행동하며, q > 3일 때는 0이 되는가?
• RQ4 Weil 군과 그 작용은 코호몰로지 이론을 구성하고 조건수 및 애자일 수와 관련지을 때 어떤 역할을 하는가?

주요 결과

• 가정된 논문의 추측 하에, Weil-étale 코호몰로지 군 H^q_c(X,ℤ)는 유한생성 아벨 군이며, q > 3일 때는 0이 된다.
• H^q_c(X,ℤ) ⊗ ℝ에서 H^q_c(X,ℝ)로의 자연스러운 사상은 동형사상이므로 실수 코호몰로지와의 호환성이 보장된다.
• H^1(X̄, ℝ)에 속하는 자연스러운 클래스 ψ가 존재하여, ψ와의 Yoneda 곱이 복합체 (H^*_{c}(X,ℝ), ∪ψ)를 정확하게 만들며, 이는 잘 정의된 오일러 특성을 가능하게 한다.
• 복합체 H^*(X̄, φ!ℤ)의 오일러 특성 χ_c(X)는 ±ζ*F(0)와 같으며, 이는 s=0에서 Dedekind 제타함수의 주요 항이다.
• ψ와의 Yoneda 곱의 행렬식은 R^{-1}이며, 여기서 R은 수체 F의 고전적 조건수이다.
• H^2_c(X,ℤ)의 토판 부분군의 순서는 애자일 수 h_F이며, |H^3_c(X,ℤ)| = w_F는 F에 속한 단위근의 수이다.