Homological Mirror Symmetry for Affine Log Calabi-Yau Surfaces

=== 草稿 ===
問題設定

本論文は、滑らかな複素アフィン・ログ・カルディ＝ヤウ曲面に対するホモロジー的ミラー対称性（HMS）予想を扱う。具体的には、このような曲面 $U$ が与えられたとき、その「ミラー」対象となるオブジェクト $U^\vee$（有限型の準射影的 $\mathbb{Z}$-スキーム）を構成することを目的とする。ここで、$U^\vee$ 上の連接層の派生圏は、$U$ のリウヴィル完備化 $\widehat{U}$ のラップド・フカヤ圏と等価である。

曲面 $U$ は、滑らかな射影曲面 $Y$ における既約で有効な反標準的な因子 $D$ の補集合 $Y \setminus D$ として定義される。本論文では、コンパクト化 $(Y, D)$ の幾何学に基づき、以下の重複しない2つのケースを区別している：

1. ルーイェンガ・インテリア（Looijenga interior）: 任意のログ・カルディ＝ヤウ・コンパクト化において、$D$ が少なくとも一つのノードを含む場合。
2. 楕円型（Elliptic）: $D$ が滑らか（楕円曲線）である場合。

ラップド・フカヤ圏 $W(\widehat{U}, k)$ は変形同値の範囲でウェルディファインドであるが、任意の体 $k$ に対して、明示的に代数的なミラー $U^\vee$ を構成し、等価性 $D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$ を証明することは、特に従来のアルゴリズムがそれほど一様ではなかった楕円型の場合において、依然として困難な課題である。

手法

著者のアプローチは、$U$ のシンプレクティック幾何学を「有理レイ・ダイアグラム（rational ray diagrams）」を介して組合せ論的データへと翻訳し、既存のミラー対称性の定理を適用することに基づいている。手法は以下の3つの主要な段階で進行する：

1. 一般化されたトーリック・モデルの構成:
   本論文は、すべての公的なアフィン・ログ・カルディ＝ヤウ曲面が「一般化されたトーリック・モデル」を持つことを確立している。これには、滑らかな射影トーリック曲面 $(X, D_X)$ から出発し、「ノードの平滑化（nodal smoothing）」（境界成分の連鎖を滑らかな曲線へと変形させること）を行い、さらに特定の点（具体的には境界因子上の点 $-1 \in \mathbb{G}_m$）における一連の「非トーリック・ブローアップ（non-toric blowups）」を行うプロセスが含まれる。

   • ルーイェンガ・インテリアの場合、モデルは境界成分を平滑化およびブローアップしたトーリックな始点から導かれる。
   • 楕円型の場合、モデルは $\mathbb{P}^2$ または $\mathbb{P}^1 \times \mathbb{P}^1$ から導かれる。著者は、コーナーをノードに置き換える局所的な修正である「シミントン・トライアングル（Symington triangles）」と「ノード・トレード（nodal trades）」を利用して、非トーリック・ブローアップを符号化する。楕円型の場合、構成は、必要な数の離れたシミントン・トライアングルを埋め込むための特定のマルコフ・トリプル（例：$(29, 5, 2)$）に依存する。

2. 有理レイ・ダイアグラムによる符号化:
   幾何学的な操作（ブローアップおよびノード・トレード）は、「有理レイ・ダイアグラム」$R$ へと翻訳される。このダイアグラムは、原点から出発する $\mathbb{R}^2$ 内の有限個の有理傾斜を持つレイの集合で構成され、各レイにはノード（またはブローアップ）の数を表す非負整数としての多重度が付与されている。

   • このダイアグラムは、リウヴィル多様体 $U_R$（フォーカス・フォーカス特異点を持つ almost toric 束ファイブレーションを介して）と、対応する代数スキーム $U^\vee_R$（レイのファンによって定義されるトーリック曲面に対して、トーリック・ブローアップおよび $-1$ における非トーリック・ブローアップを行うことで構成される）を定義する。

