[논문 리뷰] Multiplier ideals, b-function, and spectrum of a hypersurface singularity

Morihiko Saito|ArXiv.org|2004. 02. 23.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 5

한 줄 요약

이 논문은 Ein, Lazarsfeld, Smith, Varolin의 정리에 대한 부분적인 역을 확립하며, 초곡면 특이점의 Bernstein-Sato 다항식(b-function)의 특정 근들이 다중 이상수 이상수의 점프 계수임을 증명한다. 이는 Milnor 코hom로지에 대한 새로운 필터링을 도입하여 Malgrange의 정리를 일반화하고, Hodge 필터링과 극점 순서 필터링을 통해 스펙트럼과 연결함으로써, 국소적으로 콘형인 초곡면과 초평면 배열의 경우에 다중 이상수 이상수의 명시적 공식을 제공한다.

ABSTRACT

We prove that certain roots of the Bernstein-Sato polynomial (i.e. b-function) are jumping coefficients up to a sign, showing a partial converse of a theorem of L. Ein, R. Lazarsfeld, K.E. Smith, and D. Varolin. We also prove that certain roots are determined by a filtration on the Milnor cohomology, generalizing a theorem of B. Malgrange in the isolated singularity case. This implies a certain relation with the spectrum which is determined by the Hodge filtration, because the above filtration is related to the pole order filtration. For multiplier ideals we prove an explicit formula in the case of locally conical divisors along a stratification, generalizing a formula of Mustata in the case of hyperplane arrangements. We also give another proof of a formula of U. Walther on the b-function of a generic hyperplane arrangement, including the multiplicity of -1.

연구 동기 및 목표

• 점프 계수가 1보다 작은 경우가 b-function의 근임을 보여주는 결과의 부분적인 역을 확립하는 것.
• 비격리 특이점을 포함한 일반적인 경우로 Malgrange의 정리(밀너 단조성과 Hodge 필터링 간의 관계)를 일반화하는 것.
• 국소적으로 콘형인 초곡면에 대해 분할에 沿해 다중 이상수 이상수의 명시적 공식을 제공하는 것.
• 밀너 코호몰로지에 대한 새로운 필터링을 통해 초곡면 특이점의 스펙트럼과 b-function 간의 관계를 규명하는 것.
• 일반적인 초평면 배열의 b-function에 대한 Walther의 공식을 재증명하며, -1에서의 근의 중복도를 포함한 결과를 도출하는 것.

제안 방법

• Kashiwara와 Malgrange의 V-필터링을 사용하여 다중 이상수 이상수와 b-function 간의 관계를 설정한다.
• 밀너 코호몰로지에 대한 표준 필터링 $\widetilde{P}$를 도입하여 Hodge 필터링을 포함하고, 단조성 작용에 대해 안정적임을 보인다.
• 포화된 Brieskorn 래티스 $\widetilde{\mathcal{G}}_{f}^{(-i)}$를 적용하여 필터링 $\widetilde{P}$를 정의하고, 이를 극점 순서 필터링과 연결한다.
• 무게 스펙트럴 시퀀스와 Bott의 쇄거를 활용하여 프로젝티브 공간 위의 타원형 형식의 코호몰로지를 계산하여 스펙트럼 계산을 수행한다.
• 왜곡된 de Rham 복합체와 로그 형식을 적용하여 특정 배열의 경우 $H^2(U, L^{(5/7)})$를 계산한다.
• 관계 $\mathcal{J}(X, (\alpha+1)D) = f \mathcal{J}(X, \alpha D)$를 활용하여 점프 계수의 주기성을 이용한다.

실험 결과

연구 질문

• RQ1 b-function $b_f(-s)$의 어떤 근들이 다중 이상수 이상수의 점프 계수에 해당하는가?
• RQ2 Hodge 필터링과 단조성 간의 관계를 다루는 Malgrange의 정리는 격리 특이점 이외의 경우로 일반화될 수 있는가?
• RQ3 밀너 코호몰로지에 대한 필터링을 통해 스펙트럼과 b-function 간의 관계는 어떻게 규명되는가?
• RQ4 초곡면이 분할에 따라 국소적으로 콘형인 경우, 다중 이상수 이상수에 대한 명시적 공식은 무엇인가?
• RQ5 일반적인 초평면 배열의 스펙트럼은 조합론적 자료에만 의존하는가? 이는 b-function과 다중 이상수 이상수를 통해 증명될 수 있는가?

주요 결과

• 조건 (a) $\xi f = f$ 를 만족하는 정칙 벡터장 $\xi$ 가 존재하고, (b) 모든 $y \neq x$ 에 대해 $\alpha < \alpha_{f,y}$ 를 만족하는 $\alpha \in (0,1)$ 이면, $b_{f,x}(-s)$의 근은 $x$에서 $D$의 국소 점프 계수이다.
• 필터링 $\widetilde{P}$ 는 $H^{n-1}(F_x, \mathbb{C})_\lambda$ 에 대해 다음을 만족한다: 만약 $\mathrm{Gr}_{\widetilde{P}}^p H^{n-1}(F_x, \mathbb{C})_\lambda \neq 0$ 이고 $p = [n - \alpha]$ 이면, $\alpha$ 는 $b_{f,x}(-s)$의 근이다.
• 모든 $y \neq x$ 와 $i \in \mathbb{N}$ 에 대해 $\alpha + i$ 가 $b_{f,y}(-s)$의 근이 아니면, 역도 성립한다: 그러한 $\alpha$ 는 $\widetilde{P}$ 의 그레디언트 조각이 비영이면 근이다.
• 만약 $\lambda = \exp(-2\pi i \alpha)$ 가 $y \neq x$ 에서 밀너 단조성의 고유값이 아니면, 근 $\alpha$ 의 중복도는 $\mathrm{Gr}_{\widetilde{P}}^{[n-\alpha]} H^{n-1}(F_x, \mathbb{C})_\lambda$ 에서 단조성의 최소 다항식의 차수와 같다.
• 국소적으로 콘형인 초곡면의 경우, 다중 이상수 이상수 $\mathcal{J}(X, \alpha D)$ 는 분할에 따라 명시적 공식을 가짐으로써, 초평면 배열의 경우 Mustaţǎ의 결과를 일반화한다.
• 배열 $\{ (x^2-1)(y^2-1) = 0 \}$ 의 경우 계산 결과 $\dim H^2(U, L^{(5/7)}) \neq 0$ 임을 보여 $5/7$ 이 $b_f(-s)$의 근이며, 스펙트럼 계수 $m_{5/7} = 1$ 이다.