[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(3): 2021/02/20(土)10:22 ID:Z8PgJDTw(1/21) AAS
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
（旧"応援"スレが、1000又は1000近くになったので、新スレ立てた。）
（参考）
外部ﾘﾝｸ:mainichi.jp
省9
3(12): 2021/02/20(土)10:26 ID:Z8PgJDTw(3/21) AAS
つづき
＜過去スレより再録＞
スレ46 2chｽﾚ:math
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
省19
4(7): 2021/02/20(土)10:27 ID:Z8PgJDTw(4/21) AAS
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、"鳥なき里のコウモリ"そのままで、"シッタカ"ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然"維新〜！"と絶叫したりするからです（＾＾； ）
( 外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；外部ﾘﾝｸ:en.wikipedia.org Hyperboloid
Hyperboloid of two sheets ：画像ﾘﾝｸ[png]:upload.wikimedia.org
外部ﾘﾝｸ:ja.wikipedia.org 双曲面
省15
5(8): 2021/02/20(土)10:28 ID:Z8PgJDTw(5/21) AAS
つづき
（参考）
関連： 望月新一（数理研） 外部ﾘﾝｸ:www.kurims.kyoto-u.ac.jp
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）
省21
26(4): 2021/02/20(土)15:07 ID:Q8dQ8VXb(1) AAS
スティックもブロムナード組に入ったね。
ショルツ完全孤立！IUT完全勝利！
3月にドイツ Oberwolfach で新たな #IUTABC カンファレンス。Stixもオーガナイザーで参加
Homotopic and Geometric Galois Theory
7 Mar - 13 Mar 2021
Organizers
Benjamin Collas, Bayreuth Pierre Dèbes, Villeneuve d'Ascq Hiroaki Nakamura, Osaka Jakob Stix, Frankfurt
45(3): 2021/02/20(土)19:28 ID:Z8PgJDTw(15/21) AAS
>>44 追加
下記より
” and Hoshi-Mochizuki-Minamide,
the construction of arithmetic operads ”
とありますな、ワッハッハｗｗｗ
（参考）
外部ﾘﾝｸ:www.mfo.de
省20
51(3): 2021/02/20(土)20:50 ID:Z8PgJDTw(16/21) AAS
>>26
＞スティックもブロムナード組に入ったね。
＞ショルツ完全孤立！IUT完全勝利！
情報ありがとう
確かに、一昨年だったかにも類似の情報あったね
つまり、Stix氏はショルツェ氏とは一線を画すってことですね
今年の4本のIUTの国際会議は、本来は昨年に終わっている予定だった
省8
54(3): 2021/02/20(土)21:32 ID:Z8PgJDTw(19/21) AAS
>>53
思うに
第一線の一流研究者は
いまや、ショルツェ氏はなど眼中にない
まったく問題にしていないようです
みんな、ポストIUTに向けて走り出したと思う
IUTは現在完了から、過去になりつつある
省2
70(5): 2021/02/21(日)09:15 ID:HYETa8wd(3/15) AAS
>>68
>いくらPCで計算したって証明にならない
>ってことが理解できないのかな？
また、妄想の病気が出ています
お薬飲みましょうねｗ
修士レベル（の落ちこぼれ）で終わって、本当の数学の研究までは経験できなかったのでは？
本当のプロの数学の研究でも、数値計算で見当をつけることは重要です
省19
74(3): 2021/02/21(日)09:28 ID:HYETa8wd(4/15) AAS
>>53
＞Mathematisches Forschungsinstitut Oberwolfach
ご参考
外部ﾘﾝｸ:ja.wikipedia.org
オーバーヴォルファッハ数学研究所（オーバーヴォルファッハすうがくけんきゅうじょ）は、南ドイツのオーバーヴォルファッハ（英語版）にある数学研究所。数学者のヴィルヘルム・ジュース（英語版）によって1944年9月に設立された。世界中から数学者や科学者が共同研究のためにやってきて、多様なトピックに毎週ワークショップが行われている。
目次
1 所長
省13
81(4): 2021/02/21(日)09:39 ID:HYETa8wd(6/15) AAS
>>71
>あなたの場合、薬では治らないみたいなんで
>数学板を見ないのが一番ですね
それ、一番自分に当てはまっているよ
数学科修士の落ちこぼれは、常識がないね
あんた、前スレで1日100レスくらい
投稿していたじゃん
省6
96(3): 2021/02/21(日)11:20 ID:HYETa8wd(9/15) AAS
>>92
>職にはついてるよｗ
ああ、哀れな素人氏1）が以前言っていたが
小学生の塾で算数を教えているんだって？
それ良いと思うよ
天才秀才は、「こんなこともわからんのか」と思いがち
だが、維新さんみたく、落ちこぼれの方が
省7
131(3): 2021/02/23(火)10:10 ID:RLePkY5e(1/12) AAS
>>130
>南出論文はCor3.12を前提したもの
>Cor3.12の証明はしてない
「維新さん」こと、おサル（又はサル石、>>4ご参照）
数学科修士の落ちこぼれが、何をとち狂っているの？
南出論文は、下記の通りIUTを全面的に書き直している
Cor3.12も、 “µ6-version” にバージョンアップしています
省33
148(3): 2021/02/23(火)12:43 ID:RLePkY5e(7/12) AAS
>>131
>（私は、チラ見しただけで、これが当たっているかどうかは、分かりません。でも、50ページくらいだから南出を読んで損はないでしょう。なお、私はIUTは読めませんのでｗ、判断は各自にお任せします）
私のチラ見の見解としては
１．まず、先に南出論文を読む
２．次に、IUT IVですね
３．その後、お好みにより、IUT I〜IIIを読む
あるいは、準備論文なりを読む
省6
199(7): 2021/02/24(水)08:10 ID:g7j/Y73h(1/5) AAS
可算選択公理で例えるなら、有限回の選択ならZFの中で可能だが、だからといって
「ゆえに、この作業を可算無限回繰り返せば、
添え字の集合が可算無限でも選択関数が作れる
(ZFの中で可算選択公理が公理ではなく定理として得られる)」
とは言えない。
ショルツにとっての Cor3.12 までの内容は、「有限回の選択ならZFの中で可能である」
に相当するものであり、そんなことは自明だったのだろう。ところが、Cor3.12 でいきなり
省4
211(4): 2021/02/24(水)11:04 ID:PXsEolJh(1/4) AAS
一言でいえば、ショルツェ氏と同じ間違いをしていると思うよ
１．選択公理の例えは、例えでしかない。その例えが、きちんとIUTの具体的なロジックに適合しているという証明がない限り、数学の議論にはならない
（本気で、「きちんとIUTの具体的なロジックに適合しているという証明」が書けるなら、論文にして公開しなよｗ）
２．ショルツェ氏も同じ。例えば、こういうモノドロミーを考えたら矛盾が起きるという
だが、下記のwoitブログでは、Dupuy氏との議論で、”extremely difficult notion of a Hodge theater”とか
”However, these long discussions are all about interpretations. ”と
Hodge theaterが難しいからと、解釈に逃げて、最後は
省5
222(5): 2021/02/24(水)23:36 ID:DJscRLHQ(3/3) AAS
>>4
おサルこと、維新さんは、
ほんと、サイコパスだね
ああ言えばこういう
こう言えばああいう
そういうディベートみたいな議論はうまいね（数学の議論とは異質のね）
さすがサイコパスのお猿だ
省6
233(6): 2021/02/25(木)08:05 ID:pYr0FQSU(1/4) AAS
>>222
(引用開始)
そういうディベートみたいな議論はうまいね（数学の議論とは異質のね）
さすがサイコパスのお猿だ
だがね、結局その態度が、数学の落ちコボレにつながり（ロジックが切れ切れ屁理屈だよね、それってｗｗｗ）
人生の落ちこぼれにつながる（屁理屈で人を言い負かして、信頼を失い、人間関係が壊れるよね）
そして、結局、世間から相手にされない、無職のヒキコモリか
省14
245(3): 2021/02/25(木)15:13 ID:VIpdxiJ5(1/2) AAS
>>244
>気違い =ID:l/M/iSHN が荒らしてるね。なんなんだこいつ？
>文系のアホか？
ID:l/M/iSHNさんは、この人は、いわゆる維新さん(>>4)
数学板全体では、おサル＝サイコパス＊）のピエロ、不遇な「一石」、哀れな素人氏は”サル石”と呼ぶ
自称東大数学科出身
私の見るところ、どこかFラン数学科修士卒です。無職無収入で引きこもりの期間が長かったようです（が、今は働いているかも）
省18
270(3): 2021/02/26(金)08:00 ID:64AF3idO(1/5) AAS
>>266
>逆転オセロの始まり始まりぃ〜〜！
あんたなぁ こんなカキコばっか続けてても
人生のオセロの石 一枚も逆転でけへんよ
ほな、あんたに問題だしたるわ
解けたら、あんたのオセロの石
一列分逆転させたってもええわ
省12
277(3): 2021/02/26(金)22:17 ID:xa/RDc+R(2/3) AAS
>>5
南出論文
”The astronomically large constants in the inequalities established in Theorem 5.3 reflect the explicit [i.e., “non-conjectural”] nature of inter-universal Teichm¨uller theory. ”
いやいやいや
確かに、”The astronomically large constants”ですね
まだ改善の可能性ありという気がします
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
省8
325(3): 2021/02/28(日)09:31 ID:c9K39yvS(2/13) AAS
>>314
コメントありがとう
検索キーワードとして、重要ですね
例えば
Legendre form elliptic curve x(x-1)(x-λ) 検索ヒット 約 97 件 （0.59 秒）
つまり、x(x-1)(x-λ)について、いろんな先行する研究がある。つまり、良い性質があるってことだね
（参考）
省22
415(3): 2021/03/01(月)14:57 ID:v7ayOauM(11/52) AAS
ベルヌーイ数って、スピンの行列計算（ルジャンドル多項式かなんかで出てこんかったっけ？）こんなとこでも出てくるかこら？下さい
444(3): Schlecht 2021/03/01(月)16:01 ID:Rz6p2V3E(15/35) AAS
>>439
HoTTで計算可能性とかコンパイラとか出てくるの？
>>440
>壁の内側がなんでできてるのか知って家に住んでるんか？
>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
IUT完全勝利君と同じようなこと言い出したなぁ…
IUT君に「分かってないんなら黙れ」っていうんなら
省3
497(5): 2021/03/02(火)07:59 ID:8q8Y/BcG(2/5) AAS
>>444
>>壁の内側がなんでできてるのか知って家に住んでるんか？
>>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
>IUT完全勝利君と同じようなこと言い出したなぁ…
>IUT君に「分かってないんなら黙れ」っていうんなら
>君も安定ホモトピーなんていわないほうがよかったんじゃないか？
維新さん、完全にノックアウトだな
省8
546(4): 2021/03/03(水)08:18 ID:IHjOYfy9(1) AAS
>>538
>同じ分野の人が誰一人として理解できないのに、
>査読が通ってるっておかしくないかい？
・同じ分野をどう定義するかの問題はあるも
・反例が、多数あるよね
・同じ分野の人で、理解できたという人多数、具体名は揚げないけど
・もし、査読者が、同じ分野の人だとしたら？ｗｗｗ
省1
558(4): 2021/03/03(水)10:27 ID:lWynEZ55(2/8) AAS
>>550
IUTアンチの人
なにがなんでも、IUTは成立しないと言いたいみたいね
日本および日本人に恨みでもあるようにねｗｗ
極左アナーキストさん
現実にプロ数学界で起きていることが
全く見えない、見ようとしない。あなたの脳内妄想が根拠のすべてでしょ
省21
603(10): 2021/03/04(木)01:07 ID:3dZXhybh(1) AAS
否定派の人、特に数学のプロの人は、
望月本人に何がだめなのか教えて差し上げて下さい。
望月ブログに
相手の誤解という肝心な「入力データ」
＝「誤解学の研究対象」
という表現があったように、
そもそも何がだめなのかの情報がないと、建設的な議論は見込めません。
省8
619(6): 2021/03/04(木)15:46 ID:GswT501p(2/7) AAS
>>614
維新さん、いやアンチIUTさん、（日常の）ロジックがメタメタですよね
＜論点を整理しましょう＞
論点1.査読はあったのか？
論点2.ショルツェ氏は、最初「Cor3.12までは自明で、Cor3.12の証明が分からない」と言っていた
がしかし、WoitブログでのDupuy氏との論争で、突然”extremely difficult notion of a Hodge theater”（「ホッジ劇場が超難しい」）とか言い出したよね(>>211)
論点3.ショルツェ氏の方が正しく、IUT側の多数の数学者たちは全員間違い？
省16
622(3): 2021/03/04(木)17:29 ID:GswT501p(5/7) AAS
>>619
>論点2.ショルツェ氏は、最初「Cor3.12までは自明で、Cor3.12の証明が分からない」と言っていた
補足
似たような意見が、下記woit氏のnaf氏発言
”it was a shock, on reaching Corollary 3.12, to realise that nothing is really proved. (One might say that this shows my lack of understanding”
で、いまIUT IIIを見ると、組み（Theorem 3.11, Corollary 3.12）で、証明が分からんってことだと推察します
・つまり、定理3.11は証明ば実質１行”Proof. The various assertions of Theorem 3.11 follow immediately from the definitions and the references quoted in the statements of these assertions — cf. also the various related observations of Remarks 3.11.1, 3.11.2, 3.11.3, 3.11.4 below.”
省12
660(6): 2021/03/05(金)10:40 ID:51gq4beO(2/12) AAS
>>658
>Prefaceが興味深い。#IUTABC
外部ﾘﾝｸ:pbs.twimg.com
Preface to the Special Issue
It is our great pleasure to publish a special issue of Publications of the Research Institute for Mathematical Sciences (PRIMS) for Inter-universal Teichm¨uller Theory, I–IV by Shinichi Mochizuki.
これ見ると
査読チームの長は、二人の共同で
省15
728(3): 2021/03/06(土)08:41 ID:hDSkQe6F(3/16) AAS
>>721
ありがとう
下記ですね
”§1. General summary for non-specialists”がいいね
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
On the Essential Logical Structure of Inter-universal Teichmuller Theory in Terms of Logical AND "∧"/
Logical OR "∨" Relations: Report on the Occasion of the Publication of the Four Main Papers on
省18
731(3): 2021/03/06(土)09:23 ID:yw/hH17g(4/17) AAS
>>730
?．僕は維新さんじゃないよ 残念でした
?．726はID:13IJCbpXへの質問 君には尋ねてないよ
?．門外漢のデュピュイの発言は、意味ないな
モノドロミーの問題がないなら、どうしてそうなのか、望月自身が説明しないとね
?．君がどうしても望月が正しいといいたいんなら、
まずその望月の新論文を読んで、理解したこと書いてね
省3
734(3): 2021/03/06(土)10:22 ID:hDSkQe6F(5/16) AAS
>>731
ど素人が、学会ごっこか？ ５ｃｈで
いまや、絶滅危惧種のアンチさんｗ
本格的な議論したければ、下記
”03/18 Q&A Q&A Session on Inter-Universal Geometry* Mochizuki”
へ、どぞｗｗｗ
行けるわけないよね、ど素人
省5
772(3): 2021/03/07(日)06:59 ID:3B2+vBia(1/2) AAS
関係者です。数学者ではありませんが。
まず、ショルツの反論は根本から誤りというのはRIMSの数論幾何グループの総意です。望月星山下譚陽南出辻村院生などなど。やや研究範囲の違うIUTに懐疑的なある若手も「3.12は証明なの？の疑問だが炉シックは合ってる。けどショルツの批判は入口から間違えていて論外」と明言してる。
この日本側の空気感と、そこんとこをなんも知らない海外の容赦ないディスりように、なんだかなぁと思ってます。
なぜ反論しないのか？あまりに根本的な誤りのため、本格的に論じるとショルツ側が恥をかくため控えてる。まあ、望月はがっつりSSページや新論文でディスってますが。
773(4): 2021/03/07(日)07:14 ID:3B2+vBia(2/2) AAS
とにかくSS特にSの罪は大きいね。フィールズ賞ウィナーで彼の言うことなんだから指摘は正しいのだろう、と盲目（もしくは全く論文を看破せずつまみ食いだけで分かったような気になってる状態で）減らず口叩くにっくきジャップめ！という感情論が先行してて、目も当てられない。それが数学の世界だけでなく一般のnon-specialistsまで巻き込んでの愚闘になりつつある。日本側はもう無視するしかやりようがない状況にまで事態が悪化してる。
784(3): 2021/03/07(日)09:11 ID:5XF9Uzbd(1/2) AAS
>>772-773
コメントありがとうございます
１．昨年の４月のRIMS記者会見のとき、海外ではネイチャー誌の記事が出たりで、いろいろコメントがありましたし
Stix氏はノーコメント（態度保留）、ケドラヤ氏は「いますぐ勢力を注いてIUTを研究する必要があるとは考えない」と（肯定も否定もしない立場）
ショルツェ氏もwoitブログで論争しました
２．昨年、Promenade in IUTが始まり、仏リール大の方が大勢参加されています
また、南出論文で明示公式が出ることも示されました
省16
806(3): 2021/03/07(日)15:21 ID:EcMJkuCa(17/47) AAS
§2.3で
I を 点αから点βへの有向線分とし
L を I/<α~β> と定義する
（α~β は 点αとβを同一視する、と読む）
807(3): 2021/03/07(日)15:21 ID:EcMJkuCa(18/47) AAS
一方
Iのコピー、†I,‡Iをつくり
Jを、両者をつなげたものとして
接合点をγJとする、つまり
†I を †αからγJへの有向線分
‡I を γJから‡βへの有向線分
として、その上で
省2
894(3): 2021/03/07(日)22:40 ID:hNgjnPPg(18/33) AAS
>>892
数学に素人もクソもないでしょう。
∈のタワーつくって、しかも一番外側勝手に決めて、
元もとれない集合論をAC の上でやってるわけだろ？
ACの回避の論文が盛んに更新されて、
選択関数の使用をなるべく抑えようという国際的な流れのもとで
んなもん普通に考えて一般人でも納得するわけないだろwwww
927(3): 2021/03/08(月)00:19 ID:wmtPtfWh(1) AAS
分かりづらいので§2.3.1以降の状況を私なりに整理しました
I=[0,1]の要素に[0]=[1]で他はそのままの同値関係を入れ、商集合L=[0,1]/〜={[x] : 0≤x<1}を定義します
[0,1]の異なるコピーですが、正直定義がないためよく分かりませんでした
ただ、文脈上†I=[1,2]、‡I=[2,3]と考えるのかなと思います
前者のendpointsは1と2、同様に後者は2と3ですね
†Iと‡Iを2で結合したJ=[1,3]を考え、γJ={2}と定義します
Jの要素x,yに対して、x=yまたはx+1=yのときx〜yとすると、〜は同値関係になります
省9
934(3): 2021/03/08(月)08:21 ID:tHlTN7kN(3/32) AAS
>>927
>分かりづらいので§2.3.1以降の状況を私なりに整理しました
ありがとうございます
>[0,1]の異なるコピーですが、正直定義がないためよく分かりませんでした
そうですね
>ただ、文脈上†I=[1,2]、‡I=[2,3]と考えるのかなと思います
確かにそう考えないとと辻褄が合わないですね
省13
964(4): 2021/03/08(月)14:51 ID:hW/TJfzK(5/16) AAS
>>962
わかってますかやないやろww
お前が勘違いしただけで、
ほなら、最初からそうかけや。
お前が、好意的解釈の上で成り立つ日本のコミュニケーションできんわけやから、「選択公理はどこでも使ったらあかん」
いうてるわけやろwww
976(4): 2021/03/08(月)15:33 ID:lrQeWltU(2/5) AAS
>>964
>お前が、好意的解釈の上で成り立つ日本のコミュニケーションできんわけやから、「選択公理はどこでも使ったらあかん」
>いうてるわけやろwww
横レスすまんが
そこ同意です
最初は下記引用
(>>894)
省11
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.069s