[论文解读] L-Functions for Symmetric Products of Kloosterman Sums

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

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

一句话总结

本文使用ℓ-进单调性方法计算了函数域上Kloosterman层的对称幂相关L函数的次数和坏因子。它在假设$ (n,p) = 1 $下，推广了Robba的$ p $-进结果，推导出L函数$ L(\mathbf{G}_m, \text{Sym}^k(\text{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 $上Kloosterman层对称幂相关L函数的次数和坏因子。
• 将Robba对$ n=2 $时对称幂L函数的$ p $-进结果推广到更高$ n $的情形，且满足$ (n,p)=1 $。
• 通过ℓ-进表示理论理解这些L函数的几何与算术性质，特别是其在$ \mathbf{Z} $上的有理性和整性。
• 利用Deligne和Katz的ℓ-进方法分析无穷远处的局部单调性，特别是几何Frobenius在对称幂上的作用。
• 建立L函数$ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_2), T) $的函数方程，验证其对称性质。

提出的方法

• 使用ℓ-进上同调和$ \ell $-进层的理论，特别是光滑于$ \mathbf{G}_m $上的Kloosterman层$ \text{Kl}_n $，其通过Frobenius的迹捕捉Kloosterman和。
• 应用Grothendieck的层在曲线上L函数的公式，将$ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_n), T) $表示为闭点上的Euler积。
• 通过研究无穷远处的单调性群$ I_\infty $在$ \text{Sym}^k(V) $上的作用来分析无穷远处的单调性，其中$ V $是单调性群的标准表示。
• 通过模$ p $下满足特定对称条件的对称张量基，计算固定空间$ (\text{Sym}^k V)^{I_\infty} $的维数，从而得出计数$ d_k(n,p) $。
• 利用无穷远处的几何Frobenius作用确定特征值，从而确定局部因子，该因子对函数方程有贡献。
• 应用对偶性和Poincaré对偶性推导L函数的函数方程，利用$ \text{Kl}_2 $在$ \overline{\mathbf{Q}}_\ell(1) $下的自对偶性。

实验结果

研究问题

• RQ1 当$ n $与$ p $互素时，L函数$ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_n), T) $的次数是多少？它如何依赖于$ k $和$ n $？
• RQ2 L函数$ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_n), T) $的坏因子是什么，特别是点$ 0 $和$ \infty $处的坏因子？
• RQ3 无穷远处的局部单调性，特别是几何Frobenius的作用，如何影响对称幂L函数的结构？
• RQ4 L函数$ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_2), T) $是否满足函数方程？如果满足，其形式和对称性如何？
• RQ5 方程$ j_0 + j_1\zeta + \cdots + j_{n-1}\zeta^{n-1} = 0 $在$ \mathbf{F} $中的非负整数解$ (j_0,\dots,j_{n-1}) $，满足$ \sum j_i = k $，能否用于计算L函数的次数？

主要发现

• L函数$ L(\mathbf{G}_m, \text{Sym}^k(\text{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 $在$ \mathbf{F} $中的非负整数解$ (j_0,\dots,j_{n-1}) $，$ \zeta $为本原$ n $次单位根。
• L函数$ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_n), T) $是一个系数在$ \mathbf{Z} $中的有理函数，通常为多项式，尤其当$ pn $为奇数或$ n=2 $时，这是由于全局单调性定理。
• 当$ n=2 $时，L函数$ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_2), T) $满足形式为$ L(T) = c t^\delta L(1/(p^{k+1}T)) $的函数方程，其中$ \delta = -\chi $，验证了对偶性所预测的对称性。
• 无穷远处的局部因子由几何Frobenius在$ (\text{Sym}^k V)^{I_\infty} $上的作用决定，该作用通过满足$ i \equiv k/2 \pmod{p} $的对称张量基计算，得出维数公式，涉及$ \lfloor k/(2p) \rfloor $或$ \lfloor k/(2p) \rfloor + 1 $，具体取决于$ 4 \mid k $。
• Frobenius在无穷远处的特征空间分解给出特征值$ \pm 1 $，且$ +1 $-特征空间的维数为$ \left\lfloor \frac{k}{4p} + \frac{1}{2} \right\rfloor $，这与满足$ 0 \leq jp + k/2 \leq k/2 $的奇数$ j $的个数一致。
• 通过自对偶性和Poincaré对偶性建立了$ M_k = L(\mathbf{P}^1, j_*\text{Sym}^k(\text{Kl}_2), T) $的函数方程，表明$ M_k $在$ \overline{\mathbf{Q}}_\ell(k) $扭后是自对偶的，且函数方程成立，其中$ c $和$ \delta $按文中定义。