[논문 리뷰] Elliptic multiple zeta values, Grothendieck-Teichmüller and mould theory

Leila Schneps|arXiv (Cornell University)|2015. 06. 30.

Advanced Algebra and Geometry참고 문헌 18인용 수 5

한 줄 요약

이 논문은 에클레의 몰드 이론을 사용하여 타원 설정으로 일반화된 타원 이중 셔플 라이 대수 $\mathrm{ds}_{\text{ell}}$를 도입한다. 이는 고전적 이중 셔플 라이 대수 $\mathrm{ds}$에서 타원 이중 셔플 라이 대수로의 포함 사상 $\mathrm{ds} \to \mathrm{ds}_{\text{ell}}$를 구성한다. 주요 결과는 이 사상이 탄성 기저점 섹션 $\mathrm{Lie}\,\pi_1(\mathrm{MTM}) \to \mathrm{Lie}\,\pi_1(\mathrm{MEM})$과 그로텐디크-타이히뮐러 사상 $\mathrm{grt} \to \mathrm{grt}_{\text{ell}}$와의 호환성을 보이며, 이러한 구조들을 포함하는 교차도를 통해 확인된다.

ABSTRACT

In this article we define an elliptic double shuffle Lie algebra $ds_{ell}$ that generalizes the well-known double shuffle Lie algebra $ds$ to the elliptic situation. The double shuffle, or dimorphic, relations satisfied by elements of the Lie algebra $ds$ express two families of algebraic relations between multiple zeta values that conjecturally generate all relations. In analogy with this, elements of the elliptic double shuffle Lie algebra $ds_{ell}$ are Lie polynomials having a dimorphic property called $Δ$-bialternality that conjecturally describes the (dual of the) set of algebraic relations between elliptic multiple zeta values, periods of objects of the category $MEM$ of mixed elliptic motives defined by Hain and Matsumoto. We show that one of Ecalle's major results in mould theory can be reinterpreted as yielding the existence of an injective Lie algebra morphism $ds ightarrow ds_{ell}$. Our main result is the compatibility of this map with the tangential-base-point section ${ m Lie}\,π_1(MTM) ightarrow { m Lie}\,π_1(MEM)$ constructed by Hain and Matsumoto and with the section $grt ightarrow grt_{ell}$ mapping the Grothendieck-Teichmüller Lie algebra $grt$ into the elliptic Grothendieck-Teichmüller Lie algebra $grt_{ell}$ constructed by Enriquez.

연구 동기 및 목표

• 고전적 이중 셔플 라이 대수 $\mathrm{ds}$의 타원 버전인 $\mathrm{ds}_{\text{ell}}$를 정의하여, 타원 다중 제타 값 간의 대수적 관계를 기술한다.
• 이중 셔플 관계의 프레임워크를, 다중 제타 값 간의 모든 대수적 관계를 생성할 것으로 추측되는 새로운 이중성 성질인 $\Delta$-이중대칭성($\Delta$-bialternality)을 도입하여 타원 설정으로 확장한다.
• 에클레의 몰드 이론에서 얻은 주요 결과를 활용하여, $\mathrm{ds} \to \mathrm{ds}_{\text{ell}}$의 정규적 단사 라이 대수 준동형사상을 구성한다.
• 이 준동형사상이 두 가지 기본 구조—탄성 기저점 섹션 $\mathrm{Lie}\,\pi_1(\mathrm{MTM}) \to \mathrm{Lie}\,\pi_1(\mathrm{MEM})$과 에레네즈가 구성한 사상 $\mathrm{grt} \to \mathrm{grt}_{\text{ell}}$—와 호환됨을 증명한다.
• 타원 다중 제타 값, 타원 그로텐디크-타이히뮐러 라이 대수, 혼합 타원 모티브의 기본 라이 대수를 연결하는 통합적 프레임워크를 제공한다.

제안 방법

