[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 25 (1002ﾚｽ)
Inter-universal geometry と ABC予想 25 http://rio2016.5ch.net/test/read.cgi/math/1520299291/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
674: １３２人目の素数さん [sage] 2018/04/03(火) 18:24:20.30 ID:HHwqAjo1 同じ場所で評価の意味がよくわからないって話なら頷ける フェセンコによると結構指摘があったらしいから同じじゃないか しかし確かに言い回しがわからないな http://rio2016.5ch.net/test/read.cgi/math/1520299291/674
675: １３２人目の素数さん [sage] 2018/04/03(火) 18:34:13.96 ID:3fmgkguE tanは3.12はIUT1〜3の定義全部要ると言っている。 単に理解度の問題だろう。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/675
676: １３２人目の素数さん [sage] 2018/04/03(火) 18:41:12.30 ID:vTiIfBMX >>667 あーあのフェセンコのパワハラね うんそれもう全然なってないてのは今年の2月には語られてたから フェセンコ本人は頓珍漢なコメントしたとことはまずいと思ってるしてるし、蒸し返してやるなよw http://rio2016.5ch.net/test/read.cgi/math/1520299291/676
677: １３２人目の素数さん [] 2018/04/03(火) 18:49:47.50 ID:On5Ggzau ドヤ顔で晒したショルツ宛のメールも改変の挙句削除(藁 http://rio2016.5ch.net/test/read.cgi/math/1520299291/677
678: １３２人目の素数さん [sage] 2018/04/03(火) 18:58:29.32 ID:HQMYf1+l >>675 ならばtanに聞けば全て解決ということだな http://rio2016.5ch.net/test/read.cgi/math/1520299291/678
679: １３２人目の素数さん [] 2018/04/03(火) 19:00:40.54 ID:tQlORbT7 >>675 IUT側から見ると自明も 理解度になるんだ。 個人的には、常温核融合に類似していると 思うよ、 http://rio2016.5ch.net/test/read.cgi/math/1520299291/679
680: １３２人目の素数さん [sage] 2018/04/03(火) 19:04:40.27 ID:pZythzOZ まぁひょっとしたら来月辺りにもっちーが颯爽と明確な説明を述べたノートを 公開して万人が納得するかもしれんし 続報待ちだな http://rio2016.5ch.net/test/read.cgi/math/1520299291/680
681: １３２人目の素数さん [] 2018/04/03(火) 19:08:03.68 ID:X620R3Mh 過疎ってたのに、この２、3日で何かあったのか？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/681
682: １３２人目の素数さん [] 2018/04/03(火) 19:11:50.08 ID:DARKsYO+ 定義を総動員して自明(笑) http://rio2016.5ch.net/test/read.cgi/math/1520299291/682
683: １３２人目の素数さん [] 2018/04/03(火) 19:40:11.80 ID:Aci6fz2x IUTがぽしゃって一番泣くのはjin http://rio2016.5ch.net/test/read.cgi/math/1520299291/683
684: １３２人目の素数さん [] 2018/04/03(火) 19:41:24.72 ID:tQlORbT7 >>473 >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ではない http://rio2016.5ch.net/test/read.cgi/math/1520299291/684
685: １３２人目の素数さん [] 2018/04/03(火) 20:05:01.67 ID:mdreE8+l >>675 それは説明できない理由としては変 数学やってる人間ならわかるが、前提知識が多すぎるからある補題や定理の概要を 説明できないとかありえないから http://rio2016.5ch.net/test/read.cgi/math/1520299291/685
686: １３２人目の素数さん [] 2018/04/03(火) 20:07:05.91 ID:mdreE8+l そういう意味では、定義より自明って言い回しをコロラリーの説明で 普通安易に使わないよな 何らかの言い方を考えるはずなんだよ http://rio2016.5ch.net/test/read.cgi/math/1520299291/686
687: １３２人目の素数さん [sage] 2018/04/03(火) 20:12:57.46 ID:HQMYf1+l 復元の際の補正できない歪や誤差項があるなんて時点で証明には使えんだろ http://rio2016.5ch.net/test/read.cgi/math/1520299291/687
688: １３２人目の素数さん [sage] 2018/04/03(火) 20:13:26.72 ID:Rx9EiSXT IUT-?のCor.3.12を見てみたが、これは恐らくIUT理論の要となる定理だな。 大雑把に言うと、Thm.3.11の設定の下、2種類の行進正規化単解析的対数体積 (procession-normalized mono-analytic log- volume) の間に不等式が成り立つという主張。 証明はクソ長くて、自明の一言で済ませてなんかいない。 12つのステップに整理して証明している。 今までやってきたことを総動員してる感じがする。 で、その後にRemarkが3つ続いてて、これもまたクソ長い。 ややこし過ぎてわけ
わからん。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/688
689: １３２人目の素数さん [sage] 2018/04/03(火) 20:16:38.31 ID:Rx9EiSXT >>688 Remarkが3つじゃなくて、Remarkが4つの間違いでした。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/689
690: １３２人目の素数さん [sage] 2018/04/03(火) 20:19:29.10 ID:Rx9EiSXT >>688 あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。 連投スマソ。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/690
691: １３２人目の素数さん [sage] 2018/04/03(火) 20:19:29.92 ID:Rx9EiSXT >>688 あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。 連投スマソ。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/691
692: １３２人目の素数さん [sage] 2018/04/03(火) 20:19:50.23 ID:lX5Qtbtl TanとFesenkoんとこの院生がサーベイ書いてるらしいから、まぁまずはそれを待とうか。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/692
693: １３２人目の素数さん [sage] 2018/04/03(火) 20:20:59.94 ID:lX5Qtbtl Guides on IUT theory of Shinichi Mochizuki: reports, surveys, workshops, talks https://t.co/LF7DdOb0ge 👀 Rock54: Caution(BBR-MD5:b73a9cd27f0065c395082e3925dacf01) http://rio2016.5ch.net/test/read.cgi/math/1520299291/693
694: １３２人目の素数さん [] 2018/04/03(火) 20:23:35.12 ID:mdreE8+l 意味としてはテータにおける歪みの計算に関係する所だな http://rio2016.5ch.net/test/read.cgi/math/1520299291/694
695: １３２人目の素数さん [] 2018/04/03(火) 20:27:24.21 ID:tQlORbT7 ショルツは >>145 http://rio2016.5ch.net/test/read.cgi/math/1520299291/695
696: １３２人目の素数さん [] 2018/04/03(火) 20:46:53.45 ID:mdreE8+l >>693 一応言っとく。jin発見 http://rio2016.5ch.net/test/read.cgi/math/1520299291/696
697: １３２人目の素数さん [] 2018/04/03(火) 20:52:08.33 ID:tQlORbT7 >>634もjinかw http://rio2016.5ch.net/test/read.cgi/math/1520299291/697
698: １３２人目の素数さん [sage] 2018/04/03(火) 21:21:23.78 ID:lX5Qtbtl jinじゃねーし。フォロワーだけど。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/698
699: １３２人目の素数さん [sage] 2018/04/03(火) 21:26:56.94 ID:t2fA5tGP 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 リンクは完成してから載っけろよ フェセンコ早漏過ぎだろ >>696 俺はjinじゃないに一票 http://rio2016.5ch.net/test/read.cgi/math/1520299291/699
700: １３２人目の素数さん [] 2018/04/03(火) 21:48:37.75 ID:vlUaZqnG やたら攻撃的なIUT絶対潰すマン 自明という言葉を一人歩きさせ過ぎ http://rio2016.5ch.net/test/read.cgi/math/1520299291/700
701: １３２人目の素数さん [] 2018/04/03(火) 22:01:20.66 ID:tQlORbT7 >>700 説明して he asked Mochizuki about it, the latter responded that the deduction is self-evident http://rio2016.5ch.net/test/read.cgi/math/1520299291/701
702: １３２人目の素数さん [] 2018/04/03(火) 22:05:45.86 ID:gi1rzKxS １９７０年代、高度成長期を受けて、田中角栄と児島なんとかさんが責任者になって、 「国土計画書」が作られた。日本全土を迷路とする面白い国家戦略だったけど、 そこには、「技官は頭脳奴隷」と書いてあった。 ２００７年に「国土計画書」が破棄されるまで、日本の理系技術者は奴隷待遇だった。 それ以後、理系技術者は超エリートとなっている。 ２００３年〜２００５年、小泉純一郎も「国土計画書」に「技官は頭脳奴隷である」と見て、 理系の待遇を落としている。
２００６年の安倍晋三、２００７年の福田康夫の二人こそ、日本の理系を奴隷から解放した聖君である。 再び、理系技術者を奴隷にしようとした麻生太郎は許すな。 そして、理系政権「鳩山由紀夫政権」や「菅直人政権」が作られ、自殺者は大幅に減った。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/702
703: １３２人目の素数さん [] 2018/04/03(火) 22:11:31.21 ID:tQlORbT7 >>473 レクチャーノートは面白そうだね、 ネバンリンナ理論もある http://rio2016.5ch.net/test/read.cgi/math/1520299291/703
704: １３２人目の素数さん [] 2018/04/04(水) 00:25:19.22 ID:FaDmfyA6 モチ「自明で押し通す予定！(笑)」 http://rio2016.5ch.net/test/read.cgi/math/1520299291/704
705: １３２人目の素数さん [] 2018/04/04(水) 00:38:25.98 ID:7Cl/Dprn まーバランス感覚は重要だからな あんまIUTを馬鹿にしてても、心理的にIUTが結構難しいから安きに流れてるだけかもって 自己批判はできる 大半はショルツが理解したとか言ったらどうせ掌返しだろうしな 俺はフレーム自体は(やり方に違和感はあるが)有意義だと思ってる http://rio2016.5ch.net/test/read.cgi/math/1520299291/705
706: １３２人目の素数さん [] 2018/04/04(水) 00:45:09.24 ID:7Cl/Dprn フレームとしては不可能なはずがないからな ある意味、狙いは絶対遠アーベル幾何学的なテータ関数論でしかない それは関数体のabcの理論の自然な一般化であるから、できれば証明できる だが不幸なことに難解・膨大過ぎて大半の人間には精読できない http://rio2016.5ch.net/test/read.cgi/math/1520299291/706
707: １３２人目の素数さん [] 2018/04/04(水) 00:58:25.62 ID:FaDmfyA6 類似だけで証明できたら数学者いらねーんじゃね？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/707
708: １３２人目の素数さん [] 2018/04/04(水) 01:02:10.09 ID:0tPWnaDv その理屈だと完全数もやれるな、違うか http://rio2016.5ch.net/test/read.cgi/math/1520299291/708
709: １３２人目の素数さん [] 2018/04/04(水) 01:09:06.35 ID:7Cl/Dprn どうやったら整数に一般化できるのかが難しいわけだから、ただの類似ってもんでもない http://rio2016.5ch.net/test/read.cgi/math/1520299291/709
710: １３２人目の素数さん [] 2018/04/04(水) 01:22:32.07 ID:esg0lk9v どの辺が有意義だと思ったのか、もう少し詳しく説明してくれますか？ フレームとしては不可能なはずがないという主張も、私には意味不明です。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/710
711: １３２人目の素数さん [] 2018/04/04(水) 01:28:39.53 ID:0tPWnaDv 俺も不明だわ 反例や応用や簡単な回答例がないとわからない 何の数に対して何の不等式なのかも答えられないならそもそも不可 特定数に対しての不等式なら https://en.wikipedia.org/wiki/Abc_conjecture Examples of triples with small radical と同一じゃないか http://rio2016.5ch.net/test/read.cgi/math/1520299291/711
712: １３２人目の素数さん [] 2018/04/04(水) 01:29:53.53 ID:0tPWnaDv ＞反例 反例も説明できなきゃおかしい、って意味 http://rio2016.5ch.net/test/read.cgi/math/1520299291/712
713: １３２人目の素数さん [] 2018/04/04(水) 01:40:17.59 ID:FaDmfyA6 日本でも「望月さんは天才だから...」では通用しなくなってるようですね http://rio2016.5ch.net/test/read.cgi/math/1520299291/713
714: １３２人目の素数さん [sage] 2018/04/04(水) 01:43:01.46 ID:YBubZrpQ >>677 投稿だけを削除したのではなくて、Facebookアカウント自体を削除した模様。 こんなこともあろうかと魚拓取っといたで。 https://web.archive.org/web/20171229175021/https://www.facebook.com/ivan.fesenko.37/posts/1128469910617882 >>ID:0tPWnaDv バカは黙っとれ。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/714
715: １３２人目の素数さん [] 2018/04/04(水) 01:45:22.94 ID:0tPWnaDv >>714 また知ったかぶりが出現するし http://rio2016.5ch.net/test/read.cgi/math/1520299291/715
716: １３２人目の素数さん [sage] 2018/04/04(水) 02:21:32.99 ID:VQlTFsUy 自明てまた逃げる擁護派 http://rio2016.5ch.net/test/read.cgi/math/1520299291/716
717: １３２人目の素数さん [sage] 2018/04/04(水) 02:36:01.26 ID:u7DsKXUG ちょっくら調べてみたが Goのサーベイの355〜360ページ Starのサーベイ(続編)の92ページ Tanのスライドの49〜51ページ Starのサーベイの36ページ Fesenkoのサーベイの20ページ に Cor.3.12 の解説があるな http://rio2016.5ch.net/test/read.cgi/math/1520299291/717
718: １３２人目の素数さん [sage] 2018/04/04(水) 02:39:28.04 ID:u7DsKXUG 色々と調べてて気づいたことだけど Goのサーベイって初版から100ページ以上増えてんのな http://rio2016.5ch.net/test/read.cgi/math/1520299291/718
719: １３２人目の素数さん [] 2018/04/04(水) 09:01:36.87 ID:WKE8KTNw >>705 昨年12月 ショルツの発言以前に 望月氏本人がself-evident 自明と回答した。 ショルツが 来京しても変わるまい。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/719
720: １３２人目の素数さん [] 2018/04/04(水) 09:14:05.33 ID:WKE8KTNw サーベイの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 http://rio2016.5ch.net/test/read.cgi/math/1520299291/720
721: １３２人目の素数さん [] 2018/04/04(水) 09:15:12.20 ID:WKE8KTNw サーベイは個々人の私見じゃないの？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/721
722: １３２人目の素数さん [sage] 2018/04/04(水) 11:03:58.64 ID:bz4OVHxH >>720 それはScholzeがIUTについて深く理解しての発言ではなく、 人から聞いたって話を書き込んだだけ。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/722
723: １３２人目の素数さん [] 2018/04/04(水) 11:20:54.45 ID:PXSRm7b1 >>722 ソースは？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/723
724: １３２人目の素数さん [] 2018/04/04(水) 11:33:34.71 ID:PXSRm7b1 >それはScholzeがIUTについて深く理解しての 発言ではなく、 ともあれ、 ショルツさえ理解出来ないんでしょ。 >>684 >Peter Scholze, who everyone thinks is the greatest mathematician of this generation, http://rio2016.5ch.net/test/read.cgi/math/1520299291/724
725: １３２人目の素数さん [] 2018/04/04(水) 13:03:33.40 ID:4yBO5rTj ショルツは確かに早熟でアイデアもあるが、数論幾何やってる時点でどの数学者も 馬鹿じゃねーからなあ。誰にとっても難しい理論なのは確か http://rio2016.5ch.net/test/read.cgi/math/1520299291/725
726: １３２人目の素数さん [] 2018/04/04(水) 13:10:15.10 ID:4yBO5rTj >>710 「絶対遠アーベル幾何を使ったテータ関数論が可能かどうか」という話なら、 少し考えればそれこそ自明に近い話。勿論理論が自明という意味ではないが 有意義というのは絶対遠アーベルをFrobenioidを使って実現すれば、特定の環に 依存しない理論が構築できるからに決まっている。だから名前が宇宙際になったわけだし http://rio2016.5ch.net/test/read.cgi/math/1520299291/726
727: １３２人目の素数さん [sage] 2018/04/04(水) 13:12:14.00 ID:vrwHEsbY ::| ::| ￣￣￣＼ ::| ／￣￣￣＼ ::|/ ヽ ::|| _ / | ||__ | ::|LL/ |__LﾊL | ::| （・ヽ /・） Ｖ ::|⌒ ●●⌒ ） ::| _＿ ﾉ ::| ヽ_ノ ／ﾉ ::|＼＿＿ﾉ | ::|| Ｖ Ｙ Ｖ| Ｖ ::||＿＿＿| | http://rio2016.5ch.net/test/read.cgi/math/1520299291/727
728: １３２人目の素数さん [] 2018/04/04(水) 13:16:23.01 ID:PXSRm7b1 >>725 >>724は 加藤和也氏のシカゴ大学講義ノート で ショルツの評価です。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/728
729: １３２人目の素数さん [sage] 2018/04/04(水) 13:18:56.04 ID:rQqf3Hi7 一流のとされてる人ってね、やっぱきちんと読めるんですよ どんな難しいことが書かれても そして直観も同時に素晴らしい場合が多々ある http://rio2016.5ch.net/test/read.cgi/math/1520299291/729
730: １３２人目の素数さん [sage] 2018/04/04(水) 13:32:24.70 ID:U+1DtTJf 問題は不等式評価がどうして出てくるのかがわからないってことなのかな？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/730
731: １３２人目の素数さん [] 2018/04/04(水) 13:36:53.25 ID:OtZvuRy9 >>729 そういう人たちが理論に違和感を感じていることは無視できないことだよね。 そういう理論は残念ながらたいてい根本から破綻している。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/731
732: １３２人目の素数さん [] 2018/04/04(水) 13:43:42.42 ID:4yBO5rTj FrobenioidはHodge filtrationでの分解対象になっているが(Hodge theater)、 そのはりあわせの装置に絶対遠アーベルを用いているわけだ 本来は図式としてはかなり単純なもんだ ショルツが指摘した辺りの箇所は難しい部分だが、構造的な目的は明確だな はりあわせによってずれるモノイド上で環から外れた単解部分を、やはり遠アーベル的な 手法で計算しなければならない この歪みはテータ関数によってパラメトライズされてるから、テータの計算になる 読んだ時やはりよくわから
なかったのは覚えてるが http://rio2016.5ch.net/test/read.cgi/math/1520299291/732
733: １３２人目の素数さん [sage] 2018/04/04(水) 13:45:56.76 ID:bz4OVHxH はいソース。 https://galoisrepresentations.wordpress.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ http://rio2016.5ch.net/test/read.cgi/math/1520299291/733
734: １３２人目の素数さん [] 2018/04/04(水) 13:46:13.70 ID:4yBO5rTj >>731 いやー>>730なんじゃないのかな。理論自体は批判してないし それに、ブンゲンや山下もここで言われるほどの雑魚ではないよ http://rio2016.5ch.net/test/read.cgi/math/1520299291/734
735: １３２人目の素数さん [sage] 2018/04/04(水) 13:50:45.96 ID:WGFuCF+F IUT-?とIUT-?に関しては文句なしって感じだろ ショルツが違和感を感じているのはIUT-?の最後の命題Cor.3.12だけ http://rio2016.5ch.net/test/read.cgi/math/1520299291/735
736: １３２人目の素数さん [] 2018/04/04(水) 13:52:20.52 ID:4yBO5rTj 俺は代数幾何学者じゃないんだけど、相当とんでもないことやってるのは 代数幾何学の人皆感じてるみたいだ。難しすぎるから擁護も非難もできない http://rio2016.5ch.net/test/read.cgi/math/1520299291/736
737: １３２人目の素数さん [] 2018/04/04(水) 13:58:22.58 ID:PXSRm7b1 >>733 >>720 >それはScholzeがIUTについて深く理解して の発言ではなく、 >人から聞いたって話を書き込んだだけ。 これのソース？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/737
738: １３２人目の素数さん [sage] 2018/04/04(水) 13:59:59.84 ID:WGFuCF+F にしてもあのクソ厖大な議論を精密に読み込んで 要となる部分に違和感を見抜いたショルツはやっぱスゲェな 流石一流数学者ですわ >>730 IUT-?のCor.3.12が問題になっているんだが これは2種類の行進正規化単解析的対数体積の間に不等式が成り立つという命題 ABC予想型の結果を導くためのIUT-?に繋がる要となる定理で 証明は12つのステップに分かれている 11つ目のステップにおける議論にショルツが違和感を感じている http://rio2016.5ch.net/test/read.cgi/math/1
520299291/738
739: １３２人目の素数さん [sage] 2018/04/04(水) 14:10:28.92 ID:U+1DtTJf >>738 モッチーのアナロジーでいくと、環構造を抽象化して ガウス積分を二つ並べることに相当する理論は作ったけど 座標変換に対する積分の等価性に相当する箇所に疑問符がついてる ってことになるのかな？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/739
740: １３２人目の素数さん [] 2018/04/04(水) 14:19:00.27 ID:PXSRm7b1 >>734 雑魚じゃなくて ロマンや我流なのかね。 日本でもショルツの疑問と同類(同じ)問題を 直接聞いた数学者もいたんでしょ。 回答は、自明 http://rio2016.5ch.net/test/read.cgi/math/1520299291/740
741: １３２人目の素数さん [sage] 2018/04/04(水) 14:19:46.34 ID:WGFuCF+F >>739 お前の言っているアナロジーが何のことなのかよく知らんが Hodge theater の一般論とかには問題はないが ABC予想型の不等式を導く部分にギャップがあるかもしれないということ http://rio2016.5ch.net/test/read.cgi/math/1520299291/741
742: １３２人目の素数さん [] 2018/04/04(水) 14:41:01.73 ID:OtZvuRy9 >>734 “彼が理解したと言ってるからといって、本当に正しいかどうかは信用できない。” “お勉強はよくできるみたいなんだけどね。。。” 俺が専門家から聞いた研究者としてのyさんの評価。 文元氏に至ってはそもそも理論を理解、解読したとは一言も言ってないよね。 素人向けに雰囲気をなんとなくフワッと解説しましたというだけ。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/742
743: １３２人目の素数さん [sage] 2018/04/04(水) 14:46:53.76 ID:kh4TOMIe (1)「 Cor3.12の証明の12ステップのうちの11ステップ目 」という、 やけに具体的かつピンポイントな部分で違和感を感じている (2) それ以前の一般論のところは今のところ文句なし (3) 同種の疑問点を持っている人が他にもいる (1),(2)により、全てを理解した上で具体的な疑問を持っているように見えるので、 その疑問はきっと説得力がある疑問なのだろうと思う。(3)も重要で、これだけの膨大な理論で 複数人が同種の疑問(漠然とした疑問ではなく、具体的な疑問)を持
つというのは、いよいよキナ臭い感じがする。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/743
744: １３２人目の素数さん [sage] 2018/04/04(水) 15:01:33.59 ID:3ycl3jyk ?と?については、今のとこ重大な間違いはないというのはおそらく共有されてるよ ?と?が問題だと言われてる ?はどこに問題あるのか、今のとこ自分には分からん http://rio2016.5ch.net/test/read.cgi/math/1520299291/744
745: １３２人目の素数さん [] 2018/04/04(水) 15:14:04.27 ID:4yBO5rTj あのさ、皆ショルツ凄い言ってるけど、133から140くらいの箇所読んでみ？ 理解が深くなくても怪しいのわかるから。qPOの有限性の論拠が書いてなくねってこと あれだけ太字で注意をする人が、明確に書いてないように見えるわけよ http://rio2016.5ch.net/test/read.cgi/math/1520299291/745
746: １３２人目の素数さん [sage] 2018/04/04(水) 15:20:34.36 ID:qYJQGI5j ＞133から140くらいの箇所 IUT3の133ページから144ページ？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/746
747: １３２人目の素数さん [] 2018/04/04(水) 17:05:29.07 ID:4yBO5rTj >>746 単にここで言われてる部分がその辺だからな 他のサーベイがどんだけ触れてるかはしらんが ショルツが精読したかどうかは正直指摘だけではよくわからないくらい、明確に怪しい http://rio2016.5ch.net/test/read.cgi/math/1520299291/747
748: １３２人目の素数さん [sage] 2018/04/04(水) 18:12:47.51 ID:lKqH+bLE 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 に書き直すべきだが、 未だにアクセプトされていないのは、
この部分を書き直しているから？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/748
749: １３２人目の素数さん [] 2018/04/04(水) 18:19:13.45 ID:vFGPGTGS 査読終了で書き直しですか。 修正多数の継ぎはぎより 全て書き直したらいいじゃん。 http://rio2016.5ch.net/test/read.cgi/math/1520299291/749
750: １３２人目の素数さん [] 2018/04/04(水) 18:21:48.92 ID:vFGPGTGS >>748 自明？ http://rio2016.5ch.net/test/read.cgi/math/1520299291/750
751: １３２人目の素数さん [sage] 2018/04/04(水) 18:32:46.18 ID:4yBO5rTj 何だかんだ120くらいまで遡るのか3.11への言及を含めて。120-141くらいだな 不親切というか、本当に論拠を示してるのか、というレベルの指摘だと思うが http://rio2016.5ch.net/test/read.cgi/math/1520299291/751
752: １３２人目の素数さん [sage] 2018/04/04(水) 18:55:00.38 ID:lKqH+bLE >>750 モッチーにとっては − |log(Θ)| が有限なことは the above discussion における用語を the notation introduced in the statement of Corollary 3.12 に置き換えれば直ちにわかるらしいな。 ここを explicit な形に書き直せば、Scolze の案件に関しては解決すると思われる。 >>751 本当に論拠を示しているのか洗いざらい確認するなら、Cor.3.12のRemarkも忘れてはいけない。 それも含めれば、120ページから154ページ。 http://rio2016.5ch.net
/test/read.cgi/math/1520299291/752
753: １３２人目の素数さん [sage] 2018/04/04(水) 19:05:27.12 ID:2fOd/CvI >>752 分かりやすいまとめだわ ただ本当に形式的に当てはめれば埋まるような内容なら とっくに誰かがやってる気もする http://rio2016.5ch.net/test/read.cgi/math/1520299291/753
754: １３２人目の素数さん [] 2018/04/04(水) 19:39:06.48 ID:7D5k10r2 >>752 核心部とも言うかも http://rio2016.5ch.net/test/read.cgi/math/1520299291/754
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 248 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s