[논문 리뷰] Positive sheaves of differentials coming from coarse moduli spaces

Kelly Jabbusch, Stefan Kebekus|ArXiv.org|2009. 04. 16.

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

한 줄 요약

이 논문은 베흐베그-쯔오의 캐논적 다중분포를 가진 다양체의 가닥에 대한 다중미분 형식의 존재 결과를 개선하여, 가닥의 변동성을 제한하는 핵심의 가역성 층 $ \scr{A} \subseteq \operatorname{Sym}^m \scr{B} $ 가 가닥의 계수 모듈리 공간 $ \mathfrak{M} $ 에서 일반적으로 유래됨을 보여준다. 주요 기여는 베흐베그-쯔오 층이 모듈리 사상에 의한 역상임을 증명하여, 이 중요한 층이 로그 기하학과 모듈리 이론의 맥락에서 기하학적 기원을 지닌다는 것을 확립하는 것이다.

ABSTRACT

Consider a smooth projective family of canonically polarized complex manifolds over a smooth quasi-projective complex base U, and suppose the family is non-isotrivial. If Y is a smooth compactification of U, such that D := Y U is a simple normal crossing divisor, then we can consider the sheaf of differentials with logarithmic poles along D. Viehweg and Zuo have shown that for some number m>0, the m-th symmetric power of this sheaf admits many sections. More precisely, the m-th symmetric power contains an invertible sheaf whose Kodaira-Iitaka dimension is at least the variation of the family. We refine this result and show that this "Viehweg-Zuo sheaf" comes from the coarse moduli space associated to the given family, at least generically. As an immediate corollary, if U is a surface, we see that the non-isotriviality assumption implies that U cannot be special in the sense of Campana.

연구 동기 및 목표

• 캐논적으로 다중분포를 가진 다양체의 가닥에서 양의 코다이라-이타카 차원을 가진 다중미분 형식의 존재에 관한 베흐베그-쯔오의 정리를 개선하는 것.
• 가닥의 변동성을 제한하는 베흐베그-쯔오 층 $ \scr{A} $ 가 계수 모듈리 공간 $ \mathfrak{M} $ 에서의 역상임을, 적어도 일반적으로 보여주는 것.
• 특수 표면 위에서 캐논적으로 다중분포를 가진 다양체의 가닥은 항상 등장하는 가닥이어야 한다는 캐머나의 추측에 대한 새로운 증명을 제공하는 것.
• 모듈리 이론 프레임워크를 통해 미분 사상의 포화를 이용하여, 베흐베그-쯔오 구성의 기하학적 기원을 명확히 하는 것.

제안 방법

• 모듈리 사상 $ \mu: Y^\circ \to \mathfrak{M} $ 에서 $ d\mu^*\Omega^1_\mathfrak{M} $ 의 상의 포화로 정의된 $ \scr{B} \subseteq \Omega^1_Y(\log D) $ 를 정의하여, 계수 모듈리 공간의 미분 구조를 포착한다.
• 베흐베그-쯔오의 원래 구성 방법을 사용하여 $ \kappa(\scr{A}) \geq \operatorname{Var}(f^\circ) $ 를 만족하는 $ \operatorname{Sym}^m \Omega^1_Y(\log D) $ 의 부분가역 층 $ \scr{A} \subseteq \operatorname{Sym}^m \Omega^1_Y(\log D) $ 를 생성한다.
• 기저 변경 하에서 미분의 행동을 분석하고 비교 정리 3.3을 사용하여 $ \scr{A} $ 가 $ \operatorname{Sym}^m \scr{B} $ 내부에서 선택될 수 있음을 증명함으로써, $ \scr{A} $ 가 $ \mathfrak{M} $ 에서의 역상임을 보여준다.
• 보고몰로-소모제의 퇴적 정리와 특수 쌍의 정의를 적용하여, 특수 표면에서 변동성이 양수일 경우 모순을 이끌어내는 것.
• 특수 쌍에서 $ \scr{B} $ 의 포화 성질과 반사성으로 인해 $ \operatorname{Var}(f^\circ) = 1 $ 일 때 $ \scr{B} $ 는 랭크 1이므로 가역 층이 되며, 이는 차원 비교를 가능하게 한다.
• 특수 쌍에서 $ \kappa(\scr{A}) \geq \operatorname{Var}(f^\circ) $ 이고 $ \kappa(\scr{B}) < 1 $ 이므로 $ \operatorname{Var}(f^\circ) = 0 $ 이 되어야 하며, 이는 등장하는 가닥임을 의미한다.

