Landau--Ginzburg mirror symmetry for ADE singularities

技術要約：ADE特異点におけるランダウ＝ギンツブルク・ミラー対称性

問題設定
本論文は、ADE特異点に関するランダウ＝ギンツブルク（LG）ミラー対称性予想を取り扱う。具体的には、準同次特異点 $f$ と対角対称性の群 $G$ に関連する2つの異なる数学的理論の間の同型性を追求する：

1. B側： $(f, G)$ の「オービフォールド・サイト理論」。これは、対称性群を含むK. サイトの原始形式の理論を一般化したものであり、ドゥブロヴィン＝フロベニウス多様体を導出する。
2. A側： ベルグンド＝フックス＝ヘニントンソン（BHH）双対ペア $(\tilde{f}, \tilde{G})$ のファン＝ジャビス＝ルアン＝ウィッテン（FJRW）理論。これは、余弦的場理論（CohFT）およびそれに関連する種数ゼロのドゥブロヴィン＝フロベニウス多様体を構成する。

ADE特異点において対称性群 $G$ が自明な場合（$G=\{id\}$）のミラー対称性は以前に証明されているが、本研究は、$G$ が非自明な対角対称性の群である特定のケースへとこの証明を拡張するものである。本論文は、[BTW23] において特定された、3変数におけるADE特異点の非自明な許容対称群を表す、表1に記載された特定のペア $(f, G)$ に焦点を当てている。

手法
著者は、表1にリストされた特定の非自明な対称性群に対してミラー同型性を証明するために、2段階の戦略を採用している。証明は、ADE特異点において多様体の構造がペアリング、3点相関関数、および4点相関関数によって一意に決定されるという再構成補題（補題2.2）による分類に基づいている。

1. ステップ (i)：オービフォールド・サイト理論と古典的サイト理論の同値性

   • 本論文は、ペア $(f, G)$ と古典的な多項式 $\bar{f}$（ここで $G$ は自明）の間の「オービフォールド同値性」の概念を利用する。この同値性は、行列因子化の圏の同値性 $MF_G(f) \cong MF(\bar{f})$ を通じて確立される。
   • 負の巡回ホモロジーのモリタ不変性と、サイト理論の圏論的定式化（定理4.3）を援用することで、著者は $(f, G)$ の半無限ホッジ構造の変分（VSHS）が、$\bar{f}$ の古典的なサイト理論と同型であることを示す。
   • その結果、$(f, G)$ のオービフォールド・サイト理論のドゥブロヴィン＝フロベニウス多様体は、$\bar{f}$ の古典的なサイト理論と同型となる。

2. ステップ (ii)：FJRW理論と古典的サイト理論の同値性

   • 著者は、双対ペア $(\tilde{f}, \tilde{G})$（表1の各エントリーに対応）に対するFJRW理論をケースバイケースで計算する。
   • 計算には、「特異点の和」の公理を用いて、複雑な多項式をより単純な成分（例：$A_k$ または $D_k$ 型）に分解する手法を用いる。これらの成分のFJRW理論は既知であるか、あるいは計算が容易である。
   • 直接的な分解では不十分な非自明な群を含むケースについては、著者はWDVV（ウィッテン＝ディフガード＝ヴェルリンデ＝ヴェルリンデ）方程式と凹性公理を適用して、特定の4点相関関数を計算する。
   • 原始ベクトルを特定し、必要な相関関数を計算することで、各双対ペアのドブロヴィン＝フロベニウス多様体を再構成し、それが対応する $\bar{f}$ の古典的なサイト理論と同型であることを示す。

主要な結果
本論文は、表1に列挙された特定のADE特異点および非自明な対称性群に対して、LG＝LGミラー対称性予想が成立することを述べる定理1.1を証明する。証明は、以下の定理1.2に分解される。この定理は、特定のリストに含まれるすべての $(f, G)$ について以下を主張する：

• (i) $(f, G)$ のオービフォールド・サイト理論は、特定の多項式 $\bar{f}$ の古典的なサイト理論と同型である。
• (ii) 双対ペア $(\tilde{f}, \tilde{G})$ のFJRW理論は、同じ $\bar{f}$ の古典的なサイト理論と同型である。

対象となる具体的なケースには、非自明な対角対称性群（例：$\frac{1}{2}(0, 1, 1)$ や $\frac{1}{3}(1, 2, 0)$ によって生成される群）を持つ様々な $A_k$, $D_k$, $E_6$ 特異点が含まれる（詳細は表1を参照）。

意義および主張
著者は、本研究が、Bモデルに非自明な対称性群を備えた場合の、ドブロヴィン＝フロベニウス多様体としてのレベルでのLG＝LGミラー対称性の同型性を証明した最初の例であることを主張している。具体的には、表1に記載されたケースについてである。

• Krawitz [K10] による先行研究は、ベクトル空間のレベルでの同型性を確立した。
• その後の Francis ら [FJJS] による研究は、フロベニウス代数のレベルでの同型性を確立した。
• 本論文は、列挙された範囲内の非自明な群を持つ場合について、これらの結果をドブロヴィン＝フロベニウス多様体の完全な幾何学的構造へと拡張するものである。
• 本論文は、[BT22] の研究に続き、非自明なBモデル群を持つこのようなミラー対称性の同型性の、既知の2番目の例であることを記している。

著者は、オービフォールド・サイト理論における余弦的場理論は、このノート内では標準的な意味では定義されていないが、ギヴェンタル（Givental）の形式論を通じて再構成可能であることを明示しており、これはミラー対称性が余弦的場理論のレベルでも成立すること（Teleman の結果と一致する）を示唆している。本研究は、[BTW23] で提供されたADE特異点の許容対称性群の分類に強く依存している。