[논문 리뷰] Towards multiple elliptic polylogarithms

A. Levin, Georges Racinet|ArXiv.org|2007. 03. 08.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 58

한 줄 요약

이 논문은 구멍이 뚫린 타원곡선과 모듈리 스택 ${\mathscr{M}}_{1,n}$ 위에서 De Rham 기본 군자와 tannakian 범주를 사용하여 다중 타원다중로그함수에 대한 기하학적 및 대수적 프레임워크를 개발한다. 보편 가속도 가족 위에 $\mathbb{Q}$-대수적 접속을 구성하며, 그 존재성과 $\mathbb{G}_m$-등변성을 증명하고, 당김과 비틀림을 통해 기본 호프 대수에 대한 자연스러운 $\mathbb{Q}$-구조를 수립하여 고전적 다중로그함수 구성의 타원형으로의 확장을 이룬다.

ABSTRACT

We investigate the elliptic analogs of multi-indexed polylogarithms that appear in the theory of the fundamental group of the projective line minus three points as sections of a universal nilpotent bundle with regular singular connection. We use an analytic uniformisation to derive the fundamental nilpotent De Rham torsor of a single elliptic curve in terms of a double Jacobi form introduced by Kronecker. We then extend this result to any smooth family, relatively to the base, i.e., to the moduli stack $M_{1,2}$ over $M_{1,1}$. Everything relies on explicit formulas that turn out to be algebraic for rational (families of) elliptic curves, and we conclude by providing the corresponding natural $\QM$ structure.

연구 동기 및 목표

• 기하학적 및 모티브 구조를 활용하여 고전적 및 다중 다중로그함수를 타원형으로 일반화하는 것.
• 구멍이 뚫린 타원곡선과 모듈리 스택 ${\mathscr{M}}_{1,n}$ 위에서 경로의 De Rham 기본 토르서를 통해 다중 타원다중로그함수를 정의하고 구성하는 것.
• 이러한 토르서와 관련된 기본 호프 대수에 대한 자연스러운 $\mathbb{Q}$-대수적 구조를 확립하는 것.
• 기본 가속도 가족 위의 해석적 접속이 당김과 비틀림을 통해 정칙 대수적 $\mathbb{Q}$-접속으로 확장됨을 증명하는 것.
• $\mathbb{G}_m$-등변성의 성질이 기저와 전체 공간 위의 구성된 대수적 접속에 어떻게 나타나는지 보여주는 것.

제안 방법

• 구멍이 뚫린 타원곡선의 De Rham 기본 군자를 사용하여 상반평면과 모듈리 스택 ${\mathscr{M}}_{1,1}$ 위에서 보편 평탄한 접속을 정의한다.
• tannakian 형식론과 상대 tannakian 이론을 적용하여 기본 토르서와 관련된 접속을 재구성한다.
• Eisenstein 급수와 리대수의 구조를 사용하여 ${\mathscr{M}}_{1,1}$ 위에서 보편 접속 대수를 구성하며, 이는 모듈라리티와 $\mathbb{G}_m$-등변성을 보장한다.
• 접속의 명시적 공식을 $u$, $\tau$, 그리고 생성자 $\mathbf{t}_{\text{alg}}$, $\mathbf{s}_{\text{alg}}$에 대해 유도하며, 계수는 $g_2$, $g_3$, $(2\pi i)^{-1}u^2 d\tau$에 속한다.
• 국소 균일화와 당김 구성 방법을 사용하여 기저에서 $\mathbb{Q}$-스킴 위의 가속도 가족으로 $\mathbb{Q}$-대수적 구조를 옮긴다.
• 기저 위의 $\mathbb{Q}$-대수적 1형식에 의한 접속의 비틀림을 적용하여 $\mathbb{Q}$-유리점에서의 기본 호프 대수에 $\mathbb{Q}$-구조를 확장한다.

실험 결과

연구 질문

• RQ1 모듈리 공간 ${\mathscr{M}}_{1,n}$ 위에서 기하학적 및 모티브 구조를 사용하여 다중 타원다중로그함수를 체계적으로 정의할 수 있는가?
• RQ2 구멍이 뚫린 타원곡선 위의 경로 기본 토르서의 대수기하학적 구조는 무엇이며, 이는 보편 평탄한 접속을 어떻게 지원하는가?
• RQ3 기본 가속도 가족 위의 해석적 De Rham 접속에 자연스러운 $\mathbb{Q}$-대수적 구조를 부여할 수 있는가?
• RQ4 $\mathbb{G}_m$-등변성의 성질이 대수적 및 해석적 설정에서 어떻게 나타나는가?
• RQ5 비틀림의 역할은 $\mathbb{Q}$-구조를 $\mathbb{Q}$-유리점에서의 기본 호프 대수로 확장하는 데 어떤 기여를 하는가?

주요 결과

• 논문은 기저 ${\mathcal{B}}$ 위에 $\mathbb{Q}$-대수적 접속 $({\mathcal{R}}_{\text{alg}}, \nabla_{{\mathcal{R}}_{\text{alg}}})$ 와 ${\mathcal{Q}}^{\text{aff}}$ 위에 $({\mathfrak{P}}_{\text{alg}}, \nabla_{{\mathfrak{P}}_{\text{alg}}})$ 를 구성하며, 이는 $\mathbb{C}$로의 기저 변경 후 해석적 접속이 된다.
• 구성된 접속은 $\mathbb{G}_m$-등변성 조건을 만족하여 모듈라 매개변수 $\tau$의 스케일링 대칭성과 호환된다.
• 접속 계수는 $g_2$, $g_3$, 그리고 대수적 형식 $(2\pi i)^{-1}u^2 d\tau$에 대한 다항식으로 표현되며, 이는 $\mathbb{Q}$ 위에서의 대수성임을 증명한다.
• 기저 ${\mathbb{Q}}$-스킴 위의 가속도 가족 $X/S$ 에 대해 $\mathbb{Q}$-대수적 접속을 당김함으로써 정칙 대수적 $\mathbb{Q}$-접속을 얻을 수 있으며, $\mathbb{G}_m$-등변성 덕분에 $g_2$, $g_3$ 의 선택과 무관하게 유지된다.
• 기본 호프 대수 위에서 $\mathbb{Q}$-대수적 1형식에 의한 비틀림은 $\mathbb{Q}$-구조를 유지하며, 이에 따라 $\mathbb{Q}$-유리점에서의 기본 호프 대수에 자연스러운 $\mathbb{Q}$-대수적 구조가 유도된다.
• 평행 이동의 미분방정식은 $\mathbb{Q}$-대수적임을 보이며, 계수는 $\wp(X) - X^{-2}$ 의 테일러 전개로부터 유도된다.