실험 결과

연구 질문

• RQ1 가닥의 변동성을 제한하는 베흐베그-쯔오 층 $ \scr{A} $ 가 계수 모듈리 공간 $ \mathfrak{M} $ 에서 유래됨을 보일 수 있는가?
• RQ2 $ \scr{B} $ 가 $ d\mu^*\Omega^1_\mathfrak{M} $ 의 포화임을 고려할 때, $ \operatorname{Sym}^m \scr{B} $ 의 부분가역 층으로서 $ \scr{A} $ 가 구성됨은 그 존재에 대한 기하학적 설명을 제공하는가?
• RQ3 특수 표면 위에서 어떤 가닥도 등장하는 가닥이어야 한다는 캐머나의 추측은, 베흐베그-쯔오 층의 개선된 구조를 통해 증명될 수 있는가?
• RQ4 $ \scr{A} $ 가 $ \operatorname{Sym}^m \scr{B} $ 에 제약을 받을 경우, $ \scr{A} $ 의 코다이라-이타카 차원과 가닥의 변동성 사이의 정확한 관계는 무엇인가?
• RQ5 $ d\mu $ 의 상의 포화가 $ \Omega^1_Y(\log D) $ 에서 어떻게 전역 생성성과 양의 성질을 갖는 다중미분 형식에 영향을 미치는가?

주요 결과

• 코다이라-이타카 차원이 $ \kappa(\scr{A}) \geq \operatorname{Var}(f^\circ) $ 를 만족하는 베흐베그-쯔오 층 $ \scr{A} $ 는 $ \scr{B} $ 의 부분가역 층으로서 $ \operatorname{Sym}^m \scr{B} $ 에서 구성될 수 있으며, 여기서 $ \scr{B} $ 는 $ \Omega^1_Y(\log D) $ 에서 $ d\mu^*\Omega^1_\mathfrak{M} $ 의 상의 포화이다. 이는 $ \scr{A} $ 가 계수 모듈리 공간 $ \mathfrak{M} $ 에서 유래됨을 증명한다.
• 표면 $ Y^\circ $ 위의 가닥에 대해 $ Y^\circ $ 가 특수일 경우 $ \operatorname{Var}(f^\circ) < 2 $ 이다. $ \operatorname{Var}(f^\circ) = 1 $ 이라고 가정하면 $ \kappa(\scr{B}) < 1 $ 이지만 $ \kappa(\scr{A}) \geq 1 $ 이므로 모순이 발생하며, 따라서 $ \operatorname{Var}(f^\circ) = 0 $ 이고 등장하는 가닥임을 의미한다.
• $ \scr{B} $ 는 $ \operatorname{Var}(f^\circ) = 1 $ 일 때 반사적이며 랭크 1이므로, 가역 층이 되며 코다이라-이타카 차원 비교가 직접 가능해진다.
• $ \scr{A} \subseteq \operatorname{Sym}^m \scr{B} $ 의 구성은 $ \scr{A} $ 의 양의 성질이 오직 로그 기하학적 성질이 아닌, $ \mathfrak{M} $ 의 모듈리 이론적 구조에 의해 제어됨을 시사한다.
• 이 결과는 두 차원에서 캐머나의 추측에 대한 새로운이고 짧은 증명을 제공한다: 특수 표면 위에서 캐논적으로 다중분포를 가진 다양체의 가닥은 항상 등장하는 가닥이어야 한다.
• 이 개선은 베흐베그-쯔오 층이 $ \operatorname{Sym}^m \Omega^1_Y(\log D) $ 의 임의의 부분가역 층이 아니며, 모듈리 사상에 의해 본질적으로 연결된 층임을 보여주며, 그 기하학적 의미를 강화한다.