[논문 리뷰] Asymptotic variation of L-functions of exponential sums

Hui June Zhu|arXiv (Cornell University)|2012. 11. 26.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 뉘스턴 다각형이 주어진 뉘스턴 다각형 Δ를 가진 로렌트 다항식에 대해, $p \to \infty$일 때 정규화된 뉘스턴 다각형이 허지 다각형으로 수렴함을 증명함으로써, 유한체 위에서 지수 합의 $L$-함수의 渐近적 행동을 확립한다. 다각형과 계수 지지의 조합 조건 하에서, 이는 반타르 히프레스러이어와 아르틴-슐라이어 다양체의 일반 뉘스턴 다각형에 대한 완의 두 추측을 확인한다.

ABSTRACT

Let Delta be an integral convex polytope containing the origin of dimension n in the n-dim real space and it is simplicial at all origin-less facets. Let A(Delta) be the space of all Laurent polynomials f parametered by its coefficients supported on the interior of Delta with with prescribed vertices. In this paper we prove that, if the interior points of Delta and its vertices generate almost all integral points in the cone of Delta, then there is a Zariski dense open subset U in A(Delta) defined over the rationals such that for every f in U(bar{Q}) and for p large enough the Newton polygon of the L function of exponential sum of f is equal to the generic Newton polygon for A(Delta)(bar{F_p}), and as p approaches infinity they both approach an absolute lower bound depending only on Delta. This paper also proves the following result for affine toric hypersurfaces: Let T_Delta be the space of all regular affine toric hypersurfaces given by f=0 for all Laurent polynomials f with given Newton polytope Delta. If the set of all integral points in Delta has a unimodular triangulation, then for p large enough the generic Newton polygon of T_Delta over bar{F_p} coincides with the Hodge polygon defined in terms of Hodge numbers of the toric family T_Delta determined solely by Delta.

연구 동기 및 목표

• 유한체 위에서 지수 합의 $L$-함수의 정규화된 뉘스턴 다각형(GNP)이 $p \to \infty$일 때의 渐近적 행동을 결정하는 것.
• 뉴턴 다각형이 유니모듈라 삼등분을 가질 경우, 토릭 초곡면의 일반 뉘스턴 다각형이 허지 다각형과 일치함을 증명하는 것.
• 정규화된 뉘스턴 다각형이 일반 값에 도달하고 $p \to \infty$일 때 허지 다각형으로 수렴하는 라소르트 다항식의 조밀한 오픈 부분집합이 존재함을 확립하는 것.
• 이 결과를 $y^p - y = \overline{f}$로 정의된 토릭 아르틴-슐라이어 다양체의 제타 함수에 적용하는 것.

제안 방법

• 라소르트 다항식과 관련된 지수 합의 $L$-함수를 분석하기 위해 $p$-진 드워프 이론과 강성 호모로지 이론을 사용한다.
• 프레드홀름 행렬식 이론과 강성 핵심성 이론을 적용하여 $L$-함수의 계수의 $p$-진 값매김을 제어한다.
• 전역 하세 다항식 $P^*_{\mathbf{A}^J}$를 $\mathbf{Q}[A]$에서 정의하여, 뉘스턴 다각형이 일반 값을 도달하는 조밀한 오픈 부분집합 $\mathcal{U}$를 정의한다.
• 코너 $C(\Delta)$의 힐베르트 기저가 $\Delta$의 격자점에 의해 생성됨을 보장하기 위해 뉘스턴 다각형 $\Delta$의 유니모듈라 삼등분의 존재에 의존한다.
• 점점 증가하는 힐베르트 기저와 강성 변환의 개념을 사용하여 $p \to \infty$일 때의 뉘스턴 다각형의 극한을 분석하고, 이가 허지 다각형으로 수렴함을 보여준다.
• 아도프슨-스퍼버 및 드워프의 결과를 적용하여 $L$-함수를 $\mathbf{F}_p$ 위의 초곡면의 제타 함수와 연결한다.

실험 결과

연구 질문

• RQ1 주어진 뉘스턴 다각형 $\Delta$를 가진 라소르트 다항식에 대해, 지수 합의 $L$-함수의 일반 뉘스턴 다각형이 $p \to \infty$일 때 허지 다각형으로 수렴하는가?
• RQ2 다각형 $\Delta$와 계수 지지에 대한 어떤 조합 조건이 뉘스턴 다각형이 가능한 최소 bound에 도달하는가?
• RQ3 뉴턴 다각형 $\Delta$가 유니모듈라 삼등분을 가질 경우, 토릭 초곡면의 일반 뉘스턴 다각형이 허지 다각형과 일치함을 보일 수 있는가?
• RQ4 정규화된 뉘스턴 다각형이 일반 값에 도달하고 $p \to \infty$일 때 허지 다각형으로 수렴하는 라소르트 다항식의 조밀한 오픈 부분집합이 존재하는가?
• RQ5 $y^p - y = \overline{f}$로 정의된 아르틴-슐라이어 다양체에 대해 지수 합의 $L$-함수의 渐近적 행동은 무엇인가?

주요 결과

• 라소르트 다항식 $f$가 조밀한 오픈 부분집합 $\mathcal{U} \subset \mathbf{A}_V^J$에 속할 경우, 모든 충분히 큰 소수 $p$에 대해 정규화된 뉘스턴 다각형 $\mathrm{NP}(\overline{f})$는 일반 뉘스턴 다각형 $\mathrm{GNP}(\mathbf{A}_V^J, \overline{\mathbf{F}}_p)$와 일치한다.
• $p \to \infty$일 때 정규화된 뉘스턴 다각형의 극한은 허지 다각형 $\mathrm{HP}(\Delta)$이다. 즉, $f \in \mathcal{U}(\overline{\mathbf{Q}})$이고 충분히 큰 $p$에 대해 $\lim_{p \to \infty} \mathrm{NP}(\overline{f}) = \mathrm{HP}(\Delta)$이다.
• 뉴턴 다각형 $\Delta$가 유니모듈라 삼등분을 가질 경우, 모든 충분히 큰 $p$에 대해 $\mathrm{GNP}(\mathbf{T}_\Delta, \overline{\mathbf{F}}_p) = \mathrm{HP}(\mathbf{T}_\Delta)$이다.
• 아르틴-슐라이어 다양체 $y^p - y = \overline{f}$에 대한 지수 합의 $L$-함수는 정규화된 뉘스턴 다각형이 $p \to \infty$일 때 허지 다각형으로 수렴한다.
• 전역 하세 다항식 $P^*_{\mathbf{A}^J}$는 0이 아니며 $p$에 독립적이다. 이 다항식의 비영은 뉘스턴 다각형이 일반 값을 도달하는 조밀한 오픈 집합 $\mathcal{U}$를 정의한다.
• $L$-함수의 계수의 $p$-진 값매김은 허지 다각형의 기울기 순서로 수렴하며, 오차 항은 $p \to \infty$일 때 0으로 수렴한다. 이는 $\frac{m_k}{p-1}$ 보정 항이 0으로 수렴하기 때문이다.