[论文解读] Homological algebra related to surfaces with boundary

Kai Cieliebak, Kenji Fukaya+1 more|arXiv (Cornell University)|Aug 11, 2015

Algebraic structures and combinatorial models参考文献 10被引用 24

一句话总结

本文引入并发展了 IBL∞-代数的同伦理论，这是一种用于编码弦拓扑、辛场论以及高亏格拉格朗日子流形弗洛尔理论中出现的同调结构的通用代数框架。它建立了态射与同伦的系统性障碍理论，证明了同伦态射的复合仍是同伦的，并给出了黎曼曲面模空间（带边界）背后代数结构的显式公式。

ABSTRACT

In this article we describe an algebraic framework which can be used in three related but different contexts: string topology, symplectic field theory, and Lagrangian Floer theory of higher genus. It turns out that the relevant algebraic structure for all three contexts is a homotopy version of involutive bi-Lie algebras, which we call IBL$_\infty$-algebras.

研究动机与目标

• 为三个不同但相关的领域构建统一的代数框架：弦拓扑、辛场论以及高亏格拉格朗日子流形弗洛尔理论。
• 形式化与带边界和极点的黎曼曲面相关的同调运算背后的代数结构。
• 使用障碍理论为 IBL∞-代数建立同伦理论，以研究代数结构对辅助数据选择的独立性。
• 证明态射的同伦关系构成等价关系，且同伦态射的复合仍为同伦。
• 提供代数运算及其同伦的显式公式，这对几何应用中的不变性证明至关重要。

提出的方法

• 将 IBL∞-代数定义为对合李双代数的同伦版本，由形式级数 $\hat{\mathfrak{p}} = \sum \hat{\mathfrak{p}}_{k,\ell,g} \hbar^{k+g-1} \tau^{k+\ell+2g-2}$ 给出，满足 $\hat{\mathfrak{p}} \circ \hat{\mathfrak{p}} = 0$。
• 以对称的 bar 复形 $EC = \bigoplus_{k \geq 1} E_k C$ 作为底层的分次模，配备次数为 $k$ 的微分算子结构。
• 通过归纳法应用障碍理论，以扩展部分结构和态射，并在上同调群中识别障碍。
• 通过链同伦公式定义态射的同伦，证明同伦构成等价关系。
• 为与带标号图相关的链复形的定向建立显式符号约定，利用生成树与对偶性。
• 将代数结构与微分外尔代数及 Maurer-Cartan 元素联系起来，连接到理论物理与非交换几何。

实验结果

研究问题

• RQ1 如何构建一个统一的代数框架，以描述弦拓扑、辛场论以及高亏格拉格朗日子流形弗洛尔理论中的运算？
• RQ2 何种精确的代数结构编码了带边界的黎曼曲面模空间的组合与同调数据？
• RQ3 如何系统地定义并分类此类代数结构之间态射的同伦？
• RQ4 扩展部分代数结构或态射的障碍是什么？如何计算这些障碍？
• RQ5 与带标号图相关的链复形的定向约定如何影响最终代数运算中的符号？

主要发现

• 本文证明 $\mathrm{IBL}_{\infty}$-代数为源自带边曲面的运算提供了通用代数框架，将对合李双代数推广至同伦范畴。
• 证明了 $\mathrm{IBL}_{\infty}$-代数之间态射的同伦关系构成等价关系，且同伦态射的复合仍为同伦。
• 障碍理论通过归纳法发展，障碍位于特定的上同调群中。
• 通过生成树与对偶性，推导出与带标号图相关的链复形定向的显式符号约定，符号 $\eta_3(\Gamma)$ 由定向的相容性决定。
• 构造表明，边反转、边排序及边界分量重排会使符号 $\eta_3$ 改变 ±1，从而提供明确的符号规则。
• 该框架与辛场论及拉格朗日子流形弗洛尔理论中的已知结构相容，并通过外尔代数与 Maurer-Cartan 形式化得到形式化表达。