[논문 리뷰] Milnor fibers over singular toric varieties and nearby cycle sheaves

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

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

한 줄 요약

이 논문은 비정칙 토릭 다양체 위에서 미뉴르 분할의 단형성 지수 함수를 계산하기 위해 근처 순환 층과 체계적 층의 방법을 사용하는 시프 이론적 접근을 제시한다. 이는 쿠슈니렌코와 바르첸코의 고전적 공식을 임의의 토릭 다양체로 일반화하며, 뉴턴 다각형의 면들에 대한 곱으로 지수 함수를 표현하고, 격자 거리와 정규화된 부피를 포함한다. 비정상적인 토릭 다양체 위에서 비퇴화 함수에 대해 명시적인 공식을 제공한다.

ABSTRACT

We propose a new sheaf-theoretical method for the calculation of the monodromy zeta functions of Milnor fibrations. As an application, classical formulas of Kushnirenko and Varchenko etc. concerning polynomials on $\CC^n$ will be generalized to polynomial functions on any toric variety.

연구 동기 및 목표

• 원래 $\mathbb{C}^n$ 위의 다항함수에 대해 유효한 고전적 미뉴르 단형성 지수 함수 공식을 일반 (비정상적이지 않은) 토릭 다양체 위의 다항함수로 확장하기 위해.
• 특히 근처 순환 함자와 체계적 층을 이용한 층 이론적 도구를 통해 토릭 다양체에서 미뉴르 섬유 계산의 위상수학적 난이도를 극복하기 위해.
• 함수의 뉴턴 다각형과 토릭 다양체의 팬 기하학에 따라 의존하는 통합된 단형성 지수 함수 공식을 제공하기 위해.

제안 방법

• 저자들은 토릭 다양체의 $T$-오빗 위에서 체계적 층의 코homology와 미뉴르 섬유의 단형성을 연결하기 위해 근처 순환 함자 $\psi_f$를 사용한다.
• 각 $T$-오빗 $\overline{T_\Delta}$의 폐포를 분석함으로써 문제를 분해하며, 여기서 $\Delta$는 뉴턴 콘 $K(\Sigma)$의 면이다. 각 스트라툼에서 단형성 지수 함수를 계산한다.
• 각 면 $\Delta$에 대해, 뉴턴 다각형 $\Gamma_+(f)\cap\Delta$의 컴acts 면 $\gamma_i^\Delta$의 $(\dim\Delta-1)$차원 정규화된 부피와 원점에서의 격자 거리 $d_i^\Delta$를 사용하여 지수 함수를 계산한다.
• 이 방법은 $T$-불변 체계적 층 $\mathcal{F}$에 기반하며, 좌표 루프를 따라 단형성 행렬 $A_j^\Delta$를 정의하고, $B_i^\Delta = \prod_j (A_j^\Delta)^{u_{i,j}^\Delta}$로 정의한다. 여기서 $u_i^\Delta$는 내부 쌍대법선 벡터이다.
• 핵심 공식은 $\Gamma_+(f)\cap\Delta \neq \emptyset$인 모든 면 $\Delta$에 대해 곱으로 표현되며, 각 인자로 $\det(\mathrm{id} - t^{d_i^\Delta} B_i^\Delta)^{(-1)^{\dim\Delta-1} \mathrm{Vol}_\mathbb{Z}(\gamma_i^\Delta)}$를 포함한다.
• 이 접근법은 파생 범주와 층 코homology 내에서만 작업함으로써 고전적 위상수학적 복잡성들을 피하며, 델리ญ의 근처 순환 형식론을 활용한다.

실험 결과

연구 질문

• RQ1 미뉴르 분할의 단형성 지수 함수는 어떻게 $\mathbb{C}^n$에서 비정칙 토릭 다양체로 일반화될 수 있는가?
• RQ2 뉴턴 다각형과 그 면들은 비정상적인 토릭 다양체에서 단형성 지수 함수 계산에 어떤 역할을 하는가?
• RQ3 근처 순환 층 형식론은 토릭 다양체의 $T$-오빗에 따라 인덱싱된 스트라툼으로 단형성 계산을 분해하는 데 사용될 수 있는가?
• RQ4 뉴턴 다각형의 면들의 격자 거리와 정규화된 부피는 지수 함수 공식에 어떻게 기여하는가?
• RQ5 함수가 비정상적인 토릭 다양체 위에서 비퇴화일 경우 단형성 지수 함수의 정확한 표현은 무엇인가?

주요 결과

• 비정상적인 다항함수 $f$에 대해 토릭 다양체 $X(\Sigma)$ 위에서의 단형성 지수 함수 $\zeta_{f,0}(t)$는 정리 1.1에 따라 뉴턴 콘 $K(\Sigma)$의 모든 면 $\Delta$에 대해 $\Gamma_+(f)\cap\Delta \neq \emptyset$인 경우 곱으로 주어진다.
• 각 이러한 면 $\Delta$에 대해 기여도 $\zeta_\Delta(t)$는 $\Gamma_+(f)\cap\Delta$의 컴팩트 코차원-1 면 $\gamma_i^\Delta$에 대해 곱으로 이루어지며, 지수는 $(-1)^{\dim\Delta-1} \mathrm{Vol}_\mathbb{Z}(\gamma_i^\Delta)$이다.
• 각 인자 $1 - t^{d_i^\Delta}$의 지수는 래티스 $M(\Sigma \cap \Delta)$에서 $\gamma_i^\Delta$와 원점 사이의 격자 거리 $d_i^\Delta$에 따라 달라진다.
• 이 공식은 비정상적인 토릭 다양체, 특히 비이sov된 특이점을 가진 경우에도 바르첸코와 쿠슈니렌코의 고전적 결과를 일반화한다.
• 이 방법은 완전 교차와 $T$-불변 체계적 층 $\mathcal{F}$로 확장되며, 지수 함수는 $\zeta_f(\mathcal{F})(t) = \prod_{\Gamma_+(f)\cap\Delta \neq \emptyset} \zeta_{f,\Delta}(\mathcal{F})(t)$로 표현되며, 각 인자는 $\mathcal{F}$의 $T_\Delta$ 위에서의 단형성 행렬 $B_i^\Delta$를 포함한다.
• 최종 공식(정리 5.5)은 명시적으로 지수 함수를 $\prod_{\Gamma_+(f)\cap\Delta \neq \emptyset} \prod_{i=1}^{n(\Delta)} \det(\mathrm{id} - t^{d_i^\Delta} B_i^\Delta)^{(-1)^{\dim\Delta-1} \mathrm{Vol}_\mathbb{Z}(\gamma_i^\Delta)}$로 계산하며, 층 이론적 설정으로의 완전한 일반화를 제공한다.