[논문 리뷰] Weil-etale Cohomology and Special Values of L-functions

Minh-Hoang Tran|arXiv (Cornell University)|2016. 11. 06.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 수체의 정수環의 열린 부분스킴 위의 강한 ℤ-구성 가능층에 대해 Weil-étale 코hom로지 및 오일러 특성수를 구축한다. 특히, 토릭 유형의 아르틴 L-함수의 s=0에서의 특별값이 부호를 제외한 Weil-étale 오일러 특성수와 일치함을 증명하며, 이는 대수적 토리에 대해 온의 타마가와 수식과 유사한 공식을 제공한다.

ABSTRACT

We construct the Weil-étale cohomology and Euler characteristics for a subclass of the class of $\mathbb{Z}$-constructible sheaves on an open subscheme of the spectrum of the ring of integers of a number field. Then we show that the special value of an Artin L-function of toric type at zero is given by the Weil-étale Euler characteristic of an appropriate $\mathbb{Z}$-constructible sheaf up to signs. As applications of our result, we will prove a formula for the special value of the L-function of an algebraic torus at zero which is similar to Ono's Tamagawa Number Formula.

연구 동기 및 목표

• 수체의 정수환 스펙트럼 위의 ℤ-구성 가능층의 부분류에 대해 Weil-étale 코호몰로지 이론을 개발한다.
• 강한 ℤ-구성 가능층에 대해 Weil-étale 오일러 특성수를 정의하고, 정규화, 전방형 호환성, 곱셈성 등의 주요 성질을 연구한다.
• 토릭 유형의 아르틴 L-함수의 s=0에서의 특별값과 관련된 층의 Weil-étale 오일러 특성수 사이의 정확한 관계를 확립한다.
• 대수적 토리의 L-함수의 s=0에서의 특별값에 대해, 온의 타마가와 수식과 유사한 공식을 유도한다.
• Lichtenbaum의 추측, 즉 L-함수의 특별값이 Weil-étale 오일러 특성수에 의해 코딩되어 있다는 것을 뒷받침하는 증거를 제공한다.

제안 방법

• Lichtenbaum의 작업 아이디어를 응용하여, 비전적으로 허수부가 없는 수체를 다룰 수 있도록 조정된 Weil-étale 코호몰로지 복합체를 구성한다.
• 강한 ℤ-구성 가능층을 정의하며, 이는 스태크가 유한 생성 아벨군이면서 갈루아 작용이 일致하는 ℤ-구성 가능층의 부분류이다.
• 레지우레이터 쌍화 및 컴팩트 지지 코호몰로지 기법을 사용하여 산술 불변량과 오일러 특성수를 연결한다.
• 부록에서 유도된 정확한 수열의 행렬식과 토르션 부분군의 순서에 관한 결과를 응용하여 오일러 특성수를 정확히 계산한다.
• Artin-Verdier 대칭성과 에테일 코호몰로지 이론을 활용하여 L-함수의 특별값을 코호몰로지 불변량과 연결한다.
• 해석적 및 대수적 기법을 통한 비교를 통해 Weil-étale 오일러 특성수와 L-함수의 주항등항을 비교함으로써 주요 결과를 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 수체 위의 ℤ-구성 가능층에 대해 Weil-étale 코호몰로지 이론을 체계적으로 구축할 수 있는가?
• RQ2 Weil-étale 오일러 특성수가 L-함수의 의미 있는 불변량이 되기 위해 만족해야 할 성질은 무엇인가?
• RQ3 토릭 유형의 아르틴 L-함수의 s=0에서의 특별값은 관련 층의 Weil-étale 오일러 특성수와 같은가?
• RQ4 Weil-étale 코호몰로지 기반으로 대수적 토리의 L-함수에 대해 타마가와 수식 유사 공식을 도출할 수 있는가?
• RQ5 Weil-étale 오일러 특성수는 고전적 불변량인 아이디얼 수, 조정자, 타테-샤파레비치 군과 어떻게 관련이 있는가?

주요 결과

• 토릭 유형의 아르틴 L-함수의 특별값 $ L_S^*(M,0) $ 는 부호를 제외한 Weil-étale 오일러 특성수 $ \rho_U(j_*M) $ 와 같다.
• $ L_S(M,s) $ 의 $ s=0 $ 에서의 영점의 차수는 $ \mathrm{Hom}_U(j_*M, \mathbb{G}_m) $ 의 $ \mathbb{Z} $-랭크와 같다.
• 수체 $ K $ 위의 대수적 토리 $ T $ 에 대해 특별값 $ L_S^*(\hat{T},0) $ 은 $ S $-클래스 수 $ h_{T,S} $, $ S $-조정자 $ R_{T,S} $, 원분단위의 수 $ w_T $, 그리고 타테-샤파레비치 군과 갈루아 코호몰로지 군의 순서를 포함하는 공식으로 주어진다.
• $ L_S^*(\hat{T},0) $ 의 공식은 온의 타마가와 수식의 구조와 일치하며, Weil-étale 오일러 특성수가 타마가와 수의 역할을 한다.
• 강한 ℤ-구성 가능층의 일정한 짧은 정확한 수열에 대해 Weil-étale 오일러 특성수는 곱셈성을 가진다.
• 유한 전방형 사상 $ \pi': V \to U $ 에 대해, 전방형에 대한 호환성이 성립한다: $ \chi_V(\mathcal{F}) = \chi_U(\pi'_*\mathcal{F}) $.