\mathcal{F}, \mathcal{F}在H^i(X_y,\mathcal{F}_y). \mathcal{F}Y=SpecAG^i(X_y,\mathcal{F}_y)=H^i(X,\mathcal{F}\bigotimes k(y))和H^i(X,\mathcal{F})H^i(X,\mathcal{F}\bigotimes M), T^i addit引H^i(C\bigotimes M)\cong H^i(L\bigotimes M)end{proof}Q, T^i=Hom_A(Q,-).proof