[論文レビュー] Seshadri constants via toric degenerations

Atsushi Ito|arXiv (Cornell University)|Feb 29, 2012

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

ひとこと要約

本稿は、多様体の任意の点におけるSeshadri定数を推定するための新規手法を導入し、トーリック退化を用いて、射影空間内の超曲面やピカール数1のファノ3次元多様体などの非トーリック多様体に対しても新たな下界を得ることを可能にする。多面体の幾何的不変量と線形射影による帰納的推定を組み合わせることで、立方曲面では ε = 3/2、ファノ3次元多様体では家族に応じて ε = 2, 3, 4 という正確な計算が可能になる。

ABSTRACT

We give a method to estimate Seshadri constants on toric varieties at any point. By using the estimations and toric degenerations, we can obtain some new computations or estimations of Seshadri constants on non-toric varieties. In particular, we investigate Seshadri constants on hypersurfaces in projective spaces and Fano 3-folds with Picard number one in detail.

研究の動機と目的

• トーリック多様体の任意の点におけるSeshadri定数を推定するための手法を開発すること、特にトーラス不変点に限らないこと。
• 特に射影空間内の超曲面やファノ3次元多様体に対して、トーリック退化を用いてこれらの推定を非トーリック多様体へ拡張すること。
• 高次元の場合に希少であるがゆえに、Seshadri定数の新たな下界および正確な値を提供すること。
• 多面体の射影と帰納的幾何的議論を用いた、Seshadri定数の計算または評価の体系的枠組みを確立すること。

提案手法

• 本手法は、群準同型 πℤ: M → ℤ から誘導される線形射影 π: Mℝ → ℝ によって、トーリック多様体の単位元点におけるSeshadri定数と、ファイバー多面体におけるそれとを関係付ける有理写像を利用する。
• 帰納的不等式を適用する：t ∈ π(P) ∩ ℚ かつ P(t) が次元 n−1 であるとき、ε(XP, LP; 1P) ≥ min{ |π(P)|, ε(XP(t), LP(t); 1P(t)) } が成り立つ。
• 手法は、非常に一般な点におけるブ low-up における除法の厳密変換のネフ性を分析する幾何的交線理論に依拠する。
• トーリック退化を用いて、トーリック極限からの下界を非トーリック多様体へと移す。Seshadri定数の下半連続性を活用する。
• ファノ3次元多様体に対しては、トーリック多様体への退化と、デル・ペッツォ3次元多様体の分類結果を組み合わせることで上界を確立する。
• 構成は、特にピカール数1のファノ3次元多様体に対して、トーリック多様体のモーメント多面体とそのスケーリングを用いて線分束をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 トーリック多様体のトーラス不変点でない点におけるSeshadri定数は、そのモーメント多面体の幾何的不変量を用いて効果的に推定可能か？
• RQ2 トーリック退化を用いて、超曲面やファノ3次元多様体などの非トーリック多様体におけるSeshadri定数の下界をどのように導出できるか？
• RQ3 ピカール数1の非常に一般な点における立方曲面およびファノ3次元多様体のSeshadri定数の正確な値は何か？
• RQ4 多面体の射影に基づく帰納的手法は、特定の状況で既知の上界と一致する鋭い下界をもたらすか？
• RQ5 非常に一般な点におけるファノ3次元多様体のSeshadri定数は、トーリック極限への退化によってどの程度まで特定可能か？

主な発見

• 非常に一般な立方曲面 S ⊂ ℙ³ に対して、Seshadri定数 ε(S, 𝒪S(1); 1) は正確に 3/2 に等しく、既知の下界を持つトーリック多様体へのトーリック退化によって確認された。
• ピカール数1のファノ3次元多様体に対しては、Seshadri定数 ε(X, −KX; 1) は、家族番号 No.5–15 で 2、No.16 で 3、No.17 で 4 に正確に計算された。
• No.11 に対しては、モーメント多面体 P = conv(0, e₁, e₂, −e₁−e₂+e₃) を持つ非正則トーリック多様体への退化を用いて、下界 ε(X, −KX; 1) ≥ 2 が確立され、ε = 2 が得られた。
• No.5–10 に対しては、X が −KX · C = 2 を満たす円錐で被覆されることを用いて、上界 ε ≤ 2 が証明され、下界と一致した。
• No.11–15 に対しては、ε > 2 と仮定すると、デル・ペッツォ3次元多様体の既知の分類と矛盾するため、ε ≤ 2 が証明された。
• No.16 および No.17 に対しては、上界 ε ≤ r（r はインデックス）が鋭く、X が直線で被覆されることと、退化からの下界が上界と一致するためである。