Inter-universal geometry と ABC予想 42

**１３２人目の素数さん** · 2019/10/27(日) 13:21:26.21

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

**１３２人目の素数さん** · 2019/11/27(水) 20:50:35.15

羊頭狗肉B

**１３２人目の素数さん** · 2019/11/27(水) 23:09:53.96

豚頭鼠肉ﾌﾞﾝｹﾞﾝ

**１３２人目の素数さん** · 2019/11/27(水) 23:26:10.63

>>471
お久しぶりです
ちょっと色々考えると恐縮ながらそのまま書くのはまだ控えたいんですが、基本的に「望月宇宙」というのは
第一に水平方向の「アルゴリズム対称性」ありきの話というのが重要ですね。水平系列は誰かが乗法的対称性と
書いてたものだけど、見方を変えたらアルゴリズム対称と幾何対称性で分かれると言える
レポートで強調しているのはほとんどその話ばかりですね

IUTを大枠で理解したと言えるには、
・エタールテータ因子を具体的にどうやって計算するのか？
・どのような加群層を構成しているのか？
・異なる環構造を区別しているアルゴリズム的差異とは何か？
・入れ子構造とはどういうものか？

の四点の把握は最低限ですね。これは受け売りではなくて勝手な独断です
特に、例のアルゴリズム対称性の水平系列では、「圏論的な極限」とは異なるようなものが提示されている
それで四番目の話なんだけども、最大限圏論に寄せて見たら第一に分裂の話だと思ったほうがいい
これは論文かなんかにもそう書いてありますね。黒点●が宇宙になっている
だから多重射を持つガロア圏、より一般的には（∞,1）-catでも十分書けるという事なんでしょう
ところが表面的に格子だけ見るとこのイメージはいまいちわからない。これは重要な点ですね
そういう形でアルゴリズムと宇宙が繋がっているということは、コア的なアルゴリズムの分裂と宇宙間の埋め込み射のようなイメージで書けてもおかしくはない
望月宇宙の対称性通信というのはそういう事ですね

形而上学と書いたけども、実際には実解析多様体の単遠アーベル幾何学で実体が区別されるという話も
特におかしくはないんですね。そういう時、本当にクンマー同型だけで話が終わるのかどうか？

個人的に志甫先生が正しいと言ったら信じてもいいですねw

**１３２人目の素数さん** · 2019/11/27(水) 23:46:49.42

＞個人的に志甫先生が正しいと言ったら信じてもいいですねw

正しいとは言ってないけどIUTに対して楽観的に考えてはいるよね
寺杣先生もそう

**１３２人目の素数さん** · 2019/11/27(水) 23:53:35.11

ちょっと書き忘れたけども、同じく細かい事は全然覚えてないんですよね
どっかに色々書いてあるんだけどそれも何処にあるかわからないし
とにかく志甫ーケドラヤの意見次第で空気は変わるかもしれないけど、まだBさんじゃちょっとという感じですね

**１３２人目の素数さん** · 2019/11/28(木) 01:48:13.42

>>476
IUTに関しては論点が多すぎるんですよね。本人が書いているように“general nonsense techniques”を駆使したものですから。
自然同型だけでIUTを書き換えて良いのかというと絶対そんなことはありませんｗ　それは学派の言っている通りIUTではありません
あれはSS、特にショルツだと思いますが手酷い皮肉、ほとんどブラック・ジョークだと思うんですよ

2015オックスフォード・セミナー前後からあった疑問点が望月・星－ショルツ・スティックス討論でも全く解消されなかった
望月・星が納得できるような説明ができなかったわけです
私が思うに、たぶんSSは3頁ぐらいでIUTを切り捨てることもできたと思いますよ。それではあんまりだから納得できる部分で再構成してみたら
もっと酷いことになってしまったｗ

入れ子宇宙に関して言えば、これはアナベリオイド幾何学と“forgetting the histories of operations”ですね
つまり、基点を動かすということと不可逆性を実現するということです。そこでslimアナベリオイドやslimカテゴリー、絶対ガロア群が出てくる
学派からすればSSはアナベリオイドの幾何学を全く知らないということになるんでしょうね

**１３２人目の素数さん** · 2019/11/28(木) 02:09:35.98

蛇足ですが

あれだけ膨大な論文の意味を短いレスで処理できるわけがないんだけど、第三論文でそれこそ気違いみたいに
「分裂モノイド」の話をしてる理由は、大体12ページに書いてありましたね
勿論ある程度理解していないと読んでも全くわからない書き方だけど、要するにスキーム構造を
忘れて計算する（できる）理由ですね
勿論、「そもそも何故入れ子構造を使うんだっけ？」というのも一つの問題です。あまり複雑な理論だから
別の事をやってると忘れますねw

あと、IUT全体が（∞,1）で閉じれる、閉じるべきというわけでは必ずしもないですね。そういう言い方はまずい
あくまでもAnabelioidの話です
むしろ理論をそっちで書き直したら閉じれないでしょうね

**１３２人目の素数さん** · 2019/11/28(木) 02:15:26.28

志甫氏についてだけど、以前に何度か書いたことがあるけど90年代後半から00年代初頭にかけて数論的基本群を研究していた人たちが
IUTに関して何も言ってないのが気になるんだよね。彼らの内、3人ほどに聞いたが口をそろえて「IUTはよく分からない」としか言わなかった

