[논문 리뷰] Bernstein-Sato polynomials for projective hypersurfaces with weighted homogeneous isolated singularities

Morihiko Saito|arXiv (Cornell University)|2016. 09. 15.

Algebraic Geometry and Number Theory참고 문헌 38인용 수 10

한 줄 요약

이 논문은 가중 치환 불연속성을 가진 동차 다항식으로 정의된 프로젝티브 초곡면에 대해 베른슈타인-사토 다항식의 근을 효율적으로 계산하는 방법을 제시한다. 이는 근의 계산 문제를 계수별 밀너 대수의 힐베르트 급수로 환원한다. 주요 기여는 약간의 조건 하에 컴퓨터 대수 시스템을 통해 근을 즉각 계산할 수 있는 알고리즘을 개발한 것으로, 이는 다항식의 극점 스펙트럴 시퀀스의 $E_2$-분해가 이론적 기초로 작용한다.

ABSTRACT

We present a quite efficient method to calculate the roots of Bernstein-Sato polynomial for a defining polynomial $f$ of a projective hypersurface $Z\subset{\mathbb P}^{n-1}$ of degree $d$ having only weighted homogeneous isolated singularities. We prove the $E_2$-degeneration of the pole order spectral sequence so that the computation of roots is reduced to the one of the Hilbert series of the Jacobian ring of $f$ except the special case where $f$ is annihilated by a nonzero vector field on ${\mathbb C}^n$ with linear function coefficients. In the three variable case with $d>4$ we may assume that this vector field is a linear combination of $x\partial_x, y\partial_y, z\partial_z$, where $f$ is called extremely degenerated; in particular, the latter case does not contain any essential indecomposable central hyperplane arrangement in ${\mathbb C}^3$. Combined with the self-duality of the Koszul complex and a theorem of Dimca and Popescu, it implies for $n=3$ with $d>4$ except the extremely degenerated case that $R_f=\frac{1}{d}({\mathbb Z}\cap[3,k'])\cup R_Z$. Here $R_f,R_Z$ are the roots of Bernstein-Sato polynomials of $f$ and $Z$ up to sign, and $k'=\max(2d-3,k_{\max}+3)$ with $k_{\max}$ the maximal degree of the ``torsion part" of the Jacobian ring, where the latter is known to be at most $2d-5$ in the hyperplane arrangement case.

연구 동기 및 목표

• 가중 치환 불연속성을 가진 동차 다항식의 베른슈타인-사토 다항식 근을 신속하고 효과적으로 계산할 수 있는 방법을 개발하는 것.
• 베른슈타인-사토 다항식의 근과 계수별 밀너 대수의 힐베르트 급수 사이의 관계를 설정하는 것.
• 고립된 불연속성과 가중 치환 조건 하에서 극점 스펙트럴 시퀀스의 $E_2$-분해를 증명하는 것.
• 베른슈타인-사토 다항식에서 중복도를 계산하는 데 필요한 계산을 피하는 계산 프레임워크를 제공하는 것.
• Macaulay2 및 Singular과 같은 컴퓨터 대수 시스템을 활용한 구체적 예제를 통한 방법의 타당성 검증.

제안 방법

• R = \bC[x_1, \tdots, x_n] 및 \text{Jac}(f)를 야코비 아이디얼로 하여, 계수별 밀너 대수 M_f = R / (\text{Jac}(f))의 힐베르트 급수로 베른슈타인-사토 다항식 근의 계산을 환원한다.
• 마이크로로컬 가우스-민 콤���스와 V-필터링과 연관된 극점 스펙트럴 시퀀스를 사용하여 코homology 군과 베른슈타인-사토 근을 연결한다.
• 고립된 가중 치환 불연속성 조건 하에서 극점 스펙트럴 시퀀스의 $E_2$-분해를 증명한다.
• 정리 1을 적용하여 원점에 지지된 베른슈타인-사토 다항식 근을 H^{n-1}(F_f, \bC)_\lambda의 극점 필터링의 비영인 계수 조각 \mathrm{Gr}_P^p 와 연결한다. 여기서 p = [n - \alpha] 및 \lambda = e^{-2\pi i \alpha}이다.
• Macaulay2, Singular 등의 컴퓨터 대수 시스템을 활용하여 힐베르트 급수, 투지라 수, 밀너 수를 계산하여 검증한다.
• 특이점의 근을 계산하고 투지라 수와 밀너 수를 비교하여 숨겨진 특이점의 부재를 검증한다.

실험 결과

연구 질문

• RQ1 가중 치환 불연속성을 가진 프로젝티브 초곡면에 대해, 중복도를 계산하지 않고도 베른슈타인-사토 다항식의 근을 효율적으로 계산할 수 있는가?
• RQ2 어떤 조건에서 이러한 초곡면에 대해 극점 스펙트럴 시퀀스가 $E_2$에서 분해되는가?
• RQ3 계수별 밀너 대수의 힐베르트 급수는 어떻게 베른슈타인-사토 다항식의 근을 복구하는 데 사용될 수 있는가?
• RQ4 극점 필터링과 밀너 면의 코homology에서의 모노드로미 고유공간 사이의 관계는 무엇인가?
• RQ5 이 방법은 $\tfrac{16}{9}$-예제를 통해 초평면 배열의 비조합론적 불변량을 어느 정도 탐지할 수 있는가?

주요 결과

• 조건 $\alpha \notin \mathcal{R}_Z + \mathbb{Z}_{<0}$ 하에서, 원점에 지지된 베른슈타인-사토 다항식의 근은 $\mathrm{Gr}_P^p H^{n-1}(F_f, \bC)_\lambda$가 비영이 되는 $p = [n - \alpha]$ 및 $\lambda = e^{-2\pi i \alpha}$일 때 결정된다.
• 가중 치환 고립 특이점 조건 하에서, 극점 스펙트럴 시퀀스의 $E_2$-분해가 성립하며, 이는 밀너 대수의 힐베르트 급수가 베른슈타인-사토 근을 결정할 수 있음을 보장한다.
• 세 변수의 경우, 광범위한 계산을 통해 극도로 열악한 다항식 제외하고는 이 방법이 적용 가능하다.
• Macaulay2와 같은 컴퓨터 대수 시스템을 사용하면 고차수 다항식에 대해서도 힐베르트 급수를 즉각 계산할 수 있다.
• 이 방법은 비조합론적 불변량을 정확히 식별한다: 워elter의 예제에서 $\sum \delta_k T^k = T^{16} + \cdots + T^0$이며, $\tfrac{16}{9} \notin \tfrac{1}{3}\mathbb{Z}$ 이므로 $b_f(s)$가 조합론적 불변량이 아님을 증명한다.
• 특이점의 이상적의 근을 계산함으로써 숨겨진 특이점은 탐지 가능하다. (5.5)의 예에서 $\mathrm{Sing}\,Z$는 $[1:-1:0]$을 포함한다.