[논문 리뷰] Multi-polylogs at twelfth roots of unity and special values of Witten multiple zeta function attached to the exceptional Lie algebra G_2

Jianqiang Zhao|arXiv (Cornell University)|2009. 04. 06.

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

한 줄 요약

이 논문은 예외적 리 대수 𝔤₂에 관련된 위튼 다중 제타 함수의 비음수 정수에서의 특수값이, 두 개의 비정상적인 경우를 제외하고는 12제곱근 단위에서 평가된 다중다중로그 함수의 유리수 계수 선형조합으로 표현 가능하다는 것을 입증한다. 이 두 경우는 각각 리만 제타 함수 값의 유리수 배로 줄어든다. 이 결과는 이전의 𝔰𝔩(4) 및 𝔰𝔬(5)에 대한 연구를 확장하여, 리 대수 표현 이론과 제곱근 단위에서의 다중 제타 함수 사이의 깊은 연결 고리를 드러낸다.

ABSTRACT

In this note we shall study the Witten multiple zeta function associated to the exceptional Lie algebra g_2. Our main result shows that its special values at nonnegative integers can always be expressed as rational linear combinations of the multi-polylogs evaluated at 12th roots of unity, except for two irregular cases.

연구 동기 및 목표

• 비음수 정수에서 예외적 리 대수 𝔤₂에 관련된 위튼 다중 제타 함수의 특수값을 조사한다.
• 이 특수값들이 알려진 특수함수, 특히 다중다중로그 함수로 표현 가능한지 확인한다.
• 이 값들의 대수적 구조와 다중 제타 함수, 제곱근 단위와의 관계를 탐구한다.
• 이전의 𝔰𝔩(4) 및 𝔰𝔬(5)에 대한 결과를 예외적 경우인 𝔤₂로 확장한다.
• 이 특수값들을 지배하는 다중다중로그 구조의 정확한 수준(12제곱근 단위)과 깊이(≤2)를 규명한다.

제안 방법

• m,n ≥ 1에서의 m과 n에 대한 선형형식을 포함하는 분모를 가진 2변수 합으로서 위튼 다중 제타 함수 ζ𝔤₂(s₁,…,s₆)를 정의한다.
• 다중다중로그 함수 Li_{s₁,…,s_d}(x₁,…,x_d)를 중심적인 해석적 도구로 사용하며, 그 인자들은 12제곱근 단위로 제한된다.
• 합성적 항등식(보조정리 1.2)을 적용하여 유리함수 1/(x^s y^t)를 (x+y)^{s+t} 항을 포함하는 합으로 분해함으로써, 다중다중로그 형태로의 환원을 가능하게 한다.
• 다중 제타 함수의 이론과 그 대수적 관계, 특히 RDS(Rational Double Sum) 및 GiNaC를 이용한 기호 계산을 활용한다.
• 고정밀 수치 계산과 함께 PSLQ 알고리즘을 사용하여 ζ𝔤₂(2,2,…,2) = c·π¹²과 같은 잠재적 닫힌형 표현을 탐지한다.
• 이미 알려진 12제곱근 단위에서의 다중다중로그의 구조와 그 유리수 선형독립성에 기반하여 특수값의 공간 차원을 분석한다.

실험 결과

연구 질문

• RQ1 𝔤₂에 대한 위튼 다중 제타 함수의 비음수 정수에서의 특수값은 제곱근 단위에서 평가된 다중다중로그 함수의 유리수 계수 선형조합으로 표현될 수 있는가?
• RQ2 이 특수값을 표현하기 위해 필요한 최소 수준의 제곱근 단위는 무엇이며, 왜 𝔤₂의 경우 12제곱근 단위가 핵심 수준이 되는가?
• RQ3 왜 두 특정한 경우(s₁=s₂=0 및 s₃=s₄=s₅=s₆=0 또는 s₃=s₄=s₅=s₆=0)는 12제곱근 단위에서의 다중다중로그 함수 공간에 속하지 않는가?
• RQ4 특수값 ζ𝔤₂(2,2,2,2,2,2)에 대해 닫힌형 표현이 존재하는가? 만약 존재한다면, 이는 유리수 배의 π¹²와 일치하는가?
• RQ5 ζ𝔤₂(s₁,…,s₆)의 특수값들은 대수적으로 독립적인가, 아니면 비자명한 유리수 선형관계를 만족하는가?

주요 결과

• 특수값 ζ𝔤₂(s₁,…,s₆)는 w−s₁>1, w−s₂>1, 그리고 w>2일 때에만 수렴한다. 여기서 w=s₁+⋯+s₆이다.
• 수렴 조건을 만족하는 모든 비음수 정수 튜플 (s₁,…,s₆)에 대해, 두 비정상적인 경우를 제외하고는 ζ𝔤₂(s₁,…,s₆)는 무게 w, 깊이 ≤2, 수준 12인 다중다중로그 함수의 Q-벡터 공간에 속한다.
• 두 예외적 경우는 (0,0,s₃,0,0,0) 및 (0,0,0,s₄,0,0)이며, 이 값들은 각각 ζ(w−1) 및 ζ(w)의 유리수 스칼라 배로 이루어진 Q-스팬에 속한다.
• 수치적 증거는 ζ𝔤₂(2,2,2,2,2,2) = (2⁶·5³·23)/(3⁶·7²·11·13)·ζ(2)⁶ = (5³·23)/(3¹²·7²·11·13)·π¹²임을 지지하며, 오차는 10⁻¹⁰⁰ 이내이다.
• ζ𝔤₂(1,0,0,0,2,0)는 ζ(3)의 유리수 배가 아니므로, 이는 ζ(3)의 유리수 스칼라 배의 공간 외부에 있으며, 따라서 MPV(3,1)에 속하지 않는다.
• m,n=300까지의 고정밀 부분합 계산을 통해 ζ𝔤₂(1,1,1,1,1,1) 및 ζ𝔤₂(2,1,1,1,1,1)와 같은 여러 특수값에 대해 기호 계산 결과와 수치적으로 10자리 이상 일치함을 확인하였다.