Inter-universal geometry とABC 予想55

Inter-universal geom ..

2:１３２人目の素数さん
24/04/13 15:24:34.06 uEUP/Qtj.net
前スレ
Inter-universal geometry とABC 予想54
URLﾘﾝｸ(itest.5ch.net)

3:１３２人目の素数さん
24/04/13 15:37:23.68 uEUP/Qtj.net
前スレ54の急激なレス増加に対応しスレ55を早めに立てました。
まず前スレ54を消化してください。

4:１３２人目の素数さん
24/04/14 08:41:49.00 VvXxwIcC.net
Peter Scholze
I do not think that there is a real error internally in IUT IV.
real error 　→　〇：真のエラー、×：とりあえず矛盾　
ペーター　ショルツェ
私はIUT-Ⅳ内に真のエラーがないと考える。
・IUT-Ⅲを使って、IUT-ⅣでABC予想の不等式をつくるので、IUT-ⅣにはIUT-Ⅲを前提で含んでいる
・従い、IUT-Ⅳ過程とIUT‐Ⅳに至る過程の前提にも、真のエラーがない

5:１３２人目の素数さん
24/04/14 08:43:09.14 VvXxwIcC.net
Peter Scholze
"Joshi's version of Mochizuki's Corollary 3.12" (=Joshi's Theorem 9.11.1) has a purely local proof and hence cannot have the same content as Mochizuki's Corollary 3.12.
ペーター　ショルツェ
”Joshi版の望月Corollary 3.12”は純粋に局所での証明であるため、望月のCorollary 3.12. と同じ内容を持っていない
→ 望月の Corollary 3.12.は、Joshi版のような単なる局所の不等式の和でない。

6:１３２人目の素数さん
24/04/14 08:44:06.26 VvXxwIcC.net
素点ｐを満たす式が難しい
URLﾘﾝｸ(mathoverflow.net)

7:１３２人目の素数さん
24/04/14 09:29:19.27 hT/wxgIy.net
p.scholze
>I agree with Sam Hopkins that this discussion is not fruitful.
Sam Hopkins
> all of this Mochizuki stuff is just hype & drama, I'm afraid. –
URLﾘﾝｸ(mathoverflow.net)

8:１３２人目の素数さん
24/04/14 10:09:13.60 scyNFM/R.net
Peter Scholze

I'm more afraid that this is an instance where the cited reference does not match the statement that is claimed. The critical difference between Joshi and Mochizuki is that "Joshi's version of Mochizuki's Corollary 3.12" (=Joshi's Theorem 9.11.1) has a purely local proof and hence cannot have the same content as Mochizuki's Corollary 3.12. However, it may be correct on its own; then the mistake is a mismatch between what Joshi has to compute in Proposition 6.10.7, and what Mochizuki actually computed in IUT IV. But I agree with Sam Hopkins that this discussion is not fruitful. –

URLﾘﾝｸ(mathoverflow.net)

9:１３２人目の素数さん
24/04/14 10:10:46.45 scyNFM/R.net
Peter Scholze

To summarize: There is a clear problem with Joshi's proof, as there is a contradiction between Proposition 6.10.7 and the local inequality proved in the proof of Theorem 9.11.1. The mistake could be in Proposition 6.10.7 (and, given that the proof isn't written down, is the first suspicious place) but it might as well be a mistake in the proof of Theorem 9.11.1. In any case, this whole discussion is only about Joshi's proof, not Mochizuki's; I do not think that there is a real error internally in IUT IV.

URLﾘﾝｸ(mathoverflow.net)

10:１３２人目の素数さん
24/04/14 11:06:51.59 hT/wxgIy.net
scholzeが強調している点は、望月の証明とjoshiの証明は別で
望月のabc予想の証明の問題点はjoshiのabc証明の間違いに関係ない。
(ただしjoshiの証明は望月の証明と混乱する間違いがありSam Hopkinsにも同意してる。)
よって望月の証明はzbmath scholzeレビューにより
問題はpart IV 4部でなくpart ?3部cor.3.12。
>>783
・part IV
>part IV contains certain technical computations standard in number
theory to translate Corollary 3.12 of part III into the ABC conjecture.
・cor.3.12について
>at some point in the proof of Corollary 3.12, things are so obfuscated
that it is completely unclear whether some object refers to the q-values
or the Θ-values, as it is somehow claimed to be definitionally equal to
both of them, up to some blurring of course, and hence you get the desired result.

11:１３２人目の素数さん
24/04/14 11:10:47.31 hT/wxgIy.net
>>10
× Sam Hopkinsにも同意してる
⚪︎ scholzeは Sam Hopkinsにも同意してる

12:１３２人目の素数さん
24/04/14 13:04:17.86 scyNFM/R.net
Peter Scholze
I do not think that there is a real error internally in IUT IV.
real error 　→　〇：真のエラー、×：とりあえず矛盾　
ペーター　ショルツェ
私はIUT-Ⅳ内に真のエラーがないと考える。
・IUT-Ⅲを使って、IUT-ⅣでABC予想の不等式をつくるので、IUT-ⅣにはIUT-Ⅲを前提で含んでいる
・従い、IUT-Ⅳ過程とIUT‐Ⅳに至る過程の前提にも、真のエラーがない

13:１３２人目の素数さん
24/04/14 13:05:01.74 scyNFM/R.net
IUT勝利

14:１３２人目の素数さん
24/04/14 13:50:16.71 hT/wxgIy.net
id:scyNFM/Rは、IUTの的はずれのIU礼賛はあらしで大量のムダレスになる。
スレチより
以後はIUT礼賛応援スレやヤフー知恵⚪︎⚪︎⚪︎などに行ってください。

15:１３２人目の素数さん
24/04/14 13:58:56.92 2ep+fcDk.net
つーか、id:scyNFM/Rはこの程度(>>12)のコメントすら
理解できないんだから、数学以前の問題でしょ

16:１３２人目の素数さん
24/04/14 14:48:39.70 E1KQVL1v.net
>>12
お前わざとやってるだろ？
第四論文が参照してる命題が真ならば第四論文の議論自体には問題がないと言ってる
従って第三論文までの命題が全て正しいという意味ではない
本気で言ってるならそんな読解力では数学なんかできるはずがない

