23/12/23 18:13:45.43 CO6RHQhW.net
えーと、>>757のID:SSH7aHi3氏は
>>755のID:B6Ixzxdu氏にリンクしてコメントしている
(もしリンク間違いでなければね)
さて、>>750-751を補足しておく
1)松本幸夫「4次元のトポロジー」1979年版 第10章 4次元の罠の冒頭p155 >>645
「すべての有限表示群を分類することは不可能なことが知られている(ノビコフ)。
したがって、すべての4次元多様体の分類も不可能なのである」
2)これで、注意すべきはノビコフ定理は、多様体の次元に依存しないってこと
つまり、4次元以上の例えば5次元多様体でも同じでしょ?
3)ところが、5次元多様体では
”In dimension 5 and above (and 4 dimensions topologically), manifolds are classified by surgery theory.”
なのです。つまり、surgery theory(手術理論)による分類が可能!
(この分類は、多分基本群による分類より大雑把だろう)
4)さて Freedmanの理論が1980年代に出て、”4 dimensions topologically”の場合に
キャッソンハンドルを使うsurgery theory(手術理論)が可能になったってことだ
(キャッソンハンドルを使ったらすんなり行くか?
それは