[논문 리뷰] Multiple polylogarithms, cyclotomy and modular complexes

A. B. Goncharov|arXiv (Cornell University)|2011. 05. 10.

Advanced Mathematical Identities참고 문헌 6인용 수 20

한 줄 요약

이 논문은 순환 리 대수와 모듈러 복합체를 통해 제1의 원근근수에서 평가된 다중 polylogarithm과 산술군의 코homology 사이의 깊은 연결 고리를 설정한다. 이는 다각형 리 코알제브라를 구성하고, 하위 깊이 관계에 모odulo된 다중 zeta 값의 공간이 $GL_m(\mathbb{Z})$의 모듈러 복합체의 코homology와 동형임을 증명함으로써, 대칭 공간과 반복 적분을 통한 이러한 대수적 구조의 기하적 실현을 제공한다.

ABSTRACT

This is a copy of the article published in Math Res. Letters 5, (1998) 497-516.

연구 동기 및 목표

• 제1의 원근근수에서 평가된 다중 polylogarithm의 대수적 및 산술적 구조를 이해하는 것.
• 모듈러 복합체를 통한 다중 zeta 값의 공간을 산술군의 코homology와 연결하는 것.
• $SL_m(\mathbb{R})/SO_m$의 대칭 공간에서 모듈러 복합체의 기하적 실현을 구성하는 것.
• 다중 zeta 값의 대수와 순환 리 대수의 쌍대 사이의 추측적 동형을 설정하는 것.
• 리 대수적 및 호모로지 도구를 통한 고차 순환의 연구를 위한 프레임워크를 제공하는 것.

제안 방법

• 제1의 원근근수에서 다중 polylogarithm의 공간의 몫으로서 다각형 리 코알제브라 $\mathcal{D}_{\bullet,\bullet}(\mu_N)$를 도입한다.
• 반복 적분 표현과 점근 전개를 사용하여 정규화 사상 $\operatorname{Reg}Li_{n_1,\dots,n_m}(x_1,\dots,x_m)$를 정의한다.
• 대칭 공간 기하학을 통해 $GL_m(\mathbb{Z})$-모듈의 체인 복합체로서 $GL_m(\mathbb{Z})$의 모듈러 복합체를 구성한다.
• Borel–Brylinski–Borel-Serre 스펙트럴 시퀀스를 적용하여 표준 표현의 대칭 거듭제곱에 대한 $GL_m(\mathbb{Z})$의 코homology를 계산한다.
• 정규화 사상을 통해 모듈러 복합체의 코hom로와 공간 $\overline{Z}_{w,m}(N)$ 사이의 동형을 설정한다.
• 반복 적분 형식에서의 셔플 및 분배 관계를 사용하여 정규화 사상이 다중 zeta 값의 대수적 구조를 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 제1의 원근근수에서 평가된 다중 polylogarithm의 대수적 구조는 무엇이며, 산술군과 어떻게 관련되어 있는가?
• RQ2 하위 깊이 관계에 모odulo된 다중 zeta 값의 공간은 $GL_m(\mathbb{Z})$의 코homology를 통해 기하적으로 실현될 수 있는가?
• RQ3 순환 리 대수의 쌍대와 다중 zeta 값의 대수 사이에 자연스러운 동형이 존재하는가?
• RQ4 $GL_2$ 및 $GL_3$의 모듈러 복합체와 Voronoi 복합체 사이의 관계는 무엇이며, 이는 산술군의 코homology에 어떤 함의를 갖는가?
• RQ5 정규화 사상은 발산하는 반복 적분을 $\overline{Z}_{w,m}(N)$의 잘 정의된 원소로 연결하는 데 어떤 역할을 하는가?

주요 결과

• $GL_m(\mathbb{Z})$의 모듈러 복합체의 코hom로와 동형인 다중 zeta 값의 공간 $\overline{Z}_{w,m}(N)$이 하위 깊이 관계에 모odulo된다.
• $N=1$일 때, $w+m$가 홀수이면 $\dim_{\mathbb{Q}} \overline{Z}_{w,m}(1) = 0$이며, 이는 그 차수에서 $\mathcal{D}_{w,m}(1)$의 소멸성에 의해 보여진다.
• 복합체 $\mathcal{D}_{\bullet,2} \to \Lambda^2 \mathcal{D}_{\bullet,1}$의 오일러 특성수의 생성함수는 $\frac{1}{(1-t^4)(1-t^6)} - 1$이며, 이는 $GL_2(\mathbb{Z})$의 코homology를 통해 계산된다.
• $GL_3(\mathbb{Z})$의 경우, $w > 3$일 때 $H^1(GL_3(\mathbb{Z}), S^{w-3}V_3)$는 소멸하며, $H^3$은 $GL_2(\mathbb{Z})$의 커퍼스 코homology와 동형이다.
• 정규화 사상 $\operatorname{Reg}Li_{n_1,\dots,n_m}(x_1,\dots,x_m)$은 $\mathcal{D}_{w,m}(N)$에서 $\overline{Z}_{w,m}(N)$로의 전사 선형 사상이며, 계수는 다중 polylogarithm의 명시적 합으로 주어진다.
• 모듈러 복합체는 대칭 공간 $SL_m(\mathbb{R})/SO_m$에서 기하적으로 실현되며, 경계는 셔플 관계를 만족하는 일반적인 3- 및 5-셀에 대응한다.