[論文レビュー] Mirror symmetry and deformation quantization

Paul Bressler, Yan Soibelman|ArXiv.org|Feb 20, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 23

ひとこと要約

本稿は、フクヤカテゴリと滑らかな関数の変形量子化代数上の特異モジュールの圏の間の推測的同値性を提案する。フロアー理論的インスタントン数え上げを代数的ホモオフィズムに置き換えるために積分核を用いる。主な貢献は、カテゴリカル双対性を通じてミラー対称性と変形量子化を結びつける枠組みを提供することであり、de Rham複体と平坦接続を用いて局所的設定で検証されている。

ABSTRACT

The paper is devoted to the comparison of the Fukaya category (it is responcible for the A-side of mirror symmetry) with the category of holonomic modules over the quantized algebra of functions on the same symplectic manifold. We conjecture that these categories become $A_{\infty}$-equivalent after a twist by a kind of integral transformation.

研究の動機と目的

• シンプレクティック多様体上の滑らかな関数の量子化代数上の特異モジュールの圏とフクヤカカテゴリーの間のカテゴリカル同値性を確立すること。
• 非横断的性や恒等射の欠如といったフクヤカカテゴリーの基礎的問題を、代数的再定式化によって解決すること。
• 積分変換に基づく共通のカテゴリカル枠組みを構築することで、ミラー対称性と変形量子化を統合すること。
• ラグランジュ部分多様体から、コイソトロピック部分多様体および滑らかでない多様体へ対応を拡張すること。
• 特にカルラヤ多様体設定において、特異モジュールのモジュライ空間に複素構造がどのように現れるかを調査すること。

提案手法

• ラグランジュ部分多様体 $ L_1 $ と $ L_2 $ 上の局所系の間のフーリエ＝ムカイ変換として作用する核 $ K(L_1, L_2) $ を導入する。
• 平坦接続のテンソル積値 de Rham 複体を用いて、フクヤカカテゴリー内の射をモデル化する。
• $ \exp(\frac{1}{t}f_2) $ によるねじれを適用し、複体を標準 de Rham 複体に quasi-isomorphic に再結合する。
• 導来 Hom 空間による特異モジュールの変形を定義し、接空間が $ H^\bullet_{DR}(L) $ を含む完全列に収まるようにする。
• 曲率が $ \omega_X $ であるユニタリバンドルとテンソル積を取ることで、$ \text{Lagr}_X $ から $ \text{hol}(L) $ へのパスの持ち上げを構成する。
• 前量子線形束を用いて、変形されたラグランジュ部分多様体上の平坦接続を定義し、$ M(t) = M \otimes \rho(t) $ の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 フクヤカカテゴリーは、滑らかな関数の変形量子化代数上の特異モジュールを用いて代数的にモデル化可能か？
• RQ2 ホロノミックモジュールの間の同値性を誘導する正規化された積分核 $ K(L_1, L_2) $ が存在するか？
• RQ3 特異モジュールの変形は、ラグランジュグラスマンニアンにおけるその台の変形とどのように関係するか？
• RQ4 カルラヤ多様体におけるミラー対称性と整合する複素構造を、特異モジュールのモジュライ空間が持つか？
• RQ5 局所的ラグランジュ近傍を超えて、非横断的または遠く離れたラグランジュ部分多様体を含むように、構成をグローバル化可能か？

主な発見

• 局所的状況では、射複体 $ \text{Hom}_{D^b_\infty(\text{hol}(X))}(\rho_1, K(L_1,L_2) \circ \rho_2) $ は、$ \rho_1^* \otimes \rho_2 $ に値を持つ de Rham 複体に quasi-isomorphic である。
• $ \exp(\frac{1}{t}f_2) $ によるねじれは $ df_2 $ 項を消去し、標準 de Rham 複体への quasi-isomorphism を回復する。
• 特異モジュール $ M $ の変形モジュライ空間の接空間は完全列 $ H^1_{DR}(L) \to \text{Ext}^1_{\text{hol}(X)}(M,M) \to H^1_{DR}(L) $ に収まり、古典的変形空間が二重化されることを示唆する。
• 単純な特異モジュール $ M $ に対して、導来 Hom $ R\text{Hom}_{\text{hol}(L)}(M,M) $ は、$ \Omega^\bullet(L) $、つまり $ L $ の de Rham 複体に quasi-isomorphic である。
• パスの持ち上げ構成 $ M(t) = M \otimes \rho(t) $、ここで $ \rho(t) $ は前量子線形束の制限であるが、ラグランジュ変形をモジュール変形に持ち上げる方法を提供する。
• 提案された枠組みは、単純な特異モジュールの形式的変形モジュライ空間が、双対カルラヤ多様体の部分多様体と同型な複素構造を備える可能性を示唆している。