17:１３２人目の素数さん
24/04/14 22:35:42.47 GN3rao5J.net
ＩＵＧＣとJoshiのプレプリントと、証明の欠陥のおまけだったがピークはすぎたか、
ＩＵＴはいつまでも落ち着かない

18:１３２人目の素数さん
24/04/14 22:48:29.11 CqnVU4YK.net
まぁ落ち着く事はない
もう望月論文は修正不可能で本来本人が撤回して事態を終息させるべき段階だけど数学の世界にはそれを強要するシステムなどない
あくまで本人の判断
無限にゴネ続ける事が可能

19:１３２人目の素数さん
24/04/14 23:03:13.66 PpTfU2Dv.net
さすがにそうなら玉川氏あたりが引導を渡すだろう？弟子たちも数学者である訳だし眉唾なら批判して離反するはずだろ？しないってことは正しいってことだよ

20:１３２人目の素数さん
24/04/14 23:13:19.93 LzJRApHc.net
事ここに至ってまだそんな寝言言ってる

21:１３２人目の素数さん
24/04/14 23:44:16.57 PpTfU2Dv.net
もしそうだとしてあんたのも見事な寝言だよ

22:１３２人目の素数さん
24/04/14 23:49:30.37 LzJRApHc.net
望月論文が標準的な、すなわち“禁じ手”を使わない数学に翻訳不可能な事はもう確定したと言っていい
これだけの時間与えられて誰もできない
もう失敗したと断じていい

23:１３２人目の素数さん
24/04/15 00:16:10.58 naoBwYfF.net
IUTを使わなければABCが証明できない可能性はかなり低いというかほぼゼロ
だろうしな。ABCやディオファントス幾何学を真面目に考えたいなら正攻法を
模索したほうがいい

24:１３２人目の素数さん
24/04/15 00:16:53.41 KC1aeDmI.net
玉川柏原氏は、IUT論文を全く新しい理論
IUTによりabc予想が証明されたとして
受理したPRIMS特別委員会委員長だ。
全く新しい理論とは詭弁だし責任は重大だ。

25:１３２人目の素数さん
24/04/15 00:57:25.28 gqs2D+9R.net
>>22
数学の真偽はここの多数決じゃ決まらんよ

26:１３２人目の素数さん
24/04/15 01:33:12.09 sn/DTjPe.net
誰もできないという事実は多数決で決めたのではない事実

27:１３２人目の素数さん
24/04/15 01:50:33.83 5EnajAsr.net
数学教ではIUTは受け入れられない
異端審問会で火炙りよ

28:１３２人目の素数さん
24/04/15 02:03:54.42 HTrtD2ID.net
>>19 裏金もらってないか資金洗うべきだな
　業績素晴らしくても高潔さとは別物だからなぁ

29:１３２人目の素数さん
24/04/15 08:34:14.78 BDdxVMUJ.net
>>0010
＞問題はpart IV 4部でなくpart ?3部cor.3.12
>>008
part3 cor.3.12

30:１３２人目の素数さん
24/04/15 09:49:16.45 +DCfBjVd.net
文元の逃げ方が全てを表しとるだろ。
本当に正しけりゃいまだに理解してないなんていう前に詳細をチェックしておくだろうに。

31:１３２人目の素数さん
24/04/15 14:09:41.10 JGlNTIAl.net
その点はJoshiのほうが遥かにマシだ
あれだけ長く近くにいて論文の一つも書かないとは…

32:１３２人目の素数さん
24/04/15 23:59:24.93 6P1VQzn2.net
意味深
Fumiharu Kato 加藤文元（Bungen）
@FumiharuKato
私の身の回りでは学者として優れた（優れていた）人ほど年を重ねるにつれて偏屈になって他人に迷惑をかけまくる人が多い。自分が死んだ将来の世代より、生身の自分を知ってくれている現代の人たちの方が私にとっては大事だから、私はそうはなりたくないと思う（が…まぁいろいろ考え方あるだろう）。
Translate post
11:22 PM · Apr 13, 2024

33:１３２人目の素数さん
24/04/16 00:32:03.30 eTWGQMg0.net
尊師にポアされたのかな？笑
偏屈になって他人に迷惑かけまくる人って、
件の人とTo appear Annalsが思い浮かんだ笑

34:１３２人目の素数さん
24/04/16 00:48:24.23 iJ+bf60Y.net
>>32
Mは老害ってこと？

35:１３２人目の素数さん
24/04/16 07:28:49.81 3t6oBDzb.net
>>12
これは恥ずかしい

36:１３２人目の素数さん
24/04/16 13:00:21.51 eTWGQMg0.net
これが宇宙懐疑論者への陰口だったら、、、ダサすぎるな。。。笑

37:１３２人目の素数さん
24/04/16 17:53:40.45 QY0veAbN.net
>>32 あのさぁ・・・

38:１３２人目の素数さん
24/04/16 18:58:37.08 TdehPOLJ.net
あんま関係ないが文元って意外と身長180くらいあるよな
望月もそれくらいあるし

39:１３２人目の素数さん
24/04/17 07:38:28.43 /+kMqt7h.net
群盲撫象を現実に見るとは笑止

40:１３２人目の素数さん
24/04/17 10:01:58.26 WC7kmmRZ.net
2019年4月25日発刊. 望月新一監修川上量生あとがき加藤文元著
「宇宙と宇宙をつなぐ数学IUT理論の衝撃」は2018年scholze stixレポートへ
望月新一教授の回答書。
▫︎ IUT語　p51
「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」。
パラダイムはトマスクーンの「科学革命」。
▫︎2021(2020)年RIMS主催カンファレンス「IUT理論の拡がり」
(望月新一組織委員長加藤文元組織委員)では、
加藤文元「宇宙と宇宙をつなぐ数学IUT理論の衝撃」が「IUTTの拡がり」
の公式HPにある公式な本。

41:１３２人目の素数さん
24/04/17 11:36:29.46 sCbPZmol.net
>>38
え？

42:１３２人目の素数さん
24/04/17 11:53:41.39 WC7kmmRZ.net
>>40
続

