[論文レビュー] Positive sheaves of differentials coming from coarse moduli spaces

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

Algebraic Geometry and Number Theory参考文献 5被引用数 7

ひとこと要約

本稿は、Viehweg-Zuoの、正則偏極多様体の族における多様体の微分形式の存在結果を精錬し、その鍵となる可逆層 $ \scr{A} \subseteq \operatorname{Sym}^m \scr{B} $ が、族の粗いモジュライ空間 $\mathfrak{M}$ から一般に生じることを示す。主な貢献は、Viehweg-Zuoの可逆層がモジュライ写像を介して $\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.

研究の動機と目的

• 正則偏極多様体の族における、正のKodaira-Iitaka次元をもつ多様体の微分形式の存在に関するViehweg-Zuoの定理を精錬すること。
• 族の変動性を界にするViehweg-Zuo可逆層 $\scr{A}$ が、一般に粗いモジュライ空間 $\mathfrak{M}$ から引き戻されることを示すこと。
• 特異表面上に定義された正則偏極多様体の族が常に等質的であるというCampana予想の新しい証明を提供すること。
• モジュライ理論的枠組みを用いて、モジュライ写像の微分の飽和を介して、Viehweg-Zuo構成の幾何的起源を明確にすること。

提案手法

• モジュライ写像 $\mu: Y^\circ \to \mathfrak{M}$ を介して $d\mu^*\Omega^1_\mathfrak{M}$ の像の飽和として $\scr{B} \subseteq \Omega^1_Y(\log D)$ を定義し、粗いモジュライ空間からの微分構造を捉える。
• Viehweg-Zuoの元来の構成を用いて、$\kappa(\scr{A}) \geq \operatorname{Var}(f^\circ)$ を満たす可逆層 $\scr{A} \subseteq \operatorname{Sym}^m \Omega^1_Y(\log D)$ を生成する。
• 基底変換における微分の振る舞いを分析し、比較補題 3.3 を用いることで、$\scr{A}$ が $\operatorname{Sym}^m \scr{B}$ の中に選べることを示し、$\mathfrak{M}$ から引き戻されたものであることを立証する。
• Bogomolov-Sommeseの消失定理と特別な対の定義を用いて、変動性が正であると仮定した場合に矛盾を導く。
• $\scr{B}$ の飽和性と反射的性を用いて、$\operatorname{Var}(f^\circ) = 1$ のとき $\scr{B}$ が可逆層であることを保証し、次元比較を可能にする。
• $\kappa(\scr{A}) \geq \operatorname{Var}(f^\circ)$ かつ特別な対では $\kappa(\scr{B}) < 1$ であることから、$\operatorname{Var}(f^\circ) = 0$ を強制し、等質的性を示す。

実験結果

リサーチクエスチョン

• RQ1 変動性を界にするViehweg-Zuo可逆層 $\scr{A}$ が、粗いモジュライ空間 $\mathfrak{M}$ から生じることを示せるか？
• RQ2 $\scr{B}$ を $d\mu^*\Omega^1_\mathfrak{M}$ の像の飽和として定義したとき、$\scr{A}$ を $\operatorname{Sym}^m \scr{B}$ の部分層として構成することは、その存在の幾何的説明を提供するか？
• RQ3 特異表面上に定義された族が常に等質的であるというCampana予想—これは、精錬されたViehweg-Zuo可逆層を用いて証明可能か？
• RQ4 $\scr{A}$ が $\operatorname{Sym}^m \scr{B}$ に制限されるとき、$\scr{A}$ のKodaira-Iitaka次元と族の変動性の正確な関係は何か？
• RQ5 $\Omega^1_Y(\log D)$ 内の $d\mu$ の像の飽和が、得られる多様体の微分形式のグローバル生成性および正性の性質にどのように影響するか？

主な発見

• 変動性を界にするViehweg-Zuo可逆層 $\scr{A}$ は、$\kappa(\scr{A}) \geq \operatorname{Var}(f^\circ)$ を満たすが、$\scr{B}$ を $d\mu^*\Omega^1_\mathfrak{M}$ の像の飽和として定義したとき、$\operatorname{Sym}^m \scr{B}$ の部分層として構成可能であり、粗いモジュライ空間 $\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$ であることが示され、等質的性が導かれる。
• $\operatorname{Var}(f^\circ) = 1$ のとき、$\scr{B}$ は反射的かつ階数1であるため、可逆層であり、Kodaira-Iitaka次元の直接比較が可能になる。
• $\scr{A} \subseteq \operatorname{Sym}^m \scr{B}$ の構成は、$\scr{A}$ の正性が $Y$ の対数幾何的構造に依存するのではなく、$\mathfrak{M}$ のモジュライ理論的構造に支配されることを示唆する。
• 本結果により、2次元においてCampana予想の新しい短い証明が得られた：特異表面上に定義された正則偏極多様体の族は常に等質的である。
• 精錬された結果により、Viehweg-Zuo可逆層は $\operatorname{Sym}^m \Omega^1_Y(\log D)$ の任意の部分層ではなく、モジュライ写像に内在的に関連したものであることが明らかになり、幾何的意義が強化された。