[논문 리뷰] Vanishing and injectivity theorems for Hodge modules

Lei Wu|arXiv (Cornell University)|2015. 05. 05.

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

한 줄 요약

이 논문은 임의의 복소 프로젝티브 다양체 위의 순수 히오지 모듈러의 히오지 필터링의 최저 등급 부분 $ S(M) $ 에 대한 Kawamata-Viehweg 정리의 성립을 입증한다. 두 가지 접근 방식을 사용한다: 인덕티브 증명(근접 순환을 통한)과 Esnault-Viehweg의 영향을 받은 Deligne의 표준 확장에 대한 전성 정리. 주요 기여는 이전 결과에서 추가 가정을 제거하여, $ L $ 이 네프이자 빅일 때 $ H^i(X, S(M) \otimes L) = 0 $ 이 $ i > 0 $ 일 때 성립함을 증명한 것이다. 이는 $ M $ 이 엄밀한 지지 $ X $ 를 가진 균일한 히오지 모듈러일 때 성립한다.

ABSTRACT

We prove a surjectivity theorem for the Deligne canonical extension of a polarizable variation of Hodge structure with quasi-unipotent monodromy at infinity along the lines of Esnault-Viehweg. We deduce from it several injectivity theorems and vanishing theorems for pure Hodge modules. We also give an inductive proof of Kawamata-Viehweg vanishing for the lowest graded piece of the Hodge filtration of a pure Hodge module using mixed Hodge modules of nearby cycles.

연구 동기 및 목표

• 팝아의 히오지 모듈러에 대한 Kawamata-Viehweg 유형 정리에서 추가 가정을 제거함으로써 이전 연구의 격차를 메운다.
• 특이 프로젝티브 다양체 위의 순수 히오지 모듈러의 히오지 필터링의 최저 등급 부분 $ S(M) $ 에 대한 일반적인 정리 증명.
• 두 가지 서로 다른 증명 제공: 근접 순환을 통한 혼합 히오지 모듈러를 이용한 인덕티브 증명과, Deligne 표준 확장에 대한 전성 정리에 기반한 증명.
• 편미분에 의한 $ \mathbb{Q} $-형식에 대한 효과적인 $ \varepsilon $-임계값을 구성함으로써, 포함성과 정리의 일반화.
• 네프이자 빅인 선다이어블러스와 효과적인 $ \mathbb{Q} $-형식의 편미분을 포함한 포함성 및 정리의 일반화.

제안 방법

• 근접 순환 함수자와 혼합 히오지 모듈러를 포함한 조정 공식에 기반한 인덕티브 전략을 사용하여 초평면 절단을 통해 차원을 감소시킨다.
• 특히 Riemann-Hilbert 대응과 히오지 모듈러의 de Rham 복합체를 포함한 $ \mathscr{D} $-모듈러 이론을 적용한다.
• Esnault-Viehweg의 방법을 따르며, 쿼드라-유니모닉 몰로디가 있는 균일한 히오지 구조의 변형의 Deligne 표준 확장에 대한 전성 정리를 증명한다.
• 특이점의 분해와 분해된 다발을 통해 정규 교차 설정으로 축소시켜 포함성 정리가 적용되도록 한다.
• 모노드로미의 고유값이 $[0,1)$ 에 속한다는 사실을 이용하여, $ N $ 을 $ D $ 로 편미분할 때 네프성과 정리의 유지가 보장되는 효과적인 $ \varepsilon $-임계값을 정의한다.
• Serre 정리와 코homological 유도를 적용하여, $ L $ 이 네프이자 빅일 때 $ H^i(X, S(M) \otimes L) = 0 $ 이 $ i > 0 $ 일 때 성립함을 유도한다.

실험 결과

연구 질문

• RQ1 순수 히오지 모듈러의 최저 등급 부분 $ S(M) $ 에 대한 Kawamata-Viehweg 정리가 추가 가정 없이 네프이자 빅인 선다이어블러스로 확장될 수 있는가?
• RQ2 작은 유리수 계수를 가진 $ \mathbb{Q} $-형식으로 포함성 및 정리가 어떻게 일반화될 수 있는가?
• RQ3 매핑의 전성 $ H^i(X, \text{Gr}^\text{first}_F \text{DR}_{(X,D)}(\tilde{\mathcal{V}}) \otimes L^{-1}(-E)) \to H^i(X, \text{Gr}^\text{first}_F \text{DR}_{(X,D)}(\tilde{\mathcal{V}}) \otimes L^{-1}) $ 이 히오지 모듈러 설정에서 $ S(M) \otimes L \to S(M) \otimes L(E) $ 의 포함성 정리를 유도하는가?
• RQ4 근접 순환을 통한 인덕티브 증명이 특이 다양체 위의 순수 히오지 모듈러에 대한 전체 Kawamata-Viehweg 정리 유도에 사용될 수 있는가?
• RQ5 효과적인 $ \varepsilon > 0 $ 가 존재하여, 네프이자 빅인 $ \mathbb{Q} $-형식 $ N $ 을 $ \varepsilon_1 D $ 로 편미분할 때 $ H^i(X, S(M) \otimes L) = 0 $ 이 $ i > 0 $ 일 때 유지되는가?

주요 결과

• 순수 히오지 모듈러 $ M $ 의 최저 등급 부분 $ S(M) $ 에 대해 Kawamata-Viehweg 정리가 성립한다. $ L $ 이 네프이자 빅일 때 $ H^i(X, S(M) \otimes L) = 0 $ 이 모든 $ i > 0 $ 에 대해 성립한다. 이는 $ M $ 이 엄밀한 지지 $ X $ 를 가질 때 성립한다.
• 만약 $ L $ 이 네프 뿐이면, $ H^i(X, S(M) \otimes L) = 0 $ 이 $ i > n - \kappa(L) $ 일 때 성립한다. 여기서 $ \kappa(L) $ 는 $ L $ 의 Iitaka 차원이다.
• 만약 $ L $ 이 네프이자 빅이거나 반-약한 암시적 선다이어블러스이고, 어떤 $ m > 0 $ 에 대해 $ H^0(X, L^m(-E)) \neq 0 $ 이면, 포함성 정리 $ H^i(X, S(M) \otimes L) \to H^i(X, S(M) \otimes L(E)) $ 가 성립한다.
• $ \mathbb{Q} $-형식의 경우, 효과적인 $ \varepsilon > 0 $ 가 존재하여, $ L \sim_\mathbb{Q} N + \varepsilon_1 D $ 이고 $ 0 < \varepsilon_1 < \varepsilon $ 이면, $ H^i(X, S(M) \otimes L) = 0 $ 이 $ i > 0 $ 일 때 성립한다. 이는 원래의 Kawamata-Viehweg 정리를 일반화한다.
• 만약 $ X $ 가 매끄럽고 $ M = \mathbb{Q}_X^H $ 이면, 결과는 고전적 Kawamata-Viehweg 정리로 축소되며, $ \varepsilon = 1 $ 일 때 원래의 진술을 $ \omega_X $ 와 $ \mathbb{Q} $-형식에 대해 복원한다.
• 근접 순환과 근접 순환의 혼합 히오지 모듈러를 이용한 인덕티브 증명은 Esnault-Viehweg 방법과 독립적인 기하학적 접근을 제공하며, 정리의 증명에 새로운 기여를 한다.