18/01/13 14:41:43.99 Yv3+DlzG.net
>>402
ある意味でストリング理論にたまに出てくるテータ関数もそういうものだと考えられる
CFTやタイヒミュラー空間はそこで重要だが、物凄いざっくり言えば三角関数とか周期性としての不変性が鍵になっている
つまり変形を左右するもの自体もある種の不変性を持つわけで、位相幾何やモジュライの基本
あと、Frankenhuijsenがまともなら、多分ネヴァンリンナ理論だなあと予想する
フラクタルかなと思ったけど、リーマン面のネヴァンリンナ理論とABCの関連性、
Frankenhuijsenがフロベニウス自己同型を重視していること
全て宇宙際の方向性と合うし
427:１３２人目の素数さん
18/01/13 14:55:23.15 KO+e5ECN.net
方向はその方向で考えてんだから合うだろう
完全に証明できてるのかギャップがないかどうか
428:１３２人目の素数さん
18/01/13 15:12:14.63 b9KVUjjv.net
ググったらブラジル人留学生のHP見つけた
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Research student (研究生)
Advisor: Shinichi Mochizuki
って書かれてある
429:１３２人目の素数さん
18/01/13 15:15:08.78 t7hvHO5c.net
１月中のアクセプトはなかったんじゃない？あったらモチーが報告してるはずだろうし。
次の会議２月上旬らしいから、まだ町田。
それよりなんで遅れたのかという理由が気になるな。バッシングに対応するためならよいが、論文にギャップが見つかったなんて
430:こったら目も当てられない。得意の朝日誤報になっちゃう。
431:１３２人目の素数さん
18/01/13 15:21:49.55 rQVORKtZ.net
＞１月中のアクセプトはなかったんじゃない？あったらモチーが報告してるはずだろうし。
そういうのは2月になってから言えよ妄想BBA
432:１３２人目の素数さん
18/01/13 15:59:46.28 RwfyVRvN.net
Il est trouvé.
J'en connais un.
Mais ça ne le dira pas.
433:１３２人目の素数さん
18/01/13 17:42:10.27 t7hvHO5c.net
BBAでわるかったな！もうこれからお得な話題を書き込んでやらんぞぼけ！
434:１３２人目の素数さん
18/01/13 18:15:42.78 2+sMrddX.net
このババァ決定的にズレてるな
今回の件で望月氏もRIMSも一切コメントしていない
それに、仮に掲載予定が本当だったとしてもバッシング対応なんて絶対あり得ない
このクソババァは数学を学ぼうとしないだけでなく、数学者の態度すら知らないのだな
ババァ、今まで何のために調べてたの？
435:１３２人目の素数さん
18/01/13 19:46:38.38 OZJAbURB.net
えっスレにBBA降臨してるの
どこどこどこどこどこどこどこどこどこ
436:１３２人目の素数さん
18/01/13 19:51:20.29 t7hvHO5c.net
こここここここここ
437:１３２人目の素数さん
18/01/13 19:59:21.42 BB1mEg7b.net
>>420
ズレた思考回路をしてしまうのはゴシップでお祭り騒ぎしたいからだろ
ゴシップを楽しんでます感が文面から滲み出てるしな
438:１３２人目の素数さん
18/01/13 22:48:22.59 vnGkaAmm.net
そのクソババアが関係者だとすると、良い情報源ですな
439:１３２人目の素数さん
18/01/13 23:20:33.88 12iffDwU.net
ただの数学ド素人なんだよなぁ
440:１３２人目の素数さん
18/01/13 23:27:31.66 2+sMrddX.net
ババァの妄想を信じるアホはおらんよ
もう完全に自分が何やってるのか分かってないよな
拗らせ過ぎて見ていて痛々しいわ
オバサン、どうしてそんなに拗らせちゃったの？
441:１３２人目の素数さん
18/01/13 23:34:23.11 T5ffhGyN.net
つうか中身BBAなの？何でわかんの？
442:１３２人目の素数さん
18/01/14 00:09:51.82 yNhhPVL1.net
たしかにｗ
443:１３２人目の素数さん
18/01/14 01:45:38.01 DmAwvMiY.net
URLﾘﾝｸ(megalodon.jp)
このクソ訳っぷりを見ると、少なくとも関係者ではないことがわかる
444:１３２人目の素数さん
18/01/14 01:48:16.20 DmAwvMiY.net
ちなみにバババっと正確に訳してみると以下のようになる
Inter-universal Teichmuller 理論入門 Fucheng Tan
この一連の講演で、望月新一氏の Inter-universal Teichmuller 理論（通称 IUT）の主結果と重要な技術的ポイントについて説明する。
最後に、IUT理論の応用として双曲的曲線に対する ABC/Vojta 予想の証明のスケッチも与える。
IUT では、数ある技術的データの中でもとりわけ数体 F 上の適切な楕円曲線 E と素数 l を出発点とし、etale theta 関数の理論で用いられる特定の双曲的曲線に関するデータの組を研究する。
特に双曲的曲線に対する遠アーベル幾何学と etale theta 関数は IUT の基礎を形成している。
楕円曲線および etale theta 関数の様々な幾何学的・数論的な情報は、いわゆる Hodge 劇場と呼ばれる対象の中に記録される。
より具体的には、Hoge 劇場は特定の双曲的曲線のカスプたちにより表現される楕円曲線の ℓ-torsion の商に付随する二種類の対称性を保持するように設計される。
その一つは乗法的対称性と呼ばれ、これは対応するカスプの集合が E のモジュライの体の絶対ガロア群の部分商として自然に同一視されるものであるため、数論的な特質を持つ対称性である。
もう一つは加法的対称性と呼ばれ、これは対応するカスプの集合が E と l によって決まる双曲的曲線の幾何学的基本群の部分商として自然に同一視されるものであるから、幾何学的な特質を持つ対称性である。
445:１３２人目の素数さん
18/01/14 01:49:25.90 DmAwvMiY.net
>>430 の続き
乗法的対称性は E のモジュライの体に付随するフロベニオイドのコピーに作用するが、加法的対称性はカスプでの theta 関数の様々な値における局所ガロア群の共役不定性を同期させることを可能とする。
これらの theta 関数の値および数体は、いわゆる theta-pilot object を決定し、その構造は前述の二つの対称性に依存する。
IUT の主な構成は、theta-pilot object のいわゆる多幅的な（すなわち環構造の変形の下での不変的な）表現である。
そのような表現の構築は、局所ガロア群の自己同型や局所単数群の自己同型、局所整数環の加法構造の変形に関係する不確定性/等価性の下でのみ達成することができる。
その多幅的な表現は、特に Hodge 劇場の異なるコピーの間の重要たる theta link と可換性があり、環構造を解体して arithmetic degree の情報を抽出する。
theta-link の適用は、Hodge-Arakelov 理論に関する望月氏の先行研究によって動機付けられた。
これは、Hodge-Arakelov 理論によって予期されたように、多幅的表現に付随する数論的な line bundle は 0 に近い dgree を持つという可換性から従うものである。
これが IUT 理論の主要な結果である。この結果といくつかの標準的な技法によって、最終的に ABC 予想の証明がなされるのである。
URLﾘﾝｸ(math.sustc.edu.cn)
446:１３２人目の素数さん
18/01/14 02:26:52.78 5qcgGPv1.net
>>427-428
自らBBAだと認めてるじゃん >>419
視力大丈夫？
447:１３２人目の素数さん
18/01/14 03:10:37.22 Vz4VX2gw.net
あんまりダイレクトなせいか流しちゃってたわ
もしかして結婚狙ってんの？
448:１３２人目の素数さん
18/01/14 06:00:14.39 1wNoyCts.net
いまだに相対論信じてる人がいてワロタ
449:１３２人目の素数さん
18/01/14 06:18:15.36 KRLRRdtp.net
>>413
ある意味？？？
等角写像、擬等角写像、タイヒミュラー空間
は数学の定義があるよ。
ストリング理論は26次元ボゾン弦、
CFTは共形場理論 、スーパーストリング
は10次元理論。
ADS/CFT対応 (ゲージ/重力双対)は量子もつれによるホログラフィー原理の例である。
量子もつれはアインシュタインのEPR現象
が出発点で物理の量子現象である。
(N=4 SYMは ゲージ/重力双対の例でもある)。
物理の超弦理論は 数論と直接 関係ある？
楕円曲線が物理の量子化されたんだろうか？
万物は数論の楕円曲線とでも？？
数学は数学、物理は物理 なのに、あほくさ～
450:１３２人目の素数さん
18/01/14 06:25:11.33 1zf0OBl2.net
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
451:１３２人目の素数さん
18/01/14 06:32:25.91 1zf0OBl2.net
数論が物理を受け入れないのとおなじ
452:１３２人目の素数さん
18/01/14 06:37:54.83 KRLRRdtp.net
数学は相間と親和性が高い
453:１３２人目の素数さん
18/01/14 06:54:26.70 Yi0SvPnF.net
まーた下らん物理レスかよ厨房は巣に帰れ
454:１３２人目の素数さん
18/01/14 06:55:20.07 elx4xfxR.net
>>434 なら君が量子コンピュータとやらのエラー率について説明してくれたまえ
455:１３２人目の素数さん
18/01/14 07:09:33.62 COqP/Dyp.net
IUTの理解が難しい云々は置いておいて
「IUTを理解したい」という熱が世界の数学者からそれほど伝わってコない
IUTが本当に革命的ならアインシュタインの時のように
世界の名だたる学者がこぞってその意味をより深く探ろうと
フィーバーするはずでは
しかしIUTの
456:場合はごく一部の暇人数学者がようやく腰を上げるのかどうか程度
457:１３２人目の素数さん
18/01/14 09:15:27.83 COqP/Dyp.net
数学自体の事はよく分からないけど、文元先生の講演に出てた
翻訳して通信するなんて話は数学でいくらでも他にある事だろうし
それ自体はIUT特有の斬新さじゃない気がする
458:１３２人目の素数さん
18/01/14 13:27:28.29 DNoI7wm7.net
ブンゲンさんに抱かれたい
459:１３２人目の素数さん
18/01/14 13:41:40.90 66/jv3/I.net
URLﾘﾝｸ(arxiv.org)
460:１３２人目の素数さん
18/01/14 14:03:24.93 YYHz5SKA.net
明日発表しそうな悪寒
461:１３２人目の素数さん
18/01/14 14:25:26.64 Wgj7OmAM.net
>>440
量子コンピュータとかまだ信じてんのかｗ
462:１３２人目の素数さん
18/01/14 14:27:44.29 lcAXNz+W.net
>>445
このバッシングだ、あと２ヶ月ほどは発表はないわ
463:１３２人目の素数さん
18/01/14 15:06:12.56 oMAKPmqJ.net
PRIMSは、論文の日付が2月20日頃みたいだが、
その頃に分かるのかな。
464:１３２人目の素数さん
18/01/14 15:23:24.36 rxYRdLC3.net
オバサン、>>429-431 が訳したものを引用元も示さずにツイートするのはやめろよ
グーグル翻訳でしか読めないババァがまるで英語を読めるみたいじゃないか
引用元を明記することすらしないのは最低の行いだぞ
オバサンは「私大文系卒女性」ですらないのか？
465:１３２人目の素数さん
18/01/14 15:50:04.05 sK/zt/MJ.net
あんまり苛めるからmath_bbaが怒り出したぞｗ
466:１３２人目の素数さん
18/01/14 15:54:15.95 R6ufD14w.net
だーかーらーBBAが怒るのは筋違いなんだよ
そもそも掲載される予定ならまってりゃいいんだよ
バッシングっても海外サイトの議論もおわってないのに強行掲載しようとするからだろ
467:１３２人目の素数さん
18/01/14 16:00:53.65 hLQ8D+AH.net
URLﾘﾝｸ(megalodon.jp)
ご丁寧に >>431 のタイプミスもそのままツイートしてやんの
正確にはdgreeではなくdegreeなんだがな
>>449
知的誠実さのかけらもない態度をみるに大学教育をまともに受けてなさそう
468:１３２人目の素数さん
18/01/14 16:09:18.52 lcAXNz+W.net
>>451
学術誌の編集委員会は、海外のブログなどの議論が決着するまで掲載を待つってか？査読者がOK出してるのに？アホか？
469:１３２人目の素数さん
18/01/14 16:09:28.86 sK/zt/MJ.net
妄想大好き統失BBAおまけに数学ド素人 それがjin
470:１３２人目の素数さん
18/01/14 16:14:03.09 X4EJ4RIj.net
>>454
うふふ
471:１３２人目の素数さん
18/01/14 16:22:16.10 R6ufD14w.net
>>453 じゃなんで掲載発表しないの
＞差読者OKがでたんだな？
472:１３２人目の素数さん
18/01/14 16:22:54.75 R6ufD14w.net
査だわ
473:１３２人目の素数さん
18/01/14 16:24:44.50 lcAXNz+W.net
>>456
査読者OKの情報を取材で得たんだろ？アカヒも一面にするくらいだから裏取ってるよ。それを海外のブログwwでやめるとか素人かw
474:１３２人目の素数さん
18/01/14 16:25:29.47 R6ufD14w.net
編集委員しか知らないであろうじじつをリークしたひとがいまーす！（小保方調）
475:１３２人目の素数さん
18/01/14 16:26:51.32 R6ufD14w.net
＞＞458 よく読め クスリでもやってんのか
476:１３２人目の素数さん
18/01/14 16:29:52.05 oMAKPmqJ.net
掲載のコメントを出して、何かいいことあるの？
普通に掲載して、周りが騒いで、後で論文否定されても、周りが騒いだということ。
理研のように、自分で喧伝して自殺者が出たから、喧伝したらリスクが大きいことが分かる。
RIMSの方針通り、「掲載してない論文はノーコメント」じゃないの。
477:１３２人目の素数さん
18/01/14 16:29:59.08 P7j2AL8i.net
>>443
中肉中
478:背の宮崎哲弥みたいだよね
479:１３２人目の素数さん
18/01/14 16:30:54.13 lcAXNz+W.net
>>460
アンカーも貼れない奴にいわれたかないわ。
おまえら取材活動の凄さを知らんな？酒池肉林強引無謀何でもありの取材合戦だぜ。
480:１３２人目の素数さん
18/01/14 16:31:53.95 T2LcP4X8.net
いつかabc予想をFaltings並みのページで解く奴が現れて、IUTは「追分の理論」になるかもね
481:１３２人目の素数さん
18/01/14 16:33:23.59 R6ufD14w.net
>>463 取材活動のはなしなどしとらん
＞査読者がOK出してるのに？アホか？
と断言したのはあくまで463
482:１３２人目の素数さん
18/01/14 16:34:11.87 lcAXNz+W.net
>>461
何か五年前にやたらマスゴミが騒いだから、圧力があんじゃねーの？コメント出せとか。
483:１３２人目の素数さん
18/01/14 16:36:09.10 lcAXNz+W.net
>>465
知能低いのぉ、アカヒが一面掲載するくらいだから査読者OKだろうよフツーのオツムで考えると。
484:１３２人目の素数さん
18/01/14 16:37:17.14 R6ufD14w.net
アホかお前さんの思考原理は赤比か
485:１３２人目の素数さん
18/01/14 16:38:32.46 lcAXNz+W.net
新聞業界には詳しいぜw
486:１３２人目の素数さん
18/01/14 16:38:34.87 R6ufD14w.net
そんなのが親派じゃやっぱ無理だわ じゃあの
487:１３２人目の素数さん
18/01/14 16:39:50.54 lcAXNz+W.net
>>470
451のアホな意見を放置してトンズラーか。レベルが知れるな。
488:１３２人目の素数さん
18/01/14 16:41:37.59 oMAKPmqJ.net
>>466
朝日新聞の、RIMSの「掲載してない論文はノーコメントの方針」の記事が、もし本当なら、
コメントしたらRIMS組織の規律に反するから、自分だったらば、何も言わない。
489:１３２人目の素数さん
18/01/14 16:46:34.86 rxYRdLC3.net
この酔っぱらいオバサン最高におもしろいわ（笑
大空に舞い上がるバカ
地の底を這いずり回るクズ
490:１３２人目の素数さん
18/01/14 16:52:33.44 hLQ8D+AH.net
>>472
それは朝日新聞の記事の情報ではなくてRIMS内部で出回ったメールに書かれてある情報
URLﾘﾝｸ(twitter.com:443)
491:１３２人目の素数さん
18/01/14 16:55:09.82 oMAKPmqJ.net
>>474
そうですか、ソース違いすみません。
そうならば語ったら責任問題だから、なおさら語らない、と思うよ。
492:１３２人目の素数さん
18/01/14 16:57:28.03 gQ5FDAOg.net
公務員倫理ホットライン - 人事院
【通報対象】 - 人事院
URLﾘﾝｸ(www.jinji.go.jp)
493:１３２人目の素数さん
18/01/14 16:57:57.85 rxYRdLC3.net
要するにオバサン一匹が騒いで暴れてるだけなんだよw
494:１３２人目の素数さん
18/01/14 17:08:59.57 oMAKPmqJ.net
>>477
僕は、BBAじゃないよ。
最初に、
PRIMSは、論文の日付が2月20日頃みたいだが、
その頃に分かるのかな。
と書いただけ。
495:１３２人目の素数さん
18/01/14 17:22:08.02 lcAXNz+W.net
>>474
これ、やばいよね、めっちゃ内部情報じゃんwww
496:１３２人目の素数さん
18/01/14 17:22:23.02 sK/zt/MJ.net
bba_jinがNot Even Wrongに書き込んで自作自演しとるｗ
497:１３２人目の素数さん
18/01/14 17:32:40.83 FdUqWlSN.net
おいおいTanの布教活動の第1情報源はjinのツイッターではなく >>336 やぞ
498:１３２人目の素数さん
18/01/14 17:50:54.71 /ynurMKG.net
jin「海外の数学者に注目されて嬉ピー♡」
499:１３２人目の素数さん
18/01/14 17:57:28.66 W5ShJbuI.net
お里が知れるな #jinはクソ
500:１３２人目の素数さん
18/01/14 18:07:05.47 E5eLkOq2.net
メールを流したら漏れる、と判断する、
掲示板のカキコは糞ババアが盗用する、
これは常識だぞ
501:１３２人目の素数さん
18/01/14 18:12:08.67 ibCC+OFN.net
3コマで理解できるんだー、国内でもやってよー（棒読み）
502:１３２人目の素数さん
18/01/14 18:33:20.21 P7j2AL8i.net
>>464
単純化できるのは間違いないわ
単純化できたらそいつのほうが凄いと思う
503:１３２人目の素数さん
18/01/14 18:45:50.38 7klFGxs1.net
テへ～テレるな～
504:１３２人目の素数さん
18/01/14 18:48:18.89 TtaDouVw.net
アホクサ。
505:１３２人目の素数さん
18/01/14 18:50:20.83 nEXxza5G.net
本当はより見通しの良い理論であるはずなのに諸々の概念や議論が十分一般的でないために込み入ったことになっているというのはあるだろうな
もう少し整備されれば流布しやすくはなるだろ
てかそういうのGokunが得意なんじゃ
506:１３２人目の素数さん
18/01/14 20:36:47.98 E5eLkOq2.net
ロンドン-オックスフォードのIUT理論
ワークショップで何が話されたんだろ？
未だ数学の論文が受理されていない前から、
ABC予想とN=4 SYMとはねぇ
↓
>>382
507:１３２人目の素数さん
18/01/14 20:45:32.99 YYHz5SKA.net
そう言いつつもお前らjinとセックスしたいんだろ
508:１３２人目の素数さん
18/01/14 20:47:39.69 E5eLkOq2.net
あぶり出されたw
509:１３２人目の素数さん
18/01/14 20:47:49.84 IRjx43JH.net
>>490
＞ワークショップで何が話されたんだろ？
EXTENDED PROCEEDINGS OF Oxford (CMI and C&S) workshop on IUT theory of Shinichi Mochizuki
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
510:１３２人目の素数さん
18/01/14 20:53:05.17 E5eLkOq2.net
>>493
サンクス
511:１３２人目の素数さん
18/01/14 20:53:33.37 Q+a8MYyN.net
遠アーベル幾何的な面ばかり強調されるけど
類体論的な方向に拡張したらいいんじゃない？
512:１３２人目の素数さん
18/01/14 20:56:12.04 sCGOk93J.net
>>495
類体論的な方向ってどういう方向のことだよ
513:１３２人目の素数さん
18/01/14 20:59:38.53 Q+a8MYyN.net
要するに、ラングランズとの親和性を高めるということですよ
514:１３２人目の素数さん
18/01/14 21:24:08.41 sCGOk93J.net
>>497
IUT理論って要は、多幅的（Multiradially）アルゴリズムと呼ばれる
ある種の双曲的曲線に対して定まる対数リンクの系列からテータ関数の特殊値などのデータを復元するという
遠アーベル幾何的な復元アルゴリズムの存在を主張する理論だけど
それとラングランズとの親和性を高めるって一体どういうことだよっていう
515:１３２人目の素数さん
18/01/14 21:43:34.95 sCGOk93J.net
Langlands との親和性を高めるという方針は何となく筋が悪いと感じる
それよりも Meromorphic function の現代的理論や Analytic number theory との親和性を高めるというのは可能だと思う
実際 Frankenhuijsen を始めとする研究者たちと共同研究しているのはそういう方向性なんじゃないか
そういう意味においても IUT がガッチガチの Langlands 学者たちから敬遠されているという状況が理解できる
516:１３２人目の素数さん
18/01/14 22:02:39.73 ENUeTSSx.net
親和性云々以前にIUTはなにも証明できてないのだから理論として無用
517:１３２人目の素数さん
18/01/14 22:03:02.62 Q+a8MYyN.net
ラングランズは数学の統一理論と言われてるわけだから
そっちのほうへ近づけていかないと将来性がないですよ
518:１３２人目の素数さん
18/01/14 22:17:49.14 E5eLkOq2.net
>>382のarxiv YMとABC予想ですが、
著者は物理関係のみと思います。
IUTは数論で超難解と言われていますが、
物理関係はこのarxivを見れば
OKそうですね？
519:１３２人目の素数さん
18/01/14 22:23:48.48 P7j2AL8i.net
>>498
大局感がないな
タイヒミュラー理論ってことを忘れたのか？
おまけに代数的基本群と絶対ガロア群の圏を使って大域的にスキームを計算する理論だ
逆にどうやったらラングランズと関係ないと思えるのか
520:１３２人目の素数さん
18/01/14 22:27:27.68 qJgR3zl9.net
>>503
大域的にスキームを計算するとは？(笑)
521:１３２人目の素数さん
18/01/14 22:29:11.02 P7j2AL8i.net
真っ先にやるべきは高次元化
高次元化しろ！
522:１３２人目の素数さん
18/01/14 22:33:33.00 P7j2AL8i.net
>>504
(笑)はいらねーだろ！
523:１３２人目の素数さん
18/01/14 22:53:40.59 P7j2AL8i.net
あの
524:ね、数体で幾何学をやるってのは難しいことだからな？考える頭があれば理由はわかる 普通に考えたら数体のスキームを使ってタイヒミュラー理論を構成なんてできないんだよ だから簡単に理解されなかったのだ
525:１３２人目の素数さん
18/01/14 22:58:08.68 qJgR3zl9.net
>>507
そこでいうタイヒミュラー理論とはどういう理論のことを言っている？ｗ
526:１３２人目の素数さん
18/01/14 23:16:48.89 ptC2F6gh.net
数体で幾何学をやるってそれただのスキーム論やん
527:１３２人目の素数さん
18/01/14 23:19:02.56 COqP/Dyp.net
>>382
ものすごい偏見なのは自覚してるけど
論文の著者名がHui とか Huとかアジア系っぽいってだけで
読まなくていいヤツとしてそっ閉じする
浅いリンクだけで夢を語るだけなら誰にも難しくない
528:１３２人目の素数さん
18/01/14 23:19:43.46 P7j2AL8i.net
よくできてる理論と言える理由は例えばこうだ
複素ホッジ理論はCで考えれば十分なんだ。だから変形しても計算は簡単だろ
ところが環構造自体を変形するとなるとそうはいかない
だから何かが必要になる。この理論は絶対遠アーベルだ
そしてそれが色んな意味で見事に嵌まってるのだよ。抽象的なパズルとしてね
529:１３２人目の素数さん
18/01/14 23:26:37.64 COqP/Dyp.net
>>505
加藤和也先生の一般の人向けの本を読んだことあるけど
類体論の高次元化の仕事は現代数論の本流である類体論の非可換化の仕事の
助けになるらしい
そして類体論の高次元化は一応完成を終えた理論ならしい
530:１３２人目の素数さん
18/01/14 23:28:52.25 COqP/Dyp.net
>>512
×助けになるらしい
○助けになる可能性があるらしい
531:１３２人目の素数さん
18/01/14 23:30:27.42 COqP/Dyp.net
>>511
複素ホッジ理論自体が数論と直接密に関係しているお話ってありますか？
加藤和也先生のお話以外で
532:１３２人目の素数さん
18/01/14 23:31:20.12 ptC2F6gh.net
>>510
いや俺も胡散臭すぎると思うぞ
ただどういうわけかその著者の一人であるHU Zhiってやつはモッチーのところに滞在中なんだよな
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
533:１３２人目の素数さん
18/01/14 23:32:19.56 COqP/Dyp.net
>>515
まぁ紛れ込むだけならjinでも出来るんだし
534:１３２人目の素数さん
18/01/14 23:33:23.64 qJgR3zl9.net
>>505
IUTのどこをどう高次元化しろと言っている？
535:１３２人目の素数さん
18/01/14 23:35:37.54 ptC2F6gh.net
>>516
いやいやRIMSの来訪研究者として紛れ込むのは至難の技では？
536:１３２人目の素数さん
18/01/14 23:36:29.45 P7j2AL8i.net
>>512
それはグロタンディークやドリーニュの理論の延長でできるからね
しかし、それに関連する代数的K理論もまだ解明されきってないし、
数体のラングランズ予想そのものの幾何学的解釈もそれだけではできない
(これは死ぬほど難しい)
537:１３２人目の素数さん
18/01/14 23:38:55.52 COqP/Dyp.net
>>518
一応大学に職のある人ならナンチャッテでも可能なんじゃない？
そういう人たまにいるみたいよ
たとえばこの件とは関係ないけど教授職についたあとで分野転向したりした人が
ウロウロとほぼ門外漢レベルでセミナーに出没したり
それにいまIUTは来る者拒まず状態でしょたぶん
538:１３２人目の素数さん
18/01/14 23:42:55.61 P7j2AL8i.net
>>514
そりゃモチーフ(スキームのコホモロジーの一般化)だな。ホッジ予想ってあるでしょ
関数のラングランズ予想でも複素ホッジ理論はバリバリ使われている
ホッジ理論の役割は大雑把に言えば多様体上の微分積分を利用して
代数幾何学的な図形を調べること
しかし、そのままでは本来の数論には使えない。だからIUTTは新しいわけだ
539:１３２人目の素数さん
18/01/14 23:43:28.27 ptC2F6gh.net
>>520
なるほどなぁ言われてみればそんな感じがするな
540:１３２人目の素数さん
18/01/14 23:43:57.79 COqP/Dyp.net
>>519
むしろその延長上で出来て欲しいね
スッキリしていいじゃん
そういう意味で言えばIUTも延長上の話だよね <
541:br> ワイルズやテーラーの理論は技術的過ぎてその場しのぎの技巧が 限界に来てるみたいなレスを２ちゃんで読んだ事ある 解明され切ってないとはいわゆる斎藤先生のサーベイに出て来る 高次元の「高次化」の事なのかな ネット上で読んだ事あるけど「高次化」って何を指してるかさえ意味が読み取れなかった
542:１３２人目の素数さん
18/01/14 23:50:31.13 P7j2AL8i.net
>>517
IUTTというか、まず遠アーベル自体高次元化は芳しくないだろ？いや、18年時点の
情報は知らないが、つい最近までそうだったはず
その上で応用すべきと考える理論は二つあるが、今は妄言だから言わない
解析的整数論に関連付けるとしても高次元化は重要だよ
543:１３２人目の素数さん
18/01/14 23:53:52.31 COqP/Dyp.net
>>521
複素ホッジ理論がモチーフに関係してるらしい事はwikiで読んだけど
ネットサーフィンして眺める限り複素数体だけで議論できる話題は
どうも非常に限られているっぽいという印象。
複素ホッジ理論とモチーフとの関連の話題でもすぐに結局はスキームが
議論に出てくる。
penrose変換の層コホモロジーを用いたりして
保型形式を純粋に複素代数幾何的に議論する事を
複素ホッジ理論界隈のボス（Griffiths）がなんやかんや
やってるみたいだけどフォロワーが殆どいないし停滞してるぽい
544:１３２人目の素数さん
18/01/14 23:57:55.41 COqP/Dyp.net
>>524
数学の内容自体は俺は門外漢だけど
解析数論って陸の孤島みたいだから複素代数幾何的にジオメトリックな
扱いで統一して欲しい。
でもジーゲルだか誰か伝統的解析数論畑の人が「高級数学」を非常に批判してた。
野ブタが畑を荒らすが如くとたとえてた。
解析数論の人にとっての本質はもっともっと素朴な対象なんだろうね
545:１３２人目の素数さん
18/01/14 23:58:20.95 qJgR3zl9.net
>>524
なるほど、曲線を曲面に高次元化するってことね
>>523
π_1をπ_nにしてGL_1をGL_nにするっていう話では（高次元化の高次元化の意味
546:１３２人目の素数さん
18/01/14 23:59:51.58 P7j2AL8i.net
>>523
Wiles-Taylorは、通常のスキームと正則保型表現で数論をやることの
限界を示したと言えるだろうな
IUTTは単なる延長というよりは、2020年以降に予見される代数幾何学の前触れという感じか
547:１３２人目の素数さん
18/01/15 00:08:54.40 V973gl0L.net
>>528
イメージだけでモノを言うけど
ワイルズやテーラーはそりゃスキーム理論も一応使ってはいるけど
楕円曲線や保型形式の人という感じ
しかも最近はそのスキーム理論の議論のかなりの部分も
可換環論だけの議論に簡易化されてるらしい
グロタンディーク思想やスキーム理論の真髄自体が
その延長を保った形でもっと深化して欲しい
高次元類体論はほどよくスキーム理論と類体論がブレンドされているという観点で
理想的理論って感じ
548:１３２人目の素数さん
18/01/15 00:13:01.33 V973gl0L.net
>>527
>π_1をπ_nにしてGL_1をGL_nにするっていう話では（高次元化の高次元化の意味
なるほどよく分からんけどよく分かった
だから高次元の高次化が非可換の道を開く可能性があるのね
この筋道がスッキリしたら現代数論は鬼のような表現論地獄から開放されるかも知れない
549:１３２人目の素数さん
18/01/15 00:21:48.68 SKNGtqse.net
>>530
表現論って実際のところ、数論に本質的な寄与を与えているの？
550:１３２人目の素数さん
18/01/15 00:23:18.38 V973gl0L.net
なお俺の数学の上っ面の知識は全てネット上の日本語のサーベイの斜め読むから
得ている
プロの数学者や院生の皆さん、
サーベイはすごく外野の数学ファンに役立つの最新情報をどんどんサーベイして下さい
なお丁度お経や子守唄代わりになるので詳細部分の雰囲気も
プロが読むことを想定したサーベイにして下さい
下手に門外漢にへりくだり過ぎたサーベイになると
「分けわかんモノを楽しむ」というお経のリズムが損なわれてしまう
551:１３２人目の素数さん
18/01/15 00:23:44.52 /BXANlkf.net
>>531
散々語られているようにLanglans programに絶大な本質的寄与を与えている
552:１３２人目の素数さん
18/01/15 00:24:47.66 4BXuXaRN.net
>>525
代数的K理論は高次元化だけじゃなくて組合せ論との関係など、まだかなり解明には
時間がかかると思うわ
しかしモチーフの難攻不落ぶりは凄いよな。部分部分解明されてきてはいるんだけど
決定的な何かが足りないまま
スキームの全体像を効率的に捉えるという意味では宇宙際幾何も役立つだろうけど
553:１３２人目の素数さん
18/01/15 00:27:26.90 V973gl0L.net
>>531
多分その本当の答えはたぶん誰にもまだ分からない
一つ言えるのは現段階においてはおそらく「それ以外に道はない」ということ。
望月先生はしかしNOと言ったということ。
554:１３２人目の素数さん
18/01/15 00:55:36.93 oH8i7oNp.net
数学を統一したいというラングランズプログラムと、実際に本質的形で統一できるかどうかは別物なんだろうな。統一できる部分だけ統一するんだろうけどな
555:１３２人目の素数さん
18/01/15 01:35:58.15 4BXuXaRN.net
一般の形で統一する方法は今のところ全く謎に等しい
それを哲学的な意味で明らかにできれば、フィールズ以上の栄誉になるだろうね
怒られるかもしれないが、多分宇宙際のフレームでも無理だろう
556:１３２人目の素数さん
18/01/15 01:37:15.07 4BXuXaRN.net
ラングランズの話な
557:１３２人目の素数さん
18/01/15 04:54:45.31 QGG5I08Y.net
URLﾘﾝｸ(www.him.uni-bonn.de)
URLﾘﾝｸ(webusers.imj-prg.fr)
LanglandsとIUTTを結び鍵となる研究見つけたお
558:１３２人目の素数さん
18/01/15 06:07:38.79 GmhJvLi5.net
モチーフ＝表現論？
559:１３２人目の素数さん
18/01/15 08:22:13.01 4B4UOs14.net
幾何。
クラインのエルランゲンプログラムは
群と表現が大切ですね。
物性 素粒子の場に繋がった。
内在性のガウス曲面論がリーマン幾何
になり相対論の記述で使われる。
カルタンの接続の幾何はファイバー束で
近接作用 局所性 ゲージ場、、
の記述に使われる。
位相幾何はトポロジー、
トポロジカルな絶縁体、、
物理 数理 物理数学には大切な幾何ですな。
数学は一般化が統一なんだろうかね？
グロタンディクから代数 、数論、幾何
数論幾何から、トポス量子重力、
ABC予想とN=4 SYMとか物理には
単なる試論。
物理の標準理論ではないし
作業仮説でもない。
IUTによるABC予想の数学証明は
厳密な査読が必要だ、査読は保証だから。
560:１３２人目の素数さん
18/01/15 08:26:09.90 /D9OLEBq.net
数学者にとって物理などどうでもいい
561:１３２人目の素数さん
18/01/15 08:28:57.30 Ju94wdQy.net
物理学者のwittenは数学のフィールズ賞を
受賞した。
562:１３２人目の素数さん
18/01/15 08:34:39.84 jQk8DY0D.net
ポルナレフじゃなくてロシアのえーと、、、ペレルマン
563:１３２人目の素数さん
18/01/15 08:59:27.76 617Lb9T8.net
物理学者が数学の
564:研究をするのは自由 だが数学者にとって物理は単なる応用にすぎない
565:１３２人目の素数さん
18/01/15 09:01:16.37 GmhJvLi5.net
風呂紅オイドにも子ホモ路地ーが定義できるといいんだが
566:１３２人目の素数さん
18/01/15 09:05:28.07 +2KLpR+O.net
>>545
涙目だね～
567:１３２人目の素数さん
18/01/15 09:11:38.21 a1zX/jgT.net
数学者としても弦理論屋としても振舞える人は業界で現時点でふたりだけです。
一人は Witten 先生です。
もうひとりは Dave Morrison 先生で、
ミラー対称性等で著名な業績がありますが、彼ですら数学の博士号を取ってポスドクになってから、弦理論を学びました。
勿論あなたが三人目になる可能性もありますが、あなたがその三人目である確率は低いでしょう。
568:１３２人目の素数さん
18/01/15 09:12:41.97 617Lb9T8.net
>>547
お前がな
569:１３２人目の素数さん
18/01/15 09:17:47.64 CQoQxeNh.net
>>548
バッファは？？？
ウィッテンはモースの不等式を
量子効果のトンネル効果で書きかえたんだよー
570:１３２人目の素数さん
18/01/15 09:21:52.70 a1zX/jgT.net
>>550
立川裕二氏によるとこの2人だけらしい
URLﾘﾝｸ(member.ipmu.jp)
571:１３２人目の素数さん
18/01/15 10:32:52.18 CgwjCi21.net
アーノルドは物理の中に数学がある、
ウィッテンは自分は物理と言ってる。
但し、バッファは物理のアイデアが
直接 数学の証明に繋がらない、とも言ってる。
物理の側面から定義して数学の論理へ、だ。
物理の視点で数学の厳密な証明ではないね。
↓
URLﾘﾝｸ(faculty.tcu.edu)
572:１３２人目の素数さん
18/01/15 10:35:15.65 CgwjCi21.net
>>552
原論文
URLﾘﾝｸ(www.sns.ias.edu)
573:１３２人目の素数さん
18/01/15 10:40:24.88 V973gl0L.net
物理の話するにしてもせめて「数論」との関連で語ってよ。
非数論の数学なんて「数論」に比べたらカスだから。
言い換えると全ての数学は「数論」的文脈を得て初めて生命が宿る。
更に言えば未だに非数論の数学としか主たる交わりのない超弦理論もカス。
574:１３２人目の素数さん
18/01/15 10:46:36.62 CgwjCi21.net
数論幾何？
なぜ幾何がつくんだ？？
575:１３２人目の素数さん
18/01/15 10:47:48.55 V973gl0L.net
>>548,>>551
スレチだけど「振る舞う」とは何かはさておき
超弦理論のポルチンスキの教科書やペスキンの場の量子論の本を
一通り理解している数学者はかなりの数いるけど
現代幾何学の基礎を院生以上のレベルでちゃんと理解したと言える物理学者は
あまりいないと思う
576:１３２人目の素数さん
18/01/15 10:51:57.29 aafjcVYb.net
>>555
数論と幾何どっち付かずとしてのコンプレックス
数理物理みたいなネーミングだろ
577:１３２人目の素数さん
18/01/15 10:53:12.42 CgwjCi21.net
>>556
相対論から理解不能だろ、
物理は実験観測と結びついているからね。
578:１３２人目の素数さん
18/01/15 10:54:29.84 CgwjCi21.net
>>557
貴方は初等整数論なんだ、
579:１３２人目の素数さん
18/01/15 10:56:08.79 qN4yntd1.net
ところがどっこい
580:１３２人目の素数さん
18/01/15 10:56:56.52 V973gl0L.net
>>558
>相対論から理解不能だろ
相対論はディラックの超薄い本を一通り目を通しておけば
なんとかなるとりあえずは十分だと思う
たぶん
581:１３２人目の素数さん
18/01/15 11:01:32.83 CQoQxeNh.net
>>561
アインシュタインの原論文から。
582:１３２人目の素数さん
18/01/15 11:01:39.72 qN4yntd1.net
560
583:１３２人目の素数さん
18/01/15 11:06:44.09 GmhJvLi5.net
数論を高次元化するのが数論幾何
584:１３２人目の素数さん
18/01/15 11:47:13.68 aafjcVYb.net
>>564
じゃあ只の「数論」は何
585:次元だ？ 「低次元」だとして３？４？次元か？ 低次元幾何はむずいぞ
586:１３２人目の素数さん
18/01/15 12:07:53.01 GmhJvLi5.net
1次元だよ
0次元もある
587:１３２人目の素数さん
18/01/15 12:34:11.17 aafjcVYb.net
なんだ
代数幾何のことね
ガロア群の２次元表現などは低次元？
588:１３２人目の素数さん
18/01/15 12:38:45.19 GmhJvLi5.net
それは高次化
589:１３２人目の素数さん
18/01/15 12:55:35.17 tKXpp0DT.net
URLﾘﾝｸ(twitter.com)
math_jin‏ @math_jin
RIMSの中島先生(@hirakunakajima)は４月異動とツイートされていましたので、京都での実質的な最終講義?
[談話会]Moore-Tachikawa 2d TQFTs whose values are holomorphic symplectic varieties
2018/2/14（水）16:30～17:30
京大理学3号館110講義室
中島 啓氏
Abstractは以下
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) …
16:56 - 2018年1月14日
Hiraku Nakajima ‏ @hirakunakajima 14 分前
返信先: @math_jinさん
来年度は集中講義をします。デマ流している、あんた誰？
Hiraku Nakajima @hirakunakajima 3 分前
ふつう、異動する人に最終講義というか？
590:１３２人目の素数さん
18/01/15 13:15:27.52 uM9tMxXR.net
無関係を装ってたりして
591:１３２人目の素数さん
18/01/15 13:17:12.43 qpsrDCDo.net
ウィッテンは数学者からすると預言者みたいな扱いだろうな
崇拝とは違う感覚を持ってるのが普通。突き詰めると肝心な部分がわかってないことに
気付く。ストリング全体に言えることだが
未だにそれを誤魔化してきている感じはどうしてもある
592:１３２人目の素数さん
18/01/15 13:22:42.90 qpsrDCDo.net
ラングランズも非常に難しいが、何せ起源が古いからな
コンヌが部分的にアップデートし、だがまだ足りないという感じだ
593:１３２人目の素数さん
18/01/15 13:36:14.12 O5WPI4uJ.net
>>569
いやはや、オバサン平日月曜の昼間からフルスロットルだな(笑
なんつーか、稀にみるバカだ
594:１３２人目の素数さん
18/01/15 13:52:20.54 3kwkM2+B.net
>>556
>超弦理論のポルチンスキの教科書
ホログラフィー原理 、ADS/CFTもないよ。
>ペスキンの場の量子論
ボゴリューボフ 場の量子論の数学的方法を
読んだら、、公理論的 相対論的場の量子論は
否定的なHaggの定理があるね。
>一通り理解している数学者はかなりの
数いる
サッパリわからん？
>現代幾何学の基礎を院生以上のレベル
でちゃんと理解したと言える物理学者は
あまりいないと思う
すまん、超弦理論にしろ数学は道具だな。
表面張力のラプラスの定理、石鹸膜
シャボン玉実験、シャボン玉定理、
から動く曲面へ、と聞いて
次が分からんのが純？数学者。
工学の方が進んでいるわ。
ロシアの数学は純数学者と違う。
595:１３２人目の素数さん
18/01/15 14:18:53.00 up+q5XX+.net
ハイハイ道具でいいから関係ない話するな
596:１３２人目の素数さん
18/01/15 14:23:42.87 3kwkM2+B.net
ロシアの数学者名は 糞ババアが盗用する
から書かないよ、
アホもいるし 悪しからず
597:１３２人目の素数さん
18/01/15 15:24:15.47 rjDwKe+w.net
そんな情報ババアでも盗用せんわ
jin以上に自意識過剰かよ
598:１３２人目の素数さん
18/01/15 15:33:21.02 CQoQxeNh.net
数学はオタクと親和性が高い
599:１３２人目の素数さん
18/01/15 15:33:52.83 r7lrY/2c.net
BBA乙
600:１３２人目の素数さん
18/01/15 15:35:43.25 pVoYe6sS.net
ほんとあのババア余計なことばかりしてやがる
一体どんな面してんのか見てみたいわ
601:１３２人目の素数さん
18/01/15 15:45:22.65 rjDwKe+w.net
URLﾘﾝｸ(twitter.com)
ババアのやつ、ツイート削除した�
602:ｾけで許されたと思ってそう お前は今まで5年以上もRIMSの先生方に迷惑かけてきたんだ 存在自体が害なので垢消せ
603:１３２人目の素数さん
18/01/15 15:49:10.48 CiTJYWWt.net
>>556
そんな数学者いないと思うが……
そもそも数学者の壁としてファインマンダイアグラムがいまだ立ちはだかってるし
604:１３２人目の素数さん
18/01/15 16:07:43.17 9A3eItYY.net
ファインマン図とかただの近似法だからあまり深く考えないほうがいいよ
605:１３２人目の素数さん
18/01/15 16:35:14.70 UJNES4GC.net
>>554
現在までに、最初に物理の学習から始めてから数論をやった人は何人かいるが、
逆に、最初に数論や数論幾何までやってから物理で業績を上げた人はいるかい？
606:１３２人目の素数さん
18/01/15 16:38:28.43 qpsrDCDo.net
量子論もストリングも数学的意味がわかっている人間などいないんだから
一旦深く考えないほうがいいのは確かだ
ちゃんとした数学的理由があって、ストリングやってる数学者は馬鹿だと俺は思っている
ホモロジーミラー、シンプレクティックやリー代数は地に足が付いてるからいいけど
607:１３２人目の素数さん
18/01/15 16:41:37.97 qpsrDCDo.net
>>584
それは純粋な疑問ならともかく、優劣については完全にナンセンスな比較
ウィッテンについては純粋な数学的業績というより、発見的な業績だしな
608:１３２人目の素数さん
18/01/15 16:58:30.03 UJNES4GC.net
>>586
いや、素朴な疑問で、表現論を除くと、物理から解析や幾何が生まれ、解析や幾何から代数が生まれる。
近代以降、歴史的には大体そういう流れになる。数論は代数の極み。
数論の証明も、他の分野から生まれた手法を使うことが少なくない。
609:１３２人目の素数さん
18/01/15 17:04:41.19 UJNES4GC.net
数論は最終的に行き詰まった状態の分野で、
或る定理のより純粋に代数的手法で簡潔な証明をするだけでも論文のネタになり得る。
解析とか幾何は、必ずしもそのような状態とは限らない。
610:１３２人目の素数さん
18/01/15 17:48:37.39 PJELOU8y.net
物理の数学コンプは異常
611:１３２人目の素数さん
18/01/15 17:55:25.80 +yRFgUDo.net
BBAは本人が統失な上に相方がサイコエロだし救えないわ
品川や川崎を闊歩してる中堅サラリーマンなんて自分が世の中の主流と勘違いするしな
612:１３２人目の素数さん
18/01/15 17:57:24.59 qpsrDCDo.net
>>587
そんな単純な図式にはならんよ
まあ面倒だからいいけどw
613:１３２人目の素数さん
18/01/15 18:09:05.95 UJNES4GC.net
>>591
ニュートンとライプニッツによる微分積分が生まれてから、
オイラーの公式からガウスの円周等分多項式が生まれたのは分かるよな。
オイラー自身も数論で業績を上げてはいるけど、その円周等分多項式がなかったら、
代数的整数論も何も近代の数論は豊かに発達し得なかったと思うよ。
ここでは数論への幾何の影響のことはいっていないけどね。
614:１３２人目の素数さん
18/01/15 18:25:39.36 K5fgfrmR.net
リーマン多様体が物理からの要請で芽吹いたのならば、その考えも広く受け入れられたでしょうね
615:１３２人目の素数さん
18/01/15 18:38:10.19 mzb1WxfO.net
どう見ても純粋数学は追いやられて部が悪いだろう
616:１３２人目の素数さん
18/01/15 18:39:46.26 K5fgfrmR.net
代数トポロジーの諸概念が物理から来てるとは思えない
617:１３２人目の素数さん
18/01/15 18:40:25.17 K5fgfrmR.net
>>594
追いやられる？
何処に？
618:１３２人目の素数さん
18/01/15 18:42:12.14 qpsrDCDo.net
>>592
そもそも数論はあまり確定した分野ではないのと、広義の代数とその他(物理を含む)の
関係も単純ではないからな
全体として数論がエンド的だと言い切るのは時期尚早ではないかな
619:１３２人目の素数さん
18/01/15 18:50:52.21 qpsrDCDo.net
有名な流れで言えば
�
620:Xトリング理論に新しい革命が起きる か、Langlands×Connes→Arithmetic Quantum theory？ のどちらかになると予想されるが どちらにせよ数学的な考え方をしないと前に進めない 実際、本当に行き詰まってるのは競争とか抜きに物理だろ
621:１３２人目の素数さん
18/01/15 18:57:49.59 vCZq8lUs.net
>>569
中島啓先生、なんだよコイツ非常識な上にキモすぎ氏ねよって思っただろうな
622:１３２人目の素数さん
18/01/15 19:36:06.18 +LdtL3o5.net
匂わせツイッター
623:１３２人目の素数さん
18/01/15 19:37:59.56 +MNkZmnW.net
あんた誰は草
624:１３２人目の素数さん
18/01/15 19:39:02.64 r/6XcmoZ.net
jinはいい加減、自分が研究者たちにとって迷惑な存在なんだということを自覚しろ
625:１３２人目の素数さん
18/01/15 19:49:29.72 O5WPI4uJ.net
おそらくオバサン的には無視したフレンケルには激おこ、中島氏には触らぬ神に祟りなし、
望月氏には永遠の片想い、ブンゲン氏はリツイートしてくれたので愛人にしてほしい、てな感じだろうなw
ブンゲン氏も余計なことを……
626:１３２人目の素数さん
18/01/15 20:00:51.70 5v8pP00y.net
セミナーに乱入して糞ヤジ飛ばしまくる禿JJI(物理出身)といい
ツイッターでデマ流しまくる拗らせ系ストーカーBBA_jinといい
RIMSは注目される存在なだけに大変だよなぁ
（光に影はつきもの）
627:１３２人目の素数さん
18/01/15 20:19:25.77 2hTWvdgI.net
URLﾘﾝｸ(www.math.columbia.edu)
bba_jinのコメント、Woitに見事に無視されてるな
628:１３２人目の素数さん
18/01/15 20:20:47.71 mLdCVAVq.net
bba_jinは数学者とセックスがしたくてたまらないんだろうな。
毎日朝起きては得意の妄想で数学者おかずにひとしきり自慰に励んだ後
更新アプリとこのスレチェックしてんだから。
629:１３２人目の素数さん
18/01/15 20:24:31.01 ykP2b6PU.net
中途半端な距離感でヲチしてる様子を見ると
見た目はあれなんだろうなあ
美人だったらひとまずアタックするだろうし
630:１３２人目の素数さん
18/01/15 20:28:20.17 2hTWvdgI.net
>>606
グロ
631:１３２人目の素数さん
18/01/15 20:37:33.62 V973gl0L.net
だから「非数論の数学」も「物理」も
数論的文脈の中で語られない限りクソなんだから
スレ違いやめてよ
どうしてもそれらをこのスレで語りたいならせめて
それらの数論との関連性について書いてよ
632:１３２人目の素数さん
18/01/15 20:38:49.26 8IJUk0YP.net
>>605 のコメントにしろ、フレンケルへの糞リプにしろ
独りよがりな自己主張なので無視されて当然
633:１３２人目の素数さん
18/01/15 21:01:14.55 oqszsUca.net
>>595
ニュートンのプリンキピアは面白いよ。
3次曲線の分類、微積分 曲線図形の求積法、
ニュートン多角形、べき級数解、
皆んな ニュートン。
634:１３２人目の素数さん
18/01/15 21:11:54.04 MAlBDD1z.net
ニュートンは数学と物理学を結びつけた天才
ノイマンは計算機科学から統計学の有用性を(結果的に)引き上げた天才
635:１３２人目の素数さん
18/01/15 21:20:46.49 pVoYe6sS.net
最終講演だとか言って勝手に中島先生を定年退官させようとしたjinの罪は重い
636:１３２人目の素数さん
18/01/15 21:57:43.97 uc7e2dBk.net
@hirakunakajimaさんのツイート: URLﾘﾝｸ(twitter.com)
名誉教授になるには、最終講義をしなくてはいけない、のかな？
URLﾘﾝｸ(twitter.com)
そうだとすると、今度の談話会
637:は最終講義なのかも？ jin良かったな、中島先生も間違いに気づいてくれたよ。あんたの勝ちだw
638:１３２人目の素数さん
18/01/15 22:04:13.29 3QYQ7Qao.net
>>611
用語を並べただけの独りよがりなレスばかり飛ばしてるようだが
（しかも日本語が多々崩壊してるし）目障りだから失せろ
639:１３２人目の素数さん
18/01/15 22:12:48.61 sJNubqKM.net
>>614
＞名誉教授になるには最終講義しなくてはならない
んなわけねぇだろ。中島先生らしくないボケだな。
あとjinがクソであることには変わりねぇよ。
640:１３２人目の素数さん
18/01/15 22:17:52.45 3YoxpUd2.net
>>614
最終講義ではなく、ただの異動記念談話会
641:１３２人目の素数さん
18/01/15 22:18:10.34 uc7e2dBk.net
>>616
んなわけねぇってなんでおまえ知ってるんだ？関係者か？
642:１３２人目の素数さん
18/01/15 22:19:40.66 uc7e2dBk.net
>>617
jinも「実質的な最終講義？」って？つけてるだろ？
643:１３２人目の素数さん
18/01/15 22:21:02.59 uc7e2dBk.net
>>613
最終講義？って言ってるだけだろ？過剰反応しすぎなんだよここの掃き溜めの住人もピラクちゃんもw
644:１３２人目の素数さん
18/01/15 22:26:37.55 DtVA75v1.net
よぉjin、必死だな
645:１３２人目の素数さん
18/01/15 22:34:51.07 mLdCVAVq.net
jin、バレバレなんだよ。ほんま愉快な奴だな。
お前の素のボケに付き合ってくれた中島先生にまで逆切れするとはｗ
646:１３２人目の素数さん
18/01/15 22:43:58.65 ykP2b6PU.net
バレバレというか
もはや隠す気もないよな
647:１３２人目の素数さん
18/01/15 22:45:49.56 uc7e2dBk.net
おう！jinだよ！必死だよw
648:１３２人目の素数さん
18/01/15 22:49:36.60 LL2gdbds.net
>>624
全く反省してないというクズっぷり恐れ入ります
649:１３２人目の素数さん
18/01/15 22:52:21.47 uc7e2dBk.net
>>625
あざーっす
650:１３２人目の素数さん
18/01/15 22:57:02.24 LL2gdbds.net
>>626
ひとつ提案なのですが
ここではコテハンを付けて妄想を開陳されてはいかがですか？
自演バレバレですし
651:１３２人目の素数さん
18/01/15 22:59:57.29 MAlBDD1z.net
中島先生もBBAさんが下らない絡みかたしなければ
その間にもっと数学のことを考えられたかもしれないのに
BBAさんはもしかしてこう言いたい？と無駄なことを考える嵌めに
なったわけで
研究者の時間を邪魔してるんですよ
他の人の邪魔をするのはやめましょう
より具体的には数学者に話しかけずに黙って見てろということです
652:１３２人目の素数さん
18/01/15 23:08:43.98 76BskzfQ.net
>>628
ほんまそれなー(´･ω･`)
653:１３２人目の素数さん
18/01/15 23:10:12.51 O5WPI4uJ.net
オバサンは見てて面白いのだけど（迷惑している人すみません）、ここでマジレスすると、
>>416 は研究者に対する侮辱だ、許し難い。
1月にIUT論文掲載予定が真実だったと仮定して、掲載が見送られたのだとしたら、
それは、バッシング（俺は指摘・疑問だと思うけど）のせいではなく、ギャップが見つかった可能性がある、と見るべきだろう。
それが研究者の態度だ。
外野の雑音なんかどうでもいい、真か偽か、論理に整合性があるかないか、ギャップがないかあるかだ。
望月氏もRIMSもコメントを控えている以上、オバサンのカキコは望月氏とRIMSを侮辱している。
654:１３２人目の素数さん
18/01/15 23:19:10.96 ykP2b6PU.net
オバサンと言い換えると怖くなってくるな
四十路のブスとかじゃないだろうな
655:１３２人目の素数さん
18/01/16 00:17:54.82 CrECpZzl.net
このスレは、
>>1
IU幾何やABC予想に関する会話のサロンとして使って下さい。
m村jin美の話題や荒らしはご遠慮願います。
とあるから、 m村jin美の話題は、遠慮の対象なのだが。
656:１３２人目の素数さん
18/01/16 00:20:13.25 N3+FhqLj.net
�
657:ﾜかり間違って美人だったら、お前ら手のひら返すくせに
658:１３２人目の素数さん
18/01/16 00:30:56.08 pRpLJ5Ue.net
>>633
ここの住人は奴のアスペっぷりを散々目撃しているわけだが
そんな下らんことで手のひら返すような物好きな奴おるんか
659:１３２人目の素数さん
18/01/16 00:37:22.64 pRpLJ5Ue.net
>>632
goo.gl/hiRvhb
660:１３２人目の素数さん
18/01/16 00:41:22.49 jeDtki4C.net
>>632
>>416 はm村jin美なのかね？それを認めるのかね?
ところで、
URLﾘﾝｸ(twitter.com)
↑の人と>>416 の考え方が同じのは偶然かね?
661:１３２人目の素数さん
18/01/16 00:50:08.55 /xf8TH76.net
>>636
だから >>416 の直後に >>417 が指摘してるように
>>416 の中の人間が妄想BBAだってことはバレバレなんだってば
662:１３２人目の素数さん
18/01/16 00:55:59.13 jeDtki4C.net
>>633
手のひらは返さんけど、まかり間違ったら美人なんだろうな（棒
>>637
わかってるよ
だからオバサンと言っているわけだよ
663:１３２人目の素数さん
18/01/16 00:56:16.80 jrzx/ULq.net
仁美、僕のそそりたった凸体を君のいやらしいクラインの肉壺に嵌め込ませてくれるかな
664:１３２人目の素数さん
18/01/16 01:05:50.90 PbZ6yVbf.net
グロレスやめろ
665:１３２人目の素数さん
18/01/16 02:10:16.24 QGiAjE0u.net
で、jinアカ消しﾏﾀﾞｧ-? （･∀･ ）っ/凵⌒☆ﾁﾝﾁﾝ
666:１３２人目の素数さん
18/01/16 02:38:10.02 CEgdS/lY.net
過去スレ遡ってたら面白いもん見つけた。
PRIMSに掲載されるっていう内部情報、2016年8月の時点で既に漏れてたんだな↓
朝日の報道が2017年12月だからその一年以上も前
0554 １３２人目の素数さん 2016/08/24 11:07:45
査読者からのアクセプト連絡きてRIMSは大騒ぎ
0556 １３２人目の素数さん 2016/08/24 11:54:55
国内のジャーナル？
0557 １３２人目の素数さん 2016/08/24 11:56:41
>>556
PRIMS らしい
0560 １３２人目の素数さん 2016/08/24 12:11:55
編集長もっちー本人じゃん。
そんな内輪のジャーナルで対外的に認められるのか？
0561 １３２人目の素数さん 2016/08/24 12:41:50
>>560
掲載許可を決める場には著者は、編集長と言えども同席を許されない掟があるのだ。
0562 １３２人目の素数さん 2016/08/24 12:48:41
>>560
編集長以上に担当コミュニケーター（T先生）が対外的な責任を果たす必要が出るでしょう。
自分はよくわかってないけれど、査読者がOKって言ったからは通じない。
最低、自分も理解して正しいと考えた、がないと。
0576 １３２人目の素数さん 2016/08/24 17:46:21
差読者はプリムズの編集委員以外もできるん？
0578 １３２人目の素数さん 2016/08/24 17:54:51
>>576
お前素人？編集委員はコミュニケーター。彼らが独立した第三者の査読者を選ぶんじゃ。
667:１３２人目の素数さん
18/01/16 02:51:19.08 CEgdS/lY.net
>>642 の続きだが、↓によると
2016年8月下旬にIUT-IとIIがアクセプトされた、ということのようだな。
0638 １３２人目の素数さん 2016/08/26 16:09:50
今回のアクセプトはIUT-IとIIのみね
IIIとIVはまだー
668:１３２人目の素数さん
18/01/16 03:17:23.79 CEgdS/lY.net
>>642-643 と週刊新潮の記事から
・2014年頃にIUT本論文の査読が開始された
・2016年8月下旬にIUT-IとIIがアクセプトされた
ということが読み取れる。
また朝日新聞の報道から推測するに
・2017年12月頃にIUT-IIIとIVがアクセプトされた
ということなんだろうか？
669:１３２人目の素数さん
18/01/16 03:30:10.07 ngakxhfX.net
結局は査読者のレベル
論文を追っていった結果矛盾は認められないが現実と一致しないようだ
この場合どうするか
670:１３２人目の素数さん
18/01/16 04:51:09.93 OxPsAfsi.net
掲載決定を強行させようと必死だな
相当追い詰められてるな
671:１３２人目の素数さん
18/01/16 05:10:27.11 jeDtki4C.net
>>642-644
信憑性が疑わしい匿名掲示板の書き込みと、当事者がコメントを拒否しているマスコミ報道から邪推を重ねるとは。
鬼婆ァの妄執おそるべし！
>>645
意味が分からん。そんなもん数学の論文じゃないだろ。
オバサンさぁ、望月新一氏は数学者、RIMSは数理解析の研究所、IUT理論もABC予想も数学なんだよ？
本当に分かってるの？
672:１３２人目の素数さん
18/01/16 06:00:47.90 FrfQ8vRi.net
>>647
そのおばさんはさぁ、閉じた世界で一般人を見下した態度をとる傾向のある困った人種と、一般の人とを少しでも近づけようと頑張ってる津取りなんですよ。それが邪魔だ、迷惑だというなら、今度こそ本当に垢消しますよ。
今度は本気ですよ。別垢もつくらず、一切活動しませんよ。いいんですね？
私はネタにされて善し悪しはあれIUTや数学に興味のある人のためにと思ってやってきたのに。
673:１３２人目の素数さん
18/01/16 06:06:20.03 OxPsAfsi.net
さっさとやめろ
>>647みたいな権威至上主義が世の中を歪めてる
理研の小保方、京大の石油水、阪大グループの量子コンピュータなど全て同じ道ではないか
玉川や松本、647が論文から(1+k)のk有限値を示せたのか、論文に書いてあるのか
何も証明していないと批判されても仕方がない
674:１３２人目の素数さん
18/01/16 06:47:51.21 p++w9IPE.net
例えば（足し算は掛け算に置きなおすことが出来て）「5で割った余りの足し算の体系」はこの一例です。
で、jinアカ消しﾏﾀﾞｧ-? （･∀･ ）っ/凵⌒☆ﾁﾝﾁﾝ
675:１３２人目の素数さん
18/01/16 07:01:04.98 CrECpZzl.net
このスレは、
>>1
IU幾何やABC予想に関する会話のサロンとして使って下さい。
m村jin美の話題や荒らしはご遠慮願います。
とあるから、 荒らしも、遠慮の対象なのだが。
676:１３２人目の素数さん
18/01/16 07:11:53.03 xTU+JG7F.net
５年も執着してきたやつが簡単にやめるわけない。どうせまた裏でこそこそやるだろ。ただの構ってちゃんのオバハン
677:１３２人目の素数さん
18/01/16 07:20:00.92 uwShq/VT.net
擁護互助会役員のユウキがｋの有限範囲を示したら認めてやるよ
678:１３２人目の素数さん
18/01/16 07:27:00.23 uwShq/VT.net
擁護派は結局わかってないのに庇ってるだけなんだな
679:１３２人目の素数さん
18/01/16 07:27:28.41 uwShq/VT.net
649１３２人目の素数さん2018/01/16(火) 06:06:20.03ID:OxPsAfsi
さっさとやめろ
>>647みたいな権威至上主義が世の中を歪めてる
理研の小保方、京大の石油水、阪大グループの量子コンピュータなど全て同じ道ではないか
玉川や松本、647が論文から(1+k)のk有限値を示せたのか、論文に書いてあるのか
何も証明していないと批判されても仕方がない
650１３２人目の素数さん2018/01/16(火) 06:47:51.21ID:p++w9IPE
例えば（足し算は掛け算に置きなおすことが出来て）「5で割った余りの足し算の体系」はこの一例です。
で、jinアカ消しﾏﾀﾞｧ-? （･∀･ ）っ/凵⌒☆ﾁﾝﾁﾝ
653１３２人目の素数さん2018/01/16(火) 07:20:00.92ID:uwShq/VT
擁護互助会役員のユウキがｋの有限範囲を示したら認めてやるよ
654１３２人目の素数さん2018/01/16(火) 07:27:00.23ID:uwShq/VT
擁護派は結局わかってないのに庇ってるだけなんだな
680:１３２人目の素数さん
18/01/16 08:47:08.94 L1Oqehf+.net
スタップ細胞がねつ造だと思ってる奴まだいるんだなｗ
681:１３２人目の素数さん
18/01/16 08:49:41.56 7IgzrObY.net
>>653
さてはお前、アンチ互助会役員の者だな？
>>649
647は擁護互助会役員の中でも最弱
682:１３２人目の素数さん
18/01/16 09:17:38.10 GsaSdhNa.net
>>654
その可能性が高いと思うよ。
IUTの論文を読んだ人は殆どいないだろうし、不正確な解説を読むにしても、
解説は数論幾何の人を対象に書かれていて、解説を読んでも大抵の人は分からないだろう。
つーか、abc予想の話ばかりでリトルウッドの予想の話がないよな。
IUTはリトルウッドの予想のような解析的な予想には無力なんだろうな。
683:１３２人目の素数さん
18/01/16 09:26:11.48 GsaSdhNa.net
IUTを擁護する人がいるみたいだな。
684:１３２人目の素数さん
18/01/16 09:44:24.12 70Ajxrzq.net
>>656
小保方の論文は捏造
685:１３２人目の素数さん
18/01/16 11:31:13.11 xTU+JG7F.net
jinがアカ消す宣言してるよ。
まどうせまた嘘だろう�
686:ｯどな
687:１３２人目の素数さん
18/01/16 13:03:13.38 UZN5lzjq.net
数学はもちろん科学史・科学哲学などの訓練を受けた形跡も見受けられず
ともすれば学部教養レベルの知識があるのかさえ疑わしいような人間に
ジャーナリスト、インタープリター気取りで振る舞われてもただひたすら有害なだけだし
本当に今すぐ消えて二度と戻ってこないでくれ頼むから
688:１３２人目の素数さん
18/01/16 14:01:58.46 QKJhIgfH.net
数学の定理に「自明」はありえない。
特に 主定理ではね。
689:１３２人目の素数さん
18/01/16 14:56:11.42 k0gzXrDz.net
ややこしい所を避けてしまったからな
主定理の記述に葛藤がみえる
690:１３２人目の素数さん
18/01/16 14:58:45.99 jrzx/ULq.net
>>654
>>658
そういう話をしたら逆のほうが問題だろ。つまり微塵も理解しないでアンチしてるわけだ
しかもリトルウッドとか持ち出してる時点で馬鹿丸だしなんだが
691:１３２人目の素数さん
18/01/16 15:02:27.37 k0gzXrDz.net
逆だというなら主定理から解を出せ
692:１３２人目の素数さん
18/01/16 15:05:26.70 70Ajxrzq.net
>>663
細かい議論を積み重ねておいて、主定理が自明になるような論文の書き方もある。
693:１３２人目の素数さん
18/01/16 15:10:41.85 BPfjMXvJ.net
もし本当にやばいなら多分評価の部分なんだが、ホッジアラケロフだな
数学的意味は明白なんだから計算して確認できるだろ
実はあれを読んでるIUTTのフォロワー少ないんじゃないか？
694:１３２人目の素数さん
18/01/16 15:15:05.62 BPfjMXvJ.net
そもそも論として(正否は別に)望月の狙いを見通せてる奴が少なさすぎ
悪いけど本人のプレゼンにも問題ある
695:１３２人目の素数さん
18/01/16 15:23:51.08 fCNdJMOq.net
>>668
→○ あの修正箇所だ。教えてやらんが。
696:１３２人目の素数さん
18/01/16 15:25:04.48 QKJhIgfH.net
>>667
一応 論文リストがあるね。
でも、主定理が自明 ではないようだね。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
697:１３２人目の素数さん
18/01/16 15:27:17.44 GsaSdhNa.net
>>665
リトルウッドの予想はabc予想と同じように
ディオファンタス近似の有名な予想なんだが。
698:１３２人目の素数さん
18/01/16 15:27:54.91 BPfjMXvJ.net
>>670
修正したのに間違いがあんの？PSの奴じゃなくて？
699:１３２人目の素数さん
18/01/16 15:46:20.61 KWje4BZG.net
>>672
同じディオファントスでも文脈が大分違うんだが
この予想への近似的なアプローチが未だに乏しいのもそれが理由
それならBSDのほうがまだ近いわ
700:１３２人目の素数さん
18/01/16 16:15:35.47 UP9ERVfy.net
査読できた人間がその種の問題の証明ができないのも変な話
701:１３２人目の素数さん
18/01/16 16:23:02.13 70Ajxrzq.net
>>671
君が
>数学の定理に「自明」はありえない。
>特に 主定理ではね。
と一般的な命題として述べたので、一般的には必ずしもそうではないと言った。
>>671では反例を挙げたことにならない。
702:１３２人目の素数さん
18/01/16 16:43:43.10 WYv1LfQJ.net
さすがに素人なのに数学者にやや攻撃的に絡んだりするのはどうかなとは思うけど、批判が多いから消すの？
703:１３２人目の素数さん
18/01/16 17:04:10.32 5yLhYi25.net
小保方より生物に詳しい報道関係者がいたのか
704:１３２人目の素数さん
18/01/16 17:09:44.97 GsaSdhNa.net
>>677
スレの流れからは文脈上意味を把握出来ないレスだが、一体何を消すんだ？
705:１３２人目の素数さん
18/01/16 17:10:52.20 KWje4BZG.net
ひとまずワイルズ理論と関連付けるのが先だな
それは3年あれば十分できたと思うんだが、まだできないの？
IUTTだけに集中できるような人ならね
706:１３２人目の素数さん
18/01/16 17:12:25.81 7bqT0lRK.net
余白は足りてるが自明→証明完了
707:１３２人目の素数さん
18/01/16 17:28:40.02 GsaSdhNa.net
>>674
やはり、リトルウッドの予想は解析的手法で攻めることになるんだろうな。
まあ、難しいけど。
708:１３２人目の素数さん
18/01/16 17:42:46.56 KWje4BZG.net
Green-Taoや弱双子素数は予想以上に代数幾何学的な文脈を使っているけどな
ただ、実数が強く絡むと既成の数論幾何は宇宙際も含めとことん弱いのも確か
少なくとも解析的な手法を組合わせる必要があるだろう
709:１３２人目の素数さん
18/01/16 17:48:35.07 KWje4BZG.net
関係ないが、どうも解決直後の黒川先生は解析寄りの積分として理解しようとした節があるな
「体積計算」と言い換えたほうがいいんだけどね
ゴリゴリの圏論からの積分とか言われてもそりゃピンとこなかったろうな
710:１３２人目の素数さん
18/01/16 18:27:29.23 I1KgOdHv.net
>>676
>>671の論文で RIMSはPreprintが多い。
RIMSの正式な論文ではないよね？
711:１３２人目の素数さん
18/01/16 18:28:20.92 Jq2w4/Ka.net
黒川氏の『２１世紀の新しい数学』では、望月氏はF１スキームや
F１上の幾何を使っていると書いているけどそうなの？
もし、そうなら黒川氏の絶対数学とも関わらないはずはないな
712:１３２人目の素数さん
18/01/16 19:38:03.64 70Ajxrzq.net
>>685
意味不明
713:１３２人目の素数さん
18/01/16 19:45:18.32 QKJhIgfH.net
preprintはarxivにある査読なしの論説 論文と
同等だ。
714:１３２人目の素数さん
18/01/16 22:01:21.43 OXArtbTK.net
定理は、公理や定義から証明されるものだから、公理からでなくても良く、定義から証明しても良いので、主定理がなくても、、、
新しい理論系とか。
715:１３２人目の素数さん
18/01/17 00:54:58.39 obwJAFsh.net
>>686
絶対ガロア群とモノイドをベースにして環の分解と関数空間を構成しているので
絶対数学といえば絶対数学の一種になっている
環より一般的な代数系を利用しているものはどれも絶対数学的な側面があるよ
しかし、IUTTの場合はどちらかといえば「整数環をモノイドのような基盤で分解したり
関数として扱う」論拠として一元体を手段的に経由しているので
意識的に一元体の上に数学を構成するという意味での絶対数学とは言えないだろうな
まあ絶対ガロア群のエタール系とフロベニウス射・モノイドの座標変換(LT-lattice)の
基盤はモノイド(gaussian monoidなど含め)なので、かなり絶対数学的な要素は強いけどな
716:１３２人目の素数さん
18/01/17 02:39:15.64 2eqsOxom.net
jinこと仁美が女であることが発覚したツイート
女子中高生向けのものとか行ったってことは実は若いのかも知れん
こんだけ行ってたら全体写真とかあれば検討つきそうなんだが…
math_jin ‏@math_jin
行く予定
3月11日 森重文先生最終講義＠京大
3月13日 数学の魅力ー女子中高生のためにー＠東大
3月28日(～4月4日) KTGU-IMUセミナー＠ＲＩＭＳ
3月29日 女性数学者のためのワークショップ＠ＲＩＭＳ
4月28日 ロマンティック数学ナイト＠六本木
#math
717:１３２人目の素数さん
18/01/17 03:00:57.74 jvbJUDBI.net
そんなに仁美に興味あるなら、新アカウントで活動するみたいだからDM送ってみればw
math_jin
Recently, I set up account about IUT information collection bot at another inter-universe.(closed space)
If you want to catch information on this account, plea
718:se contact me via DM. #IUTABC
719:１３２人目の素数さん
18/01/17 03:28:20.84 0LMLFy16.net
>>663
ピタゴラスの定理は、
概念からなる図を書いて定義すれば、導出された数式は自明
720:１３２人目の素数さん
18/01/17 05:45:32.77 z6dmjT06.net
>>693
ピタゴラスの定理が自明である訳ないでしょアンポンタン
現代数学的には「正方形」だけを既知とすれば
三角関数の無限級数による定式化の過程で自然に証明されるはず
初等的にも3行くらいで済む簡潔な証明もある（ユークリッドの公理は既知として）
721:１３２人目の素数さん
18/01/17 06:05:42.10 0LMLFy16.net
>>694
概念は図を見るだけで、自明だよ。
では一般論として、もととなる定理は、何の定理で導出されるのかな。
そのまたもとの定理は、何の定理で導出されるのかな。
無限に、もとの定理がある訳がないので、最初の定理があるはず。
その最初の定理は、何か定理で導出されないと、いけないの？
722:１３２人目の素数さん
18/01/17 06:32:02.92 z6dmjT06.net
>>695
一行目は藁人形論法のすり替え、今問題にしてるのは何某か(？)の概念の方ではなく
ピタゴラスの定理の導出だったはず、そして2行目以降の
指摘については「とてつもなくごく自然な前提」は存在する
その前提以上を更に遡るとそれは最早数学ではなく数学基礎論
723:１３２人目の素数さん
18/01/17 06:40:31.44 0LMLFy16.net
>>696
「とてつもなくごく自然な前提」は、「自明」と同じだから、
定理の中には、自明ですむ定理もある。
そうすると、
＞数学の定理に「自明」はありえない。
＞特に 主定理ではね。
は、反例となる数学の定理がある、ことになり、
「数学の定理に「自明」はありえない」という命題は、否定される。
724:１３２人目の素数さん
18/01/17 06:48:52.14 jvbJUDBI.net
jinの新アカ見つけた人いる？
725:１３２人目の素数さん
18/01/17 07:29:20.38 oMWL+e2B.net
「万物は数」のピタゴラス教団は
閉鎖された秘密結社だった。
暗黒の言い伝えが残っ ている。
教団はピタゴラスの定理を発見し、
始め相似による証明を与え神格化した。
音階を作り宇宙の調和を追求した。
無理数を発見したが、無理数へ緘口令
が引かれた。
緘口令の掟を破り 教団外部へ無理数を
漏らした者は海へ投げ捨てられた
そうだ。
726:１３２人目の素数さん
18/01/17 07:59:25.77 OtB4Jdqn.net
>>698
見つけた。鍵アカウントでフォロワー数5人しかいない。
727:１３２人目の素数さん
18/01/17 08:03:35.07 oMWL+e2B.net
>>697
宇宙際教団と詭弁が似合いそうな方ですね
728:１３２人目の素数さん
18/01/17 09:39:18.34 fQ2BrXIt.net
自明が通じない相手が、数学基礎論くらいから
で 話さないと分からないなら、たまらないね。
729:１３２人目の素数さん
18/01/17 10:07:24.50 0RjgwMjs.net
ファルティングスやショルツがわからないのになんでIUT教団如きがわかるんだ
730:１３２人目の素数さん
18/01/17 10:22:01.80 z4WPBZ2A.net
おまえらがjinjinと連呼するから人気者と勘違いしてまた活動再開してるぞ草
731:１３２人目の素数さん
18/01/17 10:52:08.84 TlTsZHc3.net
心配するな、おれたちのjinは必ず戻って来る。今まで何度もあったことじゃないかw
スレ12より
562 ：１３２人目の素数さん：2016/03/17(木) 00:59:33.22 ID:4QsSt0Rb
jinがもし女なら、数学のだめさ以上に致命的なのはあの英語のできなさ。
コンラッドやボロックのレポートレベルで、あたふたしながら誤訳をツイード
し続ける物悲しき姿は、バーコード禿げのおっさんにしか許されない。
732:１３２人目の素数さん
18/01/17 11:12:23.61 zpG1RBln.net
>>690
全くトン�
733:`ンカンな事を言ってたらスマソ 黒川氏はゼータ関数統一に関しての研究者で、当然ラングランズ思想にも肯定的。 その研究で黒川テンソル積を発明してゼータ解析に持ち込むが、それは多重三角関数の研究から来たもの。 IUTTもある意味乗法的ホッジ劇場や加法的ホッジ劇場などの多重を行うが、ある意味多重三角関数の 宇宙際化というものに近いとか？宇宙際フーリエ変換てのもあるというし。黒川テンソル積も多重。 その辺りにゼータの統一やラングランズ思想が関わりはしないの？
734:１３２人目の素数さん
18/01/17 12:21:53.95 G5voxvRs.net
叩いてたらいつの間にか恋をしてたなんてことにならないようにな
735:１３２人目の素数さん
18/01/17 13:24:13.32 6Dlb45na.net
「正忍伝」読了。
作者、名取兵左衛門。名取とは匿名という意味で、本名は藤一水子正武だといわれている。
堂々と、忍者とは盗人であると書いてある。ありえんだろ。ぶっ殺すぞ、忍者。
盗人から見た日本の歴史が書いてある。
盗人を手下としてよく使ったのは、聖徳太子、源義経、楠正成、徳川吉宗であるという。
忍者の起源をたどると、中国の黄帝や孫武にまでさかのぼるという。
夏王朝を滅ぼしたのが、盗人を従えた伊尹であると伝わっているので、忍者は王朝を滅ぼす技術であったのは常識のようだ。
忍者は、よく人の近づくものが良いとされ、美男美女を堂々と人のよく近づくものとして認識している点は凄まじいの一言である。
「人の善意は最大の隙なり。」と書いてあるよ。ありえねえよ。
大将と敵大将の使者についていくことが牛馬の術というらしい。
「喜怒哀楽愛悪欲」この七つの心はもともと先天的に人が持っている感情だと述べている。
736:１３２人目の素数さん
18/01/17 13:32:41.06 G5voxvRs.net
宇宙際について実は前から引っ掛かってたことがあるんだが
代数幾何は古いとか10年くらい前にどっかのスレで言ってた奴がいたのね
滅多に数学板見なかったんだけど、たまたまそれを見たわけ
そしたら遠アーベル幾何は、って聞いた奴がいたのね。突然
で、そこで古いと言った奴が「これからは宇宙の数学の時代ですよ」みたいなことを言った
そこでやり取りが終わった
まさか遠アーベルの話をしたのは望月本人で、対抗してあんなコンセプトを
持ち出したのでは、とどこかで疑っているんだよな
737:１３２人目の素数さん
18/01/17 13:36:32.22 G5voxvRs.net
ちなみに、俺がそこを見たのが何年前かは覚えてない。10年前ではないはず
とにかく古いレスだったのは確か
738:１３２人目の素数さん
18/01/17 13:43:32.83 TlTsZHc3.net
これはjinに替わる逸材の登場か？
739:１３２人目の素数さん
18/01/17 15:26:29.56 r8X/QaLh.net
誰がなんと言おうとjinはオワコン
永久に鍵アカウントに引きこもっとれ
740:１３２人目の素数さん
18/01/17 15:41:45.20 G5voxvRs.net
>>711
別にそんな電波話じゃねーだろ。高い確率とは思わないが
ブログ見ると軽く5chくらい見てても不思議じゃないしな
741:１３２人目の素数さん
18/01/17 15:56:43.28 HMlNIrgK.net
>>583
深く考えるなもなにも、ここからしてパニック状態やぞ
物理屋はさっさと幾何に話を進めてってるけど
数学的には3年ほど前にようやく進展が見られたかなという程度
742:１３２人目の素数さん
18/01/17 16:27:13.45 TlTsZHc3.net
jin様は鍵垢に満足するようなタマじゃねーよ
jin様はなあ、JK
743:、白ワンピース、大柄な菅野美穂という噂まであるんだぞ（自○ 俺の知人にツイッターで斎藤由貴似と言っている吉田沙保里を馬面にした強烈なババアがいるが それと お・な・じ・だ！！！ こんな腐れマ○コがおとなしく引きこもるわけねーよ
744:１３２人目の素数さん
18/01/17 16:34:11.22 n60aXsRC.net
>>709-710 >>713
モッチーが遠アーベル幾何を研究し始めたのは20年以上も前のことで
1997年（ちょうど21年前）に遠アーベル幾何で大きな業績を挙げて日本数学会賞を受賞した。そんとき望月新一の名は数学界で広く知られることになった。
そんで、そのモッチーがIUTなる理論でabc予想を解こうとしてるなんて噂は2003年くらいから流れてたよ。
2003年の研究集会で初めてIU理論の講演をしてる。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
2000年代は（加藤ブンゲンを含む）多くの数学者が数学板を闊歩してたんだから
研究集会でモッチーの話を聞いた誰かが数学板にカキコしたんだろ。
それを通りすがりの >>709 が見たわけだ。
745:１３２人目の素数さん
18/01/17 17:24:20.19 G5voxvRs.net
>>716
確かに2012年より前に覗いた時も望月新一の名前はあったと思うね。経歴が経歴だから
それなりに有名だったろうし
しかしIUTって名前は一体いつ頃から出たのだろう？2003年にはあったの？
自分が見たやり取りは多分2005年前後だったと思うんだが
746:１３２人目の素数さん
18/01/17 17:38:59.63 n60aXsRC.net
>>717
先述の通り2003年にはあった
2003年の九大や北大での研究集会の講演で「IUT」という用語が出てきてる
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
しかも2001年の名古屋大の講演で既にアイデアの片鱗が見かけられるな
本人の記録によるとアイデアの着想があったのは2000年夏だそうだ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
747:１３２人目の素数さん
18/01/17 17:57:03.26 mZCIBayH.net
なんか朝日の朝刊一面の所為でノリが二十年以上前の朝日ワンテーママガジンのアブない数学みたいになっとる
748:１３２人目の素数さん
18/01/17 19:17:07.86 dw/KBEnb.net
地底jin
749:１３２人目の素数さん
18/01/17 19:32:31.28 wQOzYkML.net
また懐かしい本が
750:１３２人目の素数さん
18/01/17 19:46:35.08 Zh91Pg0h.net
>>719
あの頃は山下純一と大沢健夫が同じ雑誌で連載するなんて夢にも思わなかった。
751:１３２人目の素数さん
18/01/17 19:52:38.94 9BtkzFPq.net
>>700
５人w 重要ねェんだなw
>>707
んな奴おらんがな
752:１３２人目の素数さん
18/01/17 20:01:44.49 9BtkzFPq.net
>>691
そんなことに興味あるなんてお前は変態だ
物好きが過ぎるぞ
753:１３２人目の素数さん
18/01/17 20:22:07.56 mOCyBmAY.net
>>719
ああいう本は本来出版されちゃあいけないんだ
世紀末だから許された感がある
754:１３２人目の素数さん
18/01/17 22:14:25.72 mZCIBayH.net
別冊宝島の真似したムックだろ単なる。
自由国民社の現代用語の基礎知識パクったイミダスもとっとと撤退したしアーカイヴ性のない言論文化で刊行してる左翼保身営利メディアが悪いだけ
755:１３２人目の素数さん
18/01/18 01:05:46.16 C1ukLYts.net
よくぞ、よくぞ、みなもと太郎の「風雲児たち」をすすめてくれました。
全２９巻のところ、まだ４巻までしか読んでおりませんが、
これこそ男たちの生き様であると号泣しておりましす。
歴史漫画の史上一位であるのは当然のこと、１８００冊ほどしか漫画を読んでないわたしの五本の指に入る傑作です。
横山三国志などすでに時代遅れ。
「風雲児たち」こそ、日本男児が読むべき本にございます。まことにありがたき教えをいただき感謝このうえなきこと。
死ぬまでに「風雲児たち」を読める幸せは至極格別でございます。
756:１３２人目の素数さん
18/01/18 08:51:04.23 lh+PvJZa.net
常温核融合を思い出す
757:１３２人目の素数さん
18/01/18 08:59:09.80 r7Iyhb90.net
タイムマシン理論を思い出す
758:１３２人目の素数さん
18/01/18 09:18:57.47 ydqHYqpV.net
数秘術を思い出す
759:１３２人目の素数さん
18/01/18 09:36:31.48 TuscCaUC.net
>>722
よく覚えてるな、そんなことw
760:１３２人目の素数さん
18/01/18 12:36:17.90 jvPO2phr.net
>>720
地底jinも知らないうちに最低jinから攻撃を受けているぞw
761:１３２人目の素数さん
18/01/18 12:41:54.84 4f9ERdck.net
地底jinのフォロワー増えてる
海外のやつが多いな
762:１３２人目の素数さん
18/01/18 12:56:33.26 jvPO2phr.net
地底jinをフォローする海外の最低jinたちw
「お おまー あっあ、あほやろー」
「わ、わーは、あ あっ あほっちゃうどー」
「お おまー・・・・・・」
以下略
763:１３２人目の素数さん
18/01/18 14:30:40.29 X1C7EBZf.net
ボケjinがいなくなって清々したわ
二度と現れんなゴミ糞ババア
764:１３２人目の素数さん
18/01/18 14:48:49.70 GdJ6QcwH.net
jin は公害なみの害悪
765:１３２人目の素数さん
18/01/18 14:49:51.21 952qrZfC.net
必ずしも深いとは言い切れないからこれ誰も触れないが、
テータ関数というよりガウス積分を強調した理由は、やはり経路積分を何らか意識している
のではないか？
ストリング理論の数学ではリーマン面の経路積分をモジュライにより調べるのが
今までにできる最大限の努力だしな
勿論厳密に言えば、ガウス積分は経路積分の基礎、ではない。技術的な手段だ
望月さんはヒストリーに影響を受けやすいのか、ウィッテンとの出会いを重視してそうだ
766:１３２人目の素数さん
18/01/18 14:57:32.07 952qrZfC.net
まあ、二次形式故にディラック作用素でもガウス積分ってのは顔を出すんだが、
あんまり経路積分以外でテータよりガウスを強調する書き方って見ないからさ
遡れば最初研究紹介のページを見た時にコンツェビッチ関連で
経路積分を意識してるかなと思ったんだ
767:１３２人目の素数さん
18/01/18 15:17:29.43 1PCBpbS1.net
物理のストリング理論は発見なのよ。
人工的に手を入れる数学とは違うね。
768:１３２人目の素数さん
18/01/18 15:33:37.39 952qrZfC.net
>>739
まさにそうだよ。発見法は経路積分に当たる
数学ではそれをモジュライとして調べる
経路積分はいわゆる加法速度論ではない。無限次元積分として理解しようとした
数学者は20世紀に少なからずいて、失敗している
だから非環論的な観点でガウス関数を考えるというのも可能な解釈として意味がある
769:１３２人目の素数さん
18/01/18 20:05:31.41 1PCBpbS1.net
経路積分は量子化、グリーン関数、
で物理のツールだ。
数学なら1次元は仕事があるが、
特に 4次元相対論的場の量子論が困難だ。
まずファイマン カッツの公式から。
ま、物理のインスタントンもモノポールも
数学が借用して数学対象にした。
770:１３２人目の素数さん
18/01/18 21:54:37.26 952qrZfC.net
>>706
多重三角関数は絶対ゼータ関数の一種だから、確かに宇宙際フーリエ変換に対する
ツールを提供できるだろう
しかし、絶対数学として見た時に宇宙際幾何学の完成度が何処まで高いのか？
集合論や集合宇宙は絶対数学で何処まで必要な概念なのか？
この辺は今のところ何とも言えない部分と言える
多重三角関数と黒川テンソル積は歴史的な存在感が完全に保証されてるレベルだな
771:１３２人目の素数さん
18/01/18 22:54:48.69 jvPO2phr.net
>>742
奇しくもIDがZFCになっているよ
IUTT-ⅣのSection 3: Inter-universal Formalism: the Language of Speciesはよくわからん
772:１３２人目の素数さん
18/01/18 23:35:25.84 952qrZfC.net
>>743
>>430>>431の、絶対ガロア群の商から来るFrobenioidのコピーであるとか、
総じて絶対ガロア群によるスキームの宇宙群の組合せ論的な特徴付け(DNA)
Core/multiradialのような、宇宙際のスケールで見た時の各々の宇宙の識別・同一視
そういう絶対遠アーベル的な視点から生物学の言葉をとったと思われる
つまり、集合論だけだとスケールの大きな関数空間を扱うには足りないので
効率的に巨大な数学的対象の処理を行う設定が必要である
それは必ずしも絶対遠アーベルだけでなく、広く数学の基礎論とできるだろうという感じか
773:１３２人目の素数さん
18/01/18 23:38:26.41 952qrZfC.net
↑絶対ガロア群の(部分)商から来る、というか部分商が作用するFrobenioidのコピー、だな
細かい話は別にいいと思うがw
774:１３２人目の素数さん
18/01/18 23:52:01.04 jvPO2phr.net
>>744
レスありがとう
正直言ってIUTTはよくわからんので、↓のHPの以下の指摘・意見はどうなんだろう？
URLﾘﾝｸ(www40.atwiki.jp)
----------引用開始----------
以下の問題点が指摘されている。
・同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。
・ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。
これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV
の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない
可能性があるという意見がある。（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）
---------引用終了-----------
775:１３２人目の素数さん
18/01/18 23:52:34.60 Oa5WkY3D.net
絶対ガロア群とかフロベニオイドのような具体的な対象は
個々のグロタンディーク宇宙に属していると考えているんだろうが
個々のグロタンディーク宇宙自体はどこに属していると考えているのか？
776:１３２人目の素数さん
18/01/18 23:53:20.58 Oa5WkY3D.net
あとSpeciesの定義と具体例のわかりやすい解説キボンヌ
777:１３２人目の素数さん
18/01/19 01:09:18.39 52lt0jRC.net
>>746
そんなサイトあるんだ
正直言ってあまり断言するようなことを言うべき段階ではないけど
絶対遠アーベル的な観察から数学の基礎として論じるには早まったという可能性はあると思う
しかし、見るところその二点は例のセクションの思想に対し完全に致命的な議論には見えない
ZFCの公理が無限であるというのも、ユーザである非論理学者と論理学者では
捉え方が違うだろう。強いて言えば、もう少し「直観的」な階層性の整備を論じているのが
論理学者的には厳密性において違和感を与えているように見える
778:１３２人目の素数さん
18/01/19 02:15:47.76 nZC5+R6V.net
軽く寝る前に一つ足すと、基本的な想定舞台はトポスなんだろうけど
トポスではできる、と非論理学者の数学者が感じていることをZFCや集合論の基礎に
翻訳するのは厳密性の点で難しいのかもしれない
まず集合論として注意が向いてるのは基本的な包含関係や選択公理との整合性だと思うので
数学者が大丈夫だと感じるなら大丈夫だと思うな、本質部分は
779:１３２人目の素数さん
18/01/19 10:32:18.88 Fw5dBXWi.net
またトンデモを連れてくるから期待させるなよー
>>116-122 辺りが解決しないと結局は袋小路
780:１３２人目の素数さん
18/01/19 11:02:23.89 40eivbEl.net
ボクもテータ関数という〔魔法のじゅうたん〕を使いたいです
781:１３２人目の素数さん
18/01/19 11:13:47.91 YzalHj4M.net
数秘術の理論は ジョンキング著 数秘術、、
782:１３２人目の素数さん
18/01/19 11:13:55.88 7WrIkJv/.net
不便なものさしに続いて魔法の絨毯の発売希望
783:１３２人目の素数さん
18/01/19 14:48:40.31 i0GQj2Sd.net
でも周期予想って「意外と代数凄くね？」という予想であって
「代数的手法は袋小路」って話とはまた違うような
てか、若林君まさか自己ステマしてないよね
784:１３２人目の素数さん
18/01/20 01:10:38.36 7BOOEU80.net
新一の「心の一票」はやはり本人のブログなのかな？
ツイッターやってる近しい人たちからも否定の声が上がらないし
せ○○ーんだったけ（間違ってたらゴメン）「ついにバレてしまった」みたいなツイートしてたのは？
本人だったとしたらあの内容は驚きだわ
違うのだったらツイッターやってる近しい人が否定のコメント出したらいいのに
785:１３２人目の素数さん
18/01/20 02:41:08.35 eFnZZ79G.net
>>756
せ○○ーん以外にも同様のツイートしてた人が一人いた
二人に共通しているのは某数学イベントに参加してた人間だってこと
おそらく某数学イベントでブンゲンがバラしたものと思われる
786:１３２人目の素数さん
18/01/20 03:44:21.90 SdK8jIbd.net
一見すると思ったより俗っぽいなとか感じるかもしれないけど
数学と同じようにあらゆる物事を見ているんだな、という意味では期待を裏切ってないよ
787:１３２人目の素数さん
18/01/20 04:40:33.09 pcsJnTBA.net
草
788:１３２人目の素数さん
18/01/20 11:13:10.83 Sxle5g6M.net
） ｿ ,. .' ／＾＾⌒＾へ
´) ( ）ｿ .' ,. / （0＼）》）ノ) .' ＇
).' ) )丶 ． ξミ ￣ ⌒∞＼.'´＂.' ／巛／巛／巛／巛／巛／巛
丿 . ｿ( . ' 彳ゞ:》 |＼＿＿＿＿）..'’: .:┏┓ ┏━┓ ┏┓巛
(: ')) ,. .': ゞ》ソ/ | ∨VVVV∨ ┏┛┗┓┃┏┓┃ ┃┃ ＜
（ ﾉ. , 彳》ゞ/ | (｀･ω･´) ＜ ┗┓┏┛┃┗┛┃┏━┓┃┃ 巛
.'/| .'.） ゞ》ゞ/ ＼/VVVVV) ┏┛┗┓┃┏┓┃┗━┛┃┃ ＜
／/.'; : 彳ｼ ＼ ￣￣￣／ ┗┓┏┛┗┛┃┃ ┗┛ 巛
（ ' ヽゞゞゞゞｿξ ＼ ⌒＼ .| ⌒＼ ┃┃ ┃┃ ┏┓ ＜
ヽ ´⌒⌒ 入（ ソ `ＶＶＶ ﾉ）`ＶＶＶ ┗┛ ┗┛ ┗┛巛
).'＼ （ ノーー-、＿／ーー-、 ＼巛＼巛＼巛＼巛＼巛＼巛
｀ーー-（ (＼＼＼ (＼＼＼
￣￣￣�
789:P＾⌒＾⌒ ￣＾⌒⌒ 天皇陵発掘される。 行燈山古墳(Andon-yama Kofun)の被葬者のY染色体は、 ハプログループD1b1a2b1a1(D-Z1504, CTS8093)であると推定されている(注1)(注2)。 picture from Wikipedia 「行燈山古墳」は奈良県天理市柳本町にある「柳本古墳群」を構成する古墳の1つで、 形状は前方後円墳。出土埴輪・出土銅板から古墳時代前期後半の4世紀前半頃の築造と推定される。 柳本古墳群では渋谷向山古墳に先行する時期の築造とされ、初期ヤマト王権の大王墓と考えられている。 被葬者は明らかでないが、現在は宮内庁により第10代崇神天皇の陵に治定され同庁の管理下にある。 昭和49年(1974)-同50年(1975)に宮内庁書陵部による外堤・渡堤・後円部墳丘裾部での発掘調査が実施されたほかに、 平成29年(2017)、学術団体による立ち入り調査が実施された。 また同時に2017年に海外機関で行われた研究によれば、Z1504がポジティブであったことから、 D1b1a2b1a1(D-Z1504, CTS8093)の可能性が濃厚となった(注1)(注2)。
790:１３２人目の素数さん
18/01/20 11:26:42.95 BHlAfHhc.net
去年の12月1日のQuanta Magazine
Secret Link Uncovered Between Pure Math and Physics
URLﾘﾝｸ(www.quantamagazine.org)
主役はMinhyong Kimだけどモッチーのことも少し。時が止まっている。
Shinichi Mochizuki, who in 2012 posted hundreds of pages of elaborate, novel mathematics to his faculty webpage at Kyoto University. Five years later, that work remains largely inscrutable.
このあと朝日の記事が出て、慌てて(still)のブログが出て、BCがBravo!と言って
急にPSがコメントしたりIFが例のごとく反論したりIUTはいろんな面で人間性が出て飽きない。モッチーのブログも。それにしても(still)の括弧は潔くないと思うｗ
この騒動は後々、IUT Controversyとか呼ばれるんだろうか？
791:１３２人目の素数さん
18/01/20 12:03:41.30 cHWKW//t.net
呼ばれないよ、自明だから
792:１３２人目の素数さん
18/01/20 12:07:06.06 Q5HNpKNU.net
ガウスからアーベル、ヤコビ、リーマンの時代なら
40年位かけて起きる事柄や手紙のやり取りが、
数年に凝縮しているからな。
津田塾の数学史シンポジウムの記録に
載せて欲しい
793:１３２人目の素数さん
18/01/20 13:54:44.31 IiExePrl.net
IUTが出来て、環論スキーム論による数学という概念から、位相群やモノイドによる数学が使えることで、今までより精緻な議論が可能になる。大幅な拡張、これが一番のポイントな。
794:１３２人目の素数さん
18/01/20 14:05:08.48 TMW1LCaZ.net
それならなんでIUTにはコホモロジーがないの？
795:１３２人目の素数さん
18/01/20 14:41:29.31 IiExePrl.net
結局既存の数学的対象を分解して再構築するんだから、コホモロジーも糞もないわな
796:１３２人目の素数さん
18/01/20 14:45:02.28 TMW1LCaZ.net
それなら再構築の過程でコホモロジーも作れんじゃない？
797:１３２人目の素数さん
18/01/20 14:51:38.68 IiExePrl.net
それはそうかもしれんな。そこまではまだ解読できとらんわ。
798:１３２人目の素数さん
18/01/20 15:05:06.74 eFnZZ79G.net
>>765
それはお前の思い込みだな
IUTの中でホモロジーは使われてる
>>766
分解して再構築するからこそ
コホモロジーのような数学的道具を使う必要がある
799:１３２人目の素数さん
18/01/20 15:07:00.88 eFnZZ79G.net
>>769
コが抜けちまった
800:１３２人目の素数さん
18/01/20 15:08:54.80 o1bhbh2V.net
確かにモノイドはスキームを分解する手段だ
位相群についてはmono-analyticな空間を計算するためのツール
これが意味するのは、スキームを乗法的に分解してから、環部分と単解を区別しての
計算が必要だったということ
さらに、環部分をアルゴリズムで区別する必要があったということ
多分、構造的に選り分けることが宇宙際では大事ですよね、と望月さんに聞いたら
頷くんじゃないの
801:１３２人目の素数さん
18/01/20 15:11:52.14 TMW1LCaZ.net
環から加法を忘却したり乗法を忘却したりしてるわけでしょ？
802:１３２人目の素数さん
18/01/20 15:13:32.34 o1bhbh2V.net
位相群自体は多様体では馴染みあるものだけど、普通代数幾何学では
それ自体を利用することはないんだな
望月さんが単解性をブログで強調するのは、普通の環論より広い話をしているから
803:１３２人目の素数さん
18/01/20 15:15:44.92 o1bhbh2V.net
>>772
加法と乗法を群論的に分けること自体は整数論で前からやってるのよ
ワイルズだってやってる
宇宙際では整数環の抽象的な二次元座標としてそれを考えてるのが
新しいっちゃ新しい
804:１３２人目の素数さん
18/01/20 15:20:47.79 TMW1LCaZ.net
>>769
フロベニオイドにコホモロジーが定義できるということ？
805:１３２人目の素数さん
18/01/20 16:28:11.23 zyXn/NtM.net
well-defined 、
定義できないことも多い。
806:１３２人目の素数さん
18/01/20 17:18:16.10 TMW1LCaZ.net
コホモロジー群がダメでもコホモロジーモノイドが定義できるとか
807:１３２人目の素数さん
18/01/20 17:23:17.45 AksEd9W6.net
一旦従来の数学を細かく砕いて原子のようにし、そこから復元、再構築するという操作は、まさに望月オリジナル
808:１３２人目の素数さん
18/01/20 17:45:07.54 kf6ywpqg.net
１つの情報で２つの情報を持つことは可能
パチンコ玉１個につき３ｇでどうだ
809:１３２人目の素数さん
18/01/20 17:50:54.63 Xs97C/Ua.net
>>778
それってmotivicalな考えじゃない？
810:１３２人目の素数さん
18/01/20 18:14:21.36 o1bhbh2V.net
絶対遠アーベル自体がgeneralized motiveの派生である可能性が考えられる
実際グロタンディークの思考遍歴をデータから推測するとありそうだ
これについては最低二つ、支持するものがある
飯のネタだから言わないけども
どのみち、望月さんが超人だとは俺は思わないんだよね、代数幾何だけに限っても
他にも宇宙際がカバーしてない部分があるわけで
811:１３２人目の素数さん
18/01/20 18:21:05.04 o1bhbh2V.net
前に似たようなことを書いたけど、それとは話が違う
これは代数幾何学的な絶対遠アーベル幾何学の位置付けの話だから
812:１３２人目の素数さん
18/01/20 18:50:16.16 TMW1LCaZ.net
で、査読の結果どうなってますか
813:１３２人目の素数さん
18/01/20 19:01:09.84 QxqL/oIU.net
そんな還元主義的に理解できる代物だとは思わないねえ
814:１３２人目の素数さん
18/01/20 19:10:06.62 szAYrOyQ.net
スタンダード予想の裾野の更に外側に出たとか？
815:１３２人目の素数さん
18/01/20 19:11:01.70 GPhzMbS8.net
>>783
jinにでも聞け
816:１３２人目の素数さん
18/01/20 19:22:05.81 fTDe3YpW.net
英語版のうぃきみて悟った。
デイビッド・マッサーと望月はドレスが青にみえてるにちがいない。
URLﾘﾝｸ(kazoo04.hatenablog.com)
817:１３２人目の素数さん
18/01/20 19:27:33.29 AksEd9W6.net
>>783
朝日の報道だと早ければ1月
818:１３２人目の素数さん
18/01/20 19:52:22.13 7BOOEU80.net
SSさんが来てたのかな？
ブログの件だけど、あまりにそのまんますぎて眉唾物に思ってたんだけど、どうやら本人みたいだね
なんと言うか、率直な人だなあ
819:１３２人目の素数さん
18/01/20 20:41:31.05 t/WtF8y3.net
>>784
やはり Numerology だね
820:１３２人目の素数さん
18/01/20 21:26:42.59 QxqL/oIU.net
忘れ去られた数学って明倫館書店で200円くらいで売ってる
なんか悲しい
821:１３２人目の素数さん
18/01/20 21:58:38.48 o1bhbh2V.net
還元主義は大事だけどな
最近だと物理で量子力学から熱力学第二法則を出した話があったしな