[논문 리뷰] Hilbert series of graded Milnor algebras and roots of Bernstein-Sato polynomials

Morihiko Saito|arXiv (Cornell University)|2015. 09. 21.

Algebraic structures and combinatorial models참고 문헌 16인용 수 7

한 줄 요약

이 논문은 고립된 특이점을 가진 다항식의 미르니어 대수의 힐버트 급수는 원점에 정확히 지지된 베르너슈타인-사토 다항식의 근을 유일하게 결정하지 못함을 보여준다. 이는 미르니어 대수의 힐버트 급수가 동일한 두 다항식에 대해 원점에 정확히 지지된 베르너슈타인-사토 근이 다를 수 있음을 의미한다. 매클레이2와 RISA/ASIR를 사용한 명시적 계산을 통해, 동일한 힐버트 급수를 가진 두 동차 다항식을 구성하였으며, 이들 간의 근 집합은 다름을 확인하였다. 이는 잠재적인 유일성 추측을 반박하고, 미르니어 대수의 토판 요소가 항상 기대하는 근을 기여하지는 않음을 드러냈다.

ABSTRACT

We show that there is a pair of homogeneous polynomials such that the sets of roots of their Bernstein-Sato polynomials which are strictly supported at the origin are different although the sets of roots which are not strictly supported at the origin are the same and moreover their graded Milnor algebras have the same Hilbert series. This shows that the roots of the Bernstein-Sato polynomials strictly supported at the origin cannot be determined uniquely by the Hilbert series of the Milnor algebras. This is contrary to certain hyperplane arrangement cases. It also implies that a nonzero torsion element with pure degree in the Milnor algebra does not necessarily contribute to a root of the Bernstein-Sato polynomial in an expected way. This example is found by using Macaulay2 and RISA/ASIR.

연구 동기 및 목표

• 미르니어 대수의 힐버트 급수가 원점에 정확히 지지된 베르너슈타인-사토 다항식의 근 집합을 유일하게 결정하는지 조사한다.
• 특히 초평면 배치의 경우에 알려진 결과들과 대비하여, 힐버트 급수가 유일하게 결정한다는 추측을 도전한다.
• 미르니어 대수의 토판 요소가 베르너슈타인-사토 다항식의 근에 기여하는 데서 수행하는 역할을 명확히 한다.
• 계산 대수학을 통해, 극점 순서 스펙트럴 시퀀스의 미분이 E₁-항에 의해 유일하게 결정되지 않음을 보여준다.

제안 방법

• 차수 5이고 고립된 특이점을 가지며, 세 변수에서 정의된 두 동차 다항식 $f_1 = x^5 + y^4z + x^4y$ 및 $f_2 = x^5 + y^4z + x^3y^2$의 구성.
• 매클레이2를 사용하여 그들의 미르니어 대수의 힐버트 급수를 계산하고, 동일함을 확인.
• RISA/ASIR를 사용하여 원점에 정확히 지지된 베르너슈타인-사토 다항식의 근을 계산하여, $8/5 \in R^0_{f_2} \setminus R^0_{f_1}$임을 밝힘.
• 극점 순서 스펙트럴 시퀀스와 극점 순서 필터링 $P$를 사용하여 코homological 자료와 베르너슈타인-사토 다항식의 근을 연결.
• 원소가 근에 기여하는 방식을 정의하기 위해 $M_k \twoheadrightarrow \mathrm{Gr}^p_P H^{n-1}(f^{-1}(1), \mathbb{C})_\lambda$의 표준적인 전상사상을 적용.
• 미르니어 코homology로 향하는 표준 사상의 실패에 대한 이론적 분석을 통해, 토판 요소와 모노드로미 근의 간에 자연스러운 대응관계가 존재하지 않음을 보여줌.

실험 결과

연구 질문

• RQ1 원점에 정확히 지지된 베르너슈타인-사토 다항식의 근 집합은 미르니어 대수의 힐버트 급수에 의해 유일하게 결정될 수 있는가?
• RQ2 미르니어 대수의 0이 아닌 토판 요소는 항상 기대하는 방식으로 베르너슈타인-사토 다항식의 근에 기여하는가?
• RQ3 극점 순서 스펙트럴 시퀀스의 미분은 $E_1$-항에 의해 유일하게 결정되는가, 아니면 $E_1$-항이 동형이어도 변할 수 있는가?
• RQ4 특히 초평면 배열 설정 외의 상황에서, 힐버트 급수가 원점에 정확히 지지된 베르너슈타인-사토 근을 결정한다는 추측에 대한 반례가 존재하는가?

주요 결과

• 매클레이2 계산을 통해, $f_1$과 $f_2$의 미르니어 대수의 힐버트 급수가 동일함을 확인하였다.
• 힐버트 급수가 동일함에도 불구하고, 원점에 정확히 지지된 베르너슈타인-사토 다항식의 근 집합은 다르며, RISA/ASIR 계산 결과 $8/5 \in R^0_{f_2}$이지만 $8/5 \notin R^0_{f_1}$임을 확인하였다.
• 두 다항식 모두에 대해 미르니어 대수의 토판 부분은 $\dim M'_8 = 1$ 및 $\dim M'_9 = 0$를 만족하며, 이는 0이 아닌 토판 요소가 반드시 근에 기여하지는 않음을 보여준다.
• 표준 사상 $M_k' \to \mathrm{Gr}^p_P H^{n-1}(f^{-1}(1), \mathbb{C})_\lambda$는 단사적이 아니며, $M'$에서 미르니어 코homology로 향하는 표준 사상도 존재하지 않아, 기대되는 대응관계가 붕괴됨.
• 극점 순서 스펙트럴 시퀀스의 미분 $d_r$은 $E_1$-항에 의해 유일하게 결정되지 않으며, 동형인 $E_1$-항이라도 다른 $E_\infty$-항을 가질 수 있음을 보여주었다.