▫︎ パラダイム　p59
「数学はどのようにして「進歩」するのでしょうか？
そこにはトマスクーンが言うように「通常科学」の中で連続的・累積的に積み
重なる新しさと、「パラダイムシフト」によって生じる新しさの二種類があります」

「通常科学とは、トマスクーン「科学革命の構造」(中山茂訳みすず書房1971年)
における用語で、一つのパラダイム(時代や科学の各分野における支配的な
研究上の規範、視点、枠組みなどの意味)や様式に基づいた科学活動のことで
あり、パラダイムから与えられる問題や解き方などの指針に基づいて研究を
進める状態のことをいいます。
これに対する状態は、「科学革命」期あるいは「パラダイムシフト」と呼ばれている
時期であり、この時期には既存のパラダイムが破壊されたり
劇的に変化することで新しい科学の枠組みが形成されます。」

▫︎ 宇宙際タイヒミュラー理論の拡がり　HP

URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

43:１３２人目の素数さん
24/04/17 12:07:25.29 TxNlzw4W.net
自分で理解してもいないくせに
よくもこれだけペラペラと非専門家相手に美辞麗句並べられるよな。
加藤文元さんは極めて学術的に不誠実な人物だね。
どれだけゲスなことやってても毛並みと見てくれがいいと
大衆は信じてしまうものだからねえ。

44:１３２人目の素数さん
24/04/17 12:30:56.94 WC7kmmRZ.net
>>42
続
▫︎
望月新一と加藤文元両氏はIUT理論の主な考え方や関連する数学を議論するため2005年
7月から2011年2月15日までセミナーを行った。
最後のセミナーでIUT理論の「主定理」を議論した。
▫︎ １刊行によせて　IUT理論提唱者望月新一京大教授　p7-p11
「より詳細な解説は本文に譲ります」p7 (望月新一は加藤文元の解説に同意)
また、
「不定性」「近似」「緩み」
例
天動説　地動説　相対性理論　量子力学　素粒子の力学　不確定性原理

45:１３２人目の素数さん
24/04/17 12:49:30.41 WC7kmmRZ.net
>>43
ま、
IUTの提唱者自身がIUTを理解していないらしい。

46:１３２人目の素数さん
24/04/17 14:26:26.22 lwglMa0M.net
場当たり的にのらりくらの言い訳ばっかり
標準の数学の制約に違反してると指摘すればiutは新しい数学だから標準の数学の制約を受けないといい、
ではその新しい数学の言語の規定を与えて下さいと言えばiutは標準数学でそんなものは必要ない
アホかと思う

47:１３２人目の素数さん
24/04/17 15:22:30.13 WC7kmmRZ.net
>>44
続
望月新一監修について
おわりにかえて　川上量生　P294
「日本で出したことのメリットとしては、望月先生と個人的にも親交が深い
文元先生に書いていただけたこと、望月先生自身にも内容を監修していただけたことが
あります」

48:１３２人目の素数さん
24/04/17 16:28:51.04 bBWI4wJ0.net
数学でなく詭弁術

49:１３２人目の素数さん
24/04/17 19:38:26.19 JfxsgOcC.net
望月の"universe"がGrothendieck universeのことだとすると
全くつじつまが合わないことはRobertsが指摘した通り
助け舟を出すブンゲン
>Fumiharu Kato 加藤文元（Bungen）
>@FumiharuKato
>IUT理論における「宇宙」という用語が指し示すものが望月さん
>独特のものであるのは本当です。その宇宙は集合論の宇宙とも、
>グロンタンディーク宇宙とも異なっていますので。
>#数学者は宇宙をつなげるか
>午前0:08 · 2022年4月16日
ブンゲンのはしごを外す望月
> 新一の「心の一票」2022.05.02
>まず、「宇宙」という用語ですが、「望月が導入した概念・用語」という
>主旨の解説になっていますが、これは単純な事実誤認です。よく知られている
>ことですが、「宇宙」という概念・用語は1960年代のグロタンディークの
>論文「SGA4」に遡るものであり、私が生まれる何年も前から数学者の間で
>用いられていた概念・用語です。

50:１３２人目の素数さん
24/04/17 20:35:27.53 mZpPc3uv.net
数理研はドワンゴの金に靡いたのか？
数学者としての矜持なんてとっくに捨ててしまったんだなぁ、ほんと残念。

51:１３２人目の素数さん
24/04/17 20:50:15.14 5pNcrKHx.net
書いた奴の顔が見てみたい

52:１３２人目の素数さん
24/04/17 22:43:20.93 F2GkmLPA.net
mono-anabelian geometry て考え自体否定されとるんかな。
その前段までは普通な気がする。

URLﾘﾝｸ(www.jstage.jst.go.jp)

53:１３２人目の素数さん
24/04/17 23:06:55.63 p8T6m3Aw.net
そんなわけない
おかしいのはひとつの理論の中で複数のモデルを使うところ

54:１３２人目の素数さん
24/04/18 06:39:47.65 xfWYZAq1.net
>>53
本当に？

55:１３２人目の素数さん
24/04/18 10:46:19.16 Jph/q21A.net
さぁ？
さすがにanabelian geometry自体は普通の数学でしょ

56:１３２人目の素数さん
24/04/18 20:44:38.61 IRJxCBYq.net
monoだよ。スキームのエタール基本群がいわゆる普通のbiな遠アーベルだ
問題は、スキームの基本群を分解し無限の異質な宇宙を群論的に構成するという点
これを大域的な「加群」で考えると、図式が同型になるから無意味だと言われてる
望月らはそうじゃない、違う宇宙なんだと反論している

57:１３２人目の素数さん
24/04/18 20:55:55.23 J4j+GBSH.net
あぁ、iutの用語が1ミリでも入ればアウトやな

58:１３２人目の素数さん
24/04/19 01:33:10.60 PsX0T4Hx.net
遠アーベル幾何学の進展
数学 / 日本数学会編 74 (1), 1-30, 2022
URLﾘﾝｸ(www.jstage.jst.go.jp)
編集がPRIMSではなく、
数学会の査読誌
問題点を質問で送ったら

