[논문 리뷰] Local Zeta Functions Supported on Analytic Submanifolds and Newton Polyhedra

W. A. Zúñiga‐Galindo|ArXiv.org|2009. 03. 12.

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

한 줄 요약

이 논문은 p진 수체에서 비퇴화적인 완전교차다양체 위에 지지된 새로운 종류의 국소 제타 함수를 도입하며, Igusa의 방법을 p^m 모듈로 지수 합을 추정하는 데 확장하여 매끄러운 해석적 부분다양체 위에서 적용한다. 주요 기여는 이러한 제타 함수의 극을 뉴턴 다면체의 관점에서 기하학적으로 기술하는 것으로, 이는 진동 적분의 점근 전개를 제어하고 다항합동식의 해 수를 매끄러운 다양체 위에서 정확히 추정할 수 있게 한다.

ABSTRACT

The local zeta functions (also called Igusa's zeta functions) over p-adic fields are connected with the number of solutions of congruences and exponential sums mod p^{m}. These zeta functions are defined as integrals over open and compact subsets with respect to the Haar measure. In this paper, we introduce new integrals defined over submanifolds, or more generally, over non-degenerate complete intersection varieties, and study their connections with some arithmetical problems such as estimation of exponential sums mod p^{m}. In particular we extend Igusa's method for estimating exponential sums mod p^{m} to the case of exponential sums mod p^{m} along non-degenerate smooth varieties.

연구 동기 및 목표

• p^m 모듈로 지수 합을 추정하는 Igusa의 방법을 전체 p진 공간이 아닌 비퇴화적인 매끄러운 해석적 부분다양체 위에서의 합으로 일반화하는 것.
• p진 수체에서 완전교차다양체 위에 지지된 국소 제타 함수를 정의하고 연구하는 것.
• 이러한 제타 함수의 극과 정의 함수들의 뉴턴 다면체 사이의 기하학적 연결 고리를 설정하는 것.
• |z|_K → ∞ 일 때 형태 E_{\tilde{\Phi}}(z,V^{(l-1)},f_l) 의 진동 적분에 대한 점근 전개를 제타 함수의 극으로 제어하는 것.
• 제타 함수 프레임워크를 사용하여 매끄러운 대수적 다양체 위에서 다항합동식의 해 수를 추정하는 것.

제안 방법

• 정의 함수 f_1, ..., f_{l-1} 에 의해 유도되는 Gel'fand-Leray 측도를 사용하여 매끄러운 부분다양체 V^{(l-1)}(K) 위의 적분으로 국소 제타 함수 Z_\Phi(\omega, V^{(l-1)}, f_l) 를 정의한다.
• 비퇴화성 조건 하에 정의 함수들의 뉴턴 다면체에 대해 비퇴화성을 가정하고, 뉴턴 다면체 이론을 사용하여 f_1, ..., f_l 의 특이점을 분석한다.
• 변수변환과 은폐함수정리(implicit function theorem)를 적용하여 p진 공 위의 적분을 함수의 p진 값매김을 포함하는 더 단순한 형태로 감소시킨다.
• 뉴턴 다면체의 단체 다면체 분할을 통해 제타 함수를 계산하고, 각 코너에서의 기여를 분리한다.
• 잉여류체 \mathbb{F}_q 와 레이저 기호(Legendre symbol)의 구조를 이용하여 \left(\mathbb{F}_p^\times\right)^n 에서의 해 수를 세고 제타 함수에 대한 유리수 표현을 유도한다.
• 제타 함수의 극과 진동 적분 E_\Phi(z,V^{(l-1)},f_l) 의 점근 행동 사이의 연결 고리를 설정하여, 극이 점근 전개의 주요 항을 결정함을 보여준다.

실험 결과

연구 질문

• RQ1 Igusa의 방법을 p^m 모듈로 지수 합을 추정하는 데 적용할 수 있는 범위를 전체 p진 공간에서 비퇴화적인 매끄러운 해석적 부분다양체 위에 지지된 합으로 확장할 수 있는가?
• RQ2 p진 수체에서 완전교차다양체 위에 정의된 국소 제타 함수의 극의 기하학적 구조는 무엇인가?
• RQ3 정의 함수들의 뉴턴 다면체는 이러한 다양체 위에서의 진동 적분의 점근 행동에 어떻게 영향을 미치는가?
• RQ4 매끄러운 대수적 다양체 위에서의 다항합동식의 해 수를 부분다양체 지지가 있는 제타 함수를 사용하여 추정할 수 있는가?
• RQ5 비퇴화적인 완전교차다양체 위에 지지된 제타 함수에 대해 상대 모노드로미( monodromy ) 추측이 성립하는 조건은 무엇인가?

주요 결과

• 비퇴화성 조건 하에 제타 함수 Z_\Phi(\omega, V^{(l-1)}, f_l) 의 극은 함수 f_1, ..., f_l 의 뉴턴 다면체에 의해 완전히 결정된다.
• |z|_K → ∞ 일 때 진동 적분 E_\Phi(z,V^{(l-1)},f_l) 의 점근 전개는 제타 함수의 극에 의해 제어되며, 주요 항은 이러한 극들의 실수부에 의해 결정된다.
• f_1(x,y) = x^n + y^n, f_2(x,y) = x^4 + y^4 + xy 인 예시에서 제타 함수는 \mathcal{Z}_0(s,V^{(1)},f_2) = \frac{N p^{-2s-3+n}}{1 - p^{-2s-2+n}} 로 주어지며, 여기서 N 은 \left(\mathbb{F}_p^\times\right)^2 에서 x^n + y^n = 0 의 해의 수이고, 극의 실수부는 n 에 따라 0 또는 양수이다.
• \boldsymbol{f} = (f_1, f_2) 에서 f_1 = x^3 + y^3 + z^3, f_2 = xyz 이면 Z_0(s,\boldsymbol{f}) 의 극은 실수부 \{-1, -3/8, -1/3\} 에 있으며, 상대 모노드로미 추측은 \varsigma_2(t) = (1 - t^6)(1 - t^8)^3 로 성립한다.
• 제타 함수 Z_{\text{na\
• tldr