[논문 리뷰] Motivic complexes and special values of zeta functions

J. S. Milne, Niranjan Ramachandran|arXiv (Cornell University)|2013. 11. 13.

Algebraic Geometry and Number Theory참고 문헌 48인용 수 7

한 줄 요약

이 논문은 유한체 위의 모티브 복합체의 리만 제타함수 특수값과 Ext군, 호지 수 등의 산술 불변량 간의 보편적 추측을 제안한다. $\mathbb{Z}[1/p]$-강화된 에테ール 모티브 복합체의 범주를 구축하여, 이 추측이 타이트 추측과 빌리노신 추측으로부터 유도됨을 보이며, 이 틀을 대수적 스택과 로그 다양체로 확장한다.

ABSTRACT

Beginning with the conjecture of Artin and Tate in 1966, there has been a series of successively more general conjectures expressing the special values of the zeta function of an algebraic variety over a finite field in terms of other invariants of the variety. In this article, we present the ultimate such conjecture, and provide evidence for it. In particular, we enhance Voevodsky's Z[1/p]-category of etale motivic complexes with a p-integral structure, and show that, for this category, our conjecture follows from the Tate and Beilinson conjectures. As the conjecture is stated in terms of motivic complexes, it (potentially) applies also to algebraic stacks, log varieties, simplicial varieties, etc..

연구 동기 및 목표

• 유한체 위에서 제타함수 특수값에 대한 아르틴-테이트 및 위르 타입의 추측을 최종적으로 일반화하는 것.
• 모티브 복합체의 틀을 $p$-진 구조와 유리형 테이트 클래스를 포함하도록 확장하여, 대수적 스택과 로그 다양체에의 적용을 가능하게 하는 것.
• 강화된 $\mathbb{Z}[1/p]$-범주에서 타이트 추측과 빌리노신 추측로부터 이 추측이 유도됨을 보여, 이를 증거로 제시하는 것.
• 모티브 복합체에 대한 제타함수를 정의하고, 그의 극과 잔여류가 Ext군의 순서와 호지 수 등의 산술 불변량과 관련됨을 밝혀내는 것.

제안 방법

• 모티브 복합체 $M,N$와 토글 $r$에 대해, 타원형 범주 $\mathsf{DM}(k)$와 토글 편차를 사용하여 Ext군의 표준 복합체 $E(M,N,r)$를 구성한다.
• 모티브 복합체 $P = R\underline{\operatorname{Hom}}(M,N)$의 제타함수 $Z(P,t)$를 $\mathbb{Q}(t)$ 안에서 정의하며, 이는 $\ell$-adic 및 $p$-adic 실현과 호환된다.
• $R$를 레이놀즈 링으로 사용하여 $p$-진 실현을 도입하고, $R_1 \otimes_R^L P$의 코homology로부터 호지 수 $h^{i,j}(P)$를 정의한다.
• 복합체 $E(M,N,r)$의 코homology 군 순서의 교대곱 $\chi^\times(M,N(r))$를 정의하고, 이를 $t = q^{-r}$에서 $Z(P,t)$의 잔여류와 연결한다.
• 타이트 추측과 빌리노신 추측을 사용하여 추측식을 도출한다: $\left|\lim_{t\to q^{-r}} Z(P,t)(1 - q^r t)^\rho\right| = \chi^\times(M,N(r)) \cdot q^{\chi(P,r)}$, 여기서 $\chi(P,r)$는 호지 수의 가중합이다.
• $\mathsf{DM}(k)$를 $\mathsf{DM}(k,\mathbb{Q})$와 $\mathsf{D}_{c}^{b}(\mathbb{Z}^p) \times \mathsf{D}_{c}^{b}(R)$의 호모토피 섬유곱으로 구성하여, $p$-정수적 구조를 통합한다.

실험 결과

연구 질문

• RQ1 유한체 위의 대수적 다양체에 대한 제타함수 특수값에 대한 추측을 가장 일반적으로 어떻게 서술할 수 있는가?
• RQ2 모티브 복합체를 어떻게 $p$-정수적 구조로 강화하여 $p$-진 산술 불변량을 포착할 수 있는가?
• RQ3 제타함수 잔여류와 Ext군 순서, 호지 수 간의 추측이 타이트 추측과 빌리노신 추측으로부터 도출될 수 있는가?
• RQ4 이 틀은 스무스하거나 프로젝티브가 아닌 대상, 예를 들어 대수적 스택이나 로그 다양체로 어느 정도까지 확장될 수 있는가?
• RQ5 유리형 테이트 클래스는 모든 실현과 호환되는 보편적 모티브 범주를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 추측에 따르면, $Z(P,t)$의 $t = q^{-r}$에서의 극의 차수는 $\rho = \sum_j (-1)^{j+1} j \cdot \operatorname{rank}_{\mathbb{Z}}(\operatorname{Ext}^j(M,N(r)))$로 주어지며, 이는 제타함수 극과 Ext군의 질량 간의 연결을 보여준다.
• $t = q^{-r}$에서 $Z(P,t)$의 잔여류는 $\chi^\times(M,N(r)) \cdot q^{\chi(P,r)}$로 표현되며, 여기서 $\chi^\times$는 유한한 Ext 코homology 군 순서의 교대곱이다.
• $p$-진 호지 수 기여도 $\chi(P,r) = \sum_{i,j\,(i\leq r)} (-1)^{i+j} (r-i) h^{i,j}(r_p(P))$는 특수값 공식에서 $p$-진 수정 인자량을 정량화한다.
• $\mathsf{DM}(k)$를 호모토피 섬유곱으로 구성함으로써 $\ell$-adic 및 $p$-adic 실현과의 호환성이 보장되며, 이 설정에서는 타이트 추측가 자동으로 성립한다.
• 강화된 범주에서 타이트 추측과 빌리노신 추측로부터 추측이 도출됨을 보여, 그 타당성에 대한 강력한 증거를 제공한다.
• 이 틀은 대수적 스택에도 잠재적으로 적용 가능하며, 그들의 제타함수는 정의되어 있음(비록 멱급수 형태로)하므로, 향후 연구에서 무한대 모티브 복합체가 필요할 것으로 보인다.