• 새로운 이중성 성질인 $\Delta$-이중대칭성을 만족하는 라이 다항식의 라이 대수로 $\mathrm{ds}_{\text{ell}}$를 정의한다. 이 성질은 타원 다중 제타 값 간의 모든 대수적 관계를 추측적으로 묘사한다.
• 에클레의 몰드 이론을 적용하여 주요 결과를 재해석함으로써, 공간의 몰드 위에서 전리 대수 및 캄프벨-하우스도르프 법칙을 활용해 단사 라이 대수 준동형사상 $\mathrm{ds} \to \mathrm{ds}_{\text{ell}}$의 존재를 보인다.
• 공간 $L[C]$ 위에서 $\{f,g\} = D_f(g) - D_g(f) - [f,g]$ 형태의 파울슨-이하라 브라켓을 사용하여 라이 대수의 구조를 모델링한다. 여기서 $D_f$는 $D_f(a) = 0$, $D_f(b) = [f,b]$로 정의되는 미분이다.
• 전리 법칙 $p \odot f = pf + D_f(p)$를 통해 지수 사상 $\exp_{\odot}(f) = \sum_{n \geq 0} \frac{1}{n!} f^{\odot n}$을 구성함으로써, 자동형사상 $A_{\exp_{\odot}(f)}$를 실현한다.
• 라인 대수 $\mathrm{ds}$, $\mathrm{ds}_{\text{ell}}$, $\mathrm{grt}$, $\mathrm{grt}_{\text{ell}}$, $\mathrm{Lie}\,\pi_1(\mathrm{MTM})$, $\mathrm{Lie}\,\pi_1(\mathrm{MEM})$를 포함하는 도형의 교차성 조건을 확립한다. 여기서 추측적 점선 화살표는 제외된다.
• 선형화 보조정리를 사용하여 $\exp(-\mathrm{arit}(P) + \mathrm{ad}(P)) \cdot a = R^{-1} a R$ 이며 $R = \exp_{\text{ari}}(-P)$ 임을 보여, 준동형사상이 자동형사상 작용과 호환됨을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 이중 셔플 라이 대수 $\mathrm{ds}$는 어떻게 타원 설정으로 일반화되어 타원 다중 제타 값 간의 대수적 관계를 묘사할 수 있는가?
• RQ2 $\Delta$-이중대칭성은 타원 다중 제타 값의 이중성 구조를 어떻게 표현하는가? 이는 고전적 이중 셔플 관계와 어떤 관련이 있는가?
• RQ3 에클레의 몰드 이론 기반 기계장치를 사용하여 정규적 단사 라이 대수 준동형사상 $\mathrm{ds} \to \mathrm{ds}_{\text{ell}}$를 구성할 수 있는가?
• RQ4 준동형사상 $\mathrm{ds} \to \mathrm{ds}_{\text{ell}}$는 헤인과 마츠모토가 정의한 탄성 기저점 섹션 $\mathrm{Lie}\,\pi_1(\mathrm{MTM}) \to \mathrm{Lie}\,\pi_1(\mathrm{MEM})$과 호환되는가?
• RQ5 에레네즈가 구성한 사상 $\mathrm{grt} \to \mathrm{grt}_{\text{ell}}$는 전체 라이 대수 도형의 맥락에서 준동형사상 $\mathrm{ds} \to \mathrm{ds}_{\text{ell}}$와 교환되는가?

주요 결과

• 타원 이중 셔플 라이 대수 $\mathrm{ds}_{\text{ell}}$가 $\mathrm{ds}$의 일반화로서 정의되며, 타원 다중 제타 값 간의 모든 대수적 관계를 추측적으로 묘사하는 $\Delta$-이중대칭성 성질을 지닌다.
• 에클레의 몰드 이론에서 유래한 결과를 활용하여, $\mathrm{ds} \to \mathrm{ds}_{\text{ell}}$의 정규적 단사 라이 대수 준동형사상이 구성되며, 이는 고전적 및 타원 다중 제타 값 간의 깊은 구조적 연결을 확립한다.
• 이 준동형사상은 헤인과 마츠모토가 정의한 탄성 기저점 섹션 $\mathrm{Lie}\,\pi_1(\mathrm{MTM}) \to \mathrm{Lie}\,\pi_1(\mathrm{MEM})$과 호환됨이 입증되었다.
• 이 준동형사상은 에레네즈가 구성한 사상 $\mathrm{grt} \to \mathrm{grt}_{\text{ell}}$와도 호환되며, 이러한 라이 대수들을 포함하는 주요 도형의 교차성 조건을 보장한다.
• 선형화 보조정리를 통해 $\exp(-\mathrm{arit}(P) + \mathrm{ad}(P)) \cdot a = R^{-1} a R$ 이며 $R = \exp_{\text{ari}}(-P)$ 임을 증명함으로써, 준동형사상이 자동형사상 작용과의 호환성이 입증되었다.