任意の "d"-加群 "m" の特性多様体ch("m")は、"x" の余接バンドルt∗"x" としてみると、多様体である。