[論文レビュー] Homological mirror symmetry on noncommutative two-tori

Hiroshige Kajiura|ArXiv.org|Jun 25, 2004

Advanced Algebra and Geometry参考文献 55被引用数 7

ひとこと要約

本稿は、非可換2次元トーラスに対してホモロジカルミラー対称性の枠組みを確立する。Bモデル側では、正則ベクトル束の循環的微分付き小領域（DG）カテゴリを構成し、Aモデル側ではT双対性を用いてFukayaの$A_\infty$-カテゴリを定義する。高次積が循環的構造と整合することを証明し、Massey積に対する明示的なフェยnマン則を導出することで、循環的$A_\infty$-カテゴリとしての両カテゴリ間の同値性に幾何的基盤を提供する。

ABSTRACT

Homological mirror symmetry is a conjecture that a category constructed in the A-model and a category constructed in the B-model are equivalent in some sense. We construct a cyclic differential graded (DG) category of holomorphic vector bundles on noncommutative two-tori as a category in the B-model side. We define the corresponding Fukaya's category in the A-model side, and prove the equivalence of the two categories at the level of cyclic categories. We further write down explicitly Feynman rules for higher Massey products derived from the cyclic DG category. As a background of these arguments, a physical explanation of the mirror symmetry for noncommutative two-tori is also given.

研究の動機と目的

• 非可換2次元トーラスへのホモロジカルミラー対称性の拡張を、正則ベクトル束のBモデルカテゴリを定義することによって行う。
• T双対性を用いてAモデル側を構成し、Fukayaの$A_\infty$-カテゴリフレームワークを適用する。
• 循環的構造のレベルで、Bモデルの循環的DGカテゴリとAモデルの$A_\infty$-カテゴリの同値性を確立する。
• 循環的DGカテゴリにおける高次Massey積に対する明示的なフェイnマン則を導出する。
• 非可換性$\theta$の物理的役割がDブレーンの安定性および$t$-構造とどのように関係するかを明確化する。

提案手法

• 非可換2次元トーラス上の正則ベクトル束の循環的DGカテゴリを、Bモデルカテゴリとして明示的に構成する。
• T双対性を用いてAモデル側を定義し、$SL(2,\mathbb{Z})$変換を用いて非可換トーラスをその鏡像双対に写像する。
• ヘイゼンベルクモジュールおよびそのテンソル積を用いて、非可換設定におけるDブレーンおよび開弦をモデル化する。
• 格子点の和とエルミート多項式を含むフェイnマンに類似た規則を用いて、高次Massey積を導出する。
• 三重積$\tilde{m}^B_3$を$v, w \in \mathbb{Z}$に関する和として表し、$\hat{\rho}$および$T$に依存する指数関数的およびエルミート多項式の項を含む。
• 得られた表現をFukayaカテゴリの幾何的面積項に関連付け、ホモトピー的整合性を示す。

実験結果

リサーチクエスチョン

• RQ1 循環的$A_\infty$-カテゴリを用いて、非可換2次元トーラスにおけるホモロジカルミラー対称性をどのように定式化できるか？
• RQ2 Dブレーンの安定性および$t$-構造の観点から、非可換性$\theta$の物理的解釈は何か？
• RQ3 Bモデルカテゴリにおける高次Massey積は、Aモデル側の幾何的構造とどのように関係するか？
• RQ4 循環的DGカテゴリにおけるMassey積に対して、明示的なフェイnマン則を導出できるか？
• RQ5 T双対性は、カテゴリカルレベルでの非可換2次元トーラスのミラー対称性をどのように実現するか？

主な発見

• 非可換2次元トーラス上の正則ベクトル束の循環的DGカテゴリが明示的に構成され、ホモロジカルミラー対称性のBモデル側が提供された。
• Aモデル側はT双対性を用いてFukayaの$A_\infty$-カテゴリとして実現され、構造定数は$SL(2,\mathbb{Z})$変換から導出された。
• 三重Massey積$\tilde{m}^B_3$は、格子点$v, w \in \mathbb{Z}$に関する和として計算され、$\hat{\rho}$および$T$に依存するエルミート多項式および指数関数的項を含む。
• $\tilde{m}^B_3$の表現は、変数$s = v' - \alpha_a/2$, $t = w' + \alpha_b/2$を用いて書き直され、幾何的形$\exp(2\pi i \hat{\rho}(3s^2 + 4st + t^2))$をとる。
• 得られた構造はFukayaカテゴリの$A_\infty$-構造における面積項と一致し、両カテゴリ間のホモトピー同値性を示唆する。
• 本稿では、積構造が循環的対称性と整合することを証明し、完全なホモロジカルミラー対称性への重要な一歩を確立した。