[論文レビュー] Katzarkov-Kontsevich-Pantev Conjecture for Fano threefolds

Ivan Cheltsov, Victor Przyjalkowski|arXiv (Cornell University)|Sep 24, 2018

Algebraic structures and combinatorial models被引用数 6

ひとこと要約

本稿は、Fano 3次元多様体 X のHodge数が、そのトーリック Landau–Ginzburg モデル (Y,w) のHodge型不変量 f^{p,q}(Y,w) と一致することを示すことにより、滑らかなFano 3次元多様体に対してKatzarkov–Kontsevich–Pantev (KKP) 予想を検証する。Harderの公式を用いて、f^{p,q}(Y,w) をコンパクト化されたLandau–Ginzburg モデル (Z,f) の言語で表現し、f^{1,2}(Y,w) と f^{1,1}(Y,w) をファイバーの成分数と余核のランクを用いて計算することで、Picard階数 >1 のすべての滑らかなFano 3次元多様体に対して予想を確認した。これは、階数1の場合の先行研究を拡張するものである。

ABSTRACT

We verify Katzarkov-Kontsevich-Pantev conjecture for Landau-Ginzburg models of smooth Fano threefolds.

研究の動機と目的

• Picard階数が1より大きい滑らかなFano 3次元多様体に対して、Katzarkov–Kontsevich–Pantev 予想を検証すること。
• Landau–Ginzburg モデル (Y,w) のHodge型不変量 f^{p,q}(Y,w) を、そのTame コンパクト化 (Z,f) の幾何学を用いて計算すること。
• Fano 3次元多様体 X のHodge数 h^{1,2}(X) が、対応する f^{q,d−p}(Y,w) 不変量と一致することを確立し、予想を確認すること。
• f^{1,1}(Y,w) および f^{1,2}(Y,w) の明示的公式を、ファイバーの成分数とコホモロジー写像の余核次元の言語で提示すること。
• Picard階数1のFano 3次元多様体の既知の結果を超えて、KKP 予想の検証を拡張すること。

提案手法

• コンパクト化されたLandau–Ginzburg モデル (Z,f) から導かれるHarderの公式を用い、f^{p,q}(Y,w) を表現する。ここで f: Z → P^1 は、f^{-1}(∞) = -K_Z を満たす。
• f^{1,1}(Y,w) を、C^1 上の点 P について (ρ_P - 1) の和として計算する。ここで ρ_P はファイバー w^{-1}(P) の既約成分の数である。
• f^{1,2}(Y,w) を、H^2(Z,R) → H^2(F,R) の写像の余核の次元から2を引いたものとして計算する。ここで F は w の一般ファイバーである。
• h^{1,2}(Z) = 0 で、[ACGK12, CCGK16] の先行研究による特異ファイバーの明示的記述を持つTame コンパクト化 (Z,f) の存在に依存する。
• du Val 特異点を持つ曲面上の交点論を用いて、特異ファイバーの解消における曲線の自己交点数を計算する。
• Landau–Ginzburg モデル内の特異ファイバーとその成分を明示的に分析することで、Harderの公式に必要な条件が満たされていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 Picard階数が1より大きい滑らかなFano 3次元多様体に対して、Katzarkov–Kontsevich–Pantev 予想は成り立つか？
• RQ2 Landau–Ginzburg モデルのHodge型不変量 f^{p,q}(Y,w) は、そのコンパクト化の幾何学を用いて明示的に計算可能か？
• RQ3 Fano 3次元多様体 X のHodge数 h^{1,2}(X) は、対応する Landau–Ginzburg モデルの f^{2,1}(Y,w) に等しいか？
• RQ4 X のPicard群のランクは、写像 H^2(Z,R) → H^2(F,R) の余核の次元から2を引いたものに等しいか？
• RQ5 同じ手法を用いて、Picard階数1の場合に既に知られていた結果を超えて、すべての滑らかなFano 3次元多様体に対して予想を検証可能か？

主な発見

• すべてのPicard階数 >1 の滑らかなFano 3次元多様体に対して、予想 h^{1,2}(X) = f^{2,1}(Y,w) が成立し、h^{1,2}(X) = ∑_{P∈C^1} (ρ_P - 1) を示すことによって確認された。
• X のPicard群のランクは、rk Pic(X) = dim(coker(H^2(Z,R) → H^2(F,R))) - 2 で与えられ、F は w の一般ファイバーである。
• Hodge型不変量 f^{1,1}(Y,w) および f^{2,2}(Y,w) は、C^1 上のすべての点 P について (ρ_P - 1) の和として計算され、ここで ρ_P はファイバー w^{-1}(P) の既約成分の数である。
• 残りの f^{p,q}(Y,w) 不変量はすべて0であり、Harderの結果と整合的である。
• Harderの公式に必要な条件が満たされていることが証明され、特に h^{1,2}(Z) = 0 およびコンパクト化モデルにおける特異ファイバーの構造が確認された。
• 本結果により、KKP 予想の検証が、これまでに知られていた階数1の場合を超えて、すべての滑らかなFano 3次元多様体にまで拡張された。