[論文レビュー] L-Functions for Symmetric Products of Kloosterman Sums

Lei Fu, Daqing Wan|ArXiv.org|Sep 20, 2004

Algebraic Geometry and Number Theory参考文献 7被引用数 9

ひとこと要約

この論文は、l進モノドロミー法を用いて、関数体上のクローストーマン・シーブに付随するL関数の次数および不適当因子を計算している。Robbaのp進結果を一般化し、$ (n,p) = 1 $ の仮定の下で、$ L(\mathbf{G}_m, \mathrm{Sym}^k(\mathrm{Kl}_n), T) $ の次数についての公式を導出している。その式は $ \frac{1}{n}\left(\binom{k+n-1}{n-1} - d_k(n,p)\right) $ であり、$ d_k(n,p) $ は特定の単位根条件を満たす整数解の数を数えるものである。

ABSTRACT

The classical Kloosterman sums give rise to a Galois representation of the function field unramfied outside 0 and $\infty$. We study the local monodromy of this representation at $\infty$ using $l$-adic method based on the work of Deligne and Katz. As an application, we determine the degrees and the bad factors of the $L$-functions of the symmetric products of the above representation. Our results generalize some results of Robba obtained through $p$-adic method.

研究の動機と目的

• 関数体上の $ \mathbf{G}_m $ 上のクローストーマン・シーブの対称べきに付随するL関数の次数および不適当因子を特定すること。
• Robbaの $ n=2 $ の場合における対称べきL関数のp進結果を、$ (n,p)=1 $ の下でより高い $ n $ に一般化すること。
• l進表現論を用いて、これらのL関数の幾何学的・算術的性質、特に $ \mathbf{Z} $ 上での有理型および整数性を理解すること。
• デリーニュおよびカッツのl進手法を用いて、無限遠点における局所モノドロミーを解析し、特に対称べき上の幾何的フロベニウス作用の性質を調べること。
• L関数 $ L(\mathbf{G}_m, \mathrm{Sym}^k(\mathrm{Kl}_2), T) $ の関数方程式を確立し、その対称性を確認すること。

提案手法

• l進コホロロジーおよび $ \ell $-進シーブの理論、特に $ \mathbf{G}_m $ 上で滑らかで、フロベニウスのトレースを通じてクローストーマン和を捉えるクローストーマン・シーブ $ \mathrm{Kl}_n $ を用いる。
• 曲線上のシーブのL関数に対するグロタンディークの公式を適用し、$ L(\mathbf{G}_m, \mathrm{Sym}^k(\mathrm{Kl}_n), T) $ を閉点を渡るオイラー積として表現する。
• 無限遠点におけるモノドロミーを、モノドロミー群の標準的表現 $ V $ に対するインertia群 $ I_\infty $ の作用を調べることで解析する。
• 特定の対称性条件を満たす $ p $ を法とする不変な対称テンソルの基底を用いて、固定空間 $ (\mathrm{Sym}^k V)^{I_\infty} $ の次元を計算し、これにより $ d_k(n,p) $ を得る。
• 無限遠点における幾何的フロベニウス作用を用いて固有値を決定し、これにより局所因子を特定する。この局所因子は関数方程式に寄与する。
• 双対性およびポincare双対性を適用し、$ \mathrm{Kl}_2 $ が $ \overline{\mathbf{Q}}_\ell(1) $ を通じて自らを双対化することを用いて、L関数の関数方程式を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ n $ が $ p $ と素であるとき、L関数 $ L(\mathbf{G}_m, \mathrm{Sym}^k(\mathrm{Kl}_n), T) $ の次数は何か？ また、この次数は $ k $ と $ n $ にどのように依存するか？
• RQ2 L関数 $ L(\mathbf{G}_m, \mathrm{Sym}^k(\mathrm{Kl}_n), T) $ の不適当因子、特に点 $ 0 $ および $ \infty $ における因子は何か？
• RQ3 特に幾何的フロベニウス作用の影響を受ける無限遠点における局所モノドロミーが、対称べきL関数の構造にどのように寄与するか？
• RQ4 L関数 $ L(\mathbf{G}_m, \mathrm{Sym}^k(\mathrm{Kl}_2), T) $ は関数方程式を満たすか？ もしそうなら、その形および対称性は何か？
• RQ5 方程式 $ j_0 + j_1\zeta + \cdots + j_{n-1}\zeta^{n-1} = 0 $ の非負整数解 $ (j_0,\dots,j_{n-1}) $ で $ \sum j_i = k $ を満たすものの個数は、L関数の次数を計算するのに利用可能か？

主な発見

• L関数 $ L(\mathbf{G}_m, \mathrm{Sym}^k(\mathrm{Kl}_n), T) $ の次数は $ \frac{1}{n}\left(\binom{k+n-1}{n-1} - d_k(n,p)\right) $ で与えられ、ここで $ d_k(n,p) $ は $ \sum j_i = k $ かつ $ \sum j_i \zeta^i = 0 $ を満たす非負整数解 $ (j_0,\dots,j_{n-1}) $ の個数であり、$ \zeta $ は原始 $ n $ 乗単位根である。
• L関数 $ L(\mathbf{G}_m, \mathrm{Sym}^k(\mathrm{Kl}_n), T) $ は $ \mathbf{Z} $ に係数を持つ有理関数であり、しばしば多項式である。これは、特に $ pn $ が奇数であるか $ n=2 $ の場合に、グローバルモノドロミー定理により成立する。
• $ n=2 $ の場合、L関数 $ L(\mathbf{G}_m, \mathrm{Sym}^k(\mathrm{Kl}_2), T) $ は関数方程式 $ L(T) = c t^\delta L(1/(p^{k+1}T)) $ を満たし、$ \delta = -\chi $ である。このことは、双対性によって予測された対称性を確認する。
• 無限遠点における局所因子は、幾何的フロベニウス作用が $ (\mathrm{Sym}^k V)^{I_\infty} $ に作用する様子によって決定され、これは $ i \equiv k/2 \pmod{p} $ を満たす対称テンソルの基底を用いて計算され、$ \lfloor k/(2p) \rfloor $ または $ \lfloor k/(2p) \rfloor + 1 $ に依存する次元公式が得られる。
• 無限遠点におけるフロベニウスの固有空間分解により、固有値 $ \pm 1 $ が得られ、$ +1 $-固有空間の次元は $ \left\lfloor \frac{k}{4p} + \frac{1}{2} \right\rfloor $ である。これは、$ 0 \leq jp + k/2 \leq k/2 $ を満たす奇数 $ j $ の個数と一致する。
• $ M_k = L(\mathbf{P}^1, j_*\mathrm{Sym}^k(\mathrm{Kl}_2), T) $ の関数方程式は、双対性およびポincare双対性を用いて確立され、$ M_k $ が $ \overline{\mathbf{Q}}_\ell(k) $ を通じたねじれを除いて自己双対であることが示され、$ c $ および $ \delta $ は論文で定義された通りの関数方程式が成立する。