>>118は、言い換えると抽象化ないしは分解することによってスキームの情報が失われた設定を
逆に利用してやろう、というのがIUTの全てと言ってもよい。つまり、群論的な区別の付与がそのままHTという宇宙の区別になり、それによって（群）スキームの情報が
復元される
正確に言うとそれは元々のスキームよりもやはり抽象的だがテータ因子の解析的な情報を持っている

それで自分が常々言ってるのは、こういう論法の類似は確かに今後の数論ではある程度必要だろうということ
一般的な環や整数環は幾何学的な対象としては殆ど情報がないので、膨らます操作が必要になる
けれども絶対遠アーベル幾何やIUTがやっているのは存在定理のような弱い主張であって、実際にそういう
操作に成功していないとショルツらは言っている。多分Stixもそこについては考えは変わらないはず
変わってたら何か書いてるでしょう