Kimの検証はどうなったのかとか、「微妙な何か」とか言っていたケドラヤとかどうなってんのと思う
そういう意味では来年のセミナーでボゴモロフがどんな話をするのかが気になるね
望月がIUTとボゴモロフの証明の類似と相違について論文を書いているが、ボゴモロフが第1回だけでなく第3回目にも出てきたら面白いことになると思う

私はデ・ヨングとかが気が変わってIUTを読んで肯定的評価を下したり、ヴェンカテッシュが認めるとかない限り、海外では難しいのではないかなと思う

**１３２人目の素数さん** · 2019/11/28(木) 02:44:18.87

>>480
ああ、それなんですけどね、以前IUTは数論版遺伝的アルゴリズムではないかと冗談半分（本気半分）で書いたことがあります

まあ、そもそも「学派からすればSSはアナベリオイドの幾何学を全く知らないということになるんでしょうね」みたいなことは
先にあなたが書いたような気がします（別人だったらすみません）ｗ

私もここ数ヵ月IUTのことはきれいサッパリスッキリと忘れていたし、専ブラが壊れて再インストールしたせいで自分やあなたが書いたことを探すのは
面倒くさいことになりそうです

**１３２人目の素数さん** · 2019/11/28(木) 07:35:35.66

>>482
気持ち悪い馴れ合い

**１３２人目の素数さん** · 2019/11/28(木) 09:20:47.63

>>481
＞「IUTはよく分からない」

こんなの「トンデモには付き合いたくない」を政治的事情で言わないだけやん。

**１３２人目の素数さん** · 2019/11/28(木) 10:19:43.64

RIMSの関係者以外のアカポス持ってる数学者でホントにマジメに読んだ事ある人いるのかな？
こんなのホントに取り組もうと思ったら本職の研究に差し障るから怖いと思うんだけど。

**１３２人目の素数さん** · 2019/11/28(木) 12:05:16.30

>>485
ショルツ、フェセンコ、ケドラヤ

**１３２人目の素数さん** · 2019/11/28(木) 12:20:35.21

志浦、中島、ケドラヤ、ショルツとか、iutに興味持ってるのがp進コホモロジー周辺なのには理由があるのかな？

**１３２人目の素数さん** · 2019/11/28(木) 12:40:40.64

>>486
そう言う名前はよく出てくるね。
でもなんかこのスレ見てると

自分はアカポス持っててちゃんと読んだ感

出してる人まぁまぁ見かけるけどホントにそんなにいるのかなと。

**１３２人目の素数さん** · 2019/11/28(木) 12:54:07.97

>>476
>志甫淳先生

講究録別冊 51 「代数的整数論と関連
トピックス2012」には望月新一
A panoramic overview of inter-universal Teichmuller theory (Algebraic Number Theory and Related Topics 2012)
がある。
編集者edsのA.ShihoはRIMSカンファレンス
「2020年IUTTの拡がり」で組織委員の
志甫淳氏ですか？
いずれにしろ志甫淳氏は組織委員だから
公式な文元本などについてe printなどで
IUTTを説明する責任がある。

また加藤文元本は一般書だが IUT理論の
1次資料である。
・望月新一氏は文元本の前書きで
「詳細な解説は本文に譲ります」と本文を
読んでいる。
・2005年から2011年まで望月新一加藤文元
両氏がIUTT構築のセミナーを行なった。
・RIMS主催のカンファレンス
「2020年IUTTの拡がり」のHPに掲載
された公式な本であり、加藤文元氏は
カンファレンス組織委員でもある。
・文元本の内容について
説明する責任はRIMSの教授
カンファレンスの組織委員 IUTに関する
講究録別冊の編集者にある。

**１３２人目の素数さん** · 2019/11/28(木) 19:31:37.68

志甫淳先生は灘高出身なんだ。
Go Yamashitaと同じ。

**１３２人目の素数さん** · 2019/11/28(木) 19:36:02.82

>>490
Goが灘？

**１３２人目の素数さん** · 2019/11/28(木) 20:44:20.87

昨日レスをしてから、もしかしたら間違ったことを書いたかもなと思ったけど、分裂の重要性については
軽く追って思った通りでした。フロベニウス的なアルゴリズム対称に由来する分裂が理論の根幹と整理できる
ただ、懐刀のアナロジーを使わないと入れ子構造の整合性については全然説明できないなと思う

ただ、問題はSSの批判はその上での話だということだね
エッシャー的な意味で、局所的に見たら整合していても
全体で見たらあれっと思う事がある
要するに充満多重同型の問題だが、巧妙に巧妙を重ねた結果であっても、シンプルに見たら基本的な
間違いである、ということは「一般論としては」普通かもしれないよねw
ある程度単純に洗練させるってのは進化理論の基本的な性質だからね。巧妙ならいいってもんじゃない

**１３２人目の素数さん** · 2019/11/28(木) 20:51:19.44

SSのペーパーに望月が45頁も反論したっていうけど、、その反論が真に新たな情報を持ち、有意味なら、
「その反論の説得力によって」望月支持に回ったって人がたくさん出そうなのに、
実際には誰一人支持者は増えなかったからねｗ
望月を支持する人って、もとから望月支持を表明していた人に限られ、
彼らの沽券にかかわるから今更間違ってましたとは言えないだけでしょ。
とにかく支持者がまったっく増えないという事は、実質SSの指摘が正しかったことを意味する。
ブンゲンの書き込みは負け惜しみ。

**１３２人目の素数さん** · 2019/11/28(木) 21:05:03.52

