[논문 리뷰] Standard Relations of Multiple Polylogarithm Values at Roots of Unity

Jianqiang Zhao|MPG.PuRe (Max Planck Society)|2007. 07. 10.

Advanced Mathematical Identities참고 문헌 26인용 수 30

한 줄 요약

이 논문은 제1의근 단위근에서의 다중polylogarithm 값(MPVs) 간 선형관계를 조사하며, 정규화된 이중셔플, 분포, 올리기, 씨앗 관계로부터 유도된 '표준 관계'를 도입하여, 무게 $ w $ 및 수준 $ N $의 MPVs의 유리수 차원 $ d(w,N) $ 를 유 bounds 한다. 이러한 표준 관계는 일반적으로 날카로운 bound를 제공하며, 특히 소수의 거듭제곱 수준에서 효과적이나, 수치적 증거는 비소수 거듭제곱 수준에서는 추가적인 비표준 관계가 존재할 가능성을 시사하며, 이에 따라 표준 관계의 완전성과 차원 bound의 날카로움에 대한 추측을 제기한다.

ABSTRACT

Let $N$ be a positive integer. In this paper we shall study the special values of multiple polylogarithms at $N$th roots of unity, called multiple polylogarithm values (MPVs) of level $N$. These objects are generalizations of multiple zeta values and alternating Euler sums, which was studied by Euler, and more recently, many mathematicians and theoretical physicists.. Our primary goal in this paper is to investigate the relations among the MPVs of the same weight and level by using the regularized double shuffle relations, regularized distribution relations, lifted versions of such relations from lower weights, and seeded relations which are produced by relations of weight one MPVs. We call relations from the above four families \emph{standard}. Let $d(w,N)$ be the $\Q$-dimension of $\Q$-span of all MPVs of weight $w$ and level $N$. Then we obtain upper bound for $d(w,N)$ by the standard relations which in general are no worse or no better than the one given by Deligne and Goncharov depending on whether $N$ is a prime-power or not, respectively, except for 2- and 3-powers, in which case standard relations seem to be often incomplete whereas Deligne shows that their bound should be sharp by a variant of Grothedieck's period conjecture. This suggests that in general there should be other linear relations among MPVs besides the standard relations, some of which are written down in this paper explicitly with good numerical verification. We also provide a few conjectures which are supported by our computational evidence.

연구 동기 및 목표

• 제1의근 단위근에서의 다중polylogarithm 값(MPVs) 간 선형관계를 분류하고 체계적으로 생성하는 것, 특히 같은 무게와 수준의 관계에 초점을 맞추는 것.
• 대수적 및 계산 기법을 사용하여 무게 $ w $ 및 수준 $ N $ 의 MPVs 가 생성하는 공간의 $ \mathbb{Q} $-차원 $ d(w,N) $ 를 결정하는 것.
• 정규화된 이중셔플, 분포, 올리기, 씨앗 관계로부터 유도된 표준 관계가 MPVs 간 선형 종속성의 전부를 포괄하는지 평가하는 것.
• Deligne와 Goncharov의 결과와 비교하여 표준 관계의 완전성을 조사하며, 특히 소수 거듭제곱 및 비소수 거듭제곱 수준에서의 경우를 중심으로 한다.
• 차원 bound 의 날카로움과 비표준 수준에서의 비표준 관계 존재 여부에 대한 추측을 수립하고 이를 뒷받침하는 것.

제안 방법

