[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
406: 2021/03/01(月)08:03 ID:v7ayOauM(6/52) AAS
私は、望月さんは、自分の考えを世に示しました。それは素晴らしいです。しかし私はこうこう言う理由で、ちょっと受け付けることができません。
あなたの場合、完全に信者ですよね？
407(2): 2021/03/01(月)11:37 ID:I36Fpb6O(1) AAS
>>399-406
やれやれ
たかが５ｃｈの数学板で、学会ごっこですか？
で、「おれ、アカポスならぬアカボスだぁ〜！」とでも？ｗｗ
１．ショルツェ氏が議論して、SS文書を出したのは2018年
で、査読は2020年。査読者は、SS文書もそれへの反論も、全部読んでの上で、「査読OK」としている。複数のプロ数学者の査読でね
２．2020年から始まったPromenade in IUTに集うプロ数学者多数
省13
408: 2021/03/01(月)11:40 ID:v7ayOauM(7/52) AAS
>>407
えっあなた、そこに集う方がどうこうって私何か言いました？
409: 2021/03/01(月)11:44 ID:v7ayOauM(8/52) AAS
あなた明らかに日本語喋れてませんよね？
数学者って、そこに集う人だけなんですね。
あなたの数学者の定義よくわかりました。
笑
そもそも公開的に質問するための場であって、出席==賛成とも反対ともならないですよね。
あなたすべての数学やってる人のこと勝手に決めつけて失礼なの自覚してます？
してないですよね？
410(1): 2021/03/01(月)12:08 ID:CfVuBQyt(1) AAS
5回以上書き込みしてるやつをNGにするとすっきり
411: 2021/03/01(月)12:09 ID:v7ayOauM(9/52) AAS
>>410
どうも自演おつです。
アニオタ研究員さんですね。
NG登録しました。
412(1): Schlecht 2021/03/01(月)13:01 ID:Rz6p2V3E(3/35) AAS
>>403
>安定ホモトピー理論
横レスだが
Q. 球面の安定ホモトピー群の計算方法を教えてほしい
特にベルヌーイ数の分母がどうして出てくるのか教えてほしい
不思議だと思わないか？
413: Schlecht 2021/03/01(月)13:08 ID:Rz6p2V3E(4/35) AAS
>>407
>５ｃｈの数学板で、学会ごっこですか？
数学がオリンピック競技だと思ってる人もいるようだ
ICMのフィールズメダル授与式では、国旗掲揚も国歌演奏もないのだが
414(1): 2021/03/01(月)14:55 ID:v7ayOauM(10/52) AAS
>>412
ちょっと待ってくれ。
HoTT 8章では、安定ホモトピーがつくれることまでは書いてあるが、ベルヌーイ数について記述はないぞ。
俺はタダ乗りしてるから、むしろ教えろ（下さい）。
415(3): 2021/03/01(月)14:57 ID:v7ayOauM(11/52) AAS
ベルヌーイ数って、スピンの行列計算（ルジャンドル多項式かなんかで出てこんかったっけ？）こんなとこでも出てくるかこら？下さい
416(2): Schlecht 2021/03/01(月)15:05 ID:Rz6p2V3E(5/35) AAS
>>414
HoTTという本は読んだことはないが、
球面の安定ホモトピー群の計算は出てこないのかね？
もしそうだとすると、いったい何が面白いのかね？
外部ﾘﾝｸ:en.wikipedia.org
トポロジーの最大の成果といえば、
球面の安定ホモトピー群と異種球面
省4
417: 2021/03/01(月)15:05 ID:v7ayOauM(12/52) AAS
ん、30とか60はあるが、
しかし、24 ってベルヌーイ数の分母なん？
418: 2021/03/01(月)15:08 ID:v7ayOauM(13/52) AAS
>>416
何が面白いかって、
私は、それはそれほど複雑なものである理論をカラクリに落とし込んだ天才の simplification だと思う。
419: 2021/03/01(月)15:12 ID:v7ayOauM(14/52) AAS
ホモトピーの本質を抜き出さなければ、ここまで出来んと思うが、
私はまだ本質を説明するまで理解していない。
しかし言えることがあるなら、複素幾何という装置を使わなくとも、
依存型の関数型で、同じ本質の議論が出来、複素幾何の本質のみを抜き出し安定ホモトピーの議論をそのままできる。
420: 2021/03/01(月)15:13 ID:v7ayOauM(15/52) AAS
>>416
まだ試していないが、
その装置をHoTT は提供している。
安定ホモトピーはもちろん計算できる。
421(2): 2021/03/01(月)15:15 ID:v7ayOauM(16/52) AAS
いや、ベルヌーイ数の記述どこよ。
422(1): 2021/03/01(月)15:19 ID:v7ayOauM(17/52) AAS
外部ﾘﾝｸ:ncatlab.org
ほんとや（下さい）
423(2): Schlecht 2021/03/01(月)15:23 ID:Rz6p2V3E(6/35) AAS
>>421
>ベルヌーイ数の記述どこよ。
The J-homomorphism のとこ
”a cyclic group of order equal to the denominator of B2m/4m,
where B2m is a Bernoulli number, if k = 4m - 1 ≡ 3 (mod 4).”
J-homomorphism
外部ﾘﾝｸ:en.wikipedia.org
424(2): 2021/03/01(月)15:24 ID:v7ayOauM(18/52) AAS
>>415
あそっか。
スピンは四元数やから、関わっとってもなんら不思議はない。
425: 2021/03/01(月)15:24 ID:v7ayOauM(19/52) AAS
>>423
どうも（すみません、見つけました）
426: Schlecht 2021/03/01(月)15:27 ID:Rz6p2V3E(7/35) AAS
一元体についても気になる記述がある
外部ﾘﾝｸ:ja.wikipedia.org
「一元体F1 の m-次の K-群 K(F1) は
球スペクトルの m-次安定ホモトピー群でなければならない。」
427: 2021/03/01(月)15:29 ID:v7ayOauM(20/52) AAS
適当なことをいけど、
一元体の話はなんかわかるかもしれん。
Cisinski がたしか言うように、
ホモトピーは、一元体上の導来圏。
428: 2021/03/01(月)15:32 ID:v7ayOauM(21/52) AAS
導来圏は、局所化して関数空間をみるなど、コホモロジーなどではするやろうが、
無限圏はただのホモロジーやから、一元体上の導来圏として、局所化されている。
429: Schlecht 2021/03/01(月)15:34 ID:Rz6p2V3E(8/35) AAS
言葉の羅列は要らない
具体的に計算を示してくれ
430: 2021/03/01(月)15:35 ID:v7ayOauM(22/52) AAS
は？ただ同値関係定義して割るだけ。
431: Schlecht 2021/03/01(月)15:37 ID:Rz6p2V3E(9/35) AAS
は、じゃなく具体的に計算をここでやってみせてくれ
そうしないと理解できないから
432(1): Schlecht 2021/03/01(月)15:39 ID:Rz6p2V3E(10/35) AAS
球面の安定ホモトピー群の計算には
スペクトル系列を使うんだろう？
HoTTでも当然出てくるんだよな？
さあここでやってみせてくれ
433(1): 2021/03/01(月)15:40 ID:v7ayOauM(23/52) AAS
コホモロジーで消耗しすぎじゃないのおっさん（お疲れ様です）
悪いが、Cisinki の1.5 か1.6 を参照してくれ。
導来圏は、Cisinski 2.3。
外部ﾘﾝｸ[pdf]:www.mathematik.uni-regensburg.de
434(1): 2021/03/01(月)15:47 ID:v7ayOauM(24/52) AAS
>>432
いやスペクトル系列は使わんでしょ。
435: Schlecht 2021/03/01(月)15:48 ID:Rz6p2V3E(11/35) AAS
>>433
君、全部読み切って理解した上で安定ホモトピーといってるんだろう？
悪いがここで、その計算をやり切ってみせてくれ
簡単だろう？
436(1): Schlecht 2021/03/01(月)15:50 ID:Rz6p2V3E(12/35) AAS
>>434
使わない？
それは新しいな
スペクトル系列は知ってるかい？
知った上で要らないと言い切ってる？
じゃ、ここで計算しきってみせてくれ
それが一番簡単だろう
437(1): 2021/03/01(月)15:53 ID:v7ayOauM(25/52) AAS
know of ではあるが、know ではない。
全部理解した上で安定ホモトピーとまで言ってない。
IUT と異なり、HoTT に欠陥が見当たらないからべんきょうしているだけ。
438(1): Schlecht 2021/03/01(月)15:53 ID:Rz6p2V3E(13/35) AAS
まさか安定ホモトピーが何なのかも全く知らずに
ただ安定ホモトピーって云いたかったから云っただけ
なんていわないよな
それってタイヒミュラーの業績も知らずに
IUT完全勝利って言ってる人とどこが違うんだ？
439(1): 2021/03/01(月)15:55 ID:v7ayOauM(26/52) AAS
>>436
かんたんとは、よく言ったものやな、おっさん。
計算可能性の話とか、コンパイラの理論とか全部すっ飛ばしたら、理解するのはかんたんやろけど、
あとは想像しろ下さい
440(1): 2021/03/01(月)15:56 ID:v7ayOauM(27/52) AAS
>>438
おまえ壁の内側がなんでできてるのか知って家に住んでるんか？
飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
441(1): Schlecht 2021/03/01(月)15:57 ID:Rz6p2V3E(14/35) AAS
>>437
know ofとは
外部ﾘﾝｸ:eow.alc.co.jp
つまり
「安定ホモトピーという言葉は知ってるが
それがどういうものかは知らない」
ってこと？
省4
442: 2021/03/01(月)15:57 ID:v7ayOauM(28/52) AAS
信用、という言葉シランなら、ちょっと2ちゃんねるやめたほうがええで。
443(1): 2021/03/01(月)15:59 ID:v7ayOauM(29/52) AAS
>>441
んッ？程度の差はあれど、相手が納得できるかできんかでしょう。あんたを納得させるほど俺は知らんとなんべんも言うてる。
444(3): Schlecht 2021/03/01(月)16:01 ID:Rz6p2V3E(15/35) AAS
>>439
HoTTで計算可能性とかコンパイラとか出てくるの？
>>440
>壁の内側がなんでできてるのか知って家に住んでるんか？
>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
IUT完全勝利君と同じようなこと言い出したなぁ…
IUT君に「分かってないんなら黙れ」っていうんなら
省3
445(1): 2021/03/01(月)16:02 ID:v7ayOauM(30/52) AAS
>>444
HoTT ってプログラミング言語だよ。
446(1): 2021/03/01(月)16:04 ID:v7ayOauM(31/52) AAS
>>444
いや、無知を知らん奴らと一緒にされては困る。知ってることはすべて言うてる。
言うてることが一つ同じなら、同類とはならん。
447: Schlecht 2021/03/01(月)16:05 ID:Rz6p2V3E(16/35) AAS
>>443
HoTTがIUTより信頼できるかどうかは全く関係なく
君がHoTTの中身を知らんのならやっぱり
口にしないほうがよかったんじゃないかい？
ところで君は独学？
もしいっしょに学習してる友達がいるならその人に聞いてみて
どんどん手繰っていけばそのうち球面の安定ホモトピー群を
省1
448(1): Schlecht 2021/03/01(月)16:07 ID:Rz6p2V3E(17/35) AAS
>>445
HoTTってHomotopy Type Theoryの略じゃないの？理論じゃないの？
449(1): Schlecht 2021/03/01(月)16:09 ID:Rz6p2V3E(18/35) AAS
>>446
んー、IUT君とは違うといいたいみたいだけど、
具体的な違いって何？
IUT君が知らないだろうけど自分は知ってるってこと、例えば何？
450(1): 2021/03/01(月)16:10 ID:v7ayOauM(32/52) AAS
>>448
型理論。
MLTT 型理論にUnivalence Axiom を足したもん。
何が嬉しいかって、プログラミング言語なの。この理論。
451(1): 2021/03/01(月)16:11 ID:v7ayOauM(33/52) AAS
>>449
頭大丈夫？
「無知」って言ってるけど。
452(1): Schlecht 2021/03/01(月)16:11 ID:Rz6p2V3E(19/35) AAS
HoTTがプログラミング言語だというならそれでいいので
球面の安定ホモトピー群の計算を行うプログラムを書いてみせて
できるんでしょう？
453: 2021/03/01(月)16:11 ID:v7ayOauM(34/52) AAS
>>450
あとHIT もやけど。
454(1): Schlecht 2021/03/01(月)16:12 ID:Rz6p2V3E(20/35) AAS
>>451
いや、数学的な知見でなにかIUT君より余計に知ってること、ないの？
ないんなら…同類だよね
455: 2021/03/01(月)16:13 ID:v7ayOauM(35/52) AAS
>>452
そんなに気になるんなら、ちょっと数年待ってて。
というか、coq/ hott で検索したら出来たやつがある。
456(1): 2021/03/01(月)16:15 ID:v7ayOauM(36/52) AAS
>>454
お前と違って何でも知ってるとは思っていないんで。
こっちこそ、
全く質問に答えられてないんやけど。
導来圏もしらんアホは黙っといたほうがええんちゃうか？
457: Schlecht 2021/03/01(月)16:15 ID:Rz6p2V3E(21/35) AAS
情報科学的なハッタリは興味ないんで
数学的な結果（例えば球面の安定ホモトピー群）
を出せるプログラム、書いてみて
458: 2021/03/01(月)16:16 ID:v7ayOauM(37/52) AAS
コホモロジーいうてて恥ずかしないんか？
459: Schlecht 2021/03/01(月)16:18 ID:Rz6p2V3E(22/35) AAS
>>456
導来圏でもなんでもいいから
球面の安定ホモトピー群
計算してみて
で、その計算でBernoulli数がどこに出てくるのか教えて
460(1): 2021/03/01(月)16:19 ID:v7ayOauM(38/52) AAS
自分で調べて自分でかけ。coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
悪いが、機械より上のことは、
そこまで興味ない。
461(1): 2021/03/01(月)16:20 ID:v7ayOauM(39/52) AAS
お前こそ、IUT みたいに同じこと言うてるな。IUT 君と同じこと言ってて恥ずかしくないの？
462(1): Schlecht 2021/03/01(月)16:20 ID:Rz6p2V3E(23/35) AAS
＞ちょっと数年待ってて。
「安定ホモトピー」って言葉、理解しきってから言うべきだったね
とくに、IUT君に黙れっていうんだったらさ
463(1): Schlecht 2021/03/01(月)16:22 ID:Rz6p2V3E(24/35) AAS
>>460
>coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
中身の仕組み知らんでプログラミングしてるの？
いったいどんなプログラム書いてきたの？なんか怖いな･･･
464: 2021/03/01(月)16:22 ID:v7ayOauM(40/52) AAS
>>462
んっだから日本語よめてる？
IUT はこっちが矛盾に指摘してるのに対して、あんたはなんの矛盾を指摘してんですか？
465: 2021/03/01(月)16:23 ID:v7ayOauM(41/52) AAS
>>463
俺が、いつcoq/hott 書いたって言ったの？
馬鹿なの？
言葉よめないの？
466: 2021/03/01(月)16:23 ID:v7ayOauM(42/52) AAS
知りたきゃ勝手にしろ。
お前は何も矛盾指摘できてない。
467: Schlecht 2021/03/01(月)16:24 ID:Rz6p2V3E(25/35) AAS
>>461
いやぁ、あなたのほうがIUT君そっくりだよ
特に中身知らなくてもOK、みたいな発言はそっくり
実はあなた、IUT君じゃないの？
468(1): 2021/03/01(月)16:25 ID:v7ayOauM(43/52) AAS
中身知らなくても OK なんていうてないけど。
そもそも導来圏も知らずにどうしてコホモロジーができるんですか？
469: 2021/03/01(月)16:26 ID:v7ayOauM(44/52) AAS
バカなの？墓穴掘りたいの？だから棺桶用意しておけとあれほど口酸っぱく言ったのに。
470(1): Schlecht 2021/03/01(月)16:58 ID:Rz6p2V3E(26/35) AAS
>>468
＞そもそも導来圏も知らずにどうしてコホモロジーができるんですか？
え？コホモロジーに導来圏って必須なの？
それは初耳なんだけど…
いつだれがどこでそんなこといったんですか？
とても興味があるので教えてください
471: Schlecht 2021/03/01(月)17:06 ID:Rz6p2V3E(27/35) AAS
なんか ID:v7ayOauM のいうことはちぐはぐだなあ
wikiには導来圏の導入でスペクトル系列を用いていたところは
劇的に簡素化されるなんて書いてあるから
球面の安定ホモトピー群の計算なんてまさにその典型例として
ドヤ顔で紹介できそうなもんだけど
外部ﾘﾝｸ:ja.wikipedia.org
中身を知らずに書き込みしちゃダメだね うん
472: 2021/03/01(月)17:12 ID:v7ayOauM(45/52) AAS
>>470
日本語読め。
必要とは言ってない。
導来圏なしで、コホモロジー論語ってればいいんじゃないの？
473(1): 2021/03/01(月)17:13 ID:v7ayOauM(46/52) AAS
「なんかちぐはぐだなあ」は草
お前が日本語読めてないだけ。
474(1): Schlecht 2021/03/01(月)17:14 ID:Rz6p2V3E(28/35) AAS
なんかグラグラだなぁ
単に「安定ホモトピー」とか「導来圏」とかいいたいだけなのかな？
それってＩＵＴ君とどこが違うのかな？
475: 2021/03/01(月)17:16 ID:v7ayOauM(47/52) AAS
>>474
質問したのお前だろ。バカなの？
476(1): Schlecht 2021/03/01(月)17:17 ID:Rz6p2V3E(29/35) AAS
>>473
何いらいらしてるんだろう？
やっぱりハッタリが通用しなかったからかな？
477(1): 2021/03/01(月)17:18 ID:v7ayOauM(48/52) AAS
>>476
笑
お前イライラしてるんやな。
478: 2021/03/01(月)17:19 ID:15xwKeEW(1/4) AAS
>>393
ド素人が
なにをガタガタ言っているの？
みっともないよ
479: 2021/03/01(月)17:19 ID:15xwKeEW(2/4) AAS
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
省3
480: Schlecht 2021/03/01(月)17:19 ID:Rz6p2V3E(30/35) AAS
何怒ってるんだろう？
知らないなら知らないって言えばいいだけなのに
知らないって言いたくないのかな？
でもそれじゃＩＵＴ君と同じだよね…
481: 2021/03/01(月)17:21 ID:capdN0d4(1/2) AAS
補数表現がまずグロタンディーク構成
482(1): Schlecht 2021/03/01(月)17:22 ID:Rz6p2V3E(31/35) AAS
>>477
あ、イライラしてる
今日はもう書き込みやめときなよ
明日になればID変わるから
ああ、そうそう、安定ホモトピーの話はもうしないほうがいいよ
同じことやると「またおまえか」っていわれるからさ
今度は違うネタで書いたほうがいいね
483(1): 2021/03/01(月)17:25 ID:v7ayOauM(49/52) AAS
>>482
いや、今お前がイライラしてる間に HoTT 読んでるから、またマウントよろ。
484: 2021/03/01(月)17:26 ID:v7ayOauM(50/52) AAS
お前のカスみたいなマウントでも気づきがあるんでね。
485: Schlecht 2021/03/01(月)17:28 ID:Rz6p2V3E(32/35) AAS
>>483
＞HoTT 読んでるから
早く球面の安定ホモトピー群の計算プログラムが書けるといいね
待ってるからさ
486: Schlecht 2021/03/01(月)17:30 ID:Rz6p2V3E(33/35) AAS
マウントじゃないんだけどな
むしろ花を持たせようとおもったら
肝心の花がなかった、という…
上下前次1-新書関写板覧索設栞歴
あと 516 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s