[論文レビュー] On twisted $A$-harmonic sums and Carlitz finite zeta values

Federico Pellarin, Rudolph Perkins|arXiv (Cornell University)|Dec 18, 2015

Advanced Mathematical Identities参考文献 16被引用数 5

ひとこと要約

この論文は正標数におけるねじれ$A$-調和和を調査し、$n=1$および$s \equiv 1 \pmod{q-1}$のとき、多項式的に入れ子になることを証明し、カルツィングモジュール枠組みにおいて非自明な有限ゼータ値が得られることを示している。主な結果は、$F_d(1;s)$の多項式的補間公式を、$Y = \theta^{q^{d-m}}$における有理関数$\mathbb{H}_s$の評価によって確立し、$s = 1 + m(q-1)$のとき、$\mathbb{H}_s$の次数および構造的性質を明示的に特定している。

ABSTRACT

In this paper, we study various twisted A-harmonic sums, named following the seminal log-algebraicity papers of G. Anderson. These objects are partial sums of new types of special zeta values introduced by the first author and linked to certain rank one Drinfeld modules over Tate algebras in positive characteristic by Angl\\`es, Tavares Ribeiro and the first author. We prove, by using techniques introduced by the second author, that various infinite families of such sums may be interpolated by polynomials, and we deduce, among several other results, properties of analogues of finite zeta values but inside the framework of the Carlitz module. In the theory of finite multi-zeta values in characteristic zero, finite zeta values are all zero. In the Carlitzian setting, there exist non-vanishing finite zeta values, and we study some of their properties in the present paper.

研究の動機と目的

• 正標数におけるタート代数上のドリンフェルト加群の文脈で、ねじれ$A$-調和和$F_d(n;s)$の構造を理解すること。
• 特徴的ゼロにおける非自明な有限ゼータ値の不在を補うために、カルツィングモジュール設定において類似物を構築すること。
• 無限系列のねじれ調和和に対して多項式的補間を確立し、特に$n=1$および$s \equiv 1 \pmod{q-1}$の場合を対象とすること。
• $F_d(1;s)$を補間する有理関数$\mathbb{H}_s$の特徴付けを行い、$Y$および各$t_i$における次数を決定すること。
• カルツィング枠組みにおける非自明な有限ゼータ値の証拠を提示し、特徴的ゼロにおける消滅ケースと対比すること。
• 有限多重ゼータ値およびベルヌーイ＝カルツィング数の文脈におけるカネコ＝ザギエ予想との類似性を調査すること。

提案手法

• ねじれ$A$-調和和$F_d(n;s) = \sum_{i=0}^{d-1} S_i(n;s)$を定義し、ここで$S_i(n;s)$は$A = \mathbb{F}_q[\theta]$におけるモニック多項式上のべき和である。
• パーキンスの先行研究における補間枠組みを用いて、$d \geq m$のとき$F_d(1;s)$が$\Pi_{s,d} \cdot \mathbb{H}_s|_{Y=\theta^{q^{d-m}}}$として表現可能であることを示す。
• 補助的多項式$b_i(Y) = \prod_{j=0}^{i-1} (Y - \theta^{q^j})$と正規化係数$\Pi_{s,d} = \frac{b_{d-m}(t_1) \cdots b_{d-m}(t_s)}{l_{d-1}}$を導入する。
• $\mathbb{H}_s$が$K(Y, \underline{t}_s)$における有理関数であることを証明し、$s = 1 + m(q-1)$のとき、$Y$および各$t_i$における次数が制御された多項式であることを示す。
• 次数の上限を確立する：$\deg_Y(\mathbb{H}_s) = \frac{q^m - 1}{q - 1} - m$および$\deg_{t_i}(\mathbb{H}_s) = m - 1$。
• アンドリュース＝タカール関数$\omega(t)$およびカルツィング指数関数を用いて、タート代数におけるゼータ値と関連づけ、古典的ゼータ関数との類似性を導く。

実験結果

リサーチクエスチョン

• RQ1 $s \equiv 1 \pmod{q-1}$のとき、ねじれ$A$-調和和$F_d(1;s)$の構造は何か？ そして、これらは多項式によって補間可能か？
• RQ2 カルツィングモジュール枠組みにおける有限ゼータ値は、特徴的ゼロにおけるそれらとどのように異なっているか？ 特に非消滅性の観点から。
• RQ3 補間関数$\mathbb{H}_s$の明示的形および次数構造は何か？ そして、$s$および$m$に依存する仕組みは？
• RQ4 カルツィング設定において非消滅有限ゼータ値を構築可能か？ そして、ベルヌーイ＝カルツィング数とどのように関係するか？
• RQ5 カルツィング有限ゼータ値の文脈において、カネコ＝ザギエ予想の意味のある類似物は存在するか？

主な発見

• 定理1は、$s \equiv 1 \pmod{q-1}$のとき、和$F_d(1;s)$が$\Pi_{s,d} \cdot \mathbb{H}_s|_{Y=\theta^{q^{d-m}}}$として与えられ、$\mathbb{H}_s$が$K(Y, \underline{t}_s)$における有理関数であることを確立する。
• $s = 1$ のとき、補間関数は明示的に$\mathbb{H}_1 = \frac{1}{t_1 - \theta}$であり、$t_1 = \theta$に単純極をもつ有理関数である。
• $s = 1 + m(q-1)$のとき、$\mathbb{H}_s$は$A[Y, \underline{t}_s]$における多項式であり、各$i$に対して$\deg_{t_i}(\mathbb{H}_s) = m - 1$である。
• $Y$における次数は$\deg_Y(\mathbb{H}_s) = \frac{q^m - 1}{q - 1} - m$であり、この多項式はこれらの次数制約によって一意に定まる。
• カルツィング設定における有限ゼータ値$\zeta_A(1;s)$は、$s \equiv 1 \pmod{q-1}$のとき非消滅であり、特徴的ゼロにおける有限ゼータ値の消滅とは対照的である。
• アングルズ、ノー・ダック、タバレス・リベイロは、$\left(\operatorname{BC}_{|P|-s} \pmod{P}\right)_P$が$\mathcal{A}_0^\times$における単元であることを証明した。これは予想を確認し、カルツィング設定におけるカネコ＝ザギエ予想との深い類似性を示している。