• 정규화된 이중셔플(RDS) 관계를 활용하여 MPVs 간 대수적 항등식을 도출하며, 다중저항값에서의 기법을 제1의근 단위근에서의 MPVs 로 확장한다.
• 낮은 무게에서 유도된 정규화된 분포 관계와 올리기 관계를 활용하여 높은 무게에서 새로운 항등식을 생성한다.
• 무게 1의 MPVs 로부터 유도된 씨앗 관계를 활용하여 고차원 무게의 관계를 생성하며, 표준 관계의 기초가 되는 가족을 형성한다.
• 기호 계산(MAPLE 등)을 통한 수치적 검증을 활용하여 선형관계(비표준 관계 포함)를 테스트하고 확인한다.
• 반복적 적분 표현과 모티브 형식론(드린펠트 연관자 및 혼합 타이트 모티브에서 유래)을 활용하여 MPVs 의 구조적 이해를 뒷받침한다.
• 표준 관계로부터 유도된 $ d(w,N) $ 의 bound 와 Deligne 및 Goncharov의 모티브 이론 결과로부터 유도된 bound 를 비교하며, 특히 소수 거듭제곱 및 비소수 거듭제곱 $ N $ 에서의 경우를 중심으로 한다.

실험 결과

연구 질문

• RQ1 정규화된 이중셔플, 분포, 올리기, 씨앗 관계로부터 유도된 표준 관계가 같은 무게와 수준의 MPVs 간 모든 선형관계를 포괄하는가?
• RQ2 표준 관계로부터 유도된 $ d(w,N) $ 의 bound 는 Deligne와 Goncharov의 모티브 이론에서 예측하는 날카로운 bound 와 어떻게 비교되는가?
• RQ3 만일 $ N $ 이 소수 거듭제곱이 아니면 비표준 선형관계가 존재하는가? 만약 존재한다면, 그 관계는 차원 bound 에 어떤 영향을 미치는가?
• RQ4 표준 수준(즉, $ N = 1,2,3 $ 또는 소수 거듭제곱 $ p^n $, $ p \geq 5 $) 에서 표준 관계가 제공하는 $ d(w,N) $ 의 bound 는 날카로운가?
• RQ5 자료에 따르면 $ w=3 $ 과 소수 $ N $ 에서 $ d(w,N) $ 가 다항식으로 예측 가능한가, 특히 $ N $ 에 대해 다항식 형태로 표현 가능한가?

주요 결과

• 소수 거듭제곱 수준 $ N = p^n $ 이며 $ p \geq 5 $ 인 경우, 표준 관계는 $ d(w,N) $ 에 대해 Deligne와 Goncharov의 bound 와 비교해도 일반적으로 동등하거나 더 낫다.
• $ N = 2 $ 및 $ N = 3 $ 인 경우, 표준 관계는 부족한 것으로 나타나 수치적 증거는 누락된 관계를 보여주며, 이는 이론적 기대와는 다르게 완전하지 않음을 시사한다.
• 무게 3에서 $ d(3,4) = 9 $ 이지만, 표준 관계의 bound 는 8 이므로 비표준 관계가 누락되어 있음을 시사하며, 이는 수치적으로 명시적으로 확인되었고 이후 삼각형 대칭성에 의해 증명되었다.
• 소수 $ N \geq 5 $ 에서, 추측된 bound $ d(3,N) \leq \frac{p^3 + 4p^2 + 5p + 14}{12} $ 는 $ p = 5,7,11,13 $ 의 데이터와 잘 맞으며, 차원에 대한 다항식 형태의 존재를 지지한다.
• 무게 4에서 $ d(4,4) = 16 $ 이며, 표준 관계의 bound $ SR(4,4) = 21 $ 과 일치하지만, $ D(4,4) = 16 $ 이므로 bound 는 날카롭지 않으며, 추가적인 관계가 존재할 가능성을 시사한다.
• 논문은 표준 수준(소수 거듭제곱 $ p^n $, $ p \geq 5 $) 에서 표준 관계가 $ d(w,N) $ 의 날카로운 bound 를 제공한다고 추측하며, 비표준 수준에서는 모든 무게 $ w \geq 3 $ 에서 비표준 관계가 존재하고, 무게 2 에서는 $ N \geq 10 $ 인 경우에 비표준 관계가 존재할 것으로 추측한다.