[논문 리뷰] Fibration of log-general type space over quasi-abelian varieties

Chuanhao Wei|arXiv (Cornell University)|2016. 09. 10.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 3

한 줄 요약

이 논문은 허그 번들의 기법과 소멸 정리들을 사용하여, 로그-일반 유형 다양체가 준아벨 다양체 위로 부드럽게 피브레이션될 수 없다는 것을 증명한다. 또한 코즐 복합체와 호지 모듈러 이론을 활용하여, 로그-일반 유형 쌍에서 전역 로그-일차형식이 존재하지 않는다는 추측의 두 가지 약한 형태를 확립한다.

ABSTRACT

We show that there exists no smooth fibration of a smooth complex quasi-projective variety of log-general type over a quasi-abelian variety. The proof uses M. Popa and C. Schnell's construction of Higgs bundle.

연구 동기 및 목표

• 로그-일반 유형 다양체가 준아벨 다양체 위로 부드럽게 피브레이션될 수 없는지 조사한다.
• 로그-일반 유형 쌍이 비영인 전역 로그-일차형식을 가질 수 없다는 추측의 약한 형태를 증명한다.
• 일반 유형 다양체에서 헬름홀로닉 일차형식에 대한 Popa와 Schnell의 소멸 결과를 로그 설정으로 확장한다.
• 호지 모듈러 이론과 허그 번들 구성법을 사용하여 로그-일차형식의 영점 집합을 분석한다.
• 전혀 영이 아닌 로그-일차형식이 존재한다고 가정할 경우, 세르 dualit과 소멸 정리를 통해 모순을 유도한다.

제안 방법

• 전역 로그-일차형식 θ를 사용하여 코즐 복합체를 구성하고, O_X(L - D)에 의해 휘어진 계층 E^i의 열을 이룬다.
• Akizuki-Kodaira-Nakano 소멸 정리를 적용하여, H^{n-i+1}(Ω^i_X(log D)(L - D))의 일부 코homology 군이 영이 됨을 보인다.
• 장기 정확열에서 연결 사상의 상사상성(onto)을 이용하여 H^n(E^1(L - D)) = 0을 유도한다.
• E^1(L - D)를 ω_X(−E)로 식별하고, 세르 dualit을 적용하여 H^0(O_X(E)) = 0을 유추한다. 이는 E가 효과적임을 모순시킨다.
• 기저 변경과 정규화를 사용하여 피브레이션을 부드럽게 컴actification으로 올리고, 유도된 사상 f': X' → P^{r,d}에 [10, Theorem 9.4]를 적용한다.
• 선다이브 G의 크기와 H^0(B^k)의 비영성으로부터, ω_{P^{r,d}}(D_f)의 강력성에 의해 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 로그-일반 유형 다양체가 준아벨 다양체 위로 부드럽게 피브레이션될 수 있는가?
• RQ2 로그-일반 유형 쌍에서 전역 로그-일차형식이 식별적으로 영이 될 수 있는가?
• RQ3 로그-일반 유형 쌍에서 전역 로그-일차형식의 영점 집합은 반드시 비어 있지 않은가?
• RQ4 로그-일반 유형 쌍에서 로그-일차형식이 영이 아니면, 호지이론적 소멸 정리에 의해 모순이 발생하는가?
• RQ5 기저 변경과 호지 모듈러 기법을 통해, 전역 로그-일차형식의 존재 불가 추측을 모순으로 귀결시킬 수 있는가?

주요 결과

• 로그-일반 유형을 가진 매끄러운 복소수 준사영 다양체는 준아벨 다양체 위로 부드럽게 피브레이션될 수 없다.
• ω_X(D)에 약한 선다이브 선다이브가 포함된 임의의 로그-스무스 쌍 (X,D)에 대해, 모든 전역 로그-일차형식의 영점 집합은 비어 있지 않다.
• (X,D)가 로그-일반 유형인 프로젝티브 로그-스무스 쌍이고, f: X∖D → T^{r,d}가 준아벨 다양체로의 전사 프로젝티브 사상이라면, f는 부드럽지 않다.
• 사상 f: X → P^{r,d}에 의한 P^{r,d}의 일반 로그-일차형식의 역상은 단순극을 가지며, 경계 divisor D에서 영이 되지 않는다.
• 증명에서 발생하는 모순은 E가 효과적임에 비추어 H^0(O_X(E)) = 0일 때 발생하며, 이는 절댓값이 없는 단면의 존재를 위반한다.
• [10, Theorem 9.4]의 적용은 연결된 섬유가 없더라도, 사상이 전사이고 계층 조건이 충족된다면 여전히 유효하다.