18/12/26 08:09:56.49 7BpsiiR8.net
実際、SSは抽象pilot objectと具象pilot objectの違いがよくわからないと言っている
これは後者が「単解」的な意味で群スキームに等価な情報を 計算する際の適切な概念には見えない、
つまりSSはテータ空間の構成原理がよくわからないと言っているようにも見える。それはフェセンコの主張
結論から言うと、認識に隔たりがあり過ぎて折衷的なケースについて考えるのは不可能に近い
SSサイドは異なる群スキームの群論的な構成原理が不明瞭だと考えていると思う
この辺が具体的に示せない限り、IUTのほうが分が悪いという感じでしょう