[논문 리뷰] Multiple Elliptic Polylogarithms

Francis Brown, A. Levin|arXiv (Cornell University)|2011. 10. 31.

Advanced Mathematical Identities참고 문헌 1인용 수 121

한 줄 요약

이 논문은 복소 타원 곡선 위의 $ n+1 $개의 마킹된 점들의 구성 공간 위에서 다중 타원 다중로그 함수를 다가치 함수로 도입한다. 이는 단일 유니포텐트 단일 회전을 보장하는 평균화 절차를 통해 구성된다. 주요 기여는 이 공간 위의 모든 반복 적분(특히 마킹된 타원 곡선의 유니포텐트 기본군의 주기)이 이러한 함수들로 표현될 수 있음을 증명하는 것이다. 이는 고리수 0 기하학에서 다중 리로그 함수의 역할을 고리수 1 기하학으로 일반화한다.

ABSTRACT

We study the de Rham fundamental group of the configuration space $E^{(n)}$ of $n+1$ marked points on an elliptic curve $E$, and define multiple elliptic polylogarithms. These are multivalued functions on $E^{(n)}$ with unipotent monodromy, and are constructed by a general averaging procedure. We show that all iterated integrals on $E^{(n)}$, and in particular the periods of the unipotent fundamental group of the punctured curve $E \backslash \{0\}$, can be expressed in terms of these functions.

연구 동기 및 목표

• 고리수 1의 주기들을 위한 다중 타원 다중로그 함수의 일반화를 구축하기 위해.
• 타원 곡선 위의 마킹된 점들의 구성 공간에서 반복 적분을 위한 보편적 프레임워크를 정의하기 위해.
• 모든 $ \mathcal{E} \setminus \{0\} $의 유니포텐트 기본군의 주기가 이 함수들로부터 유래됨을 보여주기 위해.
• 마킹된 타원 곡선의 드 라무 기본군자리에 대한 $ \mathbb{Q} $-구조를 확립하기 위해.

제안 방법

• 타원 곡선 $ \mathcal{E} $ 위의 $ n+1 $개의 마킹된 점들의 구성 공간 $ \mathcal{E}^{(n)} $의 드 라무 기본군을 사용한다.
• 일반적인 평균화 절차를 적용하여 유니포텐트 단일 회전을 갖는 다중 타원 다중로그 함수를 구성한다.
• 첸의 반복 적분 이론과 드 라무 복합체 위의 바 구조를 활용하여 호위불변 적분을 묘사한다.
• 아르놀트 관계를 만족하는 형태 $ \frac{dt_i}{t_i}, \frac{dt_i}{1-t_i}, \frac{dt_i - dt_j}{t_i - t_j} $ 를 갖는 유리형 모델을 사용한다.
• 길이 필터링에 대한 관련 계수에 대한 사영을 통해 반복 적분의 구조를 분석한다.
• 모든 $ \mathcal{E}^{(n)} $ 위의 반복 적분이 함수 $ r - r_\varrho = \int_\varrho^\xi \overline{\nu} $ 와 평균화 절차의 계수들의 곱의 선형 조합으로 나타남을 보여준다.

실험 결과

연구 질문

• RQ1 다중 리로그 함수가 고리수 0에서의 역할을 고려할 때, 타원 곡선으로 어떻게 일반화될 수 있는가?
• RQ2 타원 곡선 위의 $ n+1 $개의 마킹된 점들의 구성 공간 $ \mathcal{E}^{(n)} $ 위의 반복 적분의 대수적 및 해석적 구조는 무엇인가?
• RQ3 모든 $ \mathcal{E} \setminus \{0\} $의 유니포텐트 기본군의 주기는 보편적인 함수 클래스로 표현될 수 있는가?
• RQ4 $ \mathcal{E}^\times $의 드 라무 기본군자리에 대한 $ \mathbb{Q} $-구조는 무엇이며, 이 함수들과의 관계는 어떻게 되는가?

주요 결과

• 모든 $ \mathcal{E}^{(n)} $ 위의 반복 적분, 특히 $ \mathcal{E} \setminus \{0\} $의 유니포텐트 기본군의 주기들은 다중 타원 다중로그 함수로 표현 가능하다.
• $ \varrho\Pi_\xi(\mathcal{E}^\times) $의 주기는 $ r - r_\varrho $ 와 평균화 절차의 계수들에 대한 $ \mathbb{Q} $-대수에 속한다.
• $ V(X_{F_n}) $의 임의의 원소의 반복 적분은 $ r - r_\varrho $ 와 평균화 과정의 생성 함수의 곱의 선형 조합으로 나타난다.
• $ V(X_{F_n}) $의 관련 계수는 $ \mathbb{Q} \overline{\nu} \oplus \mathbb{Q} \overline{\omega}^{(0)} \oplus \bigoplus \mathbb{Q} \overline{\eta}_{\sigma_i} $ 위의 텐서 대수와 동형이므로, 함수의 대수적 구조가 확인된다.
• 이 구성은 정리 26를 통해 접선 기저점과 고차원 섬유로 일반화되어, 모든 $ \mathcal{E}^{(n)} $로 결과를 확장한다.