[논문 리뷰] Zeta functions and oscillatory integrals for meromorphic functions

Willem Veys, W. A. Zúñiga‐Galindo|arXiv (Cornell University)|2015. 10. 13.

advanced mathematical theories참고 문헌 25인용 수 4

한 줄 요약

이 논문은 특성 0인 국소체 위의 다항함수에서의 Igusa의 국소 제타 함수 및 진동 적분 이론을 유리형 함수 $f/g$로 확장한다. 임bedded 분해와 변형 제타 함수를 이용하여 두 가지 다른 점근 전개를 확립한다: 하나는 $|z|_K \to \infty$일 때, $Z_\Phi(\omega; f/g - c)$의 음수 실수부를 가진 극에 의해 제어되며, 다른 하나는 $|z|_K \to 0$일 때, $Z\Phi(\omega; f/g)$의 양수 실수부를 가진 극에 의해 제어되며, 이는 진동 적분에 대한 정밀한 멱-로그(bounds)를 제공한다.

ABSTRACT

In the 70's Igusa developed a uniform theory for local zeta functions and oscillatory integrals attached to polynomials with coefficients in a local field of characteristic zero. In the present article this theory is extended to the case of rational functions, or, more generally, meromorphic functions f/g, with coefficients in a local field of characteristic zero. This generalization is far from being straightforward due to the fact that several new geometric phenomena appear. Also, the oscillatory integrals have two different asymptotic expansions: the 'usual' one when the norm of the parameter tends to infinity, and another one when the norm of the parameter tends to zero. The first asymptotic expansion is controlled by the poles (with negative real parts) of all the twisted local zeta functions associated to the meromorphic functions f/g - c, for certain special values c. The second expansion is controlled by the poles (with positive real parts) of all the twisted local zeta functions associated to f/g.

연구 동기 및 목표

• 특성 0인 국소체 위의 다항함수에서의 Igusa의 국소 제타 함수 및 진동 적분 이론을 유리형 함수로 일반화한다.
• 다항함수 설정과 상당히 다름으로써 유리형 함수의 경우에 나타나는 비자명한 기하학적 현상들을 다룬다.
• 진동 적분에 대해 두 가지 다른 점근 전개를 확립한다: 하나는 $|z|_K \to \infty$일 때이고, 다른 하나는 $|z|_K \to 0$일 때이며, 각각 다른 종류의 변형 제타 함수 극에 의해 제어된다.
• 진동 적분의 점근적 행동을 각각 $f/g - c$와 $f/g$와 관련된 변형 제타 함수의 극과 연결하여 정량적 bounds를 제공한다.

제안 방법

• 특성 0인 국소체에서의 $f/g$와 그 수준집합 $f/g = c$의 기하학을 분석하기 위해 특이점의 임베디드 분해를 활용한다. 다항함수의 경우와 유사한 기법을 확장한다.
• 국소체 $K$의 곱형성 $\omega$에 대해 유리형 함수 $h = f/g$에 대해 변형 국소 제타 함수 $Z_\Phi(\omega; h)$를 도입하고, 그 해석적 계속성을 증명한다.
• $|z|_K \to \infty$일 때의 점근 전개를 제어하기 위해 특수한 값 $c$에 대해 $Z_\Phi(\omega; f/g - c)$의 극을 분석하며, 특히 음수 실수부를 가진 극을 중심으로 다룬다.
• $|z|_K \to 0$일 때의 점근적 행동을 제어하기 위해 $Z_\Phi(\omega; f/g)$의 양수 실수부를 가진 극을 분석하고, 멱-로그 감쇠 추정을 확립한다.
• $p$-진 라운드 다항함수에 이론을 적용하여, 진동 적분이 $\mod p^\ell$ 지수 합으로 대응됨을 보이고, 제타 함수 극을 통해 추정을 유도한다.
• $R_K^n$을 $\mathfrak{p}^\ell$-근접 영역으로 분해하여 진동 적분을 유한체 위의 합과 연결하고, 고전 결과와의 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 특성 0인 국소체 위의 다항함수에서의 Igusa의 국소 제타 함수 및 진동 적분 이론을 유리형 함수로 어떻게 확장할 수 있는가?
• RQ2 유리형 함수의 경우에서 다항함수 설정과 상당히 다름으로써 나타나는 새로운 기하학적 현상은 무엇이며, 이는 고전 이론의 직접적인 일반화를 방해하는가?
• RQ3 왜 유리형 함수에 대한 진동 적분은 $|z|_K \to \infty$와 $|z|_K \to 0$일 때 두 가지 다른 점근적 영역을 보이며, 각각은 무엇에 의해 제어되는가?
• RQ4 변형 제타 함수 $Z_\Phi(\omega; f/g - c)$와 $Z_\Phi(\omega; f/g)$의 극이 $E_\Phi(z; f/g)$의 점근적 행동을 결정하는 정확한 역할은 무엇인가?
• RQ5 $p$-진 라운드 다항함수와 관련된 지수 합 $\mod p^\ell$에 대한 알려진 추정을 이 이론이 복원할 수 있으며, 만약 가능하면 그 방법은 무엇인가?

