分解定理的Hodge理论方面

给定紧复代数簇之间的射影态射及其定义域上的充分线丛，我们证明了分解定理（Beilinson, Bernstein, Deligne和Gabber）的分解同构的一个合适选择（由线丛决定）给出了纯Hodge结构的同构。该证明基于与线丛相关的分解同构的一个新的上同调刻画。我们证明了一些推论，涉及相交上同调中的相交形式、从上同调到相交上同调的自然映射、投影算子和Hodge圈，以及相交上同调中的诱导态射。