[論文レビュー] Linear relations among double zeta values in positive characteristic

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

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

ひとこと要約

本稿は、正標数関数体における重ゼータ値の重さ $n$ の $ olimits\mathbb{F}_q(\theta)$-ベクトル空間の次元を計算する有効な基準を確立する。すべての線形関係が、カルツィット・モジュールの $n$ 乗テンソル積における特別点の $ olimits\mathbb{F}_q[t]$-線形関係から生じることを示し、シーゲルの補題の原理を用いて次元を明示的に計算する。

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$ の重ゼータ値が張る $ olimits\mathbb{F}_q(\theta)$-ベクトル空間の次元を特定すること。
• 重ゼータ値の線形関係と、カルツィット・モジュールの $n$ 乗テンソル積における特別点の $ olimits\mathbb{F}_q[t]$-線形関係との間の関係を確立すること。
• シーゲルの補題の原理を用いて、重さ $n$ の重ゼータ値空間の次元を計算する有効な基準を構築すること。
• 関数体の文脈における、ザギエの重ゼータ値次元に関する予想の類似を提供すること。
• 多変数ゼータ値の理論を、$t$-モチーフおよびカルツィット＝テート・モチーフの周期と結びつけることで、正標数における拡張を図ること。

提案手法

• 重ゼータ値の線形関係を符号化する、カルツィット・モジュールの $n$ 乗テンソル積における特別点を構成する。
• これらの特別点の $ olimits\mathbb{F}_q[t]$-線形構造を用いて、重さ $n$ の重ゼータ値のすべての $ olimits\mathbb{F}_q(\theta)$-線形関係をモデル化する。
• これらの特別点の $ olimits\mathbb{F}_q[t]$-線形関係の解空間の次元を計算するために、シーゲルの補題の原理を適用する。
• 多変数ゼータ値を混合カルツィット＝テート $t$-モチーフの周期として $t$-モチービックに解釈することに依拠する。
• ゴンチャロフの予想に類似した、多変数ゼータ値の $k$-代数の階数付き代数構造を確立する。
• 明示的な計算と再帰的公式を用いて、小さな重さおよび特定の $q$ に対する次元を決定する。

実験結果

リサーチクエスチョン

• RQ1 正標数における重さ $n$ の重ゼータ値が張る $ olimits\mathbb{F}_q(\theta)$-ベクトル空間の次元は何か？
• RQ2 重さ $n$ の重ゼータ値の $ olimits\mathbb{F}_q(\theta)$-線形関係は、どのように生成されるか？
• RQ3 $ olimits\mathbb{F}_q[t]$-線形関係を用いて、重さ $n$ の重ゼータ値空間の次元を計算する基準を確立できるか？
• RQ4 正標数における重ゼータ値の線形関係は、古典的数体設定におけるそれらとどの程度類似しているか？
• RQ5 カルツィット・モジュールの $n$ 乗テンソル積の構造は、重さ $n$ の多変数ゼータ値の線形関係をどのように制御するか？

主な発見

• 重さ $n$ の重ゼータ値のすべての $ olimits\mathbb{F}_q(\theta)$-線形関係は、カルツィット・モジュールの $n$ 乗テンソル積における特別点の $ olimits\mathbb{F}_q[t]$-線形関係から生じる。
• シーゲルの補題の原理を用いて、重さ $n$ の重ゼータ値空間の次元を計算する有効な基準が確立された。
• $q=2$ の場合、$n \leq 120$ に対して、重さ $n$ の重ゼータ値空間の次元は $n-1$ であり、$3 \leq n \leq 120$ の範囲で $ olimits\mathbb{F}_p$-線形関係は存在しない。
• $q=3$ の場合、次元は $n$ の増加に伴い増加し、$n=150$ まで明示的な値が計算された。$n=3$ で次元は $3$、$n=4$ で $4$、$n=15$ で $13$ であった。
• 重さ $n$ の重ゼータ値の $ olimits\mathbb{F}_p$-線形関係の数は $n$ と共に増加する。例として、$n=17$ で $2$ つ、$n=32$ で $4$ つ、$n=67$ で $9$ つであった。
• ゼータ型性（すなわち、カルツィット周期の $n$ 乗の有理数倍であること）はまれである：$q=3$ において、$n=3$ で唯一 $1$ つであり、$n=4$ から $n=15$ までにそのような値は存在しなかった。