21/01/12 20:51:25.48 n5MgUW2B.net
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
（旧“応援”スレが、1000又は1000近くになったので、新スレ立てた。）
（参考）
URLﾘﾝｸ(mainichi.jp)
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
URLﾘﾝｸ(cdn.mainichi.jp)
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを�
3:ｶみ出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。 https://www.youtube.com/watch?v=7BnxK_NMwaQ 数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン つづく
4:現代数学の系譜 雑談
21/01/12 20:51:50.87 n5MgUW2B.net
>>2
つづき
＜IUT国際会議 2シリーズ＞
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
The seminar takes place every two weeks on Thursday for 2 hours by Zoom 17:30-19:30, JP time (9:30-11:30, UK time; 10:30-12:30 FR time) ? we refer to the Programme for descriptions of the talks and associated references. URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Inter-universal Teichmuller Theory (IUT) Summit 2021 RIMS workshop, September 7 - September 10 2021
( URLﾘﾝｸ(www.maths.nottingham.ac.uk) Ivan Fesenko )
5:現代数学の系譜 雑談
21/01/12 20:52:52.44 n5MgUW2B.net
＜過去スレより再録＞
スレ46 ｽﾚﾘﾝｸ(math板:273番)
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
３．数学では捏造の余地が皆無で、もし意図して不自然なことをしても、すぐバレル。「おまえ、アホやなー」です
あるいは、「わざと、ワケワカに書く」と小学生はいう。しかし、これも、誰も読めないなら、やっぱ「おまえ、アホやなー」です
４．査読者や、柏原・玉川がグルだとか、小学生はいう
しかし、そんなことをしても、見る人が見れば、やっぱ「おまえら、アホやなー」です
ワケワカ小学生は、どうぞ相応しいスレへ お願いしますｗｗ（＾＾；
スレ46 ｽﾚﾘﾝｸ(math板:883番)
１．RIMSを まず 普通の論文と見れば良いと思うのだが？ つまり、「ちゃんと査読された」ということを認める
２．21世紀の数学は、高度に専門家されているので、専門外の先端の論文を理解するのは一苦労する。ショルツ氏も例外ではない
３．数学の検証に終りがない。査読は一次の通過でしかない。掲載論文のさらなる 拡張 あるいは一般化が検討されるのが普通。あるいは、他の分野への応用とか。その過程で、論文の真偽は常に検証されるものだ
そういう普通の視点で考えれば宜しいのではないですかね？
応援スレだが、この普通のことしか言ってないけどねｗ（＾＾
アンチが
・査読が終わったのは、RIMS内部の陰謀だとか、内部でデタラメをやっているとか
・果ては、数学でSTAPもどきの捏造数学論文事件で、関係者が全員グルだとか
笑える幼稚な議論
それは、別スレでやれよｗ（＾＾；
6:現代数学の系譜 雑談
21/01/12 20:53:22.33 n5MgUW2B.net
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新～！”と絶叫したりするからです（＾＾； ）
( URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；URLﾘﾝｸ(en.wikipedia.org) Hyperboloid
Hyperboloid of two sheets ：URLﾘﾝｸ(upload.wikimedia.org)
URLﾘﾝｸ(ja.wikipedia.org) 双曲面
二葉双曲面 ：URLﾘﾝｸ(upload.wikimedia.org)
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）
＜＊）サイコパスの特徴＞
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
URLﾘﾝｸ(kotowaza-allguide.com)
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
また
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ
上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾
つづく
7:現代数学の系譜 雑談
21/01/12 20:53:48.71 n5MgUW2B.net
つづき
（参考）
関連： 望月新一（数理研） URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
新一の「心の一票」 - 楽天ブログ shinichi0329/ （URLが通らないので検索たのむ）
math jin：（IUTT情報サイト）ツイッター math_jin （URLが通らないので検索たのむ）
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)
山下剛サーベイ URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) （Indexが充実しているので、IUT辞書として使える）
A proof of the abc conjecture after Mochizuki.preprint. Go Yamashita last updated on 8/July/2019.
Yourpedia 宇宙際タイヒミュラー理論 （URLが通らないので検索たのむ）
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論文集
つづく
8:現代数学の系譜 雑談
21/01/12 20:54:25.75 n5MgUW2B.net
つづき
守屋悦朗先生のABC予想って？ （１）＆(２)が出ました（＾＾
URLﾘﾝｸ(www.f.waseda.jp)
旧 「早稲田大学 教育・総合科学学術院 教育学部 数学科 守屋悦朗 研究室」
URLﾘﾝｸ(www.f.waseda.jp)
ご近所講座 守屋悦朗
～ 数楽すうがくJoy of Mathematics と 佳算けいさんSmart Computations の散歩道 ～
URLﾘﾝｸ(www.f.waseda.jp)
M-project 守屋悦朗
第34回 『ABC予想って（１）： 斬新・難解な証明の検証に8年もかかった！』 （高校生以上）20/04/26
ABC予想って？ (1) ： 超々入門
1．唐突な発表で登場したビッグニュース
2．望月新一教授（京都大学）
3．学術誌とは
4．レフェリー制
URLﾘﾝｸ(www.f.waseda.jp)
ABC予想って？ (２) 守屋悦朗 2020/6/8
500ページの難解論文を パワーポイント50シートで説明できるわけがない！
1．1000ページにも及ぶ長大な論文をそんなに簡単には紹介できません
2～4．数学における予想の作られ方（1）～(4)
5．一元体
6．一元体とABC予想
7．素数について
8．素数が無限個存在することの証明
つづく
9:現代数学の系譜 雑談
21/01/12 20:54:51.37 n5MgUW2B.net
>>7
つづき
下記の PDF 数学の超難問「ABC予想」とは？
別冊Newton「数学の世界」 増補第3版 168 - 171 2019年11月 協力 小山信也 執筆 山田久美
これ分かり易いな
必見ですね（＾＾
URLﾘﾝｸ(researchmap.jp)
researchmap 小山 信也 コヤマ シンヤ (Shin'ya Koyama)
URLﾘﾝｸ(researchmap.jp)
URLﾘﾝｸ(researchmap.jp)
数学の超難問「ABC予想」とは？ 別冊Newton「数学の世界」 増補第3版 168 - 171 2019年11月 協力 小山信也 執筆 山田久美
＜アンチIUTサイト＞
URLﾘﾝｸ(taro-nishino.blogspot.com)（TARO-NISHINOの日記）
ABC予想の壮大な証明をめぐって数学の巨人達が衝突する URLﾘﾝｸ(taro-nishino.blogspot.com)
URLﾘﾝｸ(www.math.columbia.edu) （woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
なお、（メモ）TAYLOR DUPUYは、arxiv投稿で [SS17]を潰した
URLﾘﾝｸ(arxiv.org)
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI’S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.
P14
Remark 3.8.3. (1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between
the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is
not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is something like what
follows:
P15
(2) We would like to point out that the diagram on page 10 of [SS17] is very similar to
the diagram on §8.4 part 7, page 76 of the unpublished manuscript [Tan18] which
Scholze and Stix were reading while preparing [SS17].
References
[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 ( URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) )
[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2
つづく
10:現代数学の系譜 雑談
21/01/12 20:55:12.62 n5MgUW2B.net
>>8
つづき
なお
"[SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017."は、2018の気がする
”[Tan18] Fucheng Tan, Note on IUT, 2018. 1, 2”が見つからない。”the unpublished manuscript [Tan18]”とはあるのだが（＾＾
代わりに、ヒットした下記でも、どぞ （2018の何月かが不明だが、2018.3のSS以降かも）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(slides).pdf
Introduction to Inter-universal Teichm¨uller theory
Fucheng Tan RIMS, Kyoto University 2018
To my limited experiences, the following seem to be an option for people who wish to get to
know IUT without spending too much time on all the details.
・ Regard the anabelian results and the general theory of Frobenioids as blackbox.
・ Proceed to read Sections 1, 2 of [EtTh], which is the basis of IUT.
・ Read [IUT-I] and [IUT-II] (briefly), so as to know the basic definitions.
・ Read [IUT-III] carefully. To make sense of the various definitions/constructions in the
second half of [IUT-III], one needs all the previous definitions/results.
・ The results in [IUT-IV] were in fact discovered first. Section 1 of [IUT-IV] allows one to
see the construction in [IUT-III] in a rather concrete way, hence can be read together with [IUT-III], or even before.
S. Mochizuki, The ´etale theta function and its Frobenioid-theoretic manifestations.
S. Mochizuki, Inter-universal Teichm¨uller Theory I, II, III, IV.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
教員名: 譚 福成（Tan, Fucheng）
P-adic Hodge theory plays an essential role in Mochizuki's proof of Grothendieck's
Anabelian Conjecture. Recently, I have been studying anabeian geometry and
Mochizuki's Inter-universal Teichmuller theory, which is in certain sense a global
simulation of p-adic comparison theorem.
つづく
11:現代数学の系譜 雑談
21/01/12 20:55:30.94 n5MgUW2B.net
>>9
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Research Institute for Mathematical Sciences - Kyoto University, Japan
PROMENADE IN INTER-UNIVERSAL TEICHMULLER THEORY - 復元
Online Seminar - Algebraic & Arithmetic Geometry
Laboratoire Paul Painleve - Universite de Lille, France
Version 1 ? ε - 09/10/2020
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
The Programme of the seminar contains a selection of ~30 references with respect to (1) Diophantine Geometry, (2) IUT Geometry, and (3) Anabelian Geometry. We indicate some links towards the key opuses as well as some complementary notes and proceedings.
つづく
12:現代数学の系譜 雑談
21/01/12 20:56:26.81 n5MgUW2B.net
>>10
つづき
前スレ一覧
（含 本スレなど）
ABC予想が解かれたかもしれんぞ！) 初代
ｽﾚﾘﾝｸ(math板)
（以下その30まで略）
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板)
つづく
13:現代数学の系譜 雑談
21/01/12 20:56:49.77 n5MgUW2B.net
>>11
つづき
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板)
つづく
14:現代数学の系譜 雑談
21/01/12 20:57:12.47 n5MgUW2B.net
>>12
つづき
Inter-universal geometry と ABC予想 (応援スレ) 45
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 46
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 47
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 48
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 49
ｽﾚﾘﾝｸ(math板)
Inter universal geometry と ABC予想(応援スレ)50
ｽﾚﾘﾝｸ(math板)
なお IUT本体スレ
Inter-universal geometry と ABC予想 53 （53以降は立てられず53で終了しました。（＾＾； ）
ｽﾚﾘﾝｸ(math板)
テンプレは以上です
15:現代数学の系譜 雑談
21/01/12 22:04:33.52 n5MgUW2B.net
(>>8より)
小山先生、分り易いわ（＾＾；
URLﾘﾝｸ(researchmap.jp)
数学の超難問「ABC予想」とは？ 別冊Newton「数学の世界」 増補第3版 168 - 171 2019年11月 協力 小山信也 執筆 山田久美
(抜粋)
「和」が「積」を制限している?
では，このABC予想が真に意味することとはいったいどのようなことなのだろうか。実はABC予想は下のような別の書き方もできる。このことから読み解いていくことにしよう。
このように，ABC予想が主張していることを言葉で説明すると「素因数分解したときに高い累乗をもつ特殊な数どうしを足すと，その足した数もまた，その特殊性を維持していることはまれである」ということだ。
整数には「足し算的な性質」と「掛け算的な性質」がある。「aとbの和がcである」は足し算的な性質であり，「aとbは小さな素因数しかもたない」は掛け算的な性質である。ABC予想は「掛け算的な性質が，足し算的な操作によって引きつがれることはまれである」ということを意味している。aとbの足し算の結果であるcという整数は，aとbがもつ掛け算的な性質をもはやもたないという意味で，掛け算的な面において制約が生じているということになる。
足し算的な性質と掛け算的な性質とは，一見，無関係に思える。つまり，足し算的な操作を行った結果，掛け算的な性質が依然として残っている
フェルマーの最終定理を解決にみちびいた「楕円曲線」とABC予想の証明
「望月教授も，ワイルズがフェルマーの最終定理を証明したときと同様に，『楕円曲線』を使いました。その上で独自のIUT理論を構築することで，ABC予想を証明したのです」と小山教授は説明する。
楕円曲線や保型形式は，「数論幾何学」とよばれる分野に属するものだ。数論幾何学は，整数に関する問題を，幾何学的な手法を使って解決しようというものである。
望月教授のIUT理論でも，楕円曲線が重要な役割を果たしている。今後，IUT理論が正しいと確認されれば，リーマン予想をはじめ，現在未解決となっているいくつかの数学の難問に大きな進展があると期待される。今後の進展を見守りたい。 （執筆：山田久美）
16:現代数学の系譜 雑談
21/01/12 22:10:55.42 n5MgUW2B.net
>>14
＞このように，ABC予想が主張していることを言葉で説明すると「素因数分解したときに高い累乗をもつ特殊な数どうしを足すと，その足した数もまた，その特殊性を維持していることはまれである」ということだ。
ワイルズ先生のフェルマー予想の解決は、正直なところ話が高度すぎて、「谷山－志村の反例になるから」と言われても、「ああ、そうですか」というしかないけれど
ABC予想を用いて説明されると、「素因数分解したときに高い累乗をもつ特殊な数どうしを足すと，その足した数もまた，その特殊性を維持していることはまれである」のだと
そして、ｎ＝３以上になると（いまの南出論文では、ｎはかなり大きな数である必要があるのだが）、そのような数の組 a^n+b^n=c^n は実現できないということが、言える
この説明は分かりやすい！！（＾＾
17:現代数学の系譜 雑談
21/01/12 22:24:02.52 n5MgUW2B.net
>>15
（強い）ABC予想とFermatの最終定理の関係は、下記などご参照（＾＾
URLﾘﾝｸ(mikan-alpha.)<)
abc予想のもとづく「フェルマーの最終定理」の証明 てぃっちマーシュ
2017-12-23 12:00:06
18:現代数学の系譜 雑談
21/01/13 00:15:23.23 E3DafHbD.net
>>16
（強い）ABC予想だと
フェルマー a^n+b^n=c^n で、n>=6のときに証明ができるらしいが（>>16）
しかし、南出論文では、「> 1.615 * 10^14 」（下記）なので、まだまだIUT理論に改良の余地がありそうだね
あと、IUT自身の他の分野への応用とか、
もう少し分り易くなんてのもあるでしょう
時間が経つと、IUTももっとこなれて、分り易くなってくる気がします（＾＾
（>>6より）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
Abstract
We also obtain an explicit estimate
concerning “Fermat’s Last Theorem” (FLT) - i.e., to the effect that
FLT holds for prime exponents > 1.615 * 10^14 - which is sufficient to
give an alter
19:native proof of the first case of Fermat’s Last Theorem.
20:１３２人目の素数さん
21/01/13 00:49:48.58 ckntQFZ6.net
結局ずるずるいってこのまま終わるんじゃないか？
21:１３２人目の素数さん
21/01/13 16:09:54.64 idtThVUE.net
>>18
着実に前身してるのに何を根拠に言ってるんだ？
22:１３２人目の素数さん
21/01/13 16:42:30.20 g9vlSOlf.net
Corollary 3.12から何が言えても肝心のCorollary 3.12が証明されてないから無意味
23:１３２人目の素数さん
21/01/13 19:37:47.22 Q9oTiGiD.net
証明されてないことを明示せよ
24:現代数学の系譜 雑談
21/01/13 20:39:50.14 E3DafHbD.net
>>17
>（強い）ABC予想だと
>フェルマー a^n+b^n=c^n で、n>=6のときに証明ができるらしいが（>>16&>>14 URLﾘﾝｸ(researchmap.jp) 数学の超難問「ABC予想」とは？ 別冊Newton「数学の世界」 増補第3版 168 - 171 2019年11月 協力 小山信也 執筆 山田久美）
>しかし、南出論文では、「> 1.615 * 10^14 」（下記）なので、まだまだIUT理論に改良の余地がありそうだね
プロ的には、IUT成立は当然で、もう次のステップ（Next Step）に入っていると思う
方向は、３つくらいだろうか？
１．ABC不等式の改善・改良：
上記の南出論文「> 1.615 * 10^14 」の更なる改良が求められる
（強い）ABC予想 「n>=6」にどこまで近づけるか？
そもそも、元祖IUT IVでは明示公式は導けなかったのだ
それを改善したのが、南出論文（楕円曲線の6等分（従来は2等分））であるが、更なる改善の道をさぐるべし！
２．IUTの新たな方向への発展：例えば下記”random measurable sets”とか、Joshi論文
Dupuy論文の下記（”based on the notion of random measurable sets”）
URLﾘﾝｸ(arxiv.org) PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI’S COROLLARY 3.12
Abstract. All of these inequalities are derived from an probabilistic version of [Moc15a, Corollary 3.12] formulated in [DH20b] based on the notion of random measurable sets.
Joshi論文 URLﾘﾝｸ(arxiv.org) On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi April 24, 2020
URLﾘﾝｸ(arxiv.org) Untilts of fundamental groups: construction of labeled isomorphs of fundamental groups Kirti Joshi October 13, 2020 P2”My thanks are due to Peter Scholze, and also to Yuichiro Hoshi, Emmanuel Lepage, and Jacob Stix, for promptly providing comments,suggestions or corrections.”
３．IUTと従来の数学のつなぎ、即ち、IUT入門と解説
星入門と再入門、山下サーベイがあるも、十分とは言えない。さらなるIUT入門と解説が、求められている
こんなところでしょうかね（＾＾
25:現代数学の系譜 雑談
21/01/13 20:44:11.96 E3DafHbD.net
>>22 訂正
星入門と再入門、山下サーベイがあるも、十分とは言えない。さらなるIUT入門と解説が、求められている
↓
星入門と続・入門、山下サーベイがあるも、十分とは言えない。さらなるIUT入門と解説が、求められている （参考 >>6 URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) 星裕一郎の論文 ）
（＾＾；
26:１３２人目の素数さん
21/01/13 21:08:11.37 g9vlSOlf.net
>>22
>プロ的には、IUT成立は当然…と思う
それ数学を知らない素人的妄想
正則行列 理解しようね
行列式が０になる条件 理解しようね
線型独立 理解しようね
工学部卒なのに知らないなんて恥ずかしいよ
27:現代数学の系譜 雑談
21/01/13 21:57:41.75 E3DafHbD.net
>>22
>プロ的には、IUT成立は当然で、もう次のステップ（Next Step）に入っていると思う
Promenade in IUTの三十数名による大行進
みんな実名を出している
大学にいる人で、話を聞けるなら、「IUTで、ショルツェ氏のダメだしについて、どう思うか」意見を聞けるでしょ
聞いてみたら良い
「あれは、ショルツェ氏の勘違いだよ」で、ちょんだろうなｗ（＾＾；
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in IUT
List of Participants
(抜粋)
Yuta Hatasa, Tokyo Institute of Technology, JP;
Koichiro Sawada, Osaka University, JP;
Ryoji Shimizu, RIMS - Kyoto University, JP;
Yu Yasufuku, Nihon University, JP;
Shigetoshi Yokoyama, Gunma University, JP;
28:１３２人目の素数さん
21/01/14 06:20:56.11 yRrMaKcV.net
>>25
>Promenade in IUTの三十数名による大行進
>みんな実名を出している
だから？
参加者＝IUTの支持者、と思ってる？
そんなわけないじゃん 脳ミソ、サナダムシに食われてる？
Lille大の人は、IUT分かってないから 残念！
>「IUTで、ショルツェ氏のダメだしについて、どう思うか」意見を聞けるでしょ
じゃ、君、聞きなよ
大阪から京都まで電車ですぐでしょ
JRでも阪急でも京阪でもいいからさ
>「あれは、ショルツェ氏の勘違いだよ」…だろうな
「…と思う」の次は「…だろうな」かい？
あのさ、工学部卒の数学素人の単純素朴な感想は聞いてないんだよ
で、そんな君に問題↓だしてあげたから
ｽﾚﾘﾝｸ(math板:948番)
君の苦手な線型代数の問題だよ
でも、このくらい３分以内で解けないと理系としては恥ずかしいね
じゃ、頑張って
解けないうちは他のこと一切数学板に書くなよ
ここはド素人の幼稚園児の落書き帳じゃないからさ
29:１３２人目の素数さん
21/01/14 16:23:45.33 nYFG/Vor.net
キモくてワロタ
30:現代数学の系譜 雑談
21/01/15 07:53:51.45 GRp8oOWg.net
（前スレより）Inter universal geometry と ABC予想(応援スレ)50
ｽﾚﾘﾝｸ(math板:869番)
869 名前：１３２人目の素数さん[sage] 投稿日：2021/01/10(日) 20:11:46.85 ID:RjJZ3ew9 [24/36]
楕円関数論と楕円曲線論の本を読んで、初めて分かったこと
「楕円関数の加法公式と、楕円曲線の点の加法って、実は同じことだったんだ！」
今更？ｗ（自嘲）
(引用終り)
Coxによるガロア理論の教科書、和訳がある。（下）の15章レムニスケートのP617冒頭 に
「楕円曲線・・、それらはp関数*)の加法法則と両立する内在的な加法法則を持つ」注*)ワイエルシュトラスのペー関数
とあるね。Cox 15章レムニスケートいいね。楕円関数、楕円曲線、虚数乗法、類体論、アーベルの定理まで、わずか60ページで解説してある
Cox 15章読んでから（こっちの方がIUTに近いと思うよ）、梅村を読んだ方が良かった気がするな（＾＾；
（参考）
URLﾘﾝｸ(bluexlab.tokyo)
2018.06.22 bluexlab
整数論・数論の教科書で「名著」と呼ばれるものをご紹介
(抜粋)
Galois Theory (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)?David A. Cox 著
Coxによるガロア理論の教科書です。600ページを超える大著ですが、扱っている内容はそこまで難しいものではありません。
群・環・体の基本事項からスタートして、多項式環の説明やイデアルなど順序立てて説明がなされているので初学者でもつまづくことなく読み進められます。
単に、理論としてのガロア理論を説明するに留まらず、折り紙への応用など横道の話も多く教科書とは思えないくらい楽しく読めるのが魅力です。
各節の終わりには「Historical Notes」が記載されており、理論の歴史的背景も学ぶことができます。
(引用終り)
つづく
31:現代数学の系譜 雑談
21/01/15 07:54:13.78 GRp8oOWg.net
>>28
つづき
URLﾘﾝｸ(chuo-u.repo.nii.ac.jp)
Lemniscateの Galois理論について，Coxと Hydeの論説によるOn the Galois theory of the lemniscate, after an article by Cox and Hyde 数学専攻?田代卓真 Takuma TASHIRO
(抜粋)
はじめに本論文は，David Cox, Trevor Hyde, The Galois theory for the lemniscates, Journal of NumberTheory 135 (2014) に基づく総合報告である．論文は７節からなるが，第５節以降で Cox-Hyde の論説を基にしてレムニスケート曲線の等分多項式を論述した．一方，その前段階として，第１節では第２節以降で必要な Galois 理論の事項を，第２節では円分多項式と円分体について，第３節ではChebyshev 多項式について，第４節では Gauss の整数環について基本事項をまとめた．第５節からが本論であり，第５節ではレムニスケート函数について，第６節ではレムニスケート函数の等分多項式について，第７節では lemnatonic polynomial について論述した．
(引用終り)
以上
32:現代数学の系譜 雑談
21/01/15 08:21:40.55 GRp8oOWg.net
>>28
補足
>楕円関数論と楕円曲線論の本を読んで、初めて分かったこと
>「楕円関数の加法公式と、楕円曲線の点の加法って、実は同じことだったんだ！」
>
>Coxによるガロア理論の教科書、和訳がある。（下）の15章レムニスケートのP617冒頭 に
>「楕円曲線・・、それらはp関数*)の加法法則と両立する内在的な加法法則を持つ」注*)ワイエルシュトラスのペー関数
>とあるね。
くさしているわけじゃない
その気付きは、良いと思う
Cox本と同じことに気付いたのは良いよね（＾＾
33:１３２人目の素数さん
21/01/15 10:11:34.14 S82cCNob.net
>>28-30
Cox読んだんなら、ガロア理論の基本定理、理解しようね
ところで、これ↓、解けないの？
そりゃ、工学部卒としても恥ずかしいね
★雑談君への問題
ｎ×ｎ実行列Ｍを考える
行列Ｍのランクrank（Ｍ）＝ｉの値の範囲は０≦ｉ≦ｎだが
ランクｉの行列全体がなす空間の次元はいくらか？
34:１３２人目の素数さん
21/01/16 07:49:40.97 H43eE/wC.net
次の問題も出しといた
ｽﾚﾘﾝｸ(math板:955番)
★雑談君への問題
ｎ×ｎ実行列Ｍを考える
Ｍは一般に２つのｎ次元ベクトルのテンソル積では表せない
しかし、その有限個の和として表すことができる
１．１つのテンソル積で表せる行列のランクは１であることを示せ
２．上記の行列Ｍはたかだかｎ個のテンソル積の和で表せることを示せ
３．上記の行列Ｍを表すのに必要なテンソル積の個数が、
行列のランクと一致することを示せ
35:現代数学の系譜 雑談
21/01/16 09:48:18.11 CjAaI3od.net
維新さんの愛国心（ナショナリズム）を、くすぐる話
「鬼滅の刃」ネタ
数学者にも愛国心はあるよ
IUT is made in Japan！ だな
※劇中の展開・内容について「ネタバレ」があるので、未見の方はご注意ください。
URLﾘﾝｸ(www.asahi.com)
朝日新聞デジタル>記事
「鬼滅の刃」で考えるナショナリズム 煉獄杏寿郎の教え
太田啓之
2020年12月3日
(抜粋)
映画の歴代興行収入第2位を記録し、今もヒットを続ける「劇場版『鬼滅の刃（やいば）』無限列車編」。なぜ、この映画はかくも多くの人々の心を捉えているのか。「ナショナリズム・戦争」と「物語」との関係をテーマに取材を続けてきた記者が、社会学者・大澤真幸さんの論考を手がかりに考えた。
圧倒的な敵との、絶望的な戦い
炭治郎らが所属する「鬼殺隊」の重鎮である煉獄（れんごく）杏寿郎（きょうじゅろう）と、鬼の中でも屈指の強さを誇る猗窩座（あかざ）が対決するクライマックス、そしてエピローグでは、56
36:歳の自分も、涙がどうにも止まらなくなった。死にゆく杏寿郎、それをみとる炭治郎、炭治郎の盟友の伊之助（いのすけ）と善逸（ぜんいつ）、それぞれの思いがこちらの心にどんどん入り込んできて、感情をコントロールできなくなってしまったのだ。 目をうるうるとさせながら劇場を出た直後、「この大泣き、ずっと以前にも味わったことあるなあ」と感じ、記憶をたどって気づいた。今から42年前の中2の時、「さらば宇宙戦艦ヤマト 愛の戦士たち」（1978年）を、立ち見客をふくめぎゅうぎゅう詰めの映画館で見た時の心の動きと、そっくり同じだったのだ。 手ごわい敵を倒してようやく安心、と思ったら、それとは比べものにならないぐらいの強敵が突然現れ、息つく暇もなく新たな戦いに突入する、という展開も同じだったが、それ以上に魂を直撃したのが、「圧倒的な敵との、絶望的な戦い」という共通のシチュエーションだった。 卓越した戦闘力に加え、致命傷を負ったかにみえても直ちに回復してしまう鬼・猗窩座を相手に、列車の乗客と炭治郎たちを守るため、満身創痍（そうい）となりながら戦う杏寿郎の姿を目の当たりにして、味わった思い。 両者は私にとって、まったく同種のものだった。
37:現代数学の系譜 雑談
21/01/16 09:50:57.43 CjAaI3od.net
>>33
追加
URLﾘﾝｸ(elle.air-nifty.com)
ひだまりのねこ 2020.12.12 「鬼滅の刃」と「さらば宇宙戦艦ヤマト」と子供達と。
(抜粋)
映画の終盤、煉獄さんが猗窩座にやられてもやられても戦い続ける、そのあたりから子供たちが泣いてるんです。怖くて泣いてるとかそんな感じじゃない、物語に心を打たれて泣いている、そんな泣き方をしていていました。小学校高学年とか中学生とか、ちょっとだけ大人になりかかった子供たちが、大人が映画に心を打たれたときのように泣いている、こんな光景は映画館ではみたことがなく、少なからず驚きました。
この光景をみて、私が思い出したのが「さらば宇宙戦艦ヤマト」でした。
この映画はひたすら私にはショックでした。まず主人公もヒロインも死んでしまう。終盤の畳み掛けるような絶望感がとにかくすごい。ショックすぎて逆に泣けませんでした。ところが周囲にいた、もう少し大きいお兄さんお姉さんたちは泣いているんです。なにかちょっと不思議な感じがしました。
そしてその後「さらば宇宙戦艦ヤマト」は私の中ではずっと封印された映画になったのですが、なにかよくわからないものが心の奥深くに残りました。そしてそのままほとんど忘れてしまっていたのが、30年以上もたって思いもかけず、あれがなんだったのか向き合うことになります。
「鬼滅の刃」で子供たちが流していた涙から、わたしが思い出したのが、あの時自分が流せなかった涙、お兄さんお姉さんたちが流していた、自分にはよくわからなかった涙でした。
私が今の子供だったら、「鬼滅の刃」をみて泣いた子供だったのか、相変わらずショックでフリーズしてしまったのか、どっちだったろう、そんなことを思いました
かつて「さらば宇宙戦艦ヤマト」が子供に、特攻賛美を植え付けるのではないかと心配した大人がいました
「さらば宇宙戦艦ヤマト」のせいで、特攻賛美の考え方を持つようになった子供が続出するなんてことは結局ありませんでした。「鬼滅の刃」でかつての私のようにショックを受ける子もいるでしょう。でもそうして残った衝撃は、悪影響があるとかないとか、そんな単純な形では現れないように思うのです。何年も経ってから、自分が受け止めたもの・受け止めきれなかったものが何だったか気がつく、そんな映画もあるんだと思います
38:現代数学の系譜 雑談
21/01/16 09:56:05.90 CjAaI3od.net
望月新一先生は、ABC予想と戦ったのです
でも、楽しかったんじゃないかな？
星裕一郎という盟友を得て
加藤文元先生は、戦友なのか悪友なのか（＾＾；
39:現代数学の系譜 雑談
21/01/16 10:09:38.40 CjAaI3od.net
IUTの戦い
いまや
ショルツェ氏一人 vs Promenade in IUTの三十数名+他大勢（Dupuy氏とかいろいろ）
（Stix氏はノーコメントに転じた）
一人勘違いはありえる
多分、自分流に解釈してしまったのでしょうね
Promenade in IUTの三十数名は、望月サイトのSSとのやり取り（SS文書もそれへの反論文書など）を知っての上だ
三十数名が、全員間違うはないでしょ！（＾＾
40:現代数学の系譜 雑談
21/01/16 10:27:07.17 CjAaI3od.net
>>14
>URLﾘﾝｸ(researchmap.jp)
>数学の超難問「ABC予想」とは？ 別冊Newton「数学の世界」 増補第3版 168 - 171 2019年11月 協力 小山信也 執筆 山田久美
>(抜粋)
>「和」が「積」を制限している?
>では，このABC予想が真に意味することとはいったいどのようなことなのだろうか。実はABC予想は下のような別の書き方もできる。このことから読み解いていくことにしよう。
>このように，ABC予想が主張していることを言葉で説明すると「素因数分解したときに高い累乗をもつ特殊な数どうしを足すと，その足した数もまた，その特殊性を維持していることはまれである」ということだ。
>
>「望月教授も，ワイルズがフェルマーの最終定理を証明したときと同様に，『楕円曲線』を使いました。その上で独自のIUT理論を構築することで，ABC予想を証明したのです」と小山教授は説明する。
>楕円曲線や保型形式は，「数論幾何学」とよばれる分野に属するものだ。数論幾何学は，整数に関する問題を，幾何学的な手法を使って解決しようというものである。
補足
１．素人の説明だが、フェルマーの最終定理 「a^n+b^n=c^n ここにｎ>=3, a,b,c>0の整数」
２．n を山の高さに例えると、二つの山 a^n、b^n を重ねると、崩れて高さｎの山 c^n は不可。ｎ>=3だと
３．これが、ABC予想（いまやほとんど定理ですが）から導かれる
（実際はｎ>=3ではなく、ｎ>=εで、ε＝6（強いＡＢＣ予想）であったりε＝ 1.615*10^14（南出論文）であったりします）
４．フェルマーの最終定理では、楕円曲線（フライ曲線）y^2 = x(x - a^n)(x + b^n) を使います
５．ＡＢＣ予想でも、同様にフライ曲線でn=1とおけば良い
そうすれば、a+b=cというなんのへんてつもない式だが、cに制約ができる。それが、スピロ予想です
URLﾘﾝｸ(ja.wikipedia.org)
フェルマーの最終定理
1984年にフライはフェルマーの最終定理に対する反例 an + bn = cn からはモジュラーでない楕円曲線（フライ曲線）：
y^2 = x(x - a^n)(x + b^n)
が得られ、これは谷山?志村予想に対する反例を与えることになるというアイディアを提示。
41:現代数学の系譜 雑談
21/01/16 10:39:50.30 CjAaI3od.net
>>37
つづき
１．ＡＢＣのフライ曲線＝楕円曲線 で y^2 = x(x - a)(x + b)
２．これを、スピロ予想に直す。そして、望月先生はＩＵＴを使ってスピロ予想を証明したそうだ。そこから、ＡＢＣのいろんなバージョンが出る
３．従来の楕円曲線理論では、スピロ予想は扱えなかった
４．スピロ予想を扱えるように、従来の楕円曲線理論を拡張した。それが、遠アーベル理論と、それをさらに発展させたのがＩＵＴ理論
５．それは何か？ それが分かれば、苦労はない！ 私は、大学教授になれます（多分）。それを知りたい人は、Promenade in IUTをどぞ！ URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
スピロ予想
スピロ予想 (Szpiro's conjecture) は、楕円曲線の導手と判別式との間の関係について述べた予想であり、ABC予想と深い関係にある。
ABC予想との関係
スピロ予想より強い以下の主張がABC予想と同値である
通常のスピロ予想は、少し弱いVer.のABC予想と同値である[3]。
42:１３２人目の素数さん
21/01/16 11:54:10.51 58/gE6XA.net
>>36
一人ではないよ
下のURLでは、ブライアンコンラッド(谷山志村予想を解決した一人)が、PSが指摘したCor3.12の図3.8以降�
43:ﾌロジックが修正されるだろうと予測したところ、誤植の修正だけで予想したものとは違ったということが書いてある https://inference-review.com/article/a-crisis-of-identification 以下のツイートは、ピーターサルナック(ウルフ賞数学部門受賞)から何故IUTは間違っているのかを説明してもらったという内容 https://twitter.com/AndyPutmanMath/status/1328200997664120832 多くの数学者が否定したからCor 3.12は偽だ、とは言ってないが、少なくともショルツ一人ではない (deleted an unsolicited ad)
44:１３２人目の素数さん
21/01/16 12:31:13.86 H43eE/wC.net
>>33
>数学者にも愛国心はあるよ
愛国狂人が咆哮してるな
ヤマトよりハーロック
でも一番好きなのは・・・ルパン三世かな
ふーじこちゃーん
45:１３２人目の素数さん
21/01/16 12:38:22.72 H43eE/wC.net
>>36
>IUTの戦い
🐎🦌ｗｗｗｗｗｗｗ
国際会議に参加＝IUT理解、ではないことが
大阪idiotの💩談君にはどうしても分からない
Lille大の参加者は望月の不等式に興味があるのであって
IUTが理解できたわけでもないし正当性を認めたわけでもない
「望月不等式の変」が龍頭蛇尾のごとく終わるのか
それともショルツもしくは他の数学者によってひっくり返されて
望月一味の全員焚刑で終わるのか・・・興味は尽きない
46:１３２人目の素数さん
21/01/16 12:45:27.18 H43eE/wC.net
>>37-38
楕円曲線の定義すら知らん素人がやれワイルズだIUTだといっても無駄
線型代数からやり直そうね
32の問題↓解いてごらん
線型代数だけで解けるよ
解けないと工学部失格、技術者失格だねｗｗｗ
★雑談君への問題
ｎ×ｎ実行列Ｍを考える
Ｍは一般に２つのｎ次元ベクトルのテンソル積では表せない
しかし、その有限個の和として表すことができる
１．１つのテンソル積で表せる行列のランクは１であることを示せ
２．上記の行列Ｍはたかだかｎ個のテンソル積の和で表せることを示せ
３．上記の行列Ｍを表すのに必要なテンソル積の個数が、
行列のランクと一致することを示せ
47:１３２人目の素数さん
21/01/16 12:51:14.44 H43eE/wC.net
>>43
＞多くの数学者が否定したからCor 3.12は偽だ、とは言ってないが
そうね
IUTは全然理論の体を為してないとしても、
Cor3.12は正しいと別の人が証明すれば
少なくとも望月は望月不等式の予想の考案者として
面目が立つ
しかし
Cor3.12から矛盾が導けると別の人が証明すれば
望月は予想の考案者としても面目を失う
つまりそもそもIUTは矛盾していたということになるから
48:現代数学の系譜 雑談
21/01/16 13:45:06.18 CjAaI3od.net
>>39
古いと思うよ
根拠が
昨年の４月のＩＵＴ記者会見発表のあと、woitブログに刺激されてか、現代数学誌に 山下純一氏が、ＩＵＴに否定的な記事を書きかけたことがある
それに対して、私は、「取材無しに、ネット検索だけで記事を書くのは如何か」と批判したんだ
つまり、ネット検索は古い情報もある
少なくとも、Promenade in IUT（>>38）の後の情報
特に、Promenade in IUTに対する賛成なり反対の意見がないと、いまや無意味でしょうね
それ、そっくりあんたの>>39に当てはまるぜよｗ（＾＾
数学ド素人がさ、おっと数学オチコボレさんだったかがさ、なにを言っても説得力ないぜよｗ
（参考）
URLﾘﾝｸ(www.gensu.jp)
現代数学 2021年1月号 第54巻第1号通巻649号
数学の未来史／深淵からの来迎（92） グロタンディークとヴェイユ兄妹 山下純一
49:１３２人目の素数さん
21/01/16 16:36:01.61 H43eE/wC.net
>>44
>「取材無しに、ネット検索だけで記事を書くのは如何か」
理解なしに、日本人だというだけで支持する愛国狂人がなにいってんだ
♪ブーメラン ブーメラン ブーメラン ブーメラン
きっと～ あなたは～ 戻って～ く～る～だろお～
URLﾘﾝｸ(www.youtube.com)
50:１３２人目の素数さん
21/01/16 16:39:37.05 H43eE/wC.net
>>44
>数学ド素人がさ、おっと数学オチコボレさんだったかがさ、
>なにを言っても説得力ないぜよｗ
大学１年の線型代数で落ちこぼれたのに
お情けで大学卒業したモグリ野郎は雑談君、
あなたのほうですから～ 残念ｗ
落ちこぼれじゃないなら以下の問題解いてね
★雑談君への問題
ｎ×ｎ実行列Ｍを考える
Ｍは一般に２つのｎ次元ベクトルのテンソル積では表せない
しかし、その有限個の和として表すことができる
１．１つのテンソル積で表せる行列のランクは１であることを示せ
２．上記の行列Ｍはたかだかｎ個のテンソル積の和で表せることを示せ
３．上記の行列Ｍを表すのに必要なテンソル積の個数が、
行列のランクと一致することを示せ
51:現代数学の系譜 雑談
21/01/16 19:41:44.32 CjAaI3od.net
>>45
＞理解なしに、日本人だというだけで支持する愛国狂人がなにいってんだ
Promenade in IUT（>>38）のLille大の人達はＩＵＴを理解しています
”日本人だというだけ”？ Lille大は、おフランスですよｗｗ
52:１３２人目の素数さん
21/01/17 08:30:41.52 u4aV0a5W.net
>>47
ＩＵＴ？無理無理
εδも線型独立も分かってないキミにはね
ウソだっていうんなら、↓解いてみ？
あ、検索しても無駄だよ
こんな”簡単な”問題の回答なんか
いちいち出てないからｗ
★雑談君への問題
ｎ×ｎ実行列Ｍを考える
Ｍは一般に２つのｎ次元ベクトルのテンソル積では表せない
しかし、その有限個の和として表すことができる
１．１つのテンソル積で表せる行列のランクは高々１であることを示せ
２．上記の行列Ｍはたかだかｎ個のテンソル積の和で表せることを示せ
３．上記の行列Ｍを表すのに必要なテンソル積の個数が、
行列のランクと一致することを示せ
53:１３２人目の素数さん
21/01/17 11:13:01.51 W0ihGyot.net
維新さん、「Silverman＆Tate読むかな」という話しはどうなった？
頑張って読みなよ
（参考）
Inter universal geometry と ABC予想(応援スレ)50
ｽﾚﾘﾝｸ(math板:419番)
419 返信：１３２人目の素数さん[sage] 投稿日：2020/12/28(月) 15:39:51.62 ID:8FQ+nXBZ [6/7]
>>414
>シルヴァーマン（下記）が、良いんじゃない？
>Silverman, Joseph H（2009）『The Arithmetic of Elliptic Curves』Springer．』
>(楕円曲線論概説 上・下 (Ｊ．Ｈ．シルヴァーマン（著）、鈴木 治郎（訳）））
上下巻だったっけ？とおもったら、
自分が知ってるのは別の本だった
Joseph H Silverman, John Torrence Tate,
”Rational points on elliptic curves”
(楕円曲線論入門 (シルヴァーマン&テート 足立 恒雄/木田 雅成/小松 啓一/田谷 久雄))
目次
第１章 幾何と算術
第２章 有限位数の点
第３章 有理点のなす群
第４章 有限体上の３次曲線
第５章 ３次曲線上の整点
第６章 虚数乗法
ーーー
まあ、読むならこっちからだな
ボクは雑談君を見て
「慌てる乞食は貰いが少ない」
ってことを学んだからｗ
ｽﾚﾘﾝｸ(math板:449番)
449 名前：１３２人目の素数さん[sage] 投稿日：2020/12/30(水) 17:05:40.35 ID:wqjsglrD [8/12]
>>419のテキストには、Mordellの定理も出てくるらしい
（というか、それが本題の一つ）
来年はSilverman＆Tate読むかな
楕円関数・テータ関数・モジュラー関数
ｽﾚﾘﾝｸ(math板:1番)
1 名前：１３２人目の素数さん[] 投稿日：2020/11/02(月) 07:00:50.57 ID:PUodusEe [1/3]
三者の関係について語すスレ
54:１３２人目の素数さん
21/01/17 11:41:54.47 u4aV0a5W.net
>>49
狂賛君 他人の勉強ジャマせずに、自分も線型代数の勉強しようねｗ
頑張って↓解いてごらん
ま、頑張るほど大したもんじゃないけど
ま・だ・解・け・な・い・の？
★雑談君への問題
ｎ×ｎ実行列Ｍを考える
Ｍは一般に２つのｎ次元ベクトルのテンソル積では表せない
しかし、その有限個の和として表すことができる
１．１つのテンソル積で表せる行列のランクは高々１であることを示せ
２．上記の行列Ｍはたかだかｎ個のテンソル積の和で表せることを示せ
３．上記の行列Ｍを表すのに必要なテンソル積の個数が、
行列のランクと一致することを示せ
55:１３２人目の素数さん
21/01/17 12:21:05.17 u4aV0a5W.net
ｎ×ｎ行列Ｍの行ベクトルをa1,…,anで表す
a2,…,anから、a1を使って
ベクトルの第一成分の消去を行う操作は
以下のように表せる
b2=a2-λ2a1
…
bn=an-λna1
このときMはM_a＋M_bとして表せる
M_aはa1とλ
56:=(1,λ2,…,λn)のテンソル積 M_bは0ベクトルとb2,…,bnからなる行列
57:１３２人目の素数さん
21/01/17 12:27:01.93 u4aV0a5W.net
>>51
M_bについて同様に第二成分の消去が実施できることはいうまでもない
このように続けて言えば、ｎは有限であるから、
最終的には1×1行列にいきつくわけで、
M=M_a+M_b+…+M_n
と表せて、各M_＊がベクトル同士のテンソル積となるようにできることは明らか
Mの中での0の現れ方によっては
・どの行ベクトルを使うか
・どの変数を消すか
を変更する必要はあるが、大勢に影響ない
58:現代数学の系譜 雑談
21/01/17 20:28:12.35 l3HVKLxP.net
>>49
維新さん、悪かったな
オチコボレの向学心を折ってしまったかな？（＾＾
勉強することは悪いことでは無い
だが、ＩＵＴを知るために、「まずは梅村の楕円関数論から」というとぼけた精神がまずいと言ったんだ
勉強することは良い
だが、ＩＵＴを知るためには、まずはＩＵＴを読むべし
分かっても分からなくてもね。お経で良いじゃない
分かっても分からなくても、お経を読まないと”悟りは開けない”よね
59:１３２人目の素数さん
21/01/17 21:13:41.94 9LgcLAVL.net
査読する人乙だね
予備知識のお勉強して、望月先生の論文を読む
みんな自分の論文がそうあってほしいだろうに
現在は集合知で学問を進める時代だそうだけど、牽引する人はいるって話だね
60:１３２人目の素数さん
21/01/17 22:04:43.98 Yo83W83D.net
査読するひとが逃げ出したw
61:現代数学の系譜 雑談
21/01/17 23:05:17.19 l3HVKLxP.net
>>55
査読って、自分の専門分野なら、いずれやらないといけない作業なのでは？
査読のメリットは、自分が最初に検証役をやらされるってこと。やらざるとを得ない。その立場が、自分を強くする。いずれ読まないといけない論文ならば
査読のデメリットは、自分が最初に検証役をやらされるってこと。自分の仕事と繋がらないとつらいよね。だったら、最初に断るべきでしょうね。逃げ出しもありと思うよ
>>54
>現在は集合知で学問を進める時代だそうだけど、牽引する人はいるって話だね
そうだと思う
望月ＩＵＴから吸収できる栄養分はあると思うんだよね
Promenade in IUT（>>38）に集う数学者たちは、そう思っているんじゃないかな？
62:１３２人目の素数さん
21/01/18 07:04:44.81 FgvgJsLX.net
>>53
共産クン ゴメン
君の劣等感を思いっきり刺激してしまったね
別に数学を知らなくても悪くない
しかし線型代数も分かってないのにＩＵＴガーとか見栄はるのがみっともない
ＩＵＴ以前に楕円曲線 楕円曲線の前に線型代数
線型代数はいかなる数学の分野においても基本だよ
分からなくてもいい？お経でいい？それじゃ意味ないよ
数学は仏教じゃないから自分勝手な悟りは無意味
まず分かろうね それがスタート
63:１３２人目の素数さん
21/01/18 07:10:30.98 FgvgJsLX.net
>>56
共産君、またいつものワケワカラン呪文を唱えてるね
自分が理解できてないという事実を目の前にすると
必ずそうやって事実から目を背け続けるけど
そんな弱い心のうちは君は何も学べないよ
まず自分を強くしようね 自分が何も分かってない事実をまず受け入れよう
64:１３２人目の素数さん
21/01/18 07:17:43.46 FgvgJsLX.net
雑談 ◆yH25M02vWFhP君は
楕円曲線の点の加法も楕円曲線の等分点の重要性も
全然分かってないのに、ＩＵＴといいたがる
円周上の点の加法も円周の等分点の重要性も
全然分かってないのに、ガロア理論といいたがる
確かな動機づけがない土壌からは、成果という名の草木は生えないよ
雑談君はただエエカッコしたい見栄っ張りだから
ガロアとかグロタンディクとかＡＢＣ予想とかいう名前だけで
食いつくけど肝心の理論の動機が分かってないから
結局何も消化できずに終わる
εδや線型独立が理解できないのも同じ理由
そもそも数学をただの計算手順としか思ってないから
その下にある理論を知ろうという意欲がない
それじゃ意味ないよね 数学、やめたら？ 無駄だし
65:１３２人目の素数さん
21/01/18 07:26:12.07 FgvgJsLX.net
連立線型方程式系を、消去法で解くにしても行列式で解くにしても
ｎ×ｎ行列でｎ段できるとか、行列式が０でないとかいう理由は
列ベクトル（そして同じことだが行ベクトル）が線型独立だという
性質に帰着する それが線型代数の根本
根本が分かっていれば行列式を計算するのに
馬鹿みたいに定義式をなぞらなくても
消去法の手続きで階段行列作って対角要素掛けても
全然問題ないってわかる
雑談君は何も分かってないから
２つのｎ×ｎ正方行列の積は
やはりｎ×ｎ正方行列だというだけで
「正方行列の群」なんてドヤ顔で語っちゃう
馬鹿っぷりをさらけ出すんだなｗｗｗ
66:１３２人目の素数さん
21/01/18 16:36:54.93 I/88fGN1.net
>>22
＞プロ的には、IUT成立は当然で、もう次のステップ（Next Step）に入っていると思う
＞ ３．IUTと従来の数学のつなぎ、即ち、IUT入門と解説
＞ 星入門と再入門、山下サーベイがあるも、十分とは言えない。さらなるIUT入門と解説が、求められている
（補足）
・いまどき、誰しも、ウェブのマップを使ったことがあると思うが
倍率を自由に変えられるのだが、googleマップなどでも、ある倍率を境に表示される情報量と質が変わることがある
・詳細マップから、縮尺を大きくしていくと、細かい情報を落として、大づかみに情報を表示する
IUTも、そういう具合に、大中小など、少なくとも３種以上の縮尺の違うIUTマップがあれば良いと思う
・IUT論文が原寸大とすれば、
中が Promenade in IUT URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
でしょうかね
縮尺の大きいものが、星IUT入門、山下、フェセンコ先生のサーベイ論文だろか
・これからも、いろいろ出てきそうですよね
ガロア理論なんか、和書だけでも１００冊くらいありますからねぇ～（＾＾
67:１３２人目の素数さん
21/01/18 16:48:01.60 I/88fGN1.net
>>53
>だが、ＩＵＴを知るためには、まずはＩＵＴを読むべし
>分かっても分からなくてもね。お経で良いじゃない
>分かっても分からなくても、お経を読まないと”悟りは開けない”よね
ヴェンカテシュとDimitrovと、IUT IVの誤りを指摘した
多分、彼らはIUT IVから読んだのでしょうね
最初IUTの頂上からアタックしたと思うよ(゜ロ゜;
（参考）
前スレ 50 918 より
URLﾘﾝｸ(ja.wikipedia.org)
abc予想
2012年8月30日、京都大学数理解析研究所教授の望月新一が abc予想を証明したとする論文をインターネット上に公開した[4][5][6][7]。
それらの論文について、2012年10月に Vesselin Dimitrov とアクシェイ・ヴェンカテシュにより誤りが指摘[11]されたが、望月は指摘を認めつつ本質的結果は影響されないとコメントし、訂正を約束した[12]。以後、同年12月より指摘事項の修正や他の校正等を含む一連の訂正版論文を発表している[13]。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV Shinichi Mochizuki April 2020
P8
Acknowledgements:
In addition, I would like to thank Kentaro Sato for useful comments concerning the set-theoretic and foundational
aspects of the present paper, as well as Vesselin Dimitrov and Akshay Venkatesh for useful comments concerning the analytic number theory aspects of the present paper.
P36
Remar
68:k 1.10.6. On the other hand, it was pointed out to the author by A. Venkatesh that in fact it is not difficult to modify the construction of these examples of abc sums given in [Mss] so as to obtain similar asymptotic estimates to those obtained in [Mss] [cf. the discussion of Remark 1.10.5, (ii)], even without taking into account the contributions at the prime 2. https://ja.wikipedia.org/wiki/%E3%82%A2%E3%82%AF%E3%82%B7%E3%82%A7%E3%82%A4%E3%83%BB%E3%83%B4%E3%82%A7%E3%83%B3%E3%82%AB%E3%83%86%E3%82%B7%E3%83%A5 アクシェイ・ヴェンカテシュ FRS (Akshay Venkatesh, 1981年- ) 2018年、フィールズ賞を授与された
69:１３２人目の素数さん
21/01/18 19:06:25.61 FgvgJsLX.net
＞多分、…でしょうね
＞…と思うよ
君の妄想
常に間違ってるよ
まっさきに自分を否定してね
オレは馬鹿だ、と
京大にも入れず大阪大
理学部にも入れず工学部
正真正銘の馬鹿じゃんｗ
70:１３２人目の素数さん
21/01/20 08:06:45.52 9QOZLYQY.net
>>62
>ヴェンカテシュとDimitrovと、IUT IVの誤りを指摘した
>多分、彼らはIUT IVから読んだのでしょうね
>最初IUTの頂上からアタックしたと思うよ(゜ロ゜;
そう考えないと
IUTを最初から読んで、IVの誤りを指摘したなら
Cor3.12を認めたってことだよね
少なくとも、ヴェンカテシュ（フィールズ賞受賞者）が
ってことになるよね（^^
71:１３２人目の素数さん
21/01/24 01:27:18.88 LP5hg/d5.net
どのみちIUTは成り立たない
72:１３２人目の素数さん
21/01/24 14:02:08.14 GW5Cg08V.net
>>65
その話は、あとで良い。今年の秋ころ、4回の国際会議が終わるころに、はっきりするだろう
だが、その前に、ヴェンカテシュ（フィールズ賞受賞者）が 、IUT IVを読んで
誤りを指摘したってことを覚えておいてくれ
多分、IUTのI～IIIを読んだのか、はたまた流したのか、あるいはIVへジャンプしたのか、
細かいことはともかく、IUTのIVの誤りをしてきして7
望月はそれに応えて、論文を修正した
これが、確認できる事実だ
ここから推理だが
ヴェンカテシュは、I～IIIを細かく読んだのではなく
IVへ来て、一目で問題点を見抜いたってことだろうね
そこは見習うべきと思うよ
IUTを読むために、まずは梅村 楕円関数論に逃げたアホがいたけど
雲泥の差
73:complete idiot
21/01/24 14:36:07.90 q1oea9hr.net
ID:GW5Cg08V さん こんちは
私、本日、以下のスレッドを立ち上げた
complete idiotっていいます
😞【落ちこぼれ限定】おまいら、どこで数学諦めた？😞
ｽﾚﾘﾝｸ(math板)
で、数学挫折のぶっちゃけ話を集めてるんですけど、なんかあります
ああっ、あなた自身じゃなくても知り合いの話でいいですよ 知り合いで
74:complete idiot
21/01/24 14:51:20.66 q1oea9hr.net
>>61
>ガロア理論なんか、和書だけでも１００冊くらいありますからねぇ～
で、どれか１冊でいいですけど、通して読めました？
そのあたりの話、↓のスレで書いてくれませんかねぇ
😞【落ちこぼれ限定】おまいら、どこで数学諦めた？😞
ｽﾚﾘﾝｸ(math板)
75:呑んだ暮れ
21/01/24 17:18:01.14 Mk/3gLTv.net
瀬田の腸焼き公開記念日カウントダウンが始まったのか
所でトリップ付けて書く奴は焼くと言っとった奴がトリップ付けて書いとる様じゃが焼身自殺予定の積もりか？
76:complete idiot
21/01/24 17:26:02.10 q1oea9hr.net
>>69
どうも 呑んだ暮れさん、こんちは
「トリップ付けて書く奴は焼く」
そんなオソロシイこといった人がいるんですね
ま、でも、火葬のときはみんな焼かれますからねぇ
私の場合、自らidiotと名乗って、
数学わかりましぇ～んって言ってるんで
問題ないんじゃないですかねぇ
77:呑んだ暮れ
21/01/24 18:54:23.16 Mk/3gLTv.net
ううむ…
78:１３２人目の素数さん
21/01/24 19:41:40.06 GW5Cg08V.net
>>67
>【落ちこぼれ限定】おまいら、どこで数学諦めた？
それいいと思う（下記など）
だけど、
落ちこぼれの定義：数学専門のアカデミックポスト（大学以上）がゲットできない
諦めたの定義：上記同様
ってなってないかな？
例えば、数学→英語 に変換してみよう
”英語諦めた”って成り立たないでしょ
いまどき、英語なんて、普通に身の回りにあふれている
ただし、英語を専門スキルとして、職を得ることを諦めるはあるとしても
英語と無縁の世界で生きるってのも、いまの日本じゃ難しいだろうさ
数学も同じだよね
そういう定義を明確にしないで論じるところがさ、”数学落ちこぼれ”的ではあるけどね
（参考）
😞【落ちこぼれ限定】おまいら、どこで数学諦めた？😞
ｽﾚﾘﾝｸ(math板:28番)
28 complete idiot ◆OHIXyLapqc ▼ New! 2021/01/24(日) 16:22:04.59 ID:q1oea9hr [22回目]
>>27
ま、工学的発想の人も多々いるだろうってことでｗ
じゃ、計算の話は全部ドブに捨ててｗ
>具体的にどういう数学的な理解に役立つのか、
>大局的な見通しができなかった
ま、どこが山頂なのかよくわからんってのはあるね
はじめて登る山ならともかく、すでに何人も上ってる山なら
様子がわかってるんだから、もうちょっとなんとかならんのか？
ってのはあるよね
数学者もさ、全部が全部、新しい重大発見をするわけでもないんだから
数学教育にもうちょっと力入れてほしいけど・・・
評価されないからやらないのかな
79:complete idiot
21/01/24 19:58:50.70 q1oea9hr.net
>>72
ども、はじめまして
レスありがとうございます
落ちこぼれの定義・・・単純に「分からん」と匙投げた、って意味ですけど
アカデミック・ポストなんてそんな天上界の話はしてませんよｗ
英語諦めてる人は日本ならザラにいるんじゃないですかね
英語と同じ印欧語族の言語を話してる人たちと日本人じゃ全然違いますからね
ところで、ガロア理論、諦めたんじゃないんですか？
諦めてない？でもまだゴールインできてないんですよね？
なにが理解できてないか、それでもいいから書いてみませんか？
😞【落ちこぼれ限定】おまいら、どこで数学諦めた？😞
ｽﾚﾘﾝｸ(math板)
80:complete idiot
21/01/24 20:01:25.26 q1oea9hr.net
ということでガロア理論諦めても諦めてなくても
レスポンスは是非↓のスレにお書きくださいね
😞【落ちこぼれ限定】おまいら、どこで数学諦めた？😞
ｽﾚﾘﾝｸ(math板)
81:１３２人目の素数さん
21/01/24 20:36:06.42 GW5Cg08V.net
>>68
いま、JaneStyleが使えないので、コテハンとトリップ省略している
（PCの調子が悪く、買い換えたら、JaneStyle不具合で、いまLive5chにしているけど、まだなれない）
ガロア本で通して読んだのは、最初は下記の服部 昭だった。むずかったな。おっと、”第４章 圏とホモロジー”は飛ばしたけどね
何度も読んだけど、むずかったね。「単項拡大定理」だけ記憶に残っている
その前に、現代数学の系譜のガロア原論文（アーベル原論文も）とその守屋 美賀雄氏の解説。これも何度か繰り返し読んだ
平行して、倉田ガロア本と矢ヶ部ガロア本も、何度も繰り返し読んだ。矢ヶ部ガロア本は良かった。おすすめです
まあ、穴はあるんだろうね。独学だからね。もっとも、大学数学科で教わっても、大学の講義なんて不親切だろうけど、友達いるだろ？ 友達に聞いて議論できるのは大きいかもね
数学の話に戻ると、>>72に書いた通りだよ
いまの日本で、文学部系で数学無縁で生きていけるならともかくも、経済とか経営とか商学とかでも（政治学でもか）数学無縁とはいかんでしょ？
”数学諦めた”なんてのは、アカデミックポストをゲットする話じゃんｗ
（参考）
URLﾘﾝｸ(www.kinokuniya.co.jp)
現代代数学 （復刊）
服部 昭【著】
内容説明
本書は代数学の基礎的部分についての概説である。読者としては数学専攻の３、４年次またはこれに準ずるものを想定している。従ってここでは代数学の最も合理的な体系づけとか、著者の代数学に対する感じ方の表明とかが目標ではなく、基礎的素材の取り扱いと代数学的考察の具体例を示すことが主眼になる。
目次
第１章 群
第２章 環
第３章 加群
第４章 圏とホモロジー
第５章 可換体
第６章 ガロア理論
出版社内容情報
群・環・体など代数学の基礎的素材の取り扱いと代数学的な考え方の具体例を明快に示した入門書〔内容〕群(半群，位相群他)／環(多項式環，ネター環他)／加群(多項式環／デデキント環と加群他)／圏とホモロジー(関手他)／可換体／ガロア理論
82:１３２人目の素数さん
21/01/24 20:38:07.60 GW5Cg08V.net
>>74
わるいけど
そこは、覗いてみたけど、いまいちの感じ
おれは、書かない
83:１３２人目の素数さん
21/01/24 20:42:21.98 GW5Cg08V.net
>>75
＞（PCの調子が悪く、買い換えたら、JaneStyle不具合で、いまLive5chにしているけど、まだなれない）
買い換えたPCは、すごく快適だよ
だけど、win10 のバージョンと、いろんなソフトの相性が悪いみたい
2台あるプリンターの1台は全くつながらなくなった
もう1台は、ネットでの接続はだめで、USBのコード接続でならつながるようになった
いま、環境構築で時間をとられている
84:１３２人目の素数さん
21/01/24 20:43:34.01 GW5Cg08V.net
>>77
＞もう1台は、ネットでの接続はだめで、USBのコード接続でならつながるようになった
無線での接続ってことです
有線（USB）でようやくつながった
85:１３２人目の素数さん
21/01/25 06:27:13.14 bUl2Fu4u.net
平日なのでHN＆トリップなしで
>>75
質問６つ、↓のスレに書いたんで、回答を↓のスレに書いてね
😞【落ちこぼれ限定】おまいら、どこで数学諦めた？😞
ｽﾚﾘﾝｸ(math板:29番)
P.S.
アカデミックポストが頭から離れないみたいだけど
アカデミックポストが欲しいのかな？
86:１３２人目の素数さん
21/01/25 06:30:58.70 bUl2Fu4u.net
>>75
>経済とか経営とか商学とかでも（政治学でもか）
>数学無縁とはいかんでしょ？
そうなの？どんな数学使う？
87:１３２人目の素数さん
21/01/25 08:39:38.78 4i9nbb/t.net
特に経済学は数学必須だし理系学部と見るべきだよ
伊達にノーベル賞部門なわけじゃない
88:１３２人目の素数さん
21/01/25 14:53:17.68 4i9nbb/t.net
博士課程学生に生活費240万円 政府、7800人に支援
政府は2021年度、博士課程に進学する学生の生活費を支援する新たな制度を設ける。大学を通じて1人当たり年240万円を支給する。7800人が対象になる。
生活面から博士課程への進学を後押しし、日本の国際的な競争力の維持に欠かせない専門人材の育成につなげる。
各大学が学生を選び、国から大学に支援金を出す仕組みを整える。大学側が責任を持って対象者を選定するよう4分の1から3分の1程度は大学側にも負担を求め...
URLﾘﾝｸ(www.nikkei.com)
89:A2000000
90:１３２人目の素数さん
21/01/25 15:43:30.45 Qwq/87Tp.net
量子計算
91:１３２人目の素数さん
21/01/25 19:50:47.97 bUl2Fu4u.net
>>81
経済学賞はノーベル賞じゃない、って知ってた？
URLﾘﾝｸ(ja.wikipedia.org)
「ノーベル財団は、「ノーベル賞ではない」[注 2]として
正式名称「アルフレッド・ノーベル記念スウェーデン国立銀行経済学賞」を用いるか、
単に「経済学賞」と呼ぶ。」
「アルフレッド・ノーベルの子孫やノーベル文学賞の選考を行うスウェーデン・アカデミーは賛成していない。」
スウェーデン国立銀行がゴリ押ししてできた賞だから当然だね
92:１３２人目の素数さん
21/01/25 20:00:46.37 pbldwllG.net
「ノーベル経済学賞」の話題がでると>>84みたいなやつが絶対出てくるけど
ほんと何が言いたいんだろうな
93:１３２人目の素数さん
21/01/25 21:37:20.02 4i9nbb/t.net
>>84
正式にはそうでも世間てはノーベル賞扱いだからな
なんせスウェーデンではなくノルウェー議会が選んでる平和賞すらノーベル賞扱いなくらいで
94:１３２人目の素数さん
21/01/25 22:07:52.07 bUl2Fu4u.net
>>85
キミ、経済学が好きなの？
95:１３２人目の素数さん
21/01/25 22:11:04.82 bUl2Fu4u.net
>>86
キミのいう「世間」とは、お金儲けに血道を上げる世間かな？
96:１３２人目の素数さん
21/01/27 11:07:50.23 7FiNQP4j.net
結局証明完了なのか違うのかどっちなんだ？
97:１３２人目の素数さん
21/01/27 13:09:02.37 ddINSy2B.net
ああああああああ
おまんこしたい！
おまんこしたい！！！
もう我慢できないよおおおお！
コロナしね！
98:１３２人目の素数さん
21/01/27 17:38:09.46 2gwHCdgP.net
>>89
査読は完了した
それは間違いない
PRIMSで正式に出版される、それも間違いない
Promenade in IUT（>>4）が順調に進行中で、４月に終わる、それも間違いない
今年IUTの国際会議が４本計画されていて、実施されるだろう。Zoomとか併用かもしれないが。多分、それも間違いない
ここまでは確かだな
99:１３２人目の素数さん
21/01/27 17:46:44.65 a/72/30W.net
あるフィールズ賞受賞の数学者からCor3.12の証明のロジックの問題を指摘されてから、2年以上経過したが、証明に追記がされておらず補完するようなレポートもない
あるウルフ賞数学部門受賞の数学者から、IUTはなぜ誤っているのかについて考えを教えてもらったというツイートがなされた(いつの話かは当然分からないがツイート自体は2020年後半)
この辺りも事実だな
国際会議でCor 3.12がどうなるか気になる
100:１３２人目の素数さん
21/01/27 18:05:50.89 ohsZKtsD.net
ある工学部卒の一般人が、行列の正則性も理解してないことも、紛れもない事実
線型代数の次元定理が分からないのでは、群の準同型定理は分からない
次元定理
URLﾘﾝｸ(ja.wikipedia.org)
同型定理
URLﾘﾝｸ(ja.wikipedia.org)
101:１３２人目の素数さん
21/01/27 22:45:46.31 dnFBedBf.net
>>92
心配ご無用
1．もし、あなたがプロ数学者なら（そんなことは、まずないだろうが）、真剣にIUTに取り組むべしと思うよ
2．もし、あなたがアマなら（多分そうだろうが）、じっくり見ていないさい。これから、世界中にIUTが認められていくよ。Promenade in IUT（>>4）は、ほんの始まりにすぎない
3．あるフィールズ賞受賞前の数学者からCor3.12の証明のロジックの問題を指摘されてから、2年以上経過した。査読は完了し、出版が決定した。査読者は、証明を認めたんだよ。査読者との間では、いろいろやりとりあったろうけど
4．あるウルフ賞数学部門受賞の数学者から、IUTはなぜ誤っているのかについて考えを教えてもらったというなら、それを論文にして出すようにいってや
102:れよ。論文にできないなら、だまってろってなｗ
103:１３２人目の素数さん
21/01/27 23:17:29.75 dnFBedBf.net
>>73
>??【落ちこぼれ限定】おまいら、どこで数学諦めた？??
>ｽﾚﾘﾝｸ(math板)
1．数学って、語学と似ていると思うんだよね。特に理系ではね
2．英語で、TOICとかTOEFLとかのイメージだ
落ちこぼれか否かの、二分法ではなく、もっと細かく点数で分けられるものだと思うんだ
3．いまはやりの将棋（あるいはチェス）でいえば（下記）、レーティングというのがある。将棋プロでR1500くらいが、アマとプロの境目だろうと言われている
その伝でいえば、例えば数学R1500超がプロで、未満はアマってことか
4．英語や将棋と同じで、レーティング低いからどうこうということはない。みんなそれぞれ、得意不得意があるってことでしょ。
5．現代社会の中では、「英語を使って何をするの？」、「数学を使って何をするの？」ってところの方が大事だと思うんだよね
そういう発想ができずに、「数学いのち」と思い込む数学科卒生ｗ。で、プロ数学者になれなかった人の発想が、「（数学）落ちこぼれ」って思考だろう？ｗ
（参考）
URLﾘﾝｸ(www.uuunuuun.com)
将棋フリーソフト レーティング April 15, 2016, by uuunuuun
Bonanza6のレートがR1550くらいで奨励会のトップ、プロ棋士のグループでちょうど中位くらいとなります。
104:１３２人目の素数さん
21/01/27 23:18:23.13 3ZZqFoeC.net
マスコミ的にも世間的にもABC予想の証明は、保留中って感じなんだけど
もう数学の世界では決着ついたの？
どうなん？
105:１３２人目の素数さん
21/01/27 23:20:46.25 dnFBedBf.net
>>96
あなたの身近の人脈で、東大、京大、東工大、阪大の数学科生がいるなら、だれか教授にでも、聞いてもらえ
106:XYZ
21/01/28 06:39:13.19 n/mbM2qC.net
ID:dnFBedBf=雑談？
あいかわらず必死だな
＞プロ数学者なら、真剣にIUTに取り組むべし
数論幾何学者なら、ね
他の分野の人は何言ってんのか分かんないから
あと、IUTに、じゃなく、(IUTによる)ABC予想の証明の正否に、ね
＞あなたがアマなら、じっくり見ていないさい。
あんたもなｗ
＞これから、世界中にIUTが認められていくよ。
なんで何の根拠もなくそう思いたがるのか、気持ち悪い奴だな
誰かが愛国馬鹿っていってたけど、愛国者ってどっか痛々しい
自分の不遇を愛国で埋め合わせしてる感じ
でも自分の不遇に直接向き合ったほうが有意義じゃね？
それって国のせいかもしれないから
＞Promenade in IUTは、ほんの始まりにすぎない
始まってんの？始まってんの？
URLﾘﾝｸ(www.youtube.com)
＞査読は完了し、出版が決定した。
＞査読者は、証明を認めたんだよ。
＞査読者との間では、いろいろやりとりあったろうけど
査読者って誰だろね？
ABC予想の証明が正しいと認めたんなら、アウトプットするよね？
ということで・・・
＞考えを教えてもらったというなら、
＞それを論文にして出すようにいってやれよ。
＞論文にできないなら、だまってろってなｗ
アクセプトしたなら、
その理由を論文にして出すようにいってやれよ
論文にできないなら、アクセプトすんなって！
107:XYZ
21/01/28 06:52:47.63 n/mbM2qC.net
ID:dnFBedBf（=雑談？）曰く
＞数学って、語学と似ていると思うんだよね。
ああ、国語がだめな人は、数学もだめだね 数学だけじゃないけど
＞落ちこぼれか否かの、二分法ではなく、
＞もっと細かく点数で分けられるものだと思うんだ
もしかして「下には下がいる？」っていいたがってる？
＞将棋（あるいはチェス）でいえば、レーティングというのがある。
＞将棋プロでR1500くらいが、アマとプロの境目だろうと言われている
＞その伝でいえば、例えば数学R1500超がプロで、未満はアマってことか
ε-δとか行列の正則性がわかってないって、理系としても失格だけどな
将棋でいったらR500未満か
＞英語や将棋と同じで、レーティング低いからどうこうということはない。
＞みんなそれぞれ、得意不得意があるってことでしょ。
理系なら、まず微分積分学と線型代数の山には登ろうぜ
高尾山とか御岳山も上れてない人がエヴェレストとか無理
あ、関西でいうたら、生駒山か六甲山？
＞現代社会の中では、
＞「英語を使って何をするの？」、
＞「数学を使って何をするの？」
＞ってところの方が大事だと思うんだよね
そういうあんた、いったい仕事でどんな数学使ったの？
＞そういう発想ができずに、「数学いのち」と思い込む数学科卒生ｗ。
＞で、プロ数学者になれなかった人の発想が、
＞「（数学）落ちこぼれ」って思考だろう？ｗ
行列の正則性の条件もわかってないって
数学科以前に理系としても落ちこぼれと思うけどな
そんな奴が会社入って技術者とかいってると思うと頭イタイよな
あんたもそう思うだろ？
108:１３２人目の素数さん
21/01/28 06:58:07.23 3kjiPpWu.net
>>98
＞＞プロ数学者なら、真剣にIUTに取り組むべし
＞数論幾何学者なら、ね
そりゃ、まあデフォルトだわ
IUTによって影響を受けそうなプロ数学者たちってことね
＞あと、IUTに、じゃなく、(IUTによる)ABC予想の証明の正否に、ね
IUTって、新しい数学概念を世に出したわけだ
IUTの影響がどこまで及ぶか
それはこれからの展開次第だが
ひょっとすると、影響はかなり大きいのかもね
109:１３２人目の素数さん
21/01/28 06:59:19.93 3kjiPpWu.net
>>99
＞＞数学って、語学と似ていると思うんだよね。
＞ああ、国語がだめな人は、数学もだめだね 数学だけじゃないけど
と、社会の落ちこぼれ
無職ヒキコモリが申しておりますｗ
110:XYZ
21/01/28 06:59:44.50 n/mbM2qC.net
ID:dnFBedBf（=雑談？）
＞東大、京大、東工大、阪大の数学科生
東大、京大で止めとけばいいのに
わざわざ東工大、阪大って続けるところに
痛々しさを感じるな
あんたこそ、理学部の知り合いに
「望月新一のABC予想の解決ってどうよ？」
って聞いたらいいじゃん
え？工学部と理学部はキャンパス別だから知り合いなんていない？
しょうがないなあ
吹田キャンパス
使用学部：人間科学部、医学部、歯学部、薬学部、工学部
豊中キャンパス
使用学部：文学部、法学部、経済学部、理学部、基礎工学部
111:XYZ
21/01/28 07:07:09.95 n/mbM2qC.net
ID:3kjiPpWu=ID:dnFBedBf=雑談？
＞IUTって、新しい数学概念を世に出したわけだ
その「アタラシイスウガクガイネン」って具体的に何よ？
＞社会の落ちこぼれ、無職ヒキコモリ
それ、あんただろ？雑談よぉ
112:XYZ
21/01/28 07:17:07.19 n/mbM2qC.net
ID:3kjiPpWu(=雑談？)
以下の三つの条件の同値性は理解できたか？
a)ｎ×ｎ行列Aによる線型写像が全単射
b)ｎ×ｎ行列Aのランクがｎ
c)ｎ×ｎ行列Aの行列式が0でない
あと、以下も理解できたか？
行列のランク
＝行列を２つのベクトルのテンソル積の和で表したときの項の数
113:XYZ
21/01/28 07:37:30.72 n/mbM2qC.net
あとこれも追加しとくか
fをSからS'への写像とする
fの連続性に関する以下の3条件が
同値であることは示せるか？
1)S'の任意の開集合O'に対してf^(-1)(O')はSの開集合
2)S'の任意の閉集合A'に対してf^(-1)(A')はSの開集合
3)xをSの任意の点とし、f(x)=x'とする時
x'のS'における任意の近傍V'に対して
f^(-1)はxのSにおける近傍
114:１３２人目の素数さん
21/01/28 07:58:31.34 So+/Z+JV.net
プロの数学者がiutをどう思っているのか知りたいなら
arxivに出たabc予想関連の論文を見てみるといいよ
数年前まではMが解決を主張していることに言及したものもあったけど
ここ最近はみんなガン無視だから
115:１３２人目の素数さん
21/01/28 10:29:02.59 8crOCnCx.net
失った信頼を取り戻す方法！
信用を取り戻すには
1. 謝罪の言葉・反省の気持ち・原因・対策の順で伝える
2. 相手とのコミュニケーションのタイミングを図る
3. 対面・電話・メールなど伝える方法を使い分ける
4.「そこまでしてくれるの！」 と恐縮されるまでやる
5. 信用を取り戻すには時間と労力がかかる
116:１３２人目の素数さん
21/01/28 11:44:30.53 ebENP/JO.net
>>102
＞＞東大、京大、東工大、阪大の数学科生
＞東大、京大で止めとけばいいのに
アカデミック落ちこぼれはこれだからな
おれは、学生に聞けとは言っていない
教官に聞けという
教官：（東大、京大）→（東工大、阪大）
という 射：”→” が存
117:在する ”→”の定義というか、解釈は各人に任せる また、”←”もある。逆戻りみたいなね まあ、東大、京大出身者が多いということを、図式で表現しただけだがね アカデミック落ちこぼれでも、分かりそうに思うが、底辺Fランには分からんかなｗ
118:１３２人目の素数さん
21/01/28 11:45:46.82 ebENP/JO.net
>>106
今年は変わると思うよ
刮目して待て
119:１３２人目の素数さん
21/01/28 12:06:34.13 ebENP/JO.net
>>100
>IUTって、新しい数学概念を世に出したわけだ
>IUTの影響がどこまで及ぶか
>それはこれからの展開次第だが
>ひょっとすると、影響はかなり大きいのかもね
外しているかも知れないが
１．ワイルズ先生のフェルマー予想の解決は、
a^n+b^n=c^n ここに n>=3,、a、b、cは自然数
という式を
y^2=x(x-a)(x+)b という楕円曲線（＝フライ曲線）
に直して考えた。つまり、楕円曲線に直すと、楕円曲線では、そこには豊富な数学理論が既にあり、谷山志村予想に矛盾することが分かっていた。ワイルズ先生は谷山志村の予想を（部分）証明することで、フェルマー予想の解決した
URLﾘﾝｸ(ja.wikipedia.org)
フェルマーの最終定理
２．同じように、ABC予想
a^n+b^n=c^n ここに n=1として,、a、b、cは自然数
という式を
y^2=x(x-a)(x+)b という楕円曲線（＝フライ曲線）
に直して考える。
楕円曲線に直すと、楕円曲線では、そこには豊富な数学理論が既にあり、スピロだとかボイタとかいろいろあるけど、道具が足りない
望月先生は、IUT理論を作った
IUT理論では、例えばCor3.12という評価式がでる
３．IUT理論は、上記１をp進に拡張して、かつ全てのpを渡り、かつp→∞まで考えたんじゃないかな？
p進を全部集めて、ガウス積分の類似を考えて評価して、誤差評価を入れると、「Cor3.12という評価式がでる」って話に聞こえたけどね
そこらは、今年の動きを見ていれば、分かってくると思うよ
で、”Cor3.12”はあくまで一例で
”Cor3.12”を導くバックグラウンドがIUTで
他への応用はこれからでしょう
120:呑んだ暮れ
21/01/28 12:08:07.01 x6epVM9h.net
XYZ?今日はCITY HUNTERの客か
121:１３２人目の素数さん
21/01/28 12:09:06.86 ebENP/JO.net
>>110
訂正
y^2=x(x-a)(x+)b という楕円曲線（＝フライ曲線）
↓
y^2=x(x-a)(x+b) という楕円曲線（＝フライ曲線）
二か所な
分かると思うが（＾＾；
122:１３２人目の素数さん
21/01/28 14:21:45.66 jCkoRHiL.net
謝罪など冗談では無い
絶対にしないし、してはいけない
謝罪しなきゃならないのは勘違いして難癖付けてきたショルツだな
123:１３２人目の素数さん
21/01/28 14:53:58.66 ebENP/JO.net
>>113
同意
ショルツは、（数学だから）謝罪は要らないが、自分の誤りを認めるべき
Lille大の動きとか、どう思っているのか？
小一時間ほど説教をしてやりたい（＾＾
124:１３２人目の素数さん
21/01/28 15:53:34.16 ebENP/JO.net
>>112
違うな
最初の方が
y^2=x(x-a)(x+)b という楕円曲線（＝フライ曲線）
↓
y^2=x(x-a＾ｎ)(x+b＾ｎ) という楕円曲線（＝フライ曲線）
だな（＾＾；
125:XYZ
21/01/28 19:27:51.95 n/mbM2qC.net
>>108
>おれは、学生に聞けとは言っていない
>教官に聞けという
そこ、どうでもいいね
大学にこだわらないなら、大学名を一切書かずに
「数学科生がいるなら、だれか教授にでも、聞いてもらえ」
でいいよね
126:XYZ
21/01/28 19:29:49.01 n/mbM2qC.net
>>110
>外しているかも知れないが
”かも知れない”は不要
>楕円曲線に直すと、
楕円曲線の定義、知ってる？
>そこには豊富な数学理論が既にあり、
豊富な数学理論って具体的に何？一つでいいからあげてみ？
わけもわからず 谷山・志村だ、スピロだ、ヴォイタだ、と人名だけ挙げても無駄だよ
>IUT理論は、・・・p進に拡張して、かつ全てのpを渡り、
>かつp→∞まで考えたんじゃないかな？
p進はまあいいよ 全てのpを渡り、もいいとしよう
で、p→∞って、何？
>p進を全部集めて、ガウス積分の類似を考えて評価して、誤差評価を入れると、
>「Cor3.12という評価式がでる」って話に聞こえたけどね
あんた、全然理解できてないもん無闇に食うと腹壊して下痢するよ
127:XYZ
21/01/28 19:30:39.34 n/mbM2qC.net
>>114
>ショルツは、・・・自分の誤りを認めるべき
ショルツの誤りって何？
ε-δも行列の正則性も分からん人が、
ショルツの誤りなんて見つけられるの？
>小一時間ほど説教をしてやりたい
何説教するの？
ε-δも行列の正則性も分からん人が、
ショルツにどんな数学、説教できるの？
128:XYZ
21/01/28 19:32:21.04 n/mbM2qC.net
ID:ebENP/JOは”Cor3.12”とかいう前に
距離空間における連続写像と、
群・環・加群における準同型写像を
まず理解したほうがいいよ
そこ、数学科以外の理学部・工学部でも基本だから
129:１３２人目の素数さん
21/01/28 22:11:43.04 ColxHSbZ.net
理解してないもん同士の茶番スレwwwwウケるwwww
130:１３２人目の素数さん
21/01/29 07:12:28.61 NLRzW52o.net
>>120
同意だ
なお、コテ入れてないけど、茶番の一人です
まあ、維新さんの"complete idiot "である理由は
「数学に王道なし」のことわざを誤解して、”カタツムリ”式を盲信していることだね
”カタツムリ”式では、維新さんの頭では、IUTには届かんぜよ
さっさと悟れよ、おっさんよｗｗｗ
131:１３２人目の素数さん
21/01/29 07:19:46.79 NLRzW52o.net
>>121
（補足）
純粋にアカデミックポストをゲットしている人は別として
それ以外に社会人として、何かの職について稼ぐには
専門が一つでは間に合わないでしょ
数学以外にも、なにかが必要とされることが多い
逆もある、何か自分の専門があって、数学も必要とされるとかね
そういうときに、”カタツムリ”式の固執する人って、一般社会では「つかえね～！」と言われることが多いだろうね
維新さん、思い当たること多いだろうなｗｗｗ
132:１３２人目の素数さん
21/01/29 08:17:50.61 Q9OtMHs1.net
>>121
誤 同意だ
正 反論できねぇ・・・ぐぬぬ
ID:NLRzW52oは、自分がウサギだと思ってるみたい
「自分が数学を理解できてないのは、まだ本気出してないから」
と思ってるみたい
εδや行列の正則性で本気出せない奴が
楕円曲線やＩＵＴでいきなり本気出せるわけないって
いくら待ってもＩＵＴどころか
微積分も線型代数も理解できないって
さっさと大学一年の教科書から読み直せって（ｗなしのマジ）
133:１３２人目の素数さん
21/01/29 08:21:04.54 Q9OtMHs1.net
>>122
ID:NLRzW52oは、なんかアカデミックポストが好きだね
工学部でもεδや行列の正則性の理解は必須だけど
そんな基本的なことも知らないで出来る技術職って何だろう？
あ、技術職じゃなくて事務職なの？
よかったね！数学と無関係な仕事で（心からの言葉）