[論文レビュー] Homological mirror symmetry of Fermat polynomials

So Okada|arXiv (Cornell University)|Oct 11, 2009

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

ひとこと要約

この論文は、重み付き射影空間内のフェルマー超曲面の両側の導来有理同値性を示すことにより、フェルマー多項式におけるホモロジカルミラー対称性を確立する。主な結果は、$H_n$-不変性と$\hat{H}_n$-商を介して$\mathrm{D}^b(\mathrm{Coh}Y_n)$と$\mathrm{FS}(Y_n)$を結ぶ双対性枠組みであり、安定性条件、モジュラー形式、ホッホシュタインホモロジーとも関連している。

ABSTRACT

We discuss homological mirror symmetry of Fermat polynomials in terms of derived Morita equivalence between derived categories of coherent sheaves and Fukaya-Seidel categories (a.k.a. perfect derived categories of directed Fukaya categories), and some related aspects such as stability conditions, (kinds of) modular forms, and Hochschild homologies.

研究の動機と目的

• 導来カテゴリと$A_\infty$-構造を用いて、フェルマー多項式$F_n = x_1^n + \cdots + x_n^n$におけるホモロジカルミラー対称性を確立すること。
• フェルマー超曲面$Y_n$上の両側の有理的層の導来カテゴリと、そのミラーのフューカイ＝サイデルカテゴリとの間の導来モルタ同値性を証明すること。
• $A_n$型クイバーと重み付き行列因子化の文脈において、安定性条件、モジュラー形式、ドナルドソン＝トーマス不変量の相容れ合いを調査すること。
• オルビフォールドフェルマー超曲面$Y_n$のホッホシュタインホモロジーとペオンカーポリノミアルを計算し、オイラー特徴標数$(n-1)^n$を明らかにすること。
• $H_n = G_n / \text{diagonals}$とその双対$\hat{H}_n$が、軌道カテゴリとdg強化を用いてミラー双対を構成する役割を明確にすること。

提案手法

• $X_n$をフェルマー多項式$F_n: \mathbb{C}^n \to \mathbb{C}$と定義し、$G_n = (\mu_n)^n$が対角的に作用する$Y_n = \mathbb{C}^n / G_n$を定義する。
• モルシフィケーションを用いた、順序付き消滅サイクルの$A_\infty$-カテゴリの完全導来カテゴリとして、フューカイ＝サイデルカテゴリ$\mathrm{FS}(X_n)$を構成する。
• $\mathrm{D}^b(\mathrm{Coh}X_n)$と$\mathrm{D}^b(\mathrm{Coh}Y_n)$のdg強化を用い、$H_n$-不変コンパクト生成子を用いてミラー双対を定義する。
• $\mathrm{FS}(Y_n)$を、$\mathrm{FS}(X_n)$の$\hat{H}_n$-軌道カテゴリの完全導来カテゴリとして定義し、$A_\infty$-カテゴリ上の$\hat{H}_n$作用を活用する。
• フューカイ＝サイデルカテゴリのクンネットの公式を適用し、$\mathrm{Perf}({\mathcal{A}}_{n-1}^\bigotimes n) \cong \mathrm{FS}(X_n)$を示す。ここで${\mathcal{A}}_{n-1}$は重み付き行列因子化のdg代数である。
• 同値$\mathrm{D}^b(\mathrm{Coh}X_n) \cong \mathrm{DGrB}(F_n)$とアウスランダー＝ライテン理論を用い、安定対象を特定し、一般化クライナークイバーを介して拡張閉部分カテゴリを計算する。

実験結果

リサーチクエスチョン

• RQ1 導来モルタ同値性を用いて、フェルマー多項式$F_n = \sum x_i^n$におけるホモロジカルミラー対称性をどのように確立できるか？
• RQ2 有理的層の導来カテゴリ$\mathrm{D}^b(\mathrm{Coh}Y_n)$とそのミラー$X_n$のフューカイ＝サイデルカテゴリとの間の明確な関係は何か？
• RQ3 安定性条件$\mathrm{D}^b(\mathrm{Coh}Y_n)$は、一般化クライナークイバーとドナルドソン＝トーマス不変量の構造とどのように関係しているか？
• RQ4 安定対象の拡張閉部分カテゴリにおける半安定対象の生成関数から、どのようなモジュラー形式が生じるか？
• RQ5 オルビフォールドフェルマー超曲面$Y_n$のホッホシュタインホモロジーは何か？また、ペオンカーポリノミアルとオイラー特徴標数とはどのように関係しているか？

主な発見

• 導来カテゴリ$\mathrm{D}^b(\mathrm{Coh}Y_n)$は、$H_n$-不変性と$\hat{H}_n$-商を介してフューカイ＝サイデルカテゴリ$\mathrm{FS}(Y_n)$と導来モルタ同値であり、双対性はこの構造によって実現される。
• $Y_n$のペオンカーポリノミアルは$P(Y_n, q) = \sum_{2 \leq j \leq n, 2 \leq k \leq j} n^{n-j} \binom{n}{j} (-1)^{j-k} P(\mathbb{P}^{k-2}, q)$として計算され、明示的な値は：$1$、$q+7$、$q^2+13q+67$、$q^3+21q^2+181q+821$。
• $Y_n$のオイラー特徴標数は$(n-1)^n$であり、ホッホシュタインホモロジーを用いて計算され、$P(Y_n, 1) = (n-1)^n$が確認された。
• $n=5$の場合、連続する安定対象$\mathcal{O}_{X_5} > \tilde{\tau}^{-1}(\mathcal{O}_{X_5})$は、次数1および2の矢印、および次数3のループを持つ重み付き一般化クライナークイバーを生成する。
• 生成関数$\sum_{m>0} m^{1-k} \mathcal{J}_m(q)$は、奇数$k$に対してエイゼンスタイン級数またはアイヘラー積分をもたらし、$k = -1$では準モジュラー形式$E_2(z) - E_2(2z)$を与える。
• クイバー内の次数1の矢印の数は、2つの安定対象の数的クラスのモジュライ空間のドナルドソン＝トーマス不変量に一致する。