第四論文の後半がある意味哲学だから一番とっつきやすいんだけど、
入れ子構造の話は例えば（アルゴリズムの語感通り）プログラミングのように考えたほうが理解しやすい
しかし、そもそも入れ子構造の実現が何を意味するのかを忘れてはならない
ポストモダンの方はわかってらっしゃるだろうが、これはホモロジー代数の遠アーベル的一般化ですね
宇宙際フーリエ変換もそれの流れですね

**１３２人目の素数さん** · 2019/11/28(木) 21:38:53.36

>>493
望月反論レポはB自身がアマゾンレビューやTwitterで書いているように2018年初夏に初版があったんだよね
で、Bは9月以降にSSがコメントをすることを約束したとしているが、SSレポは8月23日付で書かれ、「望月レポ参照」と明記している
つまり、9月どころか前倒しでSSレポ8月版として答えている

望月はさらにSSレポ8月版を読んで望月反論レポ初版を改定して9月版41ページとして出した
SSが9月以降に一切応答していないのは、9月版や最新版も本質的に初版と変わらないからということだろうね
これ以上やっても水掛け論で時間と労力の無駄と判断したと思う

手短に言うと、SSは望月反論レポをちゃんと読んだ上で8月版を出している
Bは時系列と日付について誤魔化しながら書いているとしか思えない
それとも望月反論レポ初版（初夏）だけでなく、9月版についてもSSが反論すると約束でもしたのだろうか？

**１３２人目の素数さん** · 2019/11/28(木) 22:04:39.24

>>492
充満多重同型とは「副有限群としては同型、体としては非同型」であり「位相構造はリセットされる」というものですね
問題は公けではロバーツが書いていますが、忘却関手を放置してなんで同型と言えるのというｗ

まあ考え方としては“forgetting the histories of operations”としてクンマー理論＋単遠アーベル的復元/構成で
水平射で双遠アーベル的でない一方通行の復元（不可逆性）をやりたいわけですよ
非常に似ているが異質な環構造にして対数テータ格子、多輻的アルゴリズムで近似解を求めたいわけです
以前のデータをリセットしつつ次の系列につなげてスウィッチング・プロパティによって組合せ論的に処理していく

誤解を恐れず大雑把に書きましたが、圏論的には前代未聞でロバーツに“pravate fan dance”と呼ばれても仕方のないものであり
到底安易に納得できるものではありませんね

**１３２人目の素数さん** · 2019/11/28(木) 22:39:58.59

4000
しろ@hu_corocoro 11月27日
苦節6ヶ月、初満点&一等賞です！
https://twitter.com/hu_corocoro/status/1199593474128896000
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2019/11/28(木) 22:49:56.81

>>479
そうです。基点に依存しない一次元だからアルゴリズム的対称性だし、ヒストリーを可逆にしてしまうと
「対称性が壊れる」と言ってる
この対称性が壊れる、というのは幾何学的な文脈の話だと思いますが、そういう事を丁寧に書いてくれないから
難しいんですよw

**１３２人目の素数さん** · 2019/11/28(木) 23:08:25.74

>>496
それについては、いわゆる不定性は単なる単遠アーベル化の副作用で、計算上の技術的な問題だと
考えても良いでしょうね。実際、ガロア共役同期みたいなものはそう見なされてると思います
そして、こういう事はスキームの自己同型では起こらない話ではある
また、クンマー理論だけで話が成立しない典型部分はモノイドの分裂です
色々新しい側面があり、正しいかどうかはともかく、あんまり矮小化してしまうのもまずい

**１３２人目の素数さん** · 2019/11/29(金) 01:15:56.56

>いわゆる不定性は単なる単遠アーベル化
の副作用で、計算上の技術的な問題だと
考えても良いでしょうね。

IUTTはディオファントス幾何の不等式が
目的でしょ。
IUTは分裂も含めモノイド群 HT、単遠アーベル
幾何などの色々な部品を類推から組み立て
群論的アルゴリズムのソフトを
装備した装置で不定性による不等式を導く、
不定性はIUTTの本質だろうね。
自然さより人工的に組み合わせた装置だが
全体の構造は安定健全だろうか

**１３２人目の素数さん** · 2019/11/29(金) 02:33:51.08

丸山善宏氏のコメントがあった。

Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science
Y Maruyama - WITTGENSTEINIAN (adj.), 2020

… the highly controversial case of Shinichi Mochizuki's alleged proof of the ABC conjecture). The historicity of proof is almost a brute fact in the history of mathematics. The historicity of proof may be observed from different angles …

**１３２人目の素数さん** · 2019/11/29(金) 03:18:34.86

Anabelian geometry with étale homotopy types

ALEXANDER SCHMIDT AND JAKOB STIX

Anabelian geometry with etale homotopy types
generalizes in a natural way classical anabelian geometry with etalefundamental groups.
We show that, both in the classical and
the generalized sense, any point of a smooth
variety over a field k which is finitely generated
over Q has a fundamental system of (affine)
anabelian Zariski-neighbourhoods.
This was predicted by Grothendieck
in his letter to Faltings.

https://arxiv.org/abs/1504.01068

**１３２人目の素数さん** · 2019/11/29(金) 03:31:16.04

>>500
訂正
群論的アルゴリズム
→単遠アーベル的アルゴリズム

**１３２人目の素数さん** · 2019/11/29(金) 08:48:33.98

なんかこういう事件があって擁護されるのみると、
過去の日本人数学者の日本語論文には、
証明されてないのに身内でされたとしてるものがあるのでは、
という感じを受ける

**１３２人目の素数さん** · 2019/11/29(金) 09:21:32.55

