[论文解读] Formality of canonical symplectic complexes and Frobenius manifolds

Sergei Merkulov|ArXiv.org|May 15, 1998

Geometry and complex manifolds参考文献 2被引用 24

一句话总结

该论文证明了满足硬朗斯坦莱斯条件的辛流形的de Rham复形是形式的，并通过与辛结构相关的微分Gerstenhaber-Batalin-Vilkoviski代数，在其de Rham上同调上构造了Frobenius流形结构。该构造依赖于Maurer-Cartan方程的正式解与一个典范积分配对，将Barannikov-Kontsevich的框架推广至辛几何。

ABSTRACT

It is shown that the de Rham complex of a symplectic manifold $M$ satisfying the hard Lefschetz condition is formal. Moreover, it is shown that the differential Gerstenhaber-Batalin-Vilkoviski algebra associated to such a symplectic structure gives rise, along the lines explained in the papers of Barannikov and Kontsevich [alg-geom/9710032] and Manin [math/9801006], to the structure of a Frobenius manifold on the de Rham cohomology of $M$.

研究动机与目标

• 将Frobenius流形的构造从Calabi-Yau Dolbeault复形推广至满足硬朗斯坦莱斯条件的辛流形。
• 利用典范微分Δ，证明在硬朗斯坦莱斯条件下de Rham复形的形而上学性。
• 证明与这类辛流形相关的微分Gerstenhaber-Batalin-Vilkoviski代数可在de Rham上同调上诱导出Frobenius流形结构。
• 通过Maurer-Cartan方程的正式解，将Barannikov-Kontsevich与Manin的框架推广至辛几何。

提出的方法

• 利用超流形ΠTM定义结构层𝒪_M上的奇向量场d与二阶微分算子L*。
• 引入算子Δ = [L*, d]，其满足Δ² = 0与[Δ, d] = 0，且在de Rham同构下对应于*d*。
• 通过硬朗斯坦莱斯条件、(Ω*M, Δ)的上同调形式性与辛调和代表元存在的等价性，证明de Rham复形的形式性。
• 在K⊗Ω*M中构造Maurer-Cartan方程dΓ + ½[Γ, Γ] = 0的正式解Γ，其中Γ₁ = ∑xⁱcᵢ且对n ≥ 2有Γₙ ∈ Im Δ。
• 通过ψ([cᵢ]) = ∂Γ/∂xⁱ在H_K = K⊗H*(M, ℂ)上定义乘积，模去Im d_Γ后诱导出超交换乘积。
• 利用积分∫_M与对偶性性质，验证Frobenius流形的公理，包括潜在函数Φ与Euler向量场的存在性。

实验结果

研究问题

• RQ1 满足硬朗斯坦莱斯条件的辛流形的de Rham复形是否允许形式结构？
• RQ2 此类流形的微分Gerstenhaber-Batalin-Vilkoviski代数是否可在其de Rham上同调上诱导出Frobenius流形结构？
• RQ3 在辛几何背景下，是否存在一个典范的Maurer-Cartan方程正式解，且尊重硬朗斯坦莱斯条件？
• RQ4 在硬朗斯坦莱斯条件下，典范上同调Δ复形与de Rham上同调之间有何关系？
• RQ5 积分配对∫_M在构造Frobenius流形结构中起何作用？

主要发现

• 满足硬朗斯坦莱斯条件的辛流形的de Rham复形是形式的，因为dΔ的像等于Im d ∩ Ker Δ的交集。
• Ω*M上的微分Δ满足Δ|ΩᵏM = (−1)ᵏ⁺¹* d *，在辛Hodge星算子下与对偶性相关联。
• 复形(Ω*M, Δ)的上同调同构于de Rham上同调，当且仅当硬朗斯坦莱斯条件成立。
• 在K⊗Ω*M中存在Maurer-Cartan方程的正式解Γ，其中Γ₁ = ∑xⁱcᵢ且对n ≥ 2有Γₙ ∈ Im Δ，确保与Frobenius结构的相容性。
• H*(M, ℂ)上的乘积是潜在的，潜在函数为Φ = ∫_M (⅙Γ³ − ½dBΔB)，度量gᵢⱼ = ∫_M [cᵢ] ∧ [cⱼ]为Poincaré配对。
• 在H*(M, ℂ)上得到的结构是Frobenius流形，配备有平坦度量、交换结合乘积与Euler向量场。