[논문 리뷰] Hodge modules on complex tori and generic vanishing for compact Kähler manifolds

Giuseppe Pareschi, Mihnea Popa외 1명|arXiv (Cornell University)|2015. 05. 04.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 8

한 줄 요약

이 논문은 콤��� 복소 토리 위의 극성화된 실 히지 모듈을 사용하여 일반성 붕괴 이론을 일반화하며, 토리로의 유클리드 사상에 의한 캐논리컬 번들의 고차 직접영상이 M-정규성의층과 토파이션 선다발의 텐서곱의 합으로 분해됨을 증명한다. 이는 콤팩트 카플러 다양체가 토리와 비메르모르피즘으로 동치임을 특징짓는 데로 이어지고, 코homology에서 레일러 필터링과 컵곱 필터링의 일치를 확립하여 고전 히지 이론의 핵심적인 숙제를 해결한다.

ABSTRACT

We extend the results of generic vanishing theory to polarizable real Hodge modules on compact complex tori, and from there to arbitrary compact Kähler manifolds. As applications, we obtain a bimeromorphic characterization of compact complex tori among compact Kähler manifolds, semi-positivity results, and a description of the Leray filtration for maps to tori.

연구 동기 및 목표

• 히지 모듈 이론을 사용하여 고전적 히지 이론을 프로젝티브 다양체에서 임의의 콤팩트 카플러 다양체로 일반화함.
• 복소 토리로의 사상에 의한 캐논리컬 번들의 고차 직접영상에 대한 분해 정리 수립.
• 코homological 불변량을 통한 콤팩트 카플러 다양체가 복소 토리와 비메르모르피즘으로 동치임을 특징짓기.
• 레일러 필터링을 컵곱 작용에 의해 기술함으로써 고전 히지 이론의 격차를 해결하기

제안 방법

• 콤팩트 복소 토리 위의 극성화된 실 히지 모듈을 고전 히지 이론의 일반화로 사용.
• 사이다의 히지 모듈 이론과 푸리에-무카이 변환을 적용하여 캐논리컬 번들의 코homological 성질 분석.
• GV-층과 M-정규성 조건을 활용하여 고차 직접영상의 지지와 양성도 분석.
• 외접 대수 위의 0-정규성 모듈의 성질을 통해 레일러 필터링과 컵곱 필터링의 일치를 증명.
• 히지 콜레그레이션과 세르 듀얼리티를 사용하여 필터링 기술을 해석형 형식으로 쌍대화.
• LPS의 0-정규성 결과를 켈러 설정으로 적응하여, 새로운 프레임워크 하에서 필터링이 일치함을 보장.

실험 결과

연구 질문

• RQ1 캐논리컬 번들의 일반성 붕괴 정리가 프로젝티브 다양체에서 임의의 콤팩트 카플러 다양체로 확장될 수 있는가?
• RQ2 콤팩트 카플러 다양체에서 복소 토리로의 사상에 대해 $ R^j f_* ω_X $ 의 정확한 구조는 무엇인가?
• RQ3 어떤 코homological 조건에서 콤팩트 카플러 다양체가 복소 토리와 비메르모르피즘으로 동치인가?
• RQ4 카플러 설정에서 $ H^k(X, ω_X) $ 의 레일러 필터링과 컵곱 필터링은 어떻게 관련되어 있는가?
• RQ5 레일러 필터링은 해석형 1-형식과의 외적곱에 의해 명시적으로 기술될 수 있는가?

주요 결과

• $ R^j f_* ω_X $ 는 타겟 토리의 몫에 대한 M-정규성의층의 옮김과 $ ×^0(T) $ 내의 토파이션 선다발의 텐서곱의 유한한 직합으로 분해된다.
• $ R^j f_* ω_X $ 는 GV-층이므로 비음성이며, 부분다발 조건이 성립할 경우 준양성이다.
• 콤팩트 카플러 다양체 $ X $ 는 $ \dim H^1(X,\mathbb{C}) = 2\dim X $ 이고 $ P_1(X) = P_2(X) = 1 $ 일 때이고, 뿐만 아니라 복소 토리와 비메르모르피즘으로 동치이다.
• $ H^k(X, ω_X) $ 에서의 레일러 필터링은 $ H^1(T, \mathcal{O}_T) $ 의 컵곱 작용에 의해 유도되는 필터링과 일치하며, 오랫동안 남아있던 숙제를 해결한다.
• $ H^0(X, \Omega_X^j) $ 에서의 쌍대 필터링은 $ \bigwedge^{n+1-i-j} H^0(X, \Omega_X^1) $ 과의 외적곱의 영성에 의해 특징지어지며, 명시적인 기하학적 기술을 제공한다.
• 증명은 고전 히지 이론만으로는 레일러 필터링의 일치를 확립할 수 없기 때문에 히지 모듈 이론에 의존한다.