Inter-universal geometry と ABC予想 38

1 名前：１３２人目の素数さん mailto:sage [2019/04/27(土) 20:24:49.26 ID:gcKUmYRM.net] IU幾何やABC予想に関する会話のサロンとして使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 37 https://rio2016.5ch.net/test/read.cgi/math/1552141221/ 591 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 10:23:20.78 ID:RkcXB3Jv.net] >>569はただの言葉遊び 具体例を挙げて論じられないだろ 592 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 13:39:26.72 ID:mz9XM1Lq.net] >>570 具体例って結構新しい重要な概念ならいくつか思い付くけど、あんたみたいな輩に教えたくないのが大きい 抽象化一般のデメリットに関してなら数学じゃなくてもいくらでも言えるよ というか、そういう言い方するなら自分から具体例を挙げて反論すべきでしょ。それこそできないだろうけど 「損失」っていう部分について揚げ足取りたいみたいだけど、別に「ボヤける」でも構わないわけで、 そういう脳内変換ができてないのにあれこれ文句言うのはおかしいでしょ 593 名前：１３２人目の素数さん [2019/05/14(火) 13:50:51.22 ID:tAEH4pBD.net] 横ですが >抽象化による情報の損失自体は、 まあ量子力学のみならず 量子力学は経験科学の物理です。 IUTは 物理と数学を混同する.、 B本の寄稿で 地動説 相対性理論 量子力学 しかり。 594 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 13:53:03.78 ID:mz9XM1Lq.net] ていうかこれ、前にもあったなw 抽象化したらそれより細かい構造や値が捉えられなくなるなんて最近の数学ではしばしばある事 それでも全体的には何か捉えたいから敢えてそうすることもある。IUTもまさにそういう話じゃん この場合正しいかどうかはともかく 595 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 14:31:20.56 ID:RB1e90/k.net] そりゃあるよ。当たり前じゃん で、具体例は？？ お前が数学、少なくとも数論幾何に関わってないのは明らかだし、偉そうな態度取るのやめろよ 596 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 15:01:37.34 ID:RkcXB3Jv.net] >>573 抽象化によって情報は失われると言うのは「座標平面上にある点のx座標の値を書いたらy座標の情報は失われる」ぐらいの馬鹿げたことを言っている。 597 名前：１３２人目の素数さん [2019/05/14(火) 15:37:04.39 ID:Ivnqfh2U.net] >>574 だったらまずは自分が偉そうな態度を取ることをやめるべきです 598 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 15:46:22.52 ID:ECNuPj+6.net] お前ら正しい日本語書けるようになってから出直してこい 599 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 16:12:29.35 ID:VQavGzB6.net] 突然はじまった罵り合 600 名前：いの質が低すぎてワラタ [] [ここ壊れてます] 601 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 16:12:53.68 ID:G3Et8qMT.net] ここのメンバーの知性こそ対数計算が必要 602 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 16:55:15.21 ID:8Q7VJT2b.net] 時々このスレではサルたちがたわむれております 温かく見守ってやってください 603 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 17:14:51.08 ID:mz9XM1Lq.net] >>574 自分が思い付かないだけでわかんないからキレられても困るんだよなあ。どっちが偉そうなんだよ… ボヤけるというならどうだって言ってそういう反応なら何も感じないわ。あこの人わからんのだな、で終わり 絡み方で大体わかるけど、同一人物だろうね。句点だけ違うけど あと>>575は的違いの失笑レベルでお里が知れたんでもういいよ。あんたの勝ちでいい 604 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 17:19:13.73 ID:mz9XM1Lq.net] でも抽象化によってボヤけて見えるという話を嫌うってことは、不定性を扱うと言ってる IUTの事は嫌いなんだろうね。坊主憎けりゃみたいな八つ当たり感ある 605 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 17:46:32.46 ID:RkcXB3Jv.net] >>581 君が馬鹿な事を言っていると言うことを例えて言ったのだから、 「的違い（原文ママ）の失笑レベル」というのは>>558のレスもそうだ、ということ 606 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 18:37:24.32 ID:mz9XM1Lq.net] >>583 それは苦しいでしょw そもそもIUTは抽象化による副作用を付加的な対象を使って克服しようとする理論だけどね とりわけ局所と大域、抽象と具象のバランスをどうやって取るかって話をしてる この理論が間違いだったとしても、そこの部分は良くできた論法だと思ってるよ。具体例もそこにあるじゃんw あんたは一切否定するわけね。それならそれでいいんじゃないの 607 名前：１３２人目の素数さん [2019/05/14(火) 18:42:32.11 ID:FJiYpXrC.net] IUTが優れているからと言ってID:mz9XM1Lqが優れているわけではない 608 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 19:31:39.42 ID:5MmekgGT.net] >>581 で結局IUTを認めたら明示的な数値は出るの？出ないの？どっちなの？？？？？？ 609 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 19:33:45.89 ID:tCcGqn1i.net] こりゃダメだ 610 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 20:25:30.53 ID:oslaD4ED.net] >>584　横からすみません >>558の「抽象化による情報の損失」というのはIUTで具体例を挙げれば、絶対ガロア群から同型物を取ろうとした時に起こる 忘却関手のことですよね。IUTではもったいつけて“histories of operations”とか書いてますが（頑なに忘却関手とは言わない） あと、不定性については私も否定的ではないですよ。問題はIUTが不定性の濫用（悪用？）しているように見えることですね 同型であって非同型（不定性の故）、非同型であって同型（同型の故）という感じでね 要するに、不定性を徹底利用した計算が先にありきで、忘却関手と体において非同型を恣意的に扱っているのではないかと 611 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 20:33:17.98 ID:oslaD4ED.net] 失礼しました forgetting the “histories of operations”ですね 612 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 21:16:56.90 ID:oslaD4ED.net] 複数の「非常に似ているが異質な環構造」と多輻的アルゴリズム表現、 フロベニウス的な位相モノイドとエタール的な抽象的な位相群、大雑把に言えばこの辺がキー・タームだけど、 問題はどうやってこういう宇宙が成立できるのかという根本的な点 B本を読んだけどあまりに酷すぎて、Mが監修したというけどこれでいいのか？と思ったね この本を読んでIUTスゴイと思う人は新興宗教のパンフレットを読んで入会してしまう人達よりナイーヴだと思う 613 名前：１３２人目の素数さん [2019/05/14(火) 21:51:08.85 ID:0tDlWt8A.net] 不定性の扱いに問題があるんじゃないかなんて2015くらいにはオープンに語られていたのに今頃どやってくるやつなんなん？ 614 名前：１３２人目の素数さん [2019/05/14(火) 21:54:32.24 ID:gl+SsYBy.net] B本読んでるけど望月さんと文元がそんな関係だったなんて知らんかった 望月さんと文元と川上が同学年で全員兄弟の関係者ってのもワロタ あとお前らが「ブンゲンブンゲン」言うから 本屋で「加藤ブンゲンさんの本知どこにありますか？」って聞いてしもたやんけ 615 名前：１３２人目の素数さん [2019/05/14(火) 21:56:28.59 ID:gl+SsYBy.net] >>592 京大の関係者で義兄弟ってことな 616 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 22:44:22.81 ID:oslaD4ED.net] IUTそのものが大事で、ABC予想はその応用例にすぎないのでこだわる必要はない、という考えには首を傾げるな 加法構造と乗法構造の絡み合いを解明するのがIUTなら、具体的な成果を見せないと話にならない 絵に描いた餅にはだれも見向きはしない この辺は10年以上前にKimがTaoとのやり取りで書いていたことが正しい。MもBも今これを読んだらどう思うかな ttps://golem.ph.utexas.edu/category/2007/04/the_two_cultures_of_mathematic.html 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 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 22:49:17.56 ID:oslaD4ED.net] う〜ん、コピペでは上手くいかない箇所がありますね 興味ある人はリンク先を読んで下さい 618 名前：１３２人目の素数さん [2019/05/14(火) 23:16:56.36 ID:+tY7zqze.net] ブンゲンさんは、一般向けの本を数冊書いてるが、どれも珠玉の書。 哲学掛かってるところが、また素晴らしい。 619 名前：１３２人目の素数さん [2019/05/14(火) 23:30:00.25 ID:4w+ppteJ.net] 川上「他に再利用出来ない研究はゴミですねｗ」 B元「」 620 名前：１３２人目の素数さん mailto:sage [2019/05/14(火) 23:54:15.07 ID:oslaD4ED.net] Bは2017年12月の朝日のアクセプト・ジャーナル掲載の報道の時は何も言わず、 確か8月ぐらいになって朝日は誤報であるとかなりひどい口調で非難していたね SSレポートの公開時期は分かっていたはずだから、それを� 621 名前：ﾓ識したツイートだね Bという人はそういう人だよ。このIUT本でも親友をヨイショすると同時に自分のガロア本を紹介しただけだったな 大先生たちが書いたガロア本のことを紹介したりもせず・・・。最低だよ [] [ここ壊れてます] 622 名前：１３２人目の素数さん [2019/05/15(水) 01:49:45.77 ID:jhsFZybP.net] 最初のニュースで聞いて以来、どうなったかと思ってきてみたら面倒なことになってんな。 数学オンチだが、応用範囲が極めて広く、あのフェルマーの最終定理にまで及ぶと聞いて興奮したんだけどな。 個人的には何かしないと望月先生たちが時間の経過とともにかなり不利になっていくと思う。 自分とこの雑誌にのせようとするところなんか正直かなり印象悪いわ。。 623 名前：１３２人目の素数さん [2019/05/15(水) 08:47:45.55 ID:Qp3FIN6q.net] Taoは太凰? 624 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 08:53:25.47 ID:rMjt6LVj.net] 抽象化することによって、より初等的な調べやすかった構造特に位相構造と決別するってのは 基本的な話だし、それは明らかに相対的な意味での損失 更に中間的な構造や局所的な情報がボヤけて見えてどう扱うべきか迷うのも今世紀出てきた傾向 要するに初等的に区別しやすかったものが本質的にボヤけるってのは新しい数学ほど出てきた問題なのは確か 具体例なんて自分で探しなさいで終わりだけど、パラダイム的にはそういう意味でIUTは面白いよ 分けたら情報が無くなってしまうものをまとめて掴みやすくするっていうのも重要な発想 625 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 12:55:16.72 ID:IVraqplv.net] >>601 なんだ証明が非構成的な命題の話をしているのか それは抽象化とは別の方向の話 626 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 13:22:45.06 ID:NYD9HMXW.net] >>600 ワロタ 627 名前：１３２人目の素数さん [2019/05/15(水) 13:30:11.49 ID:USShh32m.net] >どれも珠玉の書。 哲学掛かってるところが、 不定性で玉虫色？西田哲学？ サッパリわかりません 628 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 13:34:42.91 ID:Tb1CuMEs.net] 上記の式により偶数の完全数は存在しない 629 名前：１３２人目の素数さん [2019/05/15(水) 21:34:38.09 ID:bu0WmOFZ.net] >>544 素人ですが、 ということは、これまでの望月の査読付き論文も疑わしいっていう事？ 数学は想像以上にたこつぼ化が進んでいて、最先端は本人以外は誰も理解できないけど、 普通に査読を通過して論文になるという事ですか。 うわあ、想像以上に闇がふかいな。 630 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 22:06:17.70 ID:72IutTwU.net] ハゲなんとかとかいう人も変だとか言ってる人もいるし 「いちいちこんなんで騒いでるんじゃないよ」とかいう世界なのかも ぜんぜん毛色は違うけどオボちゃんの時も時間がたつにつれてそう思った 631 名前：１３２人目の素数さん mailto:sage [2019/05/15(水) 22:17:03.83 ID:Zm9eqsWG.net] >>606 544はそんなことは一言も言っていない あなたは5ちゃんによくいる論理的思考力に瑕疵を抱えてる御仁だね 632 名前：１３２人目の素数さん [2019/05/15(水) 22:32:36.49 ID:MYNLkUHA.net] ハゲなんとかって誰のこと？藁？ 633 名前：１３２人目の素数さん [2019/05/16(木) 00:33:21.90 ID: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." https://www.nytimes.com/2019/05/13/obituaries/goro-shimura-dead.html ある面、志村さんともっちーは似ている。 634 名前：１３２人目の素数さん [2019/05/16(木) 00:48:19.44 ID:nKd0rGbM.net] "I viewed the United States as the best place for achieving my aim.” これはもっちーと違う、かも。 635 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 00:49:58.37 ID:5Y8fKo/d.net] また余裕こいてるアホがいたのか 昨日から５chの数学板は海外からのアクセス増加でブロックされてたんだぜ 636 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 06:53:25.97 ID:L3X7oJhi.net] Ｂ本のことではない https://headlines.yahoo.co.jp/article?a=20190515-00010002-finders-bus_all 637 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 10:24:07.73 ID:11TeQoVS.net] 宇宙際タイヒミュラー理論とやらが もしABC予想に繋がらないもっちーの完全な妄想体系だとしたら、、、 638 名前：１３２人目の素数さん [2019/05/16(木) 10:53:25.79 ID:YIJBAcXN.net] 鮮人の夢 639 名前：１３２人目の素数さん [2019/05/16(木) 11:01:07.97 ID:mZaGVReA.net] 朝礼暮改 640 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 11:10:12.81 ID:aP204bdu.net] >>614 繋がっているのは議論することじゃないよ それは明白である 証明されたか否かの議論がずっと続いている 妄想だけでこんな論文を書けると思ってるのか？ おめでたいやつだな 641 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 11:15:05.95 ID:27EKEz3t.net] これもＢ本のことではない https://www.zakzak.co.jp/society/foreign/news/20131213/frn1312131209004-n1.htm 南アフリカレベル高い 642 名前：１３２人目の素数さん [2019/05/16(木) 11:30:48.01 ID:xTDUY5OM.net] 数学vs 数秘術 です 643 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 12:20:41.74 ID:q8OxwmRD.net] 断じてＢのことではない https://www.zakzak.co.jp/society/domestic/news/20140318/dms1403181147000-n1.htm 644 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 18:27:31.12 ID: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 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 18:35:15.29 ID:vhLVqi2r.net] 圏論を使って論理の正当性を保証しようとしているように見えるのだが、その圏論専門家からも疑問の声が上がっている それを「遠アーベルの知識がない」からと邪険に扱うのは、たんなる逃げに過ぎない まあ、ロバーツはABC予想証明やIUTそのものよりも 圏論や集合論について個人的な関心の延長線上でIUTに関心を持っているだけだと思うけどね 646 名前：１３２人目の素数さん [2019/05/16(木) 18:47:48.70 ID:JxWpalmh.net] coricity→multi-radial algorithmsの部分ですね ノイキルヒ内田の定理はabsolute Galois←→NFを言ってるだけなんで、問題になっているのは 明らかに遠アーベル幾何学よりHigherな宇宙際幾何学それ自体 絶対遠アーベル幾何学というのは宇宙際幾何学からすると単なる� 647 名前：ﾝ定でありツールなので、 遠アーベル幾何学自体が問題になっているとは言えない [] [ここ壊れてます] 648 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 18:58:51.53 ID:JxWpalmh.net] 安福さんも確か著者で言ってたけど、高次元の高さについての理論になると遠アーベル幾何学も テータ関数も相当頭を使わないと通用しない可能性が高い そういう意味では、もし野心的になるなら大分違うアプローチや発想が求められるし、そういう理論から見て IUTの「戦略=狙い」がどう位置付けられるのかは非常に重要な問題になる ABC予想がたとえこれで証明されても数論は魔境ってことだ 649 名前：１３２人目の素数さん [2019/05/16(木) 19:11:35.83 ID:CLZnjQNU.net] 圏論屋の話は他所でやれ。 650 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 19:20:22.66 ID:vhLVqi2r.net] >>623-624 ほぼ同意です ただ、仮にABC予想が証明できていて、さらに宇宙際幾何学がきっちり整備され認められたとしても、 Bが言うようなパラダイム・シフトはあくまで数論幾何の方法だけの話になると思います BやMが宣伝本で言っているのは、パラダイムというよりほとんどエピステーメー（フーコー）なんですよ そこまで自分の仕事を持ち上げるのかという・・・ 651 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 19:47:08.05 ID:vhLVqi2r.net] 現状ではIUTは「戦略=狙い」すなわちアイデアしかない、としか言いようがないですね アイデアなら誰でも持つことはできるんですよ、特に若い人は様々なアイデアをたくさん思いつくはずです 20代半ばのショルツがすぐにIUTを読み込んだのも頷けます。Mと同世代のコンラッドですら関心を持ったわけですから 重要なのは徹底した自己検証と、専門家による厳しい検証、反論に対する納得できる説明なんですよ 652 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 21:30:24.55 ID:vhLVqi2r.net] 「徹底した自己検証と、専門家による厳しい検証、反論に対する納得できる説明」という意味で、 現在に至るまでMのしてきたことと言えば、 ・アイデアに有頂天になって10年以上もかけてジャーゴンだらけでややこしい記述をし、万能感を持った ・アイデアに共感した弟子・友人などを教導しながら緩〜い検証（査読も？）をしてもらった ・不可解な点に対して納得させる説明ができず逆ギレして相手を不勉強だと罵った これ、はっきり言って笑いごとでは済まされないんで・・・ 数学コミュニティの沈黙は、IUT終了及びMと関わるのはタブーの無言の意志表示とみてよいだろう 653 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 22:11:37.27 ID:U8Z0GkN/.net] RIMSでDupuyらしき外国人をみかけたぞ。また来てるのか。 654 名前：１３２人目の素数さん [2019/05/16(木) 22:42:08.20 ID:7N6DlDFG.net] アメリカでのIUTの布教活動はDupuyとフィリピン人が担うのか。あとKedlayaか。 655 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 23:17:26.03 ID:DCF9nUut.net] 3月にもきてたんじゃないか？ピッチ早いな。 656 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 23:25:14.21 ID:1e1DPOd3.net] 焼け石に芋 657 名前：１３２人目の素数さん mailto:sage [2019/05/16(木) 23:45:47.29 ID:vhLVqi2r.net] Dupuyはブイウムの弟子で、フルショフスキーの下でポスドクやったそうだね まあ、このレベルの数学者らの関心を惹ければいいけど、ジルバーがちょっとモデル理論の方で関心を持ったぐらいだからなあ IUTに見どころがあるのだったら彼らも何らかのアクションを起こしていると思うけどね 658 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 00:07:09.05 ID:FoIZyDE3.net] ある種の人間は同じ勘違いをしてしまう不思議な学説 659 名前：１３２人目の素数さん [2019/05/17(金) 01:00:14.07 ID:YvieELkq.net] >>608 あんた>>544じゃないんだろ？じゃだまってろよ。 ＞あなたは5ちゃんによくいる論理的思考力に瑕疵を抱えてる御仁だね その言葉はお前にそっくりお返しするねｗ >>544の文章をよく読めよ 「どこからどこまでが真の業績かわからない」と書いている 査読を通った論文が正しい 660 名前：なら「真の業績がどこまでかわからない」などと書くはずがない >>544はあきらかに「査読を通った論文」でも疑問を持っていると読まれても仕方がない。 現に弟子たちが望月の査読通過論文を使えばもっと優れた業績が出せるはずなのに出せないといっている。 [] [ここ壊れてます] 661 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 01:42:50.76 ID:dPn71uSn.net] >>628　その列挙されていることが真実だとして、それでも世の中あるある、 数学界あるあるな笑い話でいいんだよ。 662 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 04:28:23.50 ID:djE9Y0go.net] ポケットマネーだけでやってる分にはそれでいいんだけど 663 名前：１３２人目の素数さん [2019/05/17(金) 09:09:55.20 ID:BFvgbaIm.net] IUTみたいに独自路線な数学はやるだけ無駄なんだよ 664 名前：１３２人目の素数さん [2019/05/17(金) 09:44:54.39 ID:ETzXB10X.net] 僻み鮮人見苦しい 665 名前：１３２人目の素数さん [2019/05/17(金) 09:50:29.98 ID:J8EveBfN.net] 今週も手頃なカモをマインドコントロールしてわかったフリをする人間を増やすニダ 　　　　 ∧＿∧　どうせアクセプトされないからって懐疑側が余裕ぶっこいててムカつくニダ 　　　　<丶｀∀´> 　　 　∧＿∧ いつもの論点すり替えて僻みのせいにするニダ 鮮人のせいにして憐れみ請うニダ 　　　 ／ 　　　 ＼　 　（　　　　）詭弁と強弁とポストチラつかせて工作員増やすニダ　 .＿＿|　|　　　 .|　|＿　/ 　　 　 ヽ ||＼　￣￣￣￣　　 ／ .|　　　|　| なに言ってんだこのゴミクズ太鼓持ちの傲慢数学ドカタ野郎が身内のkimの反論検証はよ ||＼..∧＿∧　 　　(⌒＼|_＿./ ./ 数少ない擁護側のTaylorを3月にわざわざ来日させといて拡がりより中途の検証を先にやれよ ||.　 （ 　　　）　　　　 ~＼___＿_ノ|　 　∧＿∧ 　　/　　　ヽ　厚顔無恥の馬鹿？＼| 　（　　　　） 不利な点はスルーで数日で復活とかゴキブリかよ 　　|　　　　　ヽ　　　 　　　　　　　＼/ 　　　 ヽ. 無防備な学生やらアマチュアクラブの連中相手に押し売り洗脳 　　|　　　　|ヽ、二⌒) 　　　　 　　／ .|　　　|　| 数々の指摘の反論ができないってどういう事だよ？ 　　.|　　　　ヽ　＼∧＿∧　　　 (⌒＼|_＿./　/ 6月のＮスペはどうなったんだよペテン師野郎 4月末で潮目が変わるんじゃなかったのかクソ野郎 モノ書きのホモサピエンス野郎キショいんだよ 　　　　　　　∧__∧ 　　　　　　（´∀｀　） オボちゃんも最後の最後まで認めなかったからね！ 　　　　　　 （⊃⌒*⌒⊂) キタナイとこは隠すからね！ 　　　　　 　　/__ノωヽ__） Examples of triples with small radical だけ記述してるの？ あちこちで上界値はもう出てるよね 上界値だけだと証明になるの？ 666 名前：１３２人目の素数さん [2019/05/17(金) 10:32:18.41 ID:+ZyIeiz7.net] 望月ってp進なんとかではすごい業績出してるのに何でおかしくなったんだろ 667 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 12:05:25.24 ID:mSwk7svg.net] デニー・ヒトバシラの回顧録より 着想や論文の作成時に△△と◻◻がなかったのは大きいだろう そりゃ想定してるとこが違えば結果はかわるだろ 大英断でタオが指摘したように書き直せば良かったのに オイラーやワイルズみたいにほぼ単独で完成できると目処が立ったならともかく よってたかって前後関係把握せずに構成したから矛盾とかいわれたか 代わりのもの出せるなら出してるだろうけど引くに引けないだけ 668 名前： [] [ここ壊れてます] 669 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 18:38:02.03 ID:sqZ/onuv.net] 何で例の>>635がこの件についてやたら噛みつくのか？あっ（察）w それはともかく、HA理論ってかなり癖がある論文で、これ代数幾何やってるからって普通に読めるもんには 見えない。つまり、正否よりも前に査読はどれだけ理解して通したのかなっていう疑問は確かにある 弟子や仲間から派生してないのもあるけど、実際IUTまであまり認知されてすらいなかったと見える 個人的に聞く限りでもそう。多くのディオファントス幾何学者ですら知らなかったのではないか？ まあ少なくともRIMSにはこれ通した人も玉川さんもいた、またはいるわけだから査読が順調ならば 色々な疑問について論陣張れるはずなんだけど 670 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 18:54:23.05 ID:sqZ/onuv.net] ここにいるらしいRIMSの人は正しいと思ってんの？本音として それも帰属意識的な感情論だったらあまり意味ないけどね 671 名前：１３２人目の素数さん [2019/05/17(金) 19:32:34.75 ID:lrYxPdGD.net] 絶対矛盾的自己同一 672 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 23:10:44.21 ID:ZqeXL9tl.net] >>643 ホッジ・アラケロフによる動機付けから、なぜ絶対遠アーベルの利用が不可欠なのか説明できるはずですよね SSはその動機付けに従えば、遠アーベルの方法は必要なく、スキーム論的な同型でよいとしています 結局、クンマー理論による自然同型だけでよく、単遠アーベルでの復元によって生じる2つの不定性を用いた充満多重同型は要らないと 要するにSSは、IUTは不自然だと言っているわけですよ まあ、IUTではなぜ遠アーベルが必要なのかという根本的かつ致命的な疑問になりますね 673 名前：１３２人目の素数さん mailto:sage [2019/05/17(金) 23:51:12.22 ID:ZqeXL9tl.net] 星の入門１の20頁で、リンクによるアプローチでは遠アーベルが必要で他に方法は知らないと書いているけど、 そういう方法を取った以上不可欠なのだろうけど、環構造を破壊して不定性を強調した構造を導入するには圏論の言語は違うのではないか 実際、主論文�Wでは同じspeciesによって与えられるmutationのdomainとcodomainとか、mutation-historiesなんて言葉も出てくるし まあ、よく分からないし不自然だとしか言いようがない。アイデアだけで猪突猛進している感は否めない 674 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 00:42:23.54 ID:rK8kudH2.net] >>646 アラケロフ理論の既成の限界と似た話で、一般のスキームではなく異なるスキーム同士の、という 論法をどうしても使いたかったんでしょう。NFのABC予想はZについての問題なので、HA理論のスキーム論的な 枠組みだと自明な話しかできませんからね だから絶対ガロア群とスキーム、正則構造の間で理論を構成するとなった しかし、これは前にも示唆的に書いたんですが、環構造を経由してはならない、というのは絶対的な縛りとは 思えません。テータ関数については確かにこれを上手く使えばアーベル多様体の群論については 十分機能しますが、これも個人的には証明を複雑にする一因ではないかと思いますね ただ、p-adic TeichもHAも30歳で書き上げた大理論で、これらと合わせて遠アーベル幾何学でまとめる というのは、知識、アイデアの両面で望月さんにとってはそれしかない運命だったんでしょうね 自分も最初のアイデア群を結局未だに肉付けしているので、そういう引きずりは理解できます 675 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 02:02:43.94 ID:rE6li1lH.net] プロっぽいご意見ｷﾀ━━━━(ﾟ∀ﾟ)━━━━ｯ!! 676 名前：１３２人目の素数さん [2019/05/18(土) 02:05:50.85 ID:EzAJz7o2.net] 圏論屋の話は中身が薄っぺら。 677 名前：１３２人目の素数さん [2019/05/18(土) 03:08:17.83 ID: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 名前：１３２人目の素数さん [2019/05/18(土) 08:31:11.91 ID:zxOf2z/r.net] >>114 679 名前：１３２人目の素数さん [2019/05/18(土) 09:04:38.67 ID:5cVyQ7NV.net] 絵に描いた餅 680 名前：１３２人目の素数さん [2019/05/18(土) 10:09:19.90 ID:hfdDtcwo.net] karapaia.com/archives/52274161.html コンラッド先生が笑顔で日本の文化を語ってる 681 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 12:21:23.82 ID:62vJHxCR.net] 結局アジア人の妄想乙で終わるんやな 682 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 15:08:14.38 ID:s9cWzdxz.net] 妄想乙ってわざわざ日本まで来て告げてくれたフィールズ賞受賞者は神だな 他の連中はこそこそ陰口言うだけだったのに 683 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 16:27:24.45 ID:LLk/xkON.net] >>651 これ何処にあったっけ？？ 確かにF_1の幾何そのものは出てこないよね。それはタオが関連性を指摘した2012年には感じてた とは言え、ある種のスキームの基底にあるプログラム構造を考えるという意味では確かに似ている とはいえ、IUTの研究者は別にもすべきことがある。それはモチーフとの関連性を示すことだ 本来なら山下さん辺りが言及すべきだが、今のところはよくわからないのだろう 684 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 16:28:25.76 ID:LLk/xkON.net] 「とはいえ」使いすぎたw 食い過ぎた後にぼんやり書いちゃあかんな 685 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 16:55:37.59 ID:pKbd8wGy.net] モチーフと関係あるの？ 自分の視野が狭いせいかもしれんが、IUT1-4ではコホモロジカルな雰囲気全くないけど 686 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:21:27.92 ID:hXZtD747.net] 可換代数で、中山の補題というモノがある。 殆どの数学者は中山の補題と呼んでいたが、中山氏本人はクルル・東屋・中山の補題と呼ぶべきだと主張してた。 だから松村英之氏は、自身の著書で、NAKの補題としていた。 687 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:22:59.02 ID:xbq3H0/L.net] まあ、IUTコミュニティにはフロベニオイドがあるからね。IUTもその実演例の一つだといえるわけだ そこからやればいいと思うけどね（他人事） 但し、SS（おそらくショルツ）のよれば“very elementary”ということになるのだが 容赦ないよね、ショルツって 688 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:29:32.22 ID:xbq3H0/L.net] >>648 異なる構造を様々な視点から眺めたい、比較したい、繋げて計算してみたいという動機というか気持ちはよく分かるんですよ そのためにアナベリオイドを考え、圏論を用いて宇宙際性（inter-universality）を持たせなければならなかったわけです 様々な対称性を用いた「通信」では当然「ぼやけ」は出てきます。これは抽象化によるぼやけというというより、 抽象物と抽象物の通信によるぼやけですね（エタール輸送不定性）。しかし、忠実充満にしないと使えないわけで、 そこで圏論的に行き詰っているというか、おかしな話になっている。Mにとっては自明なのでしょうけど しかし、ロバーツに対するあの態度は逆ギレ以外の何物でもないですね、SSに対するものより見苦しいですよ まあ、IUTは若い研究者にとっては叩き台の一つとすればよいですし、Mの態度は反面教師とすればよいと思います 689 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 17:45:27.64 ID:PComa3rh.net] もっちー青春の夢 690 名前：１３２人目の素数さん mailto:sage [2019/05/18(土) 18:53:56.68 ID:SdSGhofh.net] もっちー中年の夢 691 名前：１３２人目の素数さん [2019/05/18(土) 19:04:47.39 ID:EzAJz7o2.net] 圏論屋はバカ。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef