[論文レビュー] A note on multiple zeta values in Tate algebras

Federico Pellarin|arXiv (Cornell University)|Jan 27, 2016

Advanced Mathematical Identities被引用数 11

ひとこと要約

本稿は、正標数の関数体設定において、Thakurの多重ゼータ値を一般化し、Tate代数と半乗法的特徴の枠組みを導入することで、それらの値に対してシャッフル積に類似した公式を確立する。これらはカルリッツ・ゼータ値および対数関数と関連づけられ、$ \zeta_C^\star(q-1,1) = \zeta_C(1)\zeta_C(q-1) - \zeta_C(1,q-1)$ といった明示的恒等式を導出し、多重ゼータ値の$K$-代数における新しい代数的関係を提供する。

ABSTRACT

In this note, we shall discuss a generalization of Thakur's multiple zeta values and allied objects, in the framework of function fields of positive characteristic and more precisely, of periods in Tate algebras.

研究の動機と目的

• Tate代数上の関数体の設定において、Thakurの多重ゼータ値を一般化すること。
• 半乗法的特徴とべき和を用いて、一般化された多重ゼータ値の間の代数的関係を調査すること。
• カルリッツ加法群の文脈とTate代数において、多重ゼータ値のシャッフル積型恒等式を確立すること。
• 特にTate代数における評価写像を通じて、正標数における多重ゼータ値によって生成される$K$-代数の構造を調査すること。
• 多重ゼータ値、カルリッツ・ゼータ値、およびカルリッツ対数関数を結ぶ明示的公式を提供すること。特に、$\zeta_C^\star(q-1,1) = \zeta_C(1)\zeta_C(q-1) - \zeta_C(1,q-1)$ といった恒等式を含む。

提案手法

• 半乗法的特徴$\nu: A^+ \to \mathbb{F}_q[t]$を用いて、Tate代数$\mathbb{T}$における$\zeta_C(s; \nu)$を定義することで、多重ゼータ値の一般化を導入する。
• べき和$S_d(n; \nu)$およびその生成関数$\mathfrak{S}_d(n; \nu)$を定義し、これらをTate代数$\mathbb{T}$の元として扱い、$K_\infty$における収束性を検討する。
• Tate代数上の評価写像$f \mapsto f(1)$を用い、Tate代数における形式的恒等式を$K_\infty$における具体的な値、特に$t=1$における値に結びつける。
• Thakurが確立した関数体設定における多重ゼータ値のシャッフル積構造を応用し、$\zeta_C^\star$および$\zeta_C$を含む恒等式を導出する。
• 既知の結果、すなわち$\widetilde{\pi}$と$\zeta_C(n)$（$n \not\equiv 0 \pmod{q-1}$）の代数的独立性を用い、カルリッツ対数関数$\log_C(z) = \sum_{i \geq 0} l_i^{-1} z^{q^i}$を用いて$\zeta_C(1)^q$を表現する。
• 明示的恒等式$\zeta_C^\star(q-1,1) = \zeta_C(q-1,1) + \zeta_C(1)^q$を導出し、シャッフル積との関係を示す。特に、$\zeta_C(1)\zeta_C(q-1) = \zeta_C(q) + \zeta_C(q-1,1) + \zeta_C(1,q-1)$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 関数体設定における多重ゼータ値は、Tate代数における半乗法的特徴を用いて一般化可能であり、それによって新たな代数的恒等式が得られるか？
• RQ2 正標数における多重ゼータ値によって生成される$K$-代数の構造はどのようなものか？ また、シャッフル積の公式はこの文脈でどのように現れるか？
• RQ3 Tate代数における生成関数の評価は、多重ゼータ値とカルリッツ・ゼータ値の間の明示的関係をどのように導くか？
• RQ4 カルリッツ対数関数は、特に$\zeta_C(1)^q$の表現においてどのような役割を果たすか？
• RQ5 Toddによる数値計算が示唆するように、関数体設定における多重ゼータ値間に普遍的な関係が存在するか？

主な発見

• 本稿は、$\zeta_C^\star(q-1,1) = \zeta_C(1)\zeta_C(q-1) - \zeta_C(1,q-1)$ を確立し、多重ゼータ値の$K$-代数における新しい代数的恒等式を提供する。
• また、$\zeta_C^\star(q-1,1) = \zeta_C(q-1,1) + \zeta_C(1)^q$ が成り立つことを証明し、ここで$\zeta_C(1)^q = \log_C(1)^q$ はカルリッツ対数関数を用いて表現可能であることを示す。
• 生成関数$\sum_{d=0}^\infty \mathfrak{S}_d(q;1)(1)$ の評価により、$\zeta_C^\star(q-1,1)$ が得られ、Tate代数における形式的べき級数と具体的なゼータ値との関連が明確にされる。
• 明示的公式$\zeta_C^\star(q-1,1) = \zeta_C(1)\left(\zeta_C(q-1) - \frac{\zeta_C(1)^{q-1}}{\theta - \theta^q}\right)$ が導出され、Thakurの既知の恒等式$\zeta_C(m,m(q-1)) = \frac{\zeta_C(mq)}{(\theta - \theta^q)^m}$ を用いる。
• ディリクレ型でない半乗法的特徴、例えば$\nu(a) = t^{\deg_\theta(a)}$ に対しても、Tate代数において有効なシャッフルに類似した恒等式が得られることを示す。例えば、$\zeta_C(1;\nu)\zeta_C(1;\boldsymbol{1}) = \zeta_C(2;\nu) + \zeta_C\left(\begin{smallmatrix}\nu&\boldsymbol{1}\\1&1\end{smallmatrix}\right) + \zeta_C\left(\begin{smallmatrix}\boldsymbol{1}&\nu\\1&1\end{smallmatrix}\right)$ が成り立つ。
• 収束性$\sum_{d=0}^\infty \sum_{a \in A^+(d)} a^{-q^n} C_a(1)$ が$K_\infty$で成立し、$\sum_{d=0}^\infty \mathfrak{S}_d(q^n;1)(1) = \zeta_C^\star(\underbrace{q^{n-1}(q-1), \dots, 1}_{n \text{ 项}})$ という恒等式が得られる。