よくできてる理論と言える理由は例えばこうだ
複素ホッジ理論はCで考えれば十分なんだ。だから変形しても計算は簡単だろ
ところが環構造自体を変形するとなるとそうはいかない
だから何かが必要になる。この理論は絶対遠アーベルだ
そしてそれが色んな意味で見事に嵌まってるのだよ。抽象的なパズルとしてね