59:１３２人目の素数さん
24/04/19 16:38:50.20 9sF5Y7dF.net
The Mathematics of Mutually Alien Copies: from Gaussian Integrals to
Inter-universal Teichmuller Theory (以下Alien )は遠アーベル幾何学(単遠アーベル幾何学)
の論文？
宇宙際Teichmuller理論 IUTTの論文？
どちらですか？
① 日本数学会編集　数学　査読付き論説　星裕一郎　(>>52)
▫︎ 1序文　
>スキームに基づく遠アーベル幾何学の課題はセクション予想.双有理
遠アーベルなどで「遠アーベル幾何学の大きな応用であるIUT理論」、
つまり IUTTと遠アーベル幾何学は異なる。
▫︎6 アルゴリズム的遠アーベル幾何学P15.p16
>アルゴリズム的な観点による遠アーベル幾何学とは、簡単に言ってしまえば
以下のような内容を持つ遠アーベル幾何学の研究のことである。
与えられた代数多様体Xにたいして、抽象的な位相群π1(X)を入力データと
して、そして代数多様体Xに付随する幾何学対象(例えばXそれ自体)を出力
データとする純位相群的アルゴリズムを確立せよ。
そして、単遠アーベル的輸送(65. Alien )という枠組みでのその純位相群論的復元
アルゴリズムの研究が単遠アーベル幾何学である。
遠アーベル幾何学の大きな応用であるIUTTではこのアルゴリズム的
遠アーベル幾何学や単遠アーベル幾何学が中心的な役割をはたすのである。
さて① から「Alien 」は遠アーベル幾何学(単遠アーベル幾何学)の論文。
しかし
② 望月新一RIMS教授のHPによれば、
Alien は宇宙際Teichmuller理論 IUTTの論文に分類されている。

60:１３２人目の素数さん
24/04/19 16:46:52.83 4F+Qu5gd.net
>>59
①　☆がMSから離脱しようと画策
②　MSは☆の成果を自分のおかげとアピール

61:１３２人目の素数さん
24/04/19 17:10:30.47 cMZorH98.net
まぁ inter universe が入ってれば全部アウトやな

62:１３２人目の素数さん
24/04/19 23:16:48.55 jZFGLgvh.net
>>59
×双有理遠アーベル　⚪︎双有理遠アーベル幾何学

63:１３２人目の素数さん
24/04/20 00:48:51.05 XlZZqVYW.net
jin はJoshi を称賛して、もっちーを非難し、罵倒していた。

64:１３２人目の素数さん
24/04/20 09:12:22.77 VtaMSjeW.net
>>63
圏論勉強してないのにこの話題分かるの？

65:１３２人目の素数さん
24/04/20 12:39:54.74 cvhHH4p1.net
>>0056

＞問題は、スキームの基本群を分解し無限の異質な宇宙を群論的に構成するという点
＞これを大域的な「加群」で考えると、図式が同型になるから無意味だと言われてる
＞望月らはそうじゃない、違う宇宙なんだと反論している

Joshiの例で、局所を単に加えた(積分）では素点ｐ、無限素点のときにギャップがでることは明らか。

但し下記リンクの頁10で、”素点の連動”の法則は、”積の公式の法則”があり、”近似を局所的なあるを満たすように用意し”、積分による大域的な式で、”積公式はそうして入手した緒々の局所的な情報を「貼り合わせる」役割を果たす”とある。。

反論ではない。最初からIUT理論に書かれたコアのコンセプトなのだから良く理論を読め、だろう。
大域的な単なる「加群」でなく、同型で無意味にならなくした、宇宙際（宇宙と宇宙をつなぐ）の工夫が、数学で斬新となるアイデアなのだろ　ｗ

＞まぁ inter universe が入ってれば全部アウトやな
アイデアのコアを、無下に否定するのはどうかと思うが。ここまで論議が続けられてきたし、そのうち画期的な方法となるのでは。

66:１３２人目の素数さん
24/04/20 12:40:50.50 cvhHH4p1.net
>>0065
のリンク先
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)

67:１３２人目の素数さん
24/04/20 12:59:11.87 gciKSLUQ.net
ここまで説明されてもまだ inter universe 周りが標準数学の規定に反しているのか理解できないゴミクズ

68:１３２人目の素数さん
24/04/20 16:06:22.33 MALyFij9.net
>>0056
>人類は初等的な見地から式をいじることによった多項式の有理数解の様子を解明しようとして二千年以上の歳月を費やしてきたいるが、初等的な式変形という方法には限界がある。
>そこで問題の本質を見抜いたより概念的なアプローチを開発したくなる。
多項式を、局所化して近似から大域化するときに、素点と無限素点の課題は積の公式の法則を満たす宇宙際の張り合わせを行えば、多項式で出来るか分からない式変形を行わずとも、本質的なアプローチの解析ができる。

69:１３２人目の素数さん
24/04/20 22:36:53.08 6SWpXjCJ.net
>>57
星氏の論説はアウトなのかな

70:１３２人目の素数さん
24/04/20 22:49:14.70 AuyDHIw/.net
俺は57じゃないけど、iutで何ができるとも
言ってないからセーフでっしゃろ
むしろなぜ安全な物言いに徹したのか考えるべきじゃね

71:１３２人目の素数さん
24/04/20 23:36:15.59 +jT4oy8W.net
>>65
>同型で無意味にならなくした、宇宙際（宇宙と宇宙をつなぐ）の工夫
工夫というか単なる仮定だろ

72:１３２人目の素数さん
24/04/21 07:07:26.47 4QV6ijwF.net
Joshiの証明では、
＞多項式を、局所化して近似から大域化するときに、素点と無限素点の課題は積の公式の法則を満たす、
のＩＵＴの工夫がなかった。

Scholzeは、望月の見解「素点と無限素点の課題は積の公式の法則を満たすべき」を認めているし、
URLﾘﾝｸ(mathoverflow.net)
＞Mochizuki makes the true and very simple observation that this can never be proved by proving it "one prime at a time", i.e. proving that for every prime p,

またJoshiの証明で、多項式の局所化と大域化にミステイクがあることを述べている。
URLﾘﾝｸ(mathoverflow.net)
－局所化(Proposition 6.10.7)でミスしている可能性
－局所からの大域化(Theorem 9.11.1)に矛盾がある

