Inter-universal geometry と ABC予想 25

1 名前：１３２人目の素数さん [2018/03/06(火) 10:21:31.20 ID:VQUWnGj4.net] IU幾何やABC予想に関する会話のサロン として使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 24 https://itest.5ch.net/rio2016/test/read.cgi/math/1516888340 681 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 14:45:59.74 ID:9Y9gxdU8.net] どうしてこうなってしまったのか 682 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 14:49:01.54 ID:cSmP0fkl.net] ギャップが埋まらないならひっそりと忘れられるのが平和でいいんだろうな abc予想も世間から見れば何がすごいのかよくわからんようなものだし 683 名前：１３２人目の素数さん [2018/04/03(火) 15:42:42.51 ID:X9h1zQ9V.net] 加藤文元氏の発言 >望月さんのIUT理論は、要するに「数体の 変形理論」と見なすことができる。 IUTを自� 684 名前：ﾌ 理解している加藤文元氏は、 IUT 3.11から3.12へ は 自明とお考えだろうか？？ [] [ここ壊れてます] 685 名前：１３２人目の素数さん [2018/04/03(火) 16:17:20.70 ID:HHwqAjo1.net] しかしそれはかなり重要な問題だ もしabcが証明できていないならば、「数論的な変形理論になっていない」か 或いは「追い詰めているが、十分にその意味を理解できていないから埋まらない」か この二通りしかない。さすがに煙に巻くための悪ふざけであれだけ膨大な論文を 書くわけもないしな 個人的にはやはり宇宙際とか、同語反復的な環の擬等角写像ってのは 気にはなってるんだよな 少なくとも最善の理想的な変形理論じゃないかなーって思う 686 名前：１３２人目の素数さん [2018/04/03(火) 16:23:02.54 ID:HHwqAjo1.net] あと、いかがわしいので書いていいかわからないが、もっと徹底的なやり方はあるはず、と 海外の数論幾何学者とも話したことはある 遠アーベルに拘るとかえってややこしくなるのではないか、という事だ これは理論の正誤よりフレームの適切さの話だから少しずれるんだが 687 名前：１３２人目の素数さん [2018/04/03(火) 17:06:44.78 ID:X620R3Mh.net] このIUTの状況、リークせいよ 688 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 17:06:57.91 ID:wBEV8/0A.net] てかなんで今更ショルツ、ショルツ騒いでんの ショルツの指摘の答えは新しいバージョンのRemark 3.12.2に書いてあるって話だっただろ？ ショルツが古いバージョンの論文を参照していたとかで、ショルツの早とちりだったという 689 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 17:07:46.13 ID:wBEV8/0A.net] >>662 IUT-3におけるthm.3.11からcor.3.12の導出方法な 690 名前：１３２人目の素数さん [2018/04/03(火) 17:13:40.42 ID:LtgchWyx.net] >>667 >>658も早とちりか？ 691 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 17:17:22.54 ID:tzROs4UW.net] >>643 日本には数論幾何オタクや代数幾何オタクがやたら多いからでは。 692 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 17:21:59.86 ID:On5Ggzau.net] >>666 頭のおかしいフェセンコが一方的に吠えてるだけだしなあ。 本当にそうならそうで望月は声明を出す責任があるよね。 693 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 17:49:27.50 ID:wBEV8/0A.net] >>668 >>658のは1月3日に加藤が講義で語った話だそうだが、ショルツの早とちりを真に受けてしまったんじゃね ちなみに>>666に書いた話は昨年12月末頃にここのスレで語られてた話な 694 名前：１３２人目の素数さん [2018/04/03(火) 17:59:11.47 ID:yuGGKxaA.net] >>671 これはどうだろ >Koshikawa had a similar problem, and when he asked Mochizuki about it, the latter responded that the deduction is self-evident. 695 名前：１３２人目の素数さん [2018/04/03(火) 18:03:01.40 ID:w23ShzK/.net] その話の後から来てるからやっぱダメなんだよ リマークが証明になってない 　 696 名前：１３２人目の素数さん [2018/04/03(火) 18:15:03.25 ID:gaiNGZ6O.net] ○62-○67 おまえらが適当に誤魔化してミスリードするから論文がそうなってんだよ いい加減に気がつけ 697 名前：１３２人目の素数さん [2018/04/03(火) 18:16:03.58 ID:HHwqAjo1.net] 第三、結構内容変わったり増えた気がするなーわかんないけど ざっと見た限り説明になってないと思うけど、俺が馬鹿なだけかもしれないからなw 698 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 18:19:12.77 ID:wBEV8/0A.net] >>672 うーん、a similar problem ってのが何なのかによるな ショルツが指摘した疑問のことなのか、それとも似通った別の疑問のことなのか 前者の意味なら、Koshikawa もショルツと同じ疑問を抱いたという意味になるが、果たして・・・ 699 名前：１３２人目の素数さん [2018/04/03(火) 18:23:26.92 ID:tQlORbT7.net] >>676 deduction is self-evident だろ 700 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 18:24:20.30 ID:HHwqAjo1.net] 同じ場所で評価の意味がよくわからないって話なら頷ける フェセンコによると結構指摘があったらしいから同じじゃないか しかし確かに言い回しがわからないな 701 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 18:34:13.96 ID:3fmgkguE.net] tanは3.12はIUT1〜3の定義全部要ると言っている。 単に理解度の問題だろう。 702 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 18:41:12.30 ID:vTiIfBMX.net] >>671 あーあのフェセンコのパワハ� 703 名前：奄ﾋ うんそれもう全然なってないてのは今年の2月には語られてたから フェセンコ本人は頓珍漢なコメントしたとことはまずいと思ってるしてるし、蒸し返してやるなよw [] [ここ壊れてます] 704 名前：１３２人目の素数さん [2018/04/03(火) 18:49:47.50 ID:On5Ggzau.net] ドヤ顔で晒したショルツ宛のメールも改変の挙句削除(藁 705 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 18:58:29.32 ID:HQMYf1+l.net] >>679 ならばtanに聞けば全て解決ということだな 706 名前：１３２人目の素数さん [2018/04/03(火) 19:00:40.54 ID:tQlORbT7.net] >>679 IUT側から見ると自明も 理解度になるんだ。 個人的には、常温核融合に類似していると 思うよ、 707 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 19:04:40.27 ID:pZythzOZ.net] まぁひょっとしたら来月辺りにもっちーが颯爽と明確な説明を述べたノートを 公開して万人が納得するかもしれんし 続報待ちだな 708 名前：１３２人目の素数さん [2018/04/03(火) 19:08:03.68 ID:X620R3Mh.net] 過疎ってたのに、この２、3日で何かあったのか？ 709 名前：１３２人目の素数さん [2018/04/03(火) 19:11:50.08 ID:DARKsYO+.net] 定義を総動員して自明(笑) 710 名前：１３２人目の素数さん [2018/04/03(火) 19:40:11.80 ID:Aci6fz2x.net] IUTがぽしゃって一番泣くのはjin 711 名前：１３２人目の素数さん [2018/04/03(火) 19:41:24.72 ID:tQlORbT7.net] >>475 >Peter Scholze, who everyone thinks is the greatest mathematician of this generation, says he cannot deduce 3.12 (which is the ABC conjecture, in paper #4) from 3.11 (a summary of the first 3 ABC papers) in Mochizuki’s papers >Koshikawa had a similar problem, and when he asked Mochizuki about it, the latter responded that the deduction is self-evident. >My apologies for not being able to understand any of this―I can only report on these happenins. a similar problem, / a で 単数 any of this / this 単数 theseではない 712 名前：１３２人目の素数さん [2018/04/03(火) 20:05:01.67 ID:mdreE8+l.net] >>679 それは説明できない理由としては変 数学やってる人間ならわかるが、前提知識が多すぎるからある補題や定理の概要を 説明できないとかありえないから 713 名前：１３２人目の素数さん [2018/04/03(火) 20:07:05.91 ID:mdreE8+l.net] そういう意味では、定義より自明って言い回しをコロラリーの説明で 普通安易に使わないよな 何らかの言い方を考えるはずなんだよ 714 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:12:57.46 ID:HQMYf1+l.net] 復元の際の補正できない歪や誤差項があるなんて時点で証明には使えんだろ 715 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:13:26.72 ID:Rx9EiSXT.net] IUT-�VのCor.3.12を見てみたが、これは恐らくIUT理論の要となる定理だな。 大雑把に言うと、Thm.3.11の設定の下、2種類の行進正規化単解析的対数体積 (procession-normalized mono-analytic log- volume) の間に不等式が成り立つという主張。 証明はクソ長くて、自明の一言で済ませてなんかいない。 12つのステップに整理して証明している。 今までやってきたことを総動員してる感じがする。 で、その後にRemarkが3つ続いてて、これもまたクソ長い。 ややこし過ぎてわけわからん。 716 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:16:38.31 ID:Rx9EiSXT.net] >>692 Remarkが3つじゃなくて、Remarkが4つの間違いでした。 717 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:19:29.10 ID:Rx9EiSXT.net] >>692 あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。 連投スマソ。 718 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:19:29.92 ID:Rx9EiSXT.net] >>692 あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。 連投スマソ。 719 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:19:50.23 ID:lX5Qtbtl.net] TanとFesenkoんとこの院生がサーベイ書いてるらしいから、まぁまずはそれを待とうか。 720 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 20:20:59.94 ID:lX5Qtbtl.net] Guides on IUT theory of Shinichi Mochizuki: reports, surveys, workshops, talks https://t.co/LF7DdOb0ge 👀 Rock54: Caution(BBR-MD5:b73a9cd27f0065c395082e3925dacf01)< 721 名前：/small> [] [ここ壊れてます] 722 名前：１３２人目の素数さん [2018/04/03(火) 20:23:35.12 ID:mdreE8+l.net] 意味としてはテータにおける歪みの計算に関係する所だな 723 名前：１３２人目の素数さん [2018/04/03(火) 20:27:24.21 ID:tQlORbT7.net] ショルツは >>145 724 名前：１３２人目の素数さん [2018/04/03(火) 20:46:53.45 ID:mdreE8+l.net] >>697 一応言っとく。jin発見 725 名前：１３２人目の素数さん [2018/04/03(火) 20:52:08.33 ID:tQlORbT7.net] >>638もjinかw 726 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 21:21:23.78 ID:lX5Qtbtl.net] jinじゃねーし。フォロワーだけど。 727 名前：１３２人目の素数さん mailto:sage [2018/04/03(火) 21:26:56.94 ID:t2fA5tGP.net] Note on inter-universal Teichmüller theory, by Fucheng Tan, forthcoming Survey by Wojciech Porowski, forthcoming https://www.maths.nottingham.ac.uk/personal/ibf/guidestoiut.html リンクは完成してから載っけろよ フェセンコ早漏過ぎだろ >>700 俺はjinじゃないに一票 728 名前：１３２人目の素数さん [2018/04/03(火) 21:48:37.75 ID:vlUaZqnG.net] やたら攻撃的なIUT絶対潰すマン 自明という言葉を一人歩きさせ過ぎ 729 名前：１３２人目の素数さん [2018/04/03(火) 22:01:20.66 ID:tQlORbT7.net] >>704 説明して he asked Mochizuki about it, the latter responded that the deduction is self-evident 730 名前：１３２人目の素数さん [2018/04/03(火) 22:05:45.86 ID:gi1rzKxS.net] １９７０年代、高度成長期を受けて、田中角栄と児島なんとかさんが責任者になって、 「国土計画書」が作られた。日本全土を迷路とする面白い国家戦略だったけど、 そこには、「技官は頭脳奴隷」と書いてあった。 ２００７年に「国土計画書」が破棄されるまで、日本の理系技術者は奴隷待遇だった。 それ以後、理系技術者は超エリートとなっている。 ２００３年〜２００５年、小泉純一郎も「国土計画書」に「技官は頭脳奴隷である」と見て、 理系の待遇を落としている。 ２００６年の安倍晋三、２００７年の福田康夫の二人こそ、日本の理系を奴隷から解放した聖君である。 再び、理系技術者を奴隷にしようとした麻生太郎は許すな。 そして、理系政権「鳩山由紀夫政権」や「菅直人政権」が作られ、自殺者は大幅に減った。 731 名前：１３２人目の素数さん [2018/04/03(火) 22:11:31.21 ID:tQlORbT7.net] >>475 レクチャーノートは面白そうだね、 ネバンリンナ理論もある 732 名前：１３２人目の素数さん [2018/04/04(水) 00:25:19.22 ID:FaDmfyA6.net] モチ「自明で押し通す予定！(笑)」 733 名前：１３２人目の素数さん [2018/04/04(水) 00:38:25.98 ID:7Cl/Dprn.net] まーバランス感覚は重要だからな あんまIUTを馬鹿にしてても、心理的にIUTが結構難しいから安きに流れてるだけかもって 自己批判はできる 大半はショルツが理解したとか言ったらどうせ掌返しだろうしな 俺はフレーム自体は(やり方に違和感はあるが)有意義だと思ってる 734 名前：１３２人目の素数さん [2018/04/04(水) 00:45:09.24 ID:7Cl/Dprn.net] フレームとしては不可能なはずがないからな ある意味、狙いは絶対遠アーベル幾何学的なテータ関数論でしかない それは関数体のabcの理論の自然な一般化であるから、できれば証明できる だが不幸なことに難解・膨大過ぎて大半の人間には精読できない 735 名前：１３２人目の素数さん [2018/04/04(水) 00:58:25.62 ID:FaDmfyA6.net] 類似だけで証明できたら数学者いらねーんじゃね？ 736 名前：１３２人目の素数さん [2018/04/04(水) 01:02:10.09 ID:0tPWnaDv.net] その理屈だと完全数もやれるな、違うか 737 名前：１３２人目の素数さん [2018/04/04(水) 01:09:06.35 ID:7Cl/Dprn.net] どうやったら整数に一般化できるのかが難しいわけだから、ただの類似ってもんでもない 738 名前：１３２人目の素数さん [2018/04/04(水) 01:22:32.07 ID:esg0lk9v.net] どの辺が有意義だと思ったのか、もう少し詳しく説明してくれますか？ フレームとしては不可能なはずがないという主張も、私には意味不明です。 739 名前：１３２人目の素数さん [2018/04/04(水) 01:28:39.53 ID:0tPWnaDv.net] 俺も不明だわ 反例や応用や簡単な回答例がないとわからない 何の数に対して何の不等式なのかも答えられないならそもそも不可 特定数に対しての不等式なら https://en.wikipedia.org/wiki/Abc_conjecture Examples of triples with small radical と同一じゃないか 740 名前：１３２人目の素数さん [2018/04/04(水) 01:29:53.53 ID:0tPWnaDv.net] ＞反例 反例も説明できなきゃおかしい、って意味 741 名前：１３２人目の素数さん [2018/04/04(水) 01:40:17.59 ID:FaDmfyA6.net] 日本でも「望月さんは天才だから...」では通用しなくなってるようですね 742 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 01:43:01.46 ID:YBubZrpQ.net] >>681 投稿だけを削除したのではなくて、Facebookアカウント自体を削除した模様。 こんなこともあろうかと魚拓取っといたで。 https://web.archive.org/web/20171229175021/https://www.facebook.com/ivan.fesenko.37/posts/1128469910617882 >>ID:0tPWnaDv バカは黙っとれ。 743 名前：１３２人目の素数さん [2018/04/04(水) 01:45:22.94 ID:0tPWnaDv.net] >>718 また知ったかぶりが出現するし 744 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 02:21:32.99 ID:VQlTFsUy.net] 自明てまた逃げる擁護派 745 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 02:36:01.26 ID:u7DsKXUG.net] ちょっくら調べてみたが Goのサーベイの355〜360ページ Starのサーベイ(続編)の92ページ Tanのスライドの49〜51ページ Starのサーベイの36ページ Fesenkoのサーベイの20ページ に Cor.3.12 の解説があるな 746 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 02:39:28.04 ID:u7DsKXUG.net] 色々と調べてて気づいたことだけど Goのサーベイって初版から100ページ以上増えてんのな 747 名前：１３２人目の素数さん [2018/04/04(水) 09:01:36.87 ID:WKE8KTNw.net] >>709 昨年12月 ショルツの発言以前に 望月氏本人がself-evident 自明と回答した。 ショルツが 来京しても変わるまい。 748 名前：１３２人目の素数さん [2018/04/04(水) 09:14:05.33 ID:WKE8KTNw.net] サーベイのcor.3.12 解説はショルツに ダメ出しされた。 >in particular, no more details are given in any survey, including Yamashita’s, or any lectures given on the subject (as far as they are publicly documented). >>145 749 名前：１３２人目の素数さん [2018/04/04(水) 09:15:12.20 ID:WKE8KTNw.net] サーベイは個々人の私見じゃないの？ 750 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 11:03:58.64 ID:bz4OVHxH.net] >>724 それはScholzeがIUTについて深く理解しての発言ではなく、 人から聞いたって話を書き込んだだけ。 751 名前：１３２人目の素数さん [2018/04/04(水) 11:20:54.45 ID:PXSRm7b1.net] >>726 ソースは？ 752 名前：１３２人目の素数さん [2018/04/04(水) 11:33:34.71 ID:PXSRm7b1.net] >それはScholzeがIUTについて深く理解しての 発言ではなく、 ともあれ、 ショルツさえ理解出来ないんでしょ。 >>688 >Peter Scholze, who everyone thinks is the greatest mathematician of this generation, 753 名前：１３２人目の素数さん [2018/04/04(水) 13:03:33.40 ID:4yBO5rTj.net] ショルツは確かに早熟でアイデアもあるが、数論幾何やってる時点でどの数学者も 馬鹿じゃねーからなあ。誰にとっても難しい理論なのは確か 754 名前：１３２人目の素数さん [2018/04/04(水) 13:10:15.10 ID:4yBO5rTj.net] >>714 「絶対遠アーベル幾何を使ったテータ関数論が可能かどうか」という話なら、 少し考えればそれこそ自明に近い話。勿論理論が自明という意味ではないが 有意義というのは絶対遠アーベルをFrobenioidを使って実現すれば、特定の環に 依存しない理論が構築できるからに決まっている。だから名前が宇宙際になったわけだし 755 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:12:14.00 ID:vrwHEsbY.net] 　　::| 　　　::| ￣￣￣＼ 　　　::| ／￣￣￣＼ 　　　::|/ 　 　　 　 　ヽ 　　　::|| _ / | ||__　 　 | 　　　::|LL/　|__LﾊL　| 　　　::|　（・ヽ　/・） Ｖ 　　　::|⌒　●●⌒　） 　　　::| 　 　_＿　　 ﾉ 　　　::|　　 ヽ_ノ ／ﾉ 　　　::|＼＿＿ﾉ 756 名前：　| 　　　::|| Ｖ Ｙ Ｖ| Ｖ　　 　　　::||＿＿＿| | [] [ここ壊れてます] 757 名前：１３２人目の素数さん [2018/04/04(水) 13:16:23.01 ID:PXSRm7b1.net] >>729 >>728は 加藤和也氏のシカゴ大学講義ノート で ショルツの評価です。 758 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:18:56.04 ID:rQqf3Hi7.net] 一流のとされてる人ってね、やっぱきちんと読めるんですよ どんな難しいことが書かれても そして直観も同時に素晴らしい場合が多々ある 759 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:32:24.70 ID:U+1DtTJf.net] 問題は不等式評価がどうして出てくるのかがわからないってことなのかな？ 760 名前：１３２人目の素数さん [2018/04/04(水) 13:36:53.25 ID:OtZvuRy9.net] >>733 そういう人たちが理論に違和感を感じていることは無視できないことだよね。 そういう理論は残念ながらたいてい根本から破綻している。 761 名前：１３２人目の素数さん [2018/04/04(水) 13:43:42.42 ID:4yBO5rTj.net] FrobenioidはHodge filtrationでの分解対象になっているが(Hodge theater)、 そのはりあわせの装置に絶対遠アーベルを用いているわけだ 本来は図式としてはかなり単純なもんだ ショルツが指摘した辺りの箇所は難しい部分だが、構造的な目的は明確だな はりあわせによってずれるモノイド上で環から外れた単解部分を、やはり遠アーベル的な 手法で計算しなければならない この歪みはテータ関数によってパラメトライズされてるから、テータの計算になる 読んだ時やはりよくわからなかったのは覚えてるが 762 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:45:56.76 ID:bz4OVHxH.net] はいソース。 https://galoisrepresentations.wordpress.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ 763 名前：１３２人目の素数さん [2018/04/04(水) 13:46:13.70 ID:4yBO5rTj.net] >>735 いやー>>734なんじゃないのかな。理論自体は批判してないし それに、ブンゲンや山下もここで言われるほどの雑魚ではないよ 764 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:50:45.96 ID:WGFuCF+F.net] IUT-�TとIUT-�Uに関しては文句なしって感じだろ ショルツが違和感を感じているのはIUT-�Vの最後の命題Cor.3.12だけ 765 名前：１３２人目の素数さん [2018/04/04(水) 13:52:20.52 ID:4yBO5rTj.net] 俺は代数幾何学者じゃないんだけど、相当とんでもないことやってるのは 代数幾何学の人皆感じてるみたいだ。難しすぎるから擁護も非難もできない 766 名前：１３２人目の素数さん [2018/04/04(水) 13:58:22.58 ID:PXSRm7b1.net] >>737 >>724 >それはScholzeがIUTについて深く理解して の発言ではなく、 >人から聞いたって話を書き込んだだけ。 これのソース？ 767 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 13:59:59.84 ID:WGFuCF+F.net] にしてもあのクソ厖大な議論を精密に読み込んで 要となる部分に違和感を見抜いたショルツはやっぱスゲェな 流石一流数学者ですわ >>734 IUT-�VのCor.3.12が問題になっているんだが これは2種類の行進正規化単解析的対数体積の間に不等式が成り立つという命題 ABC予想型の結果を導くためのIUT-�Wに繋がる要となる定理で 証明は12つのステップに分かれている 11つ目のステップにおける議論にショルツが違和感を感じている 768 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 14:10:28.92 ID:U+1DtTJf.net] >>742 モッチーのアナロジーでいくと、環構造を抽象化して ガウス積分を二つ並べることに相当する理論は作ったけど 座標変換に対する積分の等価性に相当する箇所に疑問符がついてる ってことになるのかな？ 769 名前：１３２人目の素数さん [2018/04/04(水) 14:19:00.27 ID:PXSRm7b1.net] >>738 雑魚じゃなくて ロマンや我流なのかね。 日本でもショルツの疑問と同類(同じ)問題を 直接聞いた数学者もいたんでしょ。 回答は、自明 770 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 14:19:46.34 ID:WGFuCF+F.net] >>743 お前の言っているアナロジーが何のことなのかよく知らんが Hodge theater の一般論とかには問題はないが ABC予想型の不等式を導く部分にギャップがあるかもしれないということ 771 名前：１３２人目の素数さん [2018/04/04(水) 14:41:01.73 ID:OtZvuRy9.net] >>738 “彼が理解したと言ってるからといって、本当に正しいかどうかは信用� 772 名前：ﾅきない。” “お勉強はよくできるみたいなんだけどね。。。” 俺が専門家から聞いた研究者としてのyさんの評価。 文元氏に至ってはそもそも理論を理解、解読したとは一言も言ってないよね。 素人向けに雰囲気をなんとなくフワッと解説しましたというだけ。 [] [ここ壊れてます] 773 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 14:46:53.76 ID:kh4TOMIe.net] (1)「 Cor3.12の証明の12ステップのうちの11ステップ目 」という、 　 やけに具体的かつピンポイントな部分で違和感を感じている (2) それ以前の一般論のところは今のところ文句なし (3) 同種の疑問点を持っている人が他にもいる (1),(2)により、全てを理解した上で具体的な疑問を持っているように見えるので、 その疑問はきっと説得力がある疑問なのだろうと思う。(3)も重要で、これだけの膨大な理論で 複数人が同種の疑問(漠然とした疑問ではなく、具体的な疑問)を持つというのは、いよいよキナ臭い感じがする。 774 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 15:01:33.59 ID:3ycl3jyk.net] �Tと�Uについては、今のとこ重大な間違いはないというのはおそらく共有されてるよ �Vと�Wが問題だと言われてる �Wはどこに問題あるのか、今のとこ自分には分からん 775 名前：１３２人目の素数さん [2018/04/04(水) 15:14:04.27 ID:4yBO5rTj.net] あのさ、皆ショルツ凄い言ってるけど、133から140くらいの箇所読んでみ？ 理解が深くなくても怪しいのわかるから。qPOの有限性の論拠が書いてなくねってこと あれだけ太字で注意をする人が、明確に書いてないように見えるわけよ 776 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 15:20:34.36 ID:qYJQGI5j.net] ＞133から140くらいの箇所 IUT3の133ページから144ページ？ 777 名前：１３２人目の素数さん [2018/04/04(水) 17:05:29.07 ID:4yBO5rTj.net] >>750 単にここで言われてる部分がその辺だからな 他のサーベイがどんだけ触れてるかはしらんが ショルツが精読したかどうかは正直指摘だけではよくわからないくらい、明確に怪しい 778 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 18:12:47.51 ID:lKqH+bLE.net] IUT3の141ページ If one interprets the above discussion in terms of the notation introduced in the statement of Corollary 3.12, then one concludes that the quantity − |log(Θ)| is finite ショルツが違和感を感じているのはこの部分だが、 明確に怪しいというよりも、数学書によるある読者に不親切な書き方。 まぁ、複数の数学者から指摘が上がっている以上、少なくともこの部分は explicit に書き直すべきだが、 未だにアクセプトされていないのは、この部分を書き直しているから？ 779 名前：１３２人目の素数さん [2018/04/04(水) 18:19:13.45 ID:vFGPGTGS.net] 査読終了で書き直しですか。 修正多数の継ぎはぎより 全て書き直したらいいじゃん。 780 名前：１３２人目の素数さん [2018/04/04(水) 18:21:48.92 ID:vFGPGTGS.net] >>752 自明？ 781 名前：１３２人目の素数さん mailto:sage [2018/04/04(水) 18:32:46.18 ID:4yBO5rTj.net] 何だかんだ120くらいまで遡るのか3.11への言及を含めて。120-141くらいだな 不親切というか、本当に論拠を示してるのか、というレベルの指摘だと思うが

---

---

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

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