[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 52 http://rio2016.5ch.net/test/read.cgi/math/1613784152/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
775: １３２人目の素数さん [sage] 2021/03/07(日) 08:03:06 ID:EcMJkuCa >>772 >関係者です。数学者ではありませんが。 事務の人？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/775
777: １３２人目の素数さん [sage] 2021/03/07(日) 08:05:47 ID:EcMJkuCa >>773 >にっくきジャップめ！という感情論 ニッポンファーストなJアノンの方ですか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/777
778: １３２人目の素数さん [sage] 2021/03/07(日) 08:11:31 ID:EcMJkuCa >>776 ABC予想なんて、昔も今もマニアの問題ですよ まあ、一般人からみれば現代数学自体がマニアの世界ですけど 数論の問題はステートメントだけなら一般人でも理解できるから食いつける これが代数幾何だったらそもそも何言ってるのかわからない 小平や広中や森の業績なんて一般人は知りませんから 複素構造の変形？特異点解消？極小モデル？何それ？って感じでしょう http://rio2016.5ch.net/test/read.cgi/math/1613784152/778
779: １３２人目の素数さん [sage] 2021/03/07(日) 08:13:03 ID:EcMJkuCa math_jinはRIMSの事務の方みたいですね 内部事情には詳しいけど数学は分からないみたい http://rio2016.5ch.net/test/read.cgi/math/1613784152/779
780: １３２人目の素数さん [sage] 2021/03/07(日) 08:16:46 ID:EcMJkuCa >炉シック ロジックですね 昨日、とある方が書かれてましたが ↓これ、あってるんですか？ 私も（AOL1)と（AOL4）の違いがわからないので 論理で証明できるならお示しください ーーーーーーーーーーーーーーーーーーーー §2.3で I を 点αから点βへの有向線分とし L を I/<α~β> と定義する （α~β は 点αとβを同一視する、と読む） 一方 Iのコピー、†I,‡Iをつくり Jを、両者をつなげたものとして 接合点をγJとする、つまり †I を †αからγJへの有向線分 ‡I を γJから‡βへの有向線分 として、その上で M を J/<†I~‡I>と定義する （†I~‡I は 有向線分†Iと‡Iを同一視する、と読む） で、望月は「MとLは違う」といって、 §2.4で説明しているようですが そもそもMとLは違うの？ つまり †I~‡I とした時点で †α~‡α＝γJ＝†β~‡β であると思うが、上記と α~β はどう違うのか？ 望月はLとMの違いに基づいて §2.4で （γJ＝†β⊂†I）∧（γJ=‡α⊂‡I） （AOL1） （γI＝β⊂I）∨（γI=α⊂I） （AOL2） だが （γI＝β⊂I）∧（γI=α⊂I） （AOL4） ではないといってる http://rio2016.5ch.net/test/read.cgi/math/1613784152/780
781: １３２人目の素数さん [sage] 2021/03/07(日) 08:31:54 ID:EcMJkuCa >>774 ファイルの名前が翻訳されて違っちゃってますね 正しくは以下の通り Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf http://rio2016.5ch.net/test/read.cgi/math/1613784152/781
782: １３２人目の素数さん [sage] 2021/03/07(日) 08:45:10 ID:EcMJkuCa >>772 >なぜ反論しないのか？ >あまりに根本的な誤りのため、本格的に論じるとショルツ側が恥をかくため控えてる。 その昔（昭和時代）、fjで流行った慣用句でこんなのがありました 「ということにしたいのですね？」 ショルツのみならず多くの数学者が「根本的な誤り」を犯しているなら 大いに示す意義がありますけどね 何を恐れているのでしょう？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/782
783: １３２人目の素数さん [sage] 2021/03/07(日) 09:00:54 ID:EcMJkuCa >>773 >とにかくSS特にSの罪は大きいね。 そんなことないでしょ フィールズ・メダリストだから正しい、ってことはないですから ショルツのいうことがおかしかったら、彼が黙殺されます 望月自慢の「リンク」については、 星・山下・譚陽・南出・辻村の各氏も 公然と支持してはいないようです 彼らもCor3.12の証明の「ストーリー」はもっともらしいけど 望月のリンク機構でそれが正当化できる、とまでは思っておらず 何か別の「ロジック」が必要だろうと思ってる しかしそれが何なのかまでは見つけられていない、 というところでしょうか？ つまり、IUTはヘヴィサイドの演算子法のようなもので 「うまくいくみたいだけど、なんでそうなるのかはよくわからない」 という「マジック」 http://rio2016.5ch.net/test/read.cgi/math/1613784152/783
786: １３２人目の素数さん [sage] 2021/03/07(日) 10:08:10 ID:EcMJkuCa >>784 >Stix氏はノーコメント 自分の研究の妨げになるから対応しないんでしょう >ケドラヤ氏は「いますぐ勢力を注いてIUTを研究する必要があるとは考えない」 要するに価値をみとめてないってことですね >ショルツェ氏もwoitブログで論争しました あれは論争でもなんでもないな デュピュイが 「モノドロミーなんてIUTに出てこない！」 といってたけど、実にトンチンカン モノドロミーがあるというのはIUTとは無関係に生じること IUTがこの問題をどう解決してるのか全然不明瞭というのがショルツの指摘 望月は∨はみたすが∧は満たさないという 「リンク・マジック」で説明したいようだが そもそもそこが望月以外の人（弟子も含めて）には 「それ、正しいの？」と言われてる核心 3月のQ&Aではそこに質問が集中するね 望月炎上？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/786
788: １３２人目の素数さん [sage] 2021/03/07(日) 10:12:41 ID:EcMJkuCa >>784 >ショルツェ氏は、いまどう考えているのか？ >おそらくは、悟りを開きつつあるのではないでしょうか？ ショルツはもはや望月にもIUTにも全く興味ないでしょう 望月はここにきて∨と∧に関する「怪文書」を発表しましたね 自分では最終兵器とおもってるようですが、 さて3/18のQ&A どうなることやら http://rio2016.5ch.net/test/read.cgi/math/1613784152/788
789: １３２人目の素数さん [sage] 2021/03/07(日) 10:15:15 ID:EcMJkuCa >>785 >ショルツの誤りってORとANDを間違えたってやつ？ 望月はそういってるが、実際間違ってるのは望月の方かも http://rio2016.5ch.net/test/read.cgi/math/1613784152/789
790: １３２人目の素数さん [sage] 2021/03/07(日) 10:21:01 ID:EcMJkuCa >>787 そんな5chの煽り文句みたいな文章読むひまがあったら §2.3から§2.4の核心部分読んだほうがいいよ 正直読んだ誰もが望月が本当に有能な数学者であるかと疑わせるに十分 http://rio2016.5ch.net/test/read.cgi/math/1613784152/790
794: １３２人目の素数さん [sage] 2021/03/07(日) 10:56:28 ID:EcMJkuCa >>793 単純に∨と∧の意味というより、 M＝J/<†I~‡I> （詳細は>>780） という仕掛けだけで都合よくすり抜けられる と思ってる点が問題かと思う 査読については「構想の有用性」という観点からアクセプトしたのかもしれん 理由はわからんがどうもうまくいくようだという判断か ただ、そもそもうまくいってるかどうかも人によって評価が分かれるから そんな状況ならわざわざアクセプトする意味はないといっていい 何のためのプレプリント公開か分からん http://rio2016.5ch.net/test/read.cgi/math/1613784152/794
797: １３２人目の素数さん [sage] 2021/03/07(日) 11:20:31 ID:EcMJkuCa >>796 ＞観測によって一定以上の客観性が確保できるのであれば、 「観測」という言葉だけで数学者および数学専攻の学生でないことは分かります 数学では一切使わない言葉ですから たかだか有限個の計算事例で満足するなんてことは 数学では決してあり得ません ＞関係者ですが、 望月の親族なら、わけもわからず支持する愚挙は止めたほうがいいですね 本人のためになりませんよ http://rio2016.5ch.net/test/read.cgi/math/1613784152/797
800: １３２人目の素数さん [sage] 2021/03/07(日) 11:54:14 ID:EcMJkuCa >>798 使ってませんよ 素人さん http://rio2016.5ch.net/test/read.cgi/math/1613784152/800
805: １３２人目の素数さん [sage] 2021/03/07(日) 15:18:32 ID:EcMJkuCa >>801 知りませんね そんな非数学的行為は 素人さん http://rio2016.5ch.net/test/read.cgi/math/1613784152/805
806: １３２人目の素数さん [sage] 2021/03/07(日) 15:21:20 ID:EcMJkuCa §2.3で I を 点αから点βへの有向線分とし L を I/<α~β> と定義する （α~β は 点αとβを同一視する、と読む） http://rio2016.5ch.net/test/read.cgi/math/1613784152/806
807: １３２人目の素数さん [sage] 2021/03/07(日) 15:21:52 ID:EcMJkuCa 一方 Iのコピー、†I,‡Iをつくり Jを、両者をつなげたものとして 接合点をγJとする、つまり †I を †αからγJへの有向線分 ‡I を γJから‡βへの有向線分 として、その上で M を J/<†I~‡I>と定義する （†I~‡I は 有向線分†Iと‡Iを同一視する、と読む） http://rio2016.5ch.net/test/read.cgi/math/1613784152/807
808: １３２人目の素数さん [sage] 2021/03/07(日) 15:22:57 ID:EcMJkuCa >>806-807 望月は「MとLは違う」といって、 §2.4で説明しているようですが そもそもMとLは違うの？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/808
809: １３２人目の素数さん [sage] 2021/03/07(日) 15:24:29 ID:EcMJkuCa >>806-807 †I~‡I とした時点で †α~‡α＝γJ＝†β~‡β であると思うが、上記と α~β はどう違うのか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/809
810: １３２人目の素数さん [sage] 2021/03/07(日) 15:26:06 ID:EcMJkuCa >>806-809 望月はLとMの違いに基づいて §2.4で （γJ＝†β⊂†I）∧（γJ=‡α⊂‡I） （AOL1） （γI＝β⊂I）∨（γI=α⊂I） （AOL2） だが （γI＝β⊂I）∧（γI=α⊂I） （AOL4） ではないといってる しかしそもそも（AOL1)と（AOL4）の違いがわからないが、違うのか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/810
814: １３２人目の素数さん [sage] 2021/03/07(日) 16:41:37 ID:EcMJkuCa >>811 まず、数学板の方々のご意見をお伺いしたいと思いまして http://rio2016.5ch.net/test/read.cgi/math/1613784152/814
817: １３２人目の素数さん [sage] 2021/03/07(日) 17:21:55 ID:EcMJkuCa >>815 読んでないでしょ？ 読んだうえで、 （γJ＝†β⊂†I）∧（γJ=‡α⊂‡I） （AOL1） と （γI＝β⊂I）∧（γI=α⊂I） （AOL4） の違いがあるなら、 （AOL1）が成り立つのに（AOL4）が成り立たない場合を具体的にお示しくださいね http://rio2016.5ch.net/test/read.cgi/math/1613784152/817
820: １３２人目の素数さん [sage] 2021/03/07(日) 18:17:32 ID:EcMJkuCa >>819 いやそうじゃなくて、そもそも （AOL1）が成り立つのに（AOL4）が成り立たない というのがMとLの違いだから、まずそこが正しいかどうか あなたの理解と判断を示してもらわんと 貴方が玄人か素人か分からんよ どっち？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/820
822: １３２人目の素数さん [sage] 2021/03/07(日) 18:26:06 ID:EcMJkuCa >>821 いやいや、難しいことじゃないと思ってるから尋ねてるんで 単純に教えてくれればいいですよ ３人くらい回答があったら、本人にメールしてみてもいいかな メールアドレス知らないけど http://rio2016.5ch.net/test/read.cgi/math/1613784152/822
824: １３２人目の素数さん [sage] 2021/03/07(日) 18:28:06 ID:EcMJkuCa >>823 >「AOL1は成り立つけどAOL4は成り立たない」 >これは実際に論文で主張されてるけど 主張は見た、でも論拠が分からん、教えてくれる？ MとLの違いとはAOL1とAOL４の違いだから 読めばわかるとおもうけど わからなかった？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/824
825: １３２人目の素数さん [sage] 2021/03/07(日) 18:31:48 ID:EcMJkuCa 僕がMとLは違わないだろうといってるのは >>809で書いたように †I~‡I とした時点で †α~‡α＝γJ＝†β~‡β となる、と思ったから 違うんなら、どう違うか教えて で、その違いによって AOL1は成立するが、AOL4は成立しない となることまで明確に示してくれる？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/825
828: １３２人目の素数さん [sage] 2021/03/07(日) 18:36:45 ID:EcMJkuCa >>826 ＞論文に書いてあるとおりの自明な命題としか言えんわ なぜ自明なの？ †I~‡I とした時点で †α~‡α＝γJ＝†β~‡β となるわけではない、と？ じゃどうなるの？ もし上記が成り立つとして、それでも違うとしたらそれはなぜ？ >「MとLは違う」ってのは論文の主張じゃなくて貴方の主張に過ぎない 重要なのはAOL1とAOL４の違いだから、そこを説明してくれる？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/828
829: １３２人目の素数さん [sage] 2021/03/07(日) 18:39:46 ID:EcMJkuCa ID:bJWg2jxU いわれたことだけやってくれる？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/829
831: １３２人目の素数さん [sage] 2021/03/07(日) 18:50:53 ID:EcMJkuCa >>830 君、>>823で ＞「AOL1は成り立つけどAOL4は成り立たない」 ＞これは実際に論文で主張されてるけど と言い切ったよね？ で、>>826で ＞自明な命題 といったよね？ じゃ、 「AOL1が成り立つけど、AOL4が成り立たない例」 示せるよね？ やってみて いまさら逃げたらあかんよ http://rio2016.5ch.net/test/read.cgi/math/1613784152/831
832: １３２人目の素数さん [sage] 2021/03/07(日) 18:53:54 ID:EcMJkuCa ID:bJWg2jxU なんでいわれたことができないんだろう？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/832
833: １３２人目の素数さん [sage] 2021/03/07(日) 18:56:47 ID:EcMJkuCa じゃ、これは答えられるよね †I~‡Iとは、†α~‡α＝γJ＝†β~‡βとなることではないの？ 違うとしたらどういう意味なの？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/833
834: １３２人目の素数さん [sage] 2021/03/07(日) 18:58:49 ID:EcMJkuCa >>833 †α~‡α＝γJ＝†β~‡β なら †α~†β かつ ‡α~‡β だから α~β と考えられるけどな 違うの？ 違うとしてどう違うの？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/834
836: １３２人目の素数さん [sage] 2021/03/07(日) 19:08:00 ID:EcMJkuCa >>835 >†α~‡αも†β~‡βも成り立つけど そこは否定しないんだね じゃ聞くけど、なんでそれでAOL4が成り立たないの？ >それだけじゃない 「それだけ」といってる？ 「それだけではない」といってる？ 後者なら別にいいですけど 前者の場合、「それだけ」だから「α~βとはいえない」といってる？ その理由は？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/836
838: １３２人目の素数さん [sage] 2021/03/07(日) 19:36:36 ID:EcMJkuCa >>837 >IからLに自然な写像があって >γ_Iはγ_Lへ移るような連結部分集合ってのが設定 設定＝前提という意味ですね？ >この仮定だとγ_Iは｛α｝もしくは｛β｝、 >だけどもちろんγ_I= ｛α｝=｛β｝はあり得ない では、そもそも上記の前提はありえないのではないですか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/838
840: １３２人目の素数さん [sage] 2021/03/07(日) 19:42:38 ID:EcMJkuCa つまり、 「IからLに自然な写像があって γ_Iはγ_Lへ移るような連結部分集合」 となるのは 「α＝βであるとき」 となりませんか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/840
842: １３２人目の素数さん [sage] 2021/03/07(日) 19:47:57 ID:EcMJkuCa >>841 >たとえばγ_I= ｛α｝とすればちゃんと成立するよ ええ そしてその場合に限られませんか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/842
844: １３２人目の素数さん [sage] 2021/03/07(日) 20:05:41 ID:EcMJkuCa >>843 そういう意味ではなくα＝βの意味 その場合に限られるとした場合、 この定式化にいったいいかなる意味があるのかな？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/844
847: １３２人目の素数さん [sage] 2021/03/07(日) 20:17:58 ID:EcMJkuCa >>845 αとβが等しくないとして 「IからLに自然な写像があって γ_Iはγ_Lへ移るような連結部分集合となる」 は成立しますか？しませんか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/847
848: １３２人目の素数さん [sage] 2021/03/07(日) 20:19:35 ID:EcMJkuCa >>846 望月の答えが知りたいのならあなたが聞いたら如何ですか？ 私は望月ではなく他人の反応が知りたいのです http://rio2016.5ch.net/test/read.cgi/math/1613784152/848
849: １３２人目の素数さん [sage] 2021/03/07(日) 20:21:13 ID:EcMJkuCa >>845 >何か勘違いしてる 何「が」勘違いか教えてください あなたが分かっているならできるはず http://rio2016.5ch.net/test/read.cgi/math/1613784152/849
852: １３２人目の素数さん [sage] 2021/03/07(日) 20:27:50 ID:EcMJkuCa >>851 じゃ、示してください あなたが理解していれば説明できるはず さあどうぞ http://rio2016.5ch.net/test/read.cgi/math/1613784152/852
854: １３２人目の素数さん [sage] 2021/03/07(日) 20:33:04 ID:EcMJkuCa >>853 いや、当人の反応より、真実が見たい性格です 私は大変謙虚ですよ わけもなく反感を感じる貴方の精神がおかしいんでしょう http://rio2016.5ch.net/test/read.cgi/math/1613784152/854
856: １３２人目の素数さん [sage] 2021/03/07(日) 20:34:59 ID:EcMJkuCa >>855 ＞IからLへの自然な写像が与えられてて、 与えてください 何も書けてませんか あなたこそ「自然な写像」の意味 本当にわかってますか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/856
857: １３２人目の素数さん [sage] 2021/03/07(日) 20:35:53 ID:EcMJkuCa >>855 ＞IからLへの自然な写像が与えられてて、 与えてください 何も書けてませんが あなたこそ「自然な写像」の意味 本当にわかってますか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/857
861: １３２人目の素数さん [sage] 2021/03/07(日) 20:49:15 ID:EcMJkuCa >>858 ‡Iはどうしました？ 忘れましたか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/861
862: １３２人目の素数さん [sage] 2021/03/07(日) 20:50:49 ID:EcMJkuCa >>860 なぜ望月が真実だと思うのですか？ 今まで誰も理解させられなかった人のいうことはなぜ真実なんですか？ http://rio2016.5ch.net/test/read.cgi/math/1613784152/862
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s