Inter-universal geometry と ABC予想 49

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

273: １３２人目の素数さん [sage] 2020/04/12(日) 19:31:36.66 ID:hAg37Ryy

>>261 追加
>だから、「なんでこんなレベルの書き込みが多いんだろ」というのは
>”IUTだめだめにしたい一心で書いているから”という説明しかありえないよね

＜事実を整理しておこう＞
１．4月3日（金）に RIMS 柏原先生、玉川先生両名で 記者会見をした
　・IUT論文の査読完了
　・査読OKは、2月の会議で結論が出た
　・「論文の証明は正しいと思って貰って良い」と強調した
　（数学を知っている人向けなら、これは強調するまでもないこと なのだが、一般マスコミ向け発言でしょう）
２．Woitのブログで、Nature誌のニュース報道を受けて、RIMSの査読OKへの疑問表明あり
　・そこに、ショルツ氏も意見を書き込んだが、その内容は2018年の京都でのレポートで報告されている内容を出なかった
　・David Michael Roberts氏もカキコしたが、ショルツ氏に賛同で、それは従来の意見を出ない
　・一方、Dupuy氏とJoshi氏とも、IUT Cor 3.12 含めて問題ないという意見 （ちゃんと論文出すよという）
　・Vesselin Dimitrov氏も、議論に深入りしていないが、どちらかと言えば、IUT肯定派
３．さて、査読について
　・当然、2018年のSSの京都での議論は検討済みで、それでも問題ないという判断で間違いない（論理的にそれ以外にありえない）
　・査読の経過やレフェリーを公表する仕組みはない、それが普通で、RIMSも同じ
　・今回のプレス発表が、異例中の異例で、マスコミ注目のIUTの特例だったことは確か
４．延期になったが、今年４回の国際会議が予定されているのだ
　・遠アーベルを含めて、IUTの査読の是非（というか「IUTの証明が数学的にどうなのか？」）も当然議論されるはずなのです
５．なお ５ｃｈなんて、場末の学会ごっこ では、本格的な まともな数学の議論はです、ムリですｗ
　（IUT成立派は、あんまり必死にｗ、議論しないようにしましょう！　ただ、淡々と平然と、IUT成立を主張しましょうね！ｗ（＾＾；　）

じゃ、私は IUT応援スレに戻る
（Inter-universal geometry と ABC予想 (応援スレ) 44 https://rio2016.5ch.net/test/read.cgi/math/1586655469/1- ：ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1586650355/273

287: １３２人目の素数さん [sage] 2020/04/12(日) 20:14:08.97 ID:hAg37Ryy

>>280 追加
>越川が3.12を認めてないのは知ってるよ。次いでいうと「証明ちゃうやん」という肉声も。

過去スレのやり取りで、下記があったよ
「証明ちゃうやん」は、下記NEW !! (2020-03-22) 以前の話でしょ？
（参考）
Inter-universal geometry と ABC 予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/428-431
(抜粋)
428 名前：１３２人目の素数さん[sage] 投稿日：2020/03/23 ID:Ks+XO6mC
星くん「さぁ、早くCorollary 3.12の証明を見せてくれ」
望「でも、いくら友達でも、それだけは……」
星くん「だから人目につかないここまで来たんじゃないか。1回きり見せてくれれば、
　　それで僕は満足するんだ。お願いだから、ネネ、いいだろう？」

431 自分：１３２人目の素数さん[sage] 投稿日：2020/03/23 ID:8hlHRLPg
モッチ「3.12の証明？ ホシちゃん、君はまだ PDF NEW !! (2020-03-22) を見ていないようだね」
ホシ「モッチ先生、まだ見てなかったです」
モッチ「NEW !! (2020-03-22)に書いたから、Corollary 3.12の証明は、もう秘密ではないのだよ」
http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
望月新一論文
宇宙際Teichmuller理論
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-03-22)
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
P173
Corollary 3.12. (Log-volume Estimates for Θ-Pilot Objects) Suppose
that we are in the situation of Theorem 3.11. Write・・
P174
Proof. We begin by observing that, since |log(q)| > 0, we may assume without loss
of generality in the remainder of the proof that・・
P175
Now we proceed to review precisely what is achieved by the various portions of
Theorem 3.11 and, indeed, by the theory developed thus far in the present series of
papers. This review leads naturally to an interpretation of the theory that gives rise
to the inequality asserted in the statement of Corollary 3.12. For ease of reference,
　・
　・
P185
QED

http://rio2016.5ch.net/test/read.cgi/math/1586650355/287

339: １３２人目の素数さん [] 2020/04/12(日) 21:49:10.13 ID:/qSNNgIO

＜引用＞
ピーター・ショルツェ
2020年4月6日 4:54 pm
テイラーさん、ご回答ありがとうございます
（略）
あなたの四つ目の点については、私は完全な多同型をどうしたいのか
完全に途方に暮れています。
読者の便宜のために カテゴリCの2つの同型物体AとBの間の完全多同型は、
AとBの間のすべての同型の集合です。
はっきり言って、これは（カテゴリの等価性までは）全くデータがなく、
固有の完全多義同型が存在するので、「一つを選ぶ」ことはできません
（というか、常に一つだけを選ぶことができます）。

一方、あるカテゴリ内のオブジェクトを識別するためには、特定の同型を選ぶ必要があります。
もちろん、どれか一つだけを選べばいいのですが、全部を選ぶことはできません!
AとBが集合で、a∈Aが要素だとすると、完全多同型の下でのBのaの像はどうなるのでしょうか？
これでは意味がありません。

望月は京都で何度も言っていますが、AとBが明らかな同型性を介して同定されたときに、
ある図は同型にならないので（彼の状況では普通に存在します）、
完全多同型に沿ってのみ同定しなければならないということを、何度も言っています。

しかし、（彼の状況では）AとBの間には、ダイアグラムをコミュートさせるような同型性は一つもありません。
では、完全多相同型はどのように役立つのでしょうか？

対数マップを場の自動代型で前後に合成して場のマップにすることはできません！（
私は、対数マップを場のマップにしたいと思っています。
（略）
私が理解しているところでは、スティックスと私の原稿に対する異議申し立ては、
許されないいくつかの同定を行ったということです。
これはまさに私が話していた識別です。望月はπ1(X)の無限に多くの明瞭なコピーを考慮し、
完全な多同型に沿った同定を自分自身に許可しているに過ぎません。
私たちは、この選択と一致するが、私たちの固定曲線X0についての実際のπ1(X0)と等しい
すべてのπ1(X)を一旦取って、
同一性写像に沿ってそれらを同定するときには一致しない図を見ていません。
いずれにしても、X'sからπ1(X)sへの通過は、私の前のコメントで議論したように、
余分な柔軟性を与えていません。

http://rio2016.5ch.net/test/read.cgi/math/1586650355/339

上下前次 1-新書関写板覧索設栞歴

あと 654 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.019s