[논문 리뷰] The double shuffle relations for multiple Eisenstein series

Henrik Bachmann, Koji Tasaka|arXiv (Cornell University)|2015. 01. 14.

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

한 줄 요약

이 논문은 반복 적분의 호프 대수에서의 곤차로프 코프로덕트와 다중 아이젠슈타인 급수의 푸리에 전개를 연결함으로써, 다중 아이젠슈타인 급수에 대한 제한된 유한 이중 셔플 관계를 수립한다. 핵심 결과는 셔플 곱이 생성 함수 사상에 의한 코프로덕트 작용과 대응됨을 보여주는 정확한 공식으로, 이는 이 맥락에서 이중 셔플 관계의 첫 비자명한 실현을 증명한다.

ABSTRACT

We study the multiple Eisenstein series introduced by Gangl, Kaneko and Zagier. We give a proof of (restricted) finite double shuffle relations for multiple Eisenstein series by developing an explicit connection between the Fourier expansion of multiple Eisenstein series and the Goncharov coproduct on Hopf algebras of iterated integrals.

연구 동기 및 목표

• 다중 제타 값의 고전적 이중 셔플 관계를 일반화하는 다중 아이젠슈타인 급수에 대한 유한 이중 셔플 관계를 수립하는 것.
• G_{1,5}와 같은 발산 항으로 인해 셔플 곱 공식이 실패하는 문제를 해결하기 위해 정규화된 프레임워크를 도입하는 것.
• 다중 아이젠슈타인 급수의 푸리에 전개와 반복 적분의 호프 대수에서의 곤차로프 코프로덕트 사이의 연결을 통해, 급수의 배경이 되는 대수적 구조를 드러내는 것.
• 셔플 곱이 코프로덕트 작용을 통해 실현될 수 있음을 증명함으로써, 모듈라 형식으로의 이중 셔플 프레임워크를 확장하는 것.

제안 방법

• 논문은 $ \mathcal{I}_{\bullet}^1 = \mathcal{I}_{\bullet}/\mathbb{I}(0;0;1)\mathcal{I}_{\bullet} $라는 몫 호프 대수를 구성하며, 이는 $ \{I(n_1,\ldots,n_r)\} $라는 선형 기저를 가지며, 이 공간 위에 곤차로프 코프로덕트 $ \Delta $를 정의한다.
• 두 개의 $ \mathbb{Q} $-선형 사상, 즉 셔플 곱에 대한 정규화된 다중 제타 값으로의 사상 $ \mathfrak{z}^{\cyr{sh}} $와 푸리에 전개에서의 다중 약수 합의 생성 함수로의 사상 $ \mathfrak{g} $를 도입한다.
• 주요 항등식 $ (\mathfrak{z}^{\cyr{sh}} \otimes \mathfrak{g}) \circ \Delta(I(n_1,\ldots,n_r)) = G_{n_1,\ldots,n_r}(\tau) $ 가 유도되며, 이는 코프로덕트를 다중 아이젠슈타인 급수의 푸리에 전개를 통해 연결한다.
• 증명은 주로 $ I(n_1,\ldots,n_r) $의 코프로덕트 전개와 $ G_{n_1,\ldots,n_r}(\tau) $의 푸리에 전개를 비교함으로써 이루어지며, 특히 $ r=2 $의 경우에서 $ \Delta(I(2,3)) = I(2,3)\otimes 1 + 3I(3)\otimes I(2) + 2I(2)\otimes I(3) + 1\otimes I(2,3) $와 같은 명시적 공식을 사용한다.
• 이 프레임워크는 다중 아이젠슈타인 급수의 정규화된 형태인 $ G^{(L,M)}_w(\tau) $를 정의함으로써 확장되어 수렴성을 보장하고 조화 곱 공식 유도를 가능하게 한다.
• 제한된 유한 이중 셔플 관계는 셔플 곱의 생성 함수가 한계 과정에서 조화 곱과 일치함을 보여줌으로써 증명되며, 결과적으로 $ \sum_w c_w(w_1 \cyr{sh} w_2) G_w^{\cyr{sh}}(q) = \sum_w c_w(w_1 \ast w_2) G_w^{\cyr{sh}}(q) $ 를 도출한다.

