广义Kahler流形上Formality性质的证明-基础数学专业论文.docxVIP

摘 要 C在本论文中，我们介绍了紧的广义K¨ahler流形上的一些性质，主要通过这些性质研 究了紧的广义K¨ahler流形上的Formality性质。在紧流形上的广义K¨ahler结构(J1, J2)中如 果J1有全纯平凡的canonical线丛，我们可以得到??(L1) 上的算子?L1 , ?L1 和?? (M ) 上的算 子δ+, δ?之间的对应。进而通过紧广义K¨ahler流形上的δ+δ??引理，我们得到了这种特殊 的广义K¨ahler流形上的?L1 ?L1 ?引理。借助这个引理，我们证明了Gil R. Cavalcanti给出的 一个广义K¨ahler流形上的Formality性质。 C ii Abstract CIn this thesis, we review some properties of compact generalized K¨ahler manifolds, through which we mainly investigate the formality of compact generalized K¨ahler manifolds. Let (J1, J2) is a generalized K¨ahler structure on a compact manifold. IfJ1has holomorphically trival canon- ical bundle, we can obtain a correspondence between operators ?L1 and ?L1 on ??(L1) and δ+ and δ? on ?? (M ). Then using the δ+δ??lemma on compact generalized K¨ahler manifolds, we get ?L1 ?L1 ?lemma on the special compact generalized K¨ahler manifolds. With the help of the C ?L1 ?L1 ?lemma, we prove a formality of generalized K¨ahler manifolds that is given by Gil R. Cavalcanti. iii J 同 在[1]中P. Deligne,P. Griffiths,J. Morgan 和D. Sullivan证明了下面的定理。 定理 0.0.1 满足ddc?引理的紧复流形M走formal的，即其上的de Rham 复形(??(M ), d)作为 微分分次代数走formal的。 在[1]中为证明上述定理，作者反复使用ddc?引理说明了 (??(M ), d) i (??(M ), d) ρ (H? (M ), d)， ←? c ?→ dc c中的映射i和ρ诱导的上同调上的映射是同构，而在(Hdc (M ), d)中，d = 0。这里??(M )表 c 示??(M )中dc闭的形式，且 Hi  ?i (M ) cdc (M ) = dc?i?1(M ) 。 c 在[5]中，M. Gualtieri 引进了作用在广义复流形上微分形式上的算子dJ = [d, J ]。这 里J 是流形上的广义复结构，它通过spin表示作用在微分形式上。M. Gualtieri给出了如下 紧广义K¨ahler流形上的ddJ ?引理。 定理 0.0.2 在广义K¨ahler流形上J1和J2都满足ddJ 性质，即 Imd ∩ KerdJi = ImdJi ∩ Kerd = Im(ddJi )， 其中i = 1, 2。 dc这个ddJ ?性质和ddc?引理中的性质非常类似，我们希望能用和[1]中类似的论证得 到，满足ddJ ?引理的广义复流形，例如广义K¨ahler流形，是formal的。然而，由于广义复 结构J 作用在微分形式上打乱了微分形式上的自然的分次，一般地dJ (?i(M )) 豆 ?i+1(M )。 这样在定义类似于Hi (M ) dc ?i ? Hi dJ (M ) dJ (M ) = dJ ?i?1(M ) 时就出问题了，故这种简单期望行不通。不但如此，在[2]中Cavalcanti指出存在广义复流 形满足ddJ ?性质，但它不是formal的。这样我们需要放弃微分分次代数(??(M ), d)，转而 考虑广义复流形上的别的微分分次代数。 在流形M 上给定了广义复结构J ，令它的+i?特征子丛为L (T M ⊕T ?M )?C，则(L, [, ], π)是 一个李代数体。这里[, ]是(T M ⊕ T ?M ) ? C上的Courant括号，π :