[논문 리뷰] p-adic variation of L-functions of exponential sums, I

Hui June Zhu|arXiv (Cornell University)|2001. 11. 18.

Meromorphic and Entire Functions참고 문헌 14인용 수 3

한 줄 요약

이 논문은 소수 $p$ 모듈로의 일변수 지수합의 $L$-함수에 대해 일반적인 뉴턴 다각형의 존재성을 확립하며, 큰 소수 $p$에 대해 $ℓ$-다항식 $f(x)$의 뉴턴 다각형이 일반적인 뉴턴 다각형 $ℓℓℓ(ℓ^d;ℓ_p)$ 와 일치하고, $p \to \infty$일 때 이 다각형이 허지 다각형 $ℓℓ(ℓ^d)$로 수렴함을 증명한다. 이 결과는 다칭 완의 $p$-진 $L$-함수의 변동성에 대한 추측을 확인한다.

ABSTRACT

For a polynomial $f(x)$ in $(\mathbb{Z}_p\cap \mathbb{Q})[x]$ of degree $d>2$ let $L(f \bmod p;T)$ be the $L$-function of the exponential sum of $f \bmod p$. Let $\mathrm{NP}(f \bmod p)$ denote the Newton polygon of $L(f \bmod p;T)$. Let $\mathrm{HP}(f)$ denote the Hodge polygon of $f$, which is the lower convex hull in the real plane of the points $(n,n(n+1)/(2d))$ for $0\leq n\leq d-1$. We prove that there is a Zariski dense subset $\mathcal{U}$ defined over $\mathbb{Q}$ in the space $\mathbb{A}^d$ of degree-$d$ monic polynomials over $\mathbb{Q}$ such that for all $f$ in $\mathcal{U}(\mathbb{Q})$ we have $\lim_{p ightarrow\infty} \mathrm{NP}(f \bmod p) = \mathrm{HP}(f)$. Moreover, we determine the $p$-adic valuation of every coefficient of $L(f \bmod p;T)$ for $p$ large enough and $f$ in $\mathcal{U}(\mathbb{Q})$, and that of $L(x^d+a x \bmod p;T)$ for all $a eq 0$.

연구 동기 및 목표

• 일변수 지수합의 $L$-함수에 대한 다칭 완의 추측을 해결하기 위해.
• 충분히 큰 소수 $p$에 대해 $ℓ_p$ 위의 $d$차 모닉 다항식에 대한 일반적인 뉴턴 다각형 $ℓℓ(ℓ^d;ℓ_p)$ 의 존재성을 증명하기 위해.
• 정의체 $ℑ$ 위에 정의된 조르지 밀도 열린 부분집합 $ℓ \subset ℓ^d$ 에 대해, 충분히 큰 $p$ 에 대해 $f \otimes ℓ_p$ 의 뉴턴 다각형이 $ℓℓ(ℓ^d;ℓ_p)$ 와 일치함을 보여주기 위해.
• 뉴턴 다각형의 극한 행동을 확립하여 $p \to \infty$ 일 때 허지 다각형 $ℓℓ(ℓ^d)$ 로 수렴함을 보여주기 위해.
• 일차 매개변수 가중치 가중치 $f(x) = x^d + ax$ 에 대해 결과를 확장하고, 임의의 $0$ 이 아닌 $a \in ℑ$ 에 대해 $\lim_{p \to \infty} ℓℓ((x^d + ax) \otimes ℓ_p) = ℓℓ(ℓ^d)$ 를 증명하기 위해.

제안 방법