100年単位で考えれば昔あるところにくだらない奴がいた、で終わる話だから無害

**１３２人目の素数さん** · 2019/11/29(金) 12:06:33.63

>>505
いや、100年単位で考えるなら名前が残ってないだろうと思うので、それはちと違うかと。

**１３２人目の素数さん** · 2019/11/29(金) 12:24:34.96

昔あるところにくだらない嘘つきがいたということにはならないように

**１３２人目の素数さん** · 2019/11/29(金) 12:52:02.49

オマエラよくいうよ
ジブンは１０年以上忘れられないとおもうやつ手をあげてみな

**１３２人目の素数さん** · 2019/11/29(金) 14:45:17.24

>>508
論点ずらしはいらないのでやはり研究倫理の観点から問題視したほうがいいと思うね。

**ID:1lEWVa2s** · 2019/11/29(金) 16:16:57.69

>>500
不等式の名前だすなよ。晒し。

**１３２人目の素数さん** · 2019/11/29(金) 16:22:52.05

>>504
>なんかこういう事件があって擁護されるのみると、
>過去の日本人数学者の日本語論文には、
>証明されてないのに身内でされたとしてるものがあるのでは、
>という感じを受ける

おまえみたいなド素人のどアホ部外者がしゃしゃり出てクソレスするから
このスレッドおまえの頭並みのバカ以外寄り付かなくなって
その結果おまえの鼻クソほじるお供の暇つぶし(２ちゃん閲覧)の時間すら
をもどんどん自分自身でクダラナイものにしてるんだぞ？？？？？
自覚あるか？？？
もうちょっとわきまえろウンコ

**１３２人目の素数さん** · 2019/11/29(金) 16:26:46.15

ID:xY0vzUa0
数学に1mmも興味を持ってないおまえみたいなクソカスはこのスレから消えろ
大当たりだろ？おまえは数学を1mmも勉強したことがないだけでなく
数学をこれっぽっちも愛してすらいない

**１３２人目の素数さん** · 2019/11/29(金) 16:46:04.79

>>511>>512
そもそもこのネタ、エディタをやってる雑誌に投稿するのはマズいのではないか、
という研究倫理的な指摘から始まってるんだよね。
ところがこれをごまかして正しいかどうかという流れにしようとしたのは何か動機があると思っている。

**１３２人目の素数さん** · 2019/11/29(金) 16:47:04.46

研究倫理で指摘されると困るから数学の話っぽいフリをしてるのではないか、ってことね。

**１３２人目の素数さん** · 2019/11/29(金) 18:57:56.83

>>513
おまえは俺の指摘に何も触れていない
おまえは既に言った文言をそっくり繰り返してるだけ
バカかおんどれは

**１３２人目の素数さん** · 2019/11/29(金) 19:09:53.56

>>515
いや、俺が言ってることとあさってのことを言われても返答する義務はなにもないよ。

**１３２人目の素数さん** · 2019/11/29(金) 20:53:46.11

>>510
望月新一氏は「predicted by Grothendieck in his
letter to Faltings. 」について触れ
「遠アーベル哲学を提唱した重要な動機の一つは正に diophantus 幾何への応用の可能性に
あったらしい。
つまり、遠アーベル幾何が(ABC 予想への
応用が期待される)IUTeich で中心的な役割
を果たすことは、一見して Grothendieck
の直感にそぐった展開に見受けられる。」
とIUT構築で遠アーベル幾何を用いる理由
としている。
また、
SSレポート
Why abc is still a conjecture では
「The goal in terms of Vojta’s inequality」から始まり、
最後は「On the fifth and final day, Mochizuki
tried to explain to us why this is not a problem
after all.
In particular, he claimed that up to the “blurring”
given by certain indeterminacies the diagram
does commute; it seems to us that this
statement means that the blurring must be
by a factor of at least O(l2) rendering the
inequality thus obtained useless. 」
と望月新一氏たちの惨めな結果で終わる。

**１３２人目の素数さん** · 2019/11/29(金) 20:56:33.38

>>499
充満多重同型について自分なりの理解と覚えている範囲で書くと、HT1→HT2との間だけの関係ではなく、
HT1→HT2→……HTnというΘリンク総体として“充満”多重同型という考え方ですね
さらに復元/構成ごとに前のHTの位相構造はリセットされて引き継がれていくから、空になります

そこで必要なのがラベルの使用と管理ということになる。これはたんなる識別だけでなく、
j^2のようなテータ関数の特殊値の代入点を示すラベルもあるわけです
このように、充満多重同型とラベルは独立したものではなく、セットになっているわけです
前者を認めたら後者が必要になる、後者がないと前者は意味をなさない

これは望月が「多輻的アルゴリズム表現とは局所の総計ではなく、大域的なものだ」という反論レポの主張ともつながりますね

仮にこの主張を認めたとしましょう。だが、ここで問題になるのがクオンタ誌でスティックスが語っていたような、
「局所的には整合性があっても全体的には管理できていない」という主張ですね
つまり、Θリンクだけでも2つの不定性を含み、Teichmuller dilationで変形されつつ復元/構成が行われHTが作られていくので、
HT1で通用するスケールがHT2では通用せず、Θリンク総体としておかしなことになっていく、と

この辺が両者の主張の分かれ目で、望月としては「非常に似ているが“異質な環構造”」であるが、
「異質な環構造であるが“非常に似ている”」からこの論法は成立するということになる
SS、特にショルツからすれば、充満多重同型という考え方からして怪しいが、上記のような望月の考えはご都合主義すぎるということになる

