[論文レビュー] Boundedness of elliptic Calabi-Yau varieties with a rational section

Caucher Birkar, Gabriele Di Cerbo+1 more|arXiv (Cornell University)|Oct 19, 2020

Algebraic Geometry and Number Theory被引用数 7

ひとこと要約

この論文は、 canonical bundle が数的に自明で、canonical class の torsion index が有界であり、fibration が rational section を持つとき、d 次元の klt 楕円型 Calabi-Yau 多様体の有界性を確立する。minimal model program と rationally connected log Calabi-Yau 対の有界性の技術を用いて、著者たちは、このような多様体が codimension one で同型である範囲で有界であることを証明し、幾何的制約のもとでの Calabi-Yau 多様体の分類における重要なケースを解決する。

ABSTRACT

We show that for each fixed dimension $d\geq 2$, the set of $d$-dimensional klt elliptic varieties with numerically trivial canonical bundle is bounded up to isomorphism in codimension one, provided that the torsion index of the canonical class is bounded and the elliptic fibration admits a rational section. This case builds on an analogous boundedness result for the set of rationally connected log Calabi-Yau pairs with bounded torsion index. In dimension $3$, we prove the more general statement that the set of $ε$-lc pairs $(X,B)$ with $-(K_X +B)$ nef and rationally connected $X$ is bounded up to isomorphism in codimension one.

研究の動機と目的

• 固定された次元における、数的に自明な canonical bundle を持つ klt 楕円型 Calabi-Yau 多様体の有界性を確立すること。
• K-trivial 多様体における有界性の欠如を、rational section や有界な torsion index といった幾何的制約を課すことによって是正すること。
• 有界な torsion index を持つ rationally connected log Calabi-Yau 対からの有界性結果を、楕円型 Calabi-Yau fibration に拡張すること。
• 与えられた制約のもとで、このような多様体が codimension one で同型である範囲で有界であることを証明すること。
• rational section を持つ楕円型 Calabi-Yau 多様体の moduli 理論への基礎的段階を提供すること。

提案手法

• rationaly connected K-trivial 多様体からモーリー・ファイバー空間の塔を構成するために minimal model program (MMP) を用いる。
• 固定された torsion index を持つ rationally connected log Calabi-Yau 対の有界性結果を適用して、問題を有界な基底に還元する。
• canonical bundle の公式と section の different を用いて、fibration 沿いの特異点と不変量を制御する。
• birationally 変換と flops を用いて、有界な幾何的性質を持つ codimension one で同型なモデルを構成する。
• 表面における BAB 猜定と Fano fibration の有界性を適用して、fibration の基底を制御する。
• 帰納法と codimension one での同型性の不変性を用いて、問題を基底とファイバー成分の有界性に還元する。

実験結果

リサーチクエスチョン

• RQ1 d 次元の klt 楕円型 Calabi-Yau 多様体が、canonical bundle が数的に自明で、canonical class の torsion index が有界であり、rational section が存在するとき、codimension one で同型である範囲で有界であるか？
• RQ2 有界な torsion index を持つ rationally connected log Calabi-Yau 対における有界性結果を、楕円型 Calabi-Yau fibration に拡張できるか？
• RQ3 基底とファイバーの幾何的制約は、固定次元における楕円型 Calabi-Yau 多様体の有界性を保証するか？
• RQ4 有界な torsion index と rational section の下で、このような多様体の集合は codimension one で同型である範囲で有限か？
• RQ5 与えられた条件下で、基底多様体の有界性を確立できれば、全体空間の有界性が得られるか？

主な発見

• canonical class の torsion index が有界であり、rational section が存在するとき、d 次元の klt 楕円型 Calabi-Yau 多様体で canonical bundle が数的に自明なものは、codimension one で同型である範囲で有界である。
• 有界性結果は、固定された torsion index を持つ rationally connected log Calabi-Yau 対への問題の還元に依存する。
• 与えられた仮定のもとで、楕円型 fibration の基底が有界であることが示され、全体の有界性証明における重要な段階である。
• 次元 3 において、−(KX+B) が nef で X が rationaly connected である ϵ-lc 対 (X,B) の集合は、codimension one で同型である範囲で有界である。
• 証明により、このような多様体はモーリー・ファイバー空間の塔を持つモデルを備えていることが示され、帰納的有界性議論が可能になる。
• 幾何的制約として rational section と有界な torsion index が、K-trivial 場合における有界性の回復に十分であることが確認された。