SYZ mirror of Hirzebruch surface $\mathbb{F}_k$ and Morse homotopy

技術的サマリー：ヒルツェブルフ曲面 $F_k$ の SYZ ミラーとモースホモトピー

問題提起
本論文は、複素多様体としてのヒルツェブルフ曲面 $F_k$ に対するホモロジカル・ミラー対称性（HMS）の確立という問題に取り組む。トーリック・ファノ曲面（具体的には $F_1$）に対する HMS は、以前、フタキ、カジウラ、および著者によってモースホモトピーを用いて確立されたが、非ファノの場合（$k \geq 2$ に対する $F_k$）への拡張は重大な課題を呈する。$F_1$ の場合とは異なり、$F_k$ に対するストリンガー・ヤウ・ザスロー（SYZ）ファイバーの双対座標は、モーメント多面体の座標を用いてラグランジュ断面の交点を直接計算できる形で明示的に表現することができない。さらに、モースホモトピー圏の振る舞いは、ファノの場合（$k=1$）と非ファノの場合（$k \geq 2$）とで異なり、特に圏の最小性に関して顕著な違いが見られる。

手法
著者は、双対トーラスファイバーを介したミラー対の SYZ 構成を採用し、モーメント多面体上のモースホモトピーの枠組みを利用する。これはフタキとカジウラ [9, 10, 16] のアプローチに従うものである。

1. SYZ 設定: 本論文は、ケーラー計量を備えたトーリック多様体としてのヒルツェブルフ曲面 $F_k$ を考察する。モーメント多面体 $P$ の内部上で双対トーラスファイバー $M \to B$ を構成する。ミラー多様体 $\check{M}$ は $B$ 上のトーラス束として同定される。
2. 複素側（DG 圏）: 複素側は、コヒーレント層の導来圏 $Db(\text{Coh}(F_k))$ によってモデル化される。著者は、導来圏を生成する完全な強例外系列 $\mathcal{O}, \mathcal{O}(1,0), \mathcal{O}(c,1), \mathcal{O}(c+1,1)$ からなる直線束の列 $Ec = (\mathcal{O}, \mathcal{O}(1,0), \mathcal{O}(c,1), \mathcal{O}(c+1,1))$ に焦点を当てる。特定の接続を備えたこれらの正則直線束からなる DG 圏 $DG(F_k)$ が定義される。
3. シンプレクティック側（モースホモトピー）: シンプレクティック側は、重み付きモースホモトピーの圏 $Mo(P)$によってモデル化される。この圏の対象は、双対トーラスファイバー$M \to B$のラグランジュ断面である。著者は、例外系列の直線束に対応するラグランジュ断面$L(a,b)$ を構成する。
4. 交点解析: 重要な技術的ステップは、これらのラグランジュ断面の交点を計算することである。一般的な $k$ に対して明示的な双対座標の扱いが困難であるため、著者は双対座標に関する交点を計算し（以前の研究 [16] で行われた方法に従う）、モーメント多面体 $P$ 内におけるこれらの交点の連結成分を調査する。
5. 射と微分: $Mo(P)$内の射空間は、特定の安定化多様体の条件（M1 および M2）を満たすラグランジュ断面の交点の連結成分によって張られる。微分$m_1$と合成$m_2$ は、勾配木およびそれらのシンプレクティック面積を介して定義される。

主要な貢献と結果

• 非ファノの場合への拡張: 主要な結果は、任意の正の整数 $k$ に対するヒルツェブルフ曲面 $F_k$ においてホモロジカル・ミラー対称性が成り立つことの証明である。これは、$F_1$ に対する以前の結果を、非ファノ領域（$k=2$ では弱ファノ、$k \geq 3$ では弱ファノですらない）へと拡張するものである。
• 圏の同値性: 本論文は、モースホモトピー圏の完全部分圏 $Mo_{Ec}(P)$ と、正則直線束の DG 圏の完全部分圏 $V'_{Ec}$（これは $DGEc(F_k)$ と準同型）との間の DG-準同型を確立する。
  $$Mo_{Ec}(P) \simeq V'_{Ec} \simeq DGEc(F_k)$$
  したがって、これらの DG 圏によって誘導される三角圏は同値である：
  $$Tr(Mo_{Ec}(P)) \simeq Db(\text{Coh}(F_k))$$
• 最小性の解析: 本論文は、モースホモトピー圏の最小性を調査する。
  • 完全な強例外系列 $Ec$に対して、部分圏$Mo_{Ec}(P)$は最小である（$k \geq 3$に対する高次積$m_k$ は消滅し、微分はこの特定の部分系列の生成元上で自明である）。
  • しかし、完全圏 $Mo(P)$は$k \geq 2$に対して**最小ではない**。著者は$F_2$に対する具体的な反例（具体的には$L(0,0)$と$L(-7,3)$の間の射の空間）を提供する。この場合、ラグランジュ断面の交点は非連結であり、異なる連結成分の間に勾配軌道が存在し、その結果として非自明な微分$m_1$が生じる。これは$Mo(P)$が最小である$F_1$ の場合とは対照的である。
• 明示的対応: 著者は、モースホモトピー圏の生成元（交点の連結成分）と複素側のコホモロジーの基底要素（正則断面）との間の明示的対応 $\iota$ を構成し、合成との整合性を示す。

意義
本論文は、ファノの場合を超えたより広範なクラスのトーリック曲面へ SYZ-モースホモトピーのアプローチを拡張した点において意義を有する。トーリック多様体自体のモーメント多面体（Abouzaid のアプローチ [1] における熱帯アモエバから導かれる多面体ではなく）を用いて $F_k$ ($k \geq 2$) に対する HMS が成り立つことを実証することにより、フタキ・カジウラの枠組みの堅牢性が検証された。これは、非ファノの場合において完全なモースホモトピー圏が非最小的な振る舞いを示す可能性がある一方で、完全な強例外系列に制限することで、コヒーレント層の導来圏との必要な同値性が回復されることを浮き彫りにしている。これは、非ファノのトーリック曲面に対するホモロジカル・ミラー対称性の具体的な例を提供するものである。