3. シンプレクティック・トレリ（Symplectic Torelli）論法:
   核心となる技術的貢献は、元の曲面 $U$ に関連付けられたリウヴィル多様体 $\widehat{U}$ が、ダイアグラムから構成された多様体 $U_R$ と強的に正確なシンプレクトモルフィズム（strongly exact symplectomorphic）であることを証明することである。

   • 著者は、ホロモーフィック体積形式を用いて、境界因子の補集合上に「優先的な次数構造（preferred grading structure）」を構築する。
   • シンプレクティック・トレリの定理（特に直交ペアに関するログ・カルディ＝ヤウ・ペアの定理）を用い、代数的コンパクト化 $(Y, D'')$ と almost toric コンパクト化 $(M_{AT}, D_{AT})$ のシンプレクティック不変量（交差形式およびシンプレクティック面積）が一致することを実証する。
   • この一致は、次数を保存する強的に正確なシンプレクトモルフィズム $\Phi: \widehat{U} \to U_R$ の存在を意味する。

主要な貢献と結果

• ミラーのアルゴリズム的構成: 本論文は、あらゆるアフィン・ログ・カルディ＝ヤウ曲面 $U$ に対して、そのミラー $U^\vee$ を構成するための明示的かつアルゴリズム的な手順を提供している。
  • ケース1（ルーイェンガ）: ミラーは、$U$ のトーリック・モデルのファンを取り、境界因子上の $-1$における非トーリック・ブローアップを行うことで得られる。ブローアップの数は、$U$ のモデルにおける非トーリック・ブローアップによって決定される。
  • ケース2（楕円型）:
    • $U = \mathbb{P}^1 \times \mathbb{P}^1 \setminus V_{2,2}$ の場合、ミラーはコーナーでのトーリック・ブローアップと $-1$ での非トーリック・ブローアップを通じて構成される。
    • その他の楕円型の場合（自己交差数 $d = D^2 \in \{1, \dots, 9\}$ によって特徴付けられる）、ミラーは、レイ $(1, 0), (7, 1), (-41, -5), (2d-17, -2)$ と、それぞれに付随する多重度 $9-d, 1, 1, 1$ を持つ特定のファンによって定義される。
• ミラー対称性の証明: 主定理（定理 1.4）は、任意のアフィン・ログ・カルディ＝ヤウ曲面 $U$ に対して、構成されたスキーム $U^\vee$ が任意の体 $k$ における $k$-ミラーであることを述べている。すなわち：
  $$D^\pi W(\widehat{U}, k) \cong D^b \text{Coh}(U^\vee_k)$$
• 一様性: 本論文は、楕円型に対して、従来のアルゴリズム（Hacking–Keating によるものなど）と比較して、より一様なアプローチを提供しており、有理レイ・ダイアグラムの枠組みを通じて異なる楕円曲面を統一的に扱っている。
• 次数の保存: 重要な技術的結果は、構成されたシンプレクトモルフィズムが、ログ・カルディ＝ヤウ条件によって誘導される自然な次数構造を保存することの証明であり、これは $A_\infty$ 圏の同値性に必要である。

意義と主張

本論文は、問題を Hacking および Keating [12] の既知の結果に帰着させることにより、特定のアフィン・ログ・カルディ＝ヤウ曲面のクラスに対する HMS 予想を確立している。著者は、この結果が [12] の主定理の「特殊なケース」であることを明言しており、その新規性は、$U$ のシンプレクティック幾何学をモデル化する特定の有理レイ・ダイアグラムの構成にあるとしている。

本研究の意義は二重である：

1. アルゴリズムへのアクセシビリティ: パネレーヴェ（Painlevé）特性多様体（ケース1に含まれる特定のファミリーとして言及）を含む幅広い曲面に対して、ミラー・スキームを生成するための具体的な手法を提供している。
2. 理論的統一: シンプレクティック・トレリの定理と正確な固有レイ・ダイアグラム（exact eigenray diagrams）の概念を利用することで、代数的なミラーの構成と元の空間のシンプレクティック位相幾何学との間の溝を埋め、任意の体 $k$ において同値性が成立することを保証している。

著者は、ケース1におけるトーリック・モデルの計算は計算コストが高くなる可能性があるものの、そのプロセスは理論的にはアルゴリズム的であると述べている。本論文は新しい実験的な応用を提案するものではなく、むしろ、リウヴィル多様体に関する Eliashberg-Gromov の構造的結果と、ログ・カルディ＝ヤウ・ペアの代数幾何学に依拠しながら、この特定の幾何学的設定におけるミラー対称性の理論的枠組みを強固にするものである。