[논문 리뷰] An explicit theory of $π_{1}^\mathrm{un,crys}(\mathbb{P}^{1} - \{0,μ_{N},\infty\})$ - II-3 : Sequences of multiple harmonic sums viewed as periods

David Jarossay|arXiv (Cornell University)|2016. 01. 06.

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

한 줄 요약

이 논문은 $p$-진 환 위의 구멍이 있는 사영선 $
\mathbb{P}^1 - \{0, \mu_N, \infty\}$에 대한 결정적 프로유니포텐셜 기본군의 명시적 이론을 수립하며, 소수 가중치를 가진 다중 조화합수의 수열에 대한 갈루아 이론적 프레임워크를 구축한다. 연속, 국소화, 영점에서 유리적 실현이라는 세 가지 핵심 구조를 도입함으로써 주기 맵을 구성하고 주기 추측을 제시하며, 자연적인 조건 하에서 이러한 수열이 초월적임을 보여준다.

ABSTRACT

Let $X= ext{ }\mathbb{P}^{1} - (\{0,\infty\} \cup μ_{N}) ext{ }/ ext{ }W(\mathbb{F}_{q})$, with $N \in \mathbb{N}^{\ast}$ and $\mathbb{F}_{q}$ of characteristic $p$ prime to $N$ and containing a primitive $N$-th root of unity. We establish an explicit theory of the crystalline Frobenius of the pro-unipotent fundamental groupoid of $X$. In part I, we have computed explicitly the Frobenius action. In part II, we use this computation to understand explicitly the algebraic relations of cyclotomic $p$-adic multiple zeta values. We have used the ideas and the vocabulary of the Galois theory of periods, and in our framework, certain sequences of prime weighted multiple harmonic sums have been dealt with as if they were periods. In this II-3, we define three notions which essentialize our three types of computations, respectively : a "continuous" groupoid $π_{1}^{\un,\DR}(X_{K})^{\hat{ ext{cont}}}$, a "localization" $π_{1}^{\un,\DR}(X_{K})^{\loc}$ of $π_{1}^{\un,\DR}(X_{K})$, and a "rational counterpart at zero" $π_{1}^{\un,\RT,0}(X_{K})$ of $π_{1}^{\un,\DR}(X_{K})$. As an application, and as a conlcusion of this part II, we justify and clarify our Galois-theoretic point of view, in particular, we construct period maps and state period conjectures for sequences of prime weighted multiple harmonic sums.

연구 동기 및 목표

• 소수 가중치를 가진 다중 조화합수 수열을 $p$-진 호지 이론의 맥락에서 주기로 엄밀히 해석할 수 있는 갈루아 이론적 해석을 수립하는 것.
• 이 시리즈의 이전 부분에서 도입된 새로운 수학적 대상들과 계산 전략의 본질적 성격을 명확히 하는 것.
• 연속, 국소화, 영점에서 유리적 실현이라는 세 가지 서로 다른 실현을 딜 레이 프로유니포텐셜 기본군의 구조로 정의하는 것.
• 다중 조화합수 수열에 대한 주기 맵을 구성하고 정밀한 주기 추측을 제시하는 것.
• 조화합수를 통한 순환 $p$-진 다중 제타 값 간의 대수적 관계를 이해하기 위한 공식적 프레임워크를 제공하는 것.

제안 방법

• 일반화된 $p$-진 수렴을 다루기 위해, $p$-진 수렴을 고려한 De Rham 기본군의 구조를 완비화하여 연속적 군의 개념인 $\pi_1^{\text{un,DR}}(X_K)^{\widehat{\text{cont}}}$를 도입한다.
• 특히 0과 $\infty$ 근처의 국소적 행동을 분리하기 위해, 국소화된 실현 $\pi_1^{\text{un,DR}}(X_K)^{\text{loc}}$를 정의한다.
• 영점에서의 유리적 대응체로, $\pi_1^{\text{un,RT},0}(X_K)$를 구성하여 다중 조화합수를 $\pi_1^{\text{un}}$의 구조에 의존하지 않는 반복합수로 모델링한다.
• 세 실현 간의 관계를 설정하기 위해, 조화 Ihara 작용의 세 형태인 $\circ_{\text{har}}^{\text{DR,DR}}, \circ_{\text{har}}^{\text{DR,RT}}, \circ_{\text{har}}^{\text{RT,RT}}$를 사용한다.
• 이 세 실현 간의 비교를 통해 주기 맵을 유도하고, 조화합수 수열의 초월성에 대한 추측을 수립한다.
• 형식적 멱급수와 $\mathbb{Q}_p$ 내 수렴 논증을 활용하여, 조화합수 간 비자명한 대수적 관계의 소멸을 분석한다.

실험 결과

연구 질문

• RQ1 소수 가중치를 가진 다중 조화합수 수열은 갈루아 이론적 프레임워크 내에서 엄밀히 주기로 해석될 수 있는가?
• RQ2 순환 $p$-진 다중 제타 값의 대수적 관계를 둘러싼 기하학적이고 산술적인 구조는 무엇인가?
• RQ3 연속, 국소화, 영점에서 유리적 실현이라는 세 실현은 상호간에 어떻게 관련되어 있으며, 기본군의 구조와 어떻게 연결되는가?
• RQ4 형식적 멱급수 $\mathbb{Q}[[H]]$ 중에서, 조화합수 수열 $\operatorname{har}_{\mathcal{P}^\mathbb{N}}$의 이미지에 대해 영이 되는 비자명한 것이 존재하는가?
• RQ5 특히 완전 실수 또는 일반적인 경우에서, 다중 조화합수의 무한 부분수열은 어떤 초월적 성격을 지니는가?

주요 결과

• 논문은 소수 가중치를 가진 다중 조화합수 수열에 대한 주기 맵을 구성하여, $p$-진 갈루아 이론적 맥락에서 주기로의 해석을 공식화한다.
• 영점, 1, 무한대를 제외한 $\mathbb{P}^1 - \{0,1,\infty\}$에 대해, $\operatorname{har}_{\mathcal{P}^\mathbb{N}}(w)$의 임의의 무한 부분수열은 $n \mapsto \operatorname{har}_n(s_d,\ldots,s_1)$의 단사성에 의해 초월적임을 증명한다.
• 대부분 실수인 구성($z_i \in \mathbb{R}^{+*}$)이면, $\operatorname{har}_{\mathcal{P}^\mathbb{N}}(w)$의 임의의 무한 부분수열은 다시 한 번 단사성과 이러한 값들의 초월성에 의해 초월적이다.
• 형식적 변수 $T_1,\ldots,T_{d+1}$를 가진 일반적인 경우, 다항식 $P_{s_1,\ldots,s_d,n}(T_1,\ldots,T_{d+1})$는 서로 다른데, $T_{d+1}$에 대해 차수는 증가하므로 이들의 수열은 초월적임을 의미한다.
• 논문은 임의의 단어 $w$에 대해, $n \mapsto \sigma_n(\tilde{w})$에 의한 임의의 싱글턴의 역상이 유한함을 추측하며, 이는 무한히 많은 서로 다른 값이 존재함을 의미하고, 따라서 $\operatorname{har}_{\mathcal{P}^\mathbb{N}}(w)$의 초월성을 유도한다.
• 이 프레임워크는 세 실현을 통해 다중 조화합수를 주기로 간주할 수 있도록 정당화하며, 조화 Ihara 작용이 이 세 실현 간의 다리 역할을 하여 명시적인 대수적 관계와 추측 기반의 주기적 구조를 가능하게 한다.