[논문 리뷰] Direct image of logarithmic complexes and infinitesimal invariants of cycles

Morihiko Saito|ArXiv.org|2005. 06. 01.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 5

한 줄 요약

이 논문은 정규 교차 분할을 가진 프로젝티브 사상에서 로그 딜랑 복합체의 직접 이미지에 대한 필터링된 분해 정리 수립을 통해, 변형 호지 구조에 관련된 필터링된 로그 복합체의 직합으로 분해됨을 보여준다. 주요 기여는 이러한 필터링된 복합체의 코homology를 통해 대수적 사이클의 총 무한소 불변량을 자연스럽게 정의한 것으로, 이는 사이클의 코homology 클래스와 동치이며 이전 히오지 이론에서의 불변량을 일반화한다.

ABSTRACT

We show that the direct image of the filtered logarithmic de Rham complex is a direct sum of filtered logarithmic complexes with coefficients in variations of Hodge structures, using a generalization of the decomposition theorem of Beilinson, Bernstein and Deligne to the case of filtered $D$-modules. The advantage of using the logarithmic complexes is that we have the strictness of the Hodge filtration by Deligne after taking the cohomology group in the projective case. As a corollary, we get the total infinitesimal invariant of a (higher) cycle in a direct sum of the cohomology of filtered logarithmic complexes with coefficients, and this is essentially equivalent to the cohomology class of the cycle.

연구 동기 및 목표

• 로그 딜랑 복합체의 맥락에서 필터링된 $D$-모듈의 분해 정리를 베일린슨, 버너스타인, 델리뉴의 결과로 일반화하는 것.
• 직접 이미지 $\mathbf{R}f_*(\Omega_X^\bullet(\log Y), F)$와 호지 구조의 변형에 계수를 가진 필터링된 로그 복합체의 직합 사이의 표준적 동형사상 수립.
• 필터링된 로그 복합체의 코homology를 이용하여 대수기하학에서 고차 사이클의 총 무한소 불변량 정의.
• 이러한 불변량이 사이클의 코homology 클래스와 동치임을 보이며, 이는 이전의 히오지 이론 및 사이클 이론 결과를 확장한다.

제안 방법

• 프로젝티브 사상 $f: X \to S$에서 정규 교차 분할을 가진 $Y = f^*D$를 가진 로그 딜랑 복합체 $\mathbf{R}f_*(\Omega_X^\bullet(\log Y), F)$의 직접 이미지를 분석하기 위해 필터링된 유도 범주 사용.
• 정규 홀로노믹 $D$-모듈 $M^i$에 대해 $\mathrm{DR}(M^i), F)[-i]$의 직합으로 분해하기 위해 필터링된 $D$-모듈에 대한 일반화된 분해 정리 적용.
• 직접 이미지 복합체에 대해 분할이 가능한 증가 필터링 $L$을 구성하고, 그 관련 차수 조각들이 $\mathrm{DR}(M^i), F)[-i]$와 동형임을 보장하며, 이는 호지 필터링과의 호환성을 확보한다.
• 국소 계열의 델리뉴의 확장 $\widetilde{V}^i$를 사용하여 $\mathrm{DR}_{\log}(\widetilde{V}^i)$를 정의하고, 이는 자연스러운 호지 필터링 $F^p$를 지닌다.
• 코homology 군 $\mathbf{H}^i(S, F^p\,\mathrm{DR}(M^{2p-n-i}))$와 $\mathbf{H}^i(S, \mathrm{Gr}_F^p\,\mathrm{DR}(M^{2p-n-i}))$를 통해 총 무한소 불변량 $\delta_{S,D}(\xi)$와 $\overline{\delta}_{S,D}(\xi)$ 정의.
• 프로젝티브 경우에 코homology 이후 호지 필터링의 엄격성에 기반해, 선택에 의존하지 않는 잘 정의된 불변량 확보 및 영인자 조건 하에서의 독립성 보장.

실험 결과

연구 질문

• RQ1 정규 교차 분할을 가진 프로젝티브 사상 맥락에서 필터링된 로그 딜랑 복합체의 직접 이미지를 어떻게 분해할 수 있는가?
• RQ2 필터링된 로그 복합체의 코homology와 대수적 사이클의 무한소 불변량 사이의 관계는 무엇인가?
• RQ3 변형 호지 구조에 계수를 가진 필터링된 로그 복합체를 사용하여 고차 사이클의 총 무한소 불변량을 자연스럽게 정의할 수 있는가?
• RQ4 분해 정리에서 분할 선택에 대해 총 무한소 불변량이 독립이 되는 조건은 무엇인가?
• RQ5 필터링된 로그 복합체 프레임워크에서 사이클의 코homology 클래스는 그의 무한소 불변량과 어떻게 관련이 있는가?

주요 결과

• 직접 이미지 $\mathbf{R}f_*(\Omega_X^\bullet(\log Y), F)$는 필터링된 유도 범주에서 $\mathrm{DR}(M^i), F)[-i]$의 직합으로 비표준 동형사상 존재하며, 표준적인 차수 조각들은 $\mathrm{DR}(M^i), F)[-i]$와 동형이다.
• 만약 $D$가 정규 교차 분할이라면, 분해는 $\mathrm{DR}(M^i)$를 $\mathrm{DR}_{\log}(\widetilde{V}^i)$로 대체하여, 결과가 델리뉴의 호지 구조 확장과 연결됨을 보여준다.
• 사이클 $\xi \in \mathrm{CH}^p(X\setminus Y, n)$의 총 무한소 불변량 $\delta_{S,D}(\xi)$는 $\bigoplus_{i \geq 0} \mathbf{H}^i(S, F^p\,\mathrm{DR}(M^{2p-n-i}))$에 속하며, 저차 불변량이 영일 경우 분할 선택에 영향을 받지 않는다.
• $\overline{\delta}_{S,D}(\xi)$는 차수 호지 필터링에서 정의되며, 마찬가지로 잘 정의되고 사이클의 코homology 클래스와 동치이다.
• 만약 $S$가 슈타인 또는 아핀이라면, 코homology 군 $\mathbf{H}^i(S, F^p\,\mathrm{DR}_{\log}(\widetilde{V}^q))$는 복합체 $\Gamma(S, \Omega_S^\bullet(\log D) \otimes F^{p-\bullet}\widetilde{V}^q)$로 계산된다.
• 특히 $s=1$일 때, 일반성 조건 하에서 $\delta_S^s(\xi_{a,\mathcal{X}}) \neq 0$가 $a=1,2$ 중 하나에 대해 성립함을 보이며, 기하적 일반 섹션에서 사이클 클래스의 비순환성(비 torsion)을 시사한다.