论文部分内容阅读
给定微分代数A，称它为formal的，当且仅当它的极小模M是formal的。而对于给定的流形，流形M上微分形式构成一个微分代数，称为M的模型(Model)，可以通过研究这个微分代数来研究流形的相关性质。一个流形formal当且仅当上述微分代数为formal的。已经知道紧致K(a)hler流形是formal的，但是否存在Non-Formal的Sasakian流形尚不清楚。另一方面正则Sasakian流形可以视作K(a)hler流形上的S1主纤维丛。并且它的模型可用以下微分代数给出uA=A(×)dΛ[y],dy∈A,|y|=1据此证明了这篇文章的主要定理:如果正则Sasakian流形是某些单连通K(a)hler流形上的S1主纤维丛，则它是formal的。本文分为五章，第二章介绍微分代数的基础知识，第三章讲述如何构造极小模，第四章介绍formal微分代数的判别方法。这个判别方法在第五章被用来研究流形上的S1主纤维丛是否是formal的。