20/01/07 21:11:51.48 igGFzs6Q.net
>>472
そういうことだと思うんだけど
多重同型と充満多重同型の違いは
悪い還元と良い還元の違いってことなのかな？
そんでもってSSが否定したのは充満多重同型のほうで
多重同型はどうなのってことになる
でも不定性を持った同型自体を必要ないとして
自然同型だけでやっているから
どちらもいらない、遠アーベル幾何学もabc予想の証明には
不必要、無意味ということになるのかなあ
それは>>469さんが書いているように
"抽象パイロットから数論的次数をエンコードできない"
ということからそうなるのかな