[논문 리뷰] L-Functions for Symmetric Products of Kloosterman Sums

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

Algebraic Geometry and Number Theory참고 문헌 7인용 수 9

한 줄 요약

이 논문은 함수체 위에서 클루스터만 셰이프의 대칭 거듭제곱과 관련된 L함수의 차수와 악성 인자를 l-진 모노드로미 방법을 사용하여 계산한다. $ (n,p) = 1 $ 라는 조건 하에, Robba의 p진 결과를 일반화하여 $ 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 $ 상의 클루스터만 셰이프의 대칭 거듭제곱과 관련된 L함수의 차수와 악성 인자를 결정하는 것.
• Robba의 $ n=2 $ 에 대한 대칭 거듭제곱 L함수에 대한 p진 결과를 $ (n,p)=1 $ 조건 하에 더 높은 $ n $ 으로 일반화하는 것.
• l-진 표현 이론을 통해 이러한 L함수의 기하학적 및 산술적 성격, 특히 $ \mathbf{Z} $ 위에서의 유리성과 정수성 이해하기.
• 델리뉴와 케이츠의 l-진 방법을 활용하여 무한대에서의 국소 모노드로미 분석하기, 특히 기하학적 프로베니우스의 대칭 거듭제곱에 대한 작용을 중심으로.
• L함수 $ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_2), T) $ 에 대한 함수방정식 수립하여 대칭성 특성을 확인하는 것.

제안 방법

• l-진 코hom로지와 $ \ell $-진 셰이프 이론, 특히 $ \mathbf{G}_m $ 상에서 미끄러운 클루스터만 셰이프 $ \text{Kl}_n $ 를 사용하며, 프로베니우스의 추적을 통해 클루스터만 합을 캡처한다.
• 곡선 상의 셰이프에 대한 L함수의 그로텐디크 공식을 적용하여 $ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_n), T) $ 를 닫힌 점들에 대한 오일러乘수로 표현한다.
• 무한대에서의 모노드로미를 분석하기 위해, 모노드로미 군의 표준 표현인 $ V $ 에 대한 관계에서 $ I_\infty $ 의 작용을 연구한다.
• 특정 대칭 조건을 만족하는 모듈로 $ p $ 의 대칭 텐서 기저를 사용하여 $ (\text{Sym}^k V)^{I_\infty} $ 의 차원을 계산함으로써 $ d_k(n,p) $ 를 도출한다.
• 무한대에서의 기하학적 프로베니우스 작용을 통해 고유값을 결정하고, 이는 함수방정식에 기여하는 국소 인자로 기여한다.
• 대칭성과 푸앵카레 대칭성을 적용하여, $ \text{Kl}_2 $ 가 $ \overline{\mathbf{Q}}_\ell(1) $ 으로 휘감겨진 자기대칭성에 기반하여 L함수의 함수방정식 유도.

실험 결과

연구 질문

• RQ1 특정 조건 $ (n,p) = 1 $ 하에서 L함수 $ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_n), T) $ 의 차수는 무엇이며, 이는 $ k $ 와 $ n $ 에 어떻게 의존하는가?
• RQ2 특히 점 $ 0 $ 과 $ \infty $ 에서 L함수 $ L(\mathbf{G}_m, \text{Sym}^k(\text{Kl}_n), T) $ 의 악성 인자는 무엇인가?
• RQ3 특히 기하학적 프로베니우스의 작용을 통해 무한대에서의 국소 모노드로미가 대칭 거듭제곱 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 $ 의 해 $ (j_0,\dots,j_{n-1}) $ 이 $ \mathbf{F} $ 에서 존재하고, $ j_i \geq 0 $, $ \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 $ 을 만족하는 비음수 정수 해 $ (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 $ 로 주어지는 함수방정식을 만족한다. 이는 이중성에 의해 예측된 대칭성을 확인한다.
• 무한대에서의 국소 인자는 기하학적 프로베니우스 작용이 $ (\text{Sym}^k V)^{I_\infty} $ 에서의 작용에 의해 결정되며, 이는 $ i \equiv k/2 \pmod{p} $ 를 만족하는 대칭 텐서 기저를 통해 계산되며, 이에 따라 $ \lfloor k/(2p) \rfloor $ 또는 $ \lfloor k/(2p) \rfloor + 1 $ 의 형태로 차원 공식이 유도된다. 이는 $ 4 \mid k $ 여부에 따라 달라진다.
• 프로베니우스의 고유공간 분해는 고유값 $ \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_*\text{Sym}^k(\text{Kl}_2), T) $ 는 이중성과 푸앵카레 이중성을 적용하여 수립되며, $ M_k $ 가 $ \overline{\mathbf{Q}}_\ell(k) $ 의 휘감김에 의해 자기대칭임을 보이며, $ c $ 와 $ \delta $ 는 논문에서 정의된 그대로 함수방정식이 성립한다.