[论文解读] 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)|Jan 6, 2016

Algebraic Geometry and Number Theory参考文献 18被引用 9

一句话总结

本文为在 $p$-进环上，带 puncture 的射影直线 $\mathbb{P}^1 - \{0, \mu_N, \infty\}$ 的结晶 pro-幂零基本群族建立了显式理论，确立了素权重多重调和和序列的伽罗瓦理论框架。通过引入三个关键结构——连续性、局部化和零点处有理性的实现——构建了周期映射并提出了周期猜想，表明在自然条件下，此类序列是超越的。

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$-进霍奇理论的背景下，为素权重多重调和和序列建立伽罗瓦理论解释，将其解释为周期。
• 澄清本系列前期引入的新数学对象与计算策略的内在性质。
• 定义德 Rham pro-幂零基本群族的三种不同实现：连续性、局部化及零点处有理性。
• 构建周期映射并为多重调和和序列提出精确的周期猜想。
• 通过调和和提供理解循环 $p$-进多重 zeta 值之间代数关系的形式化框架。

提出的方法

• 引入连续群族 $\pi_1^{\text{un,DR}}(X_K)^{\widehat{\text{cont}}}$，作为德 Rham 基本群族的完备化，以处理 $p$-进收敛性。
• 定义局部化 $\pi_1^{\text{un,DR}}(X_K)^{\text{loc}}$，以分离在穿孔点（特别是 $0$ 和 $\infty$）附近的局部行为。
• 构建零点处的有理对应物 $\pi_1^{\text{un,RT},0}(X_K)$，以建模多重调和和为与 $\pi_1^{\text{un}}$ 结构无关的迭代和。
• 在三种形式中使用调和伊哈作用：$\circ_{\text{har}}^{\text{DR,DR}}, \circ_{\text{har}}^{\text{DR,RT}}, \circ_{\text{har}}^{\text{RT,RT}}$，以关联三种实现。
• 通过比较这些实现，推导出周期映射并为调和和序列的超越性提出猜想。
• 在 $\mathbb{Q}_p$ 中使用形式幂级数与收敛性论证，分析调和和之间非平凡关系的消失。

实验结果

研究问题

• RQ1 能否在伽罗瓦理论框架下严格解释素权重多重调和和序列为周期？
• RQ2 循环 $p$-进多重 zeta 值之间代数关系的内在几何与算术结构是什么？
• RQ3 三种实现——连续性、局部化与零点处有理性——彼此之间以及与基本群族之间有何关系？
• RQ4 是否存在在 $\mathbb{Q}[[H]]$ 上的非平凡形式幂级数，其在 $\mathbb{Q}_p$ 中调和和序列 $\operatorname{har}_{\mathcal{P}^\mathbb{N}}$ 的像上消失？
• RQ5 在完全实或普遍情形下，多重调和和的无限子序列的超越性质是什么？

主要发现

• 本文为素权重多重调和和序列构建了周期映射，形式化了其在 $p$-进伽罗瓦理论设定下作为周期的解释。
• 证明了对于 $\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)$ 为超越数。
• 该框架通过三种实现支持将多重调和和视为周期，调和伊哈作用作为其桥梁，使显式代数关系与猜想的周期结构成为可能。