[論文レビュー] Higher structures, quantum groups, and genus zero modular operad

Yuri I. Manin|arXiv (Cornell University)|Feb 12, 2018

Advanced Topics in Algebra参考文献 21被引用数 3

ひとこと要約

本稿は、ケリーの豊密カテゴリ形式を用いて二次代数の圏を豊密化することで、量子コホモロジーの高階カテゴリカル枠組みを導入する。これにより、木の段階のモジュラー（余）オペラッドが量子線形空間に作用するように量子化された作用が可能になる。主な貢献は、コーゾル双対性と$−$-豊密化を用いた「量子化された」オペラッド作用の構成であり、これは genus zero における量子コホモロジーのより深い代数的構造を明らかにするとともに、モジュラー・オペラッドの自己参照的性質に対処するものである。

ABSTRACT

In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"), and quadratic algebras of their inner (co)homomorphisms. Soon it was understood (E. Getzler and J. Jones, V. Ginzburg, M. Kapranov, M. Kontsevich, M. Markl, B. Vallette et al.) that the class of {\it quadratic operads} can be introduced and the main theorems about quadratic algebras can be generalised to the level of such operads, if their components are {\it linear spaces} (or objects of more general monoidal categories.) When quantum cohomology entered the scene, it turned out that the basic tree level (genus zero) (co)operad of quantum cohomology not only is {\it quadratic} one, but its {\it components are themselves quadratic algebras.} In this short note, I am studying the interaction of quadratic algebras structure with operadic structure in the context of enriched category formalism due to G. M. Kelly et al.

研究の動機と目的

• 豊密カテゴリと二次代数を用いた量子コホモロジーの高階カテゴリカル枠組みの構築。
• ケリーの豊密化を用いて、二次代数の文脈におけるコーゾル双対性とオペラッド構造を一般化すること。
• 量子コホモロジーにおける genus zero モジュラー・オペラッドの未解決な自己参照的性質に対処すること。
• 量子線形空間（二次代数としての）に木の段階のモジュラー（余）オペラッドの量子化作用を構成すること。
• ハイパーコミュタティブ代数と循環的$\mathrm{hyperCom}$-構造が量子コホモロジーの文脈において果たす役割を明確化すること。

提案手法

• ケリーの豊密カテゴリ形式を用いて、二次代数の圏$\mathbb{QA}$を$\mathbb{QA}$-豊密化された圏へと上げる。
• 反変双対関手$!$を適用して二次代数上の双対構造を定義し、$A^{!} = (A_1^*, R(A)^\perp)$を導出する。
• 豊密化されたホモオブジェクト$P(n)^! \circ \underline{\mathrm{Hom}}(Q^{\otimes n}, Q^{\otimes n})$を用いて、オペラッド$P$が二次代数$Q$に作用する量子化作用を構成する。
• グラフの接合と整合する関手$\mathbb{OpEnd}\,L \to H^*\mathcal{M}$として$\mathcal{M}$-代数を導入し、モジュラー・オペラッドの作用を符号化する。
• $\mathbb{S}_n$対称性、循環性、結合則公理を満たす多重線形作用素を用いて、循環的$\mathrm{hyperCom}$-代数を特徴付ける。
• この枠組みを量子コホモロジーに適用し、滑らかで射影的多様体$V$に対して$H^*(V)$が自然に循環的$\mathrm{hyperCom}$-構造をもつことを示す。

実験結果

リサーチクエスチョン

• RQ1 量子コホモロジーにおける高階代数的構造を捉えるために、二次代数の圏をどのように豊密化できるか？
• RQ2 コーゾル双対性は、オペラッド作用を量子線形空間の段階へと上げる際に果たす役割は何か？
• RQ3 木の段階のモジュラー（余）オペラッドは、自身の成分に対して自己参照的にどのように作用するか？
• RQ4 量子コホモロジーの構造は、豊密化されたオペラッド作用を通じて$\mathcal{M}$-代数として形式化可能か？
• RQ5 Gromov–Witten不変量$\overline{M}_{0,n}$（$n \geq 6$）の背後にある正確な代数的構造は何か？

主な発見

• ケリーの形式を用いることで、二次代数の圏$\mathbb{QA}$は$\mathbb{QA}$-豊密化が可能であり、これにより高階カテゴリカル構造が実現される。
• オペラッド$P$が二次代数$Q$に作用する量子化作用は、豊密化されたホモオブジェクト$P(n)^! \circ \underline{\mathrm{Hom}}(Q^{\otimes n}, Q^{\otimes n})$によって実現され、これは古典的オペラッド作用を一般化する。
• 循環的$\mathrm{hyperCom}$-代数は、$\mathbb{S}_n$対称性、循環性、結合則を満たす多重線形作用素によって特徴付けられ、滑らかで射影的な$V$に対して$H^*(V)$がその自然な例を与える。
• genus zero モジュラー・オペラッドは自己参照的である。その成分は二次代数であり、かつ同じオペラッドの作用をもつため、深い内部的対称性を示唆する。
• この枠組みは、特にアンチカノニカル領域において、$\overline{M}_{0,n}$（$n \geq 6$）のGromov–Witten不変量を研究するためのカテゴリカルなメカニズムを提供する。
• この構成により、オペラッドの（余）乗法を二次代数の豊密化された圏へと上げることで、木の段階のモジュラー（余）オペラッドの「量子化」版が実現される。