摘要
给定全纯向量丛E类关于光滑连通紧复流形X(X),Feigin、Losev和Shoikhet[FLS]使用完整Hochschild同源性的概念HH(小时)属于D类若(iff)(E类)这样的话HH(小时)0(D类若(iff)(E类))与同构H(H)2n个(X(X), C类).另一方面,他们在HH(小时)0(D类若(iff)(E类)).因此,这产生了一个线性函数我E类在H(H)2n个(X(X), C类).它们表明此功能是∫X(X)如果E类具有非零Euler特征。他们推测这个功能是∫X(X)为所有人E类.
本文证明了我E类=我F类对于任何一对(E类, F类)上的全纯向量丛X(X).特别是,如果X(X)有一个具有非零Euler特性的向量束,则我E类=∫X(X)对于每个向量束E类在X(X).
在[FLS]中还使用了完全循环同源的概念HC公司属于D类若(iff)(E类)这样的话HC公司−我(D类若(iff)(E类))≃H(H)2n个 − 我(X(X), C类)⊕H(H)2n个 − 我 + 2(X(X), C类)⊕⋯.建筑屈服我E类给出线性泛函的推广HC公司−2我(D类若(iff)(E类))对于每个我≥0.由此获得的线性泛函HC公司−2我(D类若(iff)(E类))产生一个线性函数我E类,2我,2k个在H(H)2n个 − 2k个(X(X), C类)对于0≤k个≤我.在[FLS]中推测我E类,2,0=∫X(X),还有一个关于我E类,2,2制造完成。
在本文中,我们证明了我E类,2我,0=我E类为所有人我≥0.特别是,如果X(X)具有至少一个具有非零欧拉特征的向量丛,则我E类,2我,0=∫X(X).我们也证明了我E类,2我,2k个=0对于k个>0.后者比[FLS]中的预期更强,当我=k个=1.