[論文レビュー] Fibration of log-general type space over quasi-abelian varieties

Chuanhao Wei|arXiv (Cornell University)|Sep 10, 2016

Algebraic Geometry and Number Theory参考文献 2被引用数 3

ひとこと要約

この論文は、Higgsバンドル技法と消失定理を用いて、対数一般型多様体を準アーベル多様体上に滑らかなファイブレーションとして持てないことを証明する。また、Koszul複体とホッジモジュール理論を用いて、対数一般型対に非自明なグローバル対数1形式が存在しないという予想の弱い形の2つのバージョンを確立する。

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.

研究の動機と目的

• 対数一般型多様体が準アーベル多様体上に滑らかなファイブレーションを持たないことを調査すること。
• 対数一般型対に非自明なグローバル対数1形式が存在しないという予想の弱い形を証明すること。
• 一般型多様体上の正則1形式のPopaとSchnellの消失結果を、対数的設定に拡張すること。
• ホッジモジュール理論とHiggsバンドル構成を用いて、対数1形式のゼロ集合を分析すること。
• 非自明な対数1形式が存在すると仮定した場合、Serre双対性と消失定理を用いて矛盾を導くこと。

提案手法

• グローバル対数1形式 θ を用いてKoszul複体を構成し、O_X(L - D) でねじれた層 E^i の系列を得る。
• Akizuki-Kodaira-Nakanoの消失定理を適用して、H^{n-i+1}(Ω^i_X(log D)(L - D)) の一部のコホロロジー群が消えることを示す。
• 長完全列における接続写像の上への性質を用いて、H^n(E^1(L - D)) = 0 を導出する。
• E^1(L - D) を ω_X(−E) と同一視し、Serre双対性を適用して H^0(O_X(E)) = 0 を得るが、E が有効的であることと矛盾する。
• 基本変換と正規化を用いてファイブレーションを滑らかなコンactificationに持ち上げ、[10, Theorem 9.4] を誘導写像 f': X' → P^{r,d} に適用する。
• ラインバンドル G の大きさと H^0(B^k) の非消滅性を用いて、ω_{P^{r,d}}(D_f) のアンピュラス性から矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 準アーベル多様体上に、対数一般型多様体の滑らかなファイブレーションが存在するか？
• RQ2 対数一般型対にグローバル対数1形式が恒等的に消えることができるか？
• RQ3 対数一般型対の任意のグローバル対数1形式のゼロ集合は、必ず空でないか？
• RQ4 対数一般型対において、対数1形式が非消滅であると仮定した場合、ホッジ理論的消失性から矛盾が生じるか？
• RQ5 非消滅性の予想を、基本変換とホッジモジュール技法を用いて矛盾に帰着できるか？

主な発見

• 複素数体上の滑らかな対数一般型多様体が、準アーベル多様体上に滑らかなファイブレーションを持たない。
• ω_X(D) にアンピュラスラインバンドルを含む任意の対数滑らか対 (X,D) に対して、すべてのグローバル対数1形式のゼロ集合は空でない。
• X が対数一般型の射影的対数滑らか対で、f: X∖D → T^{r,d} が準アーベル多様体 T^{r,d} への全射射影的準同型であるとき、f は滑らかではありえない。
• P^{r,d} 上の一般対数1形式の、f: X → P^{r,d} による引き戻しは単純極を持ち、境界除集合 D で消えない。
• 証明における矛盾は、E が有効的であるにもかかわらず H^0(O_X(E)) = 0 であることから生じ、セクションの非消滅性に反する。
• [10, Theorem 9.4] の適用は、ファイバーが連結でなくても成立する。ただし写像が全射であり、層の条件を満たしている必要がある。