[논문 리뷰] Multiple polylogarithms and mixed Tate motives

A. B. Goncharov|ArXiv.org|2001. 03. 08.

Advanced Mathematical Identities참고 문헌 22인용 수 315

한 줄 요약

이 논문은 해석적, 호지 이론적, 모티브 이론적 관점에서 다중 다중로그 함수의 이론을 수립하며, 이를 프레임된 혼합 테이트 모티브의 주기로 규정한다. 뿌리 단위에서의 모티브 다중로그 함수의 호프 대수를 구축하고, 이를 수준 N 순환 호프 대수로 식별하며, $ℝ_m - \mu_N$ 위의 경로 토르서와의 연결을 통해 수수께끼의 혼합 테이트 모티브 이론과 고차 순환론의 기초를 마련한다.

ABSTRACT

We develop the theory of multiple polylogarithms from analytic, Hodge and motivic point of view. Define the category of mixed Tate motives over a ring of integers in a number field. Describe explicitly the multiple polylogarithm Hopf algebra.

연구 동기 및 목표

• 분석적, 호지 이론적, 모티브 이론적 프레임워크에서 다중 다중로그 함수의 통합 이론을 수립하기 위해.
• 수체의 S-정수 환에서의 혼합 테이트 모티브의 아벨 범주를 구축하기 위해.
• 프레임된 혼합 테이트 모티브를 사용하여 $ℝ_m - \mu_N$ 위의 경로 토르서를 정의하고 연구하기 위해.
• 모티브 갈루아 군의 구조와 다중 다중로그 함수가 모든 프레임된 혼합 테이트 모티브를 생성하는 데 있어 보편성에 대한 추측을 제시하고 뒷받침하기 위해.
• 다중 다중로그 함수, L-함수의 특수값, 그리고 $Y_1(m; N)$ 형태의 모듈라 다양체 기하학 간의 연결 고리를 확립하기 위해.

제안 방법

• 반복 적분과 프레임된 혼합 호지-테이트 구조의 형식적 체계를 사용하여 다중 다중로그 함수를 주기로 정의한다.
• 체수 $ℚ$ 위의 프레임된 호지-테이트 구조의 등급을 가진 교환 호프 대수 $H^\bullet$를 구축하며, 뿌리 단위에 대해 특별한 부분대수 $ZH^\bullet(\mu_N)$를 제공한다.
• 탄나카 형식론과 모티브 호모토피 이론의 결과를 적용하여 수체의 S-정수 환에서의 혼합 테이트 모티브 범주 $MT(O_{F,S})$를 정의한다.
• 체수 위의 다양체에서의 경로 토르서 $PM(X; x, y)$를 도입하며, $X = \mathbb{A}^1 - \{z_1, \dots, z_m\}$ 일 때 이것이 $MT(F)$의 프로대상임을 보인다.
• 모티브 리 코알제브라 $L(F)^\bullet$에 깊이 필터링을 적용하고, 이상 $I(F)^\bullet = \bigoplus_{n \geq 2} L(F)^{-n}$를 통해 추측적 필터링을 정의한다.
• 이 필터링의 쌍대가 다중 다중로그 함수에 의해 유도되는 깊이 필터링과 일치할 것이라 제안하며, 이는 자그리의 추측과 모티브 다중다중로그 함수의 보편성과 연결된다.

실험 결과

연구 질문

• RQ1 다중 다중로그 함수는 $ℝ_m - \mu_N$의 모티브 기본군과 어떻게 관련되어 있는가?
• RQ2 뿌리 단위에서의 모티브 다중다중로그 함수의 호프 대수의 구조는 무엇이며, 순환 단위와 모듈라 형식과 어떻게 관련되어 있는가?
• RQ3 모든 프레임된 혼합 테이트 모티브가 체수 $F$ 위에서 모티브 다중다중로그 함수로 생성될 수 있는가?
• RQ4 모티브 리 코알제브라 $L(F)^\bullet$에 대한 깊이 필터링은 모티브 다중다중로그 함수에 의해 유도되는 필터링과 일치하는가?
• RQ5 다중 다중로그 함수의 주기와 $ℝ_m - \mu_N$ 위의 경로 토르서의 주기는 다중 제타 함수와 다중로그 함수의 특수값과 어떻게 관련되어 있는가?

주요 결과

• 다중 다중로그 함수와 관련된 프레임된 호지-테이트 구조는 $ZH^\bullet(\mu_N)$라 불리는 호프 부분대수를 이룬다. 이를 수준 N 순환 호프 대수라 한다.
• 첫 번째 성분 $ZH^1(\mu_N)$는 $O^*(S_N) \otimes \mathbb{Q}$ 내 순환 단위의 군과 동형이며, 해석적 실현으로서 $Li_1(\zeta_N) = -\log(1 - \zeta_N)$로 표현된다.
• 모티브 경로 토르서 $PM(\mathbb{G}_m - \mu_N; v_0, v_1)$는 $MT(S_N)$의 프로대상이며, 그 주기는 모두 뿌리 단위에서의 다중다중로그 함수로 표현 가능하다.
• $ZH^\bullet(\mu_N)$ 호프 대수는 경로 토르서의 호지 실현을 묘사하며, 그 구조는 추측적으로 모듈라 다양체 $Y_1(m; N)$의 기하학과 연결되어 있다.
• 모티브 리 코알제브라 $L(F)^\bullet$에 대한 추측적 깊이 필터링은 다중다중로그 함수에 의해 유도되는 필터링과 일치하며, 이는 모티브 다중다중로그 함수의 보편성을 시사한다.
• 추측 7.6는 자그리의 추측을 함의하며, 모든 프레임된 혼합 테이트 모티브가 다중다중로그 함수로부터 유래된다는 아이디어를 지지한다.