[论文解读] Transferring $A_\infty$ (strongly homotopy associative) structures

Martin Markl|arXiv (Cornell University)|Jan 2, 2004

Homotopy and Cohomology in Algebraic Topology被引用 9

一句话总结

本文为通过链同伦等价在链复形之间传递 $A_\infty$-结构、$A_\infty$-映射和 $A_\infty$-同伦提供了显式且符号精确的公式。通过引入 p-核与 q-核，构造目标复形上的传递结构，推广了先前的工作，并为传递映射与同伦提供了新公式，其应用包括通过 Hodge 分解构造极小模型。

ABSTRACT

We give explicit formulas for transfers of $A_\infty$-structures and related maps and homotopies in the most easy situation in which these transfers exist. One half of our formulas was already known to Kontsevich-Soibelman and to Merkulov who derived them, without explicit signs, under slightly stronger assumptions than those made in this note.

研究动机与目标

• 为通过链同伦等价 $f: V \to W$、$g: W \to V$、$h: \text{id}_V \simeq gf$ 从链复形 $V$ 显式传递 $A_\infty$-结构到同伦等价复形 $W$ 提供显式且符号精确的公式。
• 将传递推广至扩展 $f$ 和 $g$ 的 $A_\infty$-映射 $\varphi: V \to W$ 和 $\psi: W \to V$，以及扩展 $h$ 的 $\psi \circ \varphi$ 与 $\text{id}_V$ 之间的 $A_\infty$-同伦 $H$。
• 引入并定义 p-核与 q-核作为构造传递结构的核心工具，推广了 Kontsevich-Soibelman 与 Merkulov 的早期工作。
• 建立传递公式与 associahedra 和 multiplihedra 的胞腔分解之间的联系，提示公式中单项式的几何解释。
• 将传递机制应用于通过 Hodge 分解构造 $A_\infty$-代数的极小模型，证明构造在分解选择下是函子性的。

提出的方法

• 通过递归或显式定义的 p-核 $\{p_n: V^{\otimes n} \to V\}_{n \geq 2}$ 和 q-核 $\{q_n: V^{\otimes n} \to V\}_{n \geq 1}$，构造传递公式，采用归纳与非归纳两种形式。
• 目标复形 $W$ 上的传递 $A_\infty$-结构 $\nu_n$ 由 $\nu_n = f \circ p_n \circ g^{\otimes n}$ 给出，扩展了 $V$ 上原始的 $A_\infty$-结构 $\mu_n$。
• $A_\infty$-映射 $\varphi_n: V^{\otimes n} \to W$ 定义为 $\varphi_n = f \circ q_n$，而映射 $\psi_n: W^{\otimes n} \to V$ 定义为 $\psi_n = h \circ p_n \circ g^{\otimes n}$。
• $\psi \circ \varphi$ 与 $\text{id}_V$ 之间的 $A_\infty$-同伦 $H_n$ 由 $H_n = h \circ q_n$ 给出，其中 $H_1 = h$。
• 公式通过余代数扰动引理框架推导得出，且在满足侧条件（$f h = 0$，$h g = 0$，$h^2 = 0$）时，核与 Huebschmann-Kadeishvili 的结果一致。
• 提出几何解释：传递公式中的单项式对应于 associahedra $K_n$（通过 $p_n$）和 multiplihedra $L_n$（通过 $q_n$）的胞腔，$n=3,4$ 时有明确图示。

实验结果

研究问题

• RQ1 如何显式构造链复形 $W$ 上的传递 $A_\infty$-结构，其中 $W$ 与具有给定 $A_\infty$-结构的复形 $V$ 链同伦等价？
• RQ2 扩展链映射 $f$ 和 $g$ 的 $A_\infty$-映射 $\varphi: V \to W$ 和 $\psi: W \to V$ 的显式公式是什么？
• RQ3 如何构造 $\psi \circ \varphi$ 与 $\text{id}_V$ 之间的 $A_\infty$-同伦 $H$，使其扩展链同伦 $h$？
• RQ4 传递公式中单项式的几何意义是什么？它们与 associahedra 和 multiplihedra 等胞腔分解有何关联？
• RQ5 传递机制能否用于构造 $A_\infty$-代数的极小模型？该构造是否是函子性的？

主要发现

• 本文为此前在该一般性下未知的 $A_\infty$-映射 $\varphi_n$ 和 $A_\infty$-同伦 $H_n$ 提供了新显式公式，且符号精确。
• p-核 $p_n$ 与 q-核 $q_n$ 通过归纳递推（第 3 节）与非归纳闭式表达（命题 6 和 7）定义，使传递结构的系统计算成为可能。
• 当满足侧条件 $f h = 0$，$h g = 0$，$h^2 = 0$ 时，p-核与 q-核与从余代数扰动引理导出的结果一致，验证了构造的正确性。
• 传递公式被解释为 Stasheff 的 associahedra $K_n$（通过 $p_n$）与 multiplihedra $L_n$（通过 $q_n$）胞腔的和，$n=4$ 与 $n=3$ 时有明确图示。
• 通过 Hodge 分解构造了极小模型 $\mathcal{M}_A = (H(V,\partial_V), 0, \nu_2, \nu_3, \ldots)$，且该构造在该类分解的范畴上是函子性的。
• 当满足侧条件时，极小模型构造与扰动引理方法等价，且 p-核与 q-核被识别为扰动引理中相关级数。