一方でScholzeは「Joshiの証明の矛盾を指摘するならば、望月の証明にミステイクがあるのでは」のブログ質問に、「（実際のエラー）の議論は、Joshi の証明で、望月の証明でありません。 IUT IV 内に実際のエラーがあるとは思えない」と答えている。
＞In any case, this whole discussion is only about Joshi's proof, not Mochizuki's; I do not think that there is a real error internally in IUT IV.

Joshの証明で次のエラーがあるが、望月の証明にはエラーがないならば、
＞多項式を、局所化して近似から大域化するときに、素点と無限素点の課題は積の公式の法則を満たす、
工夫がある。

73:１３２人目の素数さん
24/04/21 13:10:58.65 m86Cpx5G.net
>>66
これは1999年(平成11年)RIMS数学公開入門講座の資料で、
数学のモーデルベイユの定理.モーデルファルティングスの定理.
ファルティングスの定理などの紹介だ。
その後、2011年2月15日望月新一加藤文元氏がIUTTの主定理を議論した(>>44)。
2012年8月に全く新しい理論IUTTによる4篇のIUT論文が発表された。

74:１３２人目の素数さん
24/04/21 16:28:04.45 z58qnAR0.net
1999年にIUTTは存在しなかった。

75:１３２人目の素数さん
24/04/21 16:41:29.29 4QV6ijwF.net
1999年、楕円曲線のホッジ・アラケロフ理論（IUTTの原型）を証明
　＞ABC予想などに重要なヒントを与えるのではないかと指摘している。
URLﾘﾝｸ(ja.wikipedia.org)

76:１３２人目の素数さん
24/04/21 17:26:40.86 oUBUMAUu.net
>>72 アリャもう訴えたら勝てるレベルだろ。
ぐちゃぐちゃ欧米が〜とか天才の僕ちんは理解されずいじめられる〜とか
散々意味不明な陰謀論喚いてた奴らが属性や権威で罵倒するのか、笑えるな。

77:１３２人目の素数さん
24/04/21 18:01:02.12 z58qnAR0.net
>>75
IUTTの原型には笑ったw 遠アーベル幾何学が起源とか？

望月新一教授のHPでは論文が楕円曲線のHodge-Arakelov理論と遠アーベル幾何学と
宇宙際Teichmuller理論らに分けられている。
IUTTは議論を経て2022年8月にIUT論文が発表され
加藤文元氏によれば未だにIUTTは未完成だ。

78:１３２人目の素数さん
24/04/21 18:07:21.91 z58qnAR0.net
>>77
×2022 ⚪︎2012

79:１３２人目の素数さん
24/04/21 18:26:17.47 1/WQFrqS.net
Joshi, Woit, Roberts はIUT, abcに関しては今後は沈黙するだろう。あまりにも無様で間抜け過ぎた。

80:１３２人目の素数さん
24/04/21 18:40:53.24 +2zd27AU.net
>>75
英文版には追記があるよ
"（google訳）
ABC予想など。 2012年に、彼は宇宙間タイヒミュラー理論を発表しました。この理論では、ホッジ・アラケロフ理論ではなく、フロベノイド、アナベロイド、およびモノアナベリアン幾何学の理論を使用しました。"
もっとも、ホッジシアターが、Hodge–Arakelovに対応しているのかもしれないが
URLﾘﾝｸ(en.wikipedia.org)
Hodge–Arakelov theory
ABC conjecture and so on; in 2012, he published his Inter-universal Teichmuller theory, in which he didn't use Hodge-Arakelov theory but used the theory of frobenioids, anabelioids and mono-anabelian geometry.
（google訳）
ABC予想など。 2012年に、彼は宇宙間タイヒミュラー理論を発表しました。この理論では、ホッジ・アラケロフ理論ではなく、フロベノイド、アナベロイド、およびモノアナベリアン幾何学の理論を使用しました。

81:１３２人目の素数さん
24/04/21 19:00:14.04 4QV6ijwF.net
Joshi、従来数学での証明の試みは、望月によると証明が出来ない。
多項式で定義される「代数的な世界」に留まろうとすると有限次の被覆しか扱うことができない。
有限次被覆は代数曲線として自然に定義されるが、無次元被覆について同様な性質は成立しない
下記リンクの20ページに書いてある。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
だからJoshiはIUTを全然理解していないと言うのか。最終的にそうならば全ては無駄になっちゃう。

82:１３２人目の素数さん
24/04/21 20:39:25.85 oUBUMAUu.net
尊師のパワハラ罵倒怪文書、信者たちはどう思う？

83:１３２人目の素数さん
24/04/21 22:14:50.69 +2zd27AU.net
パワハラ罵倒怪文書は、下記につづいて2回目
なんども繰り返さないように注意すべきと思います
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
COMMENTS ON THE MANUSCRIPT (2018-08 VERSION) BY SCHOLZE-STIX CONCERNING INTER-UNIVERSAL TEICHM¨ ULLER THEORY (IUTCH)
Shinichi Mochizuki September 2018
(C1) : Remark 5, “For fixed ... h(P) ≤ b.”: I can only say that it is a very challenging task to document the depth of my astonishment when I first read this Remark! This Remark may be described as a breath-takingly (melo?)dramatic self-declaration, on the part of SS, of their profound ignorance of the elementary theory of heights, at the advanced undergraduate/beginning graduate level.
To repeat, this sort of argument lies well within the framework of advanced undergraduate/beginning graduate-level mathematics. It is entirely inconceivable that any researcher with substantial experience working with heights of rational points would attempt to prove this sort of finiteness statement by invoking such a nontrivial result as Faltings’ theorem. Anyone familiar with the proof of Faltings’ theorem will also recognize immediately that the proof of Faltings’ theorem ultimately reduces to the elementary observation reviewed above, i.e., that the finiteness of the set of rational points (of, say, a proper variety) of bounded height over number fields of bounded degree follows immediately from elementary considerations, namely, from the finiteness of the set of solutions of monic polynomial equations of bounded degree with bounded coefficients ∈ Z.

84:１３２人目の素数さん
24/04/21 22:28:16.32 pV0eEPpr.net
もっちーが“報告書”でJoshiの論文の致命的欠陥をさらっと数行で指摘した。そのもっちーの指摘をScholzeがextremely robust と絶賛した。これでJoshi を称賛していたWoit, Roberts , jin は大恥晒して死んだ。
jin は“報告書”が出る前はもっちーを罵倒し、人格攻撃までしていた。

