[논문 리뷰] Special L-values of geometric motives

Jakob Scholbach|arXiv (Cornell University)|2010. 03. 05.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 5

한 줄 요약

이 논문은 Z 위의 기하적 모티브의 특수 L-값에 대한 통합된 추측을 제안하며, 모티브 코hom로의 음의 오일러 특성 χ(M∨(−1))를 통해 베일린스킨, 테이트, 수르레의 추측을 연결한다. 이 추측은 태트 및 아르틴-태트 모티브에 대해 조건 없이 성립함을 보이며, L*(M,0)이 모티브 호모로지와 코호몰로지 사이의 아라켈로프 교차쌍대성의 행렬식에 의해 유리수 인자 외부로 결정됨을 보여준다.

ABSTRACT

This paper proposes a conjecture on special values of L-functions of geometric motives over Z. This includes L-functions of mixed motives over Q and Hasse-Weil zeta-functions of schemes over Z. We conjecture the following: the order of L(M, s) at s=0 is given by the negative Euler characteristic of motivic cohomology of $M^\vee(-1)$. Up to a nonzero rational factor, the L-value at s=0 is given by the determinant of the pairing of Arakelov motivic cohomology of M with the motivic homology of M. Under standard assumptions concerning mixed motives over Q, $F_p$, and Z, this conjecture is essentially equivalent to the conjunction of Soulé's conjecture about pole orders of zeta-functions of schemes over Z, Beilinson's conjecture about special L-values for motives over Q and the Tate conjecture over $F_p$.

연구 동기 및 목표

• Z 위의 모티브에 대해 특수 L-값에 대한 베일린스킨의 추측, Fp 위의 테이트 추측, 제타 함수의 극의 차수에 대한 수르레의 추측을 하나의 프레임워크로 통합하기.
• M∨(−1)의 모티브 코호몰로지의 음의 오일러 특성에 따라 s=0에서 L(M,s)의 차수에 대한 추측적 공식을 제안하기.
• 모티브 호모로지와 아라켈로프 모티브 코호몰로지 사이의 아라켈로프 교차쌍대성의 역행렬 행렬식으로 L*(M,0)을 유리수 인자 외부로 표현하기.
• 혼합 모티브의 구조와 실현 함자들을 사용하여 태트 모티브에 대해 추측을 조건 없이, 아르틴-태트 모티브에 대해 유리수의 n제곱근 외부로 증명하기.

제안 방법

• s=0에서 L(M,s)의 차수가 M∨(−1)의 모티브 코호몰로지의 음의 오일러 특성과 같다고 추측한다. 즉, ord_{s=0}L(M,s) = −χ(M∨(−1)).
• 모티브 호모로지 H_{-2}(M,−1)와 ŝH^0(M) 사이의 아라켈로프 교차쌍대성 π_M: H_{-2}(M,−1) × ŝH^0(M) → ℝ를 도입하며, 이는 유한차원 ℝ-벡터공간 간의 완전 쌍대성이라고 추측된다.
• 이동된 쌍대성 π_{M[i]}의 행렬식의 곱을 Π_M := ∏_i det(π_{M[i]})^{(-1)^i} ∈ ℝ×/ℚ×로 정의한다.
• 모티브 코호몰로지와 데리지 코호몰로지 사이의 카른 클래스 사상 ch: H^n(M) → H^n_D(M)를 사용하여 아라켈로프 모티브 코호몰로지를 장점 정 exact 수열을 통해 특성화한다.
• 표준적인 모티브 범주 가정 하에 추측이 베일린스킨, 수르레, 테이트 추측의 결합과 동치임을 증명한다.
• 수치적 및 호모로지적 동치의 등가성을 가정하여, 수체 및 유한체의 모티브가 생성하는 삼각형 부분범주를 사용하여 태트 모티브에 대해 추측을 조건 없이, 아르틴-태트 모티브에 대해 유리수의 n제곱근 외부로 증명한다.

실험 결과

연구 질문

• RQ1 모티브 코호몰로지를 포함한 단일 공식을 통해 베일린스킨의 특수 L-값 추측을 테이트 및 수르레의 추측과 통합할 수 있는가?
• RQ2 Z 위의 기하적 모티브에 대해 모티브 호모로지와 아라켈로프 모티브 코호몰로지 사이의 아라켈로프 교차쌍대성은 완전 쌍대성인가?
• RQ3 특수 L-값 L*(M,0)은 영이 아닌 유리수 인자 외부로 아라켈로프 쌍대성의 역행렬 행렬식과 같나?
• RQ4 추측은 태트 모티브 및 아르틴-태트 모티브에 대해 얼마나 조건 없이 성립하는가?
• RQ5 Z 위의 모티브의 L-함수의 극 차수는 M∨(−1)의 모티브 코호몰로지의 오일러 특성과 어떻게 관련되는가?

주요 결과

• 모든 태트 모티브에 대해 s=0에서의 추측 ord_{s=0}L(M,s) = −χ(M∨(−1))는 조건 없이 성립한다.
• 모든 아르틴-태트 모티브에 대해 추측은 영이 아닌 유리수의 n제곱근 외부로 성립한다.
• 아라켈로프 교차쌍대성 π_M는 완전 쌍대성이라고 추측되며, 이 조건은 베일린스킨-수르레 소멸성과 베일린스킨-파르신 추측과 동치이다.
• 특수 L-값 L*(M,0)은 ℚ× 모듈로에서 행렬식 곱 Π_M의 역행렬과 같다. 즉, L*(M,0) ≡ Π_M^{-1} (mod ℚ×).
• 모든 코호몰로지 h^j(X_η)가 혼합 태트 모티브인 스킴 X/ℚ에 대해, 베일린스킨의 추측은 조건 없이 성립한다.
• 추측은 표준적인 모티브 가정 하에, 수체의 모티브에 대해 수치적 동치와 호모로지적 동치의 등가성을 통해 F_p 위의 스킴에 대해 테이트 추측을 함의한다.