「代数幾何学２」ｐ２８にて証明にいちじるしい誤りあり。

(kα)_{i_1,…,i_p}=α_{j,i_1,…,i_p}まではよい

(dk+kd)α=0です(dk+kd)α=αでなく。これが誤りです。

詳しくは書けませんが証明不能となるように見えますが、

k^2(α)=0を使うとちゃんと

0→Ｆ→Ｃ＾１→Ｃ＾２→…という完全列がえられます。以上！！



ちょっと待て。Ｆが「脆弱」な時っていう仮定を使うらしい。

それならばｈ＾ｉ（Ｆ）＝０がえられるか。どっちにしろ自明だね。