[논문 리뷰] D-modules generated by rational powers of holomorphic functions

Morihiko Saito|arXiv (Cornell University)|2015. 07. 07.

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

한 줄 요약

이 논문은 해석적 함수의 유리수 거듭제곱으로 생성된 D-모듈의 구조를 조사하며, 베른슈타인-사토 다항식의 근이 이러한 D-모듈 간의 비자명한 차이에 해당하는지 여부에 초점을 맞춘다. V-필터링과 가우스-민 연결을 이용하여, 베른슈타인-사토 다항식의 근이 항상 이러한 차이에 기여하지는 않음을 증명하고, 비단순 모노드로미를 가진 반례를 구성한다. 이는 브리스코른 격자 위에서 가우스-민 연결의 잔여부분 지수의 지수함수와 밀너 모노드로미 간의 관계에 관한 오랜 미해결 문제를 해결한다.

ABSTRACT

We prove some sufficient conditions in order that a root of the Bernstein-Sato polynomial contributes to a difference between certain D-modules generated by rational powers of a holomorphic function; for instance, this holds in the case of isolated singularities with semisimple Milnor monodromies. We then construct an example where a root does not contribute to a difference. This also solves an old open problem about the relation between the Milnor monodromy and the exponential of the residue of the Gauss-Manin connection on the saturation of the Brieskorn lattice. This shows that the structure of Brieskorn lattices can be more complicated than one might imagine.

연구 동기 및 목표

• 해석적 함수의 유리수 거듭제곱으로 생성된 D-모듈 간의 비자명한 차이에 대응하는 베른슈타인-사토 다항식의 근을 결정하는 것.
• 밀너 모노드로미와 포화된 브리스코른 격자의 가우스-민 연결의 잔여부분 지수의 지수함수 간의 관계를 명확히 하는 것.
• 베른슈타인-사토 다항식의 근이 이러한 차이에 기여하지 않는 반례를 구성하여, 브리스코른 격자의 구조적 단순성에 대한 가정을 도전하는 것.
• D-모듈과 관련된 잔여부분에 대한 V-필터링, G-필터링, 그리고 노르말 연산자 N의 작용 간의 상호작용을 분석하는 것.

제안 방법

• 카시와라와 말그랑주의 V-필터링을 이용하여 D-모듈 $M_f = (i_f)_*^{ ext{D}}\text{O}_X$를 잔여부분 $\mathrm{Gr}_V^\alpha M_f$로 분해한다.
• 모듈 $M_f^\beta = \mathrm{Gr}_V^\beta M_f$에 G-필터링을 적용하여 $\mathcal{D}_X f^{-\alpha} / \mathcal{D}_X f^{-\alpha+1}$의 구조를 $M_f^\beta / N M_f^\beta$의 잔여부분과 연결한다.
• 근 $\beta = 1$의 경우를 다루기 위해 수정된 D-모듈 $\widetilde{M}_f^\beta$를 도입하며, 이는 가까운 순환에서 사라지는 순환으로의 전이에 해당한다.
• 가우스-민 연결과 $M_f^\beta$ 위에서의 연산자 $N = -\partial_t t + \beta$ 작용을 이용하여 모노드로미의 재형태를 분석한다.
• 특정 가중치가 있는 함수 $f_u = x^{2a} + y^{2a} - x^{2b}y^{2b} + z^c - u x^{a+b-1}y^{b-1}z$를 사용하여 반례를 구성한다. 여기서 $a,b,c$는 상호소수이며 $a > 2b > c$ 및 $\frac{1}{2a} > \frac{2}{c} - \frac{1}{b}$를 만족한다.
• 자기의 수치 계산과 야코비안 환에서의 타일러 전개를 이용하여 $\mathrm{Gr}_V^{\beta_0} \widetilde{H}^{\prime\prime}_{f_u} \subset N \mathcal{G}^{\beta_0}$임을 보이며, $\dim \mathcal{G}^{\beta_0} = 2$, $N^2 = 0$, $\dim \mathrm{Gr}_V^{\beta_0} \widetilde{H}^{\prime\prime}_{f_u} = 1$임을 확인한다.

실험 결과

연구 질문

• RQ1 베른슈타인-사토 다항식 $b_f(s)$의 근 $-\alpha$가 항상 $\mathcal{D}_X f^{-\alpha} \neq \mathcal{D}_X f^{-\alpha+1}$를 암시하는가?
• RQ2 사라지는 코homology 위에서의 모노드로미 작용은 포화된 브리스코른 격자의 잔여부분 지수의 지수함수 $e^{-2\pi i \partial_t t}$ 작용과 동형인가?
• RQ3 모노드로미가 단순하지 않은 경우, 브리스코른 격자의 구조가 이전에 상상한 것보다 더 복잡할 수 있는가?
• RQ4 D-모듈 $\widetilde{M}_f^\beta$ 위에서 노르말 연산자 $N$이 G-필터링을 엄격히 유지하는 조건은 무엇인가?

주요 결과

• 특정 조건을 만족하는 $a,b,c$ 하에서 $f_u = x^{2a} + y^{2a} - x^{2b}y^{2b} + z^c - u x^{a+b-1}y^{b-1}z$를 사용한 반례로, 베른슈타인-사토 다항식의 근 $-\alpha$가 항상 $\mathcal{D}_X f^{-\alpha} \neq \mathcal{D}_X f^{-\alpha+1}$를 암시하지는 않음을 보였다.
• 반례에서 $\dim \mathcal{G}^{\beta_0} = 2$, $N^2 = 0$, $\dim \mathrm{Gr}_V^{\beta_0} \widetilde{H}^{\prime\prime}_{f_u} = 1$이므로 $\mathrm{Gr}_V^{\beta_0} \widetilde{H}^{\prime\prime}_{f_u} = N \mathcal{G}^{\beta_0} \subsetneq \mathcal{G}^{\beta_0}$이며, 이는 $\mathrm{Gr}_G^0 M_{f_u}^\beta \neq 0$이지만 $\mathrm{Gr}_G^0 (M_{f_u}^\beta / N M_{f_u}^\beta) = 0$임을 의미한다.
• 반례에서 밀너 모노드로미 $T$와 브리스코른 격자의 잔여부분에 대한 $e^{-2\pi i \partial_t t}$ 작용의 재형태가 동일하지 않음을 확인하여, [Sa1]에서 제기된 오랜 미해결 문제를 해결하였다.
• 논문은 $(\beta,j) \neq (1,0)$일 때 $\mathrm{Gr}_G^j (M_f^\beta / N M_f^\beta) \cong \mathrm{Gr}_G^j (\widetilde{M}_f^\beta / N \widetilde{M}_f^\beta)$임을 증명하였지만, $(1,0)$에서는 $M_Z$와 $M_Z'$를 포함한 비자명한 핵이 존재하여 실패함을 보였다.
• 결과적으로, 모노드로미가 단순하지 않은 경우 브리스코른 격자의 구조가 이전에 생각한 것보다 더 복잡할 수 있음을 보였다.