Intrinsic mirror symmetry for orbifold cubic surfaces and the $A_1$ spherical DAHA

技術的要約：オービフォールド立方曲面の固有ミラー対称性と $A_1$ 球面 DAHA

問題設定
本論文は、特定のクラスの対数 Calabi–Yau ペア $(Y, D)$（ここで $Y$ は滑らかな多様体ではなく、オービフォールド（滑らかな Deligne–Mumford スタック）である）に対する固有ミラー代数の構成について取り組んでいる。具体的には、著者らは $Y$ を3つのノード（$A_1$ 特異点）を持つ射影的立方曲面とし、$D$ をこれらのノードと交わらない直線の三角形とする。滑らかな極大対数 Calabi–Yau 曲面に対する固有ミラー構成は、Gross–Hacking–Keel および Gross–Siebert によって対数 Gromov–Witten 不変量を用いて確立されているが、オービフォールドへの一般化は、オービフォールド対数 Gromov–Witten 理論の完全な発展の欠如により、未完成のままであった。著者らは、オービフォールド点（特異点）が $Y \setminus D$ 内に位置する場合、オービフォールド構造と対数構造を独立して扱うことができるという性質を利用し、このギャップを埋めることを目的としている。

手法
著者らは、散乱図（scattering diagrams）と折れ線（broken lines）の枠組みを用いて、ミラー代数を構築する。手法は、古典的（可換）なケースと量子（非可換）なケースの2つの主要な段階を経て進行する。

1. 幾何学的セットアップとトロピカル化: 曲面 $Y$ は、$\mathbb{P}^2$ の一連の吹上げ（blow-up）と、特定の $(-2)$-曲線（$(-2)$-curves）の縮退によって実現される。ペア $(Y, D)$ のトロピカル化 $(B, \Sigma)$ は、$\mathbb{R}^2$ を対合 $(x, y) \mapsto (-x, -y)$ による商として捉えたときの錐複体（cone complex）として特定され、これは滑らかな立方曲面のトロピカル化と同一である。
2. オービフォールド対数 Gromov–Witten 不変量: コアとなる計算課題は、genus-zero および高次 genus のオービフォールド対数 Grom–Witten 不変量を計算することである。オービフォールド点は境界因子 $D$ と離れているため、著者らは既存のオービフォールド安定写像理論と対数安定写像理論を組み合わせて利用する。彼らは、標準的な散乱図に寄与する曲線クラス（直線や conic など）に対して、ノードを通過する、あるいは境界に接するようなものを含め、不変量を明示的に計算している。
3. 散乱図の構成:
   • 古典的: genus-zero の不変量を用いて、標準的な散乱図 $\mathcal{D}_{\text{can}}$ を構築する。彼らは、図のレイ（ray）に付随する関数を、関連する曲線クラスの寄与を合計することによって決定する。
   • 量子: top $\lambda$-class 挿入を伴う高次 genus の不変量を用いて、量子標準散乱図 $\widehat{\mathcal{D}}_{\text{can}}$ を構築する。これには $q = e^{i\hbar}$ による $q$-変形が含まれる。
4. 代数の構成: 固有ミラー代数 $R(Y, D)$ およびその量子変形 $\widehat{R}(Y, D)$ は、一貫した散乱図に関連付けられた $\theta$ 関数によって生成される代数として定義される。構造定数は、指定された電荷（charge）と端点を持つ折れ線のペア（古典的または量子）を数え上げることで計算される。

主要な貢献および結果

• 固有ミラー代数 (Theorem 1.1): 著者らは、可換な固有ミラー代数 $R(Y, D)$ の明示的な表示を決定した。これは、モノイド代数 $k[\text{NE}(Y)]$ における単項式を用いた特定の 3 次関係式に従う3つの元 $\vartheta_{v_1}, \vartheta_{v_2}, \vartheta_{v_3}$ によって生成される。関係式は以下の通りである：
  $$\vartheta_{v_1}\vartheta_{v_2}\vartheta_{v_3} = t_{D_1}\vartheta_{v_1}^2 + t_{D_2}\vartheta_{v_2}^2 + t_{D_3}\vartheta_{v_3}^2 + t_H + t_{2D-H} - 2t_D$$
  ここで $t_C$ は曲線クラス $C$ に対応する単項式を表す。

• キャラクタ多様体のミラー対称性 (Corollary 1.4): クラス $D$ によって定義される1パラメータの部分族にミラー族を制限することにより、得られる方程式が、一度穴の開いたトーラスの相対キャラクタ多様体 $\text{Ch}_{\tau}^{1,1}(\text{SL}(2))$ の方程式と一致することを示す。これにより、$(G, G^\vee) = (\text{PGL}(2), \text{SL}(2))$ という Langlands 双対群のペアと、曲面 $(g, n) = (1, 1)$ に対する予想 1.3 が確認された。具体的には、オービフォールド立方曲面 $Y$（$D$ を除いたもの）は、相対キャラクタ多様体 $\text{Ch}_{\tau}^{1,1}(\text{PGL}(2))$ のコンパクト化であり、その固有ミラー族は相対 $\text{SL}(2)$ キャラクタ多様体の族と同型である。

• 量子ミラー代数と DAHA (Theorem 1.2 および Corollary 1.5): 著者らは、非可換結合代数 $k_q[\text{NE}(Y)]$ 上の量子固有ミラー代数 $\widehat{R}(Y, D)$ を構築する。生成元は、$A_1$ 球面二重アフィン・ヘッケ代数（DAHA）に似た $q$-変形された交換関係を満たす。特定の基底変換の下で、この量子ミラー代数は $A_1$ 球面 DAHA $SH_{q, t}$ と同型であることが示される。これは、固有ミラー構成を通じて DAHA の幾何学的実現を与えるものである。

• 不変量の明示的な計算: 本論文は、特定の曲線クラスに関するオービフォールド対数 Grom–Witten 不変量の詳細な計算を提供しており、オービフォールド点（ノード）の存在が、特にノードを通過する直線の 2 重被覆の寄与を通じて、曲線の計上をどのように変化させるかを明らかにしている。

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

1. オービフォールド・ミラー対称性の進展: オービフォールド点を含むペア $(Y, D)$ に対して、固有ミラー代数の最初の明示的な決定を提供し、オービフォールド点が境界から離れている場合に、この構成が自然に一般化できることを示した。
2. キャラクタ多様体のミラー対称性: 一度穴の開いたトーラスの Langlands 双対群のキャラクタ多様体の間のミラー対称性の予想に対し、具体的な検証を行った。これは、$\text{PGL}(2)$ のキャラクタ多様体（オービフォールド立方コンパクト化を通じて）の幾何学と、$\text{SL}(2)$ の相対キャラクタ多様性を結びつけるものである。
3. DAHA の幾何学的起源: 量子固有ミラーとしてのオービフォールド立方曲面と、$A_1$ 球面二重アフィン・ヘッケ代数（DAHA）との間の直接的な繋がりを確立した。これにより、DAHA が $N=2^*$ ゲージ理論におけるライン演算子を記述するという物理的な期待と整合するように、高次 genus の Gromov–Witten 理論から DAHA を回収している。

本研究は、特定のノードを持つ立方曲面の幾何学と、確立された対数 Gromov–Witten 不変量の理論に依拠しており、これらのツールをオービフォールドの設定へと拡張することで、これらの代数的構造を導出している。