チェインって加群の列やろ？
積分形式は境界作用素とちゃうか？