601:１３２人目の素数さん
19/05/14 16:12:53.68 G3Et8qMT.net
ここのメンバーの知性こそ対数計算が必要
602:１３２人目の素数さん
19/05/14 16:55:15.21 8Q7VJT2b.net
時々このスレではサルたちがたわむれております
温かく見守ってやってください
603:１３２人目の素数さん
19/05/14 17:14:51.08 mz9XM1Lq.net
>>574
自分が思い付かないだけでわかんないからキレられても困るんだよなあ。どっちが偉そうなんだよ…
ボヤけるというならどうだって言ってそういう反応なら何も感じないわ。あこの人わからんのだな、で終わり
絡み方で大体わかるけど、同一人物だろうね。句点だけ違うけど
あと>>575は的違いの失笑レベルでお里が知れたんでもういいよ。あんたの勝ちでいい
604:１３２人目の素数さん
19/05/14 17:19:13.73 mz9XM1Lq.net
でも抽象化によってボヤけて見えるという話を嫌うってことは、不定性を扱うと言ってる
IUTの事は嫌いなんだろうね。坊主憎けりゃみたいな八つ当たり感ある
605:１３２人目の素数さん
19/05/14 17:46:32.46 RkcXB3Jv.net
>>581
君が馬鹿な事を言っていると言うことを例えて言ったのだから、
「的違い（原文ママ）の失笑レベル」というのは>>558のレスもそうだ、ということ
606:１３２人目の素数さん
19/05/14 18:37:24.32 mz9XM1Lq.net
>>583
それは苦しいでしょw
そもそもIUTは抽象化による副作用を付加的な対象を使って克服しようとする理論だけどね
とりわけ局所と大域、抽象と具象のバランスをどうやって取るかって話をしてる
この理論が間違いだったとしても、そこの部分は良くできた論法だと思ってるよ。具体例もそこにあるじゃんw
あんたは一切否定するわけね。それならそれでいいんじゃないの
607:１３２人目の素数さん
19/05/14 18:42:32.11 FJiYpXrC.net
IUTが優れているからと言ってID:mz9XM1Lqが優れているわけではない
608:１３２人目の素数さん
19/05/14 19:31:39.42 5MmekgGT.net
>>581
で結局IUTを認めたら明示的な数値は出るの？出ないの？どっちなの？？？？？？
609:１３２人目の素数さん
19/05/14 19:33:45.89 tCcGqn1i.net
こりゃダメだ
610:１３２人目の素数さん
19/05/14 20:25:30.53 oslaD4ED.net
>>584 横からすみません
>>558の「抽象化による情報の損失」というのはIUTで具体例を挙げれば、絶対ガロア群から同型物を取ろうとした時に起こる
忘却関手のことですよね。IUTではもったいつけて“histories of operations”とか書いてますが（頑なに忘却関手とは言わない）
あと、不定性については私も否定的ではないですよ。問題はIUTが不定性の濫用（悪用？）しているように見えることですね
同型であって非同型（不定性の故）、非同型であって同型（同型の故）という感じでね
要するに、不定性を徹底利用した計算が先にありきで、忘却関手と体において非同型を恣意的に扱っているのではないかと
611:１３２人目の素数さん
19/05/14 20:33:17.98 oslaD4ED.net
失礼しました
forgetting the “histories of operations”ですね
612:１３２人目の素数さん
19/05/14 21:16:56.90 oslaD4ED.net
複数の「非常に似ているが異質な環構造」と多輻的アルゴリズム表現、
フロベニウス的な位相モノイドとエタール的な抽象的な位相群、大雑把に言えばこの辺がキー・タームだけど、
問題はどうやってこういう宇宙が成立できるのかという根本的な点
B本を読んだけどあまりに酷すぎて、Mが監修したというけどこれでいいのか？と思ったね
この本を読んでIUTスゴイと思う人は新興宗教のパンフレットを読んで入会してしまう人達よりナイーヴだと思う
613:１３２人目の素数さん
19/05/14 21:51:08.85 0tDlWt8A.net
不定性の扱いに問題があるんじゃないかなんて2015くらいにはオープンに語られていたのに今頃どやってくるやつなんなん？
614:１３２人目の素数さん
19/05/14 21:54:32.24 gl+SsYBy.net
B本読んでるけど望月さんと文元がそんな関係だったなんて知らんかった
望月さんと文元と川上が同学年で全員兄弟の関係者ってのもワロタ
あとお前らが「ブンゲンブンゲン」言うから
本屋で「加藤ブンゲンさんの本知どこにありますか？」って聞いてしもたやんけ
615:１３２人目の素数さん
19/05/14 21:56:28.59 gl+SsYBy.net
>>592
京大の関係者で義兄弟ってことな
616:１３２人目の素数さん
19/05/14 22:44:22.81 oslaD4ED.net
IUTそのものが大事で、ABC予想はその応用例にすぎないのでこだわる必要はない、という考えには首を傾げるな
加法構造と乗法構造の絡み合いを解明するのがIUTなら、具体的な成果を見せないと話にならない
絵に描いた餅にはだれも見向きはしない
この辺は10年以上前にKimがTaoとのやり取りで書いていたことが正しい。MもBも今これを読んだらどう思うかな
URLﾘﾝｸ(golem.ph.utexas.edu)
Posted by: Minhyong Kim on April 20, 2007 9:38 AM
-------------------
I don’t really know how Grothendieck thought about his program, but my friend Shin Mochizuki has the striking view
that anabelian geometry is primarily concerned with the relation between the additive and multiplicative structures of rings.
It’s not so easy to explain this point of view since it arises from the actual proofs of theorems rather than their statements.
To get a sense of it, think of the N-U theorem as giving a way to
*recover F from G FG_F*
Now, consider the fact that given G FG_F, it is rather easy to recover the multiplicative group F *F^*.
This involves only the abelianization G F abG_F^{ab} and standard class field theory.
But it’s the additive structure on F=F *∪{0}F=F^*\cup \{0\} that’s the real challenge. To this day, one can’t seem to do this directly.
But in many other theorems of anabelian geometry, for example, Mochizuki’s theorem on hyperbolic curves over pp-adic fields,
some sort of a direct reconstruction is carried out. So within the general picture,
it turns out to be quite natural to break down the reconstruction problem into two parts, multiplicative and additive.
-------------------
617:１３２人目の素数さん
19/05/14 22:49:17.56 oslaD4ED.net
う～ん、コピペでは上手くいかない箇所がありますね
興味ある人はリンク先を読んで下さい
618:１３２人目の素数さん
19/05/14 23:16:56.36 +tY7zqze.net
ブンゲンさんは、一般向けの本を数冊書いてるが、どれも珠玉の書。
哲学掛かってるところが、また素晴らしい。
619:１３２人目の素数さん
19/05/14 23:30:00.25 4w+ppteJ.net
川上「他に再利用出来ない研究はゴミですねｗ」
B元「」
620:１３２人目の素数さん
19/05/14 23:54:15.07 oslaD4ED.net
Bは2017年12月の朝日のアクセプト・ジャーナル掲載の報道の時は何も言わず、
確か8月ぐらいになって朝日は誤報であるとかなりひどい口調で非難していたね
SSレポートの公開時期は分かっていたはずだから、それを�
621:ﾓ識したツイートだね Bという人はそういう人だよ。このIUT本でも親友をヨイショすると同時に自分のガロア本を紹介しただけだったな 大先生たちが書いたガロア本のことを紹介したりもせず・・・。最低だよ
622:１３２人目の素数さん
19/05/15 01:49:45.77 jhsFZybP.net
最初のニュースで聞いて以来、どうなったかと思ってきてみたら面倒なことになってんな。
数学オンチだが、応用範囲が極めて広く、あのフェルマーの最終定理にまで及ぶと聞いて興奮したんだけどな。
個人的には何かしないと望月先生たちが時間の経過とともにかなり不利になっていくと思う。
自分とこの雑誌にのせようとするところなんか正直かなり印象悪いわ。。
623:１３２人目の素数さん
19/05/15 08:47:45.55 Qp3FIN6q.net
Taoは太凰?
624:１３２人目の素数さん
19/05/15 08:53:25.47 rMjt6LVj.net
抽象化することによって、より初等的な調べやすかった構造特に位相構造と決別するってのは
基本的な話だし、それは明らかに相対的な意味での損失
更に中間的な構造や局所的な情報がボヤけて見えてどう扱うべきか迷うのも今世紀出てきた傾向
要するに初等的に区別しやすかったものが本質的にボヤけるってのは新しい数学ほど出てきた問題なのは確か
具体例なんて自分で探しなさいで終わりだけど、パラダイム的にはそういう意味でIUTは面白いよ
分けたら情報が無くなってしまうものをまとめて掴みやすくするっていうのも重要な発想
625:１３２人目の素数さん
19/05/15 12:55:16.72 IVraqplv.net
>>601
なんだ証明が非構成的な命題の話をしているのか
それは抽象化とは別の方向の話
626:１３２人目の素数さん
19/05/15 13:22:45.06 NYD9HMXW.net
>>600
ワロタ
627:１３２人目の素数さん
19/05/15 13:30:11.49 USShh32m.net
>どれも珠玉の書。 哲学掛かってるところが、
不定性で玉虫色？西田哲学？
サッパリわかりません
628:１３２人目の素数さん
19/05/15 13:34:42.91 Tb1CuMEs.net
上記の式により偶数の完全数は存在しない
629:１３２人目の素数さん
19/05/15 21:34:38.09 bu0WmOFZ.net
>>544
素人ですが、
ということは、これまでの望月の査読付き論文も疑わしいっていう事？
数学は想像以上にたこつぼ化が進んでいて、最先端は本人以外は誰も理解できないけど、
普通に査読を通過して論文になるという事ですか。
うわあ、想像以上に闇がふかいな。
630:１３２人目の素数さん
19/05/15 22:06:17.70 72IutTwU.net
ハゲなんとかとかいう人も変だとか言ってる人もいるし
「いちいちこんなんで騒いでるんじゃないよ」とかいう世界なのかも
ぜんぜん毛色は違うけどオボちゃんの時も時間がたつにつれてそう思った
631:１３２人目の素数さん
19/05/15 22:17:03.83 Zm9eqsWG.net
>>606
544はそんなことは一言も言っていない
あなたは5ちゃんによくいる論理的思考力に瑕疵を抱えてる御仁だね
632:１３２人目の素数さん
19/05/15 22:32:36.49 MYNLkUHA.net
ハゲなんとかって誰のこと？藁？
633:１３２人目の素数さん
19/05/16 00:33:21.90 CLZnjQNU.net
"Dr. Ribet of Berkeley said Dr. Shimura was “a major figure in 20th-century mathematics” but “not a good salesman for himself.” In the 1960s and ’70s, Dr. Shimura published long, difficult-to-follow papers, and it took others time to appreciate his advances."
URLﾘﾝｸ(www.nytimes.com)
ある面、志村さんともっちーは似ている。
634:１３２人目の素数さん
19/05/16 00:48:19.44 nKd0rGbM.net
"I viewed the United States as the best place for achieving my aim.”
これはもっちーと違う、かも。
635:１３２人目の素数さん
19/05/16 00:49:58.37 5Y8fKo/d.net
また余裕こいてるアホがいたのか
昨日から５chの数学板は海外からのアクセス増加でブロックされてたんだぜ
636:１３２人目の素数さん
19/05/16 06:53:25.97 L3X7oJhi.net
Ｂ本のことではない
URLﾘﾝｸ(headlines.yahoo.co.jp)
637:１３２人目の素数さん
19/05/16 10:24:07.73 11TeQoVS.net
宇宙際タイヒミュラー理論とやらが
もしABC予想に繋がらないもっちーの完全な妄想体系だとしたら、、、
638:１３２人目の素数さん
19/05/16 10:53:25.79 YIJBAcXN.net
鮮人の夢
639:１３２人目の素数さん
19/05/16 11:01:07.97 mZaGVReA.net
朝礼暮改
640:１３２人目の素数さん
19/05/16 11:10:12.81 aP204bdu.net
>>614
繋がっているのは議論することじゃないよ
それは明白である
証明されたか否かの議論がずっと続いている
妄想だけでこんな論文を書けると思ってるのか？
おめでたいやつだな
641:１３２人目の素数さん
19/05/16 11:15:05.95 27EKEz3t.net
これもＢ本のことではない
URLﾘﾝｸ(www.zakzak.co.jp)
南アフリカレベル高い
642:１３２人目の素数さん
19/05/16 11:30:48.01 xTDUY5OM.net
数学vs 数秘術 です
643:１３２人目の素数さん
19/05/16 12:20:41.74 q8OxwmRD.net
断じてＢのことではない
URLﾘﾝｸ(www.zakzak.co.jp)
644:１３２人目の素数さん
19/05/16 18:27:31.12 vhLVqi2r.net
宇宙際（Inter-universal）の普遍性（universal property）を保証しようとして圏論の言語を使っていると思うのだけど、そこが上手くいっていない
クンマー理論による自然同型と単遠アーベルによる復元の合わせ技で“mysterious indeterminate isomorphism”つまり、
充満多重同型を作って“distinct copies of various familiar objects”とし、「異質な環構造」つまりホッジ劇場＝異なる宇宙を作りたいわけだ
視点を変えると、圏論と「種の言語」の合わせ技の問題にもなるわけで、これは望月レポートでもほとんど触れられていない
主論文最終節で宇宙際（Inter-universal）をIU形式主義と「種の言語」との関わりでデッサンしているだけで、きっちり基礎づけられていない
mutationやobservable(s)も比喩的に使っているようにしか見えない
これでは誰も納得できないし、Mも最終節の主張は非専門家の視点と断っているから説得力を持たせることもできないのだろう
SSレポートを読んで（おそらく）多くの数学者が納得し、IUT終了と見做したのも頷ける
645:１３２人目の素数さん
19/05/16 18:35:15.29 vhLVqi2r.net
圏論を使って論理の正当性を保証しようとしているように見えるのだが、その圏論専門家からも疑問の声が上がっている
それを「遠アーベルの知識がない」からと邪険に扱うのは、たんなる逃げに過ぎない
まあ、ロバーツはABC予想証明やIUTそのものよりも
圏論や集合論について個人的な関心の延長線上でIUTに関心を持っているだけだと思うけどね
646:１３２人目の素数さん
19/05/16 18:47:48.70 JxWpalmh.net
coricity→multi-radial algorithmsの部分ですね
ノイキルヒ内田の定理はabsolute Galois←→NFを言ってるだけなんで、問題になっているのは
明らかに遠アーベル幾何学よりHigherな宇宙際幾何学それ自体
絶対遠アーベル幾何学というのは宇宙際幾何学からすると単なる�
647:ﾝ定でありツールなので、 遠アーベル幾何学自体が問題になっているとは言えない
648:１３２人目の素数さん
19/05/16 18:58:51.53 JxWpalmh.net
安福さんも確か著者で言ってたけど、高次元の高さについての理論になると遠アーベル幾何学も
テータ関数も相当頭を使わないと通用しない可能性が高い
そういう意味では、もし野心的になるなら大分違うアプローチや発想が求められるし、そういう理論から見て
IUTの「戦略=狙い」がどう位置付けられるのかは非常に重要な問題になる
ABC予想がたとえこれで証明されても数論は魔境ってことだ
649:１３２人目の素数さん
19/05/16 19:11:35.83 CLZnjQNU.net
圏論屋の話は他所でやれ。
650:１３２人目の素数さん
19/05/16 19:20:22.66 vhLVqi2r.net
>>623-624
ほぼ同意です
ただ、仮にABC予想が証明できていて、さらに宇宙際幾何学がきっちり整備され認められたとしても、
Bが言うようなパラダイム・シフトはあくまで数論幾何の方法だけの話になると思います
BやMが宣伝本で言っているのは、パラダイムというよりほとんどエピステーメー（フーコー）なんですよ
そこまで自分の仕事を持ち上げるのかという・・・
651:１３２人目の素数さん
19/05/16 19:47:08.05 vhLVqi2r.net
現状ではIUTは「戦略=狙い」すなわちアイデアしかない、としか言いようがないですね
アイデアなら誰でも持つことはできるんですよ、特に若い人は様々なアイデアをたくさん思いつくはずです
20代半ばのショルツがすぐにIUTを読み込んだのも頷けます。Mと同世代のコンラッドですら関心を持ったわけですから
重要なのは徹底した自己検証と、専門家による厳しい検証、反論に対する納得できる説明なんですよ
652:１３２人目の素数さん
19/05/16 21:30:24.55 vhLVqi2r.net
「徹底した自己検証と、専門家による厳しい検証、反論に対する納得できる説明」という意味で、
現在に至るまでMのしてきたことと言えば、
・アイデアに有頂天になって10年以上もかけてジャーゴンだらけでややこしい記述をし、万能感を持った
・アイデアに共感した弟子・友人などを教導しながら緩～い検証（査読も？）をしてもらった
・不可解な点に対して納得させる説明ができず逆ギレして相手を不勉強だと罵った
これ、はっきり言って笑いごとでは済まされないんで・・・
数学コミュニティの沈黙は、IUT終了及びMと関わるのはタブーの無言の意志表示とみてよいだろう
653:１３２人目の素数さん
19/05/16 22:11:37.27 U8Z0GkN/.net
RIMSでDupuyらしき外国人をみかけたぞ。また来てるのか。
654:１３２人目の素数さん
19/05/16 22:42:08.20 7N6DlDFG.net
アメリカでのIUTの布教活動はDupuyとフィリピン人が担うのか。あとKedlayaか。
655:１３２人目の素数さん
19/05/16 23:17:26.03 DCF9nUut.net
3月にもきてたんじゃないか？ピッチ早いな。
656:１３２人目の素数さん
19/05/16 23:25:14.21 1e1DPOd3.net
焼け石に芋
657:１３２人目の素数さん
19/05/16 23:45:47.29 vhLVqi2r.net
Dupuyはブイウムの弟子で、フルショフスキーの下でポスドクやったそうだね
まあ、このレベルの数学者らの関心を惹ければいいけど、ジルバーがちょっとモデル理論の方で関心を持ったぐらいだからなあ
IUTに見どころがあるのだったら彼らも何らかのアクションを起こしていると思うけどね
658:１３２人目の素数さん
19/05/17 00:07:09.05 FoIZyDE3.net
ある種の人間は同じ勘違いをしてしまう不思議な学説
659:１３２人目の素数さん
19/05/17 01:00:14.07 YvieELkq.net
>>608
あんた>>544じゃないんだろ？じゃだまってろよ。
＞あなたは5ちゃんによくいる論理的思考力に瑕疵を抱えてる御仁だね
その言葉はお前にそっくりお返しするねｗ
>>544の文章をよく読めよ
「どこからどこまでが真の業績かわからない」と書いている
査読を通った論文が正しい
660:なら「真の業績がどこまでかわからない」などと書くはずがない >>544はあきらかに「査読を通った論文」でも疑問を持っていると読まれても仕方がない。 現に弟子たちが望月の査読通過論文を使えばもっと優れた業績が出せるはずなのに出せないといっている。
661:１３２人目の素数さん
19/05/17 01:42:50.76 dPn71uSn.net
>>628 その列挙されていることが真実だとして、それでも世の中あるある、
数学界あるあるな笑い話でいいんだよ。
662:１３２人目の素数さん
19/05/17 04:28:23.50 djE9Y0go.net
ポケットマネーだけでやってる分にはそれでいいんだけど
663:１３２人目の素数さん
19/05/17 09:09:55.20 BFvgbaIm.net
IUTみたいに独自路線な数学はやるだけ無駄なんだよ
664:１３２人目の素数さん
19/05/17 09:44:54.39 ETzXB10X.net
僻み鮮人見苦しい
665:１３２人目の素数さん
19/05/17 09:50:29.98 J8EveBfN.net
今週も手頃なカモをマインドコントロールしてわかったフリをする人間を増やすニダ
∧＿∧ どうせアクセプトされないからって懐疑側が余裕ぶっこいててムカつくニダ
<丶｀∀´> ∧＿∧ いつもの論点すり替えて僻みのせいにするニダ 鮮人のせいにして憐れみ請うニダ
／ ＼ （ ）詭弁と強弁とポストチラつかせて工作員増やすニダ
.＿＿| | .| |＿ / ヽ
||＼ ￣￣￣￣ ／ .| | | なに言ってんだこのゴミクズ太鼓持ちの傲慢数学ドカタ野郎が身内のkimの反論検証はよ
||＼..∧＿∧ (⌒＼|_＿./ ./ 数少ない擁護側のTaylorを3月にわざわざ来日させといて拡がりより中途の検証を先にやれよ
||. （ ） ~＼___＿_ノ| ∧＿∧
/ ヽ 厚顔無恥の馬鹿？＼| （ ） 不利な点はスルーで数日で復活とかゴキブリかよ
| ヽ ＼/ ヽ. 無防備な学生やらアマチュアクラブの連中相手に押し売り洗脳
| |ヽ、二⌒) ／ .| | | 数々の指摘の反論ができないってどういう事だよ？
.| ヽ ＼∧＿∧ (⌒＼|_＿./ / 6月のＮスペはどうなったんだよペテン師野郎
4月末で潮目が変わるんじゃなかったのかクソ野郎
モノ書きのホモサピエンス野郎キショいんだよ
∧__∧
（´∀｀ ） オボちゃんも最後の最後まで認めなかったからね！
（⊃⌒*⌒⊂) キタナイとこは隠すからね！
/__ノωヽ__） Examples of triples with small radical だけ記述してるの？
あちこちで上界値はもう出てるよね
上界値だけだと証明になるの？
666:１３２人目の素数さん
19/05/17 10:32:18.41 +ZyIeiz7.net
望月ってp進なんとかではすごい業績出してるのに何でおかしくなったんだろ
667:１３２人目の素数さん
19/05/17 12:05:25.24 mSwk7svg.net
デニー・ヒトバシラの回顧録より
着想や論文の作成時に△△と◻◻がなかったのは大きいだろう
そりゃ想定してるとこが違えば結果はかわるだろ
大英断でタオが指摘したように書き直せば良かったのに
オイラーやワイルズみたいにほぼ単独で完成できると目処が立ったならともかく
よってたかって前後関係把握せずに構成したから矛盾とかいわれたか
代わりのもの出せるなら出してるだろうけど引くに引けないだけ
668:
669:１３２人目の素数さん
19/05/17 18:38:02.03 sqZ/onuv.net
何で例の>>635がこの件についてやたら噛みつくのか？あっ（察）w
それはともかく、HA理論ってかなり癖がある論文で、これ代数幾何やってるからって普通に読めるもんには
見えない。つまり、正否よりも前に査読はどれだけ理解して通したのかなっていう疑問は確かにある
弟子や仲間から派生してないのもあるけど、実際IUTまであまり認知されてすらいなかったと見える
個人的に聞く限りでもそう。多くのディオファントス幾何学者ですら知らなかったのではないか？
まあ少なくともRIMSにはこれ通した人も玉川さんもいた、またはいるわけだから査読が順調ならば
色々な疑問について論陣張れるはずなんだけど
670:１３２人目の素数さん
19/05/17 18:54:23.05 sqZ/onuv.net
ここにいるらしいRIMSの人は正しいと思ってんの？本音として
それも帰属意識的な感情論だったらあまり意味ないけどね
671:１３２人目の素数さん
19/05/17 19:32:34.75 lrYxPdGD.net
絶対矛盾的自己同一
672:１３２人目の素数さん
19/05/17 23:10:44.21 ZqeXL9tl.net
>>643
ホッジ・アラケロフによる動機付けから、なぜ絶対遠アーベルの利用が不可欠なのか説明できるはずですよね
SSはその動機付けに従えば、遠アーベルの方法は必要なく、スキーム論的な同型でよいとしています
結局、クンマー理論による自然同型だけでよく、単遠アーベルでの復元によって生じる2つの不定性を用いた充満多重同型は要らないと
要するにSSは、IUTは不自然だと言っているわけですよ
まあ、IUTではなぜ遠アーベルが必要なのかという根本的かつ致命的な疑問になりますね
673:１３２人目の素数さん
19/05/17 23:51:12.22 ZqeXL9tl.net
星の入門１の20頁で、リンクによるアプローチでは遠アーベルが必要で他に方法は知らないと書いているけど、
そういう方法を取った以上不可欠なのだろうけど、環構造を破壊して不定性を強調した構造を導入するには圏論の言語は違うのではないか
実際、主論文Ⅳでは同じspeciesによって与えられるmutationのdomainとcodomainとか、mutation-historiesなんて言葉も出てくるし
まあ、よく分からないし不自然だとしか言いようがない。アイデアだけで猪突猛進している感は否めない
674:１３２人目の素数さん
19/05/18 00:42:23.54 rK8kudH2.net
>>646
アラケロフ理論の既成の限界と似た話で、一般のスキームではなく異なるスキーム同士の、という
論法をどうしても使いたかったんでしょう。NFのABC予想はZについての問題なので、HA理論のスキーム論的な
枠組みだと自明な話しかできませんからね
だから絶対ガロア群とスキーム、正則構造の間で理論を構成するとなった
しかし、これは前にも示唆的に書いたんですが、環構造を経由してはならない、というのは絶対的な縛りとは
思えません。テータ関数については確かにこれを上手く使えばアーベル多様体の群論については
十分機能しますが、これも個人的には証明を複雑にする一因ではないかと思いますね
ただ、p-adic TeichもHAも30歳で書き上げた大理論で、これらと合わせて遠アーベル幾何学でまとめる
というのは、知識、アイデアの両面で望月さんにとってはそれしかない運命だったんでしょうね
自分も最初のアイデア群を結局未だに肉付けしているので、そういう引きずりは理解できます
675:１３２人目の素数さん
19/05/18 02:02:43.94 rE6li1lH.net
プロっぽいご意見ｷﾀ━━(ﾟ∀ﾟ)━━ｯ!!
676:１３２人目の素数さん
19/05/18 02:05:50.85 EzAJz7o2.net
圏論屋の話は中身が薄っぺら。
677:１３２人目の素数さん
19/05/18 03:08:17.83 txxYJ5tS.net
Indeed, this fundamental difference between inter-universal Teichm¨uller theory and
conventional research on geometry over F1 might give rise to various interesting
questions and hence stimulate further research. Finally, in this context, it is perhaps
of interest to note that although there is no specific mathematical object in inter-universal Teichm¨uller theory that may be said to correspond to “F1”, in some sense
the notion of a “field with one element” may, at a more conceptual level,
be thought of as corresponding to the notion of coricity/cores/coric
objects — that is to say, objects that are invariant with respect to
[i.e., “lie under, in a unique way”] various operations such as links [cf.
the discussion of §2.7, (iv)] — a notion which is indeed central to inter-universal Teichm¨uller theory.
678:１３２人目の素数さん
19/05/18 08:31:11.91 zxOf2z/r.net
>>114
679:１３２人目の素数さん
19/05/18 09:04:38.67 5cVyQ7NV.net
絵に描いた餅
680:１３２人目の素数さん
19/05/18 10:09:19.90 hfdDtcwo.net
URLﾘﾝｸ(karapaia.com)
コンラッド先生が笑顔で日本の文化を語ってる
681:１３２人目の素数さん
19/05/18 12:21:23.82 62vJHxCR.net
結局アジア人の妄想乙で終わるんやな
682:１３２人目の素数さん
19/05/18 15:08:14.38 s9cWzdxz.net
妄想乙ってわざわざ日本まで来て告げてくれたフィールズ賞受賞者は神だな
他の連中はこそこそ陰口言うだけだったのに
683:１３２人目の素数さん
19/05/18 16:27:24.45 LLk/xkON.net
>>651
これ何処にあったっけ？？
確かにF_1の幾何そのものは出てこないよね。それはタオが関連性を指摘した2012年には感じてた
とは言え、ある種のスキームの基底にあるプログラム構造を考えるという意味では確かに似ている
とはいえ、IUTの研究者は別にもすべきことがある。それはモチーフとの関連性を示すことだ
本来なら山下さん辺りが言及すべきだが、今のところはよくわからないのだろう
684:１３２人目の素数さん
19/05/18 16:28:25.76 LLk/xkON.net
「とはいえ」使いすぎたw
食い過ぎた後にぼんやり書いちゃあかんな
685:１３２人目の素数さん
19/05/18 16:55:37.59 pKbd8wGy.net
モチーフと関係あるの？
自分の視野が狭いせいかもしれんが、IUT1-4ではコホモロジカルな雰囲気全くないけど
686:１３２人目の素数さん
19/05/18 17:21:27.92 hXZtD747.net
可換代数で、中山の補題というモノがある。
殆どの数学者は中山の補題と呼んでいたが、中山氏本人はクルル・東屋・中山の補題と呼ぶべきだと主張してた。
だから松村英之氏は、自身の著書で、NAKの補題としていた。
687:１３２人目の素数さん
19/05/18 17:22:59.02 xbq3H0/L.net
まあ、IUTコミュニティにはフロベニオイドがあるからね。IUTもその実演例の一つだといえるわけだ
そこからやればいいと思うけどね（他人事）
但し、SS（おそらくショルツ）のよれば“very elementary”ということになるのだが
容赦ないよね、ショルツって
688:１３２人目の素数さん
19/05/18 17:29:32.22 xbq3H0/L.net
>>648
異なる構造を様々な視点から眺めたい、比較したい、繋げて計算してみたいという動機というか気持ちはよく分かるんですよ
そのためにアナベリオイドを考え、圏論を用いて宇宙際性（inter-universality）を持たせなければならなかったわけです
様々な対称性を用いた「通信」では当然「ぼやけ」は出てきます。これは抽象化によるぼやけというというより、
抽象物と抽象物の通信によるぼやけですね（エタール輸送不定性）。しかし、忠実充満にしないと使えないわけで、
そこで圏論的に行き詰っているというか、おかしな話になっている。Mにとっては自明なのでしょうけど
しかし、ロバーツに対するあの態度は逆ギレ以外の何物でもないですね、SSに対するものより見苦しいですよ
まあ、IUTは若い研究者にとっては叩き台の一つとすればよいですし、Mの態度は反面教師とすればよいと思います
689:１３２人目の素数さん
19/05/18 17:45:27.64 PComa3rh.net
もっちー青春の夢
690:１３２人目の素数さん
19/05/18 18:53:56.68 SdSGhofh.net
もっちー中年の夢
691:１３２人目の素数さん
19/05/18 19:04:47.39 EzAJz7o2.net
圏論屋はバカ。
692:１３２人目の素数さん
19/05/18 19:21:34.93 xbq3H0/L.net
>>657氏へ
>>651はエイリアン・コピー論文のp121ですね（私もどっかで読んだ記憶があったので）。今日付けで修正があったようです
私がDLしたものは昨年9月のもので、それと比べると“Finally, in this context,”以下が追加されています
ちょこちょこ追加・修正しているのでいつから現行のようになったのかは分かりませんが
コピペしてくれるのもいいですが、引用元を明記してほしいですね
693:１３２人目の素数さん
19/05/18 19:26:26.83 PComa3rh.net
もっちー永遠の少年場
694:１３２人目の素数さん
19/05/18 21:37:57.49 SAtPB2Wi.net
日本人なら類体論とか岩澤理論とかを深めるべきで
IUTみたいなゲテモノ数学やって人生棒に振ってもしょうがない
まだ若く将来有望な若者を巻き込んだらあかんよ
695:１３２人目の素数さん
19/05/18 22:03:23.63 FthQ53Fy.net
理解してから言えや
696:１３２人目の素数さん
19/05/18 22:15:37.87 OSIzUP19.net
暗記のまちがいだろ
697:１３２人目の素数さん
19/05/18 22:30:42.74 GANOodH5.net
>>668
勝手に日本人に道筋を付けるな
おまえ、他人の人生に責任取れるのか？
取れもしない癖に無責任なロジックを使うな
お里が知れるやつだ
698:１３２人目の素数さん
19/05/18 22:33:40.79 LLk/xkON.net
>>659
元ネタである変形理論っていうのは一種のコホモロジー理論だからね
p-adic Teichもクリスタリンコホモロジーの理論に密接に関係している
IUTはスキーム全体に渡る変形射を考えるという話をしているわけだから、何らかの普遍的なコホモロジーの
構成が対応しているはず
699:Wellcome to junior math Olympian&
19/05/18 22:34:21.96 o56TvuFc.net
いずれ公式の方にも通達する予定です。
このスレが少しずつでも発展していく事を願っています。
700:１３２人目の素数さん
19/05/18 22:42:52.63 s8g9J3vq.net
次のKほらー CD予想
古都の大学研究所 廃墟で古びたほらーの書
が 発見された。
夜中に若者が 度胸試しに行くと 古井戸から
きもいラベルとゾンビウィルスが大量に湧いてきた
701:１３２人目の素数さん
19/05/18 22:47:07.88 SdSGhofh.net
若い人がIUTに賭けてもそれはそれでいいんじゃないかなあ
それで失敗するか成功するかわからないけど他人のことだし
本当に力のある人は最初のテーマがどうであれいずれ成果を出すよ
初期に参入した人達が数学的には成功しているようには見えないが
アカポスという点ではうまくゲットできてるのは確かだ
702:１３２人目の素数さん
19/05/18 23:06:41.04 qiW9wlNH.net
ところでキミは防衛大学や宗教大学に就職したいかい？
703:１３２人目の素数さん
19/05/18 23:21:24.01 b6VLXQPB.net
>>672
確かに！！
てかモッチーって元々数論的小平スペンサーとか狙ってたんだっけ？
704:１３２人目の素数さん
19/05/18 23:26:50.67 b6VLXQPB.net
>>672
確かにとか言ったけど、やっぱわからん
IUTでは環構造やら色んな付加構造の違いを計算してると思うけど、所謂変形理論であるようなコホモロジーの消滅云々とかじゃくて、フロベノイド(？)とか使ってやってるわけでしょ
705:１３２人目の素数さん
19/05/18 23:57:30.54 LLk/xkON.net
>>662
>>666
出典ありがとうございます。自分は初見でした
望月さんのバックグラウンドからしたら、実は近いタイヒミュラー理論と遠アーベル幾何学を結びつけたいのは
至極真っ当ですけどね。ただ、他の人はもっと直接ホッジ理論の大域版を考えるとか、アラケロフ理論の
問題点をDurovのように（今は抽象ナンセンス的に不十分と考えられてますが）改善しようとする、
という方向で考えたほうが健全でしょうね。IUTでBSD予想が証明されたらこの見方はやめて完成降伏しますが
ついでにぶっちゃけると、遠アーベル幾何学というのはグロタンディークがもし復活したら、
より巨大なビジョンに昇華しようとするのではないかと思いますね
IUTがやりたかったのは環論のある種の一般化だけど、今グロタンディークが現役で甦ったらIUTとは違う形で
基本群を一般化して、更に遠アーベル幾何学の「数論的背景」を考察して高次元に一般化するでしょう
この二つが可能である示唆は断片的には出てきているけど、まだはっきりしていない
具体的に考える上でゼータ関数論が導きとして極めて重要なのは間違いないですけどね
706:１３２人目の素数さん
19/05/19 08:36:55.09 GE+LjdtO.net
>>671
日本人がどうとか言うより
類体論とか岩澤理論とかラングランズが数学の王道だから
そこから大きく外れていくような数学はいずれ淘汰される
707:１３２人目の素数さん
19/05/19 09:45:53.29 EMqs27FG.net
>>656
＞妄想乙ってわざわざ日本まで来て告げてくれた
ハハハ、 そうだね。
もしSSがはっきり宣告しなければ、今頃日本じゃIUTは証明されたのに認められずフィールズ賞をとれない悲劇、
っていうふうに捻じ曲げられていたろうな。
708:１３２人目の素数さん
19/05/19 11:36:32.69 7tmLYTzu.net
>>681
それはないな
そもそも年齢的に無理だし
妄想乙
709:１３２人目の素数さん
19/05/19 14:06:54.40 eQdykDAc.net
>>679
それは貴方の夢であってグロタンディークの夢ではない
710:１３２人目の素数さん
19/05/19 14:11:50.10 KHcXfR7Y.net
IUTがスキーム論のようにABC以外にもいろんな数学の問題が解ける強力な理論なら
フィールズは年齢で対象外でもアーベルでもチャーンでももらえるだろ
真偽のほどはともかくABC特化型の癖の強い理論っぽいような
大きな賞を取らせようと思ったら周辺の研究者がその理論を発展させないとダメ
711:１３２人目の素数さん
19/05/19 14:58:33.56 Nstz4HDy.net
>>680
体感ですけど、数学の最近の王道(あるいは流行り病)は数理物理ではないでしょうか。若い人なんて思考停止で呟いてますし。(理論物理は進展もアカポスもまず無いのに、物理学者より少ないポストの数学者がこれを研究したがるのは本当に謎です。)
あと「類体論とか岩澤理論とかラングランズ」ってあなた本当に理解してますか。チョイスがおかしいでしょ。
最初の2つはwell-knownだし、後者は、保型表現の側で散発的に結果が出てるだけだと思います。誰も真剣に扱ってないと思いますよ。こんなで淘汰がどうだって数論(幾何)の研究者の人生をかけたギャグか何かですか。
712:１３２人目の素数さん
19/05/19 15:03:53.45 7ujl1V4u.net
むしろ逆
物理のようなもう掘りつくされた鉱山に魅力を感じる人はいない
713:１３２人目の素数さん
19/05/19 16:31:01.01 vcTuqXho.net
>>685
数理物理は数学じゃなくて応用数学じゃろ
類体論は非可換化、ラングランズは高次元化
まだまだやることが山ほどあるんじゃよ
714:１３２人目の素数さん
19/05/19 17:22:50.32 KHcXfR7Y.net
非可換類体論もラングランズも課題はたくさんあるのはわかってるが
そこまで勉強してたどり着いて何か新しいことができる院生が何人いるか
勉強したけどそこでおしまいという秀才もたくさん見たのでなんとも
数理物理のアイデアで何か数学やるというのもミラー対称性あたりから
たくさんあるがその方面で結果出してる人の数が多いわけじゃない
IUTがどうであれ勉強できてそこで新しい結果出せる人は少ないのでは
715:１３２人目の素数さん
19/05/19 17:55:45.42 Oxy/1Had.net
>>687
やる事と出来る事は違います。そもそも高次元、非可換化って幼児でも考えそうな事やって楽しいんでしょうか。この手の話題ってほぼほぼ縛りプレイでまず解決しませんよね。それが魅力というなら角川出版から本でも出されたらどうでしょう。
716:１３２人目の素数さん
19/05/19 17:59:04.68 9f4CB5aQ.net
それこそScholzeが局所ラングランズで活躍してんじゃん
近いうちにlocalな方は完全決着つくと思うよ
717:１３２人目の素数さん
19/05/19 18:08:13.03 00W2Kgvz.net
＞IUTがどうであれ勉強できてそこで新しい結果出せる人は少ないのでは
Go先生の次回作にご期待ください
718:１３２人目の素数さん
19/05/19 18:57:44.51 TocTEO+F.net
>>690
それじゃ、Scholzeの活躍と解決について研究して出版すればいいんじゃない。B先生と競争だな！
719:１３２人目の素数さん
19/05/19 19:31:29.18 ccjULybX.net
> 角川出版から本でも出されたらどうでしょう
角川バカにされすぎw
720:１３２人目の素数さん
19/05/19 19:42:54.39 KHcXfR7Y.net
今の時代は幻冬舎だな
721:１３２人目の素数さん
19/05/19 20:03:06.55 GdorOdBd.net
数学書は数学書専門の出版社から出すべき。普通の出版社では校正とか無理だろ。シュプリンガーからヘンな本が出ることもあるが。
722:１３２人目の素数さん
19/05/19 20:09:12.73 o2hoKFSD.net
>>685
加藤先生ですか？
723:１３２人目の素数さん
19/05/19 20:13:21.16 GdorOdBd.net
純粋数学で行き詰まった数学者がMathematical Physicsに行くことがある。40歳過ぎたグロたんとか。最近のKimも。
724:１３２人目の素数さん
19/05/19 20:13:30.13 kzzc3Qm0.net
それで思い出して調べたら加藤五郎先生去年引退してたのか
悲しいな
725:１３２人目の素数さん
19/05/19 20:32:54.71 ccjULybX.net
公文のCMなんかに出るという手もある
726:１３２人目の素数さん
19/05/19 20:51:35.35 9R+xMLMb.net
Bみたいにカルチャースクールで線形代数の講師をやるとか
727:１３２人目の素数さん
19/05/19 21:37:19.17 c3iKIw0I.net
>>685
数学者が物理で本当に求められてるのは、解析を踏まえたグローバルアナリシスからリーマン幾何学のような
新しい基盤を量子論に提供することなんだけど
トポロジーばっかだと思いませんか。悪いとは言わないしコンツェビッチくらいならそれも見事だが
大抵の数学者はどう見ても頓珍漢なやる気出してる感がある
728:１３２人目の素数さん
19/05/19 21:43:58.03 c3iKIw0I.net
現状としては
代数幾何学的なアプローチのラングランズ理論はともかく
代数幾何学直球ど真ん中からのゼータ関数論→ほとんど謎
セルバーグゼータ関数とリーマンゼータ関数の関連性→ほとんど謎
解析直球ど真ん中からのゼータ関数論、加法問題→ほとんど謎
解析に対する深い洞察からの量子数学→ほとんど謎
局所体や関数体のように統一的で効率的な大域、代数体の幾何学→ほとんど謎
729:１３２人目の素数さん
19/05/19 21:51:21.28 7KgINP0I.net
ミラクルシンカー投げてやるぜ
730:１３２人目の素数さん
19/05/19 22:04:34.92 iTLpdaGA.net
>>696
加藤先生は類体論至上主義だからそんなこと言わんでしょう
731:１３２人目の素数さん
19/05/19 22:04:45.62 bAL09For.net
>>702
謎多過ぎわろ
732:１３２人目の素数さん
19/05/19 22:12:52.85 FCbZiYvJ.net
>>692
M枝Iマイ辺りがいつか書くでしょ
733:１３２人目の素数さん
19/05/19 22:21:14.66 PVTsFDCo.net
ID:c3iKIw0I
謎の解析マンセー汁がほとばしっとる。
734:１３２人目の素数さん
19/05/19 22:30:50.15 c3iKIw0I.net
>>683
まあそうなんだけど、元々の一番狙いだったWeil予想ですら代数幾何学の頂点ではなく、その先=Hasse-Weilが
未だに曇りがかってるのは凄いわ。DAGよりダイレクトに数論に行くんじゃないかなと妄想してしまう
735:１３２人目の素数さん
19/05/19 22:34:23.07 M9XExga+.net
数学の現状は ハッタリだらけ
RHまであと10歩 by ゼータ
1/2の予兆が見えた by IUT
ABC予想はIUTの構築より論文が査読中ても
解決した by IUT
物理の一般相対論では、アインシュタイン
のアイデアは元々 大学時代 講義で聞いた
ガウスの曲面論です。
736:１３２人目の素数さん
19/05/19 22:53:41.87 KHcXfR7Y.net
まとめると今求められている数学は
高次元・非可換なIUT幾何の上の確率解析を使ったリーマン予想の解決だな
737:１３２人目の素数さん
19/05/19 22:57:16.84 PVTsFDCo.net
NS方程式の厳密解とか言い出す方がトポロジストよりアタマ悪そうなんだけどね。
738:１３２人目の素数さん
19/05/19 23:08:35.12 M9XExga+.net
>>710
なるほど、千里の道も一歩からだね。
逆方向でも 地球は丸いからw
739:１３２人目の素数さん
19/05/19 23:14:57.19 mZWQEqV2.net
ゴールが後ろにあったとか
740:１３２人目の素数さん
19/05/19 23:19:40.25 PVTsFDCo.net
最悪のケースがあるからこそランダムウォークは基本群の空間の情報ぜんぶ持ち合わせてるんだけどね。
741:１３２人目の素数さん
19/05/19 23:43:21.46 MNAZxpPY.net
IUTは現状では話にならないでしょう。宇宙際の宇宙際性（inter-universality）そのものが疑問に付されているのですから
圏論に望月流の「種の理論」を組み込んで、突然変異(mutation)で「同じだが微妙に異なる」、「微妙に異なるが同じ」という論理
そもそも前提となる宇宙際性（inter-universality）についての基礎理論を最終節で独立したように書く方がおかしい
SSも当然そのことを理解した上で説得力がないとして切り捨てていると思う
742:１３２人目の素数さん
19/05/19 23:56:17.64 MNAZxpPY.net
B本は久々に目が腐るような本だったけど（マスパワー動画の方がマシ）、ある意味でIUTコミュニティの現状を表している
対称性について小学生レベルの話を例を変えて3～4回も書きページを水増ししている一方で、Θリンクについては始めから
存在しているように書いている。Θリンクの形成過程が宇宙際幾何学が宇宙際（inter-universal）である最大の特徴であるにもかかわらず
要するに、IUT陣営が数学コミュニティに対して説明すべき本質的な部分を、Bも同じく説明していない
肝心かなめの部分を説明しようとしない（できない）。IUT理解者というのはこういう人達なんだなと
まあ、怪しげな論法だから望月本人以外の「理解者」は説明するのは怖いのだろうな
743:１３２人目の素数さん
19/05/20 00:21:32.51 +1WAc3a7.net
>>702
最後のはIUTがやっている（やろうとしている）ことですね。しかし正しいとしても不等式しか導き出せないのであまり使えない
下から2番目もIUTが今後の拡張として考えていることでしょうね。メタファー止まりですが
他は全部IUTとは関係ないですね
この程度でどうしてパラダイム・シフトなんて言葉を使えるのかと。どの面下げて、どの口で言えるのかと不思議に思う
744:１３２人目の素数さん
19/05/20 00:32:19.17 sdMM3BRu.net
>>710
確率解析とか聞くとなんやら気持ち悪いんだが
要はユニタリ表現や非可換調和解析のことやろ？
745:１３２人目の素数さん
19/05/20 13:17:26.46 fqRA3UOz.net
最近Gは名前すら上がらんけどどうしてんの？
取り巻きからすら外されてるのか？
746:１３２人目の素数さん
19/05/20
747:14:42:55.67 ID:JEqjk1Bj.net
748:１３２人目の素数さん
19/05/20 16:32:39.77 2r/mcfUO.net
>>719
生涯サーベイ書く服役中
749:１３２人目の素数さん
19/05/20 17:06:38.33 AGraftgm.net
>>720
具体的に何がどう未解決なのかあんたがわからんだけでしょ。補完できないからムカッときてる
例えば量子論の基礎について、物理で頻繁に使われるAと基本的と予想される概念Bの関連性がわかっていないけど
埋められないでしょ
文句ばかり言ってるけど、「他人を貶すより自分のレス」をしたらって散々書いてるのに一向に書かないねw
自分は何も書かないのに貶して賢い競争をしたがってる人間は頭悪くないのかね？
恥を晒しても物を言うだけ、まだBのがマシだよ
750:１３２人目の素数さん
19/05/20 17:13:46.41 AGraftgm.net
例えばフロベニウス持ち上げの微分に対応する計算がIUTTではどう表現されているのか？
何故絶対遠アーベル幾何学には「絶対」が付いているのか？
702の未解決問題間の内容は関連性は何か？
賢いならそういう話を自分なりにレスしたら良いのに、何故か他人のレスを貶してマウンティングっていうね
怒りとかではなくて残念としか言いようがないね
751:１３２人目の素数さん
19/05/20 18:52:01.85 7CHWLthj.net
>>720
最初はペル型の志村多様体の話と思うんですが「ともかく」で済まされムカつきました。
私が物理、数理物理を全くフォローしてないのであなたの例え話も正直全くわかりません。
概念Bとはなんですか。GとMもあるんでしょうか。勉強してきます。
752:１３２人目の素数さん
19/05/20 20:01:29.27 GjKzfPJG.net
>>723
で、君はどうしてやらないの？
753:１３２人目の素数さん
19/05/20 21:51:23.11 XjJ37d/K.net
ほとんど謎の解析マンセー厨房に過剰反応しすぎじゃねーの？
754:１３２人目の素数さん
19/05/20 23:04:45.73 J77e15l1.net
>>725
やらないのって踏み込まないのって意味？そこまでは語る必要ないし、ごく一般的な話をすべきでしょ
解析マンセーも何も、代数幾何じゃ通用しそうにない基本問題が実際あるんだから仕方ない
数論でもそういう問題はあるが、物理の基礎に解析がいらなくなる見通しでもあるのか？w
755:１３２人目の素数さん
19/05/20 23:31:22.60 XjJ37d/K.net
実際現実の空間が離散的だったら解析は大ウソな近似手法になっちゃうからねえ。
PDEくんもきっと信者う。
756:１３２人目の素数さん
19/05/20 23:40:16.44 J77e15l1.net
おまけに、素朴に考えるとラングランズの意味も未だにはっきりしていないだろ。誰にもわからんはずだ
ドリーニュ、佐藤ー久賀のヴェイユ予想とラマヌジャン予想の一本釣りみたいに全て収まれば楽でいいけどな
解析のほうが優位とかではなくて、色々全体像がわからないのだから軽視しようがないという事だな
757:１３２人目の素数さん
19/05/20 23:46:35.13 +1WAc3a7.net
ちょっとIUTに寄り添って考えてみると、なぜノイキルヒ・内田ではなく単遠アーベルなのかということなんですね
望月の言葉でいえば、なぜ双遠アーベルではなく単遠アーベルによる復元が必要なのかということ
これは関数体ならノイキルヒ・内田のような双遠アーベルでもいいが、数体なら単遠アーベル的復元が必要ってこと
で、結果としてどういうものが構成されるかというと、同じ宇宙（人形でもいい）が幾つも並列に作られるのではなく、
ほとんど同じだが微妙に異なる入れ子式の宇宙（マトリューシカ人形）が作られるということ
758:１３２人目の素数さん
19/05/20 23:55:08.06 +1WAc3a7.net
>>702氏の「ほとんど謎」にこだわる人がいるようだけど、これって普通にやってることだよ
こんなことできたらいいな、こんなことを考えてみたいな、というのがあるけど実際取り組んでみると、
恐ろしく難しい、ツールが足りないということになる
B本は本当にゴミみたいな本だけど、パズルの例えは悪くはなかったと思う
完成図を知った上でパズルを組み立てるのか、完成図を知らず多数のピースしかない状態で組み立てるのかという話
759:１３２人目の素数さん
19/05/21 00:04:28.30 e1VwFiPk.net
iutは横に置いておいて、単遠アーベル（taag）の研究自体に的を絞っても
スター先生しかフォロワーいないのか
760:１３２人目の素数さん
19/05/21 00:26:03.99 mtULy2M4.net
Gがサーベイが更新されていて見てきたけど、相変わらず理解者たちは他者に対して説明する努力をするつもりはないようだ
IUTコミュニティというより、IUTコミュ障、IUT型コミュニケーション不全症候群という感じだね
Gのサーベイ最新版p.64より
-----------------
(If we use the language of species and mutations(cf. [IUTchIV,x3]), then we can rigorously formulate mono-anabelian statements
without mentioning the contents of algorithms).
-----------------
同上p.251より
-----------------
In this sur-vey, we avoid the rigorous formulation of the language of species and mutations (cf.[IUTchIV,x3]),
-----------------
“mutation”という語はこの2箇所しかないが、厳密な定式化ができているつもりならそこから単遠アーベルの効用を説明すればよいだろうに
そうすれば保守本流の数論幾何学者に無視されても他の分野から注目されるはずなのにね
彼らは数理論理学の話に持ち込みたいのではなく、むしろ逆でそれに触れられたくないのだろう
761:１３２人目の素数さん
19/05/21 00:50:37.33 65ILvwhZ.net
森田真生と並び称される加藤文元、その嫁（再履）のホルホル画像をご覧ください
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
762:１３２人目の素数さん
19/05/21 00:57:43.41 26MvR/HP.net
Science History: Einstein’s mathematician
Emmy Noether overcame sexism and antisemitism to become a towering mathematician – and Einstein’s friend. Jeff Glorfeld reports.
URLﾘﾝｸ(cosmosmagazine.com)
763:１３２人目の素数さん
19/05/21 01:02:48.43 w4uEzqQt.net
解析もこれから偏微分方程式から偏差分方程式の時代
確率差分方程式で差分ランダムウォークをp進解析すれば数論に使える
764:１３２人目の素数さん
19/05/21 02:18:17.85 26MvR/HP.net
スピーシーズとかミューテーションとか数論的ダーウィン主義みたいな。
765:１３２人目の素数さん
19/05/21 09:46:09.13 tRNt5PHR.net
>>728
近似はウソではない。緻密な近似はよく使える
君は時代遅れな観念に囚われた中世の人間と類似のメンタリティを持つ人物だ
766:１３２人目の素数さん
19/05/21 09:49:05.56 uuTuUCFn.net
>解析もこれから偏微分方程式から
偏差分方程式の時代
差分は 毎日 天気予報で世話になっているのにね
はあ～
767:１３２人目の素数さん
19/05/21 10:37:21.10 jeiYkSps.net
>>738 或る種の「剛性」がないと意味のあるエラー訂正なんてできないし中世にビザンチン将軍も勤まらないよねえ。
769:１３２人目の素数さん
19/05/21 11:25:50.05 uuTuUCFn.net
ネーターの定理は ラグランジアンが無限小
連続変換で 対称性がある時 オイラーラグランジュ方程式に保存則がある。
時間並進対称性(時間の一様性)からエネルギー
保存則 が導かれる、、。
770:１３２人目の素数さん
19/05/21 16:33:21.18 e+7N+LWR.net
>>741
君は望月がHA理論において「ラグランジアンのガロア理論版」を論じていると知ったらどう思うのかね？
ラグランジアンにガウス積分にリーマン面
どっかで聞いたことのある組合せだな
771:１３２人目の素数さん
19/05/21 16:45:19.02 Regytzty.net
>>742
ものは言い様だね
772:１３２人目の素数さん
19/05/21 17:57:58.67 e+7N+LWR.net
>>734
色々凄いね。気○い発言が散見される
773:１３２人目の素数さん
19/05/21 18:20:35.66 pcyhy5LJ.net
てかこれ、一般大衆にこんなに拡散して、あとさき考えなくても大丈夫なのか？
774:１３２人目の素数さん
19/05/21 19:00:18.39 EorkxTbA.net
【末路は悲惨】ポスドク問題と給料
URLﾘﾝｸ(iirou.com)
ポスドクはつらいよ 結婚式で親族ドン引き「え…無職なの？」
URLﾘﾝｸ(withnews.jp)
775:１３２人目の素数さん
19/05/21 19:30:09.55 e+7N+LWR.net
Gは>>733でblurring丸出しだしBの○はいい年して痛いしMは上から目線凄いし
浄化してくれるものが欲しいな
だが他方で、2000年頃の望月の文書見ているとまあ確かに天才的だなとは思う。ミステリー小説みたいな論文だ
776:１３２人目の素数さん
19/05/21 19:54:53.06 hpHogNwW.net
物理にはアイデアがいっぱいあるが、
そのままでは 数学にならないね。
多様体上の超対称性量子力学から
指数定理もそう
(物理の話だが 時間結晶の実験は面白い、
時間並進対称性の「自発的」破れ 、、)。
777:１３２人目の素数さん
19/05/21 20:01:47.21 mtULy2M4.net
>>747 以前リンクを貼り付けた「数論的log schemeの圏論的表示～」と同じく↓も面白いですよ
[13] Inter-universal Hodge-Arakelov Theory (京都大学数理解析研究所 2005年12月).
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(RIMS%20Kyoto%202005-12).pdf
（直リンできない場合は「出張・講演」を覗いて下さい）
“consider species, mutation”とか、“consider loops of mutations ("simulate a∈a")”とか書いてありますね
778:１３２人目の素数さん
19/05/21 20:25:54.21 mtULy2M4.net
IUT発表直後、エレンバーグのブログでタオが「ABC予想証明に関する限り最終節の内容はred herring（おとり、偽装）で、
最終節は今後の宇宙際幾何学の拡張に関連しているのではないか？」と書いていて、ほとんどの数学者もそう考えていたと思う
（ちなみにこのブログでロバーツは「Mは圏論に精通していないのではないか」と書いている）
しかし、red herringどころか「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、
IUTの本質的部分だったということだね。そもそもInter-Universalという名称を採用した根本的な理由
779:は最終節の内容にある ABC予想に関心を持つ若い研究者たちはIUTをred herringと捉え、叩き台として利用すればいいと思う
780:１３２人目の素数さん
19/05/21 20:36:44.26 5jq5tMh/.net
あくまで噂だが、デュプ○がまた京都に来てるらしい。
781:１３２人目の素数さん
19/05/21 22:52:49.92 5/kbo+Er.net
ポスドクもドン引き、IUTもドン引き
782:１３２人目の素数さん
19/05/21 22:56:51.35 51jC2gzD.net
2019-01-30
大学院卒の半数以上が非正規！？ 悲惨な結果が判明！ 東大調べ
URLﾘﾝｸ(gakkou-nayami.hatenadiary.com)
大学院(博士課程)の悲惨な待遇は生活保護や刑務所の懲役刑未満という話
URLﾘﾝｸ(hajime77.com)
4割が借金300万円超え…大学院に進んだら一生ビンボー暮らしです
就職率は3割以下
URLﾘﾝｸ(gendai.ismedia.jp)
783:１３２人目の素数さん
19/05/21 22:58:26.07 jVs+PyoT.net
>733 結局(自称)理解者たちは肝心要の部分を詰めきれておらず、ssの指摘がごもっともっていうのがオチなんだろうな。
784:１３２人目の素数さん
19/05/21 23:05:44.42 ZGgLRO3h.net
今DupuyはRIMSに滞在してるでしょ
785:１３２人目の素数さん
19/05/21 23:29:27.20 26MvR/HP.net
Dupuyはイスラエル人か？
もっちーも母上はユダヤ系だっけ？
786:１３２人目の素数さん
19/05/21 23:45:29.86 yxvW2n5Y.net
>>750
凄い皮肉ですねw
まあ可読性が低いのは間違いないですよ。高度だとか準備理論の精通だとか読み手が馬鹿だとか
色々言われるけど、それだけじゃない
動機付けとしては一言で言えて、微分を一般化するという事です。それが理由でBuiumの弟子が興味を持った
微分を数論的に一般化すると共にフロベニウス持ち上げの一般化を議論する必要があるが、これらは実は
線形構造に基づいて定式化できないので、数論的な群構造で理論を構築する事にしたというのがHA理論から
IUTTまでの一貫した流れです
Frobenioidの動機はそういう微分の装置というわけです。最終的に加群を使っていますが、全体としては
微分を一般化し非線形な計算を行いたかったわけです
ここまでの動機の話では特に文句の付けようがないのですが、問題はその出力ですね
或いは数論的な微分の一般化はまさに変形に対応して、整数環で変形を計算するには環構造そのものは
確かに使えないのです。複素構造とは違い環自体の変形は環より抽象的な構造でしか記述できませんからね
では果たして、そのような目的をシンプルに達成するには何が必要なのか？
個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います
今世紀の数論幾何を占う根本問題ですから、そういう誘惑はあるでしょう
勿論この評が間違っている可能性は否定しませんが、そういう印象ですね
ある意味でホモロジー代数を非線形に一般化するための苦肉の策があのリンクによる格子なのです
787:１３２人目の素数さん
19/05/21 23:46:41.89 yxvW2n5Y.net
長くてすいませんw
ぼんやり打ってたら悲惨な文章になった
788:１３２人目の素数さん
19/05/22 00:03:05.89 +mexIE0Y.net
こんだけ修士だの博士だの行ったら悲惨になるよって言われまくっているのに
まんまと行って案の定討ち死んでいる奴って、自業自得と言わずしてなんなのか
789:１３２人目の素数さん
19/05/22 00:08:09.55 IIX1BbyC.net
B本売れてるのか
まともな数学書は誰も求めてないのか
世も
790:末だな
791:１３２人目の素数さん
19/05/22 00:15:09.21 vfA14a+U.net
>>757-758
いやいや、非常に明快な文章ですよ。一般的な話でよいと仰りつつ見事な要約です
フロベニオイドやエタール・テータ関数については受け入れられていますね
あと、デュピュイの件ですが彼はブイウムの教え子であると同時にポスドク時代はフルショフスキーの下にいたそうです
本人も遠アーベルとモデル理論を研究しているとHPに書いていますね。IUTの全てに関心を持っているようです
また、Mがブイウムやフルショフスキーの仕事を意識しているのは間違いないですね
＞個人的には、ここで「何としても答えを出したかった」結果、押し切ってしまったのではないかなと思います
同感ですね。フロベニオイドも一種の圏であるので圏同値を示すためクンマー理論を使う一方、数体を扱っているので
単遠アーベルを用いることになった。問題はここで生じているんですよね。ここで忘却関手やガロアの逆問題を
恣意的に利用しているように思われます。その説明（言い訳）として出てくるのがlanguage of speciesやmutationという・・・
792:１３２人目の素数さん
19/05/22 00:27:27.36 vfA14a+U.net
対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています
やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね
ABC予想証明は応用例にすぎず、IUTそのものが革新的だという言説は以ての外です
IAS研究員などはMのIUT論文にはABC予想証明について希望はないし、
IUTそのものも画期的なものではないと言い切っているぐらいです
793:１３２人目の素数さん
19/05/22 00:50:04.05 YIZfO5ND.net
>>762
＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています
どういうことか詳しく教えてくれませんか？
794:１３２人目の素数さん
19/05/22 01:30:59.13 vfA14a+U.net
>>763
かなり込み入った論法なので分かり易いところでは星の入門１のp.32～38を読んで見て下さい
対数リンクでも不定性が生じます。これがInd3（クンマー離脱不定性）です。ΘリンクのInd1と同じですね
ただ、対数テータ格子の非可換性については望月の主張と若干異なる記述がみられるので注意が必要です
とにかくややこしいことをやっているので、IUTに関心のある人には星の入門１は必読でしょうね
B本は肝心な所を完全に無視しており、あれではIUTの本当の面白さ（正否は別として）は分かりません
795:１３２人目の素数さん
19/05/22 01:45:12.38 vfA14a+U.net
失礼しました。IUTの略語ではInd1はエタール輸送不定性、Ind2とInd3はクンマー離脱不定性です
796:１３２人目の素数さん
19/05/22 05:00:10.03 k2RNA5fS.net
>>764
ざっと読みましたが、対数リンクの定義自体はシンプルですよね。
対数リンクというのは素点縞間の同型のこと。
対数リンクを複数回取ることで素点縞間の同型の無限列が得られるが、それによって生じる対数殻たちに関するlog-Kummer対応を考える。
そして、このlog-Kummer対応が上半両立性を満たすことしか確認することができないという事実によって考慮しなければならない不定性(Ind3)が生じると。
最終的には、テータ関数の特殊値により定義される数論的直線束の不定性(Ind1), (Ind2), (Ind3)による軌道の和集合の正則包の体積により楕円曲線のqパラメータにより定義される数論的直線束の次数が評価され、所望の不等式が得られる。
以上が私の大雑把な理解です。
対数リンクの構築(？)に無理があるとのことでしたが、どこに無理があるのかは私には読み取れませんでした。
どこに無理があるのでしょうか？
797:１３２人目の素数さん
19/05/22 09:00:44.29 tP4NKFNb.net
>>760
あの日は売れたよ
大雑把な理解や不正確な記述は数学ではないね
798:１３２人目の素数さん
19/05/22 09:13:41.47 9cIEAmIH.net
>>760
数学書が売れるわけが無い。これはいつの世だろう�
799:ﾆ透徹した事実だ 啓蒙書だから売れたんだよ。これもいつの世だろうと同じだ 世も末なのでは無く、必然の結果だ 世も末とかトンチンカンなことを言ってるおまえのほうがズレていることを知れ
800:１３２人目の素数さん
19/05/22 09:25:05.72 tP4NKFNb.net
宣伝本や洗脳本やスキャンダラス本は
啓蒙書とはいわない
801:１３２人目の素数さん
19/05/22 10:33:54.42 ELL6lWjy.net
言わないよな。2019年における人口の過半数がどうかは知らないけど。言って欲しくないな。
802:１３２人目の素数さん
19/05/22 11:00:18.10 b3q4bjnt.net
数論の本なら、
「モーデル-ファルティングスの定理」を
勧める。
「初等的」な証明に感動したもんね～
803:１３２人目の素数さん
19/05/22 13:43:55.50 IlbqDNo9.net
証明なんか証明土方の仕事だからどうでもいいが
そういう意味では望月も土方職人と言えなくもない
もっとも、証明が正しければの話ではあるのだが
804:１３２人目の素数さん
19/05/22 14:20:58.76 vfA14a+U.net
>>766
ああ、「無理をして」という私の書き方がまずかったですね。ギャップがあると言いたいわけではないです
むしろ工夫している。しかし、その代償として不等式しか出ないし、不定性も生じるということが言いたかったのです
805:１３２人目の素数さん
19/05/22 16:36:53.05 Gyu+1HpL.net
明治敵な低数なんぞちゃんちゃらおかしいわけね
806:１３２人目の素数さん
19/05/22 17:04:22.45 9OIINzUU.net
>>773
そういうことでしたか。
不等式しか出ないというのは
log-Kummer対応における対数殻間のKummer同型が対数写像との「両立性」を満たさないが「上半両立性」だけを満たすことにより
対数殻の次数(より一般には数論的直線束の次数)についての「等式」ではなく「不等式」が得られる仕組みとなっている
ということですよね。
個人的には不等式や不定性が生じるよう「工夫している」というより
「自然とそのような仕組みになっている」という印象を受けたのですが
ID:vfA14a+Uさんはどのあたりがどう工夫されていると思ったのですか？
807:１３２人目の素数さん
19/05/22 17:32:33.60 b3q4bjnt.net
横だが、
予想の結論が不等式だから
なんとか工夫して不等式をだしているとか、
808:１３２人目の素数さん
19/05/22 17:57:59.69 nrcI0A9U.net
じゃあ等式で出せるだろ
809:１３２人目の素数さん
19/05/22 18:00:45.51 tP4NKFNb.net
結論は不等式だからw
810:１３２人目の素数さん
19/05/22 18:02:21.74 gbBK7WS5.net
結局擁護派は大タコ揃い
811:１３２人目の素数さん
19/05/22 18:05:26.76 vfA14a+U.net
>>775
対数テータ格子を構成するためにΘリンクと両立するように工夫しているという意味ですよ。あと、
＞不等式や不定性が生じるよう「工夫している」
とは私も思っていません。所望の不等式は得られるけれども
結局は不等式しか得られないし、不定性が生じるということを私は強調しているだけです
とは言っても、そういった不定性を逆手にとって再初期化したりスウィッチング特性を利用することがIUTらしさだと思っています
まあ、対数リンクだけ取り出してを問題にしている人はいないと思いますけどね
812:１３２人目の素数さん
19/05/22 18:17:29.26 tP4NKFNb.net
SSレポートを始めから読む。
813:１３２人目の素数さん
19/05/22 18:50:26.13 9OIINzUU.net
>>780
なるほど、ご回答ありがとうございます。
＞対数リンクもかなり無理をして構築していて、そのせいで不等式しか導出できないものになっています
＞やはりディオファントス幾何でもABC予想に特化した理論ですよ。いや理論というより解法ですね
の部分がどういう意味なのか気になって思わず質問してしまいました。
失礼しました。
814:１３２人目の素数さん
19/05/22 19:13:30.58 HRHdEclP.net
scholze at math.uni-bonn.de
conrad at math.stanford.edu
815:１３２人目の素数さん
19/05/22 21:17:33.84 bsWMXhXz.net
第四論文の基礎については、入れ子ループ構造についての話は当初は全くピンとこなかった
但し、「集合にはループ包含が成立しないがスケールのレベルを上げるとまた変わってくる」と言ってるけど、
これについては後に理解はできた
coricity（canonical splitting）←→ラベルの哲学という意味で決して言葉遊びではないと思うけど、
模索しなが�
816:迴曹｢てる感は否めないね それについて反論レポートにかなり本質が出ているけど、多様体や帰納的極限を例にしたラベルの弁護は 一見説得力があるんだけど、本当にIUTでの論証と同じような話と考えて良いのかどうかという問題もある
817:１３２人目の素数さん
19/05/23 00:55:45.60 /6/82kk4.net
IUT・Ⅳ最終節は、極論すれば「単遠アーベル的復元の論理学」、「“mysterious indeterminate isomorphism”の解明」、
「充満多重同型のトリセツ（取扱説明書）」のようなものだと思う
あくまで個人的な見解だけど、タオがかつて書いていたように「最終節はIUTのABC予想証明とあまり関係ない」と捉えるならば、
SSレポートのように「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張、つまり単遠アーベル的復元は必要ない、
という主張をすんなり受け入れられると思う。それだけIUTの本質的部分が詰まっていると考えている
この辺のことはBもGもよく分かっていると思う、特にBは名前も出てくるし（拝聴している光景が目に浮かぶ）
私はどっちの味方しているのだろうね（笑）。現段階では「従えない」という考えなんだけど・・・
“taste/aesthetics”という語をあえて使えば、私もこういうのはあまり好きではない
818:１３２人目の素数さん
19/05/23 01:06:46.07 /6/82kk4.net
SSが行った「単純化」の意味を考えてみると、それは「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張から来ているものであり、
当然これらの使用を認めれば単純化などできるはずがない。つまりSSレポートの脚注8にSSの主張の全てがあると言っても過言ではない
819:１３２人目の素数さん
19/05/23 01:11:15.73 wM1VXdR+.net
もうSSの話はいい。
もっちー先生が言うところの、「出鱈目な内容の残念な雑音」なんかどうでもいい。いつまで引っ張るんだ。
820:１３２人目の素数さん
19/05/23 01:20:35.95 UWapKZXD.net
パラダイム シフトとは
新地動説
「京都の私のまわりに世界が回る」
821:１３２人目の素数さん
19/05/23 01:31:35.74 qsJ1uarA.net
787がいつまで引っ張ってんだ
終わりなんだよ
822:１３２人目の素数さん
19/05/23 01:37:51.80 /6/82kk4.net
まあ、私の考えでは、IUTは正しいと考えている人たちこそ最終節の内容を精査すべきだということです
電波ブログや怪しげな宗教勧誘パンフレット以下の駄本で満足している騙されやすい人たちには関係ないことですが
823:１３２人目の素数さん
19/05/23 02:46:20.97 M01VN93I.net
ふざけんなっ
B本はjinさんがあれだけtwitterで褒めているんだからいい本に決まってるだろ！
824:１３２人目の素数さん
19/05/23 02:52:42.96 4oqUdbQM.net
大体今頃強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ
アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ
てか、世界中で反論情報共有されちゃったのに対抗できるの？
強弁してると地獄見るんじゃない？
825:１３２人目の素数さん
19/05/23 03:24:10.73 zYILyzTE.net
03-3953-8555特別区人事・厚生事務組合更生施設けやき荘東京都 新宿区西落合１－１８－１８ 更生施設けやき荘
柳沢という「ひどく醜い女」が所長をやっている「犯罪施設 けやき荘」
佐藤という女の職員も大変、悪質な人物。
精神疾患で生活保護受給者を入所させて、入所者同士の虐めを放置。
同室で、入所のさいしおりにきちんと明記してある「室内で携帯の利用禁止」を破られていても「仲良しだから」と黙っていて、「
826:咳がうるさい」という「何々さんは嫌いだから」 という虐めの論理に基づく幼稚な言動は放置。 一方の入所者が一人の入所者に「ここが嫌だ」というのを職員に告げると誰が告げたかトラブル回避のために教えず。 トラブル回避は結構だが場合によっては「気に入らない」という個人的感情からくる訴えでも「感情的理由からくる訴えか否か」ジャッジせず。 そういう、いわば「虐め」(こういう類の虐めのみならず「無視」という典型的虐めも含め)放置と容認。 それで入所者が家を失っている(失っているから居るのだが)どういう立場の人間であれ｢精神的に辛い」状況下。 怒ったのを「暴れた」と表現(立派な虐めが行われた結果｢感情的になったら即警察、精神疾患の人は、｢虐めを受けたから、つい一瞬 カッとなって声を荒げてしまった、と謝罪しても済まない、精神科医が赴いて(警察に)理由も聞かず、適当な診察、まして数分の診察で分かるというのが、不可解)「壁を叩いた」 等話を盛って書類に虚偽の記載をしても、世間の｢働いている人間はまとも、まともな人間は嘘をつかない」という偏見と思い込みに基づいた無茶がまかり通る。 書類に、盛った記載をし、警察を呼んだ事実を後に正当化。 呼ばれた戸塚警察は「ルール違反」を怒号で解決しようとするも、マニュアル対応で精神科医を呼ぶ。
827:１３２人目の素数さん
19/05/23 03:24:34.45 zYILyzTE.net
そして、「ルール違反が原因ではなく、虐めを受けそれの結果、感情的になったら警察を呼ばれたという事実を警察が理解しておらず｢ルール違反」に関してそれこそ｢感情的な怒号を浴びせる」そして、精神科医の指示で入院。
結果的に自室がないというホームレス状態だから、入院先で住居探しをし、希望する物件に入居できず。
｢入院前」は、言いたい事が理解できて(ゆえに、ルール違反に関して怒鳴り散らすという言動に至る)←は戸塚警察の言動である。
「入院前」は「ルール違反について怒鳴る」つまり｢言いたい事は理解していた」
入院前は｢言っている事を理解」し治療を行った後の「入院後」は「言いたい事がわからなくなる」(戸塚警察がである)
精神疾患＝統合失調症という偏見。統合失調症の症状も様々である筈だが｢言動意味不明」にすれば「きちんと話を聞かなくって済む」という様子。又、｢精神疾者に対するあからさまな侮蔑や侮辱」も戸塚警察では当たり前の様子。
更に｢外出するな」等の暴言も見られた。
又｢他人の事などどうでもいい」｢事前に入院が決定していたのでは」「これからある精神科の精神科医を呼ぶ」(脅しだったようで来ず、｢精神科医」を医療従事者ではなく「怖がらせる道具」と思っているところに｢警察の精神科医観」が現れている)
けやき荘の側は、｢弁護士を」等後に電話で言いつつ、弁護士話の途中で電話を切り、電話自体を業務妨害であると言う。
虐めに遭った被害者の側が耐えられなくなるところまで精神的に追い込む。
第三者委員会とうも「設置してあるだけ」のようで、事実上何もせず。
この事実を理解した上で「足元を見てくる」
828:１３２人目の素数さん
19/05/23 03:24:53.64 zYILyzTE.net
追い込まれた結果、怒りの感情(虐めまで起こっていてけやき荘は、自宅退去者が入所する施設だからホームレス状況で普通の人でも不安な状況下で更に虐め)
を容認＆擁護＆推進。
被害者側が耐えられなく感情的になったら(そこまでけやき荘の側で追い込む)
精神疾患者は、警察沙汰になれば内容がなんであれ精神科医を呼ばれる＆生活保護受給者だから社会的地位が低い事につけこむ。
警察(管轄内の戸塚警察では、施設内のルールも知らないのに、ルール違反と決め付け怒号)
呼ばれた精神科医も休日だから無能な人間が来る。
その結果、精神科に収容されて、自宅退去の身だから引越しのさい、難儀するのを承知で社会的弱者を追い込む。
やっと引越しが出来ても入院中という劣悪な状況下だから、希望する物件に入居できず。
その旨に関して問い合わせたら、それを警察に業務妨害と訴える。
大変、悪質な施設。
829:１３２人目の素数さん
19/05/23 03:34:11.11 4oqUdbQM.net
大体今頃になって強弁してるのって石川の精神疾患とかドカタとかＢの嫁ぐらいだろ
出版担当とかもいるか
アメリカのドメインからは直接見れないってだけでProxy使えば簡単にアメリカからでも見れるよ
てか、世界中で反論情報共有されちゃったのに対抗できるの？
強弁してると地獄見るんじゃない？
否定派が正しければ訴訟起こされても不思議はないぐらい
830:１３２人目の素数さん
19/05/23 06:21:39.26 Rmmxmw6+.net
充満多重同型の具体例がよく分からんのだ
831:１３２人目の素数さん
19/05/23 06:48:07.47 cudtBCo2.net
Goサーベイの11ページより引用
Let C be a category.
We define a poly-morphism A → B for A,B ∈ Ob(C)
to be a (possibly empty) set of morphisms A → B in C.
A poly-morphism for which each constituent morphism is an isomorphism
will be called a poly-isomorphism.
If A = B, a poly-isomorphism A →B will be called a poly-automorphism.
We define the full poly-isomorphism A →B to be the set of all isomorphisms A →B.
832:１３２人目の素数さん
19/05/23 10:55:52.37 q2FLePRq.net
>>785
確かに絶対遠アーベル幾何、つまり基礎体を仮定しないという設定+実化はそこではかなり決定的なものです
ただスキームの宇宙の無限列というとはっきり言ってロジシャンも数学者も意外とよくわからないと思いますね
なのにそれについてのアクセスしやすいより初等的な解説がないのはかなり奇妙です
確かに望月氏が言うように、もう少し単純に考えて、絶対遠アーベル幾何の設定で様々な宇宙X_1～X_n
について考える、と言えばできそうに見える話ではあります。スキームXとYで関手を考える、というのは
普通にやっていることですからね
833:１３２人目の素数さん
19/05/23 11:30:32.59 q2FLePRq.net
少なくとも構成的直観に訴える書き方ができていないのはコミュニティの反応から明らかだし
Bombieriを含めて整数で変形理論の類似ができればなあ、なんてぼやいてる数論研究者は何人もいる
だがHA理論すらそうした研究者にもさして注目されてこなかった
一般的なフレームワークだけ聞いたらできそうであっても、本当にできているのかどうかは全く別の話だ
834:１３２人目の素数さん
19/05/23 20:00:50.41 qss9/5RD.net
代数解析のアイデアを中高生の問題から
明解に具体例で説明している。
日本より海外での評価が高い。
URLﾘﾝｸ(m.youtube.com)
835:１３２人目の素数さん
19/05/23 20:35:27.78 pgv8RdjE.net
×日本より海外での評価が高い
○日本でも海外でも評価が高い
だろ
836:１３２人目の素数さん
19/05/23 20:45:20.88 iEmEh8MV.net
何の進展もないし何の結果も出せないのはどうしてなの？
837:１３２人目の素数さん
19/05/23 21:58:49.87 Vj8iNyHx.net
間違ってるから
838:１３２人目の素数さん
19/05/23 22:42:35.79 /6/82kk4.net
>>797氏へ
>>798（私ではありません）だけ見たら普通に同型にしか見えませんよね。星の入門１でも同じ説明になっています
実際は、「体に関しては非同型、副有限群に関しては同型」というものです。これは単遠アーベル的復元による同型です
つまり、ノイキルヒ・内田のように2つの対象を比較して復元を論じているのではなく、単独の対象の絶対ガロア群から出発して
復元を論じるということです。ガロアの逆問題も絡んでいてどの�
839:謔､な体なのかも分からないのです さらに忘却関手を強調しており(forgetting the “histories of operations”)、再初期化できるミステリアスな同型です この“mysterious indeterminate isomorphism”がIUTにおいて中心的な役割を担っています ちなみに、SSは情け容赦なくこの同型を「不必要・無意味」として切って捨てました（MとHがSSを納得させられなかった）
840:１３２人目の素数さん
19/05/23 22:49:06.35 /6/82kk4.net
書き忘れてました
忘却関手(forgetting the “histories of operations”)を強調しているだけでなく、
単遠アーベル的復元によって生じる2つの不定性（クンマー離脱不定性、エタール輸送不定性）も生じているので、
充満多重同型は“mysterious indeterminate isomorphism”（エイリアン・コピー論文より）なのです
841:１３２人目の素数さん
19/05/23 23:13:54.01 /6/82kk4.net
>>799
実際、IUTを完成させるまでの着想をそのまま書いたという感じですね。で、突っ込まれたらこれで説明しようという感じです
現状のIUTに対する評価を考えると、これを整備して理解してもらうことから始めた方がいいのかなという感じです
アブストラクト読む限りでは手伝ってくれそうな数理論理学者もいるようなので上手くいけばいいですね・・・
842:１３２人目の素数さん
19/05/23 23:27:49.52 /6/82kk4.net
失礼しました
アブストラクトではなくAcknowledgementsでした
843:１３２人目の素数さん
19/05/23 23:59:12.71 4K7ltZ3j.net
>>798 はワシです。
望月氏の造語癖は一体なんなんですかね。
望月語を標準用語に置き換えれば、
IUT論文はもっと読み易くなるはずです。
844:１３２人目の素数さん
19/05/24 02:11:24.54 IO8EX7ar.net
「突発性バカ」になる高学歴出身者の共通点
URLﾘﾝｸ(headlines.yahoo.co.jp)
845:１３２人目の素数さん
19/05/24 02:45:43.26 8IGKuOiQ.net
加藤文元のIUTの衝撃とやらを読んだ
なぜか栗原将人の「ガウスの数論世界をゆく」を思い出した
そこには
「私はこの本を片手間には書きませんでした。研究論文を書くときと同じように数学する魂をこめたつもりです。数学の発見のおもしろさを伝えるためには、数学の魂がこもっていなければならないと思ったからです」
とかいてある。
著者の感動した数学が高校生にも分かるように丁寧に説明してある。
珠玉の数学入門書である
翻ってブンゲン本はどうか
焼肉がすきとか数学にしても数学業界のプロならあたり前の常識的なことが粗雑に書いてあり著者がIUTを理解しようとした形跡すらない 当人のこの本に対するスタンスはおそらく
「私はこの本を片手間に書きました。私の研究論文を書くときと同じように数学する魂がこもってないです。売れる本を書いて人気者になるには、知り合いをつかって話題性を利用しない手はないと思ったからです」
というところであろう
望月新一のとりまきに低レベルが多いことに同情する
846:１３２人目の素数さん
19/05/24 03:06:50.78 ZfCfbz1w.net
ミステリアスなIUTは圏論用語を使うも、
テンソル代数などの普遍性を特徴とする
普通の圏論理論に基かない、基づけない
んだね。
ま、中世で アリストテレスを巡る普遍論争
の論理以下だわ。
「数理」論理を使って普通の論理が
でてきたら錬金術としか思えない、
847:１３２人目の素数さん
19/05/24 07:19:08.81 736jaDlo.net
>>812
衒学趣味要らない
848:１３２人目の素数さん
19/05/24 07:40:12.77 gQjHvPFD.net
san値ピンチmochiピンチ！
849:１３２人目の素数さん
19/05/24 08:14:54.26 OTH5Nu2I.net
>>813
IUTは不要だな
850:１３２人目の素数さん
19/05/24 11:48:07.26 CyavMT2t.net
>>798
単なる全ての同型の集合を充満多重同型とか仰々しい言い方をしてるの、これ？
851:１３２人目の素数さん
19/05/24 11:59:40.97 cxqFnmjM.net
>>816
Yes
852:１３２人目の素数さん
19/05/24 12:04:30.67 cxqFnmjM.net
分脈によってはただの同型を「輸送」や「リンク」などと読んでおり
キモいとしか言いようがないという・・・
853:１３２人目の素数さん
19/05/24 13:27:55.01 cdkWT2mw.net
>>806
>>812
これは個人的には予想通りなんですが、KedlayaはHoTTと関連付けうると考えているようです
IUTTはガロア圏による分裂を利用した一種の二次元圏としてのモジュライ理論ということもあるが、
プログラム言語+ホモトピー代数
という発想からも、ある意味で誰にでも思い付く雑な観点でもあるし、実際彼は期待込みでしょう
分裂と言えば分裂ですし、直感的には遠アーベル幾何学で環の忘却を取り、Anabelioidからスキームの宇宙への
ラベルindexによる逆極限を考えている事になる
ただ星さんの言い方を真似ると、pilot-objectの実化による埋め込みが自明か非自明か、それを含めて
理論が間違いであるかどうかはギリギリの境界とも言えますw
この埋め込みが普通の数学者には宙に浮いた絵空事に見えてしまうということです
854:１３２人目の素数さん
19/05/24 13:44:00.21 cdkWT2mw.net
↑訂正
逆極限→余極限
855:１３２人目の素数さん
19/05/24 14:56:11.06 736jaDlo.net
>>815
IUTはまだわからない
>>812はハッキリ不要
856:１３２人目の素数さん
19/05/24 15:33:37.12 OTH5Nu2I.net
>>821
>>397と矛盾している。
857:１３２人目の素数さん
19/05/24 15:52:09.28 736jaDlo.net
>>822
私は>>397を書いてないから>>397と矛盾しないように書く必要はない。
858:１３２人目の素数さん
19/05/24 16:38:14.81 +EL9CLNd.net
さあ今週も手頃なカモをマインドコントロールしてわかったフリをする人間を増やすニダ
∧＿∧ どうせアクセプトされないからって懐疑側が余裕ぶっこいててムカつくニダ
<丶｀∀´> ∧＿∧ 反論も検証も無理だからいつもの論点すり替えて僻みにするニダ 鮮人のせいにして憐れみ請うニダ
／ ＼ （ ）詭弁と強弁とポストチラつかせて寄生ﾀﾞﾆ工作員増やすニダ
.＿＿| | .| |＿ / ヽ
||＼ ￣￣￣￣ ／ .| | | なに言ってんだこのゴミクズ太鼓持ちの傲慢数学ドカタ野郎が身内のkimの反論検証はよ
||＼..∧＿∧ (⌒＼|_＿./ ./ 数少ない擁護側のTaylorを何回も来日させといて拡がりより途中の検証を先にやれよ諦めたか
||. （ ） ~＼___＿_ノ| ∧＿∧ 幕末の志士気取りでおこぼれ狙いがミエミエでさもしいんだよクズ野郎が
/ ヽ 厚顔無恥の馬鹿？＼| （ ） 不利な点はスルーで数日で復活とかハイエナゴキブリ並みの行動力
| ヽ ＼/ ヽ. 無防備な学生やら利得関係者相手にゴリ押し洗脳新興宗教かよ
| |ヽ、二⌒) ／ .| | | 数々の指摘の反論ができないってどういう事だよ
.| ヽ ＼∧＿∧ (⌒＼|_＿./ / 6月のＮスペはどうなったんだよペテン師野郎
. 4月末で潮目が変わるんじゃなかったのかクソ野郎
. モノ書きのホモサピエンス野郎キショいんだよ
. 完全
859:理解者のＧとＦはどっちが正しいの
860:１３２人目の素数さん
19/05/24 17:43:13.91 cg3gRMT9.net
NHKスペシャルはいつ放送されるの？
861:１３２人目の素数さん
19/05/24 19:49:54.49 3K6Q9U7V.net
>>811
栗原の本は良い本で学部生が一度自分で計算しつつ読めばいいと思うが
売れてるのはブンゲンだな
栗原に限らずあの種の数学書が1万冊売れることはまずない
862:１３２人目の素数さん
19/05/24 20:34:52.54 cSuel15P.net
B本は寄稿 あとがき も含めIUTそのものだ。
863:１３２人目の素数さん
19/05/24 20:37:39.26 TX4t1mft.net
∧__∧ オボちゃんも最後の最後まで認めなかったからね！
（´∀｀ ） 研究室のスタッフや関係者が疑問に思わなかったとこがスゴイね!
（⊃⌒*⌒⊂) キタナイとこは隠すからね！気付いた有能な人はもう離れてるよね!
/__ノωヽ__） Examples of triples with small radical と値が同じだけどどうして？
マッサーかとおもうけど著者と連絡取り合って数字合わせをしたとかはないよね？？
でもεの上界値だけで証明になるの？
明晰的な証明だと先にアメリカで論文出てるよね？
アメリカのドメインからは直接見れないってだけでProxy経由で簡単にアメリカからでも見れるよ！
ｋ上が運営に手回して小細工で見れないようにしたとか？
てか、世界中で反論情報共有されて説明できるの？
今年もめぼしいワークショップ開けないのはそのせい？
原●が落ちるまで幸福しなかった日本はバカなの？
強弁してると地獄見ちゃうんじゃない？
864:１３２人目の素数さん
19/05/24 21:02:51.65 AGiHugmg.net
（⊃⌒*⌒⊂)
/__ノωヽ__）
865:１３２人目の素数さん
19/05/24 21:04:34.07 AGiHugmg.net
∧__∧
（´∀｀ ）
（⊃⌒*⌒⊂)
/__ノωヽ__
866:１３２人目の素数さん
19/05/24 21:49:31.41 ipyIwybG.net
>>812
この変な口調のガイジってずっとこのスレに居着いて知ったかぶりして的外れなレスばっかしてる
867:１３２人目の素数さん
19/05/24 22:10:10.47 GKZ+Mak2.net
>>831
ミュート推奨やで
868:１３２人目の素数さん
19/05/24 22:31:43.66 NOsrAx4p.net
キーワードは 錬金術
869:１３２人目の素数さん
19/05/24 22:39:41.68 qZ9O4dWU.net
練炭術とか学ぶなよ
870:１３２人目の素数さん
19/05/24 22:48:28.98 cdkWT2mw.net
でもこのスレの>>806さんはともかく、このスレでは基本的にはSSの反論が正しいだろうって意見が
多数なのかね？と言ってもたくさんいるわけじゃないだろうけど
他にここがおかしいんじゃないか、逆にここがこうだから正しいって意見を持った人はいるのかね？
871:１３２人目の素数さん
19/05/24 22:57:39.09 Xs6myDgs.net
なに見ていってんの
擁護なんかしてるの研究室関係者とB周辺ぐらいしかいないじゃん
872:１３２人目の素数さん
19/05/24 23:04:04.05 kdozHMyA.net
数学素人がいるやん
873:１３２人目の素数さん
19/05/24 23:16:15.82 cdkWT2mw.net
>>836
ああこのスレ自体にそんなたくさん人がいるわけではないって意味で書いた
大局は当然IUTT不利だろ
874:１３２人目の素数さん
19/05/24 23:53:29.64 3K6Q9U7V.net
>>835
SSが「正しい」かどうかはともかく
論文の批判に対して望月らが正しく答えてない
何年も経って技術的な疑問が出てきたのに
「理解者」を自称する人たちもなぜか反応が鈍い
IUTが数学として正しいかどうかはわらないが
査読なり出版のプロセスとしては現状では正しくない
875:１３２人目の素数さん
19/05/25 01:11:47.42 eugJ2Dr/.net
>>839
それも意地悪な見方をするとよくわからん
理論が正しいかどうかわからないならば、あの反論レポートが本当に不足するのかもよくわからないのでは？
少なくとも結構頑力入れて書いたとは思うな
876:１３２人目の素数さん
19/05/25 01:14:47.42 uOiNeimN.net
>>840
もっちーが頑張って直したのは確かだが
それならなおのこと自称・理解者たちの沈黙が謎
もっちーが相手を素人呼ばわりする前に
彼らが何か説明できることがたくさんあったと思うんだがな
877:１３２人目の素数さん
19/05/25 02:05:23.91 G8IHWG3V.net
不勉強な人たちにいくら説明しても無駄だろう。理解の前提となる最低限の準備の勉強をしてないんだから。
878:１３２人目の素数さん
19/05/25 02:42:58.08 eugJ2Dr/.net
それも何か違うんじゃないか
復元アルゴリズムの理論が数体のスキームの大域的な情報を構成できるんだったら、今頃とっくにそこだけでも
Perfectoid並に浸透してるんじゃないの？グロタンディークやLurieの抽象的な理論は受け入れられて、
その更に深化であるはずの圏論は注目されないのか？圏論屋云々言うが、FrobもAnabも数論以前に圏論屋すら
大して注目していないように見える。一体どうなっているのか？
879:１３２人目の素数さん
19/05/25 06:12:20.84 u8oZmxly.net
>>825
6/30夜
のはずが延期されたという噂も流れてる
880:１３２人目の素数さん
19/05/25 11:56:31.59 qnGsKkYU.net
どんな形の番組か知らんが放映後に間違いでした～とかとなると
個人の書いた本と違い公共放送の責任が大きい
まああのテレビ局も社会的責任とか感じなくなってるようですがw
881:１３２人目の素数さん
19/05/25 12:41:14.26 iXQWuxWn.net
文科省の部会は根拠不明な資料に基づく議論だ
文科省 大学院部会（第75回) 議事録
【岡本委員】
「5年間やって，その後，これをどう定着，
あと5年後に例えば同じことをやって，
ちゃんとそれがどの程度定着しているのか
といったような，この計画はあるのか」
【藤田日本学術振興会課長】
また，経過後のフォローということに
つきましても，今のところは予定は
ないという状況です。
↓
資料5 研究成果例
G08 京都大学 数学のトップリーダーの育成
宇宙際タイヒミュラー理論
-数論におけるブレークスルー-
日本学術振興会による京大GCOE
事後評価にIUT関連の記載がない。
また、その後の経過のフォローもない
と課長が断言。
資料5の記載は根拠不明。
大学院部会（第75回) 議事録
2015年 5月13日
URLﾘﾝｸ(www.mext.go.jp)
資料5
URLﾘﾝｸ(www.mext.go.jp)
882:１３２人目の素数さん
19/05/25 13:34:16.62 ygtEzePq.net
ネタもいいけどこういう情報はマジ参考になる
形式上公開されているが事実上アクセスが困難、というパターン
883:１３２人目の素数さん
19/05/25 13:59:50.83 xna1+nEu.net
>>843
唯一公けで書いているロバーツですら辛辣になってきましたね。“private fan dance”とまで書いています
Anabelian geometry ～ higher category theory
URLﾘﾝｸ(mathoverflow.net)
私も以前「圏論を偽装しているのではないか」と書いたことがありますが、ロバーツもほとんど同じことを言い始めてますね
彼の関心はIUTそのものではなく、それを叩き台にしてトポスなどを考えることにあると思います
ショルツ、スティックス、コンラッド、ロバーツのような人たちこそMは対話者、相談役として大事にすべきだったと思いますけどね
良薬は口に苦