[論文レビュー] Anderson-Stark units for $\mathbb F_q[ heta]$

Bruno Anglès, Federico Pellarin+1 more|arXiv (Cornell University)|Jan 27, 2015

Advanced Mathematical Identities被引用数 2

ひとこと要約

本稿では、Fq[θ] 上の多変数L関数の特殊値を符号化する特殊な多項式であるAnderson-Stark単位を導入し、これらのL値がこれらの単位を通じて有限個の多項対数の和として表現できることを証明する。多変数対数代数的定理とFrobenius捩じれ構成を用いて、L(N, s, z) が多項式係数における反復τ作用の形で明示的に記述されることを示し、正標数関数体数論における古典的Stark型単位を一般化する。

ABSTRACT

We investigate the arithmetic of special values of a new class of $L$-functions recently introduced by the second author. We prove that these special values are encoded in some particular polynomials which we call Anderson-Stark units. We then use these Anderson-Stark units to prove that $L$-functions can be expressed as sums of polylogarithms.

研究の動機と目的

• Fq[θ] 上の多変数L関数 L(N, s, z) の算術を研究し、古典的Goss L関数を一般化すること。
• 特殊な多項式としてのAnderson-Stark単位を定義・特徴づけ、これらがL値を符号化することを示すこと。
• A[t1,…,ts] 上のt-モジュール構造に関連する指数写像に対して、多変数対数代数的定理を確立すること。
• 明示的な多項式構成を用いて、L(N, s, z) を有限個の多項対数の和として表現すること。
• Frobenius捩じれと多項式係数を含む明示的公式を通じて、正標数におけるゼータ関数およびL関数の特殊値に関する古典的結果を一般化すること。

提案手法

• K[[z]][t1,…,ts] 内で、多変数L級数 L(N, s, z) = ∑_{d≥0} z^d ∑_{a∈A+,d} a(t1)⋯a(ts)/a^N を定義する。
• D_i が再帰的Frobenius則を満たすとき、指数写像 expφ,z = ∑_{i≥0} z^i / D_i ⋅ τ^i を定義する。
• expφ,z(L(1, s, z)) ∈ A[t1,…,ts,z] を証明し、この元をAnderson-Stark単位 σs(t,z) と呼ぶ。
• Frobenius捩じれ ϕ_r を用いて、ϕ_r(σs(t,z)) = σ_{s}(t,z) がシフトを伴って成り立つことにより、L(q^r, s, z) と L(1, s, z) を関連付ける。
• 対数代数的恒等式に演算子 ϕ_r を作用させることで、L(N, n, z) を j の和として ∑_j θ^j log_{N,z}(h_j) の形に表現する。ここで h_j は t1,…,tn に関する多項式である。
• 主公式を導出：L(N, n, z) = 1/(l_{r-1}^{q^r - N} b_r(t1)⋯b_r(tn)) ⋅ ∑_{j=0}^d θ^j log_{N,z}(h_j) であり、h_j ∈ A[t1,…,tn,z] である。

実験結果

リサーチクエスチョン

• RQ1 Fq[θ] 上の多変数L関数 L(N, s, z) の特殊値は、どのように算術的に符号化できるか？
• RQ2 Anderson-Stark単位 σs(t,z) は、これらのL値を表現する際に果たす役割は何か？
• RQ3 N > 0 かつ qr ≥ N のとき、L(N, s, z) は有限個の多項対数の和として書けるか？
• RQ4 Frobenius捩じれ ϕ_r は、L(1, s, z) と L(q^r, s, z) のL級数をどのように関連づけ、明示的公式の構成を可能にするか？
• RQ5 L(N, n, z) の和分解に現れる多項式 h_j の正確な構造は何か？

主な発見

• Anderson-Stark単位 σs(t,z) = expφ,z(L(1, s, z)) は A[t1,…,ts,z] に属し、L級数 L(1, s, z) の多項式符号化を提供する。
• 1 ≤ s ≤ q−1 のとき σs(t,z) = 1 であり、s = q のとき σq(t,z) = 1 − z である。これは低次の明示的挙動を示している。
• σs(t,1) = expC(L(1, s)) は A[t1,…,ts] に属し、s < q のとき Γ(X1⋯Xs) = logC(X1⋯Xs) を満たす。
• 任意の N ∈ Z および n ≥1 で qr ≥ N を満たすとき、L(N, n, z) は有限和として表現される：L(N, n, z) = 1/(l_{r-1}^{q^r - N} b_r(t1)⋯b_r(tn)) ⋅ ∑_{j=0}^d θ^j log_{N,z}(h_j) であり、h_j ∈ A[t1,…,tn,z] である。
• 係数 h_j は h_j = ∑_{i=0}^m z^i b_r(t1)⋯b_r(tn) ϕ_r(g_{i,j}) として構成され、g_{i,j} ∈ A[t1,…,tn] であり、この公式は Ts(K∞) 内で成り立つ。
• この公式は正標数における古典的多項対数恒等式を一般化し、多項式基底とFrobenius作用を用いた明示的・アルゴリズム的な方法で特殊L値を計算可能にする。