[论文解读] An explicit theory of $\pi_1^\mathrm{un,crys}(\mathbb{P}^1 - \{0,\mu_{N},\infty\})$ - I-3 : The number of iterations of the Frobenius viewed as a variable

David Jarossay|arXiv (Cornell University)|Oct 28, 2016

Advanced Algebra and Geometry参考文献 16被引用 8

一句话总结

本文建立了有限域上去掉 0、∞ 及 N 次单位根的射影直线的结晶 pro-幂零基本群胚的显式理论。通过将 Frobenius 迭代次数视为 p-进变量，计算了相关的周期——即分圆 p-进多重 zeta 值——并引入了一种与以往构造不同的新型调和 Ihara 型作用，从而实现了对 Frobenius-不变路径的间接计算。

ABSTRACT

Let $X_{0}$ be a curve $ ext{ }\mathbb{P}^{1} - (\{0,\infty\} \cup \mu_{N}) ext{ }/ ext{ }\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 pro-unipotent fundamental groupoid of $X_{0}$. In this part I, we compute explicitly the Frobenius and in particular the periods associated with it, i.e. cyclotomic $p$-adic multiple zeta values. In I-1 and I-2 the number of iterations of the Frobenius was a fixed integer $\alpha \in \mathbb{N}^{\ast}$. In this I-3, we study how the Frobenius depends on $\alpha$ viewed as a $p$-adic variable. One of the applications is to obtain a natural indirect computation of the variant of cyclotomic $p$-adic multiple zeta values that expresses the Frobenius-invariant path at $(\vec{1}_{1},\vec{1}_{0})$. The results are expressed by defining a counterpart of the harmonic Ihara action which is different from the two ones defined in I-2.

研究动机与目标

• 将结晶 pro-幂零基本群胚理论扩展至将 Frobenius 迭代次数视为 p-进变量。
• 当迭代次数在 p-进意义下被视为变量时，计算与 Frobenius 算子相关的周期。
• 在切向基点 (1̲₁, 1̲₀) 处，通过自然方式间接计算 Frobenius-不变路径。
• 定义一种与先前文献中不同的新型调和 Ihara 作用的对应物，以描述在此变量设定下 Frobenius 作用的性质。

提出的方法

• 在有限域 F_q 上的 X₀ = P¹ − {0, ∞} ∪ μ_N 的结晶 pro-幂零基本群胚背景下分析 Frobenius 算子。
• 此前固定为整数 α ∈ ℕ* 的 Frobenius 迭代次数，现被视作 p-进变量。
• 在该变量框架下，计算与 Frobenius 作用相关的周期——即分圆 p-进多重 zeta 值。
• 构建一种与 I-2 中不同的新型调和 Ihara 型作用，以编码 Frobenius 对 p-进迭代变量的依赖关系。
• 该理论利用了去掉点的射影直线的几何结构，以及 F_q 中存在一个本原 N 次单位根的事实。
• 该框架利用结晶上同调与 pro-幂零基本群胚，显式描述了单值(monodromy)与 Frobenius 结构。

实验结果

研究问题

• RQ1 当将迭代次数视为 p-进变量时，Frobenius 作用在结晶 pro-幂零基本群胚上的依赖关系如何？
• RQ2 在此变量 Frobenius 框架下，与之相关的显式周期（特别是分圆 p-进多重 zeta 值）是什么？
• RQ3 能否通过此变量框架间接计算在切向基点 (1̲₁, 1̲₀) 处的 Frobenius-不变路径？
• RQ4 此新型调和 Ihara 型作用与 I-2 中先前定义的两种作用有何不同？
• RQ5 在此背景下，将 Frobenius 迭代次数视为 p-进变量的几何与算术意义是什么？

主要发现

• 本文构造了一种与 I-2 中先前定义的两种作用不同的新型调和 Ihara 型作用，为 Frobenius 作用提供了新框架。
• 与 Frobenius 算子相关的周期在变量迭代设定下被显式计算为分圆 p-进多重 zeta 值。
• 在切向基点 (1̲₁, 1̲₀) 处的 Frobenius-不变路径通过变量迭代方法所支持的间接计算获得。
• 该理论显式描述了 Frobenius 作用对表示迭代次数的 p-进变量的依赖关系。
• 结果以结晶上同调与 pro-幂零基本群胚的形式表达，该框架在条件 p ∤ N 且 F_q 包含一个本原 N 次单位根时成立。
• 周期的显式计算与新作用的引入，深化了对这一算术设定下单值与 Frobenius 结构的理解。