[論文レビュー] The Bogomolov-Beauville-Yau Decomposition for Klt Projective Varieties with Trivial First Chern Class -Without Tears-

Frédéric Campana|arXiv (Cornell University)|Apr 17, 2020

Algebraic Geometry and Number Theory参考文献 17被引用数 4

ひとこと要約

この論文は、正標数の技法を避けて、第一チャーン類が自明なklt特異点をもつ射影的多様体に対するBogomolov-Beauville-Yau分解の、特徴的零の簡略化された証明を提示する。この証明により、このような多様体がアーベル多様体と非可約シンプレクティックまたはカヤン多様体の積に分解される有限エタール被覆をもつことが示され、コアとなる革新点として、双正則的分裂とフォリエーションの代数的性を用いる。

ABSTRACT

We give a simplified proof (in characteristic zero) of the decomposition theorem for complex projective varieties with klt singularities and numerically trivial canonical bundle. The proof rests in an essential way on most of the partial results of the previous proof obtained by many authors, but avoids those in positive characteristic by S. Druel. The single to some extent new contribution is an algebraicity and bimeromorphic splitting result for generically locally trivial fibrations with fibres without holomorphic vector fields. We give first the proof in the easier smooth case, following the same steps as in the general case, treated next.

研究の動機と目的

• 第一チャーン類が自明なklt射影的多様体に対するBogomolov-Beauville-Yau分解の、特徴的零の簡略化された証明を提供すること。
• S. Druelの正標数結果に依存することを排除し、双正則的分裂を用いてフォリエーションの代数的性を直接証明すること。
• 先行の部分的結果に基づき、klt特異点をもつ特異多様体への分解定理の拡張を図ること。
• 特定の条件下で、非可約シンプレクティック多様体および偶数次元カヤン多様体の基本群が有限であることを確立すること。
• ホロノミー不変フォリエーションの葉が代数的であることを示すこと、特に制限されたホロノミー分解の文脈において。

提案手法

• リッチ平坦ケーラー計量と接バンドルのホロノミー分解を用いて、滑らかの場合の分解を証明する。
• c_1(X) = 0 であるならば、各ホロノミー因子 E_j に対して c_1(E_j) = 0 であることを、L^2-コホモロジー的技法と擬効性の議論により示す。
• 安定性および[12]と[20]の結果を用いて、非平坦ホロノミー因子の双対が擬効性でないことを証明する。
• 特徴的零の一般に局所的に自明なファイブレーションに、ホロノミーが自明でないホロノミー因子をもつ場合に適用可能な、新しい双正則的分裂結果（定理3.3）を適用する。
• フォリエーションの葉の代数的性と解析的接続を用いて、準エタール被覆の後に分裂が大域的に拡張されることを示す。
• 特異の場合を、[18]による正則特異点と自明なホロノミーに依存する、ビーバーバッハ定理の特異版を用いてアーベル因子に還元する。

実験結果

リサーチクエスチョン

• RQ1 c_1 = 0 をもつklt射影的多様体に対するBogomolov-Beauville-Yau分解は、正標数の技法に依存せずに証明可能か？
• RQ2 このような多様体上のホロノミー不変フォリエーションが代数的葉をもつのはどのような条件下か？
• RQ3 特異の場合であっても、有限エタール被覆の後に、接バンドルのホロノミー因子への分解が大域的に実現可能か？
• RQ4 K_X ≡ 0 をもつklt多様体の基本群とそのホッジ不変量との関係は何か？
• RQ5 ファイブレーションのファイバーに正則ベクトル場が存在しない場合、そのファイブレーション構造は代数的であるか？

主な発見

• c_1(X) = 0 をもつ滑らかな射影的多様体の接バンドルは、平坦および非平坦な因子への大域的ホロノミー分解をもち、それぞれの第一チャーン類が自明である。
• 非平坦ホロノミー因子 T_i に対して、その双対 T_i^* は、安定性および L^2-コホモロジー的技法により、擬効性でないことが示された。
• 非平坦ホロノミー因子に対応するフォリエーションの葉は代数的である。この結果は、双正則的拡張と消失定理を用いて確立された。
• 正則ベクトル場をもたないファイバーをもつ、一般に局所的に自明なファイブレーションは、代数的である双正則的分裂をもつ。これは、重要な新技術的結果である。
• 有限エタール被覆の後に、任意のc_1 = 0 をもつklt射影的多様体は、アーベル多様体と、ホロノミーが SU(m) もしくは Sp(k) に制限された多様体の積に分解される。
• χ(𝒪_X) ≠ 0 をもつ多様体では、基本群は有限であり、その位数は χ(𝒪_X) を割り切る。これは滑らかな場合の結果の拡張である。