20/01/17 07:36:44.64 X/clQYni.net
>>270
゜ 。*゜。゜(。⊃д<)。゜
290:１３２人目の素数さん
20/01/17 07:39:01.47 X/clQYni.net
>>275
むしろ♂だったらもっちと💞だったかも？なのにね。。。？
なんてね～？( °´∀`)ﾋﾄﾐｯﾍﾟ哀れ。。。
291:１３２人目の素数さん
20/01/17 07:42:27.65 X/clQYni.net
妄想トーク終わり～！っと。
292:１３２人目の素数さん
20/01/17 20:30:50 Yr4GLupU.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
293:１３２人目の素数さん
20/01/17 20:31:02 Yr4GLupU.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
294:１３２人目の素数さん
20/01/17 20:32:01 Yr4GLupU.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
295:１３２人目の素数さん
20/01/25 15:21:58.60 wLG+y1WW.net
ヴォイタ予想
ht_{E} ≦ (1+ε)( log-diff_{F} + log-cond_{E}) + constant
IUT
ht_{E} ≦ ( log-diff_{F} + log-cond_{E}) + constant + constant_1 ( log-diff_{F} + log-cond_{E}) ^1/2 + ε + constant_2
296:１３２人目の素数さん
20/02/05 22:48:37.95 j/yQtCJ3.net
今更超時間かけた理論をやめれん気持ちもよくわかるがもうギャップを埋めるのは無理でそ
297:１３２人目の素数さん
20/02/06 23:37:00 9j/YOgyc.net
ギャップがもともと無いとしたら？
298:１３２人目の素数さん
20/02/22 19:24:46 Cjw/8evx.net
強い方の反例反証になるa,b,cの組は見つかりそうですか？
299:１３２人目の素数さん
20/02/23 00:39:37 zsSIBsdb.net
>>284 とっくに本物の天才たちが理解し血肉にして応用や発展がバンバン出てただろうね。
現実あるのは言い訳と陰謀論のみw
300:１３２人目の素数さん
20/02/23 14:52:42 gvCb7XkO.net
”一部の例外的な数学力を持った人達だけが，その状況での研究の最
先端で，後で整理してみると正しいことが厳密に説明できるようになる種類の結論を導いて
ゆく，というパターンが見られることがあります．そのようなとき，最先端で仕事をしてい
る人には何が正しいかについての確固とした直観があって，後から見て大きな間違いと判定
できるようなミスをすることはほとんどないとしても，研究の前線で何が起っているかを見
定めるだけの力のない人には，正しい議論と間違った議論がほとんど区別できない，という
ような混沌とした状況になってしまうことも少なくありません．”
URLﾘﾝｸ(fuchino.ddo.jp)
間違いと真理: 解析学と集合論の場合
渕野 昌
神戸大学大学院システム情報学研究科 May 19, 2019
目 次
1.ライプニッツは間違っていたのか? . . . . . 1
2.初等埋め込みと超準解析 .
301: . . . 4 3.完全性定理の超冪での置き換え . . . 16 4.初等埋め込みと巨大基数 . .. . 19 5.ラインハートは間違っていたのか? . . . 21 数学の歴史を見渡してみると，paradigm shift とか quantum leap などという言 葉でしかよべないような大きな変革の前後では，何が正しいのかが一見して判断できないよ うな状況が生れていて，一部の例外的な数学力を持った人達だけが，その状況での研究の最 先端で，後で整理してみると正しいことが厳密に説明できるようになる種類の結論を導いて ゆく，というパターンが見られることがあります．そのようなとき，最先端で仕事をしてい る人には何が正しいかについての確固とした直観があって，後から見て大きな間違いと判定 できるようなミスをすることはほとんどないとしても，研究の前線で何が起っているかを見 定めるだけの力のない人には，正しい議論と間違った議論がほとんど区別できない，という ような混沌とした状況になってしまうことも少なくありません．このような状況下では，正 しい／間違っている，というような脳天気な二分律が意味を失なってしまうことすらあり得 ます． 近代になってからの数学の歴史でも，何が本当に正しいのかが判然としないような枠組 で，何世紀にもわたって，数学理論の研究が進展してゆくという流れが一度ならず起っています．
302:１３２人目の素数さん
20/02/23 17:58:53 f+nUR9kX.net
>>287
君に問題を出した 解いてみたまえ
ｽﾚﾘﾝｸ(math板:322番)
303:１３２人目の素数さん
20/02/25 13:46:38 xlZ4iTwN.net
URLﾘﾝｸ(kaken.nii.ac.jp)
KAKEN
宇宙際幾何学のさらなる展開
研究代表者
山下 剛 京都大学, 数理解析研究所, 講師 (70444453)
研究分担者 望月 新一 京都大学, 数理解析研究所, 教授 (10243106)
研究期間 (年度) 2015-04-01 ? 2020-03-31
研究課題ステータス 交付 (2018年度)
配分額 *注記
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2019年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2018年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2017年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2016年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
平成30年度は, 以下を実施した：
１、宇宙際幾何学のさらなる発展の礎および国際的に他の研究者への理解の普及として昨年度に執筆完了した宇宙際Teichmuller理論のサーベイの細部の精査と改定を行った。
２、研究分担者の望月は宇宙際Teichmuller理論の発展として有理数体および虚二次体のときの高さ関数の明示的な評価を得ることに成功した。
３、シンガポールで行われた全アジア数論会議2018(PANT2018)において、宇宙際Teichmuller理論について講演した。
４、フランスJussieu数学研究所の数論セミナーにおいて、宇宙際Teichmuller理論について講演した。
５、慶應義塾大学において宇宙際Teichmuller理論の5日間の集中講義を行った。
６、それら講演や集中講義を通じて、いわゆる「id版議論」のような宇宙際Teichmuller理論についての典型的な誤解を把握し、正しい理解を発信した。また、宇宙際幾何学のさらなる発展の模索を行った。
平成30年度は、宇宙際Teichmuller理論の発展としてRiemannゼータに対する宇宙際幾何を、Hodge-Arakelov理論と遠アーベル幾何の両方の側面から模索する。
304:１３２人目の素数さん
20/02/25 20:35:28 9Ip+NlYg.net
>>289
＞ ６、それら講演や集中講義を通じて、いわゆる「id版議論」のような宇宙際Teichmuller理論についての典型的な誤解を把握し、正しい理解を発信した。また、宇宙際幾何学のさらなる発展の模索を行った。
「id版議論」？
それはおいといて、”SS版議論のような 典型的な誤解を把握し”、正しい理解を発信してほしい
今年は、しっかりやってほしい
誤：平成30年度は、宇宙際Teichmuller理論の発展としてRiemannゼータに対する宇宙際幾何を、Hodge-Arakelov理論と遠アーベル幾何の両方の側面から模索する。
正：平成31年度は、宇宙際Teichmuller理論の発展としてRiemannゼータに対する宇宙際幾何を、Hodge-Arakelov理論と遠アーベル幾何の両方の正面から模索する。
「背面から模索する」かな？
どうでも良いけど、”Riemannゼータに対する宇宙際幾何”頼むよ
305:１３２人目の素数さん
20/02/27 20:40:31 DAYCcAPO.net
望月先生
フィールズ賞は、年齢制限でだめだが、アーベル賞はまだ可能
URLﾘﾝｸ(ja.wikipedia.org)
キャレン・アーレンベック
2019年 アーベル賞[1]
[1] URLﾘﾝｸ(www.cnn.co.jp)
306:65.html ^ “「数学のノーベル賞」にアーレンベック氏、女性の受賞は史上初” (日本語). CNN.co.jp (2019年3月20日). 2019年3月20日閲覧。
307:１３２人目の素数さん
20/03/21 22:08:31 gPebnXHG.net
>>1
>宇宙際 Teichmuller 理論入門 PDF (November 2015) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
>続・宇宙際 Teichmuller 理論入門 PDF (April 2016) URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
リンク切れ
貼り直し
謝辞に、焼き肉の話がないな（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
星 裕一郎 の ホームページ
論文
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
続 ? 宇宙際 Teichmuller 理論入門
RIMS Kokyuroku Bessatsu B72 (2018), 209-307.
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
宇宙際 Teichmuller 理論入門
RIMS Kokyuroku Bessatsu B76 (2019), 79-183.
謝辞 本稿執筆時に限らずこれまで宇宙際 Teichm¨uller 理論に関する無数の議論にお
付き合いくださった望月新一先生に感謝申し上げます. また, 2013 年度に合計 100 時間
以上にも及ぶセミナーで宇宙際 Teichm¨uller 理論について説明してくださった山下剛先生
に, そして, そのセミナーを共に乗り切りそこでの数々の議論にお付き合いくださった玉
川安騎男先生, 松本眞先生に感謝申し上げます. そして, 本稿に対していくつもの有益な
指摘をくださった安田正大先生と査読者の方に感謝申し上げます.
本稿の §1 から §3 までの部分は 2015 年 3 月に京都大学数理解析研究所で行われた
研究集会 “宇宙際タイヒミューラー理論の検証と更なる発展” での筆者による講演 “数体
の単遠アーベル的復元” の内容の一部をまとめて更に説明を付け加えたものであり, そし
て, 本稿の §1 から §8 までの内容をもとに 2015 年 6 月に九州大学の数論幾何学セミナー
において “宇宙際 Teichm¨uller 理論入門” という題目の講演を行いました. これら講演の
機会を与えてくださった望月新一先生, 田口雄一郎先生にお礼申し上げます.
308:１３２人目の素数さん
20/03/22 21:19:12 L2IFdPiJ.net
何の進展もなくてワロタ
309:１３２人目の素数さん
20/03/22 22:53:25 TMbOZsnt.net
そう焦らなくても
5月はもうすぐだよ
310:１３２人目の素数さん
20/03/23 01:24:39.74 P71wIhc7.net
5月は外国人は来られないだろ
6月もまず無理だからいきなりサミット
311:１３２人目の素数さん
20/03/23 02:10:20 cr94ZjAx.net
桜の咲く頃のアクセプトはなかったか。
さくら花 散りぬる風の なごりには
水なき空に 波ぞ立ちける
312:１３２人目の素数さん
20/03/23 07:10:38 8hlHRLPg.net
どうするんだろうね
しかし、5月国際会議への招待者とかは
当然プレゼン用の資料とか作っているはずで
事務方は、アブストラクトくらいは集めているはず
テレワークの国際会議もありかも
313:１３２人目の素数さん
20/03/23 07:12:50 8hlHRLPg.net
４回の国際会議があって
IUT論文受理か
あるいはリジェクトか
どちらかにするんじゃないですか？
４回の国際会議の後でも中ぶらりんとか
考えにくい
314:１３２人目の素数さん
20/03/28 18:23:32 MRwZqC/h.net
メモ
URLﾘﾝｸ(arxiv.org)
On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi 20200305
(抜�
315:�) P61 26 Perfectoid algebraic geometry as an example of anabelomorphy A detailed treatment of assertions of this section will be provided in [DJ] where we establish many results in parallel with classical anabelian geometry. In particular this suggests that the filtered absolute Galois group of a perfectoid field of characteristic zero has non-trivial outer automorphisms which does not respect the ring structure of K. This is the perfectoid analog of the fact that the absolute Galois group GK of a p-adic field K has autormorphisms which do not preserve the ring structure of K. Now let me explain that the main theorem of [Sch12b] provides the perfectoid analog of anabelomorphy (in all dimensions). Suppose that K is a complete perfectoid field of characteristic zero. Let X/K be a perfectoid variety over K, which I assume to be reasonable, to avoid inane pathologies. Let π1(X/K) be its ´etale site. Let Xb/Kb be its tilt. Then the main theorem of [Sch12b] asserts that Theorem 26.1. The tilting functor provides an equivalence of categories π1(X/K) → π1(Xb/Kb). If L is any untilt of Kb and Y/L is any perfectoid variety with tilt Yb/Lb ? Xb/Kb. Then one has π1(X/K) ? π1(Y/L) and in particular X/K and Y/L are perfectoid anabelomorphs of each other. In particular one says that X/K and Y/L are anabelomorphic perfectoid varieties over anabelomorphic perfectoid fields K ←→ L. Thus one can envisage proving theorems about X/K by picking an anabelomorphic variety in the anabelomorphism class which is better adapted to the properties (of X/K) which one wishes to study. In some sense Scholze’s proof of the weight monodromy conjecture does precisely this: Scholze replaces the original hypersurface by a (perfectoid) nabelomorphic hypersurface for which the conjecture can be established by other means.
316:１３２人目の素数さん
20/03/28 21:02:30 MRwZqC/h.net
>>299 補足
>URLﾘﾝｸ(arxiv.org)
>On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi 20200305
> 26 Perfectoid algebraic geometry as an example of anabelomorphy
>A detailed treatment of assertions of this section will be provided in [DJ] where we establish many results in parallel with classical anabelian geometry.
>In some sense Scholze’s proof of the weight monodromy conjecture does precisely this: Scholze replaces the original hypersurface by a (perfectoid) nabelomorphic hypersurface for which the conjecture can be established by other means.
＜References＞
[DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.
この Kirti Joshi の議論が正しいとすると
水と油、犬猿の仲と思われた PerfectoidとIUTとか
Anabelomorphyによって
関連がつくということ
この Kirti Joshi の議論が正しいとすると
今年の国際会議では、Anabelomorphyが
台風の目というか、議論の中心になるかも
317:１３２人目の素数さん
20/03/28 22:22:49 MRwZqC/h.net
>>300 補足
・昨年までは、SSから「IUTなんて、だめだめ。おいらの、Perfectoidがサイコー！」
・モッチとホシ「なに言ってるんだ」
と言い合っていて、決着付かない状態だった
しかし、”[DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.”が正しいとして
IUTから抽出された anabelomorphyという概念で
IUTとPerfectoidとの間に関連が付くとしたら
これで、IUTに決着が付くかもね
318:１３２人目の素数さん
20/03/29 13:27:53 PhmwLbdr.net
メモ
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Ivan Fesenko
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Activities
Young researchers
Arata Minamide
Wojtek Porowski
Arata Minamide (RIMS) stays in April-Septe
319:mber 2019 https://events.goettingen-campus.de/event?eventId=20836 MathematischeGesellschaft From Teichmuller to Mochizuki: arithmetic-anabelian IUT, its effective version and applications 23.1.2020, 16:15 - 17:15 Speaker: Prof. Ivan Fesenko, Mathematical Sciences, University of Nottingham Location: Mathematisches Institut, Bunsenstr 3-5 Sitzungszimmer https://inference-review.com/article/fukugen [L2] Fukugen, Inference: International Review of Science 2 no. 3 (2016) page Ivan Fesenko
320:１３２人目の素数さん
20/03/29 13:30:47 PhmwLbdr.net
>>302 補足
(引用開始)
URLﾘﾝｸ(events.goettingen-campus.de)
MathematischeGesellschaft
From Teichmuller to Mochizuki: arithmetic-anabelian IUT, its effective version and applications
23.1.2020, 16:15 - 17:15
Speaker:
Prof. Ivan Fesenko, Mathematical Sciences, University of Nottingham
Location:
Mathematisches Institut, Bunsenstr 3-5
Sitzungszimmer
↑補足
Talk on the work of 5 coauthors on IUT at residue even characteristic, explicit estimates in IUT and applications: Gottingen, January 23 2020
321:１３２人目の素数さん
20/03/29 13:36:36 PhmwLbdr.net
>>303
＞Talk on the work of 5 coauthors on IUT at residue even characteristic, explicit estimates in IUT and applications: Gottingen, January 23 2020
これ、今年の国際会議では、ちゃんとした論文出てくるんだろうな？
322:１３２人目の素数さん
20/03/29 20:24:36.02 PhmwLbdr.net
メモ
URLﾘﾝｸ(arxiv.org)
On Landau-Siegel zeros and heights of singular moduli Christian Tafula 8 Jan 2020
(抜粋)
Remark 5.3. See also Remark 2.2.3 of Mochizuki [18], in which it is explained that
the calculations of Corollary 2.2 (ii), (iii) of IUT IV [18] can be regarded as a sort
of “weak” version of uniform abc. Unfortunately, such version is much weaker than
the O-weak U-abc in Conjecture 5.1 (i), and thus, in principle, one is not able to
deduce “no Siegel zeros” from Corollary 2.2 of [18] using the same methods from
Granville?Stark [10].
Acknowledgements
I would like to express my deep gratitude to Professor Shinichi Mochizuki and
Professor Go Yamashita,
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Christian Tafula
京都大学数理解析研究所 (RIMS)
Kyoto University, 606-8502
Kyoto, Japan
Master's student (M2)
Advisor: Shinichi Mochizuki
Hi there! I am currently a Master's student (M2) at Kyoto University, Japan. I am mostly interested in all things Number Theory, from Algebra to Combinatorics. Currently I am studying Algebraic and Arithmetic Geometry related topics.
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
In mathematics, more specifically in the field of analytic number theory, a Siegel zero, named after Carl Ludwig Siegel, is a type of potential counterexample to the generalized Riemann hypothesis, on the zeroes of Dirichlet L-function.
Contents
1 Definition
1.1 Immediate consequence
2 History
3 Importance
Importance
The importance of the possible Siegel zeroes is seen in all known results on the zero-free regions of L-functions: they show a kind of 'indentation' near s = 1, while otherwise generally resembling that for the Riemann zeta function ? that is, they are to the left of the line Re(s) = 1, and asymptotic to it.
323:１３２人目の素数さん
20/03/30 20:48:40 BDQGXRW7.net
>>305
＞On Landau-Siegel zeros and heights of singular moduli Christian Tafula 8 Jan 2020
下記のジーゲル零点（英
324:語版）と同じかな？ https://arxiv.org/pdf/1911.07215.pdf ON LANDAU?SIEGEL ZEROS AND HEIGHTS OF SINGULAR MODULI CHRISTIAN TAFULA Abstract. Based on the work of Granville?Stark [10] 10. A. Granville and H. M. Stark, ABC implies no “Siegel zeros” for L-functions of characters with negative discriminant, Invent. Math. 139 (2000), 509?523. だから、同じだな 下記、”有理整数を扱うabc予想に加えて、代数体上の一様な abc予想を用いる”と ある点が、IUTではまだ足りない？ （＾＾； （参考） https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 ABC予想 (抜粋) 得られる結果の例 abc予想を真だと仮定すると多数の系が得られる。 その中には既に知られている結果もあれば（予想の提出後に予想とは独立に証明されたものもある）、部分的証明となるものもある。 ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がジーゲル零点（英語版）を持たないこと （正確には、このためには上で紹介している有理整数を扱うabc予想に加えて、代数体上の一様な abc予想を用いる。）(Granville & Stark 2000)。 https://dms.umontreal.ca/~andrew/PDF/NoSiegelfinal.pdf Granville, Andrew; Stark, H. (2000). “ABC implies no "Siegel zeros" for L-functions of characters with negative exponent”. Inventiones Mathematicae 139: 509?523. https://en.wikipedia.org/wiki/Abc_conjecture abc conjecture （英語版） Some consequences The L-function L(s, χd) formed with the Legendre symbol, has no Siegel zero, given a uniform version of the abc conjecture in number fields, not just the abc conjecture as formulated above for rational integers.[9]
325:１３２人目の素数さん
20/03/31 05:41:14 A/cej3s7.net
anabeloidの話はiutと無関係は言い過ぎにしても相当前の話で
そこに齟齬がないなんてのは皆認めているところでjoshiの話
でiut万歳なんておめでたいミスリーティングもいいところ
326:１３２人目の素数さん
20/03/31 07:37:12.97 zp6RcyFj.net
>>307
>anabeloidの話はiutと無関係は言い過ぎにしても相当前の話で
>そこに齟齬がないなんてのは皆認めているところでjoshiの話
>でiut万歳なんておめでたいミスリーティングもいいところ
ああ、そうなん？
１）正確には、anabeloid ではなく、”anabelomorphy”ですよね、joshiの話
２）”anabeloidの話 ・・ 齟齬がない”は、SSの指摘して3.12より前の話だからってことかな？
（SSの指摘は、3.12についてであって 3.12以降がだめだと）
３）”anabelomorphy”が、世に公表されたのは、今年3月で良いよね（念押し）
４）なので、>>300の ＜References＞ [DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.
が、プレプリントで出てくれば、もっとはっきりすると思うけど
（参考：下記は、数学の説明というよりは、命名法の説明みたいだが、貼っておきます）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)'anabelioid'%20and%20'Frobenioid'.pdf
ON THE TERMS “ANABELIOID” AND “FROBENIOID”
Shinichi Mochizuki
September 2015
(抜粋)
The purpose of this brief note is to state my position with regard to certain
morphological issues that have been raised by various people concerning the terms
“anabelioid” and “Frobenioid” that appear in some of my papers.
(1.) The first main point that I would like to make is the fol
327:lowing: (P1) Unlike mathematics, the process of determination of “correct final answers” with regard to issues of morphology in a language is far from being an “exact science”.
328:１３２人目の素数さん
20/04/01 07:29:23.59 RqQA8SNl.net
>>308 訂正
２）”anabeloidの話 ・・ 齟齬がない”は、SSの指摘して3.12より前の話だからってことかな？
↓
２）”anabeloidの話 ・・ 齟齬がない”は、SSの指摘では 3.12より前の話だからってことかな？
分かると思うが（＾＾；
329:１３２人目の素数さん
20/04/01 12:02:43 JWk3T0TK.net
まあ誤解の原因もわかったことだし今年で証明完了にはなりそう
330:１３２人目の素数さん
20/04/01 13:24:19 hrrhEvXG.net
>>21
＞ここをオカルトＯＫの隔離スレと思っていいんですよね
スレ立て人の>>1です
なんでも良いよ
５Chは自由だ
331:１３２人目の素数さん
20/04/01 13:42:54 hrrhEvXG.net
>>310
>まあ誤解の原因もわかったことだし今年で証明完了にはなりそう
そう願っているし
そう予想しています（＾＾；
332:１３２人目の素数さん
20/04/03 14:51:46 Yh6x1/KX.net
ニュー速とかで査読完了で証明が認められたとか騒いでるが、どういうこっちゃ
333:１３２人目の素数さん
20/04/03 14:53:13 eln2Kr6c.net
転載します
（個人的予想では、年内で、４つの国際会議後と思っていたんだが （＾＾； ）
望月先生、おめでとうございます！
（参考）
Inter-universal geometry と ABC 予想 45
ｽﾚﾘﾝｸ(math板:600番)-
600 名前：１３２人目の素数さん[] 投稿日：2020/04/03(金) 14:06:58.81 ID:VZgBaT0t
掲載おめ！
601 名前：１３２人目の素数さん[sage] 投稿日：2020/04/03(金) 14:08:58.11 ID:VZgBaT0t
未解明だった数学の超難問「ABC予想」を証明 京大の望月教授 斬新・難解で査読に8年
毎日新聞 2020年4月3日
URLﾘﾝｸ(mainichi.jp)
612 名前：１３２人目の素数さん[sage] 投稿日：2020/04/03(金) 14:31:56.42 ID:Giqrz/Jd
PRIMSの編集委員長は望月教授だが、同研究所の柏原正樹教授と玉川安騎男教授が共同編集委員長となり、望月教授を除いた特別編集委員会をつくって今回の論文を審査した
望月教授は発表したコメントで、証明の難しさについて「既存の数学理論と難しさの種類が違うことはあると思う」と説明。専門の研究者にとっても「まったく違う枠組みの議論につまずいてしまうことも起こり得る」とした
URLﾘﾝｸ(headlines.yahoo.co.jp)
621 名前：１３２人目の素数さん[sage] 投稿日：2020/04/03(金) 14:36:35.26 ID:Giqrz/Jd
公私にわたり親交の深い加藤文元・東京工業大教授（数論幾何学）は「普段は気さくで『普通』の人
ただし、特に数学に関しては、物事を非常に深く見つめ考える天賦の才能を持った人」と評する
「（望月教授が提唱し、ABC予想を証明した）IUT（宇宙際タイヒミューラー）理論は、数学界の『革命』と言っていい。ノーベル賞が何個あっても足らないほどの成果だ」とたたえた
英ノッティンガム大のイワン・フェセンコ教授（純粋数学）の話
宇宙際タイヒミューラー（IUT）理論は全く新しい視点と、整数の足し算とかけ算の関係についての深い理解に根差している
今世紀、数学界で得られたいかなる業績より数段上の成果だ。それが日本から生まれたことはすばらしい。この成果は何百年後にも記憶され続けるだろう
URLﾘﾝｸ(mainichi.jp)
334:１３２人目の素数さん
20/04/03 15:07:23 rWKnUwBP.net
RIMSの論文誌に出るというのは、１年ぐらい前から言われてたことで、
何も状況は変わってないだろ
ヤフーに出てたので、見たら、論文誌もうちわのRIMSのもの
335:１３２人目の素数さん
20/04/03 15:08:57 rWKnUwBP.net
地元の京都新聞だから、仕方ないか
336:１３２人目の素数さん
20/04/03 15:13:49 T9LL5uR7.net
こんな時期にアクセプトおめ
今から何がはじまるの？
337:315、316
20/04/03 15:17:21 rWKnUwBP.net
URLﾘﾝｸ(mainichi.jp)
＞京大によると、論文は同所が編集し、欧州数学会が発行する専門誌「PRIMS」
＞（ピーリムズ）に2月5日付で受理された。
＞今後、特別号に掲載される予定。望月教授はPRIMSの編集委員長だが、
＞今回は除外され、特別編集委員会を設置して論文を審査した。
そうか・・・、今回は認められたとみなしてそさそうだな
338:１３２人目の素数さん
20/04/03 15:23:30 2+kSoh4K.net
yahooのトップニュースになってました
339:１３２人目の素数さん
20/04/03 15:23:56 T9LL5uR7.net
マスジンが俺のオタクアカウントのタイムラインにまで凱旋してきた
340:１３２人目の素数さん
20/04/03 15:27:11 C+sgG4g4.net
>>318
そさそうだな
341:１３２人目の素数さん
20/04/03 15:38:31 H88rtKKW.net
数学の超難問「ABC予想」を証明した京都大の望月新一教授（51）は、米国の名門大を飛び級で卒業し、
32歳の若さで京都大教授になった異例の経歴の持ち主だ。研究者仲間からは「独創的」との評判も聞かれる
一方、アイドルの曲にのめり込む一面もある。
望月さんは1969年、日本人の父と米国人の母の間に生まれ、幼少期は妹と共に東京で育った。
父の仕事の関係で5歳で渡米し、以来計18年間を米国で過ごした。
ジャーナリストの多賀幹子さんは、米国在住中の80年代、望月さんの母親にニューヨーク郊外の
自宅に度々招かれた。望月さんが名門校フィリップス・エクセター・アカデミー在学中の15歳の頃だ。
「しんちゃん」と母親から呼ばれていた望月さんは、時間を惜しむように勉強し、哲学者のような
雰囲気だったといい、多賀さんは「物ごとを見通すような聡明（そうめい）さと、優しいまなざしを
持っていました」と振り返る。
この頃、多賀さんが望月さんの母親に取材して書いた雑誌の記事が残っている。
れによると、小さい頃の望月さんは縄跳びが苦手な「ぶきっちょサン」だった。
米国では空手を習い、日本の科学雑誌「ニュートン」を定期購読するほど科学好きだったという。
URLﾘﾝｸ(www.asahicom.jp)
ABC予想証明の教授、ブログも独創的 「欅坂に興奮」：朝日新聞デジタル
URLﾘﾝｸ(www.asahi.com)
342:１３２人目の素数さん
20/04/03 15:40:18 9GKQXTrD.net
そうかとうとう来たか
343:１３２人目の素数さん
20/04/03 15:40:55 /ONMuoYW.net
:::::::: ┌──────── ┐
:::::::: ｜ またABC予想が「そさそうだな」… │
::::: ┌──└──────ｖ──┬┘
::::: ｜フフフ…奴は「そさそうだな」の中でも最弱 … │
┌─└────ｖ─┬────┘
｜ ABC予想ごときに負けるとは │
｜ 「そさそうだな」の面汚しよ │
└──ｖ────┘
|ﾐ, ／ ｀ヽ /! ,.─､
|彡/二Oニニ|ノ /三三三!, |!
`,' ＼､､＿,|/-ｬ ト `=j r=ﾚ /ミ !�
344:c T 爪| / /￣|/´＿_,ｬ |`三三‐/ |`=､|,='| /人 ヽ ミ='／|`:::::::/ｲ＿_ ト｀ー く＿＿,-, ､ _!_ / / `ー─'" |_,.イ､ | |/､ Y /| | | j / ﾐ`┴'彡＼ ○○ ○○ ○○
345:１３２人目の素数さん
20/04/03 16:05:03.81 fvUMpO0f.net
あーあ、しーらねー
346:１３２人目の素数さん
20/04/03 16:22:43 zTmBIixk.net
望月下げして証明だけで無く人格批判してた奴らは謝れよ！別に国とか日本とかの
ナショナリズムじゃなくて望月教授個人に謝るのが道理だよな。結果は正式に査読が通り認められて完全に負けたんだからよ。
負けた事すら認めないチキンなら別にしょーが無いけどね！元々負け犬なんだろうｗ
347:１３２人目の素数さん
20/04/03 16:45:49 vFtbHbwz.net
またおばちゃんが吠えてんのか
348:１３２人目の素数さん
20/04/03 17:50:11 yJDSqAfs.net
分元の本のアマラン40位まであがっとるわ
349:１３２人目の素数さん
20/04/03 20:53:53 DyKRdYgC.net
こっちにも貼っておくね
URLﾘﾝｸ(www3.nhk.or.jp)
NHK
関西 NEWS WEB
難問ＡＢＣ予想 京大教授が証明 04月03日 16時18分
(抜粋)
複数の研究者が審査する数学専門の科学雑誌に掲載されることになったことから、３日、京都大学が会見を開き、望月教授がＡＢＣ予想を証明したと発表しました。
会見に出席した数理解析研究所の教授は、「証明したことに間違いがないと言って構わない。ＡＢＣ予想は根本的な問題で、証明できたことは非常に大きなインパクトがある」と話しました。
この分野を専門とする東京工業大学の加藤文元 教授は「非常に独創的な新しい論文で何百年に一回の数学の歴史に残る成果だ」と評価しています。
350:１３２人目の素数さん
20/04/03 21:01:26 DyKRdYgC.net
>>328
>分元の本のアマラン40位まであがっとるわ
いま、23位までアップだね
アマゾン/gp/bestsellers/books
売れ筋ランキング
Amazon.co.jpの売れ筋ランキング。ランキングは1時間ごとに更新されます。
23
宇宙と宇宙をつなぐ数学 IUT理論の衝撃
加藤 文元
5つ星のうち 4.2 63
単行本
￥1,760
351:１３２人目の素数さん
20/04/03 21:06:58 HyrPrV7K.net
タオやショルツはabc予想解決するためだけの理論で他が何も導かれそうにない糞理論と断罪し、しかも間違ってると言ってるがどうなんだ？
352:１３２人目の素数さん
20/04/03 21:08:44 DyKRdYgC.net
メモ貼る
URLﾘﾝｸ(twitter.com)
math_jin
@math_jin
52分
毎日新聞には京大の出した詳しい報道発表資料(なんと8ページ！)全文掲載されています。
#ABC予想証明・望月ABC定理誕生
#IUTABC #abc予想 #宇宙と宇宙をつなぐ数学 #IUT理論 #宇宙際タイヒミューラー理論 #望月新一
URLﾘﾝｸ(mainichi.jp)
未解明だった数学の超難問「ABC予想」を証明 京大の望月教授 斬新・難解で査読に8年 毎日新聞
1枚目/13枚中
2020年4月3日 14時00分(最終更新 4月3日 14時29分)
(deleted an unsolicited ad)
353:１３２人目の素数さん
20/04/03 21:15:10 DyKRdYgC.net
>>331
＞タオやショルツはabc予想解決するためだけの理論で他が何も導かれそうにない糞理論と断罪し、しかも間違ってると言ってるがどうなんだ？
それは、下記のnatureの記事が参考になると思う
ショルツ："変わっていない
Inter-universal geometry と ABC 予想 45
ｽﾚﾘﾝｸ(math板:657番)-663
657 名前：１３２人目の素数さん[sage] 投稿日：2020/04/03(金) 14:56:57.62 ID:Giqrz/Jd [5/13]
最新の発表では、多くの研究者が望月氏の陣営に移ることはなさそうだ。
"カリフォルニア大学サンディエゴ校の数論家であるキラン・ケドラヤ氏は言う。
「2018年以降、コミュニティの意見に大きな変化はなかったと言ってもいいと思います」。
もう一人の数学者、カリフォルニア大学バークレー校のエドワード・フレンケル氏は、
"新しい情報が出てくるかもしれないので、実際に公開されるまでは判断を保留する "と述べている。"
URLﾘﾝｸ(www.nature.com)
663 名前：１３２人目の素数さん[sage] 投稿日：2020/04/03(金) 15:02:41.58 ID:Giqrz/Jd [6/13]
>>657
しかし、今回の論文が正式に受理されたことで、このスタンスが変わることはなさそうだ。
"私の判断は、ヤコブ・スティックスと一緒にその原稿を書いて以来、何ら変わっていない "と、
Scholze氏はEメールでNatureに語っている（別のEメールでは、スティックス氏は、この論文が正式に受理された時点で、この問題は解決したと考えている）。
(別の電子メールでは、Stix氏はコメントの要求を拒否している)。
発表される予定の論文に、
Scholze氏とStix氏の懸念事項に対応するための大幅な修正が含まれているかどうかはまだ不明である。
もしジャーナルの編集者が「これらの批判を振り払って」、大幅な修正をせずに論文を発表したとしたら、
編集者と望月自身に悪い影響を与えるだろうと、RIMSの代わりにジャーナルを発行している欧州数学会（EMS）の会長である
Volker Mehrmann氏は言う。(EMSはジャーナルの内容を編集する権限を持たず、ネイチャー誌に連絡を取るまで、
望月氏は今回の発表を知らなかった、とメアマン氏は言う)。
www.DeepL.com/Translator（無料版）で翻訳しました。
354:１３２人目の素数さん
20/04/03 21:25:21 DyKRdYgC.net
>>333 補足
タオについては、今回の発表以前（以前と言っても、SSとの討論が2018年でそれよりずっと前だったと思うが）
「abc予想解決するためだけの理論で他が何も導かれそうにない理論」なのは、奇異で、不成立じゃね？ と言ったと記憶しているが
（だから、あまり詳しく読んだ判断というよりも、外野から見ての評論でしょ）
今回のプレス発表後のコメントは、見ていない
なお、ショルツとスティックス氏（SS）の2018年の議論は
まさに内野からの議論で
IUT 論文IIIの3.12の定理の証明がおかしいということだった
SSに対して、望月側は
それはSSの間違いだと反論したが
反論に対するSS側の回答無しで今年まで来たってことです
（参考）
＜SSの議論の資料＞
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
IUT 望月新一 過去と現在の研究
・2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
（および関連文書）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
355:１３２人目の素数さん
20/04/03 22:23:57 JBj8bcbK.net
>>331
その言いようもおかしいな
問題は正しいのか間違ってるのか「だけ」だ
他に利用価値のない正しい理論なんてものが
存在するかよアホ
356:１３２人目の素数さん
20/04/03 22:29:23 DyKRdYgC.net
>>333
追加メモ貼る
URLﾘﾝｸ(www.nature.com)
naturenewsarticle
NEWS 03 APRIL 2020
UPDATE 03 APRIL 2020
Mathematical proof that rocked number theory will be published
But some experts say author Shinichi Mochizuki failed to fix fatal flaw in solution of major arithmetics problem.
Davide Castelvecchi
Additional reporting by David Cyranoski.
UPDATES & CORRECTIONS
Update 03 April 2020: This story has been updated to include comments from Kashiwara and Tama
357:gawa at a press conference in Kyoto. (抜粋) Kashiwara said that Mochizuki had recused himself from the review process, and had not attended any of the editorial board meetings about the paper. The journal has previously published papers from other members of the journals’ editorial board, he said. Mochizuki's paper was accepted on 5 February, but a publication date has not been decided. “This is a very long manuscript, and will be a special issue so cannot say how long it will take,” said Kashiwara. In the world of mathematics, a journal’s seal of approval is often not the end of the peer-review process. An important result only truly becomes an accepted theorem after the community has reached a consensus that it is correct, and this can go on for years after a paper’s official publication. “In spite of all the difficulties over the years, I still think it would be great if Mochizuki's ideas turned out to be correct,” says Minhyong Kim, a mathematician at the University of Oxford, UK.
358:１３２人目の素数さん
20/04/03 22:34:28 DyKRdYgC.net
>>335
>問題は正しいのか間違ってるのか「だけ」だ
>他に利用価値のない正しい理論なんてものが
>存在するかよ
まあ、そうでしょう
というか、>>331のテレンスタオの発言は
随分前の話で、「IUTが読めない」という流れの中で
テレンスタオ自身も、多分「おれもしっかり読んだわけじゃないけど」というニュアンスで
（しっかり読んでないけど）「正しい理論なら、もっといろいろ他の結果が得られていいんじゃない？」
みたいな発言だと思った
なので、論文をしっかり精査した結果の批判とは
ちょっとニュアンス違うと思ったよ
359:１３２人目の素数さん
20/04/03 22:45:50 DyKRdYgC.net
>>336 補足
・この”naturenewsarticle”は、日本駐在の特派員が、RIMSのプレス発表会場の取材みたい
だから、記事中で”At the press conference, Tamagawa said the solution itself had not changed in response to Scholze and Stix's criticism. There are some comments about it that will also be published in the manuscript, but no fundamental change, said Tamagawa.”
と書かれている。”At the press conference”が、RIMSのプレス発表の場ですね
・で、”nature”の記者のスタンスは、SSとの対立が解消されていないのに、なんで？ ということでしょ
・その説明責任は、やっぱRIMSが果たさないと
・もちろん、プレスの記者に説明し、数学を理解させるのは無理としても、多くのプロ数学者に対する説明責任を果たすべき
”If the editors of the journal “waved away these criticisms” and published the paper without major revisions, it would reflect badly on them and on Mochizuki himself, says Volker Mehrmann, the president of the European Mathematical Society (EMS), which publishes the journal on behalf of RIMS.
(The EMS has no editorial control over the journal's content, Mehrmann says, and he was unaware of the upcoming announcement until contacted by Nature.)”
みたいな批判には、ちゃんんと説明すべきと思う
360:１３２人目の素数さん
20/04/03 23:01:36 BDCn9dZz.net
ABC予想から数論のすごい予想がざくざくでることも知らないのか
Frey curveとかBelyi mapとか初歩から勉強したら
361:１３２人目の素数さん
20/04/03 23:11:27 mgebV0rK.net
>322
URLﾘﾝｸ(dot.asahi.com)
AERA_dot.
「任意の正数ε」ですね
362:１３２人目の素数さん
20/04/03 23:18:37 e8amgxKq.net
ABC予想が本当に証明出来てるなら何か発明品が出てくるだろ
原始人は暗号を理解できないけどネットの暗号通信とかは作れるわけで
全く理屈が分からないがなぜか完璧に動く、オーパーツみたいな扱いになるだろう
363:１３２人目の素数さん
20/04/03 23:46:16.32 DyKRdYgC.net
フェセンコ教授：「今世紀、数学界で得られたいかなる業績より数段上の成果だ」
は、ショルツを意識した発言で、彼より望月が上だと言いたいのでしょうね（＾＾；
URLﾘﾝｸ(mainichi.jp)
未解明だった数学の超難問「ABC予想」を証明 京大の望月教授 斬新・難解で査読に8年
毎日新聞2020年4月3日 14時00分(最終更新 4月3日 23時25分)
英ノッティンガム大のイワン・フェセンコ教授（純粋数学）の話
宇宙際タイヒミューラー（IUT）理論は全く新しい視点と、整数の足し算とかけ算の関係についての深い理解に根差している。今世紀、数学界で得られたいかなる業績より数段上の成果だ。それが日本から生まれたことはすばらしい。この成果は何百年後にも記憶され続けるだろう。
364:１３２人目の素数さん
20/04/03 23:47:13.01 DyKRdYgC.net
>>341
＞ABC予想が本当に証明出来てるなら何か発明品が出てくるだろ
それは出てくるよ
今年の国際会議でね
365:１３２人目の素数さん
20/04/03 23:59:42 rWKnUwBP.net
お母さんは、白系アメリカ人だな
写真も出てる
366:１３２人目の素数さん
20/04/04 00:01:08 eMU60X07.net
フェンセンコは完全に理解したんだな
367:１３２人目の素数さん
20/04/04 00:05:18 teP4ZMIJ.net
ヨーロッパの若手の数学者に突っ込まれて「いや見りゃわかるやろ」みたいな返事した
らしいけどそれどうなったんだ
重要な訂正を行ったらしいけどその部分を訂正したってことか？
ニュースで見たけど自分のところの雑誌に載せとるしこれ本当に正しいんか？査読したのは身内だろ？
368:１３２人目の素数さん
20/04/04 05:02:18.37 0k14nTiP.net
ハッキリ言えるのはタオやショルツがIUTを理解していなかったのと、悔し紛れに批判すらしていた人間的に三流の人物だってこと
369:１３２人目の素数さん
20/04/04 08:19:57.22 5QQbNKsB.net
タオの批判(というか疑義みたいなものだと思ったが)は別にアクセプトされたからと言って否定されるものではないでしょ
370:１３２人目の素数さん
20/04/04 08:33:02.06 t13u2EPI.net
転載
Inter-universal geometry と ABC 予想 45
ｽﾚﾘﾝｸ(math板:914番)-915
914 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 03:19:41.90 ID:L4HeMhZI
Woitが早速更新しているわけだが、これ個人的に聴くところでは西海岸の数論幾何学者でも似たような
感想らしい。実はIUTを読んでる人は海外にも意外に多いんだけど、勿論理解できてないし納得してもいない
後はタオの感想が楽しみだな。まあ刺激的な発言はしないだろうけど、ねじれは認識してるわけだし
>>887
色々別の要因で疲れているしやり合う気はない。しかし、ホッジ理論やアラケロフ理論とIUTの関係は
望月や星を眺めただけではわからない。そんなに簡単じゃない
ABC予想については、問題自体を抽象的な構造で見ると既成の数論幾何学には言語としてはっきりない
問題だと一目でわかるものだからな。普通のスキーム論だとABCが述べてる数論的に細かい情報を扱えない
細かく切り離せない
多項式の有理関数の場合とはもう全く違う。ABCにアラケロフ理論は通用しないし、アラケロフ理論に対して
関数の世界では有用なホッジ理論も代数体の大域では存在しない。わけわかめだらけの問題なわけだ
そこでIUTの答えは、コホモロジー理論を放棄して特殊な一般化を実現することだったわけだ
（なら何故モチーフ論的？）
繰り返すが、抽象化して翻訳する時点でABC予想が構造的な（深い）難問なのはほとんど明白よ
それに文句があるなら別にいいよ。もう特に言いたいことはないし
915 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 03:25:43.45 ID:shqAyCSR [2/2]
これけ
URLﾘﾝｸ(www.math.columbia.edu)
(引用終り)
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
371:１３２人目の素数さん
20/04/04 09:33:56.56 t13u2EPI.net
転載
Inter-universal geometry と ABC 予想 45
ｽﾚﾘﾝｸ(math板:924番)
924 名前：１３２人目の素数さん[sage] 投稿日：2020/04/04(土) 04:30:16.20 ID:oEv2ickP [1/3]
Dupuyが明確にショルツ否定してるってさ
URLﾘﾝｸ(twitter.com)
Max Lieblich
@algeom
6時間
返信先: @DupuyTaylor
Didn't Scholze and Stix show that the Corollary in question is wrong?
Taylor Dupuy
@DupuyTaylor
6時間
They did not. The assertion they made is really really really elementary. Like its equivalent to A !=B and A=B at the same time.
There are other issues though, but we don't need a Field's Medalist to tell us this. There is a lot of appeal to authority going on here.
Max Lieblich
@algeom
1時間
返信先:
@DupuyTaylor
I assume when you mention “appeal to authority” you also include Fesenko’s bloviating and Mochizuki’s refusal to make himself clear.
（参考）
Max Lieblich
@algeom
Professor of Mathematics at the University of Washington
(deleted an unsolicited ad)
372:１３２人目の素数さん
20/04/04 09:39:25.94 t13u2EPI.net
自分はIUTの深い話は分からないが
それを前提として、書くよ
>>346
>ヨーロッパの若手の数学者に突っ込まれて「いや見りゃわかるやろ」みたいな返事した
>らしいけどそれどうなったんだ
下記だね（ショルツとスティックス氏（SS）の2018年の議論）
反論をメールで送ったが、返事は無しみたい
多分、相手は、反論には全く納得できないということでしょ
そして、議論の時間無駄ってことか（日本語では「問答無用」だと）
（>>334より）
なお、ショルツとスティックス氏（SS）の2018年の議論は
まさに内野からの議論で
IUT 論文IIIの3.12の定理の証明がおかしいということだった
SSに対して、望月側は
それはSSの間違いだと反論したが
反論に対するSS側の回答無しで今年まで来たってことです
（参考）
＜SSの議論の資料＞
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
IUT 望月新一 過去と現在の研究
・2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
（および関連文書）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
373:１３２人目の素数さん
20/04/04 09:52:17.37 t13u2EPI.net
>>347-348
>ハッキリ言えるのはタオやショルツがIUTを理解していなかったのと、悔し紛れに批判すらしていた人間的に三流の人物だってこと
>タオの批判(というか疑義みたいなものだと思ったが)は別にアクセプトされたからと言って否定されるものではないでしょ
個人的見解だが
・タオの意見と、ショルツ（正確にはSS）の議論とは全くの別物
・タオは、「なんかよく分からない。チラ見では、ABC予想以外の結果が出てないのはおかしくない」とのたまう。単なる感想にすぎない
・ショルツ（正確にはSS）の議論は、>>351にある通りです
「IUT 論文IIIの3.12の定理の証明がおかしい」というかなり具体的な指摘で
京都で、ショルツとスティックス氏（SS）に対して、望月氏＋星氏の４人で、５日間くらい集中討議したらしい（下記）
この結論は、望月氏側から言えば、「誤解は解けなかった」だし
SS側からは、「その説明には、納得出来ない」という
まあ、平行線ってこと
・しかし、RIMSのプレスでは、審査の結果 望月氏側が正しいという判定ですね
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
REPORT ON DISCUSSIONS, HELD DURING THE
PERIOD MARCH 15 ? 20, 2018, CONCERNING
INTER-UNIVERSAL TEICHMULLER THEORY (IUTCH) ¨
Shinichi Mochizuki
February 2019
(抜粋)
§1. The present document is a report on discussions held during the period March
15 ? 20, 2018, concerning inter-universal Teichm¨uller theory (IUTch). These
discussions were held in a seminar room on the fifth floor of Maskawa Hall, Kyoto
University, according to the following schedule:
・ March 15 (Thurs.): 2PM ? between 5PM and 6PM,
・ March 16 (Fri.): 10AM ? between 5PM and 6PM,
・ March 17 (Sat.): 10AM ? between 5PM and 6PM,
・ March 19 (Mon.): 10AM ? between 5PM and 6PM,
・ March 20 (Tues.): 10AM ? between 5PM and 6PM.
(On the days when the discussions began at 10AM, there was a lunch break for
one and a half to two hours.)
374:１３２人目の素数さん
20/04/04 10:32:20 fYdcYSAc.net
本当にショルツがわかっていない可能性もあるが、その昔ファルティングスやラフォルグも間違えてて、そのあと修正して発表してるんだよな
ラフォルグなんてinventに載ったの間違ってたわけだし、ジャーナルに載ったからといって確実とはいえない
375:１３２人目の素数さん
20/04/04 10:57:13 K5yZQ4IA.net
さらっと載せて間違ってましたはあるだろうけど
8年も議論してごり押しして間違ってましたは意味が変わってくるよね
376:１３２人目の素数さん
20/04/04 11:18:36 qRYCuq0Q.net
>>352
RIMSの判定なんて身内もいいところ
世界のだれも信用してないよ。
きちんとした証明を出さない限り世界を説得することはできない。
377:１３２人目の素数さん
20/04/04 11:21:12 t13u2EPI.net
>>349
追加
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Latest on abc
Posted on April 3, 2020 by woit
(抜粋)
Ivan Fesenko today has a long article entitled On Pioneering Mathematical Research, On the Occasion of Announcement of Forthcoming Publication of the IUT Papers by Shinichi Mochizuki.
（URLﾘﾝｸ(www.maths.nottingham.ac.uk) ON PIONEERING MATHEMATICAL RESEARCH, ON THE OCCASION OF ANNOUNCEMENT OF FORTHCOMING PUBLICATION OF THE IUT PAPERS BY SHINICHI MOCHIZUKI
IVAN FESENKO Date: April 3 2020 ）
Much like earlier articles from him (I’d missed this one
URLﾘﾝｸ(www.maths.nottingham.ac.uk) （ABOUT CERTAIN ASPECTS OF THE STUDY AND DISSEMINATION OF SHINICHI MOCHIZUKI’S IUT THEORY IVAN FESENKO Date: December 2019）
), it’s full of denunciations of anyone (including Scholze) who has expressed skepticism about the proof as an incompetent. There’s a lot about how Mochizuki’s work on the purported proof is an inspiration to the world, ending with:
In the UK, the recent new additional funding of mathematics, work on which was inspired by the pioneering research of Sh. Mochizuki, will address some of these issues.
which refers to the British government decision discussed here.
（ URLﾘﾝｸ(www.math.columbia.edu) Not Even Wrong London Calling with Career Opportunities II Posted on January 27, 2020 by woit ）
There is a really good inspirational story in recent years about successful pioneering mathematical research, but it’s the one about Scholze’s work, not the proof of abc that experts don’t believe, even if it gets published.
（URLﾘﾝｸ(arxiv.org)
The work of Peter Scholze Michael Rapoport
(Submitted on 13 Sep 2019) This is my laudation for Scholze's Fields medal 2018.
URLﾘﾝｸ(arxiv.org) ）
378:１３２人目の素数さん
20/04/04 11:30:55 5Xtv+EBT.net
abc予想の証明というのは、
こうされたら、こう感じる、こうされたら、こう動く、という
人間の営みをすべて科学的に理論づけることができるということ。
379:１３２人目の素数さん
20/04/04 11:34:38 t13u2EPI.net
>>353-355
ご意見、３つとも正しいと思う
・海外のプロ数学者は、「論文審査通ったの？ だから？ なぜ通したのかの説明が無い限り、おれは納得しないぜ」というでしょ
だって、プロ数学者だもの
・でも、「RIMSの判定なんて身内もいいところ」とは言えない。だって、実名出しているんだから。柏原先生とか玉川先生とか。彼らもプロ数学者だ
・「8年も議論してごり押しして」も
380:違う気がする。例えばさ、分野が違うと「分からせる」ってことが困難な場合がある。特に、相手に「分かろう」とする気が無いみたいなとき 数学では、過去にも あるあるでしょ。例えば、圏論とか、グロタン先生の代数幾何とか。古くはカントール先生の無限集合論とか ・「昔ファルティングスやラフォルグも間違えてて、そのあと修正して発表してる」は、許容範囲で、証明の細部で修正可能で、修正して証明成立なら 「ラフォルグなんてinventに載ったの間違ってたわけだし」は、論文取り下げの事態なら致命的だけれど、ちょっと可能性低い （∵ SSの指摘や、識別の危機の指摘など、全部折り込んでの昨日4月3日のRIMSの発表でしょ、柏原先生とか玉川先生とか。だから、いままで出ている論点は全て解消の見込みがあっての審査パスでしょう） ここら、プロ向けの解説が必要と思う （プロは、審査通したの？ なぜ？ と思うよね。その説明責任を果たさないとね）
381:１３２人目の素数さん
20/04/04 11:34:50 5Xtv+EBT.net
もはやショルツ氏の批判は、望月さんの証明について正しいことであることを
理論づけするために意識的に刺激を投げかけるというツンデレ的な計らいと思わざるを得ない。
382:１３２人目の素数さん
20/04/04 12:19:52 scgl1DFq.net
>>358
＞数学では過去にもあるあるでしょ
違うと思う
圏論もスキーム論も非常に論理的だった
アイレンベルクもグロタンディークもブルバキのメンバーで、下から論理的に構成していくことを学んでいたし、
その下地があって圏論の公理化やスキームの定義を行った
だから初めは直感的に否定されても、質問に対して細かく説明ができる状態だったから広く受け入れられていった
無限集合論も歴史は遡るが今から見てもそれなりに厳密な議論をしている
一方、望月氏は恐らく集合と位相で論理を学んだ学部二年生レベルくらいの下地しかない(アメリカのUndergraduateのカリキュラムは知らないが、日本で言えばそれくらい)
だからCorollary 3.12を突っ込まれても「彼等は学部生レベルだ」としか返せない
きちんと論理的に証明してるならば、より細かいアルゴリズムが説明できるはずだった
勿論、Corollary 3.12が「望月氏の予想」として真である可能性はあるけどね
ただそれを完成させる人が出るまでは何とも言えない
383:１３２人目の素数さん
20/04/04 12:22:14 tyB0DUit.net
>>358
実名出してるけど今回の件で責任負うのか、というと話が別だと思うんだけどね。
そこまで自信があるなら玉川と柏原のレフェリーレポート公開するしかないと思うよ。
ABC予想を証明した論文を理解したなら他のひとにも説明できるししたくなるだろ。
384:１３２人目の素数さん
20/04/04 12:23:56 tyB0DUit.net
前スレでも書いたけど、玉川と柏原がこれだけ重要な問題になっている論文をアクセプトしたうえで、
影響は数十年後に出るという極めて曖昧なことしかいえないのに疑問を感じるんだよね。
385:１３２人目の素数さん
20/04/04 12:42:25 t13u2EPI.net
例えば、上智の文学部の学生が、ランダウの伝記にある 「dx/sinxの積分はどうやって求める？」について質問に来たとする
まずは、チャート数IとII勉強してから、また来てねでしょうね
（参考）
URLﾘﾝｸ(kankyodou.blog.ss-blog.jp)
環虚洞：百学連環
「プロの数学者」になるには・・（時枝正ケンブリッジ大Trinity Hall 数学主任）2015-10-30
(抜粋)
15歳早々フランスへ単身渡り、ボルドーのリセGrand Lebrunに就学した
絵はお休みになった。言語という新世界に開眼したからである。憑かれたかの如く様々な言語を身につけてゆくのを目の当たりにしたリセの先生が「この子の頭の構造はどうなっているのだろう」と訝ったそうな
帰朝後、上智大学でギリシャ人J.Roussosに師事、古典語（ギリシャ、ラテン、ヘブライ）を専攻した。当時日本には18歳未満大学に入れるべからず、というきまりがあり、目をつぶってくれたのは上智だけだったのである
卒論のめどがついた時分、ひょんなめぐりあわせからランダウの伝記を繙いた
この伝記によればなんと、目覚めたランダウ先生、息子を相手に早速 「dx/sinxの積分はどうやって求める？」と口頭試問を始めた。そしてつまった息子に対し「どうしたんだ。こんなのがむずかしいのか」と笑ったという
私は、そこで、積分とやらの水準まで数学を独習しよう、と決心した
同伝記中、ランダウが「数学を身につけるには、教科書ではなく、問題集ーどんなものでもよいが、ただし問題がたくさんのっているものーが主要な役割を演じます」と諭すくだりがあった
ランダウの諭告を真に受け、なるべく大きな問題集を探して掘り出したのが・・・（ここに、ロシア語の著者名、問題集の表題が示されてあるのだが
言語が商売のてまえ、ロシア語だっておどろかない。一冬投資、ロシア語を学びながら дпк に取り組んだ。毎日7、8時間がんばった
約1/3進んだ一節で ∫ dx/sinx＝1ｎtg x/2 が求まるようになったが、勢いにのって進み（ロシア語と数学同時に進歩するので2乗に加速する
この期に及び私はふたつの事実に勘づいた
?）自分はこの手の問題がけっこうできる
?）しかしどうも数学にはこの手の問題があるらしい・・・
次の秋、私は数学の学部課程を正規に修むべく、オックスフォードに学士入学した
386:１３２人目の素数さん
20/04/04 12:46:29 t13u2EPI.net
>>363 つづき
>例えば、上智の文学部の学生が、ランダウの伝記にある 「dx/sinxの積分はどうやって求める？」について質問に来たとする
・時枝くんていうの？ 数学はどれだけやった？
・文学なので、殆どやってない？
・じゃ、「dx/sinxの積分はどうやって求める？」を、小一時間で理解させることは無理だね
・これ、IUTの命題3.12に類似かも
・IUTの命題3.12を簡単に教えて欲しい？ なんで、600ページの論文になっているか分かってる？
・簡単に言えるなら、600ページも要らないんだ
と、こう言ってしまったら、身も蓋もない
説明責任を、RIMSは果たすべし
その努力をすべし
だな
387:１３２人目の素数さん
20/04/04 12:46:39 scgl1DFq.net
>>363
来たのがフィールズ賞受賞者で論文も読んで来たスティックスとショルツだったらどうでしょうかね
388:１３２人目の素数さん
20/04/04 12:51:18 scgl1DFq.net
>>364
説明責任というか、厳密に証明しているなら説明できる
有識者が分からないと言ってるのに説明できないというのは、論理展開できてない
そういう意味でアイレンベルクらやグロタンディークとは異なる
389:１３２人目の素数さん
20/04/04 12:55:53.68 CTVUpSZE.net
>>363
>∫ dx/sinx＝1ｎtg x/2
1ｎtg x/2って何？
390:１３２人目の素数さん
20/04/04 12:56:58.89 Iz11nkXL.net
学術の巨大掲示板群 - アルファ・ラボ
URLﾘﾝｸ(x0000.net)
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
391:１３２人目の素数さん
20/04/04 13:17:52 CTVUpSZE.net
例えば、大阪大学工学部卒と称する人が
とあるサイトからコピペした文章に
こう書いてあったとする
∫ dx/sinx＝1ｎtg x/2
数学の先生なら真っ先にこう尋ね�
392:驍ｾろう 「1ｎtg x/2って何？君この文章読んだ？」 もし何も答えが返ってこなかったら、さらにこういうだろう 「君・・・大学１年の解析学の単位、とってるよね？」
393:１３２人目の素数さん
20/04/04 13:42:36 fYdcYSAc.net
玉川先生はともかく柏原先生はさ
いくら柏原先生とはいえ分野も違うし、年齢も年齢だから
厳密に理解してるのかな
394:１３２人目の素数さん
20/04/04 13:55:09 up5lkRJ+.net
taylor dupuyはTwitterで説明責任は果たしてると言ってるね
395:１３２人目の素数さん
20/04/04 14:07:40 t13u2EPI.net
>>371
・説明責任は果たす努力は、継続した方が良い
・それが、理解者を増やすことになる
・IUTの始祖が望月とすれば、IUTを伝道する使徒たちが努力すべきだよ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
使徒（しと）は、狭義にはイエス・キリストの12人の高弟を指すが、それに近い弟子（パウロ、七十門徒など）にもこの語が用いられることがある。広義には、重要な役割を果たしたキリスト教の宣教者（「遣わされた者」）および、その宣教者の称号である。
十二使徒
前述のように、「十二使徒」は極めてルカ的概念である。ただし、ルカは「十二使徒」という言葉そのものは用いていない。新約中、この言い方は、「ヨハネ黙示録」21章14節のみである（マタイ10章2節については、前述の通り）。
396:１３２人目の素数さん
20/04/04 14:10:03 t13u2EPI.net
>>370
>玉川先生はともかく柏原先生はさ
>いくら柏原先生とはいえ分野も違うし、年齢も年齢だから
>厳密に理解してるのかな
さあ？
”厳密に”はともかく、確実なのは
SSの批判に対して、望月が正しいと確信して、IUTの審査を通したってことは言える
１点でも疑義があれば、通しはしないでしょ
397:１３２人目の素数さん
20/04/04 14:10:17 CTVUpSZE.net
>>372
御託を並べるのは結構なんで
∫ dx/sinx＝1ｎtg x/2
の、「1ｎtg x/2」って何か、説明願います
もしかして、全く気付いてなかった？
398:１３２人目の素数さん
20/04/04 14:19:18 t13u2EPI.net
>>369
＞「君・・・大学１年の解析学の単位、とってるよね？」
ゆとりの落ちこぼれ のおサルさんｗ
”高校数学の美しい物語”を読みましょう～！！ｗｗ(゜ロ゜；
（参考）
URLﾘﾝｸ(w3e.kanazawa-it.ac.jp)(1)(sinx).html
積分 1/sinx - 金沢工業大学 2018年4月17日
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語 レベル: ★最難関大学
サイン分の1，コサイン分の1の積分の２通りの方法 最終更新:2017/05/10
方法1：サイン分の1，コサイン分の1の積分は2乗分の1乗にして部分分数分解して解く
サイン分の1やコサイン分の1の積分は有名で，知らないとできませんが，知ってたら必ずできます。有名なパターンなので確実に抑えておきましょう。
この積分の値自体は覚える必要はありません，積分の方法を覚えてください。
方法2
上記の方法が一般的で，入試問題を解く際には方法1を用いればよいのですが，
sinx,cosx のどんな有理式も（手間はかかるけど）必ず積分できる万能な方法があるのでこちらも覚えておきましょう。
方法2： sinx,cosx の分数（有理式）の積分は tanx2=t と置換すれば必ずできる。（一般的には計算量が多くてめんどくさい）
399:１３２人目の素数さん
20/04/04 14:20:43 t13u2EPI.net
>>374
>もしかして、全く気付いてなかった？
当然気付いているｗ（>>375ww）
400:１３２人目の素数さん
20/04/04 14:34:08 CTVUpSZE.net
>>376
>>もしかして、全く気付いてなかった？
>当然気付いている
じゃ、修正できるね
1ｎtg x/2 をどう直せば正解になるかな？ オボカタハルオ君
401:１３２人目の素数さん
20/04/04 14:36:11 CTVUpSZE.net
>>377
ヒント：直すのはたった1文字
402:１３２人目の素数さん
20/04/04 14:50:59 ZOos6Ww+.net
>>373
現状でそういう性善説的な解釈がまだ有効なのか、という話だな。
403:１３２人目の素数さん
20/04/04 14:58:34.01 t13u2EPI.net
>>352
>・タオは、「なんかよく分からない。チラ見では、ABC予想以外の結果が出てないのはおかしくない」とのたまう。単なる感想にすぎない
補足：
Kirti Joshi の Neukirch and Uchida からみのIUT応用論文がある
URLﾘﾝｸ(www.math.arizona.edu)
Webpage of Kirti Joshi Recent Research
URLﾘﾝｸ(arxiv.org)
Mochizuki’s anabelian variation of ring structures and formal groups Kirti Joshi December 11, 2019
(抜粋)
1 A prelude
Shinichi Mochizuki has shown that a p-adic field K (the term p-adic field in this paper will mean a
finite extension of Qp for some prime number p) can be recovered from its absolute Galois group
As was impressed upon me by Mochizuki, the existence of this variation of ring structures was discovered in the nineteen seventies
(for it is a consequence of existence of local field counter examples
to the global theorems of Neukirch and Uchida (see [25, 26] and its references) which assert that
absolute Galois group of a global field determines the field), but as far as I am aware, Mochizuki
appears to be the first to recognize its foundational importance and utility in fundamental problems
of arithmetic. This anabelian fluidity of the ring structures on the multiplicative monoid O.
I began thinking of this problem in Kyoto (Spring 2018)
and my preoccupation with it became more or less permanent on my return from Kyoto.
The idea, which I elaborate here, occurred to me in a recent lecture by Michael Hopkins at
the Arizona Winter School (2019). In one of his lectures, Hopkins narrated an anecdote about
Daniel Quillen’s discovery of the role of formal groups in topological cohomology theories: in
particular Quillen’s assertion (to Hopkins) that “as addition rule for Chern classes fails to hold, it
must therefore fail in worst possible way?namely by means of a formal group” (I am paraphrasing
both Hopkins and Quillen here).
404:１３２人目の素数さん
20/04/04 15:09:35 t13u2EPI.net
>>379
＞現状でそういう性善説的な解釈がまだ有効なのか、という話だな。
性善説というよりも、理性で考えればだな
１．いま、ある違いに気付いたとする
２．理性のある人は、さっさと間違いを認めて、早く軌道修正をはかる
早く修正した方が、ダメージは抑えられるから
３．理性よりも 自分の体面やかっこう付けを重視して、間違いを糊塗しようとして、収拾がつかなくなりダメージを大きくする人が居る
”間違い”が明白なら、誤魔化しようがないと思うのが、理性のある人
”間違い”が明白なのに、最後まで誤魔化せると思う人、非理性の人
４．はてさて、数学ではどうなのでしょうか？
発表され証明を審査した
１）「どうも間違っているようだが、RIMS身内の人だし、取り敢ず通す」
２）「間違っている論文を通したら、本人にもRIMSにも大きなダメージだ」
５．柏原先生と玉川先生は、当然 ４－2）だよね
なので、昨日の会見は、当然理性的判断のもと、「ちゃんと審査し�
405:ﾄ正しい証明と思ったから審査を通した」までは言える （性善説というよりも、理性で考えれば） ６．その先の 「その審査が本当に正しいのか？」は、分からない。そのための今年の国際会議じゃない？
406:１３２人目の素数さん
20/04/04 15:10:41 t13u2EPI.net
>>381 タイポ訂正
１．いま、ある違いに気付いたとする
↓
１．いま、ある間違いに気付いたとする
分かると思うが（＾＾；
407:１３２人目の素数さん
20/04/04 15:16:12 T+va6nMT.net
いくらコロナ騒動とは言え、これ程の大きなことがコロナと並んで報道されないのは、各社ともアカンやつやったかなっておもってるからやろ
408:１３２人目の素数さん
20/04/04 15:17:14 t13u2EPI.net
>>381 補足
あと、審査の過程なんて、どうでも良いとは言わないが、必ずしも公開する必要はないでしょ
１．きちんと、Q&A方式で、SS vs 望月・星の整理をしてほしい。どこでどう行き違いになっているのか？
教祖の文書はあるけれど、使徒がちゃんと分り易く伝道すべき
２．”識別の危機”なんてのも同じ
３．やっぱり、批判に対して、真摯に答えて、IUTを伝道しようという姿勢が大事だと思う
409:１３２人目の素数さん
20/04/04 15:23:10 t13u2EPI.net
>>383
＞いくらコロナ騒動とは言え、これ程の大きなことがコロナと並んで報道されないのは、各社ともアカンやつやったかなっておもってるからやろ
読売新聞乗っていたよ
URLﾘﾝｸ(news.google.com)
重要な記事
東京新聞
望月氏「ＡＢＣ予想」証明 京大教授 数学難問、専門誌に論文:社会(TOKYO Web)
京都大は三日、三十年以上にわたって未解決だった数学の難問「ＡＢＣ予想」を京都大数理解析研究所の望月新一教授（５１）が証明したと発表した。望月教授の論文が、同 ...
7 時間前
毎日放送
京大教授が数学の超難問「ABC予想」を証明 | MBS 関西のニュース
「最も重要な未解決問題」と言われた数学の超難問「ＡＢＣ予想」を京都大学の研究者が証明しました。
7 時間前
産経ニュース
ＡＢＣ予想は超難問 解ければフェルマーの最終定理証明も
京都大の望月新一教授が証明した「ＡＢＣ予想」は整数の性質に関する問題で、数学の多くの未解決問題の中でも超難問として知られる。ＡＢＣ予想は１以外の公約数を持た ...
昨日
毎日新聞
望月教授「ＡＢＣ予想」証明 検証８年「完全な論文」 京大数理研、掲載に自信
「完全な論文ができた」。数学界の超難問「ＡＢＣ予想」を証明した望月新一・京都大数理解析研究所教授（５１）の論文が、約８年の検証作業をへて学術誌に掲載されることに ...
13 時間前
朝日新聞
ABC予想証明の教授、ブログも独創的 「欅坂に興奮」
数学の超難問「ABC予想」を証明した京都大の望月新一教授（51）は、米国の名門大を飛び級で卒業し、32歳の若さで京都大教授になった異例の経歴の持ち主だ。研究者 ...
昨日
410:１３２人目の素数さん
20/04/04 15:34:43 ZOos6Ww+.net
>>381
現状では「なぜか内部に査読前結果をリリースしたやつがいてそれを文科に報告した挙句、
なにが起こったのか一度も説明がなかった」という状態。
つまりRIMSに理性があるのか、ということ自体が疑問視されてる。
411:１３２人目の素数さん
20/04/04 15:44:26 sGfD+3lQ.net
望月さんのページ、なんか新しい論文来てるな
IUT論文シリーズも全部本日付で改訂されている
412:１３２人目の素数さん
20/04/04 16:49:15 CTVUpSZE.net
>>377
なんだ”やっぱり”直せなかったか
正解 1→l
ln tg x/2 つまり log(tan(x/2))
lnはlog_e、tgはtan
漫然とコピペして誤りにも気づかない
しかも指摘されると気づいてたと口からデマカセのウソ
これからセタ・ハルオ君と呼ぶからｗ
413:１３２人目の素数さん
20/04/04 16:59:29 JoR/sPSp.net
2月にアクセプトされてるのにまた改稿してるの？
マジで前回の延長戦やるつもりなのか。
414:１３２人目の素数さん
20/04/04 19:43:41 t13u2EPI.net
>>386
>現状では「なぜか内部に査読前結果をリリースしたやつがいてそれを文科に報告した挙句、
>なにが起こったのか一度も説明がなかった」という状態。
>つまりRIMSに理性があるのか、ということ自体が疑問視されてる。
論点ずれているんじゃない？
RIMSに理性ではなく、査読者の理性でしょ
まずは、査読者の理性の有無で
「査読者の理性」を疑うかどうか
つまり、
１）もし、万一査読OKの論文が、出版後にアウト（つまりどうしようもない欠陥論文）だと分かったら？
→当人は勿論、査読者たち（今回実名が出た）と、出版元のRIMSにダメージあり
２）よって、１）を避けるべく慎重かつ確実な査読が求められ、査読者はそう努めたはず
３）RIMSとしては、査読者がGOサインを出したから、記者会見したわけだし、文科に報告したってことでしょ
415:１３２人目の素数さん
20/04/04 19:51:27 wmL2a042.net
KとTはまともなはずだ、という前提をとりたいのはわかるんだけど、
全体としてもうそれ以外にはなにもセーフティネットがないんだよな。
416:１３２人目の素数さん
20/04/04 19:55:50 t13u2EPI.net
>>366
>説明責任というか、厳密に証明しているなら説明できる
>有識者が分からないと言ってるのに説明できないというのは、論理展開できてない
>そういう意味でアイレンベルクらやグロタンディークとは異なる
昔クロネッカーという人が、カントールの無限集合論を認めなかったという
ガウスが、アーベルの5次方程式の代数的可解性の論文をゴミ扱いしたという
一時的にそういうことはある
あと、理解されるのに、時間がかかることがある
ガウスは複素関数論を持っていたが、複素数を表向き使うのを隠したという（世間が理解できないと思ったから）
非ユークリッド幾何も持っていたが、公表しなかったという（世間が理解できないと思ったから）
革新的な理論が提唱されたとき
受入れられるのに時間がかかることがある
天動説とか、アインシュタインの相対性理論とか・・、望月IUTとか
417:１３２人目の素数さん
20/04/04 19:58:50 t13u2EPI.net
>>391
>KとTはまともなはずだ、という前提をとりたいのはわかるんだけど、
>全体としてもうそれ以外にはなにもセーフティネットがないんだよな。
だから、個人的には今年の国際会議だと思ったのだが
つまり、国際会議が終わって、IUT論文受理で発行だろうと、個人的には予想していたんだが
しかし、それより前に出すってことは
よほど自信があるのだろうし、その成否は今年の国際会議ではっきりすると思う
418:１３２人目の素数さん
20/04/04 20:26:06 t13u2EPI.net
>>365
>来たのがフィールズ賞受賞者で論文も読んで来たスティックスとショルツだったらどうでしょうかね
そうそう、そうなんだよね！！
で、理解させるのに失敗したんだ（＾＾；
スティックスとショルツが来たというよりも、森先生が呼んだという話しがあったでしょ、ウワサだが
で、森先生としては、「１週間くらい集中討議して、決着させてくれよ、望月先生」という意図だったと思うけどね
さて、話はそれるが、IUTにみんなどれだけの時間が割けるのか？
割くことがことができるのか？
１）一番は当人の望月新一先生（論文の書き手として20年くらい懸けている）
２）次が、弟子たち。あるいは、IUTネタで論文を書こうという人たち、書かせようという人たち
例えば、星、山下、南出、フェセンコ一派、Dupuy一派、Kirti Joshi たち、彼らは これで論文書いてメシのタネ
３）査読者 （真剣に論文読んだと思う）
４）その次が、スティックスとショルツくらいじゃない？
「話題のIUTか、なんぼのもんじゃ？」と覗いてみた
ワケワカ状態だが、「なんか命題3.12おかしくね？」と指摘して、論争になった
でも、スティックスとショルツたちにしたら、そんなに必死にIUTに取り組む必要ない
そこが、上記１）２）３）の方々と、大きく違う。IUTにがつがつ食い付かないといけないほど、腹減ってないんだよね
５）さらにスティックスとショルツよりも、時間が少ないのが、数学界でも、分野がずれている多くのヤジウマたち
彼らは、IUTなどのワケワカ理論に、貴重な研究の時間使うつもりはない！
スティックス・ショルツ vs 望月・星 の論争の行方を、外野から
419:見ている人達です なので、ショルツは天才だとしても、IUTに懸ける時間と真剣さが、当事者たちとは決定的に異なるってわけ そこを、見落とすと、「ショルツが間違いを指摘しているのに、なんで査読通すの？」みたいに、疑問が解けないことになると思うよ
420:１３２人目の素数さん
20/04/04 20:44:04.78 LTI26x5p.net
>>344
ユダヤ人だよ
421:１３２人目の素数さん
20/04/04 20:55:12 LTI26x5p.net
>>383
報道された
422:１３２人目の素数さん
20/04/04 22:14:15 YVvBpdWW.net
普通はコロナ5割、ABC4割くらいでもおかしくないわな
423:１３２人目の素数さん
20/04/04 23:02:03 fYdcYSAc.net
>>386
科研費とかの問題かね
こんなに大きな結果でたから金何とかしてくれということか
424:１３２人目の素数さん
20/04/04 23:41:36 t13u2EPI.net
>>398
>科研費とかの問題かね
>こんなに大きな結果でたから金何とかしてくれということか
単に予算なら
シーズンは秋でしょ
国際会議やってから、ＩＵＴ成立の記者会見やっても良かったと思う
なので、昨日やった意義は
１）正月の望月ブログ効果（やっぱ それなりに話題になって、想像だが、それでなんか２月の会議で審査通すことに決めたのかな）
２）「２月の会議で審査通すことに決めた」けど、プレス発表したいってことになって、いろいろ準備して４月の昨日に
３）戦略的には
・今年の国際会議の応援 （みんな議論しに来てね）
・で、国際会議を成功させて、来年あたりの学会賞ねらい（望月先生は賞などいらんというかもだが、若い人にはうれしいよね）
・ＩＣＭが2022年でしょ。そこをターゲットに、今年の国際会議を成功させて、ICM 2022のプログラムにＩＵＴを入れるべく働きかけるってことじゃない？
（参考）
URLﾘﾝｸ(www.mathunion.org)
ICM 2022
The International Congress of Mathematicians 2022 (ICM 2022) will be held in St Petersburg, Russia, 6 - 14 July 2022.
425:１３２人目の素数さん
20/04/05 00:02:00 NXRnv5sf.net
>>399
国際会議で批判が噴出したらどうするんだ？
そもそも海外勢が全然納得してない状況で国際会議やる意味あるの？
426:１３２人目の素数さん
20/04/05 00:03:11 NXRnv5sf.net
今回のプレスリリースでむしろ査読者サイドが疑われるくらい状況が悪い、
っていうのは当事者がちゃんと理解してないんじゃないか。
427:１３２人目の素数さん
20/04/05 01:57:39 WQI1olHb.net
おまいらおくれてるよｗ
effective版解決かってレベルに話はもう進んでんだよ！
はっきりいってこれができたら主要なディオファントスがらみの数論は終了
新時代を迎える
おまいらにはeffectiveの意味さえわからないだろうけど
428:１３２人目の素数さん
20/04/05 05:15:55.38 YxWsMJ4i.net
南出ポワロスキの共著のことな
もうすぐ公表されるよ
429:１３２人目の素数さん
20/04/05 07:07:08 +I82jeYq.net
>>401
状況をきっちり理解した上でのプレスリリースな
おまえ関係者をバカにし過ぎだ
そこまでバカにする根拠はあるのか？
名誉も社会的地位もある人がそこまでバカなことをやる根拠を示せ
430:１３２人目の素数さん
20/04/05 08:09:56 cTzpxuVq.net
>>402-403
>effective版解決かってレベルに話はもう進んでんだよ！
>南出ポワロスキの共著のことな
下記だな
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(in%20progress).pdf
・南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライドを掲載
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
これ、確か東工大での講演だった�
431:ﾋ
432:１３２人目の素数さん
20/04/05 08:35:07.38 cTzpxuVq.net
>>404
同意です
433:１３２人目の素数さん
20/04/05 08:40:59.59 cTzpxuVq.net
>>400
>国際会議で批判が噴出したらどうするんだ？
>そもそも海外勢が全然納得してない状況で国際会議やる意味あるの？
１．予定の4本のうち、最初の国際会議がコロナ騒動で、9月にずれた
２．時間はあるので、もっと情報発信すれば良いと思う
例えば、もともと５月の会議だから、論文とか集まっていると思うので、予定プログラムをリリースするとか
論文のプレプリントは、arXiveだすとか
３．4本の国際会議のどこかで、今回の査読ＯＫの顛末を討議する機会を作れば良いんじゃない？
４．批判があるし、だから国際会議の意義があると思う
434:１３２人目の素数さん
20/04/05 09:09:17 7X2sk4cz.net
>>404
ではなんでEMSから、major revisionsがないのに出版したらRIMSに悪影響だぞって釘を刺されるんだ？
周りの状況は今回の査読陣でもまったく納得していないってことだろ。
435:１３２人目の素数さん
20/04/05 09:24:59.27 sDMUNLVv.net
すくなくともこの査読メンバーなら信頼できるだろうって言ってるのが一部だけ、
というのは事実なんだよね
海外では査読者のオーソリティが全然通用してない
436:１３２人目の素数さん
20/04/05 09:46:40.97 cTzpxuVq.net
>>405
関連
URLﾘﾝｸ(arxiv.org)
On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi 20200305
26 Perfectoid algebraic geometry as an example of anabelomorphy
A detailed treatment of assertions of this section will be provided in [DJ] where we establish many results in parallel with classical anabelian geometry.
In some sense Scholze’s proof of the weight monodromy conjecture does precisely this: Scholze replaces the original hypersurface by a (perfectoid) nabelomorphic hypersurface for which the conjecture can be established by other means.
＜References＞
[DJ] Taylor Dupuy and Kirti Joshi. Perfectoid anbelomorphy.
[DHa] Taylor Dupuy and Anton Hilado. Probabilitic Szpiro, baby Szpiro, and
explicit Szpiro from Mochizuki’s corollary 3.12. Preprint.
URLﾘﾝｸ(www.uvm.edu) Taylor Dupuy's Homepage manuscripts
2. Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado)
URLﾘﾝｸ(www.dropbox.com)
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO
FROM MOCHIZUKI'S COROLLARY 3.12
DRAFT
TAYLOR DUPUY AND ANTON HILADO Date: April 4, 2020.
Abstract. In [DH19] we gave some explicit formulas for the \indeterminacies" ind1; ind2; ind3
in Mochizuki's Inequality as well as a new presentation of initial theta data. In the present
paper we use these explicit formulas, together with our probabilistic formulation of [Moc15a,
Corollary 3.12] to derive variants of Szpiro's inequality (in the spirit of [Moc15b]). In particular,
for an elliptic curves in initial theta data we show how to derive uniform Szpiro
(with explicit numerical constants). The inequalities we get will be strictly weaker than
[Moc15b, Theorem 1.10] but the proofs are more transparent, modifiable, and user friendly.
つづく
437:１３２人目の素数さん
20/04/05 09:47:03.55 cTzpxuVq.net
>>4
438:10 つづき All of these inequalities are derived from an probabilistic version of [Moc15a, Corollary 3.12] formulated in [DH19] based on the notion of random measurable sets. Contents 8.2. Explicit Szpiro 32 8.6. Proof of Explicit Szpiro 36 (引用終り) 以上
439:１３２人目の素数さん
20/04/05 10:01:07.17 cTzpxuVq.net
>>408
>ではなんでEMSから、major revisionsがないのに出版したらRIMSに悪影響だぞって釘を刺されるんだ？
>周りの状況は今回の査読陣でもまったく納得していないってことだろ。
細かくは分からない
ＥＭＳとＲＩＭＳの間の契約関係でしょ、具体的には
つまり、平たく言えば、「ＲＩＭＳがＥＭＳに頼んで、これ発行してね」という委託関係でしょ？
で、ＥＭＳが「こんなの査読になっとらん。疑問ありあり」という権限はあるのかが、問題でして
無いと思うよ、普通。査読の権限は、ＥＭＳになく ＲＩＭＳにありでしょう？ 多分。ああ、下記の通りだね
(The EMS has no editorial control over the journal's content, Mehrmann says, and he was unaware of the upcoming announcement until contacted by Nature.)
(>>336より)
URLﾘﾝｸ(www.nature.com)
naturenewsarticle
NEWS 03 APRIL 2020
UPDATE 03 APRIL 2020
Mathematical proof that rocked number theory will be published
But some experts say author Shinichi Mochizuki failed to fix fatal flaw in solution of major arithmetics problem.
Davide Castelvecchi
Additional reporting by David Cyranoski.
UPDATES & CORRECTIONS
Update 03 April 2020: This story has been updated to include comments from Kashiwara and Tamagawa at a press conference in Kyoto.
(抜粋)
If the editors of the journal “waved away these criticisms” and published the paper without major revisions, it would reflect badly on them and on Mochizuki himself, says Volker Mehrmann, the president of the European Mathematical Society (EMS), which publishes the journal on behalf of RIMS.
(The EMS has no editorial control over the journal's content, Mehrmann says, and he was unaware of the upcoming announcement until contacted by Nature.)
440:１３２人目の素数さん
20/04/05 10:10:51.02 cTzpxuVq.net
>>409
>すくなくともこの査読メンバーなら信頼できるだろうって言ってるのが一部だけ、
>というのは事実なんだよね
>海外では査読者のオーソリティが全然通用してない
いまさら、そんなことはどうでも良いことで
（そもそも、4月3日の記者会見の柏原先生と玉川先生の２名以外の具体的査読者（複数居る）の氏名分からんし）
いわゆる、賽は投げられた のです
あとは、4月3日の記者会見を既定事実として（いまさら取り消しできない）
ＲＩＭＳはベストを尽くすべし！！
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
「賽は投げられた（さいはなげられた）」（古典ラテン語：alea iacta est、アーレア・ヤクタ・エスト）とは、ガイウス・ユリウス・カエサルが紀元前49年1月10日[1]、元老院のグナエウス・ポンペイウスに背き軍を率いて南下し北イタリアのルビコン川を通過する際に言ったとして知られる言葉。
当時のカエサルはガリア総督だった。出典はスエトニウスの文章 (iacta alea est) である。現在は、「もう帰還不能限界点を越してしまったので、最後までやるしかない」という意味で使われている。
共和政ローマは当時、本土と属州ガリア・キサルピナをルビコン川で分けており、それ故にルビコン川は北の防衛線であったため、軍団を率いてルビコン川以南へ向かうことは法により禁じられていた。これに背くことはローマに対する反逆とみなされた。
URLﾘﾝｸ(ja.wikipedia.org)
ルビコン川
ローマ内戦開戦時のユリウス・カエサルの故事にちなむ「ルビコン川を渡る」という成語は、その時のカエサルの「賽は投げられた」という言葉とともに知られている。
441:１３２人目の素数さん
20/04/05 10:12:26.42 lxeUAzYG.net
長文連投でスレ流ししてるってことは相当都合が悪いわけか。
これ特別号が出ないか、特別号は正規の数学ジャーナルではないとかいう対応ほんとに来るかもしれん。
442:１３２人目の素数さん
20/04/05 10:20:56.43 0/wXntJa.net
>>408
Natureを読む限りくぎを刺すって程のことを言ってないだろ。
会長が悪影響だと思うよという程度の談話だろう。
443:１３２人目の素数さん
20/04/05 10:23:13.66 cTzpxuVq.net
>>410 補足
>URLﾘﾝｸ(www.dropbox.com)
>PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO
>FROM MOCHIZUKI'S COROLLARY 3.12
>DRAFT
>TAYLOR DUPUY AND ANTON HILADO Date: April 4, 2020.
EXPLICIT SZPIROのドラフトDate: April 4, 2020. TAYLOR DUPUY AND ANTON HILADO
が出てきたのだが
これから 強いＡＢＣが導かれるのか？
南出論文との差は？
わからん・・ｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
URLﾘﾝｸ(ja.wikipedia.org)
スピロ予想
ABC予想との関係
スピロ予想より強い以下の主張がABC予想と同値である[2]。
任意の ε > 0 に対し、定数 C (ε) が存在して、有理数体 Q 上定義された全ての楕円曲線 E に対して、
max{|c4|^3,|c6|^2}<=C(ε)・f^(6+ε)
が成り立つ。ここに、c4, c6 は楕円曲線 E のよく知られた不変量である。
一般に 1728Δ = c43 - c62 であるから、上記の主張から通常のスピロ予想は簡単に導かれる。
通常のスピロ予想は、少し弱いヴァージョンのABC予想と同値である[3]。
URLﾘﾝｸ(en.wikipedia.org)
Szpiro's conjecture
444:１３２人目の素数さん
20/04/05 10:26:43.21 cTzpxuVq.net
>>414
>長文連投でスレ流ししてるってことは相当都合が悪いわけか。
長文連投は、自分のスタイルで普通ですよ
>これ特別号が出ないか、特別号は正規の数学ジャーナルではないとかいう対応ほんとに来るかもしれん。
無いよ
つーか、ＥＭＳと決別すれば別だが
ＥＭＳもこの一件だけで、ＲＩＭＳと決別する理由がない
ＥＭＳとしたら、「責任は全部ＲＩＭＳですよ、発行しますよ」で
ＲＩＭＳは、「それで良いから発行しろ」でしょ
445:１３２人目の素数さん
20/04/05 10:33:07.73 cTzpxuVq.net
>>415
>Natureを読む限りくぎを刺すって程のことを言ってないだろ。
>会長が悪影響だと思うよという程度の談話だろう。
同意です
かつ
Volker Mehrmann, the president of the European Mathematical Society (EMS)氏が
うわさでは、ＳＳ vs 望月の論争は知っているのだろうし
”ＩＵＴあやしくね？”というウワサもしっているのだろうが
しかし、細かく事情を知っているわけでもなく
マスコミ取材に、一般論を語っただけでしょ
「ふつう、良くないよね」って
でも、ＲＩＭＳ側は「十分審査したし、これでいいのだ」ってことでしょ
あと、例えば、Volker Mehrmann氏には ＲＩＭＳからプレス発表の書類付けて、
”ＲＩＭＳとしては、十分審査した上でのことです”と、一筆送っておけば良いだけのことでしょう
446:１３２人目の素数さん
20/04/05 10:51:47 YxWsMJ4i.net
>>414
来るわけねーよ
お前のテメエ勝手な妄想垂れ流すなよ
真実知ってる側がほんと迷惑してるから
447:１３２人目の素数さん
20/04/05 10:57:53 nmKG8jhm.net
そもそもべつにそんなに業績あるわけでもないのにアレが査読についたから大丈夫だってこのスレで話になってた時点でお察しだろ。
査読者に対外的なオーソリティがないのは最初からわかっていたこと。
５ちゃんでいくら工作しても海外評価はトンデモのままなんだから今回の件は研究機関自体をダメにしたね
448:。
449:１３２人目の素数さん
20/04/05 10:58:52 nmKG8jhm.net
そして国内ですらそんなに広範にごまかせるわけではない。
じっさい国内の数学者でも前回の件があるから冷めた反応。
騒いでるのは取り巻きとBだけか。
450:１３２人目の素数さん
20/04/05 11:03:28 YxWsMJ4i.net
なんか匂わせた書き込みして税に入ってるけどさあんた、こっち側はほんと困ってんのよ事実に基づかないあいまいな状況分析だけでわーわー妄想垂れ流されてさ
451:１３２人目の素数さん
20/04/05 11:07:10 cTzpxuVq.net
>>420
> ５ちゃんでいくら工作しても海外評価はトンデモのままなんだから今回の件は研究機関自体をダメにしたね。
過去は変えられない（記者会見をしたこと）
が、未来は変えられる（海外評価）
で、海外評価を変える（良くする）努力は、ＲＩＭＳ（及びＩＵＴ当事者たち）がするべきことで
５ちゃんで書いていることとは無関係ｗ（自明でしょｗ）
海外評価を変えるために
１．ＩＵＴ論文をきちんとすること
２．分り易い説明をすること（使徒の役）
３．ＩＵＴのさらなる成果を出すこと（既に出つつあるが、南出とかDUPUY、Kirti Joshi）
４．今年の4回の国際会議を成功させること
５．国際会議後に、2022 ＩＣＭ に向けた戦略を構築すること（2022 ＩＣＭ でＩＵＴを認めさせる）
すぐ浮かぶのはこれくらいだが
452:１３２人目の素数さん
20/04/05 11:08:38 cTzpxuVq.net
>>422
＞ なんか匂わせた書き込みして税に入ってるけどさあんた、こっち側はほんと困ってんのよ事実に基づかないあいまいな状況分析だけでわーわー妄想垂れ流されてさ
同情いたします （＾＾；
453:１３２人目の素数さん
20/04/05 11:16:02 nmKG8jhm.net
>>423
そう、５ちゃんでいくら擁護してもダメだわな。
IUTがトンデモ理論という評価のまま研究機関としての信用を落としたという事実は変えられない。
454:１３２人目の素数さん
20/04/05 11:19:47 YxWsMJ4i.net
>>425
お前それ以上いわれなき誹謗中傷したら訴えられるぞ
評価下したのは編集委員会だ
リムスではない！
455:１３２人目の素数さん
20/04/05 11:30:17 cTzpxuVq.net
>>416
>EXPLICIT SZPIROのドラフトDate: April 4, 2020. TAYLOR DUPUY AND ANTON HILADO
>が出てきたのだが
>これから 強いＡＢＣが導かれるのか？
>南出論文との差は？
>わからん・・ｗ（＾＾；
ざっと読んだけど
ワカランかったｗ（＾＾；
南出のスライド（>>405）には、キーワード SZPIROが出てこない
でも、似たことをやっている気がするなｗ（＾＾；