>>277
不定性に対し明示的な群のアルゴリズムを介さないと、「単解的な設定でのスキーム論的情報」が構成されない
そうして、同型なメタ環論的全体構造の中に部分として様々の群論的に区別された非同型な環構造が成立すると
レポートで強く強調している
要は多重同型は、あらゆる群論的な構成に対して成り立つ網羅であり、全体的基盤である
それはまさに基盤であって、実際にはその群論的なスイッチが部分部分切り替わるものを考える
こうして無数の異なるスキーム論の非可換図式が構成され、各々にテータが構成されまとめて計算される
勿論構成したいのは異なるスキーム論の間の大域的な射であり、またその非正則的な計算である

前書いた50代の人は、結局そういうやり方ではなくてまとめて数体の整数環のスキームを一本に一般化して計算
すれば済む、IUTは奇妙だと批判していたんだが、多分IUTが間違っているとは十分確信していない
同型の問題は全くこのスレで既出の話ではあるけども、やはり単純にPS-JSが圧勝とできるような話ではない
望月のスローガンは「全てのスキーム論は群論的なアルゴリズムに統制されている」という遠アーベル幾何学
特有の描像なわけだから、群論的区別＋ラベル論的区別の妥当性は「宇宙際幾何学＝メタ群スキーム論的には」
あくまで成立する