[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
950: 2020/05/17(日)06:20 ID:OxYJzrF1(1/22) AAS
望月のIUTが理解できない感じって・・・こんなんだろうか？
動画ﾘﾝｸ[YouTube]
951: 2020/05/17(日)06:26 ID:OxYJzrF1(2/22) AAS
ところで、望月新一大先生の新しい綽名を考えました
これです！
動画ﾘﾝｸ[YouTube]
955: 2020/05/17(日)08:48 ID:OxYJzrF1(3/22) AAS
>>953
＞いまから、逆転オセロが始まります
はいはい、ABC予想解決論文、受理＆掲載の記者会見からの逆転オセロね
もっちー
「ボクは もちまる子ー
ボク、もちとして、この世に生をうけたからには
ずっともちでいたいんだー
省7
957: 2020/05/17(日)09:11 ID:OxYJzrF1(4/22) AAS
>>956
K大SK研での口裏合わせ
もちまる子「証明にギャップ？認めねぇぇぇぇぇ！！！（絶叫）」
たまちゃん「証明にギャップ？気づきませんでした（汗）」
カッシー 「二人ともそういうので、信じましたが何か？（厚顔）」
モリシゲ 「みんな・・・名役者だな（驚）」
P.S.
省2
961: 2020/05/17(日)09:59 ID:OxYJzrF1(5/22) AAS
入れ子について
動画ﾘﾝｸ[YouTube]
BG 「映画の中の映画、という考え方をしましょう」
観客「あのぉ、動画では、それぞれの映画がディスプレイの枠で分かれてますけど
もし、仮に、枠がつながっちゃって一つになってたらどうなるんでしょう？」
動画ﾘﾝｸ[YouTube]
省8
962: 2020/05/17(日)10:05 ID:OxYJzrF1(6/22) AAS
どっかのだれかが「数学はオリンピックだ！」とかいってたけど
その当否はともかくとして、この曲をもっちーとショルツに捧ぐ
動画ﾘﾝｸ[YouTube]
968(1): 2020/05/17(日)11:00 ID:OxYJzrF1(7/22) AAS
>>965 >>967
「ヤン・ミルズ方程式の存在と質量ギャップ問題」には興味ない
・・・エキゾチックR^4との関係が明らかにならない限りは
Exotic R^4
外部ﾘﾝｸ:en.wikipedia.org
「数学では、エキゾチックR^4とは、
ユークリッド空間R^4と同相であるが、
省7
969(1): 2020/05/17(日)11:06 ID:OxYJzrF1(8/22) AAS
>>968のつづき
「この構築の前に、球体上の非微分同相的な平滑構造-エキゾチックな球体-が
存在することはすでに知られていたが、４次元球面という特殊な場合に
そのような構造が存在するかどうかの疑問はまだ未解決のままであった
（そして2019年現在もまだ未解決のままである）。
4以外の任意の正の整数nについては、
R^n上にエキゾチックな平滑構造は存在しない；
省2
970(1): 2020/05/17(日)11:10 ID:OxYJzrF1(9/22) AAS
>>969のつづき
「エキゾチックなR^4は、標準的なR^4の開部分集合として
滑らかに埋め込むことができれば、小さいと呼ばれる。
小さいエキゾチックR^4は，非自明な滑らかな5次元h-同境
（この次元ではh-同境の定理が失敗するDonaldsonの証明によって存在する）
から始めて，この次元では位相的h-同境の定理が保持されるという
Freedmanの定理を用いて構築できる。」
972(1): 2020/05/17(日)11:17 ID:OxYJzrF1(10/22) AAS
>>970のつづき
「エキゾチックなR^4は、標準的なR^4の開部分集合として
滑らかに埋め込むことができない場合、大きいと呼ばれる。
大きいエキゾチックR^4の例は，
コンパクトな4次元多様体がしばしば
位相和として分割できるが（Freedmanの研究），
平滑和として分割できない（Donaldsonの研究）
省5
973(1): 2020/05/17(日)11:22 ID:OxYJzrF1(11/22) AAS
>>972の続き
「エキゾチックな4次元球面が存在するかどうかは
（2017年の時点では）不明であるが，
そのようなエキゾチックな4次元球面は，
4次元の滑らかな一般化ポアンカレ予想の
反例となるだろう．
いくつかのもっともらしい候補が
省1
978(1): 2020/05/17(日)12:15 ID:OxYJzrF1(12/22) AAS
>>975
＞4 以上の次元では、すべての有限表示群は、多様体の基本群である
これ、しれっと書いてるけど、何気にすごい結果だよね
群の表示
外部ﾘﾝｸ:ja.wikipedia.org
「集合 X から生成された自由群を F とし、
R を X 上の語からなる集合とする。
省17
980(1): 2020/05/17(日)12:23 ID:OxYJzrF1(13/22) AAS
>>978の続き
有限表示群における決定不能問題
「Novikov–Boone の定理
群に対する語の問題に対する否定的な解答として、
任意の有限表示 ⟨S | R⟩ に対して、
与えられた二つの語 u, v がその群の同じ元を定めるか否か
を決定するアルゴリズムは存在しないことが知られている。
省3
981(1): 2020/05/17(日)12:33 ID:OxYJzrF1(14/22) AAS
>>981
つまり、異なる２つの群の表示が同じ（同型ではなく）であることを
確認するアルゴリズムは存在しない
つまり基本群が同じかどうか確認できないなら、
4次元多様体が同相かどうかも確認できない！！！
／(^o^)＼ﾅﾝﾃｺｯﾀｲ
982: 2020/05/17(日)12:37 ID:OxYJzrF1(15/22) AAS
４次元は悪魔の次元・・・
動画ﾘﾝｸ[YouTube]
もう、この曲やってくれないのかな？
985: 2020/05/17(日)12:50 ID:OxYJzrF1(16/22) AAS
>>983-984
ああ、それ、あるあるですね
あと、階数２の自由群の部分群で、有限生成でないものがある
というのも、あるある
991: 2020/05/17(日)16:39 ID:OxYJzrF1(17/22) AAS
査読報告書を公開したがらない理由
・全部望月のお友達（T・S・Fあたり）
・しかもあたりさわりのことしか書いてない
・査読者に直接訊かれたら困ることが多々ある
そう勘繰られても仕方ないなぁ
993: 2020/05/17(日)17:51 ID:OxYJzrF1(18/22) AAS
>>992
今回は異常事態ですがね
公開すれば正当性を主張できますよ
それとも出せない理由があるんですか？
995: 2020/05/17(日)18:06 ID:OxYJzrF1(19/22) AAS
>>994
そうおもってるのはあなただけじゃね？
997: 2020/05/17(日)18:23 ID:OxYJzrF1(20/22) AAS
分かってないのに入門レクチャーなんかできないでしょｗ
999: 2020/05/17(日)18:31 ID:OxYJzrF1(21/22) AAS
あんたこそ全然理解できない数学諦めて別の「趣味」見つけたら？
1000: 2020/05/17(日)18:32 ID:OxYJzrF1(22/22) AAS
はい、おしまいｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s