85:１３２人目の素数さん
24/04/21 22:31:51.04 3vyytjUJ.net
↑こーゆー手口で荒らすのか
やっぱIUT支持者とプーアノン被ってんな

86:１３２人目の素数さん
24/04/21 22:47:38.88 5H1s1l3h.net
元々数学理論の体をなさない数学もどきのスレ
建設的なレスでスレが盛り上がるなどあり得ない

87:１３２人目の素数さん
24/04/21 23:21:29.99 +2zd27AU.net
5ｃｈなんて　元々数学理論の体をなさない数学もどきの板ですがなｗ
スレが盛り上がる時はなんでもありですぜ！　だんな　；ｐ）

88:１３２人目の素数さん
24/04/22 02:12:30.45 tsM0ua6d.net
＞パワハラ罵倒怪文書は、下記につづいて2回目
＞なんども繰り返さないように注意すべきと思います
相手が理解しやすいのみならず、納得性のある伝え方はあるね。
ただ先行したSS文書が怪文書？の気もする。エッシャーの階段に例えなくても良い。
＞ショルツェとスティックスは、2018年5月および2018年9月に公開した10ページのレポートで、論文IUTT-IIIの系3.12の論理過程で反例があると主張した。ショルツとスティクスによれば、望月の方法では「エッシャーの階段」（正しくはペンローズの階段あるいはシェパードトーン。いわゆる不思議の環の一つ。）のように「ぐるぐるまわっているのに昇り（あるいは降り）つづける」といったことが起き、矛盾がないようにした場合、不等式は無意味になるという。
またJoshiの件は、arxivプレプリントの序文が怪文書だった気がする。読んでみると普通の論文序文でない。
URLﾘﾝｸ(arxiv.org)
遠アーベルのアプローチに誤りがあり、私の理論を共著にするのが良いと打診したが返答がない。
ただJoshiの理論に対するコメントは、理論にギャップがあることだけに絞れば分かりやすかった
遠アーベルのアプローチの誤りは”∧と∨の誤認”でRCSと同じとの返答が、メインのコメントになっているが、
題目から読者の期待するJoshiの理論の本筋へのコメントではなく、話がかみ合わず、怪文書？かなと思う。

89:１３２人目の素数さん
24/04/22 02:32:10.39 ke5jzXcQ.net
jinの行動は異様だった。
jin は“報告書”が出る前はもっちーを罵倒し、人格攻撃までしていた。

90:１３２人目の素数さん
24/04/22 02:55:31.01 Rgp0K5nZ.net
カルトの末期ってこんな感じだよな
ジョシは尊師の威厳を保つためにポアされましたとさ、めでたしめでたしw
まあ数学者としてはいてもいなくても何も変わらないどうでもいい人だろうけど、
教団の異常性を世間に知らしめたという点で尊い贄やったな

91:１３２人目の素数さん
24/04/22 07:37:47.41 th1WKmGj.net
山本七平：「天その人を滅ぼさんと欲せば、まず彼をして狂わしむ」
「狂う」！狂うとは何であろうか。（略）それは自己の「見方」の
絶対化・神聖化であり、見方の違う者は排除し、自分の見方に
同調する者としか口をきかなくなる、という状態である。

92:１３２人目の素数さん
24/04/22 07:49:18.71 NyMnJQNd.net
パワハラ罵倒怪文書その1 2018
パワハラ罵倒怪文書その2 2024
この両方で、正しいのは望月氏
間違っているのは、相手だよ
しかし、パワハラ罵倒は余計
繰り返すべきではない！

93:１３２人目の素数さん
24/04/22 07:54:23.08 k+TJmP9r.net
Joshi はゴキブリホイホイのようなものだった

94:１３２人目の素数さん
24/04/22 08:13:30.50 HGz3kIEe.net
>>84
もっちーさん　この報告書では京大の調査はどうなりましたか？
↓
京大法人文書の「報告書」 =研究現況調査票では、
京大数理研の数学誌PRIMSがabc予想を証明したとするIUT論文を
受理する2020年2月の前2016年6月にすでに京大数理研では

「望月新一による「宇宙際タイヒミューラー理論」の構築とその結果
としての ABC 予想の解決は、特筆すべき出来事である。」とした。

95:１３２人目の素数さん
24/04/22 08:21:17.46 UuYCiV3o.net
>>90
IUTの理解と普及に努める、って通信学校で子供相手にやってどうすんだよって感じなんだけど、
大人に理解されないから子どもを洗脳しようとするのもカルト感ある

96:１３２人目の素数さん
24/04/22 08:28:19.68 HGz3kIEe.net
>>94

URLﾘﾝｸ(www.niad.ac.jp)

97:１３２人目の素数さん
24/04/22 08:38:08.51 k+TJmP9r.net
ゴキブリホイホイをもっちーが踏み潰し、Scholze が火をつけた。ゴキブリホイホイの中からjin の叫び声が聞こえる。

98:１３２人目の素数さん
24/04/22 09:31:59.75 qAv9sUFn.net
>>92
ファルティングス教授はIUT論文が理解できないと。
説明責任は望月新一教授にある。
↓
朝日新聞　2021.7.27　石倉徹也記者   
「ABC予想」証明出版でまた物議 .懐疑的見方消えず/興味を失う数学者
・英科学誌ネイチャー　論評  　
「不可解な論文が公式に出版されることに衝撃を受けた。
ABC予想の  　「証明」は物議を醸したままだ」
 ・ABC予想を提唱したジョゼフ.オステルレ仏ソルボンヌ大学名誉教授  
「重要な論文が望月氏に近い雑誌で審査されたのは驚きだ」
 ・フィールズ賞受賞者  　ピーターショルツ独ボン大学教授
「証明の疑問点は明らかなのに解消できていない。納得できる説明をしてほしい」
 ・望月氏の米プリンストン大時代の指導教授.フィールズ賞受賞者  
　ゲルト.ファルティングス氏  　「論文は理解できなかった。
自分の研究に時間を割くことにした」と朝日新聞の取材に答えた。

