ベクトル微分系と対数微分系 - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。抽象微分多様体（ADM）は、一般に AM = Ω0M -- Md0 → Ω1M -- Md1 → ... -- Mdr → ΩrM という層の系列で決まる。rを抽象微分多様体の次数〈degree〉と呼ぶことにして、次数rの抽…