Inter-universal geometry と ABC 予想 46

IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ Inter-universal geometry と ABC予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/

>>194
>横＆スレチだけれど
>・流体力学の場合、乱流とか渦の特異点が生じなければ、結構粗いメッシュでも近似精度はそこそこ良かったはず
>・粗いメッシュから細かくして、ある精度で一致したら「収束」という定義ですよね （測定精度の問題もあるし）
>・乱流とか渦の特異点が大きな問題で、そっちは100万ドルの懸賞金問題ですね（下記）

>>164では本当におおざっぱに言いました。
工学では、一様流の部分は荒いメッシュで雑に計算して「やばそうなところ」*は決め打ちで別の領域に切り出して、
別ルーチンで計算して、境界で各物理量を反復ごとに相互に代入して計算したりしました。
別領域に切り出した部分は実験屋の経験式や別の理論式をはめ込んで別のモデリングを採用します。
＊「やばそうなところ」とは、メッシュよりずっと小さい粒度で「調べたい性能」*に過敏に作用する領域です。
＊「調べたい性能」とは摩擦力や熱伝導特性などです。
工学では、調べたい性能が低コストで得られれば手段は問われません。
別のモデリングした領域をつぎはぎのようにはめこんで解いても解析することも精度が出れば許されます。
「やばそうなところ」の例は、
・vortex generator(突起）付近の流れ
・移動する相変化面近傍の領域
・移動する衝撃波近傍の領域
固相との境界には「薄い」境界層が生成され、境界層が層流か乱流かで流体特性の「ほとんど」が決まるので、
境界層部分のモデリングがシビアになるケースでは境界層のモデリングに特別な配慮を行います。
流れ場すべてを一貫した単独のモデリングで解ける方法を探そうとすれば、おっしゃるとおりすごい懸
賞金とかかけられますが。
目的が特殊なら一般化した単独モデルにはこだわりません。
スレチですいません。

>>225
＞だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外

論外だと言ってるひとの方が少数派なのにそれは無理があるだろ
理解できないひとのほうが多数派ならすくなくとも「そこは通常の数学者にはギャップに見えるから、
埋める解説が必要」ということしか意味しない。
ギャップはただの誤解だと言えるのは「ギャップがある」と言ってる数学者が少数の場合だけ。

>>223
これ、望月見たらマジで訴訟レベルだぞいいのか？
トンデモ張ってんのそれくらいにしとかないと本気でヤバいぞ

>197
野矢茂樹「無限論の教室」の架空の登場人物タジマを信奉している事を表明するとか
どういう神経しとるん？あれが、どんな言い分を盾にして
どこで思考停止してるか分からねぇバカ恥を晒して、よく平然としてられるわ
そのタジマ、途中で実無限の説明しなきゃいけなくてマジタとか名乗り変えてたじゃろ
アンタも「アリストテレスに帰れ！」とか小っ恥ずかしいなんてもんじゃない叫び声をあげる奇人か？
何でそんな実無限を憎んで可能的無限を崇めるん？

野矢茂樹自体が登場人物タジマとは違う考えでいる事を巻末で結んでるのも無視して何を崇めるん？

>>227
多数派少数派で決まるんなら科学いらねーよwww

>>227
ってかちゃんと回答してるから。ショルツがそれを無視して逃げたんだから。どうしようもない。

>>230
きみは科学コミュニティのことがまったくわかっていない。
真理は多数決では決まらない。あたりまえだ。
だが科学的コミュニケーションはコミュニケーションなのだから、
多数派が理解できないなら少数派には解説をする責任がある。
科学コミュニティの作法を無視しているからこの件はずっと問題になってることを理解してないね。

>>231
ならなぜ科学者の多くは「ショルツが逃げた」という判断をしていないんだ？

>>228
ネイチャー読めよ
https://www.nature.com/articles/d41586-020-00998-2

ちと話変わるけどEMSの責任者が知らなかたっていうのおかしいんだよね。
京大の発表では2月5日にアクセプト。今は2ヶ月後。
さすがに2ヶ月あったらアクセプト結果がMehrmannの耳に入ってないってのは信じられない。
今まで物議を醸し出した査読結果なんだからEMS内ですぐに広まるはず。
つまり2月5日にアクセプトしたと言っているが編集委員会はその結果をEMSに送ってないんじゃないか。

>>234
権威主義の弊害wwww
ネイチャーガー
フィールズメダリストガー
ゴシップ似非サイエンスwwww

>>235
アクセプトされてすぐ送ってるよ

問題の系3.12について引っかかるのが、IUTの他の定理は証明が1ページ未満なのに対し、この系3.12だけは10ページ以上も証明があるって点だ
本来は“系”(corollary)というぐらいだから証明もいらないぐらい自明じゃないといけないはずなのに

EMSは知らなかったのに5chでそれらしい書き込みがあったから内部者が書いてるの間違いないんだよね。
だから擁護コメは内部者で利害関係人だから信用できないと思ってる。

>>239
お好きにどうぞー

ギャップがある事自体は修正か撤回すればいいで済むけど
ギャップを放置したままRIMS内では証明された事にするなら
全く話は変わってくるわな。

望月さんはABC予想など小さいよ
もっと大きい論文だよと
こういう態度で
通してるんですかね

ABCもフェルマーも目立つから
勝手に大きな山みたいに扱うが
数学とはもっと大きい学問ですよ
こういう感じなのかな

>>221
何が鋭い指摘だ、だよw
アプデとSS対応は別だよ。だってSSは全く初歩のホッジシアターの部分でIUTを誤解してて、全く的を得てない指摘してるから論外

さらに望月はその誤解に基づく指摘にもかかわらず、丁寧に回答してるからな
それに回答せずにげてるのはSS、ってかショルツの方

>>241
そこなんだよな。
RIMS内部では理解したことになってるわけで、
じゃあ今後RIMSからみんなにわかる明確な説明があるんですよね、TやKはできるんですよね、
という話になってくる。EMSがreflect badly on themって言ってるのはこの事態だろう。

>>241
ギャップ自体がないのよ、何回いわせんだよ

RIMS内云々ってこれ編集委員会マターだからね、リムスかんけいないの

>>244
リムス内部で理解なんて絶対条件じゃないから
レフリーレポートがすべてよこの世界

>>246
きみ査読のことわかってないのバレバレなんだよね。
じつはレフェリーレポートがrejectでも編集委員長がOKなら載せられるんだ。
嘘つきの相手は時間の無駄だから。

ついにABC予想の証明が正しいと認められるwwwww

お、おまえら〜w

編集委員会が査読をさせるのは査読結果を勘案するためであって、
そのレフェリーレポートでacceptかrejectかを決めるためではない。
だから機関誌についてレフェリーの責任であって機関誌の責任ではないとは言えないんだよ。
最終判断下してるのはそこなんだから。

反論があるやつは反対論文を投稿しないとなw

>>234
＞数学者は、自分が編集者となっている学術誌に論文を発表することが多い。
著者が査読プロセスから身を引いている限り、「このようなケースはルール違反ではなく、よくあることです」と語るのは、東京のカブリ宇宙物理数学研究所の数学者で、以前はRIMSの出版物の編集委員を務めていた中島啓氏である。
欧州数学会の会長のメアマン氏は、EMSのガイドラインに違反しないことを確認している。

とあるその記事か
何を逆証の記事をドヤ顔で引用しているわけだド阿呆

全く良く分からんが、>>180がコミュニティ的に精査されることで、誤解があれば解けるんじゃないの？
元々ギャップ自体ないなら確かに修正しようもないな。

望月スクールのやつらは既にABC予想の先をやっているというのにお前らは8年前で止まってるなw

>>229
『まったくゼロからの論理学』岩波書店

の話だその新書の話ではない
内容を読めばわかるが通常の形式論理学で使われている用語

演繹，前提，仮定，含意，条件法

について革新的なことが書いてある
俺は野矢のいう条件法で数学を諦めていたのだが
偽の仮定という言葉がないことを知って再開することができた
だから薦めている

因みに新書の話だが
たとえば全称命題における
数学的帰納法ですべての自然数nに対して
n=1の場合を取り出すことは不能であると考えるので
可能無限派に属するとは思う
それだから

∃n,k∈N

n_1=1
n_k=k
n_k+1=k+1

という記法になってしまう

>>252
ギャップがないなら解説を加えるのも簡単なはずなのよ
コミュニティ側は3.12にギャップが本当に存在しないのなら
その明快な解説を公開した人物の業績は永遠に語り継がれると言っているのに
８年間誰一人として解説を与えられる様子がなかった事で
「理解者」も単なるイエスマンだと見なされて完全に見限られた。

>>247
いやいや、レフリーレポートが強く勧める内容なら、それをエディターがリジェクトするにはそれ相応の理由が必要だろ？今回何の理由があんだ？まさか「まだ世界的に認められてないから」なんて下世話な理由じゃねーだろうな？

>>195
自己の無矛盾性を証明ってどうやって？
細かいギャップは修正され続けてますよね
論文は公表されてますから、
矛盾を指摘する側が論理的な破綻を証明する事が可能では？

>>243>>250
まったくだな

・アインシュタインは量子論を生涯に渡って批判し、問題点を指摘する論文を書き続けた。

あのアインシュタインに延々と批判された量子論など、全くダメダメで何の価値もない
何十人もいる、たかだがフィールズ賞の若造ごときとはレベルが違う、あの人類史上のアインシュタイン大先生からの大批判

しかもそれ自体きちんと査読を通った論文で

もし熟慮の上のまともな批判であるなら、自らもきちんとした反証論文を、学者生命を賭けてでも出すべきだろうがそんなものはなく、出すフシもない
外野がウロ理解を元にネットで何か突いてた
→うわあ大問題　この理論大間違い決定終わりーっ

野次馬ですけど本人はANDとORの取り違えが原因だと言ってるけど
それを勘案した後でも3.12のギャップは埋まらないんですか？

>>255
Dupuyがしてるからもうすぐだね！

しばらく不毛な罵り合いが続きそうだから古参は1か月くらいしてから復帰でいいな
数年に一度はこうなる

10年後の英語版wikipedia
ＡＢＣ予想の項目の隅に、日本の望月が証明したと主張する者もいるって書かれるのか
ＡＢＣ定理の項目に、望月により証明されたって書かれるのか
どっちだろうね

>>255
そのギャップではないよ。
「ショルツの指摘したギャップ」に関して。

望月の[Alien] Example　3.11.4.が正しければ、
ショルツレポートは誤認であればギャップがないという判断であれば、
編集委員会が発表した通り、指摘への修正がなくなる。

まあ前に何度もあったねこんな荒れ具合

もっちーの心が安らかであることを祈ります

望月教授の業績が理解されるのには、時間が必要なんだと思う。

>>254
偽の仮定が、何を、齎す（と言うか仕出かす）のか知る事も論理学じゃが｡
「偽の仮定は常に真」の本当の意味、分かっとらんじゃろ？それじゃあ
「偽の仮定は存在しない」という意味が分かっとらんな｡

> 可能無限派

…は？可能無限派が何でこのスレに茶々入れに来るん？

>>267
何だよ本当の意味ってｗ
おしえてｗ

今後書かれるIUT関連論文は世界的に相手にされず
PRIMS（あるいはKodaiMath？）に載ることになるんだろうな

SSが批判して大方の数学者も同調してるから駄目に違いない
一方査読通って掲載されるから理論の正しさは基本的に証明された事に違いない

結局この二つを形変えながら反復して戦ってるだけだなこのスレw
なにも生産性がないなw

全称命題から存在命題を示すことはできない
これより全称命題から個別に元(数)を選ぶことはできない
これは可能無限派なのかな
無限級数の1とか
無限数列の1は取れない
と考えている

>>270
IUTがそもそも生産的ならこんなことにならないんだよね。
タオがいうとおりIUT自体からは有益な応用がないので、
abc予想が解けているかどうかだけに話が集中する。
つまり現状の生産性のなさはIUTの生産性のなさそのもの。

>>270
ほとんどの人（自分含む）はIUTの定義すら分かってないから、誰々（偉い先生）が言ってたから正しいくらいしか言えないのよね
他の数学スレとは空気が全然違う

>>258
ヤケに堂に入っとるが皮肉？それとも本音？其れを言ったら
相対論だってマクロで通用してミクロで通用しない
量子論だってミクロで通用してマクロで通用しない
だから統一に向けて超弦理論だぁM理論だぁ量子ループ理論だぁと世界で挑戦してる訳で

>>273
ＩＵＴをきちんと論じてるスレがあるんですか？

>>269
関連論文以前に本家IUT論文がPRIMSにしか相手にされてないからな。
これが若手研究者の論文とかなら国内でも無視すればいい話だけど
国内では相当な権威を持った研究者の論文だから頭が痛い。
論理的に否定できても政治的に否定できない状況に陥りかねない。

>>275
そんなスレはない
他のスレと違うのは、他のスレだと正しいかどうかの議論は基本的には数学的な内容含むけど、このスレだとそれがない（できない）

ゴシップしか出ない

数学者でも遠アーベル幾何について語れる人って限られるだろうから仕方ないのでは

ほとんどの数学者から無限遠方

>>199
それを貼ってプリーズ

>>226
スレチだけど、どうもありがとう

>工学では、一様流の部分は荒いメッシュで雑に計算して「やばそうなところ」*は決め打ちで別の領域に切り出して、
>別ルーチンで計算して、境界で各物理量を反復ごとに相互に代入して計算したりしました。

有限要素法が出てきたときの売り文句がそれだったよね
メッシュの精粗の自由度が高いみたいな

>別のモデリングした領域をつぎはぎのようにはめこんで解いても解析することも精度が出れば許されます。
>「やばそうなところ」の例は、

それは、数学でも、トポロジーの手術みたいなものでしょ
特異点出てきたら、切って、貼付けて、特異点無くすみたいない

>流れ場すべてを一貫した単独のモデリングで解ける方法を探そうとすれば、おっしゃるとおりすごい懸
>賞金とかかけられますが。

数学的にちゃんとした解が存在するかどうかが、数学としては重要ってことでしょうね
それと、乱流の数学的扱いの手法開発という意味もあると思っています

スレチですけど

>>200
違うわけでもない。納得してないやつがいるだけ
きっちり特別号が発刊されて国際会議が終わるまで待て

>>192
誇張でもミスリードでもない
そんなことを京大はやらない
いい加減雑音撒き散らすのは止めろ

Iutには生産性がないのが致命的、みたいな意見があるようだが、フェセンコによると何ダースもの重要な数学的帰結が直ちに導き出されるんだろ？

十分生産的じゃん

>>283
特別号はマイナーチェンジなんだろ。だったら待つ意味がない。
特別号はマイナーチェンジだが国際会議でメジャーチェンジになるとも思えないので、
国際会議の内容にもけっきょくみんな納得しないだろうね。

毎日新聞は「フェルマーの最終定理を簡単に導ける」って誤ったこと書いてた。。

海外でのもっちーへの悪い話というのが気になる
なに言われてたの？

望月は日本の恥だな
第二の小保方がこんなに早く出てきてしまうとは情けない

望月教授のウィキペディアの英語版によると、世界的には認められてないのですね。
「2020年4月3日、日本人の2人の数学者、柏原正樹と玉川明夫は、
望月が主張するabc予想の証明が、望月が編集長である数理科学研究所（RIMS）の
出版物に掲載されると発表しました。
この発表は、キランケドラとエドワードフレンケルによって懐疑的に受け取られ、
ネイチャーからは「多くの研究者を望月のキャンプに移動させる可能性は低い」
と説明されました。」（グーグル翻訳）

世界が認めなかったんじゃない
理解できなかったんだ
日本人誇らしい

RIMSの研究者かなんかをほのめかしてる割に、理解できてない理論を無条件で擁護するのは何なんだ？w
心情を聞きたいわ。それだけ信頼してるってこと？

>>282
いつまで関係ない話題してんだ
二度と書き込むな

>>290-292

１．4月3日のプレス発表は、一般マスコミ向けで、数学の専門的なことはスルーしているから
　ネイチャーの記者も、専門的なことは分からずに、書いているだけでしょ
２．従来懐疑的だった数学者は、プレス発表では、それを覆す情報はないから、意見を変えないのも道理
　だから、プロ用の情報発信が要るってこと
３．一方で、中間派というか、数論分野以外の人達（主に海外）は
　「RIMSも思い切った発表したが、よほど自信があるのですね」と考えるのが普通でしょ
　それだけでも、大きな意義ある

>>293
ありがとう（＾＾

ショルツのように望月から見て理解しきれなくて的外れな指摘で通してきた勢も、ガンガンIUTが活用された時に真剣に見ざるを得なくなるので、どちらにせよ、議論は進むわな。

>>274
ID:8gUORYpi は数学板でも有名なトンデモなので餌を与えないで下さい

しかし整数論は宇宙の取り換えなんていう、非常に基礎論に近い操作までやるなんて凄いと思う
俺のやってた確率論の分野じゃ出てきそうにもない

DupuyのHiladoのサーベイドラフト読了
Lepageの貢献が大きいのがわかる
Tanのサーベイも2年前には出来てたこともわかる
関係者の間では出回ってたのかな？
でもこれ、この内容は完全にショルツ敗北モチー大勝利に帰結じゃん

>>253
逆ｗ
2012年から全然本質的な進歩がないから疑われている。
望月の周囲も、若手も、ほんとのところ信じているだけで理解していない。
だから何の応用も出てこない。
望月の最も優秀な若手は、内心ショルツの言う通りだと思い、矛盾が発生するところまで発見してしまい、
師匠の機嫌を損ねないように沈黙している可能性すらある。
アジアンの限界だろう。

>>285
それが導き出せないところが問題なんだろ
そもそも今回の弱いABC予想の証明ではそこまでは無理みたいだし

>>300
なんで推測で語るの？

応用がないってのは事実だから弟子でも応用できないってのは間違い無いんだよね。

ABC予想って弱いとか強いとかそんな名称正式にあったっけ？

>>201 >>202
ありがとうございます。
まだまだ時間がかかりそうということで理解しました。

>>300
ネガキャン復活おめー
>2012年から全然本質的な進歩がないから疑われている。

お前はMzk研のメンバーにそれを直接聞けるか？きけんよな？嘘だからw

>望月の周囲も、若手も、ほんとのところ信じているだけで理解していない。

これも同じく　お前の空想

>だから何の応用も出てこない。
望月の最も優秀な若手は、内心ショルツの言う通りだと思い、矛盾が発生するところまで発見してしまい、
師匠の機嫌を損ねないように沈黙している可能性すらある。

ここに至っては可能性wwwチラ裏乙www

もうお前の屈折感情をフェイクニュースでたれ流すな！

>>301
あのさ、ABC予想に弱い予想なんてないのよ
標準的なABCトリプルなの今回は
特殊な強いABCではない、というだけ

>>299
Dupuyはもう一本用意してる
Lepageも準備してる

ケドラヤが認めてないとはなんか情報あったっけ？
ウィキじゃなくて
前は確かに証明正しい派に立って検証してたろ

フェルマーの別証明が出てくる共著論文も、関係者には出回ってる臭いな。

＞＞309
Kiran Sridhara Kedlaya

Questions I'm thinking about
https://kskedlaya.org/questions.shtml

Mochizuki's approach to diophantine approximation (last update: 28 Dec 17)

most specialists (including myself) are not currently treating this proof as fully verified.

弱いABC予想、強いABC予想というと、強いABC予想の方がすごそうだけどさ

数学専門外の俺が見ての話だけど、弱いABC予想の方が一般的で
強いABC予想は弱いABC予想の中の特殊な場合だとしか思わんがな

>>308
だから君はポジショニングしてないで>>292に答えてよ

逆転ホームラン来たか

そもそもABC予想の拡張自体が複数種類あるからどれを強いABC予想って呼んでるのかわからん
そもそもフェルマーの最終定理の証明にはK(ε)が一つ求まればよく、ABC予想の拡張版を使う必要はない

>>312
具体的なほうがより情報を含んでるからな
effectiveというのも同じ理由から

ガロア表現に役立つというからには、まあフェルマーというかワイルズの理論と比較的ダイレクトに
関連付けられると期待されるだろう

>>281
アニメ
http://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html

アニメはこれな
http://www.kurims.kyoto-u.ac.jp/~motizuki/2020-01%20Computation%20of%20q-pilot%20(animation).mp4

なんだ先入観なく当初肯定的だった大御所のケドラヤが現在は認めてないんじゃダメじゃん
本編手前のエタールセータ関数の理解までは順調だったんでしょ？この人

ε=1、K(ε)=1のことを「強いABC予想」って言ってる人がいるみたいだけど、この命題からは通常のABC予想は導かれないから「強い」「弱い」という表し方は間違ってる気がする

DupuyとKedlayaがまたお仲間なのが面白いんだよね
「彼は正しいだろう」とは言わなかったわけ。研究分野のリストからもIUTは消えてるしね

儂が此の12年、偶にしか来ん内に、何じゃ此の体堕落。いつの間に此んなトンデモ語りが増えたんじゃ？
此の儂でさえ、此の、儂、「ごとき」でさえ分かるトンデモ語りが増えたと言えるわい｡

>>317 >>318
サンクス！

あな

こんなお絵かきによく研究とか