[논문 리뷰] Zeroes of $L$-series in characteristic $p$

David Goss|ArXiv.org|2006. 01. 30.

advanced mathematical theories참고 문헌 19인용 수 5

한 줄 요약

이 논문은 특성 $p$에서 $L$-급수의 비고전적 자명한 영점이 그에 관련된 정수의 $p$-진 자릿수 합의 유계성과 연결된 일반적 추측을 제안한다. Thakur와 Diaz-Vargas의 이전 연구를 확장하여, 이러한 영점—고전적 기대를 초월해 더 높은 순서로 소멸하는 영점—이 정수의 $p$-진 자릿수 합이 유계일 때 정확히 발생함을 보이며, 양의 특성에서의 함수방정식 뒤에 숨은 더 깊은 구조를 시사한다.

ABSTRACT

In the classical theory of $L$-series, the exact order (of zero) at a trivial zero is easily computed via the functional equation. In the characteristic $p$ theory, it has long been known that a functional equation of classical $s\mapsto 1-s$ type could not exist. In fact, there exist trivial zeroes whose order of zero is ``too high;'' we call such trivial zeroes ``non-classical.'' This class of trivial zeroes was originally studied by Dinesh Thakur \cite{th2} and quite recently, Javier Diaz-Vargas \cite{dv2}. In the examples computed it was found that these non-classical trivial zeroes were correlated with integers having {\it bounded} sum of $p$-adic coefficients. In this paper we present a general conjecture along these lines and explain how this conjecture fits in with previous work on the zeroes of such characteristic $p$ functions. In particular, a solution to this conjecture might entail finding the ``correct'' functional equations in finite characteristic.

연구 동기 및 목표

• 함수체에서 특성 $p$의 $L$-급수에서의 비고전적 자명한 영점의 구조를 이해하기 위해, 고전적 행동에서 벗어나 기대보다 더 높은 순서로 소멸하는 영점의 성격을 밝혀내는 것.
• Thakur와 Diaz-Vargas의 경험적 관찰을 일반화하여, 비고전적 영점이 관련 정수의 $p$-진 자릿수 합이 유계일 때 발생한다는 것을 보여주는 것.
• 비고전적 영점 집합을 유계 $p$-진 자릿수 합을 통해 특성화하는 통합 추측을 제안함으로써, 유한 특성에서의 '정확한' 함수방정식을 드러내는 데 기여하는 것.
• 이 추측이 $p$-진 $L$-함수와 뉴턴 다각형 기울기의 구성에 미치는 영향, 특히 비고전적 영점과의 관련성을 탐색하는 것.
• 이러한 성질을 드리플린 모듈러스를 초월해 모티브와 갈루아 표현으로까지 확장하기 위한 기초를 마련하는 것.

제안 방법

• 비고전적 영점 집합 $N_w$가 특정 장소 $w$에서 $p$-진 자릿수 합 $l_p(j)$가 유계인 정수 $j$로 구성된다는 일반적 추측(추측 1)을 제안한다.
• 특성 $p$의 리만 제타 함수의 유사체로 작용하는 $A = \mathbb{F}_r[T]$ ($r = p^m$)를 중심으로 드리플린 모듈러스와 함수체 위의 $L$-급수의 프레임워크를 사용한다.
• $L$-급수의 음의 정수에서의 소멸 순서를 분석하여 고전적 영점(순서 1)과 비고전적 영점(순서 >1)을 구분하고, 이를 $p$-진 자릿수 합과 연결한다.
• 와안의 연구 등 뉴턴 다각형 이론의 결과를 적용하여 영점들이 절대값에 의해 유일하게 결정되며, 고전적 경우에서는 단순하다는 것을 보이며, 비고전적 경우와 대비시킨다.
• $p$-진 수 $\alpha$를 그 $p$-진 자릿수를 통해 귀납적으로 구성함으로써, 비고전적 영점이 뉴턴 다각형 기울기를 1보다 크게 만들 수 있는지 탐색한다.
• 예제 4를 통해 추측 1이 참이라면, 비고전적 영점만으로는 $l_p(j) > C$일 때 그 영향이 사라지므로, 무한히 많은 기울기가 1을 초과하는 $\alpha$의 구성은 발생할 수 없다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 정수 $j$에 대해 $L$-급수 $\zeta_A(s)$가 $s = -j$에서 비고전적 자명한 영점을 가지는가?
• RQ2 비고전적 영점인지 여부를 결정하는 정확한 산술 불변량—예를 들어 $p$-진 자릿수 합—이 존재하는가?
• RQ3 비고전적 영점 집합은 $p$-진 자릿수 합 $l_p(j)$의 유계성으로 완전히 기술될 수 있는가? 만약 그렇다면, 그 유계의 값은 무엇에 의해 결정되는가?
• RQ4 비고전적 영점의 구조는 고전적 $s \mapsto 1-s$ 대칭이 실패할 때에도 양의 특성에서의 함수방정식 존재와 어떻게 관련되어 있는가?
• RQ5 이 추측은 드리플린 모듈러스를 초월해 모티브나 갈루아 표현의 $L$-급수로까지 어떻게 확장될 수 있는가?

주요 결과

• 특성 $p$에서 $L$-급수의 비고전적 자명한 영점은 $s = -j$에서의 소멸 순서가 고전적 하한을 초월할 때 발생하며, 이는 관련 정수 $j$의 $p$-진 자릿수 합 $l_p(j)$가 유계일 때와 관련이 있다.
• $A = \mathbb{F}_2[T]$의 경우, Thakur는 $\zeta_A(s)$가 $s = -j$에서 비고전적 영점을 가진다. 이는 $l_2(j) \leq g$일 때이고, 여기서 $g$는 함수체의 종수이며, 이 유계는 정확하다.
• $A = \mathbb{F}_3[T]$의 경우, Thakur의 결과는 $s = -7$에서의 영점이 단순하다는 것을 보여주며, 이는 $l_2(7) = 4 > 2$임을 시사하여, 비고전적 영점은 유계 자릿수 합일 때만 발생한다는 추측과 일치한다.
• 이 추측은 $l_p(j)$가 어떤 유계 $C$를 초월하면, $s = -j$에서의 영점은 고전적(즉, 단순)이 되므로, 비고전적 영점이 $p$-진 $L$-함수의 기울기에 미치는 영향이 제한됨을 시사한다.
• 예제 4는 추측 1이 참이라면, $l_p(j) > C$일 때 기여가 사라지므로, 비고전적 자명한 영점만으로는 기울기가 1을 초과하는 무한히 많은 $\alpha$의 구성이 불가능하다는 것을 보여준다.
• 이 추측은 특성 $p$에서의 '정확한' 함수방정식이 $s \mapsto 1 - s$가 아니라 $s \mapsto k - s$로 이동할 수 있음을 시사한다. 예제 5에서 $L(\psi,s) = \zeta_A(s-1)$ 이므로, $L(\psi,s)$에서의 비고전적 성질은 $l_p(j+1)$가 유계일 때 발생한다.