[论文解读] Maurer-Cartan elements and homotopical perturbation theory

Ezra Getzler|arXiv (Cornell University)|Feb 19, 2018

Advanced Topics in Algebra参考文献 2被引用 6

一句话总结

本文在福崎的同伦微扰理论框架下，建立了满足同伦条件 $hx = 0$ 的曲 $L_\infty$-代数 $L$ 中的Maurer–Cartan (MC) 元素与子复形 $M$ 中的MC元素之间的双射。利用压缩映射原理及侧条件 $h^2 = hf = gh = 0$，证明了投影 $g: L \to M$ 诱导了Kuranishi集 $\operatorname{MC}(L,h)$ 与 $\operatorname{MC}(M)$ 之间的典范双射，将经典的同调微扰框架推广至曲 $L_\infty$-代数。

ABSTRACT

Let L be a (pro-nilpotent) curved L-infinity algebra, and let h be a homotopy between L and a subcomplex M. Using homotopical perturbation theory, Fukaya constructed from this data a curved L-infinity structure on M. We prove that projection from L to M induces a bijection between the set of Maurer-Cartan elements x of L such that hx=0 and the set of Maurer-Cartan elements of M.

研究动机与目标

• 将同伦微扰理论推广至曲 $L_\infty$-代数，其中微分满足 $\delta^2 x = [R,x]$，$R \in F_1\mathfrak{G}^2$ 为曲率元素。
• 在条件 $hx = 0$ 下，建立原始曲 $L_\infty$-代数 $L$ 中的Maurer–Cartan元素与微扰子复形 $M$ 中的Maurer–Cartan元素之间的精确对应关系。
• 提供一个自包含的证明，表明投影 $g: L \to M$ 诱导了Kuranishi集 $\operatorname{MC}(L,h) = \{x \in \operatorname{MC}(L) \mid hx = 0\}$ 与 $\operatorname{MC}(M)$ 之间的双射。

提出的方法

• 形式化同伦微扰的背景：一对带过滤的上链复形 $(V^\bullet, \delta)$ 和 $(W^\bullet, d)$，带有链映射 $f: W \to V$，$g: V \to W$，以及同伦映射 $h: V \to V[-1]$，满足 $1_V = fg + \delta h + h\delta$ 且 $h^2 = hf = gh = 0$。
• 应用福崎的构造，将 $L$ 上的曲 $L_\infty$-结构通过 $L_\infty$-同态空间中的不动点方程 $F = f - h\lambda \bullet F$ 运算至 $M$。
• 在 $L_\infty$-同态空间上使用压缩映射原理，利用曲 $L_\infty$-结构 $\lambda$ 的拟幂零性，确保微扰级数的收敛性。
• 将Kuranishi集 $\operatorname{MC}(L,h)$ 定义为 $\operatorname{MC}(L)$ 中被 $h$ 消去的元素子集，并证明 $g$ 限制在 $\operatorname{MC}(M)$ 上构成双射。
• 验证福崎构造的 $L_\infty$-同态 $F: M \to L$ 满足 $gF = 1_M$，且对 $x \in \operatorname{MC}(L,h)$ 有 $F(gx) = x$，利用 $-h\lambda(\cdot)$ 在 $L^0$ 上的压缩性质。
• 通过中值定理及偏导数的滤子度数增加，证明映射 $x \mapsto F(gx)$ 在 $\operatorname{MC}(L,h)$ 上是恒等映射。

实验结果

研究问题

• RQ1 投影 $g: L \to M$ 是否诱导了满足 $hx = 0$ 的 $L$ 中Maurer–Cartan元素集合与 $M$ 中Maurer–Cartan元素集合之间的双射？
• RQ2 福崎对曲 $L_\infty$-代数的同伦微扰构造是否在同伦条件 $hx = 0$ 下保持Maurer–Cartan条件？
• RQ3 福崎构造的 $L_\infty$-同态 $F: M \to L$ 在Kuranishi集 $\operatorname{MC}(L,h)$ 上是否可逆，且其逆是否由 $g$ 给出？
• RQ4 曲 $L_\infty$-结构 $\lambda$ 的拟幂零性如何确保 $F$ 和 $\mu$ 的微扰级数收敛？
• RQ5 侧条件 $h^2 = hf = gh = 0$ 在确保对 $x \in \operatorname{MC}(L,h)$ 有 $F(gx) = x$ 的过程中起什么精确作用？

主要发现

• 投影 $g: L \to M$ 诱导了Kuranishi集 $\operatorname{MC}(L,h) = \{x \in \operatorname{MC}(L) \mid hx = 0\}$ 与子复形 $M$ 中Maurer–Cartan元素集合 $\operatorname{MC}(M)$ 之间的典范双射。
• 福崎构造的 $L_\infty$-同态 $F: M \to L$ 满足 $gF = 1_M$，且其与 $g$ 的复合在 $\operatorname{MC}(L,h)$ 上作用为恒等映射，确认了 $g$ 是 $F$ 在该集合上的逆。
• 映射 $y \mapsto -h\lambda(y)$ 在 $L^0$ 上是压缩映射，因其偏导数提升滤子度数，从而确保了 $F$ 的不动点迭代及恒等式 $F(gx) = x$ 的收敛性。
• 曲 $L_\infty$-代数 $L$ 的曲率 $R$ 属于 $F_1 L^2$，且由于 $x \in F_1 L^1$ 的严格正滤子度数，Maurer–Cartan方程 $\sum_{n=0}^\infty \frac{1}{n!} [x,\dots,x]_n = 0$ 是良定义的。
• 通过系统 $\alpha = -h(\lambda \circ_F \alpha)$，$\beta = -g(\lambda \circ_F \alpha)$ 验证了阻碍项 $\alpha = \delta \bullet F + \lambda \bullet F - F \circ \delta - F \circ \mu$ 和 $\beta = \delta \mu + \mu \circ \mu$ 的消失，该系统在压缩映射原理下仅有零解。
• 该构造与 $L_\infty$-同态结构完全兼容：若 $\phi: K \to L$ 和 $\psi: L \to M$ 是 $L_\infty$-同态，则其复合 $\psi \bullet \phi$ 也是 $L_\infty$-同态，从而保证了 $\operatorname{MC}$ 函子的函子性。