[논문 리뷰] Decomposition of elliptic multiple zeta values and iterated Eisenstein integrals

Nils Matthes|arXiv (Cornell University)|2017. 03. 28.

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

한 줄 요약

이 논문은 A-타입 타원형 다중 리만 제타 함수를 반복 아이자이슈트 적분으로의 정규 분해를 제공하며, 이를 위해 단사 사상 $\psi^A$ 를 사용한다. 이는 그들의 $\mathbb{Q}$-선형 관계 연구를 단순화한다. 주요 기여는 $\psi^A$ 의 상이 텐서 대칭의 쌍대공간의 푸리에 부분공간 안에 놓여 있으며, 전사성의 실패는 $\mathrm{SL}_2(\mathbb{Z})$ 의 모듈라 형식의 주기 다항식에 의해 결정된다는 것이다. 이는 타원형 다중 리만 제타 함수 간의 관계를 이해하기 위한 체계적이고 선형대수학적 프레임워크를 제공한다.

ABSTRACT

We describe a decomposition algorithm for elliptic multiple zeta values, which amounts to the construction of an injective map $ψ$ from the algebra of elliptic multiple zeta values to a space of iterated Eisenstein integrals. We give many examples of this decomposition, and conclude with a short discussion about the image of $ψ$. It turns out that the failure of surjectivity of $ψ$ is in some sense governed by period polynomials of modular forms.

연구 동기 및 목표

• A-타입 타원형 다중 리만 제타 함수의 대수에서 반복 아이자이슈트 적분의 공간으로 향하는 정규적, 단사적 분해 사상 $\psi^A$ 를 개발하는 것.
• 반복 아이자이슈트 적분이 $\mathbb{C}$ 위에서 선형독립이라는 사실을 활용하여, 타원형 다중 리만 제타 함수 간의 $\mathbb{Q}$-선형 관계 연구를 단순화하는 것.
• 사상 $\psi^A$ 의 상을 특성화하고, 그 전사성의 실패가 유도자 대수와 모듈라 형식의 주기 다항식과 어떻게 관련되어 있는지 밝혀내는 것.
• 모티브적 다중 리만 제타 함수와의 구조적 유사성을 수립하지만, 임의의 선택을 피한 정규적 구성 방식을 제공하는 것.

제안 방법

• 분해는 에레우레스의 작업에서 유도된 타원형 다중 리만 제타 함수의 미분방정식을 사용하여 구성되며, 이는 모티브적 코액션의 타원형 유사물이다.
• 사상 $\psi^A$ 는 $\mathcal{EZ}^A$ 에서 $T(\mathbf{E})^\vee \otimes_{\mathbb{Q}} \mathcal{Z}[2\pi i]$ 로의 단사 사상으로 정의되며, 여기서 $\mathbf{E} = \{\mathbf{e}_0, \mathbf{e}_2, \mathbf{e}_4, \ldots\}$ 는 아이자이슈트 급수 $E_{2k}(\tau)$ 와 대응된다.
• 푸리에 부분공간 $T(\mathbf{E})^\vee_{\rm Fou}$ 는 $\mathbb{Q}\langle\mathcal{E}\rangle_{\rm Fou}$ 의 $\psi$ 에 의한 상으로 정의되며, $q$-전개에서 상수항이 없는 반복 아이자이슈트 적분으로 이루어진다.
• 이 구성은 반복 아이자이슈트 적분을 $\mathbf{E}$ 위의 텐서 대칭의 순서쌍 쌍대공간에 보내는 등급 쌍대공간의 등급 동형사상 $\psi: \mathbb{Q}\langle\mathcal{E}\rangle \to T(\mathbf{E})^\vee$ 에 의존한다.
• 상이 푸리에 부분공간에 포함된다는 증명은 분해식 $\mathcal{E}^{0}(2k_1,\ldots,2k_n;\tau) = \mathcal{E}(\ldots) - \frac{B_{2k_n}}{4k_n}\mathcal{E}(\ldots,0;\tau)$ 를 사용하여 $q$-adic 영성 보장한다.
• 사상 $\psi^A$ 가 전사가 아니라는 점은 드린펠트 연관자 $\underline{A}_\infty$ 를 제거하는 유도자 $D$ 와 연결되며, 이는 이미지에 나타나는 반복 적분의 특정 조합만 존재하게 한다.

실험 결과

연구 질문

• RQ1 타원형 다중 리만 제타 함수는 어떻게 반복 아이자이슈트 적분으로 정규적으로 분해될 수 있으며, 이는 그들의 $\mathbb{Q}$-선형 관계 연구를 어떻게 단순화하는가?
• RQ2 분해 사상 $\psi^A$ 의 상의 정확한 구조는 무엇인가? 이는 $\mathcal{EZ}^A$ 에서 반복 아이자이슈트 적분의 공간으로의 사상이다.
• RQ3 왜 사상 $\psi^A$ 는 전사가 아니며, 이 실패는 어떤 방식으로 모듈라 형식과 그 주기 다항식과 관련되어 있는가?
• RQ4 타원형 다중 리만 제타 함수의 미분방정식은 어떤 정도에서 모티브적 코액션의 타원형 유사물로 작용하는가?
• RQ5 푸리에 부분공간 $T(\mathbf{E})^\vee_{\rm Fou}$ 는 A-타입 타원형 다중 리만 제타 함수의 본질적인 해석적 구조를 어떻게 반영하는가?

주요 결과

• 사상 $\psi^A: \mathcal{EZ}^A \hookrightarrow T(\mathbf{E})^\vee \otimes_{\mathbb{Q}} \mathcal{Z}[2\pi i]$ 는 정규적, 단사적 대수 준동형사상이며, A-타입 타원형 다중 리만 제타 함수를 반복 아이자이슈트 적분으로의 유일한 분해를 제공한다.
• 사상 $\psi^A$ 의 상은 푸리에 부분공간 $\iota(U(\mathfrak{u})^\vee)_{\rm Fou} \otimes_{\mathbb{Q}} \mathcal{Z}[2\pi i]$ 에 포함되어 있으며, 이는 상에 속하는 모든 원소가 $q$-전개에서 상수항이 없음을 의미한다.
• 사상 $\psi^A$ 가 전사가 아니라는 점은 비자명한 유도자가 존재하기 때문이며, 특히 드린펠트 연관자 $\underline{A}_\infty$ 를 제거하는 유도자 $D$ 가 존재함으로써, 이 장애는 모듈라 형식 이론과 연결된다.
• 전사성의 장애는 $\mathrm{SL}_2(\mathbb{Z})$ 의 모듈라 형식의 주기 다항식에 정확히 포함되어 있으며, 로카크 및 쇤프스와의 공동 연구에서 이를 입증하였다.
• 사상 $\psi^A$ 의 구성은 임의의 선택을 필요로 하지 않으며, 모티브적 $\phi$-사상과 달리 더 강력하고 구조적으로 자연스럽다.
• 이 분해는 반복 아이자이슈트 적분의 선형독립성 덕분에, 타원형 다중 리만 제타 함수 간의 $\mathbb{Q}$-선형 관계를 찾는 문제를 $\mathbb{C}$ 위의 선형 시스템을 푸는 것으로 환원한다.