[論文レビュー] Structure theorem for projective klt pairs with nef anti-canonical divisor

Shin‐ichi Matsumura, Juanyong Wang|arXiv (Cornell University)|May 29, 2021

Algebraic Geometry and Number Theory参考文献 51被引用数 6

ひとこと要約

この論文は、ネフな反標準除算をもつ射影的klt対 $(X,\Delta)$ について構造定理を確立し、有限の準エタール被覆の後で、$X$ が数値的に自明な標準除算をもつ射影的klt多様体へ、局所的に自明な有理的連結性を持つファイブレーションをもつことを証明する。主な貢献は、Cao-Höringの構造定理を特異対へ拡張し、kltカバヤノ対に対してベアヴィル＝ボゴモロフ分解を一般化し、それらを有理的連結性とカバヤノの構成要素に分解することにある。

ABSTRACT

In this paper, we establish a structure theorem for projective klt pairs $(X,Δ)$ with nef anti-log canonical divisor; specifically, we prove that, up to replacing $X$ with a finite quasi-étale cover, $X$ admits a locally trivial rationally connected fibration onto a projective klt variety with numerically trivial canonical divisor. This structure theorem generalizes previous works for smooth projective varieties and reduces several structure problems to the singular Beauville-Bogomolov decomposition for Calabi-Yau varieties. As an application, projective varieties of klt Calabi-Yau type, which naturally appear as an outcome of the Log Minimal Model Program, are decomposed into building block varieties: rationally connected varieties and Calabi-Yau varieties.

研究の動機と目的

• ネフな反標準除算をもつ滑らかな射影的多様体のCao-Höringの構造定理を、特異klt対の設定に一般化すること。
• kltカバヤノ対に対して、その構成要素として有理的連結性とカバヤノ多様体に分解することにより、ベアヴィル＝ボゴモロフ分解を一般化すること。
• klt対に対してネフな反対数標準除算をもつ場合の構造問題を、特異なベアヴィル＝ボゴモロフ分解に還元することで解決すること。
• 有限の準エタール被覆 $X$ 上に、数値的に自明な標準除算をもつ基底をもつ、局所的に自明な有理的連結ファイブレーションが存在することを確立すること。
• 正則性と特異計量の安定性を用いて、このような対のMRCファイブレーションが被覆の下で正則的かつ局所的に自明であることを証明すること。

提案手法

• 最小モデルプログラム（MMP）とMRCファイブレーションを用いて、$X$ の反標準除算を通じてその構造を分析する。
• 基本点なしの定理と半アンピール性を適用し、基底の解体 $Y'$ からの双有理射影 $g_Y: Y' \to Y$ を構成し、$K_Y \sim_\mathbb{Q} 0$ を保証する。
• 有理的連結ファイバーにおける不規則性の消失を利用して、非常に整な除算の引き戻しを、ネフ部分と $Y'$ 上のネフ・ビッグ除算の引き戻しに分解する。
• ファイブレーションの局所的自明性と接層の平坦性を用いて、特異ヘルメート計量と平坦接続を通じて、ファイブレーションが局所的に定数であることを示す。
• 補題4.5と補題4.6を適用し、基底の解体から元の基底へ、局所的に自明な構造を降下させ、kltおよびネフ条件を保つ。
• 基底 $Y$ が標準的特異点をもつことを利用して、ファイブレーション $f: X \to Y$ がペア $(X,\Delta)$ に関して局所的に自明であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 滑らかな射影的多様体にネフな反標準除算をもつ構造定理は、特異性をもつklt対へ拡張可能か？
• RQ2 ネフな反対数標準除算をもつ射影的klt対は、有限の準エタール被覆の後で、局所的に自明な有理的連結ファイブレーションをもつか？
• RQ3 kltカバヤノ対に対して、その構成要素として有理的連結性とカバヤノ多様体に分解することにより、ベアヴィル＝ボゴモロフ分解を一般化可能か？
• RQ4 MRCファイブレーションは、ネフな反標準除算をもつklt対の構造において果たす役割は何か？ そして、被覆の下で正則的かつ局所的に自明であるか？
• RQ5 直接像層上の特異ヘルメート計量と平坦接続は、ファイブレーションの局所的自明性を示すためにどのように寄与するか？

主な発見

• 任意の射影的klt対 $(X,\Delta)$ に対して、ネフな $-(K_X + \Delta)$ が成り立つならば、有限の準エタール被覆 $X' \to X$ が存在し、$X'$ は正則的MRCファイブレーション $\psi: X' \to Y$ をもつ。
• $Y$ は $K_Y \sim_\mathbb{Q} 0$ をみたす射影的klt多様体であり、ファイブレーション $\psi$ は有理的連結ファイバーをもち、局所的に自明である。
• ファイブレーション $\psi$ は $X'$ のMRCファイブレーションであり、相対接層 $\mathcal{F} \cong T_{X'/Y}$ は平坦かつ局所自由である。
• 反標準除算 $-(K_X + \Delta)$ は $X'$ 上にネフ除算へ引き戻され、基底 $Y$ は解体から標準的特異点を引き継ぐ。
• ファイブレーション構造は基底の解体への被覆の下でも保たれ、kltおよびネフ条件のおかげで、結果として得られるファイブレーションは依然として局所的に自明である。
• この結果により、kltカバヤノ対はこのようなファイブレーションを通じて有理的連結性とカバヤノ多様体に分解され、特異なベアヴィル＝ボゴモロフ分解が一般化される。