[논문 리뷰] Computing the monodromy and pole order filtration on Milnor fiber cohomology of plane curves

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|2016. 09. 22.

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

한 줄 요약

이 논문은 근본적으로 단순한 평면 대수적 곡선의 밀놀러 면체 코homology에서의 단일화 작용과 극점 순서 필터링을 계산하기 위한 알고리즘을 제시한다. 이는 코즐 복합체에서 유도된 스펙트럴 시퀀스와 사이다의 기울어짐 결과를 활용하여 이루어지며, 효율적으로 고유값과 코homology의 호그 필터링 조각을 결정한다. 이는 베르너스타인-사토 다항식의 근과 앨리오크산 다항식과의 연관성에 응용되며, 특히 모든 시험 예제에서 검증된 추측에 기반한다.

ABSTRACT

We describe an algorithm computing the monodromy and the pole order filtration on the Milnor fiber cohomology of any reduced projective plane curve $C$. The relation to the zero set of Bernstein-Sato polynomial of the defining homogeneous polynomial for $C$ is also discussed. When $C$ has some non weighted homogeneous singularities, then we have to assume that a conjecture holds in order to get some of our results. In all the examples computed so far this conjecture holds.

연구 동기 및 목표

• 모든 단순한 평면 곡선의 밀놀러 면체 코homology에서 단일화 작용과 극점 순서 필터링을 계산하기 위한 일반 알고리즘을 개발하는 것.
• 이전에 자유 또는 거의 자유 곡선에 국한되어 있던 기존 방법을 일반적인 단순한 평면 곡선의 경우로 확장하는 것.
• 스펙트럴 시퀀스 계산을 통해 극점 순서 필터링을 베르너스타인-사토 다항식의 근과 연결하는 것.
• Singular을 사용한 계산 프레임워크를 제공하여 코homology의 호그 조각과 스펙트럴 시퀀스 항목을 결정하는 것.

제안 방법

• 이 방법은 정의 다항식 $f$의 편도함수들과 관련된 코즐 복합체 $K^*_f$를 사용하여 그 코homology를 계산함으로써 스펙트럴 시퀀스의 $E_1$-페이지를 구성한다.
• 스펙트럴 시퀀스 $E_*(f)$는 가우스-민 복합체로부터 구성되며, 극점 순서 필터링 $P$에 대한 밀놀러 면체 코homology의 호그 조각으로 수렴한다.
• 알고리즘은 이 스펙트럴 시퀀스의 $E_2$ 및 $E_3$ 항을 계산하여, 단일화 고유값과 필터링 자료를 암시한다.
• 단일화 특이점만을 가진 곡선의 경우, 사이다의 정리에 따라 $E_2$에서 기울어짐이 보장되어 계산이 단순화된다.
• 일반적인 곡선의 경우, $E_3 = E_\infty$임을 주장하기 위해 추측 2.6에 의존하며, 이는 전체 $P$-필터링 자료를 포괄한다.
• 계산은 컴퓨터 대수계산 시스템 Singular에 구현되었으며, 코드는 공개되어 있다.

실험 결과

연구 질문

• RQ1 자유 또는 거의 자유 곡선이 아닌 일반적인 경우에 대해, 단순한 평면 곡선의 밀놀러 면체 코homology에서의 단일화 작용을 어떻게 계산할 수 있는가?
• RQ2 임의의 단순한 평면 곡선에 대해 $H^1(F,\mathbb{C})$ 및 $H^2(F,\mathbb{C})$에서 극점 순서 필터링 $P$의 정확한 구조는 무엇인가?
• RQ3 극점 순서 필터링은 베르너스타인-사토 다항식 $b_f(s)$의 근과 어떻게 관련이 있는가?
• RQ4 언제 스펙트럴 시퀀스 $E_*(f)$가 조기에 기울어지고, 언제 $E_3$를 사용해 $E_\infty$를 복원할 수 있는가?
• RQ5 이론적 예측을 확인하기 위해, 동일한 토폴로지적 성질을 가진데도 불구하고 대수적으로 다른 곡선들 사이의 스펙트럼 $Sp^p(f)$와 $R_f$, 즉 $b_f(-s)$의 근의 집합의 차이를 알고리즘이 신뢰성 있게 계산할 수 있는가?

주요 결과

• 알고리즘은 $m=1,2$ 및 모든 단위근 $λ$에 대해 고유공간 $H^m(F,\mathbb{C})_\lambda$의 차원을 계산하여 전체 단일화 작용을 제공한다.
• $H^1(F,\mathbb{C})$의 경우 극점 순서 필터링 $P$는 호그 필터링 $F$와 일치하며, 알고리즘은 $\dim Gr^p_P H^1(F,\mathbb{C})_\lambda$를 계산한다.
• $H^2(F,\mathbb{C})$의 경우, 추측 2.6를 가정할 경우, 비가중치 호모제너스 특이점이 있는 경우에도 모든 $p$와 $λ$에 대해 $\dim Gr^p_P H^2(F,\mathbb{C})_\lambda$를 계산한다.
• 모든 시험 예제에서 추측 2.6가 성립하며, 알고리즘은 스펙트럼 $Sp^p(f)$, 특히 $Sp^0(f)$와 $Sp^1(f)$를 정확히 계산한다. 이는 $d=10$, $d=6$, $d=12$의 곡선에서 입증되었다.
• 이 방법은 동일한 밀놀러 수를 가졌지만 베르너스타인-사토 다항식의 근이 다른 곡선들, 예를 들어 $\frac{8}{5} \in R_{f_2} \setminus R_{f_1}$인 $f_1$과 $f_2$ 사이를 성공적으로 구분하며, 이론적 예측을 확인한다.
• 알고리즘은 자유 또는 거의 자유 곡선의 경우 $P^1 H^2(F,\mathbb{C}) = H^2(F,\mathbb{C})$임을 확인하고, $\mu(C) \neq \tau(C)$인 예시들, 예를 들어 $d=12$이고 $q_0(f)=26$인 곡선에서 이를 검증한다.