[论文解读] Higher structures, quantum groups, and genus zero modular operad

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

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

一句话总结

本文通过使用凯利的丰富范畴形式化，将二次代数范畴进行丰富化，引入了量子上同调的更高范畴框架，实现了树层次模形式（co）操作代在量子线性空间上的量子化作用。关键贡献是利用科兹ul对偶性和$−$-丰富化，构建了一个‘量子化’的操作代作用，揭示了在亏格零量子上同调中更深层的代数结构，并解决了模形式操作代的自指性问题。

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.

研究动机与目标

• 通过丰富范畴和二次代数，发展量子上同调的更高范畴框架。
• 通过凯利的丰富化，将科兹ul对偶性和操作代结构推广到二次代数的设定中。
• 解决在量子上同调中亏格零模形式操作代未解决的自指性问题。
• 构建树层次模形式（co）操作代在量子线性空间（作为二次代数）上的量子化作用。
• 阐明超交换代数和循环$\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$上的量子化作用。
• 将$\mathcal{M}$-代数定义为与图粘合兼容的函子$\mathbb{OpEnd}\,L \to H^*\mathcal{M}$，编码模形式操作代的作用。
• 通过满足$\mathbb{S}_n$-对称性、循环性和结合性公理的多重线性运算，刻画循环$\mathrm{hyperCom}$-代数。
• 将该框架应用于量子上同调，表明光滑射影流形$V$的$H^*(V)$自然携带一个循环$\mathrm{hyperCom}$-结构。

实验结果

研究问题

• RQ1 如何通过一种方式丰富二次代数范畴，以捕捉量子上同调中的高阶代数结构？
• RQ2 科兹ul对偶在将操作代作用提升到量子线性空间层次中起到什么作用？
• RQ3 树层次模形式（co）操作代如何以自指方式作用于其自身组件？
• RQ4 量子上同调的结构能否通过丰富化操作代作用形式化为$\mathcal{M}$-代数？
• RQ5 在$\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)$。
• 亏格零模形式操作代表现出自指性，其组件既是二次代数，又承载同一操作代的作用，暗示深层的内在对称性。
• 该框架为研究$\overline{M}_{0,n}$（$n \geq 6$）的格罗莫夫-威滕不变量，特别是反 canonical 区域，提供了范畴化机制。
• 通过将操作代的（co）乘法提升到二次代数的丰富范畴，该构造实现了树层次模形式（co）操作代的‘量子化’版本。