[논문 리뷰] An introduction to motivic zeta functions of motives

Yves André|ArXiv.org|2008. 12. 19.

advanced mathematical theories참고 문헌 19인용 수 7

한 줄 요약

이 논문은 모티브 이론의 철학을 통해 피데이만 앰플리튜드의 주기와 다중 리만 제타값을 연구하기 위한 모티브 제타함수를 도입한다. 소수 모듈로에서의 점 수의 다항식적 행동을 분석함으로써, 산술기하학과 양자장론을 연결하며, 허세-바일 제타함수와 모티브 L-함수를 통해 주기들이 다중 리만 제타값인지 테스트할 수 있는 모티브 프레임워크를 제공한다.

ABSTRACT

It oftens occurs that Taylor coefficients of (dimensionally regularized) Feynman amplitudes $I$ with rational parameters, expanded at an integral dimension $D= D_0$, are not only periods (Belkale, Brosnan, Bogner, Weinzierl) but actually multiple zeta values (Broadhurst, Kreimer). In order to determine, at least heuristically, whether this is the case in concrete instances, the philosophy of motives - more specifically, the theory of mixed Tate motives - suggests an arithmetic approach (Kontsevich): counting points of algebraic varieties related to $I$ modulo sufficiently many primes $p$ and checking that the number of points varies polynomially in $p$. On the other hand, Kapranov has introduced a new "zeta function", the role of which is precisely to "interpolate" between zeta functions of reductions modulo different primes $p$. In this survey, we outline this circle of ideas and some of their recent developments.

연구 동기 및 목표

• 피데이만 적분의 주기가 다중 리만 제타값인지 분석하기 위한 모티브 프레임워크를 수립하기 위해.
• 소수 모듈로에서의代수적 다양체의 산술과 주기 및 다중 리만 제타값의 구조를 연결하기 위해.
• 다른 소수 모듈로에서의 환원에 대한 허세-바일 제타함수 사이를 보간하는 모티브 제타함수를 개발하기 위해.
• 점 수 기반 기법을 사용하여 피데이만 앰플리튜드의 맥락에서 그로텐디크와 테이트의 추측을 테스트하기 위해.
• 곡선 위의 G- torsor의 모듈리 스택에서의 모티브 L-함수와 특수값을 탐구하기 위해.

제안 방법

• 모티브 접근법을 사용하여, 특히 Betti 및 드 람 코homology를 통해 Q 위에 정의된 대수적 다양체의 주기를 연구한다.
• 모티브 철학을 적용하여 주기들을 코homology 이론 간의 표준적 등급사상의 성분으로 간주함으로써 피데이만 적분과 대수기하학을 연결한다.
• 소수 p 모듈로에서의 점 수 N_p가 p에 대해 다항식적으로 변하는지 테스트하기 위해 소수 모듈로에서의 점 수 계산을 활용한다. 이는 주기가 다중 리만 제타값임을 암시할 수 있다.
• 다른 소수 모듈로에서의 환원에 대한 허세-바일 제타함수 사이를 보간하는 모티브 제타함수 Z_mot(X, t)를 도입한다.
• 군의 작용에 대한 모티브 L-함수 L_mot(X, χ, t)를 유도하며, 유한체 위에서 아르틴 L-함수로의 특수화를 제공한다.
• K_0(M(k))에서의 브라하트 분해와 계급 공식을 사용하여 단순형 군과 그 분류 스택의 모티브 클래스를 계산한다.

실험 결과

연구 질문

• RQ1 소수 모듈로에서의 점 수 산술이 피데이만 적분의 주기가 다중 리만 제타값인지 결정할 수 있는가?
• RQ2 모티브 제타함수 Z_mot(X, t)는 어떤 정도로 다른 소수 모듈로에서의 환원에 대한 허세-바일 제타함수 사이를 보간하는가?
• RQ3 모티브의 L-함수는 유한체 위에서의 고전적 L-함수와 어떻게 관련이 있는가?
• RQ4 곡선 위의 G-torsor의 모듈리 스택의 클래스에 대한 모티브적 해석은 무엇인가?
• RQ5 추측 공식 [Bun_{G,X}] = [Q((1−g)dim G)] ∏ Z_mot(X, [Q(d_i)]) 는 일반적으로 성립하는가?

주요 결과

• 소수 p 모듈로에서의 유리점 수 N_p가 p에 대해 다항식적이지 않다면, 그에 대응하는 다양체의 주기는 그로텐디크와 테이트의 추측 하에 다중 리만 제타값일 수 없다.
• 모티브 제타함수 Z_mot(X, t)는 t = 1과 t = [Q(1)]에서만 극을 가지며, 이는 임계점에서 잘 정의된 특수값을 가능하게 한다.
• X = P^1 이고 임의의 단순연결된 단순형 군 G에 대해, 추측 [Bun_{G,X}] = [Q((1−g)dim G)] ∏ Z_mot(X, [Q(d_i)]) 는 조건 없이 성립한다.
• G = SL_n 이고 임의의 매끄럽고 사영인 곡선 X에 대해 동일한 추측은 증명되었으며, G-torsor의 모듈리 스택의 클래스에 대한 모티브 공식을 제공한다.
• 이 공식은 알려진 결과로 특수화된다: C 위에서는 아티야-보트 이론을 통해 Bun_{G,X}의 오일러 지표를 제공하고, F_q 위에서는 타마구와 수식을 통해 k-유리점의 수를 산출한다.
• 단순형 군 G의 모티브 클래스는 [G] = L^{dim G} ∏_{i=1}^r (1 − L^{-d_i}) 에서 K_0(M(k))[L^{-1}] 내에서 주어지며, 여기서 d_i는 기본 웨일 불변량의 차수이다.