[论文解读] Strongly homotopy algebras of a Kähler manifold

Sergei Merkulov|ArXiv.org|Sep 29, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 22

一句话总结

本文证明了每个紧致凯勒流形自然地携带两个不同的强同伦代数（$A_∞$-代数）：一个来自德拉姆复形的霍奇理论，另一个来自多贝劳复形。关键贡献是通过楔积、格林函数和凯勒形式显式构造了高阶同伦，表明尽管朴素乘积不满足结合律，但调和形式的乘积仍保持调和。

ABSTRACT

It is shown that any compact Kähler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the Dolbeault complex. In these algebras the product of two harmonic differential forms is again harmonic. If $M$ happens to be a Calabi-Yau manifold, there exists a third strongly homotopy algebra closely related to the Barannikov-Kontsevich extended moduli space of complex structures.

研究动机与目标

• 使用高阶同伦结构解释凯勒流形上 $d^*$-闭形式的楔积的非结合性行为。
• 利用微分算子和投影算子，在空间 $\mathrm{Ker}\,d_c^*$ 和 $\mathrm{Ker}\,\partial^*$ 上显式构造 $A_\infty$-代数结构。
• 将此构造推广至卡拉比-丘流形，将所得的 $A_\infty$-代数与巴兰尼科夫-康采维奇的复结构扩展模空间联系起来。
• 证明在 $A_\infty$-结构下，调和形式的乘积仍保持调和，从而解决朴素乘积在 $d^*$ 下不封闭的问题。

提出的方法

• 利用霍奇分解和投影算子，在 $d^*$-闭形式上定义新乘积 $\circ$，该乘积非结合但满足高阶结合性条件。
• 应用从微分超代数 $V$、子复形 $W$ 和满足 $1 - [d,Q]$ 投影到 $W$ 的奇数算子 $Q$ 构造 $A_\infty$-代数的一般方法。
• 通过算子 $d_c$、$G_d$、$\Lambda$ 和楔积显式计算高阶同伦 $\mu_k$，其中 $\mu_2(v_1,v_2) = (1 - d_c G_d d_c^*)(v_1 \wedge v_2)$。
• 在多贝劳情形下，使用 $Q = i\partial G_\partial \Lambda$ 在 $\mathrm{Ker}\,\partial^*$ 上定义 $A_\infty$-结构。
• 在卡拉比-丘流形情形下，通过全纯体积形式 $\Omega$ 将 $A_\infty$-结构提升至巴兰尼科夫-康采维奇代数 $V = \Lambda^\bullet TM \otimes \Lambda^\bullet \overline{\Omega^1 M}$。
• 通过 $\Omega$ 的共轭定义相关算子 $\hat{\partial}^*$、$\hat{G}_\partial$ 等，并在 $\mathrm{Ker}\,\hat{\partial}$ 上构造 $A_\infty$-代数。

实验结果

研究问题

• RQ1 如何系统性地修正凯勒流形上 $d^*$-闭形式的非结合乘积，使其满足高阶结合性？
• RQ2 凯勒流形的霍奇理论结构能否被编码为一个规范的 $A_\infty$-代数结构？
• RQ3 高阶同伦 $\mu_k$ 的显式形式如何用凯勒形式和格林函数等几何数据表示？
• RQ4 卡拉比-丘流形上 $\mathrm{Ker}\,\hat{\partial}$ 上的 $A_\infty$-代数是否与复结构的扩展模空间相关？
• RQ5 为何在 $A_\infty$-乘积下，调和形式的乘积仍保持调和，即使朴素乘积在 $d^*$ 下不封闭？

主要发现

• 在紧致凯勒流形上，$d_c^*$-闭形式空间 $\mathrm{Ker}\,d_c^*$ 携带一个具有显式可计算高阶同伦的规范 $A_\infty$-代数结构。
• 乘积 $\mu_2(v_1,v_2) = (1 - d_c G_d d_c^*)(v_1 \wedge v_2)$ 非结合，但通过 $A_\infty$-关系满足高阶结合性条件。
• $A_\infty$-结构在 $\mathrm{Ker}\,d_c^*$ 上确保两个调和形式的乘积仍是调和的，从而解决了朴素楔积在 $d^*$ 下不封闭的问题。
• 通过多贝劳复形，在 $\mathrm{Ker}\,\partial^*$ 上也存在类似的 $A_\infty$-代数，其中 $Q = i\partial G_\partial \Lambda$。
• 在卡拉比-丘流形上，$\mathrm{Ker}\,\hat{\partial}$ 上的 $A_\infty$-代数同构于巴兰尼科夫-康采维奇代数，并与格伦斯坦哈伯-巴塔林-维利科夫斯基结构相容。
• 该构造为德雷姆上同调的弗罗贝尼乌斯流形结构提供了几何解释，因为复形 $\mathrm{Ker}\,d_c^*$ 支撑了这一结构。