99:１３２人目の素数さん
24/04/22 09:46:51.46 Am1KPr34.net
Scholzeは、現在でも望月新一のABC予想の証明が正しいとは言っていない
つまり、Joshiの証明の誤りを指摘するのは、
「望月新一が自分の証明を今の数学でどう正当化するつもりか知らないけど
　生半可なことでは無理って、Joshiの試みを見てもわかるでしょ？」
っていってるのと同じ

100:１３２人目の素数さん
24/04/22 10:01:40.02 8CFW5jXQ.net
Scholzeは、現在でも望月新一のABC予想の証明が正しいとは言っていない
　↓
Scholzeは、現在では望月新一のABC予想の証明が正しくないとの繰り返しの主張はない
A氏
URLﾘﾝｸ(plaza.rakuten.co.jp)
新一の「心の一票」
・A氏：「自分の周りには、Z氏の主張を真に受ける
　数学者はいない。みんな無意味な内容のもので
　あることはよく分かっているから望月君は安心
　したまえ。」
・A氏：「本件を巡って、B氏はZ氏を厳しく叱責
　した。」（これについては、別の独立な情報源
　からも聞いている。）

101:１３２人目の素数さん
24/04/22 10:43:42.40 vByKEEY/.net
jinの断末魔の悲鳴が聞こえる

102:１３２人目の素数さん
24/04/22 11:34:14.67 fM+Z4PNU.net
>>94
まだあんた粘着してんのか、もうそろそろアキラメロ
何度も言うがこの報告書は文科省の定例報告書類で事務が作文してて、教員のチェックもままならない代物なのでエビデンスなしだからな

103:１３２人目の素数さん
24/04/22 12:01:27.55 HGz3kIEe.net
>>102
>報告書は文科省の定例報告書類で事務が
作文してて、教員のチェックもままならない
代物なので

京大特有のかな？教授会もあるのに

海外でも問題にされている。
 ・ABC予想を提唱したジョゼフ.オステルレ仏ソルボンヌ大学名誉教授  
「重要な論文が望月氏に近い雑誌で審査されたのは驚きだ」

104:１３２人目の素数さん
24/04/22 12:13:54.27 HGz3kIEe.net
>>100

このブログ記事は、
中傷的・暴露的な内容を持ちABC Zなど根拠の出所も明らかでない。

 Oxford Languagesの定義
【怪文書】
中傷的・暴露的な内容を持ち、出所の明らかでない、いかがわしい文書 

105:１３２人目の素数さん
24/04/22 12:14:24.71 8CFW5jXQ.net
驚きと問題視は違うと思うよ

106:１３２人目の素数さん
24/04/22 12:16:17.48 8CFW5jXQ.net
>>104
しばらく見ていればどう？
だんだん、明らかになってくるだろうし
プロ数学者仲間ならば、裏付け取れるだろう

107:１３２人目の素数さん
24/04/22 12:47:40.24 HGz3kIEe.net
>>105

京大数理解析研究所　2019年要覧。
次世代幾何学研究センター数論幾何学，
特に宇宙際タイヒミューラー理論を
中心に広く次世代の幾何学の研究を推進する
ため，平成31年(2019年)4月1日に設置された。

・次世代幾何学センターセンター長望月新一教授←IUT論文提出者。
・玉川安騎男教授←PRIMS特別編集委員会委員長。 
・特任教授　柏原正樹特任教授← PRIMS特別委員会委員長。 
・森重文特任教授←2018年scholze氏へscholze望月新一ミーティングの提案者

2020年2月望月新一著IUT論文は京大数理解析研究所の数学誌PRIMS
(玉川柏原特別編集委員会委員長)より受理された。

108:１３２人目の素数さん
24/04/22 13:04:06.45 DaPtR4za.net
さすが、反HPVワクチンを大推奨して
死ななくてもいい日本人を大量殺戮したアタオカカルト新聞

109:１３２人目の素数さん
24/04/22 13:30:34.21 jXSngsHK.net
Joshi はもっちーに、間違いを見つけてくれてありがとう、と言うべきだろう。礼儀知らず。

110:１３２人目の素数さん
24/04/22 15:10:54.34 yPgs+wkm.net
アタオカワクチン推進カルトの一員か

111:１３２人目の素数さん
24/04/22 15:54:01.11 fM+Z4PNU.net
>>103
数学者が教授会でいちいち資料の一言一句までチェックするかよ？

文科省報告書とPRIMSを混同してる？

112:１３２人目の素数さん
24/04/23 04:41:38.40 SFwO/Fdq.net
>>0098
数学者が、数週間から数ヶ月程度の時間でその核心に触れることができるように、短い解説書の編集や、講演会などの開催を積極的に行う、そうだ。
IUGCの設立の目的と行動規範
設立の目的
（数論、幾何学、代数学、論理学などを含む）様々な分野のすべての数学者が、各人の主たる研究分野に適した形でIUT理論の諸側面に精通するために、その最初のステップを踏むことを奨励する。
IUT理論の専門家と、関心を持つすべての数学者の対話を促進する。
遠アーベル幾何学とIUT理論の概念や考え方を、様々な立場や背景を持つ数学者のニーズに合致した形で普及させるために、常に新しい発信方法を見出す努力をする。
IUT理論にまだ馴染みのない数学者が、数週間から数ヶ月程度の時間でその核心に触れることができるように、短い解説書の編集や、講演会などの開催を積極的に行う。
IUT理論の専門家を増やし、その研究を促進することに貢献する。
IUT 理論および関連分野の国際ワークショップや研究セミナーを開催する
URLﾘﾝｸ(zen-univ.jp)

113:１３２人目の素数さん
24/04/23 04:44:42.66 SFwO/Fdq.net
数学的正しさと価値以外の基準（例えば、社会的または政治的基準）からの影響を排除する。らしい。
IUGCの行動規範
1 私たちは職業数学者の集団として、その活動と決定において、数学的正しさと価値に従ってのみ行動し、数学的正しさと価値以外の基準（例えば、社会的または政治的基準）からの影響を排除する。
2 私たちは、他のいかなる数学団体や研究組織からも独立して行動する数学者の集団である。
3 以上を踏まえ、私たちは常にIUT理論に関する世界の数学界の状況を正常化する方法を見出す努力をする。

