[논문 리뷰] E_1-degeneration of the irregular Hodge filtration (with an appendix by Morihiko Saito)

Hélène Esnault, Claude Sabbah외 1명|arXiv (Cornell University)|2013. 02. 19.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 18

한 줄 요약

이 논문은 매끄럽고 준사영적인 다양체 위의 정칙 함수 $f$ 에 대해 왜곡된 de Rham 복합체 $\mathrm{d}+\mathrm{d}f$ 의 비정상적인 허지 필터링과 관련된 스펙트럴 시퀀스의 $E_1$-분해를 증명한다. 이는 델리뉴의 구성 방식을 고차원으로 확장한 것으로, 정규 교차 분할자에 대해 성립하며, 사이토의 부록을 통해 비어 있지 않은 정규 교차 분할자 경우까지 확장된다. $\mathscr{D}$-모듈 및 양의 특성으로의 환원 방법을 사용하여, 저자들은 정규 교차 분할자에서의 분해를 증명한다.

ABSTRACT

For a regular function f on a smooth complex quasi-projective variety, J.-D. Yu introduced in arXiv:1203.2338 a filtration (the irregular Hodge filtration) on the de Rham complex with twisted differential d+df, extending a definition of Deligne in the case of curves. In this article, we show the degeneration at E_1 of the spectral sequence attached to the irregular Hodge filtration, by using the method of arXiv:0804.4328. We also make explicit the relation with a complex introduced by M. Kontsevich and give details on its proof of the corresponding E_1 degeneration, by reduction to characteristic p, when the pole divisor of the function is reduced with normal crossings. In Appendix E, M. Saito gives a different proof of the latter statement with a possibly non reduced normal crossing pole divisor.

연구 동기 및 목표

• 왜곡된 de Rham 복합체 $\mathrm{d}+\mathrm{d}f$ 의 비정상적인 허지 필터링과 관련된 스펙트럴 시퀀스의 $E_1$-분해를 증명한다. 이는 매끄럽고 준사영적인 다양체 위의 정칙 함수 $f$ 에 대해 성립한다.
• 곡선에서 델리뉴의 허지 필터링 구성 방식을 정규 교차 분할자를 가진 고차원 다양체로 일반화한다.
• 다른 특성으로의 환원을 통한 콘체비치의 스케치를 기반으로, 극점 분할자가 단순한 정규 교차 분할자일 경우 $E_1$-분해가 완전히 정당화될 수 있음을 보여준다.
• 사이토의 부록에서, 다른 방법을 사용하여 비어 있지 않은 정규 교차 분할자일 경우의 $E_1$-분해 결과를 확장한다.

제안 방법

• 저자들은 $\mathscr{D}$-모듈 및 필터링된 $\mathscr{D}$-모듈을 사용하여, 왜곡된 de Rham 복합체 $\mathrm{d}+\mathrm{d}f$ 의 비정상적인 허지 필터링을 정의하고 분석한다.
• 그들은 엄격한 특수화 이론과 부분 라플라스 지수 변형을 적용하여, 필터링을 로그 형태를 가진 de Rham 복합체와 연결한다.
• 분해 증명은 콘체비치의 스케치를 따르며, 양의 특성으로의 환원을 사용한다. 이는 특성 $p$ 에서의 카르티에 동형과 올림프 기법을 포함한다.
• 저자들은 필터링된 왜곡된 de Rham 복합체와 필터링된 콘체비치 복합체를 비교하여, 둘 사이의 준동치를 '바보 같은 필터링' 하에서 보여준다.
• 부록에서 사이토는 혼합 허지 모듈 이론과 카테고리 $\mathrm{MHW}(X)$ 를 사용하여, 비어 있지 않은 정규 교차 분할자일 경우의 $E_1$-분해를 증명한다.
• 이 증명은 특정 사상 $\psi^\mathscr{D}_{g,1}(\mathscr{O}_X,F) \to \mathrm{DR}^{-1}(\Omega_{X/S}^{\bullet}\langle D\rangle_P,F)[n-1]$ 이 필터링된 동형사상임을 보여주며, 단순성과 혼합 허지 모듈의 카테고리에서의 성질에 기반한다.

실험 결과

연구 질문

• RQ1 왜곡된 de Rham 복합체 $\mathrm{d}+\mathrm{d}f$ 의 비정상적인 허지 필터링은 고차원에서 스펙트럴 시퀀스를 $E_1$ 에서 분해하는가?
• RQ2 콘체비치의 스케치가 극점 분할자가 단순한 정규 교차 분할자일 경우에 대해 양의 특성으로의 환원을 통해 완전히 정당화될 수 있는가?
• RQ3 비어 있지 않은 정규 교차 분할자일 경우 $E_1$-분해 결과는 안정적인가? 만약 그렇다면, $\mathscr{D}$-모듈 이론을 통해 어떻게 증명할 수 있는가?
• RQ4 유의 필터링은 곡선의 경우 델리뉴의 원래 필터링과 어떻게 관련이 있는가?
• RQ5 필터링된 콘체비치 복합체와 필터링된 왜곡된 de Rham 복합체 사이의 정확한 관계는 $E_1$-분해의 맥락에서 무엇인가?

주요 결과

• 왜곡된 de Rham 복합체 $\mathrm{d}+\mathrm{d}f$ 의 비정상적인 허지 필터링과 관련된 스펙트럴 시퀀스는 매끄럽고 준사영적인 다양체 위의 정칙 함수 $f$ 에 대해, 무한대에서 정규 교차 분할자가 존재할 경우 $E_1$ 에서 분해된다.
• 분해 결과는 극점 분할자 $P = f^{-1}(\infty)$ 가 정규 교차 분할자로 단순할 경우, 콘체비치의 스케치를 따르며 양의 특성으로의 환원을 통해 증명된다.
• 부록에서 사이토는 혼합 허지 모듈 이론과 카테고리 $\mathrm{MHW}(X)$ 를 사용하여, 비어 있지 않은 정규 교차 분할자일 경우의 $E_1$-분해를 증명한다. 이는 사상 $\psi^\mathscr{D}_{g,1}(\mathscr{O}_X,F) \to \mathrm{DR}^{-1}(\Omega_{X/S}^{\bullet}\langle D\rangle_P,F)[n-1]$ 이 필터링된 동형사상임을 보여준다.
• 이 증명은 필터링된 $\mathscr{D}$-모듈의 구조가 단순성과 일치하며, 소스와 타겟이 동일한 $\mathbb{Q}$-구조 $\psi_{g,1}\mathbb{Q}_X[n-1]$ 을 지닌다는 사실에 기반한다. 이는 [Sai88, Prop. 5.1.14] 의 적용을 가능하게 한다.
• 저자들은 곡선의 경우 유의 필터링이 델리뉴의 필터링과 일치함을 보여주며, 델리뉴의 구성 방식을 고차원으로 일반화한다.
• 부록 E.2.5의 예시는 $\mathrm{Ext}^1$ 에서의 확장 클래스가 비자명하다는 것을 보여주며, 이는 부록 E의 주요 정리들이 이 확장군만으로는 증명될 수 없다는 것을 시사한다.