Enumerative geometry and modularity in two-modulus K3-fibered Calabi-Yau threefolds

題名：二つのモジュラスを持つK3ファイバー化されたカラビ・ヤウ三次元多様体における計数幾何学とモジュラリティ

問題設定
本論文は、K3曲面によってファイバー化されたカラビ・ヤウ（CY）三次元多様体の構成およびその計数幾何学について扱う。完全交差（CICY）やトーリック多様体内の超曲面としてCY三次元多様体を分類する試みには大きな進展があったが、完全な分類は依然として困難であり、大部分の幾何学的構造はこれらの範疇から外れていると考えられる。具体的には、著者らは、$M_m$偏極K3曲面（ピカール数が19）によってファイバー化された $Y$ と、そのミラーとなる $X$ からなる、系統的な二パラメータのCYミラー対 $(X, Y)$ の構築に焦点を当てている。目的は、新しい非トーリックなケースにおいてDoran-Harder-Thompson (DHT) ミラー予想を検証すること、および、トポロジカル弦の自由エネルギーと計数不変量（ゴパクマール・ヴァファおよびドナルドソン・トマス不変量）を計算し、それらの共形群 $\Gamma_0(m)^+$ の下でのモジュラリティを調査することである。

手法
著者らは、ミラー対称性とDHT予想によって結び付けられた、Bモデル（複素構造）とAモデル（ケーラー構造）の構築を組み合わせた双方向のアプローチを採用している。

1. Bモデルの構築 ($Y$):

   • 著者らは、$M_m$偏極K3曲面によってファイバー化されたCY三次元多様体の族 $Y^{[i,j]}_{m,s}$ を構築する。
   • このファイブレーションは、汎用的な関数不変写像 $\Lambda: \mathbb{P}^1 \to X_0(m)^+$（ここで $X_0(m)^+$ は合同部分群 $\Gamma_0(m)^+$ に付随するモジュラー曲線）を通じて定義される。
   • この写像は整数 $(m, i, j, s)$ によってパラメータ化されており（$m \leq 11$）、$s$ は分岐プロファイルを制御する。複素構造のモジュライ $z_1, z_2$ が全空間を決定する。
   • 周期は、K3ファイバーの基本周期の複素積分を通じて計算され、これによりピカール・フックス微分作用子の導出が行われる。

2. Aモデルの構築 ($X$):

   • ミラー $X^{[i,j]}_{m,s}$ は、ピカール数が1であるファノ四次元多様体 $V^{[i,j]}_m$ 上の射影束内の完全交差として構築される。
   • $m \leq 4$ の場合、これらの幾何学はCICYまたはトーリック多様体内の超曲面として実現される。$m \geq 5$ の場合、これらは本質的に非トーリックであり、グラスマン多様体の束の中の完全交差、あるいはファノ三次元多様体の二重被覆として実現される。
   • この構築はDHT予想を利用している。すなわち、$X$ は、次数 $m$ の一対のファノ三次元多様体が、その反標準的K3曲面上で交わるというTyurin退化（Tyurin degeneration）を許容する。$s=0$ のとき、$X$ 自体がK3ファイブレーションを持つ。

3. 計数およびモジュラー解析:

   • 著者らは、大きなベース極限（$S \to i\infty$）における種数0および種数1のトポロジカル自由エネルギー（$F^{(0)}$ および $F^{(1)}$）を計算する。
   • 著者らは、ゴパクマール・ヴァファ（GV）不変量とネーター・レフシェッツ（NL）不変量の関係を利用する。NL不変量の生成級数は、$\Gamma_0(m)^+$ の下でベクトル値モジュラー形式（またはスキュー・ホロモーフィック・ヤコビ形式）として変換することが期待されている。
   • GV不変量を自由エネルギーから抽出することにより、期待されるモジュラリティを検証する。
   • 非ゼロのベース次数の場合、ベース次数1および2の生成級数を構築し、モノドロミー群の下での変換特性を検証する。

主要な貢献

