[论文解读] Linear relations among double zeta values in positive characteristic

Chieh-Yu Chang|arXiv (Cornell University)|Oct 22, 2015

Advanced Mathematical Identities参考文献 21被引用 4

一句话总结

本文建立了一种有效准则，用于计算正特征函数域中权重 $n$ 的双 zeta 值在 $\mathbb{F}_q(\theta)$-向量空间中的维数。结果表明，所有线性关系均源自 $\mathbb{F}_q[t]$-线性关系，这些关系存在于卡尔茨模的 $n$ 次张量幂中的特殊点之间，通过西格尔引理原理可显式计算维数。

ABSTRACT

The study of this paper is inspired by the conjecture of Zagier on the explicit dimension formula for the space of the same weight double zeta values in terms of the dimension of cusp forms for SL_{2}(Z). Our main result is to devise an effective criterion for computing the dimension of the same weight double zeta values over a rational function field F_{q}(theta) in positive characteristic. Contrary to the Zagier's conjecture, the analogue of Zagier's conjectural dimension provides a lower bound for the dimension of the double zeta values when the weight is $A$-even.

研究动机与目标

• 确定在正特征函数域设定下，由权重 $n$ 的双 zeta 值张成的 $\mathbb{F}_q(\theta)$-向量空间的维数。
• 建立双 zeta 值之间线性关系与卡尔茨模 $n$ 次张量幂中特殊点之间 $\mathbb{F}_q[t]$-线性关系之间的联系。
• 通过西格尔引理原理，为权重 $n$ 的双 zeta 值空间的维数发展一种有效的计算准则。
• 在函数域背景下，提供扎吉尔关于双 zeta 值维数猜想的类比。
• 通过将多重 zeta 值与 $t$-动机及卡尔茨-塔特动机的周期联系起来，拓展正特征下多重 zeta 值的理论。

提出的方法

• 构造卡尔茨模 $n$ 次张量幂中的特殊点，这些点编码了双 zeta 值之间的线性关系。
• 利用这些特殊点的 $\mathbb{F}_q[t]$-线性结构，来建模所有权重 $n$ 的双 zeta 值之间的 $\mathbb{F}_q(\theta)$-线性关系。
• 应用西格尔引理原理，计算这些特殊点之间 $\mathbb{F}_q[t]$-线性关系的解空间维数。
• 依赖于多重 zeta 值的 $t$-动机解释，即其作为混合卡尔茨-塔特 $t$-动机周期的表示。
• 为多重 zeta 值的 $k$-代数建立一个分次代数结构，其类比于冈恰罗夫的猜想。
• 通过显式计算和递推公式，确定小权重和特定 $q$ 下的维数。

实验结果

研究问题

• RQ1 在正特征下，由权重 $n$ 的双 zeta 值张成的 $\mathbb{F}_q(\theta)$-向量空间的维数是多少？
• RQ2 权重 $n$ 的双 zeta 值之间的 $\mathbb{F}_q(\theta)$-线性关系是如何生成的？
• RQ3 能否通过 $\mathbb{F}_q[t]$-线性关系，为权重 $n$ 的双 zeta 值空间的维数建立一种计算准则？
• RQ4 在正特征下，双 zeta 值之间的线性关系在多大程度上与经典数域设定下的关系相一致？
• RQ5 卡尔茨模的 $n$ 次张量幂的结构如何控制权重 $n$ 的多重 zeta 值之间的线性关系？

主要发现

• 所有权重 $n$ 的双 zeta 值之间的 $\mathbb{F}_q(\theta)$-线性关系，均由卡尔茨模 $n$ 次张量幂中特殊点之间的 $\mathbb{F}_q[t]$-线性关系所诱导。
• 通过西格尔引理原理，建立了一种有效准则，用于计算权重 $n$ 的双 zeta 值空间的维数。
• 当 $q=2$ 时，对于 $n \leq 120$，权重 $n$ 的双 zeta 值空间的维数为 $n-1$，且在范围 $3 \leq n \leq 120$ 内不存在 $\mathbb{F}_p$-线性关系。
• 当 $q=3$ 时，随着 $n$ 增大，维数也随之增长，已显式计算至 $n=150$，结果显示：$n=3$ 时维数为 $3$，$n=4$ 时为 $4$，$n=15$ 时为 $13$。
• 权重 $n$ 的双 zeta 值之间 $\mathbb{F}_p$-线性关系的数量随 $n$ 增加而增加，例如：$n=17$ 时有 $2$ 个关系，$n=32$ 时有 $4$ 个，$n=67$ 时有 $9$ 个。
• 具有 zeta-类似性质（即为卡尔茨周期的 $n$ 次幂的有理倍数）的情况极为罕见：在 $q=3$ 时，$n=3$ 时仅有一个，从 $n=4$ 到 $n=15$ 之间均无此类值。