[论文解读] Strong homotopy algebras of a K\"ahler manifold

Sergei Merkulov|arXiv (Cornell University)|Sep 29, 1998

Algebraic Geometry and Number Theory参考文献 4被引用 14

一句话总结

本文证明，任何紧致凯勒流形自然地导出两个强同伦代数——一个来自德拉姆复形的霍奇理论，另一个来自多鲁贝尔复形——其中调和形式的乘积仍保持为调和形式。对于卡拉比-丘流形，还存在第三个此类代数，其与巴兰尼科夫-孔采维奇复结构模空间的扩展形式相关联，揭示了凯勒几何背后更深层的代数结构。

ABSTRACT

It is shown that any compact Kähler manifold M gives canonically rise to two strong 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 strong homotopy algebra closely related to the Barannikov-Kontsevich extended moduli space of complex structures. 1

研究动机与目标

• 建立紧致凯勒流形的德拉姆复形霍奇理论与强同伦代数之间的规范构造。
• 分析德拉姆复形与多鲁贝尔复形中调和形式在乘积运算下的代数结构。
• 探索当流形为卡拉比-丘流形时，第三个强同伦代数的存在性及其性质。
• 将这些代数与巴兰尼科夫-孔采维奇复结构模空间的扩展形式联系起来。
• 阐明霍奇理论在编码调和形式上更高阶代数运算中的作用。

提出的方法

• 利用德拉姆复形的霍奇理论，在调和形式上定义强同伦代数结构。
• 应用多鲁贝尔复形的霍奇理论，在全纯调和形式上构造第二个强同伦代数。
• 证明在这两个代数中，调和形式的乘积仍为调和形式，确保与霍奇分解的相容性。
• 对于卡拉比-丘流形，通过复结构的扩展模空间构造第三个强同伦代数。
• 依赖复几何与同调代数中的规范函子构造，以确保自然性。
• 通过模空间的几何，建立代数结构与巴兰尼科夫-孔采维奇框架之间的联系。

实验结果

研究问题

• RQ1 如何为紧致凯勒流形上德拉姆复形的霍奇理论，规范地关联强同伦代数？
• RQ2 在相同设定下，多鲁贝尔复形的霍奇理论会涌现出何种代数结构？
• RQ3 在何种条件下会涌现出第三个强同伦代数，它与复结构的扩展模空间有何关联？
• RQ4 为何在这些构造中，调和形式的乘积仍保持为调和形式？这对代数结构意味着什么？
• RQ5 卡拉比-丘条件如何促成与巴兰尼科夫-孔采维奇模空间框架的更深层次联系？

主要发现

• 为任意紧致凯勒流形的德拉姆复形调和形式空间，构造了规范的强同伦代数结构。
• 在相同流形上，多鲁贝尔复形的霍奇理论自然地导出第二个强同伦代数。
• 在这两个代数中，两个调和形式的乘积仍为调和形式，表明在乘法下构成封闭的代数系统。
• 对于卡拉比-丘流形，构造了第三个强同伦代数，其与巴兰尼科夫-孔采维奇复结构模空间的扩展形式密切相关。
• 该构造是函子性且内在的，仅依赖于凯勒结构与霍奇理论，无需额外数据。
• 这些代数的存在揭示了紧致凯勒流形上同调群中隐藏的更高阶代数结构。