**１３２人目の素数さん** · 2019/11/29(金) 21:14:28.05

アンカーは付けないけど、数学的に正しいかどうかというのが一番大事なのは当たり前です
さらに言えば、成否にかかわらず、アイデアが重要かどうかを見極めることが大切で、この辺は個人の嗜好もある

望月がPRIMSの編集長であることそれ自体に問題があると思っている人はそんなに多くない
コンラッドもそうだし、ショルツ、スティックスだってそれについては何も言っていない
コンラッドに至っては、ヴォイトのブログでロバーツが「査読者の実名を公表すべき」といったことに対して
そんなことは必要ない、本質的な問題ではないとすら言っている。大体、IUTを査読できる人なんて限られているし、
おそらく周辺人物たちだろうとすら書いているｗ　だが、それについても問題にしていない

問題なのは、「理解者たち」が3.12についてブラックボックス化して扱っているということだ、と述べている

**１３２人目の素数さん** · 2019/11/29(金) 21:30:47.41

PRIMSとIUT論文について不可解なことがあるとすれば、2014年度になぜ掲載しなかったのかということだね
望月の進捗報告2014を読めば、なぜあの状況で掲載されなかったのかと思う
数学界の状況を鑑みて編集者が著者に相談or忖度したか、著者（＝編集長）の介入があったとしか思えないね

2017年12月の朝日報道より、2014年度に掲載されなかったことのほうがよっぽど問題だと思うよ
深谷-小野という例があったので慎重に進めて理解者が増えたところで掲載したかったのだろうけどね

**１３２人目の素数さん** · 2019/11/29(金) 21:47:07.13

>>518
その辺の構造と量のイメージを具体的に描くのは本当に難しいですよ
ホッジーアラケロフ理論と言ってじゃあ何がホッジーアラケロフ理論なのかをIUTと突き合わせて
理解しないといけないし、初期化すると言っても全く無関係だと言ってるわけではない
むしろStixの言ってることのほうがよくわからない部分もある。入れ子構造と非可換性の意味が本当に
わかっているのか？望月宇宙の意味がわかっているのか？
望月サイドとしては、神＝IUTの記述レベルでは宇宙を統合しつつ区別しているんです

ともあれ、SSのIUTへの理解がある意味で単純だとしても、ガロア圏を基とした充満多重同型の上で
非可換図式にて極限・余極限の考え方が成り立たないらしい状況が理解不可能だと言っていいでしょうね
これがRobertsとSSで一致する違和感でしょうし、全く新しいパラダイム(笑)の問題ですね

**１３２人目の素数さん** · 2019/11/29(金) 21:51:05.32

一応ちゃんと書いておくと、望月宇宙とは明示的アルゴリズム付きの絶対ガロア群＝代数体の双曲スキーム
のことですね

**１３２人目の素数さん** · 2019/11/29(金) 21:58:34.65

一応捕捉すると厳密には単解化＝ソフトウェア化された、ですね
普通のスキームそのものではありません

**１３２人目の素数さん** · 2019/11/29(金) 22:19:41.24

>>519
横だがそれのどこが大事なのか俺もわからない。
学術で大事なのは結論が正しかったかどうかではなく、
学術界において正当なプロセスを踏んだかどうかだと。
例えば結論が正しくても盗用や改ざんではお話にならないし、
間違いであってもプロセスが正しければおとがめは当然にない。
Mがやっているのはこの原則に反しているようにみえるというのが最初のTwitter上の議論だろ。

**１３２人目の素数さん** · 2019/11/29(金) 22:20:58.73

数学の世界では盗用はありうるが捏造は証明がほとんどできない。
間違いだと気づかなかったとすっとぼければ証明はまずできないからな。
だからこそ投稿先をちきんとするとかいう対応が大事になる。

**１３２人目の素数さん** · 2019/11/29(金) 22:26:29.96

この論争が面白いのは、望月さんはnon-isom over isomはいくらでもあるってレポートで言ってるんだけど、
本当は懐疑的な人達はもっと基本的なレベルでおかしいと感じてるんだよね
結果的に望月さんは圏論じゃなくてラベルを論拠にするしかないんだよ

**１３２人目の素数さん** · 2019/11/29(金) 22:30:30.93

でもこの件、間違いである可能性はあっても意図的に捏造したのではないとは思う。
いくらなんでもそんな事する奴いないだろ？

**１３２人目の素数さん** · 2019/11/29(金) 22:44:58.97

今も査読中だってことをお忘れ？

**１３２人目の素数さん** · 2019/11/29(金) 22:47:19.07

>>527
そういうことは数学ではほとんど立証できないからこそ、
自分のところでしかアクセプトされそうにないから自分のところに投稿する、
というふうにみえる行動は避けるべきなのではないか、ということね。

**１３２人目の素数さん** · 2019/11/29(金) 23:01:29.41

土俵際の宇宙際幾何学

**１３２人目の素数さん** · 2019/11/29(金) 23:03:28.67

挟まったら別の宇宙に逃げられるから大丈夫

**１３２人目の素数さん** · 2019/11/29(金) 23:31:35.20

正しいと思ってやってるのは間違いないよ。一種の賭けだよね
普通の圏論じゃ理論が成り立たない事は早い段階でGさんが認識してるから（Geometric morphismを超えた
レベルの話をしていると認めている。これは実質的に圏論では処しきれないと言うに等しい）
実際、圏論では宇宙の話は出てくるけど宇宙を取り換えるなんて話は当然出てこないしね

