[논문 리뷰] Monodromy zeta functions at infinity, Newton polyhedra and constructible sheaves

Yutaka Matsui, Kiyoshi Takeuchi|ArXiv.org|2008. 09. 18.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 시트-이론적 방법, 특히 구조적 복소수층과 가까운 순환 함자론을 사용하여 Libgober-Sperber의 무한대에서의 단일화 함수 공식을 일반화한다. 다항함수 사상의 분기점에서의 전역 단일화 함수에 대한 명시적 공식을 제공하며, 비편의성 다항식의 상수항이 일반적으로 분기점임을 보여주는 놀라운 결과를 포함한다. 결과들은 다항식과 관련된 뉴턴 다면체에 의해 완전히 기술되며, 다변수 다항함수 사상과 완전교차 섬유로 확장된다.

ABSTRACT

By using sheaf-theoretical methods such as constructible sheaves, we generalize the formula of Libgober-Sperber concerning the zeta functions of monodromy at infinity of polynomial maps into various directions. In particular, some formulas for the zeta functions of global monodromy along the fibers of bifurcation points of polynomial maps will be obtained.

연구 동기 및 목표

• 시트-이론적 방법을 사용하여 비편의성 다항식으로의 Libgober-Sperber의 무한대에서의 단일화 함수 공식을 일반화한다.
• 다항함수 사상의 분기점에서의 전역 단일화 함수의 명시적 공식을 유도하며, 일반적으로 상수항이 분기점임을 포함한다.
• 다항함수 사상 $ f: \mathbb{C}^n \to \mathbb{C}^k $ (여기서 $ k \geq 1 $)로 이론을 확장하며, 특히 완전교차 섬유에 대해 다룬다.
• 모든 결과를 뉴턴 다면체와 토릭 콪팩티피케이션으로 표현하여, 미분형 확장과 미정의 점에 대한 의존도를 제거한다.

제안 방법

• 구조적 복소수층과 가까운 순환 함자론을 사용하여 Libgober-Sperber의 공식에 대한 함자론적, 시트-이론적 증명을 제공한다.
• 다항함수 $ f $의 미분형 확장 $ \widetilde{f} $를 블로잉업하여 미정의점을 해결하고, 토릭 기하학을 통해 $ (\mathbb{C}^*)^n $을 콩팩티피케이션한다.
• 분기점 $ b \in B_f $ 주위의 작은 고리로 제한함으로써 전역 단일화 함수 $ \zeta_f^b(t) $ 를 정의한다.
• 구조 $ T_S \cap W \cap \{f_k(x) - c = 0\} $ 위에서 국소 단일화 함수의 오일러 적분을 통해 단일화 함수를 계산한다.
• 다항함수 사상 $ f: \mathbb{C}^n \to \mathbb{C}^k $에 대해 뉴턴 다면체 $ \Gamma_\infty^S(f_k) $ 를 통해 정의된 $ k $-번째 주요 단일화 함수 $ \zeta_{f,k}^c(t) $ 를 도입한다.
• 엄격한 비퇴화 조건과 $ m(S) \leq \sharp S $ 인 부분집합 $ S \subset \{1,\dots,n\} $ 에서의 단일화 함수의 분해를 사용한다.

실험 결과

연구 질문

• RQ1 Libgober-Sperber의 무한대에서의 단일화 함수 공식은 시트-이론적 방법을 사용하여 비편의성 다항식으로 일반화될 수 있는가?
• RQ2 비편의성 다항식의 상수항은 항상 다항함수 사상의 분기점인가?
• RQ3 분기점 $ b \in B_f $ 에서의 전역 단일화 함수 $ \zeta_f^b(t) $ 에 대한 명시적 공식은 뉴턴 다면체로부터 직접 도출될 수 있는가?
• RQ4 무한대에서의 단일화 함수는 다변수 다항함수 사상 $ f: \mathbb{C}^n \to \mathbb{C}^k $ 와 완전교차 섬유로 어떻게 일반화될 수 있는가?
• RQ5 뉴턴 다면체 $ \Gamma_\infty^S(f_k) $ 는 $ k $-번째 주요 단일화 함수 $ \zeta_{f,k}^c(t) $ 의 분해에서 어떤 역할을 하는가?

주요 결과

• 비편의성 다항식 $ f(x) = \sum_{v \in \mathbb{Z}_{\geq 0}^n} a_v x^v $ 의 상수항 $ a $ 는 일반적으로 $ f $ 의 분기점이 된다. 이는 이전에 알려지지 않은 결과이다.
• 미분형 확장 $ \widetilde{f} $ 의 미정의점을 토릭 콩팩티피케이션을 통해 해결하는 새로운 시트-이론적 증명을 제시한다.
• 모든 분기점 $ b \in B_f $ 에 대해, 전역 단일화 함수 $ \zeta_f^b(t) $ 는 뉴턴 다면체와 구조적 복소수층을 사용하여 명시적으로 계산된다.
• 점프 수 $ \chi(f^{-1}(a)) - \chi(f^{-1}(c)) \in \mathbb{Z} $ 는 $ f - a $ 의 뉴턴 다면체에 의해 표현되며, 이는 코로나리 4.5 및 4.9 에서 보여진다.
• 다항함수 사상 $ f: \mathbb{C}^n \to \mathbb{C}^k $ 에 대해, $ k $-번째 주요 단일화 함수 $ \zeta_{f,k}^c(t) $ 는 $ \Gamma_\infty^S(f_k) \supsetneq \{0\} $ 이고 $ m(S) \leq \sharp S $ 인 부분집합 $ S \subset \{1,\dots,n\} $ 에서 분해된다.
• 만약 $ f $ 가 엄격한 비퇴화 조건을 만족하고, $ \Gamma_\infty^S(f_k) \supsetneq \{0\} $ 인 모든 $ S $ 에 대해 $ m(S) = k $ 이면, 단일화 함수는 $ \zeta_{f,k}^c(t) = \widetilde{\zeta_{f,k}^c}(t) $ 로 단순화되며, 여기서 $ \widetilde{\zeta_{f,k}^c}(t) $ 는 국소 단일화 함수의 오일러 적분이다.