[論文レビュー] Mirror symmetry for weighted projective planes and their noncommutative deformations

Denis Auroux, Ludmil Katzarkov+1 more|arXiv (Cornell University)|Apr 15, 2004

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

ひとこと要約

本稿は、重み付き射影平面およびその非可換変形について、導来圏の同型を明示的に構成することにより、ホモロジカルミラー対称性を確立する。重み付き射影平面の両立的層の導来圏と、鏡のLandau-Ginzburgモデルにおけるラグランジュ的消失サイクルの導来圏との間の同値性を構築し、Lefschetzファイブレーションの積構造とA∞-圏技術を用いて、消失サイクルのFukaya型圏が代数的圏と一致することを証明する。これはSeidelのℂℙ²に関する結果を特異Fano多様体および非可換変形へと拡張するものである。

ABSTRACT

We study the derived categories of coherent sheaves of weighted projective spaces and their noncommutative deformations, and the derived categories of Lagrangian vanishing cycles of their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves (B-branes) on the weighted projective plane $\CP^2(a,b,c)$ is equivalent to the derived category of vanishing cycles (A-branes) on the affine hypersurface $X=\{x^ay^bz^c=1\}\subset (\C^*)^3$ equipped with an exact symplectic form and the superpotential $W=x+y+z$. Hence, the homological mirror symmetry conjecture holds for weighted projective planes. Moreover, we also show that this mirror correspondence between derived categories can be extended to toric noncommutative deformations of $\CP^2(a,b,c)$ where B-branes are concerned, and their mirror counterparts, non-exact deformations of the symplectic structure of $X$ where A-branes are concerned. We also obtain similar results for other examples such as weighted projective lines or Hirzebruch surfaces.

研究の動機と目的

• Calabi-Yau多様体からFano多様体、特に重み付き射影平面とHirzebruch曲面へとホモロジカルミラー対称性（HMS）を拡張すること。
• 鏡のLandau-Ginzburgモデルにおけるラグランジュ的消失サイクルの圏を通じて、重み付き射影平面上の両立的層の導来圏の明示的実現を提供すること。
• Fano多様体の非可換変形に対する最初の明示的ミラー対応を記述し、代数的幾何とシンプレクティック位相幾何を結びつけること。
• 重み付き射影空間を用いて、特異的Fano曲面（オーロラ特異点を有する）に対してSeidelのℂℙ²に関するHMS結果を一般化すること。

提案手法

• 鏡のLandau-Ginzburgモデルを、(ℂ*)³内の特徴的超曲面{x^a y^b z^c = 1}として構成し、シンプレクティックファイブレーションW: X → ℂを定義する。
• トーリック鏡の仮説を用いて鏡の幾何を定義し、KontsevichのHMSフレームワークをFano多様体に適用する。
• Seidelのラグランジュ的消失サイクルの導来圏理論を用いて、Aモデル圏D(Lag_vc(W))を定義する。
• Lefschetzファイブレーションの積構造を用いて、重み付き射影平面の両立的層の導来圏と消失サイクルの圏との間のA∞-同値性を確立する。
• ラグランジュ的L_ijの辞書的順序に基づく交差とFloer複体の組み合わせ的記述を用い、射が2つの基本ファイブレーションからの射のテンソル積と同型であることを示す。
• ファイブレーション積に整合する擬全純円板とほぼ複素構造を用いて、A∞-関係、特にA∞-積構造m₂がホモトピー類で成り立つことを検証する。

実験結果

リサーチクエスチョン

• RQ1 ホモロジカルミラー対称性は、Calabi-Yau多様体から重み付き射影平面のようなFano多様体へと拡張可能か？
• RQ2 Fano多様体の非可換変形は、鏡のLandau-Ginzburgモデルにおいてどのように現れるか？
• RQ3 重み付き射影平面の鏡におけるラグランジュ的消失サイクルの圏の正確なA∞-構造は何か？
• RQ4 2つのLefschetzファイブレーションの積構造は、導来圏における射空間のテンソル積構造をどのように反映するか？
• RQ5 Maslov指数とグレーディングは、代数的圏とシンプレクティック圏を一致させる際に果たす役割は何か？

主な発見

• 重み付き射影平面ℙ(a,b,c)上の両立的層の導来圏は、x^a y^b z^c = 1によって定義される鏡のLandau-Ginzburgモデルにおけるラグランジュ的消失サイクルの導来圏と、準同型的同値（quasi-equivalent）である。
• Fukaya型圏の射空間は、2つの基本Lefschetzファイブレーションからの射空間のテンソル積と同型であり、積構造m₂はA∞-積のテンソル積で与えられる。
• 消失サイクルの圏は、ペア(i,j)で添え字づけられたラグランジュ的L_ijによって生成され、辞書的順序と位相一致に基づく交差およびグレーディングが整合する。
• 鏡の圏のA∞-構造は、2つのより単純なA∞-圏の積によって完全に決定され、高次合成m_kはホモトピー類で積構造と整合する。
• 非正確なシンプレクティック形式とB場を用いることで、重み付き射影平面の非可換変形が鏡で記述可能となり、代数的非可換変形がシンプレクティック位相幾何を介して実現される。
• Hirzebruch曲面ℱ₀およびℱ₁の場合は、2つの重み付き射影直線の積として取り扱われ、ミラー対称性フレームワークがファイブレーション積構造と整合することを確認する。