**１３２人目の素数さん** · 2019/11/29(金) 23:34:02.66

不定域イデアルみたいにカルタンみたいなホワイトナイトが助けてくれると思ってたんじゃ……

**１３２人目の素数さん** · 2019/11/29(金) 23:37:45.11

>>526
まあそういうことですね
アナベリオイドの幾何学でも、IUT初期構想でも初めからラベルの話が出てきます
ラベルの使用を前提にすれば圏、トポス、グロタンディーク宇宙を使って充満多重同型なるものができると考えたのでしょうね
両者は切っても切れないわけです

で、SSのように充満多重同型を切って捨てれば当然ラベルも切って捨てることになる
また同じ話の繰り返しですねｗ

要するに、圏、トポス、グロタンディーク宇宙で充満多重同型＋ラベルを使えばsimulate a∈a、loops of mutationsが可能となり、
ディオファントス幾何の難問に取り組むことができると考えたのでしょう

以前、「充満多重同型を認めて初めてラベルの問題になる」と書いたことがありますが、
おそらく着想から言えば逆で、「ラベルを前提にして充満多重同型を必要・有意味なものにする」と言う方が正しいのでしょうね

**１３２人目の素数さん** · 2019/11/29(金) 23:48:32.85

>>533
グロタンディークのmysterious functorに対するフォンテーヌとかねｗ

**１３２人目の素数さん** · 2019/11/30(土) 04:58:13.74

>>534
私はもう少しで望月さんの所の学生になる可能性があった者です
かって話をした際にこのラベルの話をされてついていけなくて他の先生を選びました
あなたの言う通りラベルの着想をもとに解くべき問題や予想の選定をされてたふしがあります

**１３２人目の素数さん** · 2019/11/30(土) 08:53:15.88

>>527
>>532
本人達は大真面目なんだと思います。
私も出来ることなら追加修正、説明をして証明を完成させて欲しいです。
ただ、私が大学院を受けた14年くらい前の段階で望月先生の遠アーベル幾何以外の仕事ってフォロワーや理解者がいなかったことの方が問題だと思います。
同じ時期にペレルマンが色々と問題になりましたが、彼はリッチフロー方程式を踏み台にしたことでまだ分かりやすかったです。
サーストン予想まで出来ていると認めてよいのか等の議論含め検証チームまで発足しましたしね。

結局は望月先生とジャンルが近い国内の実力者である辻先生、志甫先生、森脇先生が何とも言えない、私には分からないと乗り気でない時点で検証や修正は無理なんだと思います。
ABC予想に手をつける前に構想を彼らにぶつけてメインアイディアやテクニックをブラッシュアップしておけば良かったのにと残念でなりません。

**１３２人目の素数さん** · 2019/11/30(土) 09:58:45.02

本人たちは大真面目にしたいひと、PRIMSを投稿先にしたことをまったく説明できてないので、
やっぱり数学もどきの話をしてるのはむりやり話題を変えようとしてるだけにしかみえないな。
仮にこれが大真面目なものならやっぱり全く大した数学者ではないんだろう。

**１３２人目の素数さん** · 2019/11/30(土) 12:01:22.04

アスペ型人間が人と交わることを避け晩年狂っていくのはよくある現象
グロたんだっていい例だろ

**１３２人目の素数さん** · 2019/11/30(土) 12:28:10.28

14年前って、ついに望月が学生(星さん)をとった！って騒がれてたあの頃の話？
その時から星さんはiutの構想を聞いてたんだな

**１３２人目の素数さん** · 2019/11/30(土) 13:32:39.27

>>537-538 正解

**１３２人目の素数さん** · 2019/11/30(土) 13:35:42.98

>>538
>本人たちは大真面目にしたいひと、PRIMSを投稿先にしたことをまったく説明できてない
数学的内容は別として、過去にもクレレ誌などの似た現象はある。
数学的内容と研究の倫理は別の話。

**１３２人目の素数さん** · 2019/11/30(土) 13:43:26.03

オレは望月先生にそこまでの悪意はなくて単に自分の力作をPRIMSに投稿してPRIMSを盛り上げたかっただけだと思うけど。
実際論文に問題がなければ大いにPRIMSの株は上がってたんじゃないかな？
結果として逆の事態を招いてしまったというところではないかと。

**１３２人目の素数さん** · 2019/11/30(土) 13:47:44.13

>>542
それはまったく否定してなくて、俺が言ってるのは、

研究内容と研究倫理は別ものなんだから研究内容の話で研究倫理はごまかせない

ってことだよ。
さらにクレレ誌との比較は成立してないよ。
クレレ誌のときはこんなことになっていない。

**１３２人目の素数さん** · 2019/11/30(土) 14:00:11.69

>>544
>クレレ誌のときはこんなことになっていない。
クロネッカーがさんざん非難したカントールの論文の件。

**１３２人目の素数さん** · 2019/11/30(土) 15:21:57.00

>>468
S＆SはMochizukiの「ラベル」の理論に
何の論理的裏付けもないことを見抜いたんでしょう

**１３２人目の素数さん** · 2019/11/30(土) 16:00:23.98

>>543 取り巻き以外のrims関係者は大迷惑だろう。
とんだありがた迷惑もあったもんだw

**１３２人目の素数さん** · 2019/11/30(土) 16:42:26.60

>>543
現時点で IUT に間違いがあることは指摘された訳で、
例え間違いを修正出来たとしても、行き詰まった理論になって発展性や応用は余りないでしょうな。
何でABC予想にこだわるのかが分からない。
大掛かりな数論幾何の理論だから、本来ならBSD予想への応用なども出来るのが自然。

