Mirror symmetry for gCICY threefolds (I): a $[3,-1]$ block and a non-Gorenstein toric phase

技術的要約：gCICY 三重項に対するミラー対称性 (I)

問題設定
本論文は、一般化完全交差（gCICY）三重項に対するミラー・パートナーの存在と構成について扱っている。標準的な射影空間の直積における完全交差（CICY）多様体とは異なり、gCICYは構成行列に負の成分を持つことを許容する。これらの負の成分は、「一般化された切断」に対応しており、これはアンビエント空間上には存在しないが、中間多様体への制限後に切断を獲得するラインバンドルの切断である。

具体的な課題は、特定のgCICY $X_+$ の存在に起因する。この $X_+$ は以下の構成行列によって定義される：
$$X_+ = \left[ \begin{array}{c|c} \mathbb{P}^1 & 3 \\ \mathbb{P}^4 & 2 & -1 & 3 \end{array} \right]$$
ホッジ数 $(h^{1,1}, h^{2,1}) = (2, 46)$ を持つ。著者は、この系の「マイナス」チャンバーに対する自然なアンビエント空間が、ゲーレンシュタイン（Gorenstein）ではないトーリック $\mathbb{Q}$-ファノ多様体（$\frac{1}{2}(1,1,1,1,1)$ 商特異点を持つ）であることを指摘している。その結果、バティレフ・ボリス（Batyrev–Borisov）構成は適用不可能であり、このケースに対してミラー対称性を確立するための新しいアプローチが必要となる。

手法
著者は、ミラー・ファミリー $Y$ を構成し、ミラー対応を検証するために、多段階的な幾何学的および解析的手法を用いている：

1. 補助的表現と GIT チャンバー:
   $X_+$ を定義する一般化された切断は、ランク2のトーラス作用 $(\mathbb{C}^*)^2$ を伴う補助変数による表現を通じて実現される。これにより、10次元のコックス空間における多項式方程式系が導かれる。この系における幾何学的不変量理論（VGIT）の変分は、2つの異なるチャンバーをもたらす：

   • チャンバー $C_+$: 元の gCICY $X_+$ を与える。このアンビエント空間は $\mathbb{Q}$-ファノではなく、定義されるラインバンドルはネフ（nef）ではない。
   • チャンバー $C_-$: ビラショナルなモデル $X_-$ を与え、これはトーリック $\mathbb{Q}$-ファノ8重項におけるネフな完全交差である。$X_+$ と $X_-$ は、16個の互いに素な $(-1, -1)$-曲線による同時フロップ（simultaneous flop）によって関連付けられている。

2. ミラー・ファミリーの構成:
   $X_-$ のアンビエント空間の非ゲーレンシュタイン性によりバティレフ・ボリスの双対性が失敗するため、著者は $C_-$ チャンバーにおけるトーリック境界のネフ分解に関連する ホリ・ヴァファ（Hori–Vafa）方程式 を利用する。これらの方程式は、$(\mathbb{C}^*)^4$ における2パラメータ・ローラン・ファミリーの超曲面を定義する。

   • このローラン・モデルの滑らかな射影的クリーペント（crepant）コンパクト化 $Y$ が構成される。これには、二重被覆モデルを経由し、種数1のファイブレーションをワイエルシュトラス（Weierstrass）モデルへと変換するプロセスが含まれる。
   • 著者は、$Y$ が滑らかなカラビ・ヤウ（Calabi–Yau）三重項であることを保証するために、（特定の点や曲線の吹上げを含む）ワイエルシュトラス基底における特異点の明示的なクリーペント分解を行う。

3. 周期計算とピカール・フックス（Picard–Fuchs）系:
   ミラー・ファミリーの基本周期は、コンパクトなトーラス上の積分として計算される。著者は、この周期を零化するランク6のピカール・フックス微分演算子系 ($L_2, L_3$) を導出する。

   • 彼らは、これら2つの境界点（最大非退化極限）におけるインディシャル代数（indicial algebra）が、それぞれ $X_-$ および $X_+$ の有理 even コホモロジー環と同型であることを示す。

4. 種数ゼロの予測と検証:
   周期を用いて、著者はユカワ結合（Yukawa couplings）とプレポテンシャルを計算し、種数ゼロのグロモフ・ウィッテン（Gromov–Witten）不変量を生成する。これらの予測は、A側（具体的には $X_- \to \mathbb{P}^2$ の種数1ファイブレーション上の垂直線と二次曲線の計数）の独立した計数計算に対してテストされる。

主要な貢献と結果

• 非ゲーレンシュタイン gCICY に対するミラーの存在: 本論文は、標準的なトーリック・ミラー構成が失敗する gCICY に対して、ミラー・ファミリー $Y$ を構築することに成功した。ミラー $Y$ のホッジ数は $(h^{1,1}, h^{2,1}) = (46, 2)$ であり、ミラー対称性で期待される入れ替えと一致している。
• A側のビラショナル幾何学: 著者は、$X_+$ と $X_-$ が曲線のフロップによって関連付けられていることを確立した。$X_-$ は $\mathbb{P}^2$ 上の種数1ファイブレーション（index 4）を保持している。
• モルデルの・ヴェイユ（Mordell–Weil）群: ミラー $Y$ の楕円体表現は、非常に一般的なパラメータの下で $\mathbb{Z}/4\mathbb{Z}$ に同型なモルデルの・ヴェイユ群を持つことが示された。この捩れ群は、$X_-$ の種数1ファイブレーションの index 4 に対応しており、これは index 4 ファイブレーションの物理学からの期待と一致している。
• コホモロジー同型: 論文は、ピカール・フックス系の2つの境界点におけるインディシャル代数が、$R_-$（$X_-$ のコホモロジー環）および $R_+$（$X_+$ のコホモロジー環）と同型であることを証明している。これは、$Y$ が両方のチャンバーのAモデルのミラーであることの強力な証拠を提供している。
• 計数の合致: Bモデル（ミラー）から導かれた種数ゼロの予測は、独立したAモデルの計数と一致している：
  • 176本の垂直線
  • 100本の垂直二次曲線
    これらの計数は、$X_-$ の種数1ファイブレーション上で行われた。

意義
本論文は、ミラー対称性がゲーレンシュタイン・トーリック・ファノ多様の領域を超えて拡張されることを示している。これは、バティレフ・ボリス構成が不十分であっても、ホリ・ヴァファ方程式と明示的なクリーペント分解を通じてミラー・パートナーを構築できる具体的な例を提供している。本研究は、ビラショナル幾何学（フロッピング・チャンバー）、ホッジ理論（ピカール・フックス系）、および計数幾何学（グロモフ・ウィッテン不変量）を、一般化された完全交差のクラスにおいて統合している。その結果は、「負の成分」を持つgCICYのミラーが、元のgCICYとそのビラショナルな（正の）ネフ対応物のコホモロジーを符号化する滑らかな射影多様体として実現できることを裏付けている。