[論文レビュー] Noncommutative homological mirror functor

Cheol-Hyun Cho, Hansol Hong+1 more|arXiv (Cornell University)|Dec 22, 2015

Geometric and Algebraic Topology参考文献 50被引用数 15

ひとこと要約

本稿は、ラグランジュ・フロア理論を用いて、非可換 Landau-Ginzburg モデルの行列因数分解へと写像する、構成的で非可換なホモロジカルミラー関手を導入する。この関手により、楕円的オルビフォールド、穿孔付きリーマン面、非コンパクトなカーバイ-ヤウ3次元多様体に対して関手的ミラー対称性を確立する。Etingof-Ginzburg、Bocklandt、Smith の既存の結果を回復・統合し、楕円的オルビフォールドの非可換ミラーとして、アフィン・デル・ペッツォ表面の明示的変形量子化を構成する。

ABSTRACT

We formulate a constructive theory of noncommutative Landau-Ginzburg models mirror to symplectic manifolds based on Lagrangian Floer theory. The construction comes with a natural functor from the Fukaya category to the category of matrix factorizations of the constructed Landau-Ginzburg model. As applications, it is applied to elliptic orbifolds, punctured Riemann surfaces and certain non-compact Calabi-Yau threefolds to construct their mirrors and functors. In particular it recovers and strengthens several interesting results of Etingof-Ginzburg, Bocklandt and Smith, and gives a unified understanding of their results in terms of mirror symmetry and symplectic geometry. As an interesting application, we construct an explicit global deformation quantization of an affine del Pezzo surface as a noncommutative mirror to an elliptic orbifold.

研究の動機と目的

• 非可換 Landau-Ginzburg モデルを用いた、シンプレクティック多様体に対する構成的で関手的なホモロジカルミラー対称性の手法の開発。
• 幾何的・代数的枠組みを用いて、楕円的オルビフォールドおよびデル・ペッツォ表面に関する既存のミラー対称性の結果を統合・強化すること。
• A-infinity 圏と弱 Mauer-Cartan 理論に裏打ちされた、Fukaya 圏から行列因数分解の圏への体系的で明示的なミラー関手の構成。
• 埋め込みラグランジュ部分多様体とクーヴ・代数を用いることで、非トーリックかつ非コンパクトな設定へ SYZ プログラムを拡張すること。
• 明示的なスーパーポテンシャル構成を用いて、複素代数的表面の変形量子化を非可換ミラーとして実現すること。

提案手法

• フィルター付き A-infinity 圈と弱 Mauer-Cartan 要素を用いて、非可換基底環上の A-infinity 代数を定式化する。
• 1つの埋め込みラグランジュ部分多様体から非可換ミラーを構成し、時空スーパーポテンシャルを定義し、非可換設定における Mauer-Cartan 方程式を解く。
• 中心性定理を適用して、ミラーのスーパーポテンシャルが量子積と可換であることを保証し、代数的整合性を維持する。
• 複数のラグランジュ部分多様体が関与する場合、パス代数とクーヴ・代数を用いてミラー圏をモデル化する。特にデイマー・モデルにおいて有効である。
• 有限群作用と等変形行列因数分解を用いて、重み付きミラー関手を導入し、オルビフォールドおよびカーバイ-ヤウ幾何を扱う。
• シータ関数とモジュラー性を用いて、楕円曲線を射影空間に明示的に埋め込み、ミラー整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュ・フロア理論を用いて、シンプレクティック多様体に対する非可換 Landau-Ginzburg モデルを体系的にミラーとして構成する方法は何か？
• RQ2 非可換設定における、Fukaya 圏から行列因数分解の圏へのミラー関手の明確な形は何か？
• RQ3 この構成は、Etingof-Ginzburg、Bocklandt、Smith の既存の結果をどのように回復・一般化するのか？
• RQ4 アフィン・デル・ペッツォ表面のような代数的表面の変形量子化が、この関手的枠組みを用いて非可換ミラーとして実現可能か？
• RQ5 シータ関数とモジュラー不変性は、楕円曲線およびオルビフォールドのミラー幾何を検証するために果たす役割は何か？

主な発見

• 本稿は、楕円的オルビフォールドに対して、アフィン・デル・ペッツォ表面の変形量子化として明示的な非可換ミラーを構成し、非可換代数の新しい幾何的実現を提供する。
• 楕円曲線 $E_\tau$ のミラースーパーポテンシャルは、シータ関数の比として与えられ、$a = K A = \frac{\theta[0,0](\tilde{u},\tilde{\tau})}{\theta[3/4,0](\bar{u},\tilde{\tau})}$ であり、$b, c, d$ に対しても同様の式が成り立ち、$ac + bd = 0$ を満たす。
• 写像 $(a:b:c:d)$ は、2つの分岐2重被覆の合成を用いて、楕円曲線 $E_\tau$ を $\mathbb{P}^3$ に埋め込み、ミラー幾何が適切に定義されかつ単射であることを確認する。
• 4個の穿孔付き球面およびピロウケースに対しては、基準ラグランジュ部分多様体の多角形分割とフロア理論を用いてミラーを構成し、ミラー・デイマー・モデル $Q^\vee$ を得る。
• 非コンパクトなカーバイ-ヤウ3次元多様体（二次微分形式に関連する）に対しても、拡張されたミラー関手を定義し、コンパクトでない設定へのミラー対応を一般化する。
• この構成により、Sklyanin 代数が弱 Mauer-Cartan 関係として実現され、非可換代数とミラーにおけるスーパーポテンシャルが結びつく。