[논문 리뷰] Semipositivity theorem for reducible algebraic fiber spaces

Yūjirō Kawamata|ArXiv.org|2009. 11. 09.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 6

한 줄 요약

이 논문은 단순 정규교차 분할의 보다 간단한 조건에서, 균일한 단조성과 매끄럽기 전의 조건에서, 개방 기저 위에서 혼합 호지 구조의 변형을 구성함으로써, 가역성 있는 대수적 섬유 공간으로의 반세미양성 정리의 일반화를 수행한다. 이는 고차 직접 이미지층 $ R^q f_* ω_{X/Y}(B) $ 가 국소적으로 자유롭고 수치적으로 반세미양성임을 증명한다. 결과는 이전의 기하학적 기하학적 기법과 캐논컬 확장 기법을 사용한 기존의 비가역성 섬유 공간에 대한 연구를 일반화한다.

ABSTRACT

We shall prove an extension of the semipositivity theorem for the case of reducible algebraic fiber spaces.

연구 동기 및 목표

• 이전의 캐논컬 번들에 대한 반세미양성 정리의 결과를 특이한 총공간을 가진 가역성 있는 대수적 섬유 공간으로 일반화한다.
• 모르피즘의 매끄러운 부분에서 호환되는 혼합 호지 구조의 변형이 존재함을 확립한다.
• 균일한 단조성과 층별로 전사 조건이 만족될 경우, 고차 직접 이미지층 $ R^q f_* ω_{X/Y}(B) $ 가 수치적으로 반세미양성임을 증명한다.
• 유리수 호지 구조 대신 실수 호지 구조를 사용하여 결과를 켈러 공간으로 일반화한다.

제안 방법

• 총공간 $ X $, 단순 정규교차 다양체이자 감소된 카르티에 분할 $ B $ 를 가진, 단순 정규교차 쌍을 형성하는 코homological 혼합 호지 복합체를 구성한다.
• X의 닫힌 층과 쌍 $ (X,B) $ 를 정의하며, $ B $ 가 층을 피하고 그것이 그 위에서 단순 정규교차 분할을 유도하도록 보장한다.
• 로그 de Rham 복합체의 무게 스펙트럴 시퀀스를 사용하여 개방 섬유의 코homology와 층의 쌍대화층의 직접 이미지 사이의 관계를 설정한다.
• Hodge 번들이 이 지역에서 반세미양성임을 이용하여, 개방 기저 $ Y \backslash C $ 에서의 호지 구조의 변형에 대한 캐논컬 확장을 구성한다.
• 무게 스펙트럴 시퀀스의 $ E_2 $-항이 분해되고, Hodge 필터링 호환성에 의해 $ E_2 $-항의 캐논컬 확장이 직접 이미지층과 일치함을 증명한다.
• 참고 문헌 [8]의 반세미양성 결과를 최고 Hodge 필터링 부분에 적용하고, 이로 인해 $ R^q f_* ω_{X/Y}(B) $ 가 캐논컬 확장의 부분들의 확장으로서 수치적으로 반세미양성임을 유도한다.

실험 결과

연구 질문

• RQ1 총공간이 단순 정규교차 다양체인 가역성 있는 대수적 섬유 공간으로 반세미양성 정리가 일반화될 수 있는가?
• RQ2 혼합 호지 구조의 개방 섬유에서 최고 Hodge 필터링 부분의 캐논컬 확장이 직접 이미지층 $ R^q f_* ω_{X/Y}(B) $ 와 일치하는가?
• RQ3 단조성과 섬유 구조에 대한 어떤 조건에서 고차 직접 이미지층 $ R^q f_* ω_{X/Y}(B) $ 가 여전히 수치적으로 반세미양성인가?
• RQ4 유리수 호지 구조를 실수 호지 구조로 대체함으로써 결과를 켈러 공간으로 일반화할 수 있는가?

주요 결과

• 무게 스펙트럴 시퀀스의 분해와 캐논컬 확장의 호환성에 의해, $ R^q f_* ω_{X/Y}(B) $ 가 기저 $ Y $ 에서 국소적으로 자유롭다는 것이 입증된다.
• 최고 Hodge 필터링 부분의 캐논컬 확장의 반세미양성에 기반하여, $ R^q f_* ω_{X/Y}(B) $ 가 수치적으로 반세미양성임을 유도할 수 있다.
• $ E_2 $-항이 $ E_2 $ 에서 분해되고, $ m \geq 2 $ 인 경우 경계 호모모르피즘이 0이 되어 스펙트럴 시퀀스가 정확한 코homology 층으로 수렴함을 보장한다.
• 스펙트럴 시퀀스의 $ E_2 $-항의 캐논컬 확장은 직접 이미지층과 일치하며, 그 Hodge 필터링 부분은 층 위의 쌍대화층의 고차 직접 이미지와 일치한다.
• 이 증명은 균일한 단조성 가정에 기반하며, 이는 캐논컬 확장을 사용하고 경계 분할 $ C $ 를 넘어선 호지 구조의 적절한 연장이 가능하게 한다.
• 유리수 호지 구조 대신 실수 호지 구조를 사용함으로써 결과는 켈러 공간으로 일반화되며, 반세미양성 결론이 유지된다.