[논문 리뷰] Zeta functions and Alexander modules

Johannes Nicaise|ArXiv.org|2004. 04. 10.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 에테일 코homology를 사용하여 Igusa의 국소 zeta 함수와 단조성 추측을 다변수 설정으로 확장하며, $
\mathbb{G}_m^r$의 기본군의 특성 스킴 위에 에테일 알렉산더 모듈을 층으로서 도입한다. 두 차원에서 $p$-진 zeta 함수에 대한 일반화된 단조성 및 해석적 추측을 증명하며, 초월적 코homology와의 비교 및 해상도 기반 공식을 통해 임의의 극과 단조성 고유값 사이의 연결 고리를 확립한다.

ABSTRACT

We introduce the etale framework to study Igusa zeta functions in several variables, generalizing the machinery of vanishing cycles in the univariate case. We define the etale Alexander modules, associated to a morphism of varieties F from X to affine r-space, a geometric point of X, and an object in the derived category of constructible l-adic sheaves on the inverse image of the r-torus under F. The Alexander modules are sheaves of modules on the scheme of continuous characters of the tame fundamental group of the r-torus. We formulate Loeser's Monodromy and Holomorphy Conjectures for multivariate p-adic zeta functions, and prove them in the case where dim(X)=2, generalizing results from the univariate case. Furthermore, we prove a comparison theorem with the transcendent case, we study a formula of Denef's for the zeta function in terms of a simultaneous embedded resolution, and we generalize a result concerning the degree of the zeta function to our setting.

연구 동기 및 목표

• Igusa의 단변수 $p$-진 zeta 함수와 그의 단조성 및 해석성 추측을 $r$-개의 다항식의 $r$-튜플을 포함하는 다변수 설정으로 일반화한다.
• 연속적 특성의 $
  \pi_1(\mathbb{G}_m^r)$의 스킴 위에 에테일 알렉산더 모듈을 층으로서 정의하여 초월적 알렉산더 복합체에 대한 $\ell$-adic 대응을 제공한다.
• 차원이 2인 경우 일반화된 단조성 및 해석성 추측을 증명하여 단변수 경우의 결과를 확장한다.
• 에테일 및 초월적 알렉산더 모듈의 실현 간 비교를 수립하여 $\ell$-adic 코hom로지와 단조성 작용을 연결한다.

제안 방법

• 다항식 $
  \mathbb{Z}_p^n$ 위에서 $\ell$-adic 적분을 통해 다변수 $p$-진 zeta 함수를 도입하여 Igusa의 단변수 정의를 일반화한다.
• 모르피즘 $F: X \to \mathbb{A}^r_k$의 가까운 순환의 코homology로 에테일 알렉산더 모듈을 정의하며, 유도 범주 $D^b_c(F^{-1}(\mathbb{G}_m^r), \bar{\mathbb{Q}}_l)$의 값으로 한다.
• $\pi_1(\mathbb{G}_m^r)^{\vee} \to \bar{\mathbb{Q}}_l^\times$인 연속적 특성을 매개하는 스킴 $\mathcal{C}(\mathbb{G}_m^r)$을 구성하며, 여기서 알렉산더 모듈은 층으로서 존재한다.
• 동시 통합 해상도를 사용하여 Denef의 공식을 통해 zeta 함수를 표현하며, 예외적 인수의 기하학과 관련시킨다.
• Sabbah의 A’Campo 공식을 다변수 설정에 적용하여 단조성 zeta 함수의 극과 예외적 성분의 오일러 지표 사이의 연결 고리를 맺는다.
• 해상도 데이터를 이용하여 차원 2에서 추측을 증명하며, 고정된 $N'$에 비례하는 다중성 벡터를 가진 성분들에 대해 $w_\mathcal{I} = \sum_{E_i \in \mathcal{I}} \chi(E_i^o)$의 오일러 지표 합이 $E_j$가 $\delta$ 조건을 만족할 때 엄격히 음수임을 보여준다.

실험 결과

연구 질문

• RQ1 고전적인 Igusa의 단변수 zeta 함수에 대한 단조성 및 해석성 추측은 어떻게 다변수 $p$-진 zeta 함수로 일반화될 수 있는가?
• RQ2 다변수 설정에서 초월적 알렉산더 복합체에 대한 적절한 $\ell$-adic 코hom로지적 대체는 무엇인가?
• RQ3 에테일 알렉산더 모듈의 지지부는 특성 스킴 $\mathcal{C}(\mathbb{G}_m^r)$ 내의 이동된 코토리로 기하학적으로 기술될 수 있는가?
• RQ4 해상도에서 유도된 후보 극이 실제로 zeta 함수의 극 위치에 기여하기 위한 조건은 무엇인가?
• RQ5 일반화된 단조성 및 해석성 추측은 차원 2에서 성립하는가? 만약 그렇다면, 어떻게 해상도 데이터를 통해 증명할 수 있는가?

주요 결과

• 차원이 2인 경우 $p$-진 zeta 함수에 대한 일반화된 단조성 및 해석성 추측이 증명되었으며, 이는 고전적인 단변수 경우의 결과를 확장한다.
• 에테일 알렉산더 모듈은 $
  \pi_1(\mathbb{G}_m^r)^{\vee}$의 연속적 특성 스킴 $\mathcal{C}(\mathbb{G}_m^r)$ 위의 층으로서 정의되며, 초월적 알렉산더 복합체에 대한 $\ell$-adic 유사체를 제공한다.
• 비교 정리 수립: 기저 체가 $\mathbb{C}$일 경우 에테일 알렉산더 모듈은 초월적 것과 일치하며, 이는 단조성 작용의 고유공간에 해당하는 스태크를 가진다.
• 알렉산더 모듈의 지지부는 $\mathcal{C}(\mathbb{G}_m^r)$ 내에서 코 dimension 1의 이동된 코토리의 유한한 합집합에 포함되며, 이는 단변수 경우를 일반화한다.
• 허위 후보 극을 제거하는 기준을 증명: 고정된 $N'$에 비례하는 다중성 벡터를 가진 예외적 인수 집합 $\mathcal{I}$에 대해 $w_\mathcal{I} = \sum_{E_i \in \mathcal{I}} \chi(E_i^o)$의 합이 엄격히 음수일 경우, 해당 극은 발생하지 않는다.
• 차원이 2인 경우, $E_j$가 $|E_j \setminus E_j^o| \geq 3$를 만족할 경우 $w_\mathcal{I} < 0$임을 보여주는 해상도 그래프의 성질과 다중성 벡터에 대한 부등식을 이용하여 증명이 이루어진다.