20/05/25 23:50:50 eyKRxUQp.net
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
（参考）
URLﾘﾝｸ(mainichi.jp)
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
URLﾘﾝｸ(cdn.mainichi.jp)
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
URLﾘﾝｸ(www.youtube.com)
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
2:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/25 23:52:32 eyKRxUQp.net
＜前スレより再録＞
スレ46 ｽﾚﾘﾝｸ(math板:273番)
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
スレ46 ｽﾚﾘﾝｸ(math板:883番)
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、本体スレでやれよｗ（＾＾；
3:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/25 23:53:00 eyKRxUQp.net
なお、
おサル＝サイコパスのピエロ（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なIUTアンチ
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
（旧スレが1000オーバー（又は間近）で、新スレを立てた）
つづく
4:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/25 23:53:18 eyKRxUQp.net
つづき
（参考）
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
math jin：（IUTT情報サイト） URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星裕一の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (2018) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
山下剛サーベイ （Indexが充実しているので、IUT辞書として使える）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.
URLﾘﾝｸ(ja.yourpedia.org) 宇宙際タイヒミュラー理論 Yourpedia
URLﾘﾝｸ(ja.wikipedia.org) 宇宙際タイヒミュラー理論 Wikipedia
URLﾘﾝｸ(en.wikipedia.org) 英Inter-universal Teichmuller theory 英 Wikipedia
URLﾘﾝｸ(ja.wikipedia.org) ABC予想
URLﾘﾝｸ(en.wikipedia.org) 英abc conjecture
URLﾘﾝｸ(www.uvm.edu)
[ Taylor Dupuy's Homepage]論文集
URLﾘﾝｸ(www.math.arizona.edu) から Recent Research へ入る
Kirti Joshi Recent Research論文集
つづく
(deleted an unsolicited ad)
5:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/25 23:53:34 eyKRxUQp.net
つづき
＜アンチIUTサイト＞
URLﾘﾝｸ(www.math.columbia.edu) （woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
URLﾘﾝｸ(taro-nishino.blogspot.com)（TARO-NISHINOの日記）
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する URLﾘﾝｸ(taro-nishino.blogspot.com)
前スレ一覧
（含 本スレなど）
ABC予想が解かれたかもしれんぞ！
ｽﾚﾘﾝｸ(math板)
ABC予想が解かれたかもしれんぞ！ Part2
ｽﾚﾘﾝｸ(math板)
ABC予想が解かれたかもしれんぞ！ Part3
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想
URLﾘﾝｸ(uni.2ch.net)
Inter-universal geometry と ABC予想 2
URLﾘﾝｸ(uni.2ch.net)
Inter-universal geometry と ABC予想 3
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 4
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 5
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 6
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 7
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 8
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 9
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 10
ｽﾚﾘﾝｸ(math板)
つづく
6:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/25 23:53:46 eyKRxUQp.net
つづき
Inter-universal geometry と ABC予想 11
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 12
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 13
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 14
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 15
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 16
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 17
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 18
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 19
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 20
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 21
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 22
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 23
ｽﾚﾘﾝｸ(math板)
つづく
7:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/25 23:54:03 eyKRxUQp.net
つづき
Inter-universal geometry と ABC予想 24
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 25
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 26
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 27
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 28
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 29
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 30
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 31
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 32
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 33
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 34
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 35
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 36
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 37
ｽﾚﾘﾝｸ(math板)
つづく
8:現代数学の系譜 雑談
20/05/25 23:54:17.50 eyKRxUQp.net
つづき
Inter-universal geometry と ABC予想 38
URLﾘﾝｸ(rio2016.2ch.net)
Inter-universal geometry と ABC予想 39
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 40
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 41
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 42
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 43
ｽﾚﾘﾝｸ(math板) 当応援スレのスタートスレ
ｽﾚﾘﾝｸ(math板) IUT本体スレ
ｽﾚﾘﾝｸ(math板) 隔離スレ
Inter-universal geometry と ABC予想 (応援スレ) 44
ｽﾚﾘﾝｸ(math板)
つづく
9:現代数学の系譜 雑談
20/05/25 23:54:31.25 eyKRxUQp.net
つづき
Inter-universal geometry と ABC予想 (応援スレ) 45
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 46
ｽﾚﾘﾝｸ(math板)
なお IUT本体スレ最新
Inter-universal geometry と ABC予想 53
ｽﾚﾘﾝｸ(math板)
テンプレは以上です
10:１３２人目の素数さん
20/05/26 01:01:21.27 L6K3YC5B.net
乙
11:現代数学の系譜 雑談
20/05/26 07:11:33.28 Z6gj5ozm.net
>>10
どうも
レスありがとう
まあ、ゆっくり事態を見守りましょう
緊急事態宣言解除で
RIMSにも動きあるでしょう
中止になった国際会議についても
また、なにか動きが出てくると思います
12:現代数学の系譜 雑談
20/05/26 07:44:27.99 Z6gj5ozm.net
IUTでは、楕円曲線の知識が常識として使われているようなので、下記には目を通しておくのが良いだろう
（「楕円曲線をちゃんと理解してから、IUT」とは思わない方が良いと思うな。楕円曲線論自身、まだまだ解明されていない部分が多いから）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
楕円曲線
(抜粋)
数学における楕円曲線（だえんきょくせん、英: elliptic curve）とは種数 1 の非特異な射影代数曲線、さらに一般的には、特定の基点 O を持つ種数 1 の代数曲線を言う[1]。
楕円曲線上の点に対し、積に関して、先述の点 O を単位元とする（必ず可換な）群をなすように、積を代数的に定義することができる。すなわち楕円曲線はアーベル多様体である。
楕円曲線は、代数幾何学的には、射影平面 P2 の中の三次の平面代数曲線として見ることもできる[2]。
URLﾘﾝｸ(en.wikipedia.org)
Elliptic curve
13:現代数学の系譜 雑談
20/05/26 07:55:02.39 Z6gj5ozm.net
>>5
あと
woitブログ （下記）でのショルツ ｖｓ Dupuyを纏めておくと
１．表面的には引き分けだが
２．結局、ショルツ氏は Dupuy氏を納得させることができなかった
３．のみならず、IUTの望月氏の定義が難しいなどと、理解出来ていないことを露呈
４．あとは、 by e-mailとなったのが5月1日だが
５．5月3日に Dupuy氏
”The manuscript with Stix has problems. The worst being the diagram in section 2.2. That does not appear in Mochizuki’s manuscript. I think people should stop citing it.”
などと、公言さている
６．ショルツ氏敗勢とみた。 Stix 氏は、ノーコメントで沈黙中
７．そのうち、もっとハッキリとショルツ氏の間違いが分かってくるでしょう。そう思っています
（参考）
URLﾘﾝｸ(www.math.columbia.edu) （woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
(抜粋)
Peter Scholze says:
May 1, 2020 at 4:42 pm
The same happens for everything else I’ve seen in IUT or your comments.
I’m happy to continue any further discussions by e-mail.
URLﾘﾝｸ(twitter.com)
math_jinブログ
math_jinさんがリツイート
Taylor Dupuy
5月3日
(抜粋)
The manuscript with Stix has problems. The worst being the diagram in section 2.2. That does not appear in Mochizuki’s manuscript. I think people should stop citing it.
(deleted an unsolicited ad)
14:現代数学の系譜 雑談
20/05/26 07:56:06.16 Z6gj5ozm.net
>>13 タイポ訂正
”The manuscript with Stix has problems. The worst being the diagram in section 2.2. That does not appear in Mochizuki’s manuscript. I think people should stop citing it.”
などと、公言さている
↓
”The manuscript with Stix has problems. The worst being the diagram in section 2.2. That does not appear in Mochizuki’s manuscript. I think people should stop citing it.”
などと、公言されている
分かると思うが（＾＾；
15:粋蕎
20/05/26 10:36:06.50 assh5D2W.net
>>前スレ979
> いやいや、縄文人がこの島にたどり着いたのって旧石器時代だから
> ２万年以上前だよ 国とか作るレベルじゃないよ
其処は別に否定しとらんぞ、読めぃ。日本列島から朝鮮に渡り､
後に帰って来るなり取り残されるなりした可能性が有る云う説の話｡
国ぃ言う話は少なくとも紀元前3世紀を遠に過ぎた頃の話じゃな｡
神武天皇とは言うが其の時代に天皇と云う言葉は無く、天皇と云う言葉が生まれた当時からの天皇から
後付けで当時の天皇の祖先に与えられた称号である事は想像に難くない｡
> おや、あなた、皇室信奉者？
>
> いまどきそんなこと自慢する人いるの？
>
> まるでフランスの王党派だね
儂にとっては、どうでもいい事。むしろもっと神道法王として機能されたい｡
其れに伴う重っ怠い上に金喰いの現状を劇的に改善されたい｡
16:粋蕎
20/05/26 10:38:52.71 assh5D2W.net
第六天魔王5ch反IUT論装戦線お猿の一石めーくん維新ﾁﾞﾁﾞｯﾁｬﾏ ◆y7fKJ8VsjM の無政府主義は恐ろしい
17:現代数学の系譜 雑談
20/05/26 10:47:05.05 /1WeSRXo.net
専用ヴらウザのコテハン設定ついでに書く
アンチが、IUTを分からないので無視されるの、京都限定定理だのと宣う
しかし、IUTがABCの解決に繋がっている以上、無視も京都限定定理も、あり得ない！
昔、ガウスが フェルマーの最終定理を”孤立してて証明できるかどうかも分からない問題”と切り捨てたことは有名だが
ABCは、定理なのかまだ予想なのか？ これは数論研究者にとって大問題で、無視も京都限定もありえないのです
（参考）
URLﾘﾝｸ(dic.nicovideo.jp)
カール・フリードリヒ・ガウス ニコニコ大百科
フェルマーの最終定理に全く興味を持っていなかった。
ガウスの弁によると「こんな孤立してて証明できるかどうかも分からない問題なんて自分ならいくらでも簡単に作れる(ｷﾘｯ」
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
imagine今人さん2013/1/10 Yahoo
ガウスが(フェルマーの最終定理)に興味なし？と言ったそうですが！
ベストアンサーに選ばれた回答
aoi********さん 2013/1/11
1816年にパリ学士院はフェルマーの最終定理に関するコンテストを行い、最終定理の証明に金メダルと3000フランをかけたそうです。
ガウスのコメントは、このコンテストについての書簡の中で述べられたものだそうです。
足立恒雄先生の『フェルマーの大定理 整数論の源流』に引用されたコメントが以下の文言です。
パリ賞についてお知らせいただいて大変ありがたく思っています．しかし正直に申しますと，私は一つの孤立した問題としてはフェルマーの定理にほとんど興味を持っていません．
と申しますのも，証明もできなければ，片もつけられないであろうこのような問題を，私は，いくらでも，簡単に作ってみせられるからであります．
足立恒雄『フェルマーの大定理 整数論の源流』ちくま学芸文庫、2006年、168～169ページ
URLﾘﾝｸ(www.chikumashobo.co.jp)
つまり、フェルマーの最終定理が孤立した問題であって、最終定理が
証明できたからといって、特に何かの役に立つことがないと考えたから、ガウスは興味を持たなかったのだと思われます
18:現代数学の系譜 雑談
20/05/26 10:48:50.07 /1WeSRXo.net
>>16
粋蕎さん、どうも
お元気そうで、なによりです（＾＾
19:現代数学の系譜 雑談
20/05/26 10:51:04.87 /1WeSRXo.net
>>17 誤変換訂正
専用ヴらウザ
↓
専用ブラウザ
分かると思うが（＾＾；
20:粋蕎
20/05/26 11:16:07.06 assh5D2W.net
>>18
今日も元気に死んどります｡
人生道と云ふは、死ぬ事と見付けたり｡
毎日、生まれては死に、生まれては死に､
図に当たらぬは犬死にと云ふは、上流風の打ち上がりたる人生道なり｡
21:◆e.a0E5TtKE
20/05/26 11:21:32 IQhjH5j3.net
>>15
その話は以下に書いてくれ
雑談はここにかけ！【54】
ｽﾚﾘﾝｸ(math板)
22:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 11:28:40 /1WeSRXo.net
>>21
いや、ここで良いよ
５ｃｈ数学板なんて、所詮雑談さ
アンチ以外は、全部ここで良いのですｗ（＾＾；
23:◆e.a0E5TtKE
20/05/26 11:33:35 IQhjH5j3.net
数学が分らんトンデモの立てたゴミスレへの書き込みは一切お断りする
24:１３２人目の素数さん
20/05/26 11:53:11.45 L6K3YC5B.net
トリップ漏れしたの？
25:１３２人目の素数さん
20/05/26 11:53:17.01 EHdxrbPO.net
縄文人と弥生人というはなし？
それならもっちは縄文ぽい
26:１３２人目の素数さん
20/05/26 12:11:23.18 migyE9Bf.net
もっちーさまはお母様がアメリカ人女性のハーフの紳士どす
27:現代数学の系譜 雑談
20/05/26 14:06:05.83 /1WeSRXo.net
>>24
>トリップ漏れしたの？
そうなんだ
トリップ漏れは大したことはないが、スレタイにHNが入っていたので、間違ったスレが立って皆さんに迷惑を掛けた
で、間違ったスレは削除してもらったが、運営のお手間を取らせたのです（＾＾
>>23は、おサルだろう
まあ、おれのガロアトリップ付けてもらえば分かり易いので かえって 良いかもねｗ（＾＾
28:現代数学の系譜 雑談
20/05/26 14:08:25.27 /1WeSRXo.net
IUTは、Painleve 600pに似ている（＾＾；
”Painleve 全集を読み始めた.
６００ページにせまる大作が読めないと皆が言っていた．
最初の印象 でたらめの論文に思えた．
クリスマスが終わる頃には少しづつ分かり始めた
年が明けると Painleve 自身がよくっ分かっていることが理
解できるようになった．
ただ自分の発見を表現する言語を持っていないだけであると．
夏までに Painleve のアイディアを現代
代数幾何学の言葉で表現することに成功した.”（梅村浩）
URLﾘﾝｸ(ocw.nagoya-u.jp)
最終講義
射影極限と帰納極限
梅村浩 名大 ２００８年３月１４日
(抜粋)
P22
１９８４年秋 ? １９８５年秋
Cremona 群の研究が一段落したとき，次になに
を研究しようか考えた.
ストラスブールに滞在した.
（1） 所謂代数幾何学.
（2） 代数幾何学を使って何かをやる.
R. Gerard (Strasbourg) Painleve 全集の編集者
岡本和夫氏
Gerard の研究室にあった Painleve 全集を読み始めた.
Stockholm 講義録 １８９５年
６００ページにせまる大作
が読めないと皆が言っていた．
東大で６０年代に代数幾何学のセミナーで読もう
とした． 忙しい！！
楕円関数、超幾何関数を超える特殊関数の追求．
関数の生成．最初の問題と類似
最初の印象 でたらめの論文に思えた．
クリスマスが終わる頃には少しづつ分かり始めた
年が明けると Painleve 自身がよくっ分かっていることが理
解できるようになった．
ただ自分の発見を表現する言語を持っていないだけである
と．
夏までに Painleve のアイディアを現代
代数幾何学の言葉で表現することに成功した.
その夏にストラスブールで微分方程式の
日仏シンポジュウムがあり，そこで発表した．
Painleve 方程式の還元不能性は極めて近い将来
証明されるであろう.
今から思えばあまり相手にされなかったのかもしれい．
一体 Kolchin は何をしているのかと思った．
Kolchin の本を開いた瞬間
Painleve のアイディア= Kolchin のガロア理論
この時既に Painleve 方程式の還元不能性は証明
されていた．西岡啓二
29:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 14:29:40 /1WeSRXo.net
>>28
蛇足は要らないだろうが、書いておくと
パンルヴェ先生のも、上記の600ｐの大作で
Stockholm 講義録 １８９５年 だとか
日本人が、苦労して読み解いて、
”代数幾何学の言葉で表現することに成功した.（梅村浩）”そうな
「６００ページにせまる大作が読めないと皆が言っていた」ところが
IUTそっくりさんですねｗ（＾＾；
Stockholm 講義録だから、査読もくそもない
Painleve 全集に載せて何が悪い！
査読があろうがなかろうが
有名雑誌に掲載だろうが 個人の全集だろうが、プライオリティについては、扱いは全く同じです
IUTに ついても同じ。PRIMS掲載を止めたところで、問題は全く解決しない
問題を解決するには、IUTを潰すか認めるか、二択しかないのです
「読めないと皆が言っていた」ことを、すっきりと”代数幾何学の言葉で表現することに成功した”というのは、立派な研究ですが
IUTも、そうなるかもね（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ポール・パンルヴェ（Paul Painleve, 1863年12月5日 - 1933年10月29日）は、フランスの数学者、政治家
1887年に高等師範学校で博士号を取得して、リール大学の教授を務めた。動く特異点を持たない方程式の分類に関する研究からパンルヴェ方程式と呼ばれる方程式のうち3つを発見した
この分類には見落としがあり、後に弟子のベルトラン・ガンビエ（Bertrand Olivier Gambier, 1879年 - 1954年）によりさらに3つの方程式が発見され、併せて6つの方程式がパンルヴェ方程式と呼ばれている
その後、パンルヴェは共和主義社会党から政界に入り、1917年と1925年に首相に選ばれるなどし、数学から離れていった
ガンビエなどの後継者も他分野へ移るなどして、パンルヴェ方程式自体の研究は廃れてしまったが、1973年に呉大峻(T.T.Wu)達によるイジング模型の研究に現れて以来注目され、現在非常に活発に研究されている分野の一つに成長している
日本でも岡本和夫を中心に解析学の範囲を超えた幅広い研究がなされている
息子に科学映画監督のジャン・パンルヴェがいる。他にポール・パンルヴァに因んで命名された小惑星(953)パンルヴァがある
30:１３２人目の素数さん
20/05/26 14:33:22 L6K3YC5B.net
そろそろ印刷始まるのかね。論文は。
31:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 14:38:01 /1WeSRXo.net
>>29
(引用開始)
Stockholm 講義録だから、査読もくそもない
Painleve 全集に載せて何が悪い！
査読があろうがなかろうが
有名雑誌に掲載だろうが 個人の全集だろうが、プライオリティについては、扱いは全く同じです
IUTに ついても同じ。PRIMS掲載を止めたところで、問題は全く解決しない
問題を解決するには、IUTを潰すか認めるか、二択しかないのです
(引用終り)
さて、本題は下記
5月 14, 2020に、2015年12月16日 Jacob Aron氏の記事と表題を引用して、
”証明をめぐる3年の苦闘の後、困惑したままの数学者達”という表題を自分につける
そういう手法からして間違っているし
数学の論文と査読の関係が分かってないのでは？
>>28の梅村浩先生 最終講義のご一読をお勧めしますよ（＾＾；
URLﾘﾝｸ(taro-nishino.blogspot.com)
TARO-NISHINOの日記
証明をめぐる3年の苦闘の後、困惑したままの数学者達
5月 14, 2020
さて、前置きはこれくらいにしてMathematicians left baffled after three-year struggle over proofの私訳を以下に載せておきます。
証明をめぐる3年の苦闘の後、困惑したままの数学者達
2015年12月16日 Jacob Aron
32:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 14:39:42 /1WeSRXo.net
>>30
>そろそろ印刷始まるのかね。論文は。
さあ、どうなのでしょうか？
RIMSから問合せしたら良いと思いますね（＾＾
33:１３２人目の素数さん
20/05/26 14:47:39 L6K3YC5B.net
Nishinoはもしかしてミスター維新じゃないの？
34:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 15:44:23 /1WeSRXo.net
>>33
>Nishinoはもしかしてミスター維新じゃないの？
それは絶対にないよ
Nishinoのポテンシャルは、ミスター維新よりはるかに高いよ
ただし、IUTについては、海外の遠アーベル素人衆の数学者しか知り合いがないみたいだね
（国内にも、遠アーベルの達人の知り合い無し）
そこが、IUTでイタイ人になってしまった原因でしょうね（＾＾
35:１３２人目の素数さん
20/05/26 15:46:46 L6K3YC5B.net
Volochってすごいアンチみたいだけど実力はどんなもんよ
36:１３２人目の素数さん
20/05/26 15:50:42 IQhjH5j3.net
>>33
あんた、人見る目ないねぇ
英語を全く解しない、または翻訳エンジンに頼るような
平均的知性を持ってないこの俺様が、翻訳エンジンに頼った
西野七瀬・・・じゃないや西野太郎の主張
「3.12 の望月の証明については、望月の信奉者や弟子も含めて、
誰もそれが正しいかどうかを 判断する立場にはなく、
誰もレフェリーにはなれない。
このような場合、主要な数学雑誌がそうであるように、
PRIMSは望月の論文を却下すべきでした。
はっきりさせておきますが、証明が正しいかどうかは問題ではなく、
誰もレフェリーになれないことが問題なのです。
当然のことながら、それを理解していない人がかなり多いのです。
COVID-19が世界中に広まっている中で、
研究室が記者会見を開いて論文の受理を発表するのは馬鹿げています。
RIMS のメンバーは皆、世界中の数学界が RIMS を見下している
という事実を知らないようです。
仮にRIMSが強引に論文の出版を進めたとしても，
EMS出版社がRIMSとの契約を解除したり，
破棄したりする可能性が残っています。
そのかすかな希望が最後になり、RIMS の暴走を止め、
RIMS が完全に停止することを期待している。」
カテゴリーをキャテグリとかいう、わけのわからん粋がり方をする
変態野郎にしてはまっとうなこというじゃねぇか
37:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 15:52:49 /1WeSRXo.net
（>>28より）
URLﾘﾝｸ(ocw.nagoya-u.jp)
最終講義
射影極限と帰納極限
梅村浩 名大 ２００８年３月１４日
(抜粋)
P12
７１年の IHES
教授 数学 R. Thom, P. Deligne(無学位),
思い出に残る学審査会
P. Deligne, Theorie de Hodge
N. Katz 『博士論文はそれを理解できない人々に
よって審査されている.』
N. Saavedra, Categories tannakiennes
さっぱり理解できなかった.
(引用終り)
”７１年の IHES
教授 数学 R. Thom, P. Deligne(無学位),
思い出に残る学審査会
P. Deligne, Theorie de Hodge
N. Katz 『博士論文はそれを理解できない人々に
よって審査されている.』”
が、面白いと思ったｗｗ（＾＾；
38:１３２人目の素数さん
20/05/26 15:58:15 L6K3YC5B.net
ミスター維新に悪かったわ。
39:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 16:01:55 /1WeSRXo.net
>>35
Brazilian mathematicianで、いま NEW ZEALANDの大学の教授
”Coleman, Robert F.; Voloch, Jose Felipe (1992), "Companion forms and Kodaira-Spencer theory", Invent. Math., ”とあるけど
遠アーベルは素人と見ました
（余談だけど、遠アーベルの専門家ほど静かだよね。多分玉川を知っているからでしょうね（＾＾ ）
URLﾘﾝｸ(www.math.canterbury.ac.nz)
Felipe Voloch
Contact details
School of Mathematics and Statistics
Te Whare W?nanga o Waitaha
University of Canterbury
Private Bag 4800
Christchurch 8140, NEW ZEALAND
URLﾘﾝｸ(en.wikipedia.org)
Jose Felipe Voloch (born 13 February 1963 in Rio de Janeiro) is a Brazilian mathematician who works on number theory and algebraic geometry and is a professor at Canterbury University.
Career
Voloch earned his Ph.D. from the University of Cambridge in 1985 under the supervision of John William Scott Cassels.[1] He was a professor at the University of Texas, Austin.[2]
Selected publications
Coleman, Robert F.; Voloch, Jose Felipe (1992), "Companion forms and Kodaira-Spencer
40:theory", Invent. Math., 110: 263?281, doi:10.1007/bf01231333, MR 1185584
41:１３２人目の素数さん
20/05/26 16:11:49 L6K3YC5B.net
>>39
だって遠アーベルってモッチが開拓してて、そもそもRIMSの玉川モッチコンビが最先端でしょ？
あとはPop-Stixが追ってる感じ？
42:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 16:14:22 /1WeSRXo.net
>>36
(引用開始)
「3.12 の望月の証明については、望月の信奉者や弟子も含めて、
誰もそれが正しいかどうかを 判断する立場にはなく、
誰もレフェリーにはなれない。
このような場合、主要な数学雑誌がそうであるように、
PRIMSは望月の論文を却下すべきでした。
はっきりさせておきますが、証明が正しいかどうかは問題ではなく、
誰もレフェリーになれないことが問題なのです。
当然のことながら、それを理解していない人がかなり多いのです。
(引用終り)
（原文）
”As for Mochizuki's proof regarding corollary 3.12, no one, including Mochizuki's followers and disciples, is in a position to judge whether it's right or not; that is, no one can be a referee.
In such a case, as major maths journals go, the PRIMS should have rejected Mochizuki's papers. Just to clarify, it doesn't matter whether the proof is right or not, and that no one can be a referee does matter.
Not surprisingly, quite a few people don't understand it.”
１．”no one can be a referee.”の証明がない （というか、「査読した」という玉川の言に矛盾しているので、アウトｗｗ）
２．つまり、もし 一人でも査読できる人がいたら（玉川自身でも）、TARO-NISHINOの定理（”no one can”）は反例ありですｗ（＾＾；
43:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 16:19:17 /1WeSRXo.net
>>40
>だって遠アーベルってモッチが開拓してて、そもそもRIMSの玉川モッチコンビが最先端でしょ？
>あとはPop-Stixが追ってる感じ？
そんな感じかも
正直、専門的すぎてわからんけど
勘では
１．海外では、遠アーベルよりも、ラングランズ予想の系統でショルツ先生のパーフェクトイドとか 表現論で論文書く人多いかも
２．遠アーベルは、少数派でしょうね
３．あと余談だけど、IUTが 例えばガウスがFLTを評価したようにニッチの孤立した分野なら、こんなに海外の声は無かったでしょうね。無視できないのでしょうね、多分（＾＾；
44:１３２人目の素数さん
20/05/26 16:23:08 /sucdZSA.net
キャリフォーニャわろたw
45:１３２人目の素数さん
20/05/26 16:53:27.98 IQhjH5j3.net
>>41
ま～た、トンデモがわめいてるね
要するにレフェリーの資格のない人がレフェリーになったのが問題
分かれよ 馬鹿
46:１３２人目の素数さん
20/05/26 17:13:12.65 IQhjH5j3.net
なーちゃん・・・じゃないや太郎の専攻がなんだろうとおもって調べたが
「卒業研究」が多変数解析函数論ということまでしか分らんかった
URLﾘﾝｸ(www.youtube.com)
47:１３２人目の素数さん
20/05/26 17:13:39.72 IQhjH5j3.net
なーちゃん・・・じゃないや太郎の専攻がなんだろうとおもって調べたが
「卒業研究」が多変数解析函数論ということまでしか分らんかった
URLﾘﾝｸ(www.youtube.com)
48:１３２人目の素数さん
20/05/26 19:24:43 Fj93Hw+D.net
>>42
望月は、最近の何でも表現論に帰着させるやり方嫌いそうだしな。
49:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 20:21:21 Z6gj5ozm.net
>>44
>要するにレフェリーの資格のない人がレフェリーになったのが問題
レフェリーの資格？
定義がない
レフェリーの資格のない人がレフェリーになった？
証明がない＊）
＊）だれが、レフェリー？ そもそも、そこから不明だろ？ｗ（＾＾；
50:１３２人目の素数さん
20/05/26 20:31:22.43 aoyeOu+O.net
ぶっちゃけレフリー誰だと思う？
俺はフェセンコ入って無いんじゃないかと思う。
遠アーベルとABC予想の専門家で構成されてるんじゃなかろうか？
Machiel van FrankenhuijsenがABC予想関連の査読者と予想する。
51:現代数学の系譜 雑談
20/05/26 20:40:39.01 Z6gj5ozm.net
URLﾘﾝｸ(carmonamateo.github.io)
Letter of Mochizuki to M.Carmona 13.11.2017
Dear Carmona,
There is a very substantive mathematical difference between the theory of Galois categories/topoi as developed in SGA1/SGA4 and the theory of anabelioids as developed in my paper "The Geometry of Anabelioids": Namely, the notion of slimness allows one to work with 1-categories of (slim) anabelioids, whereas the
theory of Galois categories/topoi as developed in SGA1/SGA4 gives rise to 2-categories of Galois categories/topoi. In particular, "Galois groups"
(i.e., in the classical sense) arise naturally as groups of 1-morphisms in 1-categories of slim anabelioids, which is a very substantive mathematical difference from the way in which they arise in 2-categories of Galois categories/topoi, i.e., as groups of 2-morphisms in 2-categories.
This difference between 1- vs. 2-categories or 1- vs. 2-morphisms plays a fundamental role in the theory of anabelioids (as developed both in my paper "The Geometry of Anabelioids", as well as in subsequent papers, e.g., papers on combinatorial anabelian geometry).
Put another way, this difference may be understood as being analogous to the difference between
52:Algebraic spaces (which form a 1-category) Of course, algebraic spaces and (Deligne-Mumford) algebraic stacks are closely related, in the sense that both arise by considering gluing operations in the etale topology of schemes. On the other hand, the substantive difference between 1- and 2-categories gives rise to many substantive mathematical differences in various geometric arguments. In particular, this substantive difference between 1- and 2-categories is sufficiently significant as to render extremely strange and unnatural any attempt to use the same terminology for both algebraic spaces and algebraic stacks. Sincerely, Shinichi Mochizuki and (Deligne-Mumford) algebraic stacks (which form a 2-category).
53:現代数学の系譜 雑談
20/05/26 20:46:23.41 Z6gj5ozm.net
>>49
どうも
まず、レフェリーが何人いるのかだが、３人では？
除く玉川
で、日本人２人、海外１人
３人が連絡を取り合いながら、進めたと思う
フェセンコ先生は、私も入っていないと思う
Emmanuel Lepage (Sorbonne Univ., Paris, France) 先生ではないでしょうか？（＾＾
54:１３２人目の素数さん
20/05/26 23:31:29 J2RGhwCe.net
>>49
山下GとMサイディだろ
55:１３２人目の素数さん
20/05/27 00:12:34 aXsp8sKU.net
goは違うと思う、frankenhuijsen, saidi, lepage？
56:１３２人目の素数さん
20/05/27 00:32:42 BLKxRk2q.net
レフリーは新垣結衣 間違いない
57:粋蕎
20/05/27 05:31:19.93 EnH7JxEr.net
現代数学の系譜 雑談#雑談ガロア (11) (新無) <Dat落>
もう「雑談」て入れん方がええ､
現代数学の系譜
で十分じゃ
58:１３２人目の素数さん
20/05/27 06:58:43.40 FR6aIDW8.net
いっそのこと、
ガンバレ！もっちー
に改名すれば？
59:１３２人目の素数さん
20/05/27 07:02:33.41 FR6aIDW8.net
>>51
＞レフェリーが何人いるのかだが、３人では？
＞で、日本人２人、海外１人
星と山下、だったらパワハラ案件のニヨイが・・・
60:現代数学の系譜 雑談
20/05/27 07:27:53.38 dv6rS0Xa.net
>>55
粋蕎さん、どうも
レスありがとう
私としては、５ｃｈ数学板でやっていることは、全て”雑談”という定義です
（本当に数学やるなら、別の場所へｗ（＾＾； ）
61:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 07:37:22 dv6rS0Xa.net
>>52-53 >>57
星と山下は、レフェリーとしては、玉川＆柏原が認めないでしょうね（＾＾
査読過程は、公表しないとはいうものの、論文審査の議事録とか内部では残るから （審査過程を公表しないのが普通です）
万一のとき、文春砲が炸裂しかねない（「IUT審査お手盛り」とか言われかねない）
実質は別として、形式的にはきちんとしておくべしであって、そのようになっていると思います
62:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 07:44:17 dv6rS0Xa.net
>>57
>山下、だったらパワハラ案件のニヨイが・・・
そうなんだ（＾＾;
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
山下剛
A proof of the abc conjecture after Mochizuki.
preprint. last updated on 8/July/2019.
on the footnote
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
On the footnote
Related to the footnote on page 10, from the point of view of the academic integrity,
I would like to mention the following 2 facts:
--In an email on 13/November/2015, Ivan Fesenko did an academic harassment,
by revealing and using a part of contents and the writer's name of a reference letter for an employment.
--In an email on 14/November/2015, Ivan Fesenko modified my email with quotation symbol ">"
and fabricated an email, as though I had written it.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.
P10
＜footnote＞
1
Ivan Fesenko wrote, in the published version of his survey “Arithmetic deformation theory via
arithmetic fundamental groups and nonarchimedean theta-functions, notes on the work of Shinichi
Mochizuki”, that he encouraged the author to learn and scrutinise arithmetic deformation theory
subsequent to his meeting with Mochizuki in mid-September 2012. In fact, the author had already
sent an email to Mochizuki on the 1st of September 2012, in which the author expressed his interest
in studying inter-universal Teichm¨uller theory.
2
In particular, the author began his study of inter-universal Teichm¨uller theory of his own will. In
the latest version of Fesenko’s survey (posted on Fesenko’s web site subsequent to the publication
of the published version of the survey), Fesenko replaced the expression “encouraged Yamashita”
by the expression “supported his interest to study the theory”.
63:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 07:51:54 dv6rS0Xa.net
>>60
>--In an email on 13/November/2015, Ivan Fesenko did an academic harassment,
"academic harassment"だから、アカハラかｗ （アカハタなら、ミスター維新が喜びそうだなｗ）
こんなこと、書かなきゃ良いとおもうけど
これ書いていたら、P10 ＜footnote＞ があるだけで、おれがRIMSの編集長なら、PRIMSには 絶対掲載させないだろうね（＾＾
逆 アカハラじゃんかｗ（＾＾；
山下先生も、数学一筋で 世間知らずなんだろうね
これ書いて、自分の「コモノ」感丸出しって、気付かないんだろうね（自分は大物のつもりかｗ）
（参考）
URLﾘﾝｸ(kotowaza-allguide.com)
【君子は和して同ぜず小人は同じて和せずの解説】故事ことわざ辞典
【注釈】 『論語・子路』にある孔子のことば、「子曰く、君子は和して同ぜず、小人は同じて和せず」に基づく。
「同ぜず」は「同せず」ともいう。
【出典】 『論語』子路
64:１３２人目の素数さん
20/05/27 07:57:38 FR6aIDW8.net
>>59
>星と山下は、レフェリーとしては、玉川＆柏原が認めないでしょうね
ふーん じゃ、日本人の２人って誰？ 玉川でもないんでしょ？
65:１３２人目の素数さん
20/05/27 08:00:09.18 FR6aIDW8.net
>>60
フェセンコって、なんかいつもイラついてる感じ ヤヴァイ人なのかな？
66:現代数学の系譜 雑談
20/05/27 08:10:55.44 dv6rS0Xa.net
>>62
>ふーん じゃ、日本人の２人って誰？ 玉川でもないんでしょ？
下記に二人名前が挙がっているでしょ
私の推理ですが
(参考)
宇宙際 Teichmuller 理論入門 PDF (2019) （Indexあり） URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
謝辞 本稿執筆時に限らずこれまで宇宙際 Teichm¨uller 理論に関する無数の議論にお
付き合いくださった望月新一先生に感謝申し上げます. また, 2013 年度に合計 100 時間
以上にも及ぶセミナーで宇宙際 Teichm¨uller 理論について説明してくださった山下剛先生
に, そして, そのセミナーを共に乗り切りそこでの数々の議論にお付き合いくださった玉
川安騎男先生, 松本眞先生に感謝申し上げます. そして, 本稿に対していくつもの有益な
指摘をくださった安田正大先生と査読者の方に感謝申し上げます.
67:現代数学の系譜 雑談
20/05/27 08:11:27.03 dv6rS0Xa.net
>>63
>フェセンコって、なんかいつもイラついてる感じ ヤヴァイ人なのかな？
同意
結構攻撃的な性格と思いますね（＾＾；
68:１３２人目の素数さん
20/05/27 08:11:46.98 FR6aIDW8.net
>>61
＞アカハタなら、ミスター維新が喜びそうだなｗ
アナーキストなら黒旗じゃね？
URLﾘﾝｸ(ja.wikipedia.org)
---
黒旗や黒色は、1880年代から広くアナキズムと関連付けられるようになった。
多くのアナキストのグループが"black"という単語をその名に冠し、
「黒旗」と題するアナキズム系雑誌も多数出版されてきた。
黒旗は、その濃淡のなさにおいて各国の国旗の色鮮やかさとは対照的であり、
さらに強者に対する服従の普遍的なシンボルである白旗に対しても、
必然的に服従の拒否と抵抗を表すアンチテーゼとなっている。
黒旗は「旗が存在しない」ことの象徴であり、
国民国家の概念そのものに対する反対も表している。
この観点に立てば、黒旗はいずれかの個人や組織が
個々人を適切に分類できるという考えを
拒絶していると見なすこともできる。
現代のアナキズムは、他のイデオロギーの中でも
とりわけ赤旗と強く関連する社会主義と、
起源において共通するところが多い。
アナキズムが黒旗を採用するようになったのは、
社会主義との対立が激しくなった1880年代に、
自身とそれを区別するためである。
その時代には、ピョートル・クロポトキンのように、
新たに黒旗を採用するよりは赤旗を使い続けることを好む
アナキストもいた。
黒旗と赤旗はそもそも、
西インド諸島で活動したフランスの海賊である
バッカニアによって使用されていたために、
良いイメージを持たれていなかった。
17世紀、黒旗（ジョリー・ロジャー）は
「降伏すれば船員の命は奪わない」
との意味合いで海賊船のマストに掲げられていた。
しかし船員が抵抗した場合には赤旗が掲げられ、
バッカニアは容赦ない攻撃を加えたという。
---
69:１３２人目の素数さん
20/05/27 08:18:22.25 FR6aIDW8.net
>>64
松本眞と安田正大？ 遠アーベルの専門家じゃなくていいの？
URLﾘﾝｸ(ja.wikipedia.org)
松本 眞（まつもと まこと、1965年2月18日 - ）は日本の数学者。
広島大学大学院理学研究科教授。
専門は疑似乱数、数論幾何、組合せ数学、位相幾何学。
優れた疑似乱数生成法であるメルセンヌ・ツイスタを考案したことで知られる。
東京都出身。麻布高等学校卒業（1983年）。
東京大学理学部情報科学科卒業（1987年）。
東京大学大学院理学系研究科修士課程（情報科学専攻）（1989年）。
東京大学大学院理学系研究科第一種博士課程（数学専攻）進学。1990年同中途退学。
1990年京都大学数理解析研究所助手。
1995年 京都大学博士（理学）。
論文の題はGalois representations on profinite braid groups on curves
(曲線上のプロファイナイト組紐群へのガロア表現)。
同年慶應義塾大学理工学部専任講師。
1998年慶應義塾大学理工学部助教授。
1999年九州大学大学院数理学研究科助教授。
2000年3月 東京大学博士（工学）。
論文の題はRandom number generators by M-sequences
with high-dimensional equidistribution property,
and their dynamic creation
(M系�
70:pいた高次元均等分布性を持つ乱数の発生法とその動的生成)」。 2000年京都大学総合人間学部助教授。 2003年広島大学大学院理学研究科教授。 2010年から2013年3月まで東京大学大学院数理科学研究科教授。 2013年4月より現職。
71:１３２人目の素数さん
20/05/27 08:24:41.28 FR6aIDW8.net
>>67
安田正大氏は斎藤毅氏の弟子らしいけど
研究の方向は遠アーベルとは違うみたい
URLﾘﾝｸ(research-er.jp)
72:１３２人目の素数さん
20/05/27 10:53:31.24 aXsp8sKU.net
Fesenkoは攻撃的かもな。ただ数学関係者意外とみんな口悪いかも？
73:１３２人目の素数さん
20/05/27 13:10:40 dR7J18Li.net
>>36
いみわからん、信奉者も弟子も、照明が正しいかどうかを独自に判断できるよ。
なんでて気ないと思うのか。
そもそも、数学の証明は信じるか信じないかじゃなくて、
論理が通ってるとみとめるかどうかだし、
弟子も信奉するものもその能力についてで、
無謬性についてではない
74:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 15:52:42 J2wrf4bK.net
>>70
同意です
TARO-NISHINOは、余りにも幼稚ですね
１．分別ある大人がそろって記者会見
それをウソデタラメを言っているというのがおかしい
２．数学でSTAPもどきの捏造論文だ？ どうやってやるのよ？ 原理的に無理！
仮に、そんなことをしても、すぐバレルのは必定。柏原＆玉川がそれを分からないはずがない
３．査読を甘くしてどうする？ 甘くしたら、万一証明に瑕疵があって、証明未完成で
他人にそれを指摘修正されて証明を完成されたら？ 本人のためにならないし、RIMSにとっても大ダメージでしょ？
上記１～３から帰結される結論は、柏原＆玉川はきっちり査読して、100％の自信をもって、「査読OK」の記者会見をしたことに、間違いはないのです！
75:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 15:59:59 J2wrf4bK.net
>>69
＞Fesenkoは攻撃的かもな。ただ数学関係者意外とみんな口悪いかも？
Fesenkoは、小物感があるね
まだ、大きな賞をもらってない？
大きな賞をもらうとね、発言の影響力が桁違いになるのよ
（ちょうど、ショルツ先生みたくね（いまなら、うかつなことは言わなかったと思うよ））
そして、一国の総理とか大臣の発言のように、片言隻語が「ああ言った」「こう言った」と、是非が取りざたされるようになる
自然に「毒舌が影をひそめる」のです
その小物に噛みつくYGｊは、もっと小物だけれどね
76:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 16:01:29 J2wrf4bK.net
>>72 タイポ訂正
その小物に噛みつくYGｊは、もっと小物だけれどね
↓
その小物に噛みつくYGは、もっと小物だけれどね
分かると思うが（＾＾
77:１３２人目の素数さん
20/05/27 16:13:36 FR6aIDW8.net
>>71-73
今日も絶好調ですね
78:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 16:29:58 J2wrf4bK.net
>>67-68
皆さん詳しいね～
ちょっと、IUT査読レフェリーの条件を考えてみると
１．まず、引き受ける気があるか？
普通、IUTみたいな大作（当時全部で500ｐと言われた）I～IV を、生半可な気持ちでは受けられないでしょう
自分の研究に役立つなら、やっても良いと思うかも（そういう意味では、分野近い方が良いでしょうね）
２．頼む側からすれば、信頼できる人かどうか？
真面目さと、能力と。なにせ、全部で500ｐ。当時、査読検証に数年は掛かると言われ、実際５年（朝日新聞報道）～８年（4月3日発表時点）かかった
３．あと、知識と能力面（これは受ける方と頼む方の両方の視点から）
４．さらには、著者に対する問いかけによる応答
79:（いまどきならメール使えるけど） （星さんとか山下さんとか、ちょっとしたことなら 気楽に聞ける（著者に問い合わせる前に ちょっと聞いておきたいとかの場合）関係があれば、査読も楽ですよね） さて、そうすると誰が引き受けたのか？（＾＾；
80:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 16:30:55 J2wrf4bK.net
>>74
はい
ありがとう
＞今日も絶好調ですね
雑談ですからｗ（＾＾；
81:１３２人目の素数さん
20/05/27 16:37:58.29 8Q/0Mji8.net
>>72
実力はあるよ。
82:現代数学の系譜 雑談
20/05/27 16:58:17.58 J2wrf4bK.net
>>77
>実力はあるよ。
まあ、そうかも
でもね、大物感がでて、自分の発言の重みが分かると、発言が自然と慎重になるものですよ
でも、懲りないのが、麻生さんかな
Fesenko先生も、弟子がフィールズ賞で、ちょっと発言を慎重にした感あるけどね
YGさんも、大人にならないとね（＾＾
83:１３２人目の素数さん
20/05/27 17:26:07 FR6aIDW8.net
>>75 松本眞はないと思う
>>76 なんかハイですね 薬のんでます？
84:現代数学の系譜 雑談
20/05/27 17:56:17.57 J2wrf4bK.net
>>79
>松本眞はないと思う
例えば、松本眞研の准教とか助教とか、複数人で内部ゼミやって
松本眞名で「査読完了！」と戻すとかは、あるかもと思った
まあ、一人でこんなのを読むのは、大変ですよね
特に、松本眞先生くらい「エラクなる」とね （”身体がエライ”ｗ）
>なんかハイですね 薬のんでます？
普通ですよ
関西風です
（ダジャレとジョーク満載の雑談スレですよｗｗ）
85:１３２人目の素数さん
20/05/27 18:09:39.01 FR6aIDW8.net
>>80 出身はどちらですか？奈良？和歌山？
86:１３２人目の素数さん
20/05/27 19:01:12 aXsp8sKU.net
ちなフェセンコ
URLﾘﾝｸ(ja.wikipedia.org)類体論
87:１３２人目の素数さん
20/05/27 20:48:10.97 IdibLyMg.net
|“)✨🌟✨ﾓｯﾁ-ｻﾏ✨🌟✨
今日ﾓ明日ﾓ明後日ﾓ。。。
ｽﾞｯﾄｽﾞｯﾄ✨輝ｅﾃ✨ﾃｸﾀﾞｻｨﾈ…
88:１３２人目の素数さん
20/05/27 20:56:05.34 IdibLyMg.net
|⚐ﾞ*。○゜✨🌟ﾓｯﾁ-ｻﾏ🌟✨
|“)و⚐ﾞ⁎゜✨頑張ﾚ~🎶∗゜✨
89:１３２人目の素数さん
20/05/27 20:57:05.89 IdibLyMg.net
|=33ﾋﾟｭｯ!
ｫ邪魔ｼﾏｽﾀ~ｯ!
90:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 21:02:21 dv6rS0Xa.net
>>82
ありがとう
URLﾘﾝｸ(ja.wikipedia.org)
類体論
(抜粋)
類体論の一般化
数論における一つの自然な展開は、大域体の（アーベルとは限らない）一般のガロワ拡大に対する情報を与える非可換類体論の構成と理解を行うことである。
ラングランズ対応が非可換類体論と見做されることが多く、そして実際にラングランズ対応が確立されたときには大域体の非可換ガロワ拡大に関する非常に豊かな理論を含むことになるのだが、しかしラングランズ対応はアーベル拡大の場合の類体論が持っていた有限次ガロワ拡大についての数論的情報のほとんどを含んでいないのである。
しかもラングランズ対応は類体論の存在定理に対応するものも含んでいない、即ち、ラングランズ対応における類体の概念は存在しないのである。局所および大域の非可換類体論はいくつか存在し、それらはラングランズ対応の観点に対する別の選択肢を与えてくれる。
もうひとつ、数論幾何における自然な展開は、高次局所体および高次大域体のアーベル拡大を構成及び理解することである。後者の高次大域体は、整数環上の有限型スキームの函数体およびその適当な局所化や完備化として生じる。
「高次局所および大域類体論」は代数的 K-理論や、一次元類体論で用いられる K1 の代わりに適当なミルナー K-群を用いる。高次局所および大域類体論は、A. パーシン、加藤和也、イヴァン・フェセンコ、スペンサー・ブロック、斎藤秀司らの数学者が展開した。
URLﾘﾝｸ(kconrad.math.uconn.edu)
Keith Conrad
URLﾘﾝｸ(kconrad.math.uconn.edu)
Expository papers
These were written up for various reasons: course handouts, notes to accompany a talk for a (mathematically) general audience, or for some other purpose that I have since forgotten. If you find typographical or other errors in these files, or have comments, please let me know. Files that are revised will be reposted without any indication that they have been changed (sorry).
URLﾘﾝｸ(kconrad.math.uconn.edu)
HISTORY OF CLASS FIELD THEORY KEITH CONRAD
URLﾘﾝｸ(en.wikipedia.org)
Timeline of class field theory
91:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/27 23:36:36 dv6rS0Xa.net
>>85
また来てね～（＾＾
92:粋蕎 ◆C2UdlLHDRI
20/05/27 23:46:17 EnH7JxEr.net
>>17
瀬田氏、残念乍ら其れは過言じゃ｡
『数学界の査読』と言えど残念乍ら人間の業。一皮剥けば…今も尚、学閥贔屓が猛威を振るう世界｡
ネット世界が偶々、テレンコタコの弟子一党の寄生受賞を阻止できたに過ぎない｡
未だにあんな寄生受賞や受賞乗っ取りを企んどる勢力が居る場合、善意の詳説が下策と成る可能性も有る｡
以上、好意的解釈。一方、儂は懐疑的解釈も忘れん｡
一、まくし立て押し売り説
二、ゴールポストエンドレス移動で万が一ギャップ指摘成立されても半永久的に共同受賞を目論む
三、ソフトバンクばりの日本disり
四、日本disりどころじゃない世界disり
世界を統治するは核でも銃でも剣でもない｡
鋸である。唐辛子である。水銀である。生き埋めである。感覚遮断である｡
理性でも苦しみでもない、死を恐れぬサイコパスどころではなき真性精神欠陥ででさえ
恥や後悔や苦しみ痛みでも無き、壮絶な後生感に焦り藻掻き嘆き出す
最も死を恐れる莫大な後生感こそ、人格矯正の最も重要な情緒である｡
残念じゃが、人間も動物に過ぎんのよ｡
93:粋蕎
20/05/27 23:51:01.27 EnH7JxEr.net
>>66
オドレの理念の場合は黒旗じゃのうてブラック個人じゃ、反社行為不問の個人マフィア予備軍じゃ｡
其の癖、嫁を取り従え支配する半端者。都合教の信者に過ぎん｡
94:現代数学の系譜 雑談
20/05/28 07:35:35.69 YeZrvPal.net
>>88
粋蕎さん、どうも
レスありがとう
私が>>17で言っていることは単純で
「IUTは、ガウスが フェルマーの最終定理を評したような 孤立した理論ではない」！ということです
つまり、望月先生が大風呂敷を広げているように、ABC予想、Szpiro予想、Vojta予想が全部解けてしまう
（南出先生のExplicit版が完成すれば、 フェルマーの最終定理の別証明も得られる）
繰返すが、孤立した問題ならば、無視しようとすればできる（成
95:否が自分の数学研究に影響しないから） しかし、もしABC予想が、定理になったとすると、その影響は計り知れないのです ある研究者が苦心惨憺証明したことが、実はABC予想を使って簡単にできることになるからです 言っているのは、単純なことです IUTは無視できないのです http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨ Shinichi Mochizuki April 2020 Abstract In the present paper, estimates arising from these multiradial algorithms for splitting monoids of LGP-monoids are applied to verify various diophantine results which imply, for instance, the so-called Vojta Conjecture for hyperbolic curves, the ABC Conjecture, and the Szpiro Conjecture for elliptic curves. P40 Section 2: Diophantine Inequalities In the present §2, we combine Theorem 1.10 with the theory of [GenEll] to give a proof of the ABC Conjecture, or, equivalently, Vojta’s Conjecture for hyperbolic curves [cf. Corollary 2.3 below]. http://www.kurims.kyoto-u.ac.jp/~motizuki/Minamide%20---%20Explicit%20estimates%20in%20inter-universal%20Teichmuller%20theory%20(in%20progress).pdf Explicit estimates in inter-universal Teichm¨uller theory (in progress) (joint work w/ I. Fesenko, Y. Hoshi, S. Mochizuki, and W. Porowski) Arata Minamide RIMS, Kyoto University November 2, 2018 P21 §5 Expected Main Results Expected Theorem (Effective ABC for mono-complex number fields) Expected Corollary (Application to Fermat’s Last Theorem)
96:１３２人目の素数さん
20/05/28 09:27:09 LQJQ+5wP.net
>>89
|)…「嫁」?
…ﾁｮｯﾄ雑談ｽﾚﾆ、、、
|')و»ｺｨｺｨｯ
97:１３２人目の素数さん
20/05/28 09:46:36.80 GnxzQRym.net
「先生」というのは誰にでもつけていい言葉ではない。
政治家につける「先生」の意味と、教師の後につける「先生」の意味と
或る教授を表す「先生」の意味と、その教授の弟子につける「先生」の意味は、お互いに意味が違う。
歴史上の偉大な数学者のことをその名前の後に「先生」をつけて呼ぶことはないだろ。
98:１３２人目の素数さん
20/05/28 10:45:12.21 HJmCPiag.net
>>89 >>91
誤 嫁
正 オナホ
99:現代数学の系譜 雑談
20/05/28 10:50:18.23 LOTC0/EA.net
>>92
どうも
コメントありがとう
同じような言葉に”師”があるね
教師とか（＾＾；
（参考）
URLﾘﾝｸ(kanji.quus.net)
漢字書き順・筆順調べ無料辞典
師の熟語一覧 ≫ 師：2字熟語など
師がつく2字熟語・表現・名詞・ことわざなど
医師 雨師 唄師 鋭師 王師 恩師 画師 戒師 釜師 瓦師
旗師 技師 弓師 旧師 漁師 京師 教師 曲師 琴師 駒師
軍師 型師 経師 経師 研師 五師 碁師 皇師 講師 講師
高師 国師 算師 士師 師恩 師家 師家 師君 師号 師資
師事 師匠 師承 師説 師僧 師走 師団 師檀 師長 師弟
師伝 師道 師範 師蛮 師表 師父 師風 師保 師法 師門
師傅 車師 釈師 呪師 呪師 呪師 宗師 舟師 出師 小師
小師 状師 図師 水師 先師
師の読み方（音読み・訓読み）
シ
[師]文字数別の熟語・言葉
・二文字熟語・言葉 ・三文字熟語・言葉
・四文字熟語・言葉 ・五文字熟語・言葉
・六文字熟語・言葉 ・七文字熟語・言葉
・八文字熟語・言葉 ・九文字熟語・言葉
・十文字熟語・言葉 ・十一文字熟語・言葉
100:１３２人目の素数さん
20/05/28 11:15:09.47 LQJQ+5wP.net
め~ﾁｬﾏ…可愛想…
|ﾉд`)。゜>>93
ｫ※※ﾆ代ｯﾃｱｹﾞﾀｨ…
め~ﾁｬﾏﾉ…
ｫ※※ﾆﾅﾘﾀｶｯﾀ…゜。(ﾉд)゜。
め~ﾁｬﾏﾉ…ｫ※※ｶﾞ羨ﾏｼｨｮ-…!
゜。✳゜。○*゜。(ﾉд)゜。
101:１３２人目の素数さん
20/05/28 11:24:36.22 LQJQ+5wP.net
。。。答ｪ合ﾜｾ~!
「ｫ※※」
↓
「ｫ母様」ﾀﾞｮ?
(*´艸`)…ﾌﾟﾌﾟｯ!
102:１３２人目の素数さん
20/05/28 11:30:08.26 LQJQ+5wP.net
|艸`)ﾅ~ﾝﾃﾈｯ!
。。。
|д`;)ﾊｯ!
ﾇｼｻﾏ~ｺﾞﾒﾝﾅｻ-ｨ!
|=333 ﾋﾟｭｯ!
103:現代数学の系譜 雑談
20/05/28 11:50:40.87 LOTC0/EA.net
>>80
松本眞氏を挙げたもう一つの理由、下記（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 感想・着想
2008年04月09日
・「combGC」（＝「Grothendieck予想の組合せ論版」--- 2007年の論文を
参照）を適用することによって、松本眞氏の有名な「単射性定理」（＝
1996年のCrelleの論文のTheorem 2.2）の「組合せ論版」ができそう。
これは２つの意味において興味深い展開だと思う。まず、第一に、
「Grothendieck予想型」の定理の＊応用＊になっているところが面白い。
第二に、証明では、「combGC」は一種の＊「canonicalな分裂」＊を
構成するのに使うのだが、IUTeichにおいても、遠アーベル幾何は正に一
種の「canonicalな分裂」を構成するのに使うことを連想させるところ
がある。（最近の「過去と現在の研究の報告」を参照。）特に、この
「canonicalな分裂」が、松本さんの議論における「スキーム論から
生じる」という性質の「代役」を果たしているところが、IUTeichとの
類似性を更に感じさせるものである。因みに、この「GCのようなもの
がもたらす分裂＝半単純性」という現象の原型は、「center-freeな
群Gと任意の群Hに対して、HのGによる拡大と、HによるGへの外作用は
同値である」という事実だと思う。
104:１３２人目の素数さん
20/05/28 11:58:37.30 HJmCPiag.net
>>98
松本眞って「遠アーベル」の専門家？
105:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 12:07:07 LOTC0/EA.net
>>99
さあ？（＾＾；
専門：数論幾何（一部） とはあるけどね
URLﾘﾝｸ(ja.wikipedia.org)
松本 眞（まつもと まこと、1965年2月18日[1] - ）は日本の数学者。広島大学大学院理学研究科教授。専門は疑似乱数、数論幾何、組合せ数学、位相幾何学。優れた疑似乱数生成法であるメルセンヌ・ツイスタを考案したことで知られる。
URLﾘﾝｸ(www.math.sci.hiroshima-u.ac.jp)
松本眞（広島大学）
本人の情報
:履歴・論文リスト(pdfファイル) 連絡先など
一般向け原稿集
:学生さん、一般のひと、数学に興味のあるひと・ないひとに向けて書いた 文章いくつか。
「リンゴが落ちても万有引力は発見できないさ」「研究室案内1996」 「ようこそ/さようなら」ほか。
106:１３２人目の素数さん
20/05/28 12:07:18 Ni/pgc0j.net
松本さんって研究の守備範囲凄い広いな。東大にも居たけど広島に戻ってるんだな。
107:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 13:41:30 LOTC0/EA.net
これ、ちょっと面白い（＾＾
URLﾘﾝｸ(www.f.waseda.jp)
108:/ 旧 「早稲田大学 教育・総合科学学術院 教育学部 数学科 守屋悦朗 研究室」 http://www.f.waseda.jp/moriya/PUBLIC_HTML/social/M-project.html ご近所講座 http://www.f.waseda.jp/moriya/PUBLIC_HTML/social/ABCconjecture1.pdf M-project 守屋悦朗 第34回 『ABC予想って（１）： 斬新・難解な証明の検証に8年もかかった！』 （高校生以上）20/04/26 ABC予想って？ (1) ： 超々入門 1．唐突な発表で登場したビッグニュース 2．望月新一教授（京都大学） 3．学術誌とは 4．レフェリー制 5．論文の長さ、論文数 6．ABC予想とは 7．弱い形のABC予想 8．望月教授の論文が学術誌に採択されたことの京大の発表 9．フェルマーの最終定理とABC予想 10．ABC予想を使ってフェルマーの最終定理を証明する 11．ABC予想は足し算と掛け算の関係を述べている 12．足し算と掛け算を分離して互いに独立なものとして扱う 13．舞台と舞台の間の関係とは 14．舞台と舞台の間の情報交換をどう行なうか 15．群について（１） 定義 16．群について（２） 巡回群 17．群について（３） 対称群 18．対称性通信と群 19．ICT理論がやろうとしていること 20．文献 P5 学術誌について 学術誌に掲載されるまでには最低1年以上の時間がかかるので、近年では、シンポジウム 等で発表された論文を速報的に掲載する（ただし、査読は行われる）形式の Proceedings （会議録）とか Lecture Notes （講義録）といったものも多くなっており、Proceedings に掲載さ れたものを後にバージョンアップして Journal へ投稿することもありますが、そうしないケー スも増えています。 つづく
109:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 13:42:47 LOTC0/EA.net
>>102
つづき
P6
レフェリー制
どの学術誌も論文の妥当性（内容が新規で正しいこと、掲載するだけの価値が
あること等）を審査する制度をもっています。これを査読といい、査読する人を査
読者（レフェリー、 referee）といいます。学術誌によっても違いますが、査読は2人
あるいは3人以上のレフェリーが独立に行います。誰にレフェリーを依頼するかは
学術誌の編集者（editor) や編集委員会が行います。
今回の望月論文は500ページ（前段階の研究も含めると１０００ページ以上）にも及ぶ大著であるだけで
なくまったく新しい概念を使っているので8年という年月を要したようです。
P14
足し算と掛け算を分離して互いに独立なものとして扱う
望月教授の IUT理論は、従来からある「数学」と
いう学問の統一体（多数の対象や分野や概念の集合体）である「宇宙」を1つだけで
なく複数考え、それらの間の関係について論じる理論であり、これまでの数学の歴史
にはなかった斬新な考え方を提案する理論です。このように、宇宙とはある数学を展
開する舞台ですから、今後、「宇宙」と「舞台」を同義語として使います。
整数の世界において足し算と掛け算という切り離すことができない構造（それを「正
則構造」と呼ぶことにします）をタイヒミューラー理論との類似性（アナロジー）で 捉え
ようとするものです。このような正則構造を上手く破壊して、いくつもの異なる正則構
造に変形する理論がタイヒミューラー理論ですが、その理論と類似する変形を施して
「足し算と掛け算」という正則構造を破壊（すなわち、分離）して考えようというものです。
つづく
110:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 13:43:18 LOTC0/EA.net
>>103
つづき
P15
111:舞台と舞台の間の関係とは 例えば、足し算を固定しておいて、掛け算だけをタイヒミューラー的に変形する（伸び 縮みさせる）ことを考えます。したがって、本来は足し算と掛け算は切っても切れない関 係にあるのに、これを別々に扱うのです。 舞台１における掛け算というピース（断片）を変形（伸び縮み）させて舞台２における掛 け算にリンク（関連付け）させよう（等しいとみなそう）というわけです。これを式で deg Θ “=“ deg q と書いて表すことにします。Θ と q はそれぞれの舞台に属している“同じもの”（例えば、 掛け算）がサイズや形を変えたものです。deg は多分 degree（程度）の略記でしょう。 例えば、舞台２における足し算に合うように舞台１における掛け算 q を変形したもの が Θ であるとき、この変形において「ひずみ」が起こるかもしれません。IUT 理論では、 このひずみの大きさが計測でき、上記の ”=“ は次のような不等式で表すことができま す： deg Θ ≦ deg q + c P21 次回以降は文献[2]に基づいて述べますが、[1]とは逆に、こちらは大学の 数学科程度の知識が必要になるという、専門的すぎる極端さです。 (引用終り) 以上
112:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 13:44:28 LOTC0/EA.net
>>101
>松本さんって研究の守備範囲凄い広いな。東大にも居たけど広島に戻ってるんだな。
そうですね
確かにそう思います（＾＾
113:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 13:49:03 LOTC0/EA.net
>>103
>このように、宇宙とはある数学を展
>開する舞台ですから、今後、「宇宙」と「舞台」を同義語として使います。
ここだけ
”今後、「宇宙」と「舞台」を同義語として使います”は、全く同意です
ホッジ舞台と「宇宙」が、同義語として使われているのではないか？
IUTを読んで、そう思いましたね（＾＾；
114:現代数学の系譜 雑談
20/05/28 14:12:16.98 LOTC0/EA.net
メモ
URLﾘﾝｸ(researchmap.jp)
researchmap
中村 博昭
ナカムラ ヒロアキ (Hiroaki Nakamura)
[48j]グロタンディーク・タイヒミュラー理論の話題から
中村博昭
第 63 回代数学シンポジウム（於 東京工業大学，2018 年 9 月）報告集 2019年
115:１３２人目の素数さん
20/05/28 14:15:08.38 maKuGXXp.net
ということは宇宙際じゃなくて舞台際タイヒミュラーだったんだな
Θリンクで接続とやらもhodge theater に対してだよね
116:１３２人目の素数さん
20/05/28 15:07:09.47 /aJY4Bcm.net
>>102
本当に上っ面だけの読書感想文だな。
急に証明されていない強いABC予想使ってミスリード誘ってるし、最後の方はICT理論って書いてるし。情報化社会かよ。
117:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 15:28:24 LOTC0/EA.net
下記 中村 円分指標 Tate 加群 Z?(1)= 星 円分物 Tate 捻り “Zb(1)”か（＾＾；
前スレ46 ｽﾚﾘﾝｸ(math板:695番) より
URLﾘﾝｸ(mathsoc.jp)
日本数学会 代数学分科会 ホームページ
URLﾘﾝｸ(mathsoc.jp)
代数学シンポジウム関連情報
第63回 代数学シンポジウム
2018年9月3日（月）～9月6日（木）
URLﾘﾝｸ(mathsoc.jp)
グロタンディーク・タイヒミュラー理論の話題から 中村博昭（大阪大学理学研究科）
URLﾘﾝｸ(mathsoc.jp)
第63回代数学シンポジウム報告集 - 日本数学会 報告集講演統合版（2019年1月発行）(pdf file)
(*)14:45-15:45 中村 博昭（大阪大学 理学研究科）. 「グロタンディーク・タイヒミュラー理論の話題から」
1.1. 円分指標. 最初の重要な関数は 円分指標 χ : GQ → Z?× と呼ばれるもので，１の冪
根 ζn = e2πi/n ∈ Q への GQ の作用を体現する：より正確には，各 σ ∈ GQ に対して
�
118:ﾔ(σ) ∈ Z?× を，σ(ζn) = ζχ(σ) mod n n (n ? 1) によって定める．GQ が円分指標倍で作用する 加群 Z? を 1 階の Tate 加群といい，Z?(1) とかく．円分指標は，数論的基本群においては， 代数多様体から因子を取り除いた状況でいたるところで現れる．その理由は典型的な場合 X = Gm = P1 ? {0,∞} をモデルとして説明できる：その数論的基本群 πQ は，ローラン 級数体 ∪nQ((t1/n)) の自己同型のうち, 係数への GQ 作用と，穴の周りを一周するループに 対応する元 x : t1/n → t1/nζ?1n(n ? 1) とで生成される半直積群 πQ = GQ ? ?x? と同一視 され，幾何的基本群 π1 = ?x? ?= Z? への GQ の作用は円分（指標倍による）作用に他なら ないことが確かめられる (Branch cycle argument). すなわち πQ = GQ ? Z?(1). つづく
119:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 15:29:01 LOTC0/EA.net
>>110
つづき
前スレ46 ｽﾚﾘﾝｸ(math板:685番) より
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory)
星 裕一郎 Aug-2019 数理解析研究所講究録別冊 B76
(抜粋)
P83
§ 1. 円分物
この §1 では, その対象の輸送の遂行の際に重要な役割を果たす 円分
物 (cyclotome) という概念についての解説を行います.
円分物とは何でしょうか. それは Tate 捻り “Zb(1)” のことです. 広義には, Zb(1) の
商や, あるいは, “(Q/Z)(1)” という可除な変種も円分物と呼ばれます. 遠アーベル幾何学
において, この円分物の “管理” は非常に重要です. この点について, もう少し説明しましょう.
(引用終り)
冒頭からワカランｗ（＾＾；
Tate 捻り “Zb(1)”？ 下記かな？
URLﾘﾝｸ(en.wikipedia.org)
Tate twist
(抜粋)
In number theory and algebraic geometry, the Tate twist,[1] named after John Tate, is an operation on Galois modules.
For example, if K is a field, GK is its absolute Galois group, and ρ : GK → AutQp(V) is a representation of GK on a finite-dimensional vector space V over the field Qp of p-adic numbers, then the Tate twist of V, denoted V(1), is the representation on the tensor product V?Qp(1), where Qp(1) is the p-adic cyclotomic character
(i.e. the Tate module of the group of roots of unity in the separable closure Ks of K).
More generally, if m is a positive integer, the mth Tate twist of V, denoted V(m), is the tensor product of V with the m-fold tensor product of Qp(1).
Denoting by Qp(?1) the dual representation of Qp(1), the -mth Tate twist of V can be defined as
V ◯X Q_p(-1)^{◯X m}.
References
'The Tate Twist', in Lecture Notes in Mathematics', Vol 1604, 1995, Springer, Berlin p.98-102
(引用終り)
以上
120:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 15:31:04 LOTC0/EA.net
>>108
>ということは宇宙際じゃなくて舞台際タイヒミュラーだったんだな
>Θリンクで接続とやらもhodge theater に対してだよね
”宇宙際じゃなくて舞台際タイヒミュラー”
に同意。多分（＾＾；
121:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 15:36:10 LOTC0/EA.net
>>109
>急に証明されていない強いABC予想使ってミスリード誘ってるし、最後の方はICT理論って書いてるし。情報化社会かよ。
確かに
強いABC予想からFLTの話は、南出であったと思った
この方が、分かり易いなと思ったよ（ほんとは違うけどね）
”最後の方はICT理論って書いてるし”か、なるほど IUTのタイポだろうね
でもね、こういう動きが、これから出てくると思う
（査読やレフェリーの解説は、加藤本より突っ込んでいる感じだったな）
122:１３２人目の素数さん
123:
>>1 【閲覧注意】密室.論文査読崩壊【隔離】 ・IUT論文の査読は崩壊していた 2018年6月 PRIMS編集委員(=RIMS教授)は IUT論文の査読結果が出る前の 査読中から、IUT論文の結果を 「abc予想を解決」 と認定した。 ↓ 京都大学数理解析研究所 第2期中期目標期間(平成22年～ 平成27事業年度)について 1 現況調査表 平成28年6月 P28-3 資料 2. 発表論文数 所員の 発表論文数 査読付き論文のみ ← p28-10 事例4「数論幾何の研究」 「望月新一に よる「宇宙際タイヒ ミューラー理論」の構築とその結果 としての ABC 予想の解決は、特筆すべき出来事である。」 「当該論文は現在査読中であるが」← 「望月新一が同理論の概要を解説した 業績番号1― (2)(2014)が、講究録別冊 として刊行されている」 (RIMS現況調査表。 京都大学.数理解析研究所が文科省 所管の独立行政法人 大学改革支援・ 学位授与機構へ提出) https://www.niad.ac....5_kyoto_2016_5_3.pdf
124:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 16:10:16 LOTC0/EA.net
>>112
補足
下記の朝日新聞の記事のIUT説明図で、「宇宙」とされているのは
明らかに、”ホッジ舞台と「宇宙」が、同義語として使われている”（>>106）と思いました（＾＾
（参考）
URLﾘﾝｸ(www.asahi.com)
朝日新聞デジタル>記事
異次元の数学者がかけた魔法 ABC予想を読み解くと
有料会員記事
石倉徹也
2020年5月25日
(抜粋)
IUT説明図 URLﾘﾝｸ(www.asahicom.jp)
125:１３２人目の素数さん
20/05/28 17:25:37.55 Tcy2578x.net
まあショルツやファルティングスにダメだしされている今の状況では
国際数学者会議でもダメだしでしょ
126:１３２人目の素数さん
20/05/28 17:58:06.31 QlSwzNUL.net
>>114
しつこい
無視
127:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 23:43:35 YeZrvPal.net
>>116
>まあショルツやファルティングスにダメだしされている今の状況では
>国際数学者会議でもダメだしでしょ
１．ショルツ氏が主張していることは、Woitブログで明らかになったように、IUTは原理的に不成立だという主張です
しかしながら、その指摘は2年前になされ、RIMSとしては２年掛けて再査読して、SSレポートをアウトにして IUTの証明にOKを出した
２．曰く付きの論文だから、査読は慎重に行われたに違いないし、小さな瑕疵を見逃すならあり得るとしても
SSレポートのいうような「IUTは原理的に不成立」を（しかも指摘されている点を）査読で見逃すはずもない
３．実際 ショルツ氏の勘違いだろうし、woitブログでは、ショルツ氏の側から、議論を打ち切って、あとはメールとしたのです
今頃は Stix氏に じっくり 本当のことを教えて貰えているでしょうね（＾＾
（参考）
URLﾘﾝｸ(www.math.columbia.edu) （woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
Peter Scholze says:
April 6,2020
(抜粋)
I may have not expressed this clearly enough in my manuscript with Stix, but there is just no way that anything like what Mochizuki does can work.
(I would not make this claim as strong as I am making it if I had not discussed this for with Mochizuki in Kyoto for a whole week; the following point is extremely basic, and Mochizuki could not convince me that one dot of it is misguided, during that whole week)
The reason it cannot work is a theorem of Mochizuki himself.
This states that a hyperbolic curve X over a p-adic field K (maybe with some assumptions, all of which are always satisfied in all cases relevant to IUT) is determined up to isomorphism by its fundamental group π1(X), and in fact automorphisms of X are bijective with outer automorphisms of π1(X).
Thus, the data of X is completely equivalent to the data of π1(X) as a profinite group up to conjugation.
In IUT, Mochizuki always considers the latter type of data, but of course up to equivalence of groupoids this makes no difference.
128:１３２人目の素数さん
20/05/29 02:06:26 iAD1eYYE.net
>>92
語彙には複数意義の使用例があるってだけの話
くだらなすぎる指摘だな
129:１３２人目の素数さん
20/05/29 02:48:52 Kzi4cS3U.net
>>119
>語彙には複数意義の使用例があるってだけの話
それしか読み取れないとはお目出たい。
昔の名大の物理学科の教授は互いに「先生」をつけて呼ばない習慣があった話や、
以前、「先生」とつけて呼ばれたくない教授がいた話を知らないのか。
普通の人は首相や国会議員に「先生」をつけて呼ばない。
「先生」は、つけ方次第では揶揄することにもなり得る。
130:現代数学の系譜 雑談
20/05/29 07:48:22.87 iKYGql4r.net
>>115
>明らかに、”ホッジ舞台と「宇宙」が、同義語として使われている”（>>106）と思いました（＾＾
メモ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: ¨
CONSTRUCTION OF HODGE THEATERS
Shinichi Mochizuki
May 2020
P21
In particular, unlike the case with ring homomorphisms or morphisms of schemes with respect to which the ´etale fundamental group satisfies well-known functoriality properties,
in the case of nonring/scheme-theoretic filters, the only “type of mathematical object” that makes sense simultaneously in both the domain and codomain theaters of the filter is the notion of a topological group.
In particular, the only data that can be considered in relating ´etale fundamental groups on either side of a filter is the ´etale-like structure constituted by the underlying abstract topological group associated to such an ´etale fundamental group, i.e.,
devoid of any auxiliary data arising from the construction of the group “as an ´etale fundamental group associated to a basepoint determined by a geometric point of a scheme”.
It is this fundamental aspect of the theory of the present series of papers
? i.e., of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
? that we refer to as inter-universal.
This inter-universal aspect of the theory manifestly leads to the issue of considering the extent to which one can understand various ring/scheme structures by considering only the underlying abstract topological group of some ´etale fundamental group arising from such a ring/scheme structure
? i.e., in other words, of considering the absolute anabelian geometry [cf. the Introductions to [AbsTopI], [AbsTopII], [AbsTopIII]] of the rings/schemes under consideration.
つづく
131:現代数学の系譜 雑談
20/05/29 07:49:07.94 iKYGql4r.net
>>121
つづき
At this point, the caref
132:ul reader will note that the above discussion of the inter-universal aspects of the theory of the present series of papers depends, in an essential way, on the issue of distinguishing different “types of mathematical objects” and hence, in particular, on the notion of a “type of mathematical object”. This notion may be formalized via the language of “species”, which we develop in the final portion of [IUTchIV]. Another important “inter-universal” phenomenon in the present series of papers ? i.e., phenomenon which, like the absolute anabelian aspects discussed above, arises from a “deep sensitivity to particular choices of basepoints” ? is the phenomenon of conjugate synchronization, i.e., of synchronization between conjugacy indeterminacies of distinct copies of various local Galois groups, which, as was mentioned in §I1, will play an important role in the theory of [IUTchII], [IUTchIII]. The various rigidity properties of the ´etale theta function established in [EtTh] constitute yet another inter-universal phenomenon that will play an important role in theory of [IUTchII], [IUTchIII]. §I4. Relation to Complex and p-adic Teichm¨uller Theory つづく
133:現代数学の系譜 雑談
20/05/29 07:49:27.68 iKYGql4r.net
>>122
つづき
P33
We shall refer to an isomorphic copy of some object as an isomorph of the object.
If C and D are categories, then we shall refer to as an isomorphism C→D any
isomorphism class of equivalences of categories C→D. [Note that this terminology
differs from the standard terminology of category theory, but will be natural in the
context of the theory of the present series of papers.] Thus, from the point of view
of “coarsifications of 2-categories of 1-categories” [cf. [FrdI], Appendix, Definition
A.1, (ii)], an “isomorphism C→D” is precisely an “isomorphism in the usual sense”
of the [1-]category constituted by the coarsification of the 2-category of all small
1-categories relative to a suitable universe with respect to which C and D are small.
(引用終り)
134:現代数学の系譜 雑談
20/05/29 07:58:12.97 iKYGql4r.net
>>121-123
補足
IUT I で、
１）
”universe”が出てくるのは、２箇所のみ
>>121より
? i.e., of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
? that we refer to as inter-universal.
と
>>123より
Appendix, Definition
A.1, (ii)], an “isomorphism C→D” is precisely an “isomorphism in the usual sense”
of the [1-]category constituted by the coarsification of the 2-category of all small
1-categories relative to a suitable universe with respect to which C and D are small.
２）
あと、この範囲で”theater”が出てくるのが一箇所
In particular, unlike the case with ring homomorphisms or morphisms of schemes with respect to which the ´etale fundamental group satisfies well-known functoriality properties,
in the case of nonring/scheme-theoretic filters, the only “type of mathematical object” that makes sense simultaneously in both the domain and codomain theaters of the filter is the notion of a topological group.
３）
なので、望月先生の心の中では、”universe”と”theater”とは、微妙に使い分けているみたい
（＾＾；
135:現代数学の系譜 雑談
20/05/29 08:05:02.11 iKYGql4r.net
>>124
補足の補足
P21
It is this fundamental aspect
of the theory of the present series of papers － i.e.,
of relating the distinct set-theoretic universes associated to the distinct
fiber functors/basepoints on either side of such a non-ring/scheme-theoretic
filter
－ that we refer to as inter-universal. This inter-universal aspect of the theory
manifestly leads to the issue of considering
the extent to which one can understand various ring/scheme structures
by considering only the underlying abstract topological group of some
´etale fundamental group arising from such a ring/scheme structure
－ i.e., in other words, of considering the absolute anabelian geometry [cf. the
Introductions to [AbsTopI], [AbsTopII], [AbsTopIII]] of the rings/schemes under
consideration.
が、”universe”について、一番言いたいことなのかな？
でも、
”of relating the distinct set-theoretic universes associated to the distinct
fiber functors/basepoints on either side of such a non-ring/scheme-theoretic
filter”
が、なんかちょっと違和感というか、そうなの？ という感じがするな（＾＾
136:１３２人目の素数さん
20/05/29 09:19:14 ILd5rpzK.net
ガロアスレ主にしては珍しくいい指摘だな
一般向けに宇宙という用語を広めまくってるが、劇場に撤回したほうがいいんじゃないか
マルチラディカルアルゴリズムを宇宙にも適用できるとかいう話だったと思うが、それは失敗してるし
137:１３２人目の素数さん
20/05/29 09:24:41 ILd5rpzK.net
マルチラジアルアルゴリズムか
138:１３２人目の素数さん
20/05/29 13:08:26.02 ngyEKeql.net
>>126
そもそもuniverseは宇宙だけどuniversalは普遍的なという意味
universal setは普遍集合だね
139:１３２人目の素数さん
20/05/29 13:09:35.34 xfLGHZA2.net
宇宙ってのはグロタンディーク宇宙の意味なら、そちら使う方がいいだろう
140:１３２人目の素数さん
20/05/29 13:12:25.52 ngyEKeql.net
え、もしかしてこれも意図
141:的な誤訳なのか…
142:１３２人目の素数さん
20/05/29 13:47:28.45 OW+nLr++.net
>>128
って言われても本人たちが宇宙って広めてないか
143:１３２人目の素数さん
20/05/29 13:57:01.13 ngyEKeql.net
>>131
宇宙のほうがSFっぽいから一般ウケ狙いなんだろ
みなさんが高校のとき数学の集合の授業で黒板に一番外側をぐるっと囲ってUって書きましたよね？
って言ったらみんな去って行ってしまうと思う
144:１３２人目の素数さん
20/05/29 14:02:41.45 OW+nLr++.net
>>132
でもグロタンディーク宇宙に結びつけるのは失敗してるわけだから、
一般向けだからこそ嘘は良くないと思うがな
145:１３２人目の素数さん
20/05/29 14:06:04.12 ngyEKeql.net
>>133
嘘を見抜けない素人は騙されとけという数学者の傲慢を感じる
それに対する怒りが自分のモチベーションｗ
146:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/29 16:39:25 L93mHa1Z.net
>>122 補足
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: ¨
CONSTRUCTION OF HODGE THEATERS
Shinichi Mochizuki
May 2020
P21
§I3. Basepoints and Inter-universality
（ここ、こんな表題ついていたんだｗ 気づかなかったな（＾＾ ）
P33
We shall refer to an isomorphic copy of some object as an isomorph of the object.
If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D.
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
Thus, from the point of view of “coarsifications of 2-categories of 1-categories”
[cf. [FrdI], Appendix, Definition A.1, (ii)],
an “isomorphism C→D” is precisely an “isomorphism in the usual sense”of the [1-]category constituted by the coarsification of the 2-category of all small 1-categories relative to a suitable universe with respect to which C and D are small.
＜参考文献＞
[FrdI] S. Mochizuki, The Geometry of Frobenioids I: The General Theory, Kyushu J. Math. 62 (2008), pp. 293-400.
<DeepL 翻訳で これを手直しする>
あるobjectの同型コピーを、そのobjectの同型と呼ぶことにする。
CとDがcategoriesであるならば、categoriesC→Dの同値の同型クラスをすべて同型C→Dと呼ぶことにする。
[この用語は、カテゴリ理論の標準的な用語とは異なるが、本稿の一連の論文の理論の文脈では当然のことであることに注意されたい。]
したがって、「1カテゴリの2カテゴリによる粗相化(coarsification)」という観点からは
( [FrdI]、付録、定義A.1、(ii)を参照のこと)
「同型C→D」とは、正確には 「通常の意味での同型」で [1-]カテゴリで 2カテゴリの粗相化(coarsification) によって構成される （すべてのsmallな1カテゴリの
相対的に 適切な宇宙で CとDがsmallものに関して）。
(引用終り)
訳していて、意味分からんな