[논문 리뷰] Periods and mixed motives

A. B. Goncharov|ArXiv.org|2002. 02. 17.

Advanced Mathematical Identities참고 문헌 15인용 수 53

한 줄 요약

이 논문은 반복 적분과 다중 다중로그 함수에서 유래하는 주기(period)에 대해 프레임된 혼합 모티브를 구성하고, 특수화 정리에 의해 모티브적 이중 셔플 관계를 증명한다. 다중 다중로그 함수에 대한 모티브적 역전화 공식을 수립하며, 갈로아 작용과 모듈러 기하학과 연결한다.

ABSTRACT

We define motivic multiple polylogarithms and prove the double shuffle relations for them. We use this to study the motivic fundamental group of the multiplicative group - {N-th roots of unity} and relate it to geometry of modular varieties. In particular we get new information about the actionof the Galois group on the pro-l completion of the above fundamental group. This paper is the second part of "Multiple polylogarithms and mixed Tate motives" math.AG/0103059

연구 동기 및 목표

• 혼합 모티브의 맥락에서 모티브적 다중 다중로그 함수를 정의하고, 그 이중 셔플 관계를 증명하기.
• 반복 적분과 상대 사이클을 통해 수렴하는 주기와 대응하는 프레임된 혼합 모티브를 구성하기.
• 통합 데이터의 변형 하에서 프레임된 모티브의 일관성을 보장하는 특수화 정리의 수립.
• 프레임된 혼합 테이트 모티브의 프레임을 사용하여 다중 다중로그 함수에 대한 모티브적 역전화 공식을 증명하기.
• $\mathbb{G}_m - \mu_N$의 모티브적 기본군을 모듈러 다양체와 갈로아 작용이 다중 다중로그 함수 값에 미치는 영향과 연결하기.

제안 방법

• 복소수 다양체 $X$, 인피니티 $A$, $B$, 그리고 로그 형태 $\omega_A$로부터 프레임된 혼합 모티브 $m(X;[ ho_A];[ riangle_B])$를 구성하여, 그 주기가 적분 $\int_{\triangle_B} \omega_A$가 되도록 한다.
• 특수화 정리 적용: $\omega_{A(\varepsilon)}$ 및 $\triangle_{B(\varepsilon)}$ 가 원래 데이터의 변형이라면, $\varepsilon=0$에서의 특수화가 원래 프레임된 모티브를 얻는다.
• 발산 적분의 정규화를 $\log \varepsilon$ 의 상수항을 통해 수행하여, $\mathrm{I}$- 및 $\mathrm{Li}$-셔플 관계 양쪽과의 호환성을 확보한다.
• 유니포텐트 호지-테이트 구조의 변형에 대한 $\mathrm{Sp}_{\partial/\partial\varepsilon}$ 작용을 통해 모티브적 다중 다중로그 함수 $\mathrm{Li}^\mathcal{M}_{n_1,\dots,n_m}(x_1,\dots,x_m)$를 정의한다.
• 제한된 코프로덕트 $\Delta'$ 와 모티브적 베르누이 원소의 성질을 사용하여, 모티브적 역전화 공식 $\mathrm{Li}^\mathcal{M}(x|t) - \mathrm{Li}^\mathcal{M}(x^{-1}|-t) = -B^\mathcal{M}(x|t)$ 를 증명한다.
• 특수화 정리를 통해 프레임된 모티브의 동치류가 주기로 유일하게 결정됨을 증명하며, 다양한 구성 방식을 하나의 동치류로 통합한다.

실험 결과

연구 질문

• RQ1 상대 사이클 위에서 수렴하는 적분으로 정의된 주기의 경우, 어떻게 체계적으로 프레임된 혼합 모티브를 구성할 수 있는가?
• RQ2 특수화 정리는 통합 데이터의 변형 하에서 프레임된 모티브의 일관성을 보장하는 데 어떤 역할을 하는가?
• RQ3 모듈러 다양체의 기하학적·위상적 자료로부터 어떻게 모티브적 이중 셔플 관계가 유도되는가?
• RQ4 클래식한 다중로그 함수의 역전화 공식은 어떻게, 틀린 혼합 테이트 모티브의 프레임 워크 내에서 모티브적 항등식으로 올릴 수 있는가?
• RQ5 모티브적 기본군 $\pi_1^\mathcal{M}(\mathbb{G}_m - \mu_N)$ 의 구조는 무엇이며, 다중 다중로그 함수 값에 대한 갈로아 작용과 어떻게 관련되는가?

주요 결과

• 기술적 조건을 만족하는 $A$ 및 $B$ 하에서, 주기가 수렴적 적분 $\int_{\triangle_B} \omega_A$ 가 되는 프레임된 혼합 모티브가 구성된다.
• 특수화 정리는 변형된 데이터 가족과 관련된 프레임된 모티브가 $\varepsilon = 0$ 에서 원래 프레임된 모티브로 특수화되며, 동치류를 유지함을 보장한다.
• 특수화 정리를 통해 모티브적 이중 셔플 관계가 증명되며, 이는 서로 다른 구성 방식을 하나의 동치류의 프레임된 대상으로 통합한다.
• 모티브적 역전화 공식이 수립된다: $\mathrm{Li}^\mathcal{M}(x|t) - \mathrm{Li}^\mathcal{M}(x^{-1}|-t) = -B^\mathcal{M}(x|t)$, 여기서 $B^\mathcal{M}(x|t)$ 는 모티브적 베르누이 급수이다.
• 모티브적 베르누이 원소 $B^\mathcal{M}_n$ 는 프레임된 혼합 테이트 모티브로 정의되며, $B^\mathcal{M}_1 = \log^\mathcal{M}(-1)$ 이고 $B^\mathcal{M}_{2n} = -2(2n)! \zeta^\mathcal{M}(2n)$ 이며, $\Delta'(B^\mathcal{M}_n) = 0$ 을 만족한다.
• 모티브적 기본군 $\pi_1^\mathcal{M}(\mathbb{G}_m - \mu_N)$ 은 모듈러 다양체 $Y_1(m;N)$ 의 기하학과 관련되며, 이들의 $\ell$-adic 실현에 대한 갈로아 작용은 이러한 구성들을 통해 연구된다.