실험 결과

연구 질문

• RQ1 G_{1,5}와 같은 항의 발산으로 인해 다중 아이젠슈타인 급수의 셔플 곱의 구조가 어떻게 정의될 수 있는가?
• RQ2 다중 아이젠슈타인 급수의 푸리에 전개 뒤에 숨겨진 대수적 구조는 무엇이며, 다중 제타 값 이론의 기존 대상과 어떻게 관련이 있는가?
• RQ3 반복 적분의 곤차로프 코프로덕트를 사용하여 다중 아이젠슈타인 급수에 대해 일관된 셔플 곱을 정의할 수 있는가?
• RQ4 다중 제타 값의 이중 셔플 관계는 어느 정도까지 다중 아이젠슈타인 급수의 모듈라 설정으로 확장될 수 있는가?
• RQ5 생성 함수 $ G_w^{\cyr{sh}}(q) $ 사이에 $ \mathbb{Q} $-선형 관계가 존재하는가, 그리고 각 무게에서 얼마나 많은 독립적인 관계가 존재하는가?

주요 결과

• 논문은 $ (\mathfrak{z}^{\cyr{sh}} \otimes \mathfrak{g}) \circ \Delta(I(n_1,\ldots,n_r)) = G_{n_1,\ldots,n_r}(\tau) $ 를 증명함으로써, 곤차로프 코프로덕트와 다중 아이젠슈타인 급수의 푸리에 전개 사이의 정확한 대수적 연결을 확립한다.
• 제한된 유한 이중 셔플 관계가 성립함을 보였다: $ \sum_w c_w(w_1 \cyr{sh} w_2) G_w^{\cyr{sh}}(q) = \sum_w c_w(w_1 \ast w_2) G_w^{\cyr{sh}}(q) $, 이는 모듈라 형식 맥락에서 이러한 관계의 첫 비자명한 실현을 제공한다.
• 무게 $ N=4 $ 에서는 하나의 선형 관계가 발견된다: $ G^{\cyr{sh}}_4(q) - 4G^{\cyr{sh}}_{1,3}(q) = 0 $, 이는 $ y_2 \ast y_2 - y_2 \cyr{sh} y_2 $ 에서 유래하며, 방법의 효과성을 보여준다.
• 무게 $ N $ 에 대해 정규화된 $ \widetilde{G}^{\cyr{sh}} $ 가 생성하는 $ \mathbb{Q} $-벡터 공간 $ \mathcal{E}_N $ 의 차원은 $ N=7 $ 까지 $ 1,2,3,6,10,18 $ 으로 증가한다고 추측되며, 독립적인 관계의 수는 무게가 증가함에 따라 증가한다.
• 이중 셔플 관계로부터 유도되는 독립적인 $ \mathbb{Q} $-선형 관계의 수는 $ N=4 $ 에서 1개, $ N=5 $ 에서 1개, $ N=6 $ 에서 3개, $ N=7 $ 에서 5개, $ N=8 $ 에서 11개이며, 이는 $ N \geq 5 $ 에서 이러한 관계들이 가능한 모든 종속성을 포괄하지 못함을 시사한다.
• 정규화된 생성 함수의 $ \mathbb{Q} $-대수 $ \mathcal{E} $ 는 $ \mathrm{SL}_2(\mathbb{Z}) $ 의 준모듈라 형식의 환을 포함하며, 이는 도함수 $ qd/dq $ 에 대해 안정적일 수 있음을 시사하며, 이는 다중 제타 값 사이의 새로운 $ \mathbb{Q} $-선형 관계를 유도할 수 있다.