[論文レビュー] Calabi-Yau threefolds with Picard number three

P. Μ. H. Wilson|arXiv (Cornell University)|Nov 25, 2020

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

ひとこと要約

本稿は、立方体カップ積形式および第二チェーン類形式に特定の条件下で、ピカール数3のカラビ＝ヤウ3次元多様体が有界族に属することを確立する。剛性のある非可動的面を分析し、実楕円曲線のヘシアンに対するシュタインィアン対合を用いることで、ヘシアンが滑らかまたは非包絡線的直線に交差しない条件下で、このような3次元多様体が有界族に属することを証明し、高ピカール数の場合のモジュライ有界性に関する重要な問題を解決する。

ABSTRACT

In this paper, we continue the study of boundedness questions for (simply connected) smooth Calabi-Yau threefolds commenced in arXiv:1706.01268. The diffeomorphism class of such a threefold is known to be determined up to finitely many possibilities by the integral middle cohomology and two integral forms on the integral second cohomology, namely the cubic cup-product form and the linear form given by cup-product with the second chern class. The question addressed in both papers is whether knowledge of these cubic and linear forms determines the threefold up to finitely many families, that is the moduli of such threefolds is bounded. If this is true, then in particular the middle integral cohomology would be bounded by knowing these two forms. Crucial to this question is the study of rigid non-movable surfaces on the threefold, which are the irreducible surfaces that deform with any small deformation of the complex structure of the threefold but for which no multiple moves on the threefold. We showed in the previous paper that if there are no such surfaces, then the answer to the above question is yes. Moreover if the Picard number is 2, the answer was shown to be yes without any further assumptions on the Calabi-Yau threefold. The main results of this paper are for Picard number 3, where we prove boundedness in the case where there is at most one rigid non-movable surface, assuming the cubic form is smooth (thereby defining a real elliptic curve); in the two cases where the Hessian curve is singular, we also assume that the line defined by the second chern class does not intersect this curve at an inflexion point. In addition to the methods described in the previous paper, a further crucial tool in the proofs will be the classical Steinian involution on the Hessian of an elliptic curve.

研究の動機と目的

• ピカール数3のカラビ＝ヤウ3次元多様体が、立方体カップ積形式および第二チェーン類によって定義される線形形式に基づいて、有界族に属するかどうかを特定すること。
• 剛性のある非可動的面がモジュライ空間の有界性を妨げるか、あるいは可能にする役割を調査すること。
• ピカール数2の既存の有界性結果をピカール数3に拡張すること、特に関連する楕円曲線およびそのヘシアンが特定の幾何的性質を持つ場合を対象とすること。
• ヘシアンの滑らかさおよび包絡線的直線 $c_2 = 0$ が包絡点で交差しない条件が、有界性に与える影響を確立すること。

提案手法

• 実楕円曲線のヘシアンに対するシュタインィアン対合を、立方体形式の構造とその双対を分析するための主要な幾何的道具として用いる。
• 正のインデックスコーンおよび可動コーン $\overline{\mathrm{Mov}}(X)$ を適用し、正の高階コホロロジーを持つクラスを特定することで、可動倍数の存在を保証する。
• 剛性のある非可動的面 $E$ に対して $E \cdot D^2 > 0$ を満たすコーン $Q$ を定義し、これはカハラー・コーンを含み、可能な可動クラスを束縛するのを助ける。
• 提案された [6] の命題 2.2 を用いて $c_2 \cdot E$ および $E^3$ に対する代数的束縛を導出し、$E$ の可能なクラスの数を有限個に制限する。
• アフィン平面 $z=1$ における二次形式および立方体形式の漸近的挙動を分析し、関連領域で $E^2 \cdot D$ が負であることを示し、可動クラスの有界性を示す。
• 凸コーンの境界への点からの可視性条件を適用し、クラスが可動である可能性がある条件を特定し、変形パrameterの明示的上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 立方体形式が滑らかで、剛性のある非可動的面が高々1つである場合、ピカール数3のカラビ＝ヤウ3次元多様体が有界族に属するか。
• RQ2 ヘシアン曲線の特異性および直線 $c_2 = 0$ が実楕円曲線に対して包絡点で交差しない位置関係が、モジュライ有界性に与える影響は何か。
• RQ3 実楕円曲線のヘシアンに対するシュタインィアン対合を用いて、剛性のある非可動的面の可能性のあるクラスを分類・束縛することは可能か。
• RQ4 剛性のある非可動的面が存在する場合、どのような条件下で $\rho = 3$ のモジュライ空間が有界になるか。
• RQ5 与えられたコホロロジー的制約のもとで、剛性のある非可動的面のクラスの数は有限個に制限されるか。

主な発見

• 立方体形式が滑らかで、実楕円曲線が2つの成分を持つ場合、カハラー・コーンはヘシアンの有界成分上にある正のコーン内にあり、$X$ は有界族に属する。
• 実楕円曲線が1つの成分を持ち、ヘシアンが滑らかい場合、$X$ は剛性のある非可動的面 $E$ を含み、$E$ はヘシアンの有界成分によって定義される閉半コーン内にあり、$X$ は有界族に属する。
• ヘシアンが特異的であり、直線 $c_2 = 0$ が包絡点で実楕円曲線と交差しない場合、$X$ は剛性のある非可動的面 $E$ を含み、有界族に属する。
• $\rho = 3$ の場合、ヘシアンが滑らかで $b_3(X)$ が十分に大きいならば、$X$ は少なくとも2つの剛性のある非可動的面を含む必要がある。
• 任意の剛性のある非可動的面 $E$ のクラスは、$c_2 \cdot E$ および $E^3$ の制約により、有限個の可能性に制限される。
• パrameter $\lambda$ に対して、$D - \lambda E$ が可動であるような明示的上界 $\lambda_0$ が導出され、可動クラスの候補が有限個に制限される。