[論文レビュー] Mirrors, Functoriality, and Derived Geometry

Yuri I. Manin|arXiv (Cornell University)|Aug 9, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 38被引用数 3

ひとこと要約

本稿では、導来変形理論と$L_\pi$-代数を用いた量子コホモロジーの函手的アプローチを提案し、グロモフ＝ウィトテン不変量を介して、量子コホモロジーをコホモロジー環の導来的変形として定式化する。主な貢献は、拡張された変形空間に$F_\infty$-構造を導入し、フロベニウス多様体を一般化し、ミラー対称性のための函手的枠組みを提供することにある。

ABSTRACT

In this survey, I suggest to approach the problem of functorial properties of quantum cohomology by drawing lessons from several versions of Mirror duality involving deformation spaces.

研究の動機と目的

• 量子コホモロジーの函手的性質の謎を、変形理論の枠組みに埋め込むことにより解明すること。
• 特に変形空間を含むミラー対称性の構成が、豊かな函手的性質をどのように示すかを調査すること。
• 特に$L_\infty$-代数と$F_\infty$-多様体を用いた、導来的および拡張された構造による古典的変形理論の拡張。
• 導来的幾何的道具を用いて、量子コホモロジーとフロベニウス多様体構造との間の橋渡しを確立すること。
• 安定曲線のモジュラー操作の自己参照性を、導来的変形函手を通じて理解する概念的枠組みを提供すること。

提案手法

• 変形函手を形式化するために制御的$L_\infty$-代数を用い、DGLAに基づく変形理論を一般化する。
• 量子コホモロジーをノビコフ環$K_q$を介した$H^*(V)$の形式的変形としてモデル化するために、拡張された変形函手を適用する。
• genus-zero グロモフ＝ウィトテン不変量を符号化する潜在関数$\Phi$の3階微分を用いて、量子積を構成する。
• 形式的dg多様体上に$F_\infty$-構造を導入し、フロベニウス多様体の導来的一般化とする。
• $C_\infty$-代数の枠組みにおいて、多項括弧$[[\mu_\bullet, \mu_\bullet]]$のコホモロジー類を通じて$F_\infty$-恒等式を定義する。
• コンパクト空間のホッホシュィルトコホモロジーと特異コホモロジーは、ともにその形式的dg分解上で自然に$F_\infty$-構造を有する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、変形理論的手法を通じて、量子コホモロジーの函手的性質を体系的に理解できるか？
• RQ2 $L_\infty$-代数およびその拡張形は、どのようにしてコホモロジー環の変形として量子コホモロジーを符号化するか？
• RQ3 $F_\infty$-構造は、フロベニウス多様体をどのように一般化し、ミラー対称性のための導来的枠組みを提供するか？
• RQ4 安定曲線のモジュラー操作はどのような意味で自己参照的であり、導来幾何はその問題をどのように解決するか？
• RQ5 量子コホモロジー、グロモフ＝ウィトテン不変量、およびホッホシュィルトコホモロジーの形式的dg多様体上の$F_\infty$-構造との正確な関係は何か？

主な発見

• 量子コホモロジー$H^*_q(V)$は、3階微分が量子積を定義する潜在関数$\Phi$を介して、$H^*(V)$の形式的変形として実現される。
• 量子積は導来的設定において$F$-恒等式を満たし、$F_\infty$-構造に沿ってフロベニウス恒等式が一般化される。
• 結合的代数のホッホシュィルトコホモロジーに関連する形式的dg多様体は、自然に$F_\infty$-構造を有する。
• コンパクトな位相的空間の特異コホモロジーの形式的dg多様体に対しても、$F_\infty$-多様体としての性質が成り立つ。
• $F_\infty$-恒等式は、接層の$C_\infty$-代数上の多項括弧$[[\mu_\bullet, \mu_\bullet]]$のコホモロジー類の消滅に符号化されている。
• $\circ$-積と平坦構造の整合性から$F$-恒等式が導かれる。これは、導来的設定において平坦性とフロベニウス性の間に深い関係が存在することを示している。