• 39組のミラー対の一様な構築: 本論文は、整数四つ組 $(m, i, j, s)$ によってラベル付けされた39組のCYミラー対の族を導入している。これには、$A$ モデルの幾何学 $X$ 自体がK3ファイバー化されている $s=0$ の26モデルが含まれる。
• 非トーリックな実現: 著者らは、$m \geq 5$ のモデルに関する明示的な幾何学的構築を提供しており、これらはトーリックな周囲空間における完全交差として実現できない。これらは、ファノ四次元多様体上の射影束内の完全交差、あるいはトーリックモデルからのコニフォールド遷移を通じて構築される。
• DHT予想の検証: 本研究は、AモデルのTyurin退化をBモデルのK3ファイブレーションへと明示的に結びつけることで、DHT予想を支持する多くの新しい例を提供している。
• モジュラー形式の特定: 著者らは、Tyurin退化近傍におけるトポロジカル自由エネルギーの一様な公式を導出している。得られるGVおよびNL不変量の生成関数が、Fricke拡張された合同部分群 $\Gamma_0(m)^+$ の下でスキュー・ホロモーフィック・ヤコビ形式となることを示している。また、種数0の自由エネルギーの5階微分が、$\Gamma_0(m)^+$ の下で重み6の有理的モジュラー形式になることを示している。
• 高次ベース次数の不変量: 論文では、固定された非ゼロのベース次数（特に次数1および2）に対するGV不変量の生成級数を計算し、そのモジュラー特性を示すことで、垂直な不変量に限定されていた従来の成果を拡張している。

結果

• トポロカル不変量: 構築された一族のホッジ数、交差数、および第二チェルン類に関する明示的な公式を提供する。
• 自由エネルギー: 大きなベース極限における種数0および1の自由エネルギーの一様な表現が得られる。種数0の自由エネルギーは重み $-4$ の正則なアイヒラー積分に関連しており、種数1の自由エネルギーはモジュラー形式とエータ積の対数項を含む。
• モジュラリティ: 垂直なGV不変量の生成級数は、指数 $m$ のスキュー・ホロモーフィック・ヤコビ形式に対応することが確認されている。種数0の自由エネルギーの5階微分は、$\Gamma_0(m)^+$ の下での重み6の有理的モジュラー形式であることが示されている。
• コニフォールド遷移: 二パラメータのモデルと一パラメータのハイパージオメトリック・モデル（および非トーリックな類似物）を接続するコニフォールド遷移の詳細を述べ、トポロジカル不変量がこれらの遷移の下で一貫して振る舞うことを検証している。
• 特定のケース: 構築は $m \in \{1, \dots, 9, 11\}$ をカバーしている。特筆すべきは、$m=11$ のケースであり、これは特定のファノ三次元多様体上の錐（cone）として構成された指数2のファノ四次元多様体を含み、ファノ三次元多様体 $A_{22}$ の二重被覆となっている。

意義
本論文は以下の領域において重要であると主張している：

1. 景観（Landscape）の拡大: 著者らは、非トーリックな例を含む、二つのモジュラスを持つK3ファイバー化されたCY三次元多様体の広範なクラスを体系的に構築しており、これによりCICYやトーリック超曲面を超えた既知のCY幾何学の範囲を広げている。
2. ミラー対称性のテスト: 本研究は、Hodge数や幾何学的退化の予測を裏付けることで、DHTミラー予想の厳密なテストベッドを提供し、複雑な非トーリックの設定における検証を行っている。
3. モジュラリティと双対性: 結果は、K3ファイバー化されたCYの計数不変量がモジュラー形式によって支配されるという物理的な期待を支持している。これはヘテロティック／タイプII双対性に結びついており、不変量の生成級数はヘテロティック側における「新しい超対称インデックス」に対応する。垂直および非垂直の不変量（低次ベース次数において）の両方に対する $\Gamma_0(m)^+$ モジュラリティの検証は、これらの双対性の予測に対する数学的な証拠を提供している。
4. 計算フレームワーク: 著者らは、結果を再現するための明示的な公式とMathematicaノートブックを提供しており、弦理論における計数幾何学およびモジュラー形式のさらなる研究を促進するものである。

著者らは、ベース次数1および2のモジュラー生成級数は決定したが、より高いベース次数の性質や高次種数の不変量はより複雑であり、今後の研究課題であると謙虚に述べている。また、彼らの構築は、全てのピカール数2のK3ファイバー化されたCY（特にそのミラーがK3ファイバー化されていないもの）を網羅しているわけではないことも認めている。