**１３２人目の素数さん** · 2019/11/30(土) 16:57:48.39

IUTに若手が参入しても難しいことばかりお勉強したところで先がない
仮に正しさが証明できても伝え聞く話はIUTの中で何かを改良したという話ばかりで
数論の様々な問題への応用が生まれてこない

IUTの正しさに自分では何も貢献しようとせず啓蒙書だけ書いた人は
名を売ってチャート式で金儲け
他人の生き方に文句はつけないがなんだかね～とため息くらいは出るさ

**ID:1lEWVa2s** · 2019/11/30(土) 17:33:20.04

>>549
IUT勉強しながら他の事勉強する余裕無いの。
まぁ、荷揚げ屋の頃一日中書く練習してた右腕にはかなわんわな。
腕の筋力と体力と精神力が違う。

**１３２人目の素数さん** · 2019/11/30(土) 18:17:45.51

ABCとBSDなんて何も関係ないだろう。

**１３２人目の素数さん** · 2019/11/30(土) 18:32:18.38

>>550
数学に限らず研究者はwriting businessなので書く力は大事ですw
数百ページの論文を書き切ることも大事だし
毎年コンスタントに論文を書いていくことも大切

10年に一度大論文を書けば～っていう人は実は何もやってないw

**１３２人目の素数さん** · 2019/11/30(土) 19:00:02.14

>>549
＞啓蒙書

KBの本なら蒙昧書でしょｗ

数学者として恥ずかしくないのかな

**１３２人目の素数さん** · 2019/11/30(土) 19:20:24.52

>>537
科研費
古典的数論幾何学の枠組みを超えて
-ゼータ・数論的トポロジー・圏論的数論幾何
研究代表者松本眞
研究概要 2004-2006

・2006年
>望月は、遠アーベル幾何の発想を推し進め圏論的数論幾何学を構成しつつあり、
ABC予想の解決に期待が持てる。
・2006年
>分担者望月は、圏論的数論幾何学における
基本的対象として、anabelioidの理論や
局所化の圏からのスキームの再構成理論を
進展させ、いくっかの論文にまとめた。
一部は受理され出版予定となっている。
・2005年
>望月は、数論幾何的対象を「その局所化
のなす圏」から再構成する研究をすすめ、
受理されたものを含め数編の大部のプレ
プリントを執筆した。
特に「ガロア圏にフロベニウス構造をつけたもの」としてフロベニオイドという概念を
導入、局所化圏の構成を公理化することに
成功し、圏論的数論幾何によるABC予想の
解決へ近づいた。
・2004年
>望月は、エタール基本群から元の対象を
再構成するという遠アーベル幾何の発想を
推し進め,Yves Andreのtempered被覆の
カテゴリーからの再構成など、カテゴリー
からもとの代数的対象を再構成する方法を
確立しつつある。
これを用いて、スキーム論を含む幾何学の
再構築を進めている。この圏論的数論幾何
の手法と、数学基礎論的枠組みを複数入れ子にするInter Universal Geometryを用いて、従来不可能とされていた整数環のスキームの変形理論やABC予想の解決に向けて多くの
プレプリントを執筆している。
うち一つはPublication of RIMSに掲載された。
これらは、共同セミナーによる研究交流の
成果である。

https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-16204002/

**１３２人目の素数さん** · 2019/11/30(土) 20:52:59.26

>>536-537
大体2005年頃ですか。今では望月のHPを見ればわかりますけど、2002年ごろにアナベリオイドの幾何学の構想があり、
ラベルや基点を動かすという話が出てきますね。さらに、2003年末には北大の講演でラベルを使用した入れ子宇宙の話が出てきます

あなたが望月に接触したのはまさにIUTのフレームワークが完成した時期で、技術的に具体的にどう理論を構築しようかと悪戦苦闘していた時期ですね
それで頭がいっぱいだったと思いますよ

>>554
望月・松本・玉川・藤原でセミナーをやっていた時期ですね

**１３２人目の素数さん** · 2019/11/30(土) 20:54:51.12

松本さんは今元気ですか？

**１３２人目の素数さん** · 2019/11/30(土) 21:25:46.82

>>555
科研では望月氏が 2004年から2006年に
かけ、松本眞氏の元で abc予想の解決に
向けてIUTTを構築していったとも読めます。

**１３２人目の素数さん** · 2019/11/30(土) 21:48:25.90

>>552
いや普通、数百ページの論文なんてなかなか書けないんじゃないかなw
part Ⅰ出してから書かないとかザラにあるしね
何か海外の一流大だと博論が凄く長かったりするじゃない。日本で博論300ページ書くとかなかなかないよ
そういう意味ではW望月は凄いよね

**１３２人目の素数さん** · 2019/11/30(土) 23:37:25.35

F藁先生が肯定的な声明を挙げれば状況は大きく変わるでしょうね。

**１３２人目の素数さん** · 2019/12/01(日) 00:24:16.44

>>528
査読なんていまや誰もしてないだろ。
つか、査読者は星、go、ぶんげんであり、かれらはいったん「IUT理論は正しい」と声明を発し、
海外から異論が出てひるんじゃったのだから、そもそも査読できるほどわかっていないってこと。
IUT理論は論文が公開されているから「世界の納得」こそが真の査読であり、
それは今の状態では全く無理。

**１３２人目の素数さん** · 2019/12/01(日) 02:04:10.41

