[논문 리뷰] The algebra of generating functions for multiple divisor sums and applications to multiple zeta values

Henrik Bachmann, Ulf Kuehn|arXiv (Cornell University)|2013. 09. 16.

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

한 줄 요약

이 논문은 다중 약수 합의 생성함수에 대한 대수 $\tau\mathcal{MD}$를 도입하며, 이 대수가 필터링된 대수이자 선형 관계를 유도하는 도함수를 지닌다는 것을 보여준다. 또한 다중 제타 값의 $q$-해석을 수립하고, $Z_k$라는 사상으로 알려진 관계들—모듈러 형식과 셔플 곱으로부터 유래된 관계들—에 대한 새로운 대수적 설명을 이끌어내며, 무게 12에서의 명시적 예와 무게 9 및 10에서의 추측된 관계를 제시한다.

ABSTRACT

We study the algebra MD of generating function for multiple divisor sums and its connections to multiple zeta values. The generating functions for multiple divisor sums are formal power series in q with coefficients in Q arising from the calculation of the Fourier expansion of multiple Eisenstein series. We show that the algebra MD is a filtered algebra equipped with a derivation and use this derivation to prove linear relations in MD. The (quasi-)modular forms for the full modular group Sl_2(Z) constitute a sub-algebra of MD this also yields linear relations in MD. Generating functions of multiple divisor sums can be seen as a q-analogue of multiple zeta values. Studying a certain map from this algebra into the real numbers we will derive a new explanation for relations between multiple zeta values, including those in length 2, coming from modular forms.

연구 동기 및 목표

• 다중 약수 합의 생성함수에 대한 대수 $\mathcal{MD}$ 와 그 필터링된 대수로서의 구조, 그리고 도함수를 통한 선형 관계 유도를 연구한다.
• 다중 제타 값의 $q$-해석을 $\mathcal{MD}$ 에서 $\mathbb{R}$ 로 가는 사상 $Z_k$ 를 통해 수립하며, 다중 제타 값의 기존 관계들과 연결한다.
• 모듈러 형식과 셔플 곱으로부터 유래된 다중 제타 값 간의 기존 선형 관계들에 대해 새로운 대수적 설명을 이끌어낸다.
• 고정된 무게와 길이 3을 가진 삼중 약수 합 브라켓 $[s_1,s_2,s_3]$ 간의 이전에 알려지지 않은 선형 관계가 존재하는지 확인하고, 무게 9부터 관측된다는 것을 제안한다.
• 다중 아이zen슈타인 급수에서 셔플 관계의 수정을 $\mathcal{MD}$ 의 대수적 구조를 통해 이해할 수 있는 프레임워크를 제공한다.

제안 방법

• 브라켓 $[s_1, \dots, s_l]$ 으로 생성되는 $\mathbb{Q}$-벡터 공간으로서의 대수 $\mathcal{MD}$ 를 정의하며, 이는 다중 약수 합을 코딩하는 형식적 멱급수인 $q$ 에 대한 것이다.
• 브라켓에 작용하고 ( quasi- ) 모듈러 형식의 부분대수를 유지하는 $\mathcal{MD}$ 에서의 도함수 $\operatorname{d}$ 를 도입한다.
• 도함수를 통해 $\mathcal{MD}$ 내의 선형 관계를 증명하며, 특히 $[1]$ 과 $[2]$ 를 포함하는 관계들을 다루며, 이는 알려진 제타 값 항등식으로 사라진다.
• 무게 $k$ 에서의 값을 평가하는 사상 $Z_k: \mathcal{MD} \to \mathbb{R}$ 를 구성하며, 브라켓을 다중 제타 값으로 보낸다.
• $Z_k$ 를 $Z_k$ 의 핵에 속하는 원소들에 적용하여 다중 제타 값 간의 새로운 관계를 이끌어내며, 셔플 곱 항등식을 포함한다.
• 명시적 계산과 추측을 통해 고정된 무게 $k$ 와 길이 3을 가진 삼중 브라켓 $[a,b,c]$ 간의 선형 종속성을 특정하며, $k=9$ 에서부터 시작한다.

실험 결과

연구 질문

• RQ1 다중 약수 합의 생성함수에 대한 대수 $\mathcal{MD}$ 는 어떻게 대수적으로 구조화될 수 있으며, 도함수 $\operatorname{d}$ 는 선형 관계 유도에 어떤 역할을 하는가?
• RQ2 사상 $Z_k$ 를 통해 $\mathcal{MD}$ 에서 실현된 다중 제타 값의 $q$-해석의 본질은 무엇인가?
• RQ3 모듈러 형식이나 셔플 곱으로부터 유래된 다중 제타 값 간의 기존 관계들이 $\mathcal{MD}$ 의 대수적 구조에서 체계적으로 유도될 수 있는가?
• RQ4 고정된 무게와 길이 3을 가진 삼중 약수 합 브라켓 $[a,b,c]$ 간에 이전에 알려지지 않은 선형 관계가 존재하는가? 만약 존재한다면, 어느 무게에서 처음 나타나는가?
• RQ5 $Z_k$ 의 핵이 다중 제타 값 간의 새로운 항등식을 체계적으로 생성하는 데 사용될 수 있는가?

주요 결과

• 도함수 $\operatorname{d}$ 는 $\mathcal{MD}$ 에서 항등식 $\operatorname{d}[1] = [3] + \frac{1}{2}[2] - [2,1]$ 을 유도하며, 이는 $Z_3$ 에서 $\zeta(2,1) = \zeta(3)$ 로 사라지며 기존의 제타 값 항등식을 복원한다.
• $\zeta(s_1)\zeta(s_2)$ 의 셔플 곱 항등식은 $\mathcal{MD}$ 의 관계에 $Z_{k+2}$ 를 적용함으로써 대수적으로 복원되며, 도함수가 셔플 구조를 어떻게 코딩하는지 보여준다.
• 무게 12의 촉점 형식 $\Delta$ 는 $\frac{5197}{691}\zeta(12) = 168\zeta(5,7) + 150\zeta(7,5) + 28\zeta(9,3)$ 라는 관계를 유도하며, 이는 $\mathcal{MD}$ 의 브라켓 표현으로부터 유도된다.
• 무게 9와 10에서 삼중 브라켓 $[a,b,c]$ 간의 추측된 선형 관계가 발견되었으며, 각각 1개와 1개의 관계를 포함하여, $\operatorname{Fil}^W_{9,3}(\mathcal{MD})$ 와 $\operatorname{Fil}^W_{10,3}(\mathcal{MD})$ 에서 새로운 대수적 구조가 존재함을 시사한다.
• 무게 $k$ 와 길이 3을 가진 삼중 브라켓 간의 독립된 관계의 수는 $k=9$ 에서 $t_k = 1$, $k=10$ 에서 $t_k = 1$, $k=20$ 에서는 $t_k = 45$ 로 증가함을 추측하며, 이는 고무무게에서 비자명한 구조가 존재함을 시사한다.
• 저자들은 $Z_k(f) = 0$ 이면 모든 $f \in \mathcal{MD}$ 에 대해 $Z_k^{\text{alg}}(f) = 0$ 이라는 추측을 제기하며, 다중 제타 값 관계의 배경에 더 깊은 대수적 핵이 존재함을 시사한다.