20/04/18 18:37:14.65 FUrf+qJl.net
>>111 追加
うーむ
Peter Scholze先生
半歩、理解の方へ前進かも（＾＾；
（参考）
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
(抜粋)
Peter Scholze says:
April 17, 2020 at 7:15 pm
PS: I just realized that maybe the following information is worth sharing. Namely, as an outsider one may wonder that the questions being discussed at length in these comments
(e.g., the issue of distinct copies etc.) are very far from the extremely intricate definitions in Mochizuki’s manuscripts (his notation is famously forbidding, some of it surfaced in Taylor’s comments),
and feel almost philosophical, so one might wonder that one is not looking at the heart of the matter.
However, the discussions in Kyoto went along extremely similar lines, and these discussions were actually very much led, certainly initially, by Mochizuki.
He first wanted to carefully explain the need for distinct copies, by way of perfections of rings, and then of the log-link, leading to discussions rather close to the one I was having with UF here. He agreed that one first has to understand these basic points before it makes sense to introduce all further layers of complexity.
(I should add that we did also go through the substance of the papers, but kept getting back at how this reflects on the basic points, as we all agreed that this is the key of the matter.)
148:１３２人目の素数さん
20/04/18 21:19:36 DH+1jv2r.net
Scholze賢者タイムｗ
149:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/18 21:24:32 FUrf+qJl.net
>>119
>JAKOB STIX さんの方が
>IUTについては、ショルツ氏より知識は上でしょうね
>しかし、JAKOB STIX氏の声が聞こえてこない
>いま、どう思っているのかな？
「Pop-Stixのp進セクション予想関連の仕事」と５回言及されていますね～（＾＾；
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月新一の感想・着想
(抜粋)
2011年05月02日
・2011-03-03のコメントで懸案となっていた付値論的な問題が簡単に解決できる
ことに気付いた。これにより、Pop-Stixのp進セクション予想関連の仕事で
得られた主定理が、（玉川氏による「非特異性の解消」のような難しい
数論的な結果を必要としない）ごく初等的なグラフ論と可換環論による考察
から導くことが可能であることを示したことになる。詳しくはこちらへ。
2011年03月03日
・以前のコメントで説明したように、Pop-Stixのp進セクション予想関連の
仕事を用いることによって、副有限p進セクション予想はその「tempered
版」に帰着させることが可能である（＝Y. Andre氏による指摘）。一方、
この帰着だけなら、（玉川氏による「非特異性の解消」のような難しい
数論的な結果を必要としない）ごく初等的なグラフ論的考察からも導く
ことが可能であることに最近気付いた。詳しくはこちらへ。
2010年11月11日
・先日のPop-Stixの定理に関するコメントを少し修正した。詳しくは、
こちらをご参照下さい。
2010年11月02日
・「組合論的セクション予想」と、Pop-Stixのp進セクション予想関連の仕事
の関係について、もっと一般的な体や、素数集合Σに対しても同様な議論
ができることに気付いたので、2010-10-29の議論を少し修正した。詳しく
は、こちらをご参照下さい。
2010年10月29日
・Pop-Stixのp進セクション予想関連の仕事が、数年前の論文「Semi-graphs
of anabelioids」で証明した「組合論的セクション予想」と関係している
ことが
150:分かった。詳しくは、こちらをご参照下さい。
151:現代数学の系譜 雑談
20/04/18 21:31:08.82 FUrf+qJl.net
>>132
＞Scholze賢者タイムｗ
そだね～ｗ（＾＾；
（下記）
分かってくれるといいけど
というか、IUTが分からなくても、お互いの主張が平行線で交わらない
（つまりは、矛盾しない）
ということだけでも、理解してもらえると良いと思う（＾＾
（参考）
URLﾘﾝｸ(www.nippon.com)
nippon.com
新語・流行語・今年の漢字
「そだねー」が大賞に：2018年の新語・流行語 社会 2018.12.03
(抜粋)
今年の世相を表す言葉を決める「2018 ユーキャン新語・流行語大賞」（自由国民社『現代用語の基礎知識』選）の年間大賞とトップテンが12月3日、発表された。
年間大賞に選ばれたのは、平昌五輪で活躍したカーリング女子日本代表が競技中にしばしば口にして使って話題となった「そだねー」だった。
オリンピックという大舞台で銅メダルを獲得したトップアスリートから発せられる、どこかのんびりとしたやりとりは、試合をテレビ観戦する人々にホッとするひと時をもたらした。
152:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/18 23:20:08 FUrf+qJl.net
>>130
>>＊）ここは、しっかりRIMSが分り易く説明してほしい部分です！（>>115ご参照）
>"エグゼクティブサマリー"という用語がある（下記）
下記を見つけた（＾＾
これ いいね
下記の[11]と[17]、いま読むと、なんとなく分かった気にさせてくれるわ（＾＾
これの2020年版を出せば良いのでは？
いまのIUTの４編の論文とのヒモ付けをして、”詳しくはIUT論文のここにあるよ”と
みたくすれば（＾＾；
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月新一の出張・講演
[11] 数論的Teichmuller理論入門 （京都大学理学部数学教室 2008年5月）. 月 火 水 木 金 概要
レポート問題 談話会 アブストラクト
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
概要
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
談話会
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
1月
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2火
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
3水
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
4木
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
5金
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2015-02).pdf
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月）PDF
153:現代数学の系譜 雑談
20/04/19 08:03:23.57 ijGx7lvx.net
>>135
あと
IUT論文において、サーストン怪物定理の図8(>>95)みたいなの
これが欲しいね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Go YAMASHITA MY WORKS
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
A proof of the abc conjecture after Mochizuki.
preprint. last updated on 8/July/2019.
P9 ”Leitfaden”の IUT本体版がほしいね
結構、教科書でこういうのを冒頭に書いてある本があるよね（＾＾
154:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 08:49:46 ijGx7lvx.net
>>131
woitブログに ”新スレ”ｗ が立ったねｗ
まとめスレのつもりみたい
OPさんの発言ご注目（＾＾；
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Why the Szpiro Conjecture is Still a Conjecture
Posted on April 18, 2020 by woit
OP says:
April 18, 2020 at 4:41 pm
The comment of @naf hits the nail on the head. But I would go a step further: when confronted with a truly m
155:assive edifice of highly technical mathematics, nearly all experts need some kind of motivation to persevere beyond the final goal at the end of the tunnel. For example, a powerful heuristic to give confidence in the strategy, or some kind of intuitive guide to grab onto along the way to have a feeling of making progress (or at least interesting achievements along the way in the absence of a global guide). But here there is nothing of the sort, not even a compelling mathematical reason to believe at the outset that investing a huge amount of time is going to reap satisfying mathematical understanding. There is only patience to keep oneself going, and it can be very hard to rely on that alone after a lot of time. つづく
156:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 08:50:15 ijGx7lvx.net
>>137
つづき
This practical (albeit psychological) concern came to mind almost immediately after I was asked early on to be on the referee team for the IUT papers.
I have great respect for Mochizuki’s mathematical talent, and no doubt in the sincerity of his belief that he has a proof of the main result.
But I could see that the referees would not only have to check the details of an extremely long work written in a very obscure style (which didn’t provide insightful reasons for confidence in the approach being used).
They would also have to engage in a herculean effort to get the writing substantially changed.
It was too much, so I declined and communicated my concerns to the editorial board.
(I recommended immediate rejection with a demand that the work be completely rewritten before it could be reconsidered.)
I am very sorry to see all these years later that neither the referees who were eventually obtained nor the editorial board obtained any real improvement on the clarity of the way the material is presented, not even at least an Introduction presenting key new insights in some conventional manner
(to compensate for the way the technical material is presented).
I hope the editors of PRIMS and the senior faculty at RIMS will reflect on their responsibility to the field of mathematics, and reconsider what they are doing.
(引用終り)
以上
157:現代数学の系譜 雑談
20/04/19 09:06:41.26 ijGx7lvx.net
>>138
DeepL翻訳（一部修正）
nafさんのコメントは、まさにその通りだと思います。
しかし、私はさらに一歩進みたいと思います：高度に技術的な数学という本当に巨大な建造物に直面したとき、ほとんどすべての専門家は、トンネルの先にある最終的なゴールを超えて粘り強くやり抜くために、何らかのモチベーションを必要とします。
例えば、戦略に自信を持たせるための強力なヒューリスティックや、途中で掴むことができる直感的なガイドのようなものがあれば、前進しているという実感を持つことができます（グローバルなガイドがない場合は、少なくとも途中で興味深い成果を得ることができます）。
しかし、ここではそのようなものは何もなく、最初から膨大な時間を投資することで満足のいく数学的理解を得ることができると信じる説得力のある数学的な理由さえもない。あるのは忍耐力だけであり，それだけに頼るのは時間が経つと大変なことになります．
この現実的な（心理的とはいえ）懸念は、IUT論文のレフェリーチームの一員になるよう早くから依頼されていた直後にほぼ頭に浮かんできた。
私は望月氏の数学的才能を大いに尊敬しているし、望月氏が主な結果を証明していると信じていることに疑いの余地はない。
しかし、私には、非常に曖昧な文体で書かれた非常に長い論文の詳細をチェックしなければならないだけでなく、（使用されているアプローチに自信を持つための洞察力のある理由を提供していない）査読者は、そのアプローチの詳細をチェックしなければならないことがわかりました。
また、文章を大幅に変更してもらうための努力も必要になるでしょう。
それはあまりにも多すぎたので、私は辞退し、編集委員会に自分の懸念を伝えました。
(私は、再考される前に作品を完全に書き直すことを要求して、即時却下を推奨しました)。
最終的に、査読者も編集委員会によっても、資料の提示方法の明快さについての真の改善は得られず、少なくとも従来の方法で重要な新しい洞察を提示する序論さえ得られなかったことを、これらすべてを見て、私は非常に残念に思っています
(技術資料の提示の仕方を補うため)。
PRIMSの編集者とRIMSの上級員には、数学の分野に対する責任を反省し、自分たちが何をしているのかを再考してほしいと思います。
(引用終り)
以上
158:現代数学の系譜 雑談
20/04/19 09:31:54.59 ijGx7lvx.net
>>139 コメント
>この現実的な（心理的とはいえ）懸念は、IUT論文のレフェリーチームの一員になるよう早くから依頼されていた直後にほぼ頭に浮かんできた
>私は望月氏の数学的才能を大いに尊敬しているし、望月氏が主な結果を証明していると信じていることに疑いの余地はない
この言い方から
１．この人は、「IUT論文のレフェリーチームの一員になるよう早くから依頼されていた」というから、IUTを理解できるレベルの人で、IUTに近い研究をしていた人と分かる
２．「私は望月氏の数学的才能を大いに尊敬しているし、望月氏が主な結果を証明していると信じていることに疑いの余地はない」とまで書かれている
>しかし、私には、非常に曖昧な文体で書かれた非常に長い論文の詳細をチェックしなければならないだけでなく、（使用されているアプローチに自信を持つための洞察力のある理由を提供していない）査読者は、そのアプローチの詳細をチェックしなければならないことがわかりました。
>(私は、再考される前に作品を完全に書き直すことを要求して、即時却下を推奨しました)。
この言い方から
１．こんなもの誰も読めないよ、少なくとも、おれは読めないぞ
２．読めるように書き直すように、進言すべきだと、主張して、レフェリーを断った
（でも多分RIMSとしては、それをするとさらに何年もかかるし、読めるという人で、審査しようという判断でしょう。なお、”OP says”さん、海外の人と見ました。実際の審査に海外の人がいるかどうか不明ですが、海外の人に頼もうとしたことは確かでしょう）
>最終的に、査読者も編集委員会によっても、資料の提示方法の明快さについての真の改善は得られず、少なくとも従来の方法で重要な新しい洞察を提示する序論さえ得られなかったことを、これらすべてを見て、私は非常に残念に思っています
>PRIMSの編集者とRIMSの上級員には、数学の分野に対する責任を反省し、自分たちが何をしているのかを再考してほしいと思います
この言い方から
１．「RIMSよ、説明責任を果たせ」ってことですね
２．RIMSとしては、「国際会議で出すから、新型コロナが治まった秋に来るか、あるいは出されたレポートを読んでください」とアナウンスすれば良いと思う
別にマスコミに流さなくても、RIMSのページに書けば良い
159:現代数学の系譜 雑談
20/04/19 09:37:12.29 ijGx7lvx.net
>>140 追加
”OP says”さん、
「私は望月氏の数学的才能を大いに尊敬しているし、望月氏が主な結果を証明していると信じていることに疑いの余地はない」
という発言からは
かれは、IUTとRIMSに理解を示し、どちらかと言えば、好意的な方
そういう人ですら、これが現実
ということは、海外の数学者では、「IUT訳分からん。RIMS訳分からん」という人多数でしょうね
まあ、別スレで、ショルツ氏が納得すれば、ともかくも
RIMS側が説明責任を果たす努力を怠ってはいけないと思う
160:現代数学の系譜 雑談
20/04/19 09:56:50.80 ijGx7lvx.net
>>131
Taylor Dupuy先生、いい味だしているね～ｗ（＾＾
（参考）
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
(抜粋)
Taylor Dupuy says:
April 18, 2020 at 1:09 pm
Hi Everyone,
I’m going to take a break today to attend WAGON:
URLﾘﾝｸ(sites.math.washington.edu)
Check it out!
After that I’ll take a look at the new comments and see if I have something to add.
Best,
Taylor
161:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 10:13:23 ijGx7lvx.net
>>139
IUTは、よくペレルマンに例えられるね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ウィリアム・サーストン
(抜粋)
ウィリアム・サーストン （William Paul Thurston）はアメリカの数学者。コーネル大学教授。専門はトポロジーと幾何学。
人物・業績
・サーストンのモンスター定理（ハーケン多様体には幾何構造が入る）
3次元多様体論、双曲幾何学、トポロジー、幾何学的群論、複素力学系における絶大な貢献をした超直観型の数学者。
サーストンはポアンカレ予想の解法を考察する過程で、「コンパクト3次元多様体は、幾何構造を持つ8つの部分多様体に分解される」という3次元多様体の分類に関する幾何化予想(1982年)を提唱し、3次元幾何学における強力な指導原理となっていた。
リチャード・ストレイト・ハミルトンのリッチフローには「リッチフローの特異点問題」という別の問題が知られていたが、グリゴリー・ペレルマンが「手術」と呼ぶ新たな手法で特異点を解消する方法をリッチフローに付け加えることを考案し、幾何化予想の証明を発表するとともに、その系としてポアンカレ予想をも解決した。
URLﾘﾝｸ(ja.wikipedia.org)
ポアンカレ予想
(抜粋)
ポアンカレ自身、デーン、ホワイトヘッド、古関健一、コリン・ルーケ (Colin Rourke)、イアン・スチュアート、ビング、などの数学者達がこの問題に挑戦した。初めに1932年ヘルベルト・ザイフェルトがザイフェルトファイバー空間の場合の証明をした。
パパキリアコプロスは同値の予想を作ったがその度にマスキットなどに反証された。
そしてロシアの数学者グリゴリー・ペレルマンは2002年から2003年にかけてこれを証明したとする一連の論文[4]をプレプリントサーバarXivに投稿した。これらの論文について2006年の夏頃まで複数の数学者チームによる検証が行われた結果、証明に誤りのないことが明らかになった。ペレルマンはこの業績によって2006年のフィールズ賞が贈られたが、本人は受賞を辞退した[5]。
3次元閉多様体の分類については1970年代に提唱されたウィリアム・サーストンの幾何化予想があり、これは3次元ポアンカレ予想を含意するものである[6]。
162:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 10:46:25 ijGx7lvx.net
>>143 追加
山口孝男＆塩谷 隆先生の体積非崩壊定理が、ペレルマンの仕事で使われたという
ペレルマンの論文中では、証明なしで、この定理が使われているという
URLﾘﾝｸ(www.jstage.jst.go.jp)
企画特別講演 多様体の崩壊－ペレルマンの仕事まで 山口孝男 筑波大
(抜粋)
1.はじめに
最近のペレルマンのリッチ流
と3次元多様体の幾何化に関する仕事([8],[9])において崩壊理論がど
のように適用されているかを解説し、多様体の崩壊理論の展開とその
応用の一面を紹介したい。
URLﾘﾝｸ(www.math.tohoku.ac.jp)
受賞者 塩谷 隆 教授 2006年度幾何学賞受賞 東北大
(抜粋)
本専攻の塩谷隆教授が，「アレクサンドロフ空間に関する一連の研究業績」により，2006年度の日本数学会「幾何学賞」を受賞されました．
1987年に創設された同賞は，幾何学の分野において顕著な業績をあげ，その発展に著しく貢献した数学者に贈られる賞で，東北大学からは2005年度の藤原耕二助教授に続き3人目の受賞となります．去る9月19日に，授賞式と受賞特別講演が，大阪市立大学において開催された日本数学会秋季総合分科会の幾何学分科会の会場で行われました．
受賞業績の研究対象であるアレクサンドロフ空間は，（測地三角形の比較定理を利用して定義された）曲率の概念をもつ距離空間であり，1950年代に定義された後，1980年代から90年代にかけてのリーマン多様体の収束・崩壊理論の発展とともにその重要性が再認識されました．
塩谷教授はまた，曲面の全曲率の幾何学や，曲面や3次元多様体の崩壊理論などにおいても顕著な業績を挙げてこられ，とくに山口孝男氏（筑波大学）との共同研究である3次元多様体の崩壊の研究が，最近のG. Perelmanによる3次元多様体の幾何化予想の証明（ポアンカレ予想の解決を含む）において重要な役割を果たしていることは世界的に有名です．
塩谷教授のこれら一連の研究は，アレクサンドロフ空間の幾何解析および崩壊理論の可能性を大きく広げるものと高く評価され，2006年度日本数学会「幾何学賞」の受賞となりました．
163:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 11:05:38 ijGx7lvx.net
>>144 追加
大定理で、予想を証明して 証明が認められる場合
多く、先人が築いて生きた大伽藍の最後のレンガの1つをはめた人が、証明を完成したことに例えられることが多い
まあ、ジグソーパズルで、ピースが1つ欠けていて、それを作ってはめたことに例えられるかもね
ところで、いくつか例外がある
ペレルマン>>144もそうだが、論文中に証明無しで使われている定理があって
山口孝男＆塩谷 隆先生の体積非崩壊定理がそれだけれど
ペレルマンの仕事を、山口孝男＆塩谷 隆先生が完成させたと、だれもいわないし
山口孝男＆塩谷 隆先生ご両人も、そんなことは言わないでしょ
（ペレルマン氏自身は、彼なりの証明を持っていたかもと 普通に思われているのかも）
もう1つ
「サーストンのモンスター定理（ハーケン多様体には幾何構造が入る）」（>>143＆>>95）
これは、もっとひどくってｗ（＾＾；
（>>95）
”William Thurston was awarded the Fields medal in 1983^8, but it
took about 20 years and the efforts of many authors for all details to be written down
rigorously. It is worth reading Thurston’s interesting argument [Th1994] why he did
not provide the detailed proof himself.”
つまり、サーストン先生自身は定理の証明を書かずに
”about 20 years and the efforts of many authors for all details to be written down rigorously.”
というから、まあ米国の佐藤幹夫先生みたいなものかｗ
でもだれも、「サーストンのモンスター定理（ハーケン多様体には幾何構造が入る）」と言ってはばからない
まあ米国の佐藤幹夫先生みたいなものか？ｗ
いまのIUTの話に戻ると、IUTが正しければ、いずれ サーストン先生やペレルマン先生みたく、きちんと評価されるのは間違いないけれど
いまは、情報化時代だから、RIMSが説明責任を果たさないといけないんだ
そうしないと、世界の数学者たち「なんだ？ どうなってんだ？ わけわからん？ 何の説明も無いのか？」ってことになるわけ
正しいか正しくないか以前に、”何の説明も無いのか？”ってことが問題になるのです
164:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 11:14:09 ijGx7lvx.net
>>145
＞正しいか正しくないか以前に、”何の説明も無いのか？”ってことが問題になるのです
説明の何百ページの文書はいらないんだ
ただ、「国際会議でちゃんと説明するから」くらいでいいんだ
あるいは、もし国際会議用に準備している文書があるから、それを先にリリースして
「国際会議で議論予定」でもいいけどね
165:現代数学の系譜 雑談
20/04/19 11:37:59.79 ijGx7lvx.net
>>145 追加
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Why the Szpiro Conjecture is Still a Conjecture
Posted on April 18, 2020 by woit
(抜粋)
OP says:
April 18, 2020 at 8:49 pm
Just to clarify: I wasn’t a referee on the IUT papers, but rather was invited to serve as one, and I declined (giving the editorial board my recommendation for how I thought would be best to proceed).
As for Katz’ work as a referee on the initial FLT paper, my impression is that this
166:only became public knowledge sometime after the fix was found and the corrected version had gone through the review process (e.g., maybe via the BBC video that was made about it). FLT フェルマーにも、よく例えられる https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86 フェルマーの最終定理 (抜粋) 最終的解決 詳細は「ワイルズによるフェルマーの最終定理の証明」を参照 最後のレビュー段階でプリンストンの同僚ニック・カッツ（英語版）の助けを得るまで、細部に至るまでの証明を完璧な秘密のうちにほぼすべて独力で成し遂げた（ここまでで7年が経過していた） https://ja.wikipedia.org/wiki/%E3%83%AF%E3%82%A4%E3%83%AB%E3%82%BA%E3%81%AB%E3%82%88%E3%82%8B%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86%E3%81%AE%E8%A8%BC%E6%98%8E ワイルズによるフェルマーの最終定理の証明 (抜粋) その後の発展 ワイルズの証明は非常に複雑なものであり、他の数学者の多くの仕事を援用したものであったため、1999年当時ワイルズの証明の全容を詳細まで理解しているのはほんの数人の数学者だけであると示唆されていた ワイルズの証明の複雑さは知られていたので、例えばその理解のために10日間に渡るカンファレンスがボストン大学で開かれた 2005年にオランダの計算機科学者Jan Bergstraはワイルズの証明をコンピューターで真偽の判定をできるような形にする場合の問題点を発表した[25] [25] http://www.cs.rug.nl/~wim/fermat/wilesEnglish.html Last modified: 2008
167:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 12:53:13 ijGx7lvx.net
>>147
> 2005年にオランダの計算機科学者Jan Bergstraはワイルズの証明をコンピューターで真偽の判定をできるような形にする場合の問題点を発表した[25]
>[25]
>URLﾘﾝｸ(www.cs.rug.nl)
>Last modified: 2008
ワイルズの証明が1995年
2005年にコンピュータの証明が言われたが
2020年のいま
まだ、コンピュータの証明が行われたと聞かない
いまからIUTをコンピュータ証明にかけようとしても
どれくらいの歳月とお金がかかるのか？
だれにもわからない
それが現実
168:粋蕎 ◆C2UdlLHDRI
20/04/19 13:25:31 8BOyW/Ba.net
其れ貼ってコンピューター信者黙らせたりましょう
…しっかし…。彼奴は案の定、king様のβaka弟子じゃったな…
169:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 13:59:57 ijGx7lvx.net
>>149
粋蕎さん、どうも
>其れ貼ってコンピューター信者黙らせたりましょう
はい
コンピューター信者出てきたらね
コンピューター信者の話は、スレ49の終りに出ただけで、スレ50ではまだ出ていないし
>…しっかし…。彼奴は案の定、king様のβaka弟子じゃったな…
king様か
私は、実質2012年からだから、king様自身を知らない
”βaka弟子”かどうか不明だが、”βaka”は同意（＾＾；
170:１３２人目の素数さん
20/04/19 14:08:45 8BOyW/Ba.net
因みに『king様の弟子』と『β』を演じ分けとったんで儂が勝手に
『king様のβaka弟子』と書いとるだけ
171:現代数学の系譜 雑談
20/04/19 15:29:03.40 ijGx7lvx.net
>>151
>因みに『king様の弟子』と『β』を演じ分けとったんで儂が勝手に
>『king様のβaka弟子』と書いとるだけ
了解
それなら分かる
あの あほのおサルは、あきらかに『king様』という人とは無関係で、直弟子ではないよね
172:粋蕎
20/04/19 16:18:04.95 8BOyW/Ba.net
非公認のまま勝手に弟子を自称しとっただけじゃもん。結局、何もかも中途半端｡
173:１３２人目の素数さん
20/04/19 21:53:20 mrf31oDM.net
>>137
woitはScholzeの次に来るだろう発言を脅威に思って、阻止する為に水を差したんだよｗ
174:現代数学の系譜 雑談
20/04/19 23:50:46.99 ijGx7lvx.net
>>154
>woitはScholzeの次に来るだろう発言を脅威に思って、阻止する為に水を差したんだよｗ
うーん、W氏のコメント来たね
Ｗ氏は完全に、ショルツ先生寄りだし、加えてもっと非道い
（私的要約）
１．ＩＵＴ
175:論文の殆どが無駄 ２．独自用語で、勝手なことを書いている ３．ショルツ先生が間違いを指摘したのに、納得できる説明がない ４．なんで、そんなものを出版するのか？ みたいな感じかな～ｗ（＾＾ W氏の数学レベルは、どんなかね～？ ＯＰ氏は、ＲＩＭＳがレフェリー頼むくらいだから、レベル高そうだが（因みに「リジェクトして書き直し」を進言したそうだから、ＲＩＭＳの内部ではだれか推測できるだろうね） さて、Ｄｕｐｕｙ先生のコメントを期待しましょう～！（＾＾； （参考） https://www.math.columbia.edu/~woit/wordpress/?p=11709#comments Not Even Wrong Latest on abc Posted on April 3, 2020 by woit W says: April 19, 2020 at 9:53 am
176:１３２人目の素数さん
20/04/20 13:14:27.34 nSShSe+M.net
ΘとかΘ±ell とか D-Θ±ell ってどう翻訳すればいいんだろうな？
177:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 13:22:03 jS1N2Wjo.net
>>136
>IUT論文において、サーストン怪物定理の図8(>>95)みたいなの
>これが欲しいね
そうそう
追加で
１．IUT用語辞書 or 定義集(含む本論文ページへのヒモつけ）
２．インデックス（上記と重なる部分あるが、しっかり整備要。用語のみならず、数学記号も）
３．IUT用語と標準数学用語との対比表（差分を表示）（上記と重なる部分もあるが、しっかり整備すること）
がほしいね（＾＾；
178:現代数学の系譜 雑談
20/04/20 16:54:33.34 jS1N2Wjo.net
＜転載＞
Inter-universal geometry と ABC予想 50
ｽﾚﾘﾝｸ(math板:838番)
838 自分返信：現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 投稿日：2020/04/20(月) 16:43:57.50 ID:jS1N2Wjo [22/22]
>>837
>＞IUT入門情報
>素人がいきなりフンザに行ったって住民と会話できないｗ
同意だが
おれも、あの（>>836）PDFを見ても、最初はさっぱりだったが
加藤文元本みて、あと遠アーベルの復元とかを合わせてみると
なんとなく「IUTの狙いって、こういうことか」と
朧気に浮かんできたものがあるんだ
で、そういうイメージ無しに、IUT本体論文読んでも
富士の樹海に迷い込んだ旅人状態で
ショルツ先生みたいに、「富士の樹海のCor3.12は成立していない～！」というけれど
望月先生にしてみれば、「そこは、旅人がよく遭難するところで、しっかり遠アーベル勉強してください。学部から修士レベルに戻ってね」ということ
まあ、そのうちはっきりしてくるよ（＾＾；
179:現代数学の系譜 雑談
20/04/20 17:05:36.93 jS1N2Wjo.net
>>158
>加藤文元本みて、あと遠アーベルの復元とかを合わせてみると
＜メモ＞
”遠アーベル 復元” google検索
約 80 件 （0.47 秒） 検索結果
(抜粋)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一郎の講演
数体の単遠アーベル的復元 (講演スライド), 宇宙際タイヒミューラー理論の検証と更なる発展, 京都大学数理解析研究所, 2015.3.9-2015.3.20. 数体の単遠アーベル的復元, 京都大学 談話会
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Grothendieck による遠アーベルセクション予想について - (RIMS
2011/08/11 - 解説, §2 では遠アーベルセクション予想についての解説, §3 では [Hsh] の主結果の解説が与えられている. 筆者の知る限り, ... [和文解説 4] 玉川安騎男,
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
IV ) この講義の主な内容の大部分は,
2018/09/28 - 混標数局所体に関する単遠アーベル復元アルゴリズム. 授業の目標, 概要. 遠アーベル幾何学とは, “遠アーベル多様体というある特別なクラスに属する代数
180:多様体は, その代数的基本群の純群論的な性質によって, https://mathsoc.jp/section/algebra/algsymp_past/algsymp04_files/tamagawa.pdf 代数曲線の数論的基本群に関する Grothendieck 予想，その後 .tamagawa となるような, ある (U の遠アーベル幾何をするのに十分なくらい大きい) ΠU を, π1(X) のみから復元する, という重要なステップがあります. 分岐を許さない基本群. から分岐を直接的に思い出すというのは, 今までの遠アーベル幾何の研究ではありえ. なかった斬新 ... https://ja.wikipedia.org/wiki/%E9%81%A0%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E5%B9%BE%E4%BD%95%E5%AD%A6 遠アーベル幾何学は数学の理論であり、代数多様体 V 上の代数的基本群（英語版） G や関連する幾何学的対象を記述する。また、V をどのように他の幾何学的対象 W へ写像することができるかを決定
181:現代数学の系譜 雑談
20/04/20 17:13:59.37 jS1N2Wjo.net
メモ追加
”数論幾何”検索結果
約 1,580,000 件 （0.47 秒）
検索結果
(抜粋)
URLﾘﾝｸ(ja.wikipedia.org)
数論幾何学 - Wikipediaja.wikipedia.org ? wiki ? 数論幾何学
数論幾何（すうろんきか、仏: geometrie arithmetique）あるいは数論的代数幾何学（英: arithmetic algebraic geometry）は数論の一分野であり、数論の問題を解くために代数幾何の道具を用い、初等的でない定義を使う。スキーム論の出現後、数論幾何は整数 ...
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
楕円曲線の数論幾何 - 京都大学数学教室www.math.kyoto-u.ac.jp ? files ? Galois_fest_ito_200705
整数論の最前線. 楕円曲線の数論幾何. フェルマーの最終定理，谷山-志村予想，佐藤-テイト予想，そして・・・. 伊藤 哲史. ?. 京都大学理学部数学教室 ガロア祭. 2007年5月25日(金) 17:45?18:45. ?tetsushi@math.kyoto-u.ac.jp. 講演用スライドを加筆・修正 ...
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
数論幾何学 - 東京大学www.ms.u-tokyo.ac.jp ? ~t-saito
2016/05/19 - 数論幾何学. ??リーマン予想からエタール・コホモロジーへ. きょうは数論と幾何という題で話します。3 年生の科目でいうと数論は代. 数なので、多様体やホモロジーをあつかう幾何とは関係ないような気がする. かもしれませんが、その 2 つが ...
URLﾘﾝｸ(www.st.keio.ac.jp)
数論幾何 - 慶應義塾大学理工学部www.st.keio.ac.jp ? kyurizukai ? files ? bannai12_j
2018/02/13 - 今回登場するのは、数学の一分野である整数論において、. 数論幾何的手法を用いて未解決の予想問題に取り組む坂内健一准教授です。 研究紹介. 数論幾何に内在する. 理論と直感の絶妙なバランス. 「数学の問題を解くときに問題を絵に.
182:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 17:27:14 jS1N2Wjo.net
>>160 補足
>楕円曲線の数論幾何 - 京都大学数学教室www.math.kyoto-u.ac.jp ? files ? Galois_fest_ito_200705
>整数論の最前線. 楕円曲線の数論幾何. フェルマーの最終定理，谷山-志村予想，佐藤-テイト予想，そして・・・. 伊藤 哲史. ?. 京都大
・楕円曲線の数論幾何
・谷山-志村予想
・佐藤-テイト予想
ってあるよね
で、「佐藤-テイト予想」の佐藤＝佐藤幹夫先生です
で、柏原先生は、佐藤スクールの塾頭です
「佐藤-テイト予想」も、まあきっとお勉強したはずｗ（＾＾；
この予想は、リチャード・テイラー先生は、
「アンドリュー・ワイルズによるフェルマーの最終定理の証明をサポートした」ってことで、超有名で
”谷山・志村予想の証明”の最終版も、リチャード・テイラー先生
”谷山・志村予想の証明”の勢いで、「佐藤-テイト予想」の証明もやってしまったのです
ということは、「佐藤-テイト予想」の証明を理解するってことは、”谷山・志村予想の証明”と”楕円曲線の数論幾何”とを、全部理解しているってこと！
これが、柏原先生の射程内であることは明白なのです
だから、先生はそこらの駆出しの数学DRよりなの上ですよ！（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
183:86%E3%82%A4%E3%83%88%E4%BA%88%E6%83%B3 佐藤・テイト予想 証明と主張の進展 2006年3月18日、ハーバード大学のリチャード・テイラーは、ローラン・クローゼル(Laurent Clozel)やミカエル・ハリス(Michael Harris)やニコラス・シェパード-バロン(Nicholas Shepherd-Barron)との共同研究の結果として、ある条件を満たす総実体上の楕円曲線の佐藤・テイト予想の証明の最終段階を、彼のウェブページに掲載した。 https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%81%E3%83%A3%E3%83%BC%E3%83%89%E3%83%BB%E3%83%86%E3%82%A4%E3%83%A9%E3%83%BC_(%E6%95%B0%E5%AD%A6%E8%80%85) リチャード・テイラー (数学者) アンドリュー・ワイルズによるフェルマーの最終定理の証明をサポートした。フェルマーの最終定理を証明した二つの論文のうち一つはテイラーとの共著によるもの 谷山・志村予想の証明、ラングランズ予想の証明など、数論における重要な研究業績を残している 数論の超難問と称される佐藤・テイト予想を証明した
184:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 17:33:11 jS1N2Wjo.net
>>161 補足
いや、だから、今回IUTの4月3日の記者会見に、柏原先生も出て
「IUTについて、柏原先生はなんにも理解していない」などとおかしなことをいう人がいるが
・楕円曲線の数論幾何
・谷山-志村予想
・佐藤-テイト予想
の基礎があるから
IUTについても、玉川先生からレクチャーを受ければ
（つーか、IUT論文にざっと目を通して、何点か疑問点を質問すれば）
「よし、大体理解できた。望月先生の勝ちだな」くらいの判断は下せるのです。まあ、想像ですけど
「何にも分からず 記者会見」なんてのは、柏原先生なめすぎですよ
繰り返すが、そこらの駆け出しDRとは、頭のレベルと知識のレベルが違いますよ（＾＾；
185:１３２人目の素数さん
20/04/20 17:46:09 nSShSe+M.net
スピロ予想に名前のあるスピロ氏って4/18に亡くなっていたのね。
Lucien Szpiro
URLﾘﾝｸ(en.wikipedia.org)
186:１３２人目の素数さん
20/04/20 17:48:55.18 nSShSe+M.net
the ABC and Szpiro Conjectures
などの表現で一緒にされているけれども。
187:現代数学の系譜 雑談
20/04/20 17:49:26.54 jS1N2Wjo.net
>>162
>「IUTについて、柏原先生はなんにも理解していない」などとおかしなことをいう人がいるが
>・楕円曲線の数論幾何
補足の補足
・柏原先生は、グロタンディークのEGA,SGAを独学して、当時の佐藤超関数の基礎の証明に使ったという伝説の人
（「佐藤の数学」で、佐藤幹夫先生が語っている（佐藤先生自身は、あまり証明を書かなかったうようですｗ））
・だから、IUTの基礎のグロタンディークのEGA,SGAなんてのは、自家薬籠中の物
・IUTの基礎の部分は、すでに完全習得済み。まあ、富士山で言えば、５合目までは軽く達しているのです。想像ですが（＾＾；
・だから、IUTの読み込みも、近くにいて、質問できるいい環境にいるし、IUTには目を通している
「何にも分からず 記者会見」なんてのは、柏原先生に限っては、ありえない！
そんなことは、きっとRIMS生には常識でしょうけどね～ｗ（＾＾；
188:現代数学の系譜 雑談
20/04/20 17:51:45.20 jS1N2Wjo.net
>>163-164
ああ、情報ありがとう
>>156
>ΘとかΘ±ell とか D-Θ±ell ってどう翻訳すればいいんだろうな？
それIUTのどこに載っていますか？（＾＾
189:１３２人目の素数さん
20/04/20 18:38:08.27 nSShSe+M.net
>>166
1ページ目から載ってるよ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
190:１３２人目の素数さん
20/04/20 18:45:14.26 lnvD9PiA.net
ワロタ
191:１３２人目の素数さん
20/04/20 23:18:58.27 HE2DrRpi.net
これはいけない
192:現代数学の系譜 雑談
20/04/20 23:38:16.80 w4pNIZe5.net
>>167
>>166-167
ID:nSShSe+Mさん、どうも
遅レスすまん
"Θ±ell"ね～（＾＾；
>1ページ目から載ってるよ
そこはアブストラクトじゃんかｗ（＾＾；
で
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
P6
In some sense, the main goal of the present paper may be thought of as the
construction of Θ±ell NF-Hodge theaters [cf. Definition 6.13, (i)]
P7
one may associate a D-Θ±ell NF-Hodge theater [cf. Definition 6.13, (ii)]
(引用終り)
結論：この文書には "Θ±ell"の詳しい記載なし
そこで、下記山下先生のレビューが役に立つのです～（＾＾
これ、IUTの前の準備文書が含まれているから、調べるのに便利だということに気付いたのです
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
A PROOF OF THE ABC CONJECTURE AFTER MOCHIZUKI By Go Yamashita preprint. last updated on 8/July/2019.
（注意：文字化けがあるので、必ず原文見て下さい！）
P14
We write M ell ⊂ M ell￣ for the fine moduli stack of elliptic curves and its canonical compactification.
結論：これより、ell：elliptic curve です
P199
§ 10. Hodge Theatres.
In this section, we construct Hodge theatres after fixing an initial Θ-data (Section 10.1).
More precisely, we construct Θ±ell NF-Hodge theatres (In this survey, we shall refer to them as ◇□-Hodge theatres).
A Θ±ellNF-Hodge theatre (or a ◇□-Hodge theatre) will be obtained by “gluing” (Section 10.6)
・a ΘNF-Hodge theatre, which has a F*l-symmetry, is related to a number field, of arithmetic nature, and is used to Kummer theory for NF (In this survey, we shall refer to it as a -Hodge theatre, Section 10.4) and
つづく
193:現代数学の系譜 雑談
20/04/20 23:48:57.04 w4pNIZe5.net
>>170
つづき
P200
・a Θ±ell-Hodge theatre, which has a F x±-symmetry, is related to an elliptic curve, of geometric nature, and is used to Kummer theory for Θ (In this survey, we shall
refer to it as a -Hodge theatre, Section 10.5)
Separating the multiplicative (◇) symmetry and the additive (□) symmetry is also important (cf. [IUTchII, Remark 4.7.3, Remark 4.7.6]).
ΘNF-Hodge theatre F*l-symmetry (◇) arithmetic nature Kummer theory for NF
Θ±ell-Hodge theatre Fx±l-symmetry (□) geometric nature Kummer theory for Θ
結論：
"Θ±ell"で、
Θは Θ-data (Section 10.1).
分かったのはここまで
多分、§ 10. Hodge Theatres. をもう少し読み込めば、±の意味（ + and - か、あるいは + or - か、多分前者と思う）などはっきりすると思う
NFも、Kummer theory for NF とあるので、もう少し読み込めば、はっきりすると思うけどね
取り敢ず、今日はここまで
確かに、IUT論文本体読めないね～ （「準備論文からちゃんと嫁～！」という態度だな）
ショルツ先生、ほんと天才やわ（＾＾；
194:現代数学の系譜 雑談
20/04/21 00:03:27.72 /78llOaT.net
検索でヒットしたので貼る
これ、一部のページが、ビューで見えるので、興味のある人は見て下さい
（目次のところにリンクがあるよ）
ここらも、準備論文なのでしょうね～（＾＾
（望月先生の若いときの出世作だと思う）
URLﾘﾝｸ(books.google.co.jp)
Foundations of p-adic Teichmuller Theory 著者: Shinichi Mochizuki ASM 1999
195:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 07:44:51 /78llOaT.net
>>170 訂正と追加
訂正
>>167はすぐその
196:下とダブりで消す 追加 "NF"について 下記P12 the abbreviations NF for "number field" ですね（＾＾ http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2019Jul5.pdf A PROOF OF THE ABC CONJECTURE AFTER MOCHIZUKI By Go Yamashita preprint. last updated on 8/July/2019. （注意：文字化けがあるので、必ず原文見て下さい！） P12 Number Fields and Local Fields: In this survey, we define a number field to be a finite extension of Q (i.e., we exclude infinite extensions). We define a mixed characteristic (or non-Archimedean) local field to be a finite extension of Qp for some p. We use the abbreviations NF for "number field", MLF for "mixed characteristic local field", and CAF for "complex Archimedean field" (i.e., a topological field isomorphic to C). For a topological field k which is isomorphic to R or C, we write j _ jk : k ! R>=0 for the absolute value associated to k, i.e., the unique continuous map such that the restriction of j＿jk to k determines a homomorphism k ! R>0 with respect to the multiplicative structures of k and R>0, and jnjk = n for n ∈ Z>=0. We write π ∈ R for the mathematical constant pi (i.e., π = 3:14159 ・ ・ ・ ). (引用終り) ±の意味？ 分からんｗ（＾＾； 下記で、 ＋が ”双曲的なリーマン面Xの不変被覆X~は 上半平面H”に相当する部分で －が 下半平面に相当する部分で ±は ”+ and -”と推察します http://www.kurims.kyoto-u.ac.jp/~motizuki/travel-japanese.html 望月新一の出張・講演 [11] 数論的Teichmuller理論入門 （京都大学理学部数学教室 2008年5月） http://www.kurims.kyoto-u.ac.jp/~motizuki/2008-05%20danwakai-ohp-jpg.pdf 談話会 数論的Teichmuller理論入門 P4 双曲的なリーマン面Xの不変被覆X~は 上半平面Hに同型である（Koebe）。 (引用終り) あと「D-Θ±ell 」（>>166）のDは、自分で頼むよ（＾＾
197:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 07:51:23 /78llOaT.net
>>173 補足
今回の件で
山下先生の下記
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
A PROOF OF THE ABC CONJECTURE AFTER MOCHIZUKI By Go Yamashita preprint. last updated on 8/July/2019.
が、IUTの準備論文を含むし、用語集、数学記号集として使えることが分かった（＾＾
あと、Indexが最後についているので便利です
山下先生のサーベイを過小評価していたな、ごめん（＾＾；
なお、もう少し下のレベル”Θ±ell"などの解説からが欲しいけどな、私らには（＾＾
以上
198:１３２人目の素数さん
20/04/21 07:54:31 5u+wKf0H.net
学術雑誌の特別号だと、その特別号の編集長が冒頭にあいさつ文を書くのが慣例
短ければ1ページだが、5～10ページくらいのものもある
IUT論文がPRIMSに載るときも、当然柏原と玉川が一筆書くだろう
さしあたり、今後しばらくの間では、それが一番の注目対象となる
199:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 08:26:27 /78llOaT.net
>>175
どうも
レスありがとう
同感です
その冒頭で、「なぜIUTがOKなのか？」「SSの誤解はここに」みたいなのを付けろと言いたいね
あと、>>174の山下先生サーベイを用語集、数学記号集として使って下さいみたいなのも、良いと思います（＾＾
200:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 11:48:21 QPCMXF1q.net
>>176 補足
>あと、>>174の山下先生サーベイを用語集、数学記号集として使って下さいみたいなのも、良いと思います
今回の件で、山下先生サーベイを用語集、数学記号集として使わせてもらった
これをIUTと比較すると
IUTをK2に例えて、仮に9000ｍ級の山登りとすると
IUT論文は、7合目 7000ｍくらいから始まっている感じ
山下先生サーベイは、学部1000～2000ｍくらいからのコンパクトなガイドになっている感じですね
後ろに、Appendix A～Cも付けてあって
C.4. On the Prime Number Theorem.
C.5. On the Residual Finiteness of Free Groups.
とか、基本的な知識の補足もある
C.6. Some Lists on Inter-universal Teichmuller Theory
とかは、IUTの重要な記号の一覧ですかね
P366
A.3. Hodge-Arakelov-theoretic Comparison Theorem.で
”Note that these can be considered as a discrete analogue of the calculation of Gaussian integral
is a Gaussian distribution (i.e., j → j^2) in the cartesian coordinate
is a calculation in the polar coordinate ・・・”
とか、望月先生の講演ネタで使っていた話の解説もあるな
P358 ”Proof. Theorem follows from the definitions.（QED）”
には、笑った（＾＾；
すぐ後に、”A rough picture of the final multiradial representation is as follows:”と部分解説が続くのだけれど
だったら、解説の後に、 ”Proof. Theorem follows from the definitions.（QED）”に持ってこないとねぇー
ここ （P352）
”The following the Main Theorem of inter-universal Teichmuller theory:
Theorem 13.12. (Multiradial Algorithms via LGP-Monoids/Frobenioids, [IUTchIII, Theorem 3.11]) ”
なんだけど、例のCor 3.12に直結するところだしね
Cor 3.12は P359
”Corollary 13.13. (Log-volume Estimates for -Pilot Objects, [IUTchIII, Corollary 3.12])
We write
-｜ log(θ)｜∈ R ∪{+∞}”
あと P360
”Then we obtain
-｜ log(q)｜＜ -｜ log(θ)｜”
で、IUT III Cor3.12 になるけどねｗ（＾＾；
（Proof.は、その直後から4ページほどある）
山下サーベイ論文は、それなりに面白いわ（＾＾
201:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 11:54:52 QPCMXF1q.net
<転載>
Inter-universal geometry と ABC予想 50
ｽﾚﾘﾝｸ(math板:882番)
なお、ショルツ氏の最終意見は下記です、ご参照ください（＾＾
半歩、IUT側へ譲歩していますよｗ（＾＾；
URLﾘﾝｸ(www.math.columbia.edu)
woitブログ
(抜粋)
Peter Scholze says:
April 17, 2020 at 7:15 pm
PS: I just realized that maybe the following information is worth sharing. Namely, as an outsider one may wonder that the questions being discussed at length in these comments
(e.g., the issue of distinct copies etc.) are very far from the extremely intricate definitions in Mochizuki’s manuscripts (his notation is famously forbidding, some of it surfaced in Taylor’s comments), and feel almost philosophical, so one might wonder that one is not looking at the heart of the matter.
However, the discussions in Kyoto went along extremely similar lines, and these discussions were actually very much led, certainly initially, by Mochizuki.
He first wanted to carefully explain the need for distinct copies, by way of perfections of rings, and then of the log-link, leading to discussions rather close to the one I was having with UF here.
He agreed that one first has to understand these basic points before it makes sense to introduce all further layers of complexity.
(I should add that we did also go through the substance of the papers, but kept getting back at how this reflects on the basic points, as we all agreed that this is the key of the matter.)
202:現代数学の系譜 雑談
20/04/21 12:19:05.83 QPCMXF1q.net
>>178 追加 www.DeepL.com/Translator（無料版） 部分修正 Peter Scholze says: April 17, 2020 at 7:15 pm PS: 以下の情報は共有する価値があるのではないかと思っています。 つまり、部外者からは、これらのコメントで長々と議論されている疑問は、以下のようなものではないかと思うでしょう。 望月の論文にある非常に複雑な定義で (e.g., the issue of distinct copies etc.) (望月の表記は禁止されていることで有名で （ここは原英文も意味不明です）、テイラーのコメントにもその一部が登場している) ほとんど哲学的な感じで、問題の核心を見ていないのではないかと疑問に思うかもしれません。 しかし、京都での議論は非常に似たような線をたどっていた、この議論は実際には、最初は確かに望月によって次のようにリードされていました。 彼はまず、the need for distinct copies, by way of perfections of rings, and then of the log-link を丁寧に説明しようとしていて、私がここでUFと議論していたのと同じような議論になった。 彼は、最初にこれらの基本的な点を理解してからでないと 複雑な他のすべての階層を導入することに意味がないとしていた。 (ここで論文の内容についても議論したが、基本的な点をどう反映させているのかということに戻ってきて、これが問題の鍵であるということに全員が同意した。) (引用終り)
204:現代数学の系譜 雑談
20/04/21 12:28:38.49 QPCMXF1q.net
>>179 補足
これをさらに要約すると
１．ショルツ先生は、これ以前は、IUT全然だめと言っていた
２．このコメントで、望月の論文にある非常に複雑な定義が問題で、自分が反例として出した例とは、すれ違いの可能性があることだけは認めた
３．このスレ違いは、京都でもあって、いまのWoitブログのDupuy氏やUF氏の指摘の議論と似た展開であったことを思い出した
４．そして、”(I should add that we did also go through the substance of the papers, but kept getting back at how this reflects on the basic points, as we all agreed that this is the key of the matter.)”
と結んでいる。つまり、もうちょっと、望月論文を読まないといけない
（あるいは、原文は過去形で、ちゃんと読めてないところがあって、それが、”the key of the matter”だと）
ということで、”半歩、IUT側へ譲歩していますよ”（>>178）は
ショルツ先生は当初の全然だめから
「望月氏の書き方が、悪いと思うが、読めてないところがあるかもしれんな」というふうに変わってきたってことです
（これは、Dupuy氏やUF氏の指摘の結果です）
現状は、ここまで
205:１３２人目の素数さん
20/04/21 12:43:43.71 kSbymxl4.net
>>180
>自分が反例として出した例とは、すれ違いの可能性があることだけは認めた
どこをどう読んだらそう読める？
むしろショルツの認識は京都で議論した時点から全く変わっていないということだろ
206:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 15:45:34 QPCMXF1q.net
>>181
違う
ショルツ氏は思い出したんだよ
京都の議論を
そして、いまのDupuyとUF氏の指摘と同じだと いう
そして、>>178
(e.g., the issue of distinct copies etc.) are very far from the extremely intricate definitions in Mochizuki’s manuscripts (his notation is famously forbidding, some of it surfaced in Taylor’s comments), and feel almost philosophical, so one might wonder that one is not looking at the heart of the matter.
ってこと
要するに、繰り返すが
feel almost philosophical, so one might wonder that one is not looking at the heart of the matter.
ってこと
で、私なりに咀嚼して解説すると
これ お経みたいなものだということ
門前の小僧習わぬ教を読む
習えば、お経が読めるんだよ
戻ると
例えば
”feel almost philosophical, so one might wonder that one is not looking at the heart of the matter.”
が、ある人から見れば、（わけわからん）お経でも
ちゃんと、仏教の修行をした坊さんとか 分かる人が見れば
「これは ありがたい仏の教えだ」となるわけ
つまり現時点では、DupuyとUF氏の二人は、（仏教の知識があるから）「これは ありがたい お経だ」と言っているんだ
ショルツ氏が「（わけわからん）お経」だということからは、一歩も前進していないけれども
「ひょっとしてどうなの？」と思い始めたってことだよ
なお、自分には、「（わけわからん）お経」か「ありがたい お経か」判断は つかないが
少なくとも、ショルツ氏が「ひょっとしてどうなの？」と思い始めたってことが、IUT側に半歩寄ったってことだな
このあとの展開 どうなるか知らないが
想定としては、下記４通り かな
１）Dupuy氏がコメントを投下して、さらに議論になる
２）Joshi氏が、コメント（ or arXive改訂版）を出す
207: ３）RIMSが見かねて、なんかプロ数学者向けの説明文書を出す ４）ショルツ氏が、望月氏のお経を解読して、「決定的ノックアウトパンチ」（文書）を出す（IUTドボン） など まあ、今後の展開は、見てのお楽しみだよｗ（＾＾；
208:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 16:12:59 QPCMXF1q.net
>>182
補足しておく
１．ショルツ氏も、21世紀の数学の論文において、「自分を基準にして、自分が読める論文にしろ」（それが査読の条件だ）とは言っていない
２．いままで、ショルツ氏が言ってきたことは、「自分なりに読んで、IUT Cor3.12はおかしい。矛盾があって、IUTは根本的に不成立！」と言ってきた
３．>>178の”Peter Scholze says: April 17, 2020 at 7:15 pm”は、望月氏の論文はお経で、”feel almost philosophical, so one might wonder that one is not looking at the heart of the matter.”
まで 後退したってこと。つまり、上記の２の ”自分なりに読んで” の部分が成り立っていないことに、いまさらながら 気付いたってこと
４．ショルツ氏が読めない （お経のような）論文書いてどうするんだという意見は認めるとしても
上記２と３とは、決定的に違うよ
５．そして、お経じゃなく、読める論文にしてくれというのも分かる。でも、それは 論文が成立しているか不成立か とは違う議論だよ
以上
209:１３２人目の素数さん
20/04/21 16:38:28 SIkboWSK.net
なるほど
証明自体は正しいけど論文の体裁が気に入らないという話か
210:１３２人目の素数さん
20/04/21 16:45:50 RBkmWQJ3.net
観測可能な宇宙の広さ
最大1560億光年と表現
URLﾘﾝｸ(ja.wikipedia.org)
最大180 billion light-yearsと表現
URLﾘﾝｸ(en.wikipedia.org)
日本語版、負けてるではないか？
IUT理論の宇宙はどうなるんだろうか？
211:１３２人目の素数さん
20/04/21 16:47:43 kSbymxl4.net
>>182
宗教で草
いやいや、ショルツは単に、「そういえば京都でも同じような話をしたなあ」って言っているだけ
DupuyとUFは望月と同じようなことを言っているだけで、ブログのやり取りは当時と似たようなものだってことだよ
京都で議論した後にSSのレポートが提出されたことを考えれば、進展は全くない
>feel almost philosophical, so one might wonder that one is not looking at the heart of the matter.
これは「（このコメントを見ている人にとって）このブログでの議論はほとんど哲学的に感じられ、問題の核心を見ていないと思うかもしれません。」
ってことだよ
その後に続く部分は、「でもそうじゃないよ」っていう弁明だよ
あと、 >>179 で
>(望月の表記は禁止されていることで有名で （ここは原英文も意味不明です）、テイラーのコメントにもその一部が登場している)
って書いているけど、ここは「テイラーのコメントにあるように、このブログで望月の記号をそのまま書き込むことはできない」くらいの意味
該当する「テイラーのコメント」は恐らくこれのことだろう
>Taylor Dupuy says:
>April 14, 2020 at 5:30 pm
>…
>(last time I tried a double underline it didn’t work out so I’m using double prime this time,
>here we need to take an analytification or formal scheme with log structure)
>…
URLﾘﾝｸ(www.math.columbia.edu)
212:１３２人目の素数さん
20/04/21 16:48:59 RBkmWQJ3.net
JAXAの表現では137億年どまり。さて？
宇宙は137億年前に誕生しました。
URLﾘﾝｸ(www.kids.isas.jaxa.jp)
213:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 16:56:56 QPCMXF1q.net
>>184
どうも
コメントありがとう
>証明自体は正しいけど論文の体裁が気に入らないという話か
現状ではそこまで言っていないと思う、ショルツ先生は
１．繰り返すが、従来は、自分なりに読んで、「Cor3.12がダメで、矛盾を含んでいて、その矛盾は結構深いから、IUTはどうしようもない」という主張だった
２．>>182-183に書いた私の見解は、”Peter Scholze says: April 17, 2020 at 7:15 pm”において、
ショルツ先生曰く「望月IUTは定義が feel almost philosophical で、よって、彼の京都での説明も説得力
214:がないと思った」が、「自分が望月IUTの定義を読めていない可能性もある」と半歩後退したってこと ３．だけど、ショルツ先生 IUT否定の立場は、まだ崩していない。それは、「望月IUTの定義が読めた」となってから 改めての判断でしょうね
215:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 17:00:24 QPCMXF1q.net
>>186
ども
コメントありがとう
その話は、ここはこれで良いでしょう
この後の進展を見ればいい
あと、Dupuy氏は 書き方悪いとか、定義が分かりにくいとか 文句はあるのだろうが
IUT Cor 3.12 が成立していることについては、一歩も後退していないよ
216:１３２人目の素数さん
20/04/21 17:08:49.65 oZSzhraX.net
his notation is famously forbidding, （彼の記法は良く知られているように近寄りがたい〉、
217:１３２人目の素数さん
20/04/21 17:14:46.95 kSbymxl4.net
>>190
マジか
>>186 の後半の主張は撤回します
218:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 17:26:47 QPCMXF1q.net
>>190-191
どうも
まず、私自身は、IUTなど全くのお経（わからん）だが、その前提で（＾＾；
＜ショルツ先生＞
１．IUTをちゃんと読んで理解した上で反論する。IUTはCor3.12不成立で、こうすれば矛盾ができるので、直しようないぞ
２．IUTは書き方悪く、読めないから、勝手に解釈して反論する。IUTはCor3.12不成立で、こうすれば矛盾ができるので、直しようないぞ
この二つの主張は、数学的には全く違うよね
・もし、１だと数学的には重みある発言だ
・もし、２だと「そんな勝手読みして、矛盾ある」って何言っているの？（M先生より） ってことです
ショルツ先生 ”his notation is famously forbidding, （彼の記法は良く知られているように近寄りがたい〉”は
上記の２ってことでしょ？
219:１３２人目の素数さん
20/04/21 17:40:52 kSbymxl4.net
>>192
いやそうはならないでしょう
撤回するのは
>あと、 >>179で
以降だけね
ショルツが言いたいのは、コメントの見かけ上は全然違う話をしているように見えるかもしれないけど、ちゃんとIUTの話をしているんだよ
ってことだろ
220:現代数学の系譜 雑談
20/04/21 18:08:31.95 QPCMXF1q.net
>>192 補足
>＜ショルツ先生＞
> １．IUTをちゃんと読んで理解した上で反論する。IUTはCor3.12不成立で、こうすれば矛盾ができるので、直しようないぞ
> ２．IUTは書き方悪く、読めないから、勝手に解釈して反論する。IUTはCor3.12不成立で、こうすれば矛盾ができるので、直しようないぞ
>この二つの主張は、数学的には全く違うよね
”IUTをちゃんと読んで理解した上で反論する”なら、さすが ショルツ先生だが
”IUTは書き方悪く、読めないから”といった瞬間に、さすがの ショルツ先生も下記のKS says（＝つまりは 名無しさん）と同じレベルの数学の主張になる
（もちろん、KS saysとショルツ先生の数学レベルが同じとは決していわないけれどね、数学の神様から見たら同じだ）
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong Why the Szpiro Conjecture is Still a Conjecture Posted on April 18, 2020 by woit
(抜粋)
KS says: April 20, 2020 at 11:32 am
For more sociological understanding , please let me put about some curious social situation around this issue in Japan.
On the official announcement of acceptance of the papers in Kyoto, two mathematicians Tamagawa and Kashiwara attended there, and Tamagawa is actually well-known expert in the anabelian geometry.But It seems likely that he can not explain about the mathematical matter of IUT in public so far.
In addition , Rigid geometer Fumiharu Kato already published the book “in 2019” about IUT “treated as correct theory” for general audience amazingly, but actually it wouldn’t be sufficient to offer any insight for professional mathematicians.Furthermore , as Tamagawa is , he also has never wrote any rigorous mathematical papers about IUT as far as I know at present.
These facts seems to be indeed mysterious that is , ” whoever did understand and can defense the theory sufficiently?” .
Anyway needless to say , since IUTT use too many and overlevel terminology ,so that if it canno
221:t be expressed with crucial idea for proof , other mathematicians wouldn’t accept it at all.
222:現代数学の系譜 雑談
20/04/21 18:09:57.50 QPCMXF1q.net
>>194
なお、補足しておくが
私は、KS says に大賛成
RIMSがちゃんと、IUTが成り立つことの説明責任を果たせということ
それやってほしいね
223:１３２人目の素数さん
20/04/21 18:16:20 RBkmWQJ3.net
LabCuspってラブカスプっていうの？ラボカスプっていうの？
Lab Cuspって分けてGoogleで翻訳するとラボカスプって出るんだけど。
224:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 18:29:26 QPCMXF1q.net
>>196
さあ、LabCusp と Lab Cusp と ラボカスプ との使い分けね
それは、文脈依存だから、Googleで翻訳では無理ってことじゃない？
225:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 18:31:57 QPCMXF1q.net
>>195
補足
まあ、簡単に
「RIMSとしては、十分に論文を審議して、査読OKを出した。
簡単にｘｘということで、専門的な議論は、今年9月の予定の国際会議で議論します。
会議の結果は報告します」くらいで簡単に一言っておくのもありと思うよ
226:１３２人目の素数さん
20/04/21 19:07:10 yezbS6u6.net
>>192
Woitブログも沈黙しているし。
読みにくいや、手続きでは、内輪とニックネームしか声が拡がらない。
数学の話でないと話が続かない。なのにブログを続けている。
ギャップ指摘で新展開をしたいのだろうが、雑誌掲載の方はいつなのかね。
227:１３２人目の素数さん
20/04/21 19:12:33 gIPp5okj.net
其れは其れでまた企画参加募集せんといかんじゃろ
228:１３２人目の素数さん
20/04/21 20:38:15 O+11g3Eb.net
>>186
forbiddingてそんな意味じゃないから。
辞書くらい引けよ。
229:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 20:53:15 /78llOaT.net
>>199-200
どうもどうも、レスありがとう
ついでに補足しておくと
>>182より
"(e.g., the issue of distinct copies etc.) are very far from the extremely intricate definitions in Mochizuki’s manuscripts (his notation is famously forbidding, some of it surfaced in Taylor’s comments), and feel almost philosophical, so one might wonder that one is not looking at the heart of the matter."
さて
（数学小話）
二人の数学者が議論していました
数学徒A：解析函数の特異点は、ｘｘだ
数学徒B：解析函数の特異点は、ｙｙだ
数学徒A：話が合わないな、解析函数の定義は？ 私は一変数複素関数
数学徒B：話が合わないな、解析函数の定義は？ 私は多変数複素関数
数学者C：なぜ議論の最初に、定義を確認しないの？
ちゃんちゃん
（終り）
数学者の議論では、よく「最初に定義を確認しましょう」なんてやりますよね
で、ショルツ先生、2年後になって
"(e.g., the issue of distinct copies etc.) are very far from the extremely intricate definitions in Mochizuki’s manuscripts (his notation is famously forbidding, some of it surfaced in Taylor’s comments), and feel almost philosophical, so one might wonder that one is not looking at the heart of the matter."
って、どういうこと？
その議論の場で、定義を確認すれば良かったのに～ｗ
定義の確認をせずに議論して、Woitブログで、”feel almost philosophical, so one might wonder that one is not looking at the heart of the matter."とは、なんでしょうかね～？（＾＾
まあ、”あるある”でしょう
数学徒Aからすれば、”おれさま定義はこれだ！”
数学徒Bからすれば、”そんなヘンテコな定義とは想像できなかったんだ～！”
ってね（＾＾
でもねー、望月側からすれば、
「いまさら、なんだ～！」の反面
「いまさらだが、よくぞ言ってくれました～！」（定義を取り違えている主張はほとんど無効だよ～）だな（＾＾；
230:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/21 23:09:43 /78llOaT.net
>>202 訂正と補足
訂正
二人の数学者が議論していました
↓
二人の数学徒が議論していました
補足
＜欧米を含む一般の数学者のＩＵＴへの疑問点整理＞
１．ＳＳ、特にショルツ氏が納得していない
→ＳＳと論点に対し、もう少し分り易い説明がほしい。それを、今度は玉川先生が論争に行くことにしたら？ 星先生を助太刀にして
２．ＩＵＴ自身が分かり難い
→遠アーベル以外の数学者（できればＭ１クラス）に分かる教科書（ＳＧＡにたいするハーツホーン）
３．ＩＵＴ理論への納得性
→過去に、物理学などでは、革命的な理論が出たとき、周辺の人の理解がおいつかないことがあった
数学でも似た例があるが、分からせる努力を怠ってはいけない
（物理学だと、相対性理論とか量子力学など）
あと、情報戦で負けないように、しっかり情報発信をば（＾＾
231:１３２人目の素数さん
20/04/22 00:57:31 4DpaE+Pp.net
>>203
1.は、Stixは５月に予定されていたIUTの国際集会で、昨年７月頃に招待講演者であったが、昨年末頃に名簿から消えていた。コロナより前だった。
（それにNature誌でコメントを拒否して身を引いている）
２０１８年のSSレポートで会議に招待されて論争する場を提供されていた。
レポートの反論コメントに、再反論せず、会議の招待にも出席しないのだから、
雑誌掲載が直後の２月に決定されている。
論争をしてないのはどちら側か考えたら、わざわざ論争に赴かないでしょ。
232:１３２人目の素数さん
20/04/22 02:53:41 703Lsyim.net
>>203
デマ飛ばしまくってあとから責任問われても厚顔な対応しそうだからなあ
日本のネットダメ理系って
233:１３２人目の素数さん
20/04/22 04:54:53.18 cAy7+dD0.net
IUT一派には議論はないね、
隠蔽、口汚い罵倒があるのみ
234:１３２人目の素数さん
20/04/22 04:57:16.70 cAy7+dD0.net
>>204
論争とは笑止千万
罵倒とたかりの間違いだろ
235:１３２人目の素数さん
20/04/22 05:04:03.23 l81dZyRC.net
IUTが何か知らないけど応援しています
236:１３２人目の素数さん
20/04/22 06:51:18 nsMD9Tib.net
>>191
そのくらいの常識的な英語読解力も無いのにネットで歪んだ恣意的解釈の拡散に連日連夜恥ずかし気も無く励んでる理由は何なんでしょうか？
そんな暇があるなら、まず妄想でデマ拡散をしてるレベルの酷い英語力をお直しになられるべきでは？
237:現代数学の系譜 雑談
20/04/22 07:54:20.54 s+irHIkm.net
>>208
＞IUTが何か知らないけど応援しています
同意
同じですｗ（＾＾；
>>209
＞そのくらいの常識的な英語読解力も無いのにネットで歪んだ恣意的解釈の拡散に連日連夜恥ずかし気も無く励んでる理由は何なんでしょうか？
＞そんな暇があるなら、まず妄想でデマ拡散をしてるレベルの酷い英語力をお直しになられるべきでは？
そういうことは言わないの
弘法も筆の誤り、フィールズ賞のショルツ先生も、
定義の確認をしないで議論して、
２年後に”(e.g., the issue of distinct copies etc.) are very far from the extremely intricate definitions in Mochizuki’s manuscripts (his notation is famously forbidding, some of it surfaced in Taylor’s comments), and feel almost philosophical,”
と宣うのです
正直でいい
そういうことは、みなあるものですよ
238:現代数学の系譜 雑談
20/04/22 07:57:54.59 s+irHIkm.net
>>210
>＞IUTが何か知らないけど応援しています
>同意
>同じですｗ（＾＾；
応援はしますが
擁護はしません
擁護はできません
∵IUTが何か知らないから
でも、アンチＩＵＴ派の理不尽な議論は
叩きます
潰します
消毒液を撒きに行きますｗ（＾＾；
239:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 08:25:42 s+irHIkm.net
>>211
補足
>でも、アンチＩＵＴ派の理不尽な議論は
>叩きます
例えば、特殊サギ（振り込めサギとも）がある
いま、複数の人が、芝居でいろいろ電話を次々に掛けて、お金をだまし取る手口
「数学でＲＩＭＳと望月とかぐるで、数学の特殊サギ」？
１．全く、アホとしか言いようのない 荒唐無稽な議論です
２．柏原、玉川両先生が、サギの片棒を担ぐ？
３．数学の論文で、定義を複雑＆曖昧に書いて、複雑怪奇なことを、500ページ～600ページかくと立派な数学論文になり、ＲＩＭＳの査読者がそれを認めた？
全く、これは議論とさえ呼べない幼稚さです
数学では、ありえないでしょ
かつ、米国にもＩＵＴ理解者がいる、英国にもいる
その説明が、上記のＲＩＭＳ特殊サギ説では、全くつかないでしょう
叩きます
潰しますよ
ＩＵＴ本スレでは
まっとうな数学の議論をお願いしますよ
240:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 08:28:32 gQCe02i1.net
>>211
＞消毒液を撒きに行きます
来るに及ばぬ
こちらから撒かせて頂く
💀💀💀💀💩💀💀💀💀
💀💀💀💩💀💀💀💀💀
💀💀💩💀💀💀💩💀💀
💀💀💀💩💀💩💀💩💀
💩💀💀💀💩💀💀💀💩
💀💩💀💩💀💩💀💀💀
💀💀💩💀💀💀💩💀💀
💀💀💀💀💀💩💀💀💀
💀💀💀💀💩💀💀💀💀
241:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 08:28:49 s+irHIkm.net
>>212 補足の補足
複雑すぎて
海外では理解者が少ない
評判が悪い
それは認めます
それは
今年の国際会議で
きちんと説明責任を果たすべき
242:１３２人目の素数さん
20/04/22 10:25:02.60 mg08g5qs.net
結局IUTスレは
ポジティブ
ネガティブ
ニュートラル
の3タイプスレに分立してるんですね？
243:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 10:39:37 P47FIt3U.net
>>214
補足
(引用開始)
それは
今年の国際会議で
きちんと説明責任を果たすべき
(引用終り)
RIMSとしては
１．IUT論文の論文審査は、数学として厳正に行った
２．RIMSとして、IUT論文は適正に成立していると自信をもって断言します
３．数学の専門的な議論は、今年予定の国際会議の中で行います
くらいを、柏原・玉川両先生の名前で、RIMSのホームページにでも出せば良い
あと、やはり日本数学会でも取り上げて議論すべきと思う
日本の数学者が海外から「どうなっての？」と聞かれて、「さっぱり分からない」では、どうなのでしょうか（＾＾
244:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 10:43:46 P47FIt3U.net
>>215
同意
思うに
・ニュートラル 本体スレで 数学的な是非とIUTをどう理解すべきかを議論する
・ポジティブ ここ（応援団ｗ）
・ネガティブ
そういう棲み分けができると良いですね（＾＾
245:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 10:54:06 P47FIt3U.net
>>217
補足
＞・ニュートラル 本体スレで 数学的な是非とIUTをどう理解すべきかを議論する
本体スレでは、「IUTって数学的にはなんなの？」って話をしてほしいんだよね
ところが、アンチが、「RIMSがサギだ」とか、アホとしか言いようのない話（>>212）が主になってしまっていた
まあ ５ｃｈらしいけどねｗ（＾＾；
多少でも改善されれば
御の字です（誤用説もあるが）（＾＾
（参考）
URLﾘﾝｸ(news.mynavi.jp)
マイナビニュース
「御の字」の正しい使い方、誤った使い方【ビジネス用語】CHIGAKO
(抜粋)
今回のテーマは、使い方や意味を勘違いされがちな用語「御の字」です。ある調査によると、実に半数以上の人が誤用しているのだとか。本稿では、そんな「御の字」の正しい意味と使い方について解説します。
■「御の字」の意味
「御の字」の意味は、「非常に結構なこと。望んだことがかなって十分満足できること」「大いに有り難い」「最上のもの」という意味です。江戸時代に、遊女たちが「ありんす」「ざんす」といった「郭詩・郭言葉(くるわことば)」を用いていましたが、「御の字」もその一つです。
■「御の字」の誤用
本来、「十分満足できること」「最上のもの」という意味の「御の字」ですが、文化庁が平成20年度に実施した「国語に関する世論調査」によると、「70点取れれば御の字だ」と言えば、「70点取れれば一応、納得できる」という意味であると答えた人が51.4%と半数を超え、本来の意味である「70点取れれば大いに有り難い」と答えた人(38.5%)を上回りました。
また、10～60代の全年代において「一応、納得できる」と回答した人の方の割合が高かったことから、年齢に関わらず多くの人が「満足ではないけれど、納得できる」という意味で「御の字」を使用していることが伺えます。しかしながら、「御の字」の意味としては間違いです。
246:粋蕎 ◆C2UdlLHDRI
20/04/22 11:33:42 X38faA9i.net
御心配なく
Inter-universal geometry と ABC予想 否定派
URLﾘﾝｸ(rio2016.2ch.sc)
247:4/ Inter-universal geometry と ABC予想 51 http://rio2016.5ch.net/test/read.cgi/math/1587468367/
248:１３２人目の素数さん
20/04/22 12:11:04.77 C1FShPND.net
３０年後に「このゴタゴタは何だったんだろう」と総括するときがくる。
ほとんど確実に、
ABCの正誤に拘わらず、
数学の担い手が、数学者からAIに移行する兆しの事件
「
と評価されるだろ。 その意味では、餅は「最後の数学者」と評価されるかもしれない。
249:１３２人目の素数さん
20/04/22 12:15:47.42 mg08g5qs.net
ならないよｗ
セオリストの仕事自体がオンリーONEだからパターン解析出来ないでしょ？
プログラム作れないでしょw
250:１３２人目の素数さん
20/04/22 12:17:26.72 mg08g5qs.net
だからもっちーに疑義を唱える人がいても諮りきれないままで長引いてるんだし
251:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 12:47:53 gQCe02i1.net
mg08g5qs は数学を全く理解できないド素人
💀💀💀💀💩💀💀💀💀
💀💀💀💩💀💀💀💀💀
💀💀💩💀💀💀💩💀💀
💀💀💀💩💀💩💀💩💀
💩💀💀💀💩💀💀💀💩
💀💩💀💩💀💩💀💀💀
💀💀💩💀💀💀💩💀💀
💀💀💀💀💀💩💀💀💀
💀💀💀💀💩💀💀💀💀
252:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 13:36:24 P47FIt3U.net
>>218 補足
>＞・ニュートラル 本体スレで 数学的な是非とIUTをどう理解すべきかを議論する
>本体スレでは、「IUTって数学的にはなんなの？」って話をしてほしいんだよね
＜本体スレに期待している話題＞（もうIUTはRIMSにアクセプトされのだから、それを正として）
１．IUT 数学の革新性：なにがどう革新的なのか？ （いままでの遠アーベルの斜め上と思うが、どこがどうなのか？（＾＾； ）
２．上記と関連するが、IUT数学とは何か？
仮に、貴方が大学数学科の数論の教授であったとして
今年、M1で入ってきた数学科の研究生に
上記１ あるいは２ を聞かれたときに
１分以内で説明してください
っていう課題です
だから、大学数学科の学部の知識は前提で良い
長い話はいらない。１分で300字くらいしゃべれるよ
まあ、絵や図を書いて、３分間にしてもいいけどね
そういう話がないから
一般数学者からも、「IUT？ あれはわけわからん！」なんて話になるのです
そろそろそういう議論があって良いと思う（＾＾
253:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 13:44:59 P47FIt3U.net
>>220
> ３０年後に「このゴタゴタは何だったんだろう」と総括するときがくる。
>ほとんど確実に、
同意ｗ（＾＾；
そして、数学史における珍事として、歴史に刻まれることになると思う
私たちは、いまその歴史の証言者なのです
目の前に展開される、数学史上の珍事
ヤジウマとしては、実に面白いね
海外数学者を巻き込んだ大混乱
そして、プロレスで言えば、
ヒーローは最初はやられるのです
ぼこぼこに
ヒーロー危うしとなったその瞬間
逆転劇が始まるのです
そういう展開を期待してみていますｗw（＾＾；
254:１３２人目の素数さん
20/04/22 13:57:33 mg08g5qs.net
>>213
ｗｗｗｗ
この赤ちゃん👶レベルｗｗｗｗ
👶🏻🍼👶🏼🍼👶🏽🍼🍼👶🏾👶🏿🍼
ｗｗｗｗ
たいへ～ん！
変なお客様ご来店で
哺乳瓶足りな～ぃ！ｗｗｗｗ
スレ↑レベル↓
下がっちゃ↑～↓ぅ！ｗｗｗｗ
255:１３２人目の素数さん
20/04/22 14:04:04 mg08g5qs.net
>>223
第一線の理論家の仕事がＡＩに替れるのを期待するなら
医学の進歩をまず期待しないとｗ
ヒューマンニューロサイエンスによるセオリストの脳科学(ｗ)が解明されたら、情報工学がセオリスト脳を模倣は出来そうｗ
256:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 14:05:50 P47FIt3U.net
>>226
>ｗｗｗｗ
>この赤ちゃんレベルｗｗｗｗ
よくお分かりですね（＾＾；
彼とは、2017年の中頃からのお付き合いでね
旧知の仲です、まあ>>2 テンプレご参照
「5ch反IUT論装戦線」というネーミングは
”新左翼”風なのでしょうねｗ
彼の言動全般が、”新左翼”風です（反体制より）
いま、50過ぎのおっさんらしい です（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
新左翼
URLﾘﾝｸ(ja.wikipedia.org)
日本の新左翼
257:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 14:10:34 P47FIt3U.net
>>227
>第一線の理論家の仕事がＡＩに替れるのを期待するなら
>医学の進歩をまず期待しないとｗ
同意です
あと、MathematicaとかAI組込みになって
数学ソフトのAI化が進むかも、というか、もう始まっている気がする
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
Mathematica
258:１３２人目の素数さん
20/04/22 14:17:06 mg08g5qs.net
政治志向も👶🏼🍼みたい...
259:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 14:34:45 P47FIt3U.net
>>190&>>192 補足
＞his notation is famously forbidding, （彼の記法は良く知られているように近寄りがたい〉、
＞＜ショルツ先生＞
＞ ２．IUTは書き方悪く、読めないから、勝手に解釈して反論する。IUTはCor3.12不成立で、こうすれば矛盾ができるので、直しようないぞ
＞ショルツ先生 ”his notation is famously forbidding, （彼の記法は良く知られているように近寄りがたい〉”は
＞上記の２ってことでしょ？
戻る
”forbiddingとは”下記ですね
うーん、これ2年後にゲロ（自白）するかね
”定義の確認をしないで議論して”いたという(>>210)
普通、数学の議論は、定義の確認から入って
そして、あなたの論文の”notation”は
「こういうことですか？ こう解釈しますよ」と
自分の解釈を述べて、そこの一致を見ない限り
議論を前に進めても無意味ですよね、その２年前の議論って
（参考）
URLﾘﾝｸ(ejje.weblio.jp)
weblio
forbiddingとは
主な意味
近づきがたい、ひるませるほど急な、怖い、ものすごい
研究社 新英和中辞典での「forbidding」の意味
forbidding
アクセント・音節for・bid・ding
形容詞
1 近づきがたい; ひるませるほど急な[険しい].
・a forbidding cliff 険しい絶壁.
2 怖い，ものすごい.
・a forbidding look 怖い顔.
260:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 14:35:33 P47FIt3U.net
>>230
＞政治志向もみたい...
同意です
良く見ていますね（＾＾
261:１３２人目の素数さん
20/04/22 16:00:20.07 2UFsGv1q.net
自分は編集委員長やってるけど公平性は保たれてるから！とか言ってるけど、
編集委員の権限によって知り得た内情を告発するぞと恫喝して強行アクセプトに至ったわけだよね。。。
262:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 16:59:38 P47FIt3U.net
>>233
>自分は編集委員長やってるけど公平性は保たれてるから！とか言ってるけど、
>編集委員の権限によって知り得た内情を告発するぞと恫喝して強行アクセプトに至ったわけだよね。。。
実際は、さらにその上ですね
つまり、RIMSは「アクセプトしました」って記者会見までやってしまったのですねｗ（＾＾；
１．普通の論文なら、査読OKでは 記者会見やりませんよね
黙って、例えば7月ころに、突然RIMSの別冊でIUTが出て、世間は「あれ、IUT通って出版されたんだ」と思う
２．では、RIMSはなぜ記者会見をしたのか？
名探偵コナンに聞くと
１）やりたかったからぁ～！（これはチコちゃんだった（＾＾； ）
２）RIMSとしても、積極的にIUTをPRしたかった
３．まあ、個人的には
１）やっぱり、1月の望月ブログは影響したでしょうね
２）査読は、２月にOKの結論を出した
３）でRIMSとしては、査読を受けて 「新型コロナで欧州大混乱で出版日不明なので、一発記者会見やろう！！」みたいなことかと思います
迷探偵の推理です
QED（＾＾；
263:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 21:47:37 s+irHIkm.net
>>194 追加
下記 ”Jay Watt says”の
As an amusing reminder, here’s an (incomplete) list of “incomplete proofs”
URLﾘﾝｸ(en.wikipedia.org)
これ面白いね（＾＾；
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong Why the Szpiro Conjecture is Still a Conjecture Posted on April 18, 2020 by woit
(抜粋)
Jay Watt says:
April 21, 2020 at 12:23 pm
I have been following this drama for quite a while now and there’re a couple of things I just don’t get:
1. Why do people assume that the referees (if there were any) really understood the papers and should thus come out and explain it?
Most of you have been refereeing papers yourself. Do you read and c
264:heck every line? That’s impossible, and I’m open about this in every report I write. Even if you do think you got it all, does your judgment make the paper correct? We’re all just humans and prone to make errors. As an amusing reminder, here’s an (incomplete) list of “incomplete proofs”: https://en.wikipedia.org/wiki/List_of_incomplete_proofs. 以下略
265:１３２人目の素数さん
20/04/22 22:06:40 M9EJX72X.net
Iutは、どっちにせよ、先に進めるべきと思う。
いろいろな応用成果出たら疑義のある派も真剣に論駁せざるを得ないだろ。
結局、3.12の指摘も空振りな状況だとすると、書き方以外に目ぼしい反論もないんだろ？
266:１３２人目の素数さん
20/04/22 22:37:11 gJEljt32.net
4/18の更新で何か変わったのかな？
267:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:02:23 gQCe02i1.net
>>228
貴様 右翼だろｗ
右翼団体
URLﾘﾝｸ(ja.wikipedia.org)
268:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 23:02:46 s+irHIkm.net
>>237
> 4/18の更新で何か変わったのかな？
下記でしょ
なんか、woit氏はもっと続けたいみたいで、ページと表題を変えたんだと思う
ショルツ先生が居なくなったので、数学の深い議論ではなく、一般論になっていると思う
（参考）
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong Why the Szpiro Conjecture is Still a Conjecture Posted on April 18, 2020 by woit
(抜粋)
woit氏
There has been a remarkable discussion going on for the past couple weeks in the comment section of this blog posting, which gives a very clear picture of the problems with Mochizuki’s claimed proof of the Szpiro conjecture. These problems were first explained in the 2018 Scholze-Stix document Why abc is still a conjecture.
In order to make this discussion more legible, and provide a form for it that can be consulted and distributed outside my blog software, I’ve put together an edited version of the discussion. I’ll update this document if the discussion continues, but it seemed to me to now be winding down.
（終り）
DeepL翻訳 一部修正
このブログ記事のコメント欄では、ここ数週間、注目すべき議論が行われており、望月氏が主張しているSzpiro 憶測の証明の問題点を非常に明確に示しています。これらの問題点は、2018年のScholze-Stixのドキュメント「Why abc is still a conjecture」で最初に説明されています。
この議論をより読みやすくするために、また、私のブログソフトの外でも相談したり配布したりできる形を提供するために、この議論の編集版をまとめてみました。議論が続けばこの文書を更新しますが、私には今は風力が低下しているように見えましす。
269:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 23:06:43 s+irHIkm.net
>>238
おサルさん、ご苦労さん
新左翼に反応したのかｗ（＾＾；
60年安保があって、70年安保があって
80年にも、安保改定の年でちょっとあったんだが、60年や70年に比べると、大したことはなかったのだが
さて、80年頃の新左翼の生き残りとして、1980年に大学18歳とすると、今年57～58歳の計算になる
まあ、50歳後半だな
ご苦労さまですｗ（＾＾
270:１３２人目の素数さん
20/04/22 23:07:38 gJEljt32.net
Szpiro Conjectureとかって出てるけどスピロ氏4/18に亡くなってる。
271:１３２人目の素数さん
20/04/22 23:12:55 gJEljt32.net
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-04-18)
こっちの話だったんだが。
ブログで話題になった3.12ってのは上記のp173以降の事なのかな？
Corollary 3.12. (Log-v
272:olume Estimates for Θ-Pilot Objects) Suppose that we are in the situation of Theorem 3.11. Write ここ4/18で変わったのかなとか思っただけ。
273:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 23:14:26 s+irHIkm.net
>>236
>Iutは、どっちにせよ、先に進めるべきと思う。
>いろいろな応用成果出たら疑義のある派も真剣に論駁せざるを得ないだろ。
同意です
IUT定理（特にCor3.12など）に納得性が無い点も、受けない要因と思う
その点、Kirti Joshi ”On Mochizuki’s idea of Anabelomorphy and its applications”
”26 Perfectoid algebraic geometry as an example of anabelomorphy 61”は注目しています
ショルツ先生のPerfectoidと望月理論の関連がつけば、面白い
”[DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.”なんてのも、予告だけはあるｗ（＾＾；
でも、ショルツ先生に間違いを指摘されて後、改訂版出すと言ってから、まだ出ていない
さて、どうなることか
”バシっ”としたモノ（論文）が出れば、決定打かも
（参考）
URLﾘﾝｸ(arxiv.org)
On Mochizuki’s idea of Anabelomorphy and its applications
Kirti Joshi
March 5, 2020
(抜粋)
26 Perfectoid algebraic geometry as an example of anabelomorphy 61
Now let me record the following observation which I made in the course of writing [Jos19a] and [Jos19b].
A detailed treatment of assertions of this section will be provided in [DJ] where we establish many results in parallel with classical anabelian geometry.
References
[DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.
274:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 23:30:06 s+irHIkm.net
>>242
＞ここ4/18で変わったのかなとか思っただけ。
まず、その話は、下記の更新情報を見ると、Corollary 3.12は変わってないと分かる
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 最新情報
(抜粋)
2020年04月18日
・（論文）修正版を更新（修正箇所のリスト）：
Inter-universal Teichmuller Theory III: Canonical Splittings of
the Log-theta-lattice.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
（修正箇所のリスト）
・Corrected misprints ("resticting" ---> "restricting", 2 instances) in Remark 1.1.1, (ii)
・Corrected a misprint ("taulological" ---> "tautological") in Remark 1.1.2, (i)
（終り）
>ブログで話題になった3.12ってのは上記のp173以降の事なのかな？
>Corollary 3.12. (Log-volume Estimates for Θ-Pilot Objects) Suppose that we are in the situation of Theorem 3.11. Write
答え：Yes
Corollary 3.12.の話は、下記の（および関連文書）のところを読んでみて（ショルツ先生との議論）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 過去と現在の研究
・2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
（および関連文書）
275:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/22 23:36:44 s+irHIkm.net
>>241
>Szpiro Conjectureとかって出てるけどスピロ氏4/18に亡くなってる。
ありがとう。メモ貼っておく
（参考）
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
Lucien Szpiro (23 December 1941 ? 18 April 2020) was a French mathematician known for his work in number theory, arithmetic geometry, and commutative algebra. He formulated Szpiro's conjecture and was a Distinguished Professor at the CUNY Graduate Center and an emeritus Director of Research [fr] at the CNRS.
URLﾘﾝｸ(upload.wikimedia.org)
Early life and education
Lucien Szpiro was born on 23 December 1941 in Paris, France.[1] Szpiro attended Paris-Sud University where he earned his Ph.D. under Pierre Samuel.[1] His doctoral work was heavily influenced by the seminars of Maurice Auslander, Claude Chevalley, and Alexander Grothendieck.[1] He earned his Doctorat d'