[论文解读] L-infinity spaces and derived loop spaces

Ryan Grady, Owen Gwilliam|arXiv (Cornell University)|Apr 22, 2014

Fuzzy and Soft Set Theory被引用 4

一句话总结

本文通过使用带曲率的 $L_\infty$ 代数和Maurer-Cartan方程，将 $L_\infty$ 空间——即从光滑流形到单纯集的函子，编码形式模问题——形式化，从而推进了导出微分几何的发展。该研究建立了这些空间上的向量丛和移位辛结构，尤其对导出环路空间（特别是de Rham环路空间和Betti环路空间）进行了详细研究，为通过Costello形式化方法构建微扰量子场论提供了几何框架。

ABSTRACT

We develop further the approach to derived differential geometry introduced in Costello's work on the Witten genus. In particular, we introduce several new examples of L-infinity spaces, discuss vector bundles and shifted symplectic structures on L-infinity spaces, and examine in some detail the example of derived loop spaces. This paper is background for a companion paper, in which we define a quantum field theory on a derived stack, building upon Costello's definition of an effective field theory.

研究动机与目标

• 通过引入 $L_\infty$ 空间作为导出栈的一个计算上可行的类别，扩展Costello在导出微分几何中的框架。
• 在 $L_\infty$ 空间上发展几何结构——包括向量丛和移位辛形式——以应用于量子场论。
• 将导出环路空间，特别是de Rham和Betti环路空间，作为 $L_\infty$ 空间的关键例子进行分析，揭示其几何与物理意义。
• 为构建非微扰量子场论提供基础工具，建立在Costello的有效场论形式化之上。

提出的方法

• 将 $L_\infty$ 空间定义为从光滑流形到单纯集的函子，通过带曲率的 $L_\infty$ 代数建模形式模问题。
• 利用 $L_\infty$ 代数中的Maurer-Cartan方程描述无穷小形变，并构造 $L_\infty$ 空间的点函子。
• 通过层论与同伦方法在 $L_\infty$ 空间上构造向量丛，利用Dold-Kan对应。
• 通过导出临界点集与AKSZ构造，在 $L_\infty$ 空间上引入移位辛结构。
• 将导出环路空间 $\mathcal{L}_{\text{dR}}X$ 分析为沿常值映射的de Rham空间的完备化，将 $\mathcal{L}_{\mathcal{B}}X$ 分析为Betti环路空间。
• 应用同伦极限与Čech图以证明 $L_\infty$ 空间同伦理论中的弱等价性，使用Dold-Kan对应与单位分解论证。

实验结果

研究问题

• RQ1 如何通过带曲率的 $L_\infty$ 代数与Maurer-Cartan方程，系统地构造 $L_\infty$ 空间作为导出栈？
• RQ2 哪些几何结构——如向量丛与移位辛形式——可自然地定义在 $L_\infty$ 空间上？
• RQ3 导出环路空间，特别是de Rham与Betti环路空间，如何作为 $L_\infty$ 空间出现，其几何与物理意义为何？
• RQ4 同伦极限与Čech图在验证 $L_\infty$ 空间同伦性质（尤其在形变理论语境下）中起何作用？
• RQ5 该 $L_\infty$ 空间框架如何支持将Costello的微扰量子场论扩展至更少微扰的设定？

主要发现

• 证明了de Rham环路空间 $\mathcal{L}_{\text{dR}}X$ 是一个 $L_\infty$ 空间，其沿常值映射的完备化通过Čech图上的同伦极限描述。
• Betti环路空间 $\mathcal{L}_{\mathcal{B}}X$ 被构造为光滑环路空间的导出增强，捕捉了环路空间的同伦类型。
• 通过结构层上的模层定义 $L_\infty$ 空间上的向量丛，利用Dold-Kan对应实现显式构造。
• 通过AKSZ构造在 $L_\infty$ 空间上实现移位辛结构，将经典辛几何推广至导出设定。
• 阿贝尔 $L_\infty$ 代数的Maurer-Cartan空间的Čech图的同伦极限，弱等价于全复的Dold-Kan单纯集，确保了下降性与一致性。
• 通过余链复形的拟同构，证明了Čech图同伦极限之间映射的纤维为弱等价，依赖于光滑截面的单位分解论证。