[論文レビュー] Log abundance of the moduli b-divisors of lc-trivial fibrations

Zhengyu Hu|arXiv (Cornell University)|Mar 31, 2020

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

ひとこと要約

本稿は、特徴量が0の代数閉体上におけるlc-自明なファイブレーションについて、moduli b-除法のlog豊富性を確立し、従来のb-ノルム性およびb-カーティエ性に関する結果を実係数へと拡張する。lc-自明な準同型および制限定理の理論を用いて、連結性を仮定しない状況においても、誘導された一般化されたペアに関してmoduli b-除法がb-ノルムかつlog豊富であることを証明する。

ABSTRACT

We prove that the moduli b-divisor of an lc-trivial fibration from a log canonical pair is log abundant. The result follows from a theorem on the restriction of the moduli b-divisor, based on a theory of lc-trivial morphisms, which allows us to treat $\mathbb{R}$-divisors and proper morphisms possibly with disconnected fibres. We also prove a theorem on extending a finite cover over a closed subvariety to that over a variety in arbitrary characteristic.

研究の動機と目的

• 実係数および非連結ファイブレーションの状況へのmoduli b-除法のlog豊富性の一般化。
• 連結性のないファイブレーションおよびR-除法子を含む設定において、canonical bundle formulaおよび一般化されたペア理論の拡張。
• 連結性の仮定を越えた準同型論的技法を用いたlc-自明なファイブレーションの均一な枠組みの確立。
• 精密なmoduli b-除法理論を用いたkltペアのcanonical modelの存在の証明。
• 任意の特徴量における弱い半安定化および有限被覆の拡張のための基盤の提供。

提案手法

• スタイン分解を用いたlc-自明な準同型の概念の導入により、非連結ファイブレーションの取り扱いが可能になる。
• 有限写像に沿ったproper pushforwardを用いて、判別およびmoduli b-除法子を定義し、canonical bundle formulaを一般化する。
• moduli b-除法子の制限定理を適用し、問題を単純化されたベース多様体へと還元する。
• minimal model program技法およびNakayama-Zariski分解を用いて、b-ノルム性およびlog豊富性を分析する。
• toroidal幾何および等次元削減を用いて、制御された特異性を持つ準滑らかificationを構成する。
• Galois toroidal被覆を用いた弱い半安定化を適用し、平坦で、非特異かつtoroidalな準同型を得るとともに、分岐を制御する。

実験結果

リサーチクエスチョン

• RQ1 連結性を仮定しないlc-自明なファイブレーションに対し、moduli b-除法子のlog豊富性を確立できるか？
• RQ2 canonical bundle formulaをR-除法子および非連結ファイブレーションへとどのように拡張できるか？
• RQ3 ベース多様体が完全かつすべてのlc中心が垂直である場合、moduli b-除法子はb-ノルムかつlog豊富か？
• RQ4 toroidal技法を用いて、任意の特徴量における部分多様体上の有限被覆を全体の多様体へと拡張できるか？
• RQ5 一般化されたペアは、moduli b-除法子の正性を特徴づける役割を果たすか？

主な発見

• 連結性を仮定しない状況においても、lc-自明なファイブレーションのmoduli b-除法子は、誘導された一般化されたペアに関してb-ノルムかつlog豊富である。
• moduli b-除法子は、Q-b-Cartierかつb-ノルムなQ-除法子の凸結合として表現され、これによりR-b-Cartier性が保証される。
• canonical bundle formulaは実係数へと拡張可能である：$ K_X + B \sim_\mathbb{R} f^*(K_Y + B_Y + M_Y) $、ここで$ M_Y $はmoduli R-除法子である。
• 新しいlc-自明な準同型の枠組みのもとで、結果は一様に成り立つ。これは古典的な連結ファイブレーションの場合を一般化する。
• 弱い半安定化定理が確立され、平坦で、非特異かつtoroidalな準同型が得られ、分岐が制御可能である。
• toroidal変形および等次元削減を用いて、任意の特徴量において閉部分多様体上の有限被覆を全体の多様体へと拡張可能である。