[論文レビュー] Categorical primitive forms and Gromov-Witten invariants of $A_n$ singularities

Andrei Căldăraru, Si Li+1 more|arXiv (Cornell University)|Oct 11, 2018

Algebraic structures and combinatorial models参考文献 6被引用数 6

ひとこと要約

本稿は、行列因数分解圏 MF(1/(n+1)x^{n+1}) における Saito の原始形式のカテゴリカルな類似を導入し、一意（スカラー倍を除いて）のカテゴリカル原始形式の存在を証明する。得られる genus-zero カテゴリカル Gromov-Witten 不変量は、特異点の展開による Saito の方法で得られるものと正確に一致し、四点不変量 ⟨x,x,x^{n-1},x^{n-1}⟩ は 1 に等しい。

ABSTRACT

We introduce a categorical analogue of Saito's notion of primitive forms. Let $W$ denote the potential $\frac{1}{n+1} x^{n+1}$. For the category $MF(W)$ of matrix factorizations of $W$ we prove that there exists a unique, up to non-zero constant, categorical primitive form. The corresponding genus zero categorical Gromov-Witten invariants of $MF(W)$ are shown to match with the invariants defined through unfolding of singularities of $W$.

研究の動機と目的

• A_n 特異点の行列因数分解の文脈において、Saito の原始形式のカテゴリカルな類似を構築すること。
• このカテゴリカル原始形式を用いて、genus-zero カテゴリカル Gromov-Witten 不変量を定義および計算すること。
• これらの不変量が、特異点の古典的展開手続きから得られる不変量と正確に一致することを確立すること。
• 行列因数分解圏におけるカテゴリカル Gromov-Witten 理論の基礎的ケーススタディを提供すること。
• 形式的べき級数の設定における段階的計算の手続きを通じて、カテゴリカル枠組みが特異点理論からの既知の不変量を回復できることを示すこと。

提案手法

• カテゴリカル原始形式を、MF(1/(n+1)x^{n+1}) のホッホシュタインコホーモロジーにおける形式的べき級数として導入し、特定の平坦性条件を満たすものとする。
• ホッホシュタインコホーモロジー上のホッジフィルトレーションの良い分割を定義し、ホッジ構造と整合する分割の選択に対応させる。
• Li-Li-Saito の再帰的アルゴリズムを用いて、形式的変形パラメータの段階的展開でカテゴリカル原始形式を計算する。
• 生成関数を、exp(−∑t_i b_i / u)ζ = ω + u^{-1}J_{-1} + u^{-2}J_{-2} + ⋯ という式により構成する。ここで ζ は原始形式である。
• ムカイ双線形形式と平坦座標を用いて、係数 J_{-k} から genus-zero のポテンシャル関数 F を抽出する。
• m-adic フィルトレーションにおける段階的展開を実行し、四点関数を計算し、Saito の不変量と一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 カテゴリック圏 MF(1/(n+1)x^{n+1}) に対して、Saito の原始形式のカテゴリカル類似が存在するか？
• RQ2 このカテゴリカル原始形式を用いて定義された genus-zero カテゴリカル Gromov-Witten 不変量は、特異点の展開によって得られる不変量と等価か？
• RQ3 四点不変量 ⟨x,x,x^{n-1},x^{n-1}⟩ はカテゴリカル枠組みから正確に古典的値に一致する形で回復可能か？
• RQ4 形式的べき級数の設定における段階的計算は、Frobenius多様体構造と平坦座標とどのように関係するか？
• RQ5 ホッジフィルトレーションの分割とムカイ双線形形式は、カテゴリカルデータからポテンシャル関数を再構成する際に果たす役割は何か？

主な発見

• カテゴリック圏 MF(1/(n+1)x^{n+1}) に対して、非ゼロスカラー倍を除いて一意のカテゴリカル原始形式が存在する。
• カテゴリカル原始形式を用いて計算された genus-zero カテゴリカル Gromov-Witten 不変量は、Saito の特異点展開によって得られる不変量と正確に一致する。
• 四点関数 ⟨x,x,x^{n-1},x^{n-1}⟩ は 1 に評価され、特異点理論からの古典的不変量と一致することが確認された。
• 生成関数の段階的展開により計算が行われ、J_{-2}^{(2)} と J_{-2}^{(3)} は再帰的アルゴリズムを用いて明示的に導出された。
• 平坦座標 τ_k は変形パラメータ t_i と τ_k = −t_k + ∑(j−n/2)t_{n+1+k−j}t_j + O(t^3) の関係にある。この関係により、Frobenius多様体構造と整合性が保証された。
• ポテンシャル関数の偏導関数は J_{-2}^l(τ) で与えられ、τ=0 における四階微分 ∂⁴F/∂τ₁²∂τ_{n−1}² は 1 を与え、主要な不変量が確認された。