一番奇妙なのは、スキームの世界に内在している群論的な差異を抽出して理論化したという感じがしないこと
ブラックボックスのように具体性がなく飛び道具感があり、遠アーベル幾何学なのかすらよくわからない
例えばルービックキューブを解く時に「こねくり回せば何れ解ける。QED」とか言われてもよくわからないが
そういう不思議感がある