文元本途中で投げてたのやっと読み終わったけど後半得るものはやはり少ないね
群論考えるのが少し面白かったから、素人でも分かりやすくて助かった
それで素人の俺は思ったんだけど、τしてからσするっていう鏡像後に90°時計回りに回転って言うのを
そのまま行列構造に当てはめてやると面白いって素人の俺は思った

これはつまり例えば
A[[1,2,3,4],[5,6,7,8],[9,10,11,12],[13,14,15,16]]
という4x4行列の要素毎の1行1列毎の枠組みにこのようにラベルを貼った構造だと見做すと

鏡像τをすると、
B[[4,3,2,1],[8,7,6,5],[12,11,10,9],[16,16,14,13]]
行列構造のラベルはこのようになり

時計回りに90°回転σすると、
C[[16,12,8,4],[15,11,7,3],[14,10,6,2],[13,9,5,1]]
というに行列構造のラベルになる

これは最初のA行列から見てCは、右上から斜め方向の対角線要素に対して、転置を行った構造になってるんだよね
俺はこれを数学的にどう言うのか知らないからそう表現するしかない
普通の転置は正方行列の場合、左上から斜め方向の対角線要素に対して裏返すけど、これは右上斜め方向から裏返しているのに一致する

これはあくまでもラベルの話であって、各要素に1-16が格納されるように書いてるけど
ラベル付けされた行列構造の各要素の中身には関係がないのであしからず
この右上斜め方向の対角要素に対しての転置？
って数学的にはどう言うことになるのか知ってる人いたら教えてほしいな

それと仮にこの各行列の要素に複素数が格納されていた場合
鏡像を取ったときにには、各要素内の複素数は複素共役を取らなきゃいけなかったりする直感があるんだけど
それって合ってるかも教えて欲しい

**１３２人目の素数さん** · 2019/12/01(日) 06:27:24.03

3歳です。望月教授の論文を更に新しくするのが目標です。今はロシア語勉強してます。

**ID:1lEWVa2s** · 2019/12/01(日) 06:28:57.83

>>562
俺もロシア語勉強する。

**１３２人目の素数さん** · 2019/12/01(日) 07:06:15.92

あれ査読なんかできるわけないじゃん

ず～と IUT論文は工事中！！

**１３２人目の素数さん** · 2019/12/01(日) 08:41:02.92

IUTこと「望月のラベル理論」から矛盾が導かれることはないのかな？

**537** · 2019/12/01(日) 09:50:31.90

>>554
この一連の研究を使って望月さん以外の学者が何かを証明したという話は聞いたことがありません
当時から懐疑的な先生はいました。
私の指導教官も期待半分程度でした。
結局共同セミナーを経て他の数学者が研究に加わったり、ABC予想の精査をしてくれてない時点でその程度なんだと思います。
研究やIUTそのものに他の研究者がのめり込まない時点で詰みだったんだと思います

**１３２人目の素数さん** · 2019/12/01(日) 10:02:17.95

>>556
結局広大に戻ってしまいましたね
彼は謙遜というか自己否定が過ぎて東大でも浮いていました
あれだけ東大批判をした手前、もう東大に居られなくなってしまいましたね
結局は一連の望月先生の騒ぎにもノーコメントですしね。
>>557
そもそも松本眞さんが周りの信頼を得れるような数学者ではありませんから
ホラ吹きとまでは言いませんが多少話を盛る、知ったかぶりをするという癖があります
しかも数論幾何の専門家かと言われると疑問です
だから松本眞さんと関わった時点で望月さんが色眼鏡で見られていました

**１３２人目の素数さん** · 2019/12/01(日) 10:41:39.54

>>562
IUTやるならフィンランド語の方がいいいぞ
俺もアイスランド語を勉強するぞ

**１３２人目の素数さん** · 2019/12/01(日) 10:43:50.29

>>560
トンデモなんだよなぁ

東大の人達は一貫して懐疑派
そもそも共同セミナーだのやったけど望月さん以外にIUTの使い手が現れない時点でお察し

研究代表者の松本さんすら理解して使いこなせないんだろ？
そんなの数学じゃないわなw
さらに松本さんの東大での顰蹙行為から東大の先生達はこの研究自体松本さんの虚言の結果だと思ってる

京都の人達は望月さんの天才性に望みをかけてるのかもしれんが、それは数学じゃなくて信仰だからw
望月さんも松本さんの数学的政治活動に担がれた点では可哀想だが周り、特に森先生とか有力者が止めなかったのが一番ダメな所
京都の人達ってそこら辺がルーズなんだよ

**１３２人目の素数さん** · 2019/12/01(日) 11:58:24.91

>>568
じゃ、ボクはアイヌ語で

**１３２人目の素数さん** · 2019/12/01(日) 12:46:04.37

ああ京都がルーズなのはそうだなあ
だからたまに凄いのも出てくるが・・・
幾何のF氏や数論のK氏がルーズな京都に移ったのは理解できるが二人とも結局アメリカ
東大の数論はもっと多様性が欲しかったから広島の人が呼ばれたんだろうが

代数幾何のM氏はしっかりしてるが根っこが古き良き京都なんだろう（だがそれが良い
ところで京都の代数幾何ってM氏多いな　M井とかM脇とか

**１３２人目の素数さん** · 2019/12/01(日) 12:55:26.79

にしても東大の数論って火が消えてるな

**１３２人目の素数さん** · 2019/12/01(日) 13:23:26.94

にしても京大の数論って非が消えないな