[论文解读] Wheeled props in algebra, geometry and quantization

Sergei Merkulov|arXiv (Cornell University)|Nov 17, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 42被引用 12

一句话总结

本文引入轮状普罗普（wheeled props）作为代数、几何与量子化中的统一框架，通过图形化的‘基因组’编码非线性微分方程的解——例如，李1-双代数用于描述泊松结构。关键贡献在于建立了微分几何李1-双代数与量子BV流形之间的对应关系，其同伦转移公式等价于巴蒂林-维利科夫斯基量子化中的费曼图展开。

ABSTRACT

These are expanded notes of author's talk at the ECM 2008 attempting to give an elementary introduction into the main ideas of the theory of wheeled props for beginners, and also a survey of its most recent major applications (ranging from algebra and geometry to deformation theory and Batalin-Vilkovisky quantization) which might be of interest to experts.

研究动机与目标

• 为初学者提供轮状普罗普的可及性介绍，并综述其在高级数学与理论物理中的近期应用。
• 通过轮状普罗普建立几何与物理结构的导出范畴与简单代数对象之间的深层联系。
• 证明几何与物理中关键非线性微分方程的解空间由作为紧凑图形数据解析的轮状普罗普所控制。
• 形式化一个量子BV流形范畴，其态射尊重准经典极限与上同调结构。
• 表明在此语境下基于库尔兹对偶的∞-结构同伦转移等价于量子场论中的费曼图展开。

提出的方法

• 使用图语言表示代数结构及其关系，将其视为编码于轮状普罗普中的‘基因组’。
• 应用库尔兹对偶理论，将∞-结构从微分几何李1-双代数转移到上同调，生成量子主函数。
• 将量子BV流形定义为配备满足量子主方程的量子微分ΔΓ的正式流形。
• 引入准经典分裂的量子BV流形概念，并构造保持拉格朗日理想与上同调结构的态射。
• 通过带装饰图的求和推导同伦转移公式，其形式与量子场论中的费曼图相似。
• 建立∞-普罗普𝒰ℒie¹ℬ∞的表示与形式流形V ⊕ V*[1]上量子BV结构之间的一一对应关系。

实验结果

研究问题

• RQ1 轮状普罗普如何作为统一语言，编码跨多种数学与物理理论的代数与几何结构？
• RQ2 微分几何李1-双代数与量子BV流形之间的确切关系是什么？如何通过同伦转移形式化这一关系？
• RQ3 在此语境下，∞-结构的同伦转移公式在多大程度上与量子场论中的费曼图展开一致？
• RQ4 每个量子准经典分裂BV流形是否可分解为极小与可缩分量？这对上同调分类意味着什么？
• RQ5 几何与物理结构的导出范畴如何与编码于轮状普罗普中的简单图形数据的解析相关联？

主要发现

• 局部泊松结构方程的解空间由轮状普罗普（李1-双代数）控制，其由两个生成元及特定关系构成。
• ∞-普罗普𝒰ℒie¹ℬ∞的表示与任意微分几何向量空间V的对应形式流形V ⊕ V*[1]上的量子BV流形结构之间存在一一对应。
• 每个量子准经典分裂BV流形同构于一个极小流形与一个可缩流形的乘积，意味着每个此类流形都与一个极小流形拟同构。
• 通过库尔兹对偶实现的∞-结构同伦转移，其结果公式与量子场论中费曼图展开完全一致，尤其在BF型场论中成立。
• 微分几何李1-双代数上同调上的量子主函数由包含配对、李括号与余括号的巴蒂林-维利科夫斯基作用泛函生成，其显式形式为S(p,ω) = ⟨p,dω⟩ + ½⟨p,[ω,ω]⟩ + ½⟨[p⋅p],ω⟩。
• 量子BV流形的切复形上的微分诱导了经典极限上的上同调结构，且量子BV流形的态射在这些复形上诱导拟同构。