• 논문은 아르틴-하스 지수함수와 원분단위근 $\zeta_p$ 를 통해 정의된 지수합 $S_\ell(f \otimes \mathbb{F}_p)$ 와 관련된 $p$-진 분석을 사용한다.
• 뉴턴 다각형 $\mathrm{NP}(f \otimes \mathbb{F}_p)$ 는 $L$-함수 $L(f \otimes \mathbb{F}_p; T)$ 의 계수 $b_n$ 에 대해 $(n, \mathrm{ord}_p b_n)$ 의 점들의 아래 볼록 Hull로 정의된다.
• 허지 다각형 $\mathrm{HP}(\mathbb{A}^d)$ 는 $0 \leq n \leq d-1$ 에 대해 점 $(n, \frac{n(n+1)}{2d})$ 의 아래 볼록 Hull로 정의된다.
• 모든 $f \in \mathcal{U}(\mathbb{Q})$ 에 대해 충분히 큰 $p$ 에 대해 뉴턴 다각형이 $ℓℓ(ℓ^d; \mathbb{F}_p)$ 로 수렴하도록, $ℑ$ 위에 정의된 조르지 밀도 열린 부분집합 $ℓ \subset \mathbb{A}^d$ 를 구성한다.
• 일차 매개변수 가중치 가중치 $f(x) = x^d + ax$ 에 대해, $\mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p)$ 가 $p \to \infty$ 일 때 $ℓℓ(ℓ^d)$ 로 수렴함을 증명한다.
• 핵심 기술 도구로는 계승과 이항계수의 곱에 대한 $p$-진 값매기기 추정과, $L$-함수 계수의 주요 항을 제어하기 위해 바르드모인 행렬식의 사용이 포함된다.

실험 결과

연구 질문

• RQ1 충분히 큰 소수 $p$ 에 대해, $ℓ_p$ 위의 $d$차 모닉 다항식에 대한 일반적인 뉴턴 다각형 $ℓℓ(ℓ^d; \mathbb{F}_p)$ 가 존재하는가?
• RQ2 일반적인 다항식 $f \in \mathbb{A}^d(\mathbb{Q})$ 에 대해, $p$ 가 크면 $\mathrm{NP}(f \otimes \mathbb{F}_p)$ 가 $\mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$ 와 일치하는가?
• RQ3 고정된 $f \in \mathbb{A}^d(\mathbb{Q})$ 에 대해, $p \to \infty$ 일 때 $\mathrm{NP}(f \otimes \mathbb{F}_p)$ 의 극한은 무엇인가?
• RQ4 임의의 $0$ 이 아닌 $a \in \mathbb{Q}$ 에 대해, $\mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p)$ 가 $p \to \infty$ 일 때 허지 다각형 $\mathrm{HP}(\mathbb{A}^d)$ 와 일치하는가?
• RQ5 일관된 방식으로 $L$-함수 계수의 $p$-진 값매기기를 제어하여 허지 다각형으로의 수렴을 확립할 수 있는가?

주요 결과

• 충분히 큰 $p$ 에 대해 일반적인 뉴턴 다각형 $ℓℓ(ℓ^d; \mathbb{F}_p)$ 가 존재하며, 명시적으로 계산 가능하다.
• $\mathbb{Q}$ 위에 정의된 조르지 밀도 열린 부분집합 $\mathcal{U} \subset \mathbb{A}^d$ 가 존재하여, 모든 $f \in \mathcal{U}(\mathbb{Q})$ 에 대해 충분히 큰 $p$ 에 대해 $\mathrm{NP}(f \otimes \mathbb{F}_p) = \mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$ 이다.
• $p \to \infty$ 일 때, $\mathcal{U}(\mathbb{Q})$ 에 속하는 $f$ 에 대해 뉴턴 다각형 $\mathrm{NP}(f \otimes \mathbb{F}_p)$ 는 허지 다각형 $\mathrm{HP}(\mathbb{A}^d)$ 로 수렴한다.
• 비영인 $a$ 를 가진 일차 매개변수 가중치 가중치 $f(x) = x^d + ax$ 에 대해, $\lim_{p \to \infty} \mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p) = \mathrm{HP}(\mathbb{A}^d)$ 이다.
• $L$-함수 계수의 $p$-진 값매기기는 $\mathrm{ord}_p C_n \geq \frac{n(n+1)}{2d} + \epsilon_n'$ 를 만족하며, 등호가 성립하는 것은 $a \not\equiv 0 \pmod{p}$ 일 때 뿐이다.
• 증명은 $p$-진 값매기기 추정과 바르드모인 행렬식 항등식을 통해 $L$-함수 계수의 주요 항을 제어함으로써 이루어지며, 이는 뉴턴 다각형이 극한에서 허지 다각형과 일치하도록 보장한다.