[논문 리뷰] Roots of Bernstein-Sato polynomials of certain homogeneous polynomials with two-dimensional singular loci

Morihiko Saito|arXiv (Cornell University)|2017. 03. 16.

Algebraic Geometry and Number Theory참고 문헌 30인용 수 11

한 줄 요약

이 논문은 $ \mathbb{P}^3 $ 상의 강한 자유, 국소적으로 양의 가중치를 가진 동차 다항식에 대해, 특이점 집합이 2차원인 동차 다항식의 버니스타오 다항식의 근을 계산하는 새로운 방법을 개발한다. 이는 $ E_2 $ 또는 $ E_3 $ 에서 극의 순서 스펙트럴 시퀀스의 분해를 이용하며, 특히 원점에 지지된 근을 완전히 결정할 수 있도록 하는 $ E_2 $-항의 대칭 조건이 핵심 기여이다. 특수한 경우를 제외하고는 원점에 지지된 근을 완전히 특정할 수 있다.

ABSTRACT

For a homogeneous polynomial of $n$ variables, we present a new method to compute the roots of Bernstein-Sato polynomial supported at the origin, assuming that general hyperplane sections of the associated projective hypersurface have at most weighted homogeneous isolated singularities. Calculating the dimensions of certain $E_r$-terms of the pole order spectral sequence for a given integer $r\in[2,n]$, we can detect its degeneration at $E_r$ for certain degrees. In the case of strongly free, locally positively weighted homogeneous divisors on ${\mathbb P}^3$, we can prove its degeneration almost at $E_2$ and completely at $E_3$ together with a symmetry of a modified pole-order spectrum for the $E_2$-term. These can be used to determine the roots of Bernstein-Sato polynomials supported at the origin, except for rather special cases.

연구 동기 및 목표

• 특이점 집합이 2차원인 동차 다항식에 대해 원점에 지지된 버니스타오 다항식의 근을 계산하는 방법을 개발하는 것.
• 이러한 다항식에 대해 극의 순서 스펙트럴 시퀀스가 $ E_2 $ 및 $ E_3 $ 에서 분해되는지 분석하는 것.
• 강한 자유, 국소적으로 양의 가중치를 가진 동차 다항식에 대해 $ \mathbb{P}^3 $ 상에서 $ E_2 $-항에 대한 대칭 조건을 수립하는 것.
• 스펙트럴 시퀀스 데이터와 단형 동역학 고유공간을 이용하여 버니스타오 다항식의 근을 특수한 경우를 제외하고 결정하는 것.
• Macaulay2와 Singular를 통해 계산적으로 방법을 검증하여 스펙트럴 시퀀스의 행동과 다항식의 자유성 조건을 확인하는 것.

제안 방법

• 이 방법은 극의 순서 필터링을 갖는 밀너 코hom로지에 수렴하는 미크로로컬 극의 순서 스펙트럴 시퀀스 $ E_r^{p,q}(f)_k $ 를 사용한다.
• 특정 차수에서 $ E_r $-항의 차원 계산을 통해 $ r = 2 $ 또는 $ 3 $ 에서 스펙트럴 시퀀스의 분해 여부를 검출한다.
• 강한 자유 다항식에 대해 $ \mathbb{P}^3 $ 상에서 스펙트럴 시퀀스는 거의 $ E_2 $ 에서 분해되고 $ E_3 $ 에서 완전히 분해되어 근 계산이 가능하다.
• 수정된 극의 순서 스펙트럼의 $ E_2 $-항에 대칭 조건을 도입하여 버니스타오 다항식의 근을 재구성한다.
• 이 접근법은 $ df $-왜곡된 미분을 갖는 de Rham 복합체로부터 유도된 코homology 군 $ M^{(r)} $, $ N^{(r)} $, $ Q^{(r)} $ 과 $ E_r^{p,q}(f)_k $ 를 식별하는 데 의존한다.
• Macaulay2와 Singular를 사용하여 계산적 검증을 수행하여 스펙트럴 시퀀스의 행동과 자코비안 이상의 자유성 조건을 확인한다.

실험 결과

연구 질문

• RQ1 특이점 집합이 2차원인 동차 다항식에 대해 원점에 지지된 버니스타오 다항식의 근을 계산할 수 있는가?
• RQ2 강한 자유, 국소적으로 양의 가중치를 가진 동차 다항식에 대해 $ \mathbb{P}^3 $ 상에서 극의 순서 스펙트럴 시퀀스가 $ E_2 $ 또는 $ E_3 $ 에서 분해되는가?
• RQ3 스펙트럴 시퀀스의 $ E_2 $-항에 대한 대칭 조건을 이용하여 버니스타오 다항식의 근을 재구성할 수 있는가?
• RQ4 필수성 가정이 스펙트럴 시퀀스에서 특정 코homology 계열의 소멸을 보장하는 데 어떤 역할을 하는가?
• RQ5 Macaulay2와 Singular와 같은 계산 도구를 사용하여 스펙트럴 시퀀스의 분해 및 자유성 조건을 어떻게 검증할 수 있는가?

주요 결과

• 강한 자유, 국소적으로 양의 가중치를 가진 동차 다항식에 대해 $ \mathbb{P}^3 $ 상에서 극의 순서 스펙트럴 시퀀스는 거의 $ E_2 $ 에서 분해되고 완전히 $ E_3 $ 에서 분해되어 근 계산이 가능하다.
• 수정된 극의 순서 스펙트럼의 $ E_2 $-항에 대한 대칭 조건을 통해 원점에 지지된 버니스타오 다항식의 근을 완전히 결정할 수 있다.
• 특정 차수에서 $ E_r $-항의 차원 계산을 통해 스펙트럴 시퀀스의 분해 여부를 검출할 수 있으며, 특히 $ r = 2,3 $ 에서 중요한 역할을 한다.
• 특수한 경우를 제외하고는 $ E_2 $-항의 대칭 조건을 이용하여 버니스타오 다항식의 근을 부호를 제외한 상태로 완전히 결정할 수 있다.
• 필수성 가정 하에 불변량 $ \widetilde{a}_k, \widetilde{b}_k, \widetilde{c}_k $ 는 각각 구간 $ [d+3, 2d] $, $ [2d+2, 3d-1] $, $ [3d+2, \infty) $ 에 지지된다.
• 계산적 검증을 통해 스펙트럴 시퀀스의 행동과 계수 $ \varepsilon_k $ 의 음이 아닌 성질이 확인되어 이론적 결과를 지지한다.