114:１３２人目の素数さん
24/04/23 09:27:30.98 pqJxgEen.net
IUT理論（宇宙際タイヒミューラー理論）は、2012年から京都大学の数論幾何学者の望月新一教授が提唱している、全く新しい視点から自然数の足し算と掛け算の複雑な関係を解き明かす画期的な理論です。
望月教授が、今世紀中の証明は不可能などと言われていた数学の重要問題「ABC予想」を、IUT理論を用いて解決したと世界的なニュースになったことを、覚えている方も多いでしょう。
IUT理論は普通の数学の理論とはレベルが違います。完全に新しく、素晴らしく、美しく、しかもABC予想の解決という明確な結果も出しています。アインシュタインの相対性理論と同じように、この先何百年も人類史上に記憶され続けるでしょう。

115:１３２人目の素数さん
24/04/23 13:06:03.64 Ko24B2bu.net
しばらく静観した。
がID.8CFW 5jXQは、京大PRIMS誌のIUT論文受理が査読課程中から
京大RIMS教授らの馴れ合い利益相反を示している(>>107)、
この驚くべき事実の指摘は都合が悪いのだろう無視してる。
またこのスレも望月ブログも海外の方が閲覧している。
woitブログのコメント欄で日本語→英語のGoogle訳も話題になっていたが、
望月ブログも望月新一監修川上量生あとがき加藤文元著IUT本も数学と
パラダイムが異なる謎の全く新しい理論IUTT(>>40および >>42)の一次資料だ。
まあ、内外ともまともな数学者の意見は
p.scholze氏も同意したSam Hopkins の意見だろう(>>7)。
・p.scholze
>I agree with Sam Hopkins that this discussion is not fruitful.
・Sam Hopkins
> all of this Mochizuki stuff is just hype & drama, I'm afraid. –
Google訳。
望月氏のこうしたものはすべて単なる誇大宣伝とドラマに過ぎないと思います。

116:１３２人目の素数さん
24/04/23 15:06:43.97 DgYuW2lD.net
>>115
>京大RIMS教授らの馴れ合い利益相反を示している(>>107)、
重箱の隅だが、用語”利益相反”の誤用でしょ？（下記）
例えば、あるRIMS研究員が画期的な数学研究をした
その研究をさらに発展するべく、プロジェクトを立ち上げ予算をつけた
これは、正当な研究行為です
あなたが主張しているのは、「画期的な数学研究」が実は”ガセネタ”と知りながら
プロジェクトを立ち上げ予算をつけたと言いたいのかな？
それ根拠レスで、事実誤認ですよね
(参考)
URLﾘﾝｸ(www.smd-am.co.jp)
三井住友DSアセットマネジメント
解説
わかりやすい用語集解説：利益相反（りえきそうはん）
当事者間の行為が、一方の立場では利益になるものの、他の立場では不利益になること。例
(引用終り)
>パラダイムが異なる謎の全く新しい理論IUTT(>>40および >>42)の一次資料だ。
>まあ、内外ともまともな数学者の意見は
>p.scholze氏も同意したSam Hopkins の意見だろう(>>7)。
詭弁と論旨すりかえですね
１）まず”内外とも”というが、国内の数学者で実名挙げられますか？
　いないでしょ！
２）で、海外では Sam Hopkins以外には、だれ？
　まあ、ぐだぐだ言う人いるけど（woitとか勘違いの人）
　みんな遠アーベル外の人でしょ？　いわば、確率論の新理論に、確率論が専門でない人がぐだぐだという構図
　しかし、遠アーベルの専門家たちが「いい」と言っているなら、
　例えば、ケドラヤやFlorian Popが、遠アーベルで動き出しているよね
　専門外の人は見守るべきと思いますけどね

117:１３２人目の素数さん
24/04/23 15:11:42.84 X5ECP6S6.net
巣に帰りな

118:１３２人目の素数さん
24/04/23 15:19:36.45 1VoIqWNo.net
愛国〇〇の自〇発言って読むに堪えんね

119:１３２人目の素数さん
24/04/23 15:26:27.37 Ko24B2bu.net
数学の遠アーベル幾何学と全く新しい理論IUTTは異なる。
望月新一本人も全く新しい理論IUTTを理解していない。
つまり、遠アーベル幾何学の専門家は
いるけど、IUTの専門は誰もいない机上の空論

120:１３２人目の素数さん
24/04/23 15:34:28.87 1VoIqWNo.net
国際的には2015年で終わってる
2018年のSS文書は余計なお世話だった
（MSが聞く耳持たないのは明らかだったから）
日本の連中が国内向けのパフォーマンスをやりつづける理由は知らんが
単にみっともないだけと言わざるを得ない
●室における男系維持のパフォーマンスくらいみっともない
日本国民の８割が女系継承OKといってるのに

121:１３２人目の素数さん
24/04/23 15:59:21.28 Sa+Y7cn2.net
jinの本性が顕になった

122:１３２人目の素数さん
24/04/23 16:11:52.39 r69E9Fws.net
位相群としての絶対ガロア群によって代数体のホッジ理論の等価物を構成できるって
事実ならスキーム理論の構築並の偉業だからな
ところが誰もそれを信じていない

123:１３２人目の素数さん
24/04/23 16:33:33.37 hXYOXd2/.net
事実なら偉業、というのは認めるよ　事実ならね
でも誰も理解できないから、事実だと認めないよね
それは当然でしょう

124:１３２人目の素数さん
24/04/23 19:45:15.50 iLbSUpAF.net
>>123
まるで国会図書館からカネを巻き上げることを企んだとゆわれてる
「亞書」って本があったが、まるでIUT を「亞書」のようにゆうのは間違ってる。

125:１３２人目の素数さん
24/04/23 19:49:39.19 xuEAm+sc.net
偉業になるよ。
EMS掲載は変わらない。
SS指摘は望月返答に再返答してないし、最近はエラーがないと思う、だから編集委員会は掲載を再検討する理由もない。
Joshiの試みはそのギャップが望月の偉業に証明の戦略があることを示した。
>>0081の望月の論説よると無次元の被覆は代数的な方法は扱えない。有限次の被覆までにとどまる。
他のツールを待っても駄目なら、IUTがツールになる。

次ページ