주요 결과

• 반경 $|z|_K \to \infty$일 때, 진동 적분 $E_\Phi(z; f/g)$는 $\sum_{\gamma} \sum_{m=1}^{m_\gamma} e_{\gamma,m}(z/|z|) |z|^\gamma (\ln |z|)^{m-1}$ 형태의 점근 전개를 갖는다. 여기서 $\gamma$는 특정 $c$에 대해 $Z_\Phi(\omega; f/g - c)$의 음수 실수부를 가진 극을 뜻하며, $e_{\gamma,m}$는 $\mathbb{Z}_p^\times$ 상에서 국소적으로 상수이다.
• 반경 $|z|_K \to 0$일 때, 진동 적분은 $\left|E_\Phi(z; f/g) - \int_{K^n} \Phi(x) |dx|_K \right| \leq C |z|^\alpha |\ln |z||^{\tilde{m}_\alpha - 1}$을 만족한다. 여기서 $\alpha$와 $\tilde{m}_\alpha$는 $Z_\Phi(\omega; f/g)$의 양수 실수부를 가진 극에 의해 결정된다.
• 만약 $f$와 $g$가 다항함수이면, 점근 추정의 상수 $C$, $\alpha$, $\delta_\alpha$, $\tilde{m}_\alpha$는 테스트 함수 $\Phi$에 독립적이며, 유한한 분해 데이터 덕분이다.
• $p$-진 라운드 다항함수 $h = f/x^m$에 대해 진동 적분 $E_\Phi(z; h)$는 지수 합 $S_{\ell,u}(h) = q^{-\ell n} \sum_{\bar{x} \in ((R_K/P_K^\ell)^\times)^n} \Psi(u \mathfrak{p}^{-\ell} h(\bar{x}))$에 대응하며, 이 이론은 큰 $\ell$에 대해 $|S_{\ell,u}(h)| \leq C q^{\ell \beta_{\mathcal{V}}} \ell^{\tilde{m}_{\beta_{\mathcal{V}}} - 1}$의 추정을 도출한다. 여기서 $\beta_{\mathcal{V}}$는 $f/g - c$의 극 중에서 최대의 음수 실수부를 가진 극이다.
• $\mod p^\ell$ 지수 합에 대한 결과는 고전적인 $p$-진 추정과 일치하며, Denef와 Loeser의 유한체 위 지수 합에 대한 작업을 확장한다.
• 이 이론은 다항함수를 통해 복소수 단조니 모노드로미, $p$-진 지수 합, 모티빅 제타 함수를 통합하는 프레임워크를 제공하며, Igusa의 원래 계획을 일반화한다.