20/05/04 20:32:48 ncpDqOGk.net
>>43
どうも、コメントありがとう
＞今年中には掲載されるの？
私にも分かりません
新型コロナの影響
欧州でも大きいですよね
新型コロナの影響がなければ
年内とは思いますが
51:現代数学の系譜 雑談
20/05/04 21:45:21.31 ncpDqOGk.net
>>44 補足
＞今年中には掲載されるの？
補足しておく
１．いまどき、紙の印刷がいつかは、本質ではない
２．本質は、いまのIUT論文の証明が正しいかどうか？
３．もっと言えば、可能性は３つ
１）完璧に正しい
２）正しいが、修正可能な瑕疵（ギャップ）がある
３）正しくなく、修正不可能（根本的にだめ）
４．ショルツ氏の主張は、上記の３-３）「正しくなく、修正不可能（根本的にだめ）」だ
５．だが、査読はSSレポート（2018）の後、２年かけてされたので、
SSレポートは否定されたと見て良い
６．さて、問題は、IUTに影響を受ける数学研究者たちだ
数論研究者で、ABC予想や、Szpiro予想に影響される人達
例えば、DR生が ABC予想を使わず３年研究してDR論文完成直前、他人が同じ結果をABCを定理として使って先に論文を発表したとする
まあ、証明手法が違うにしても、結論は同じ。もっと悪いケースは、その他人の結論が結構広い定理で、DR生の結果はその1つの系にすぎないとか
（悩みますよね、これでDR論文になるのか？ ってねｗ（＾＾； ）
７．なので、海外研究者たちは「RIMSよ、だまってないで説明しろよ、おい！」（下記ご参照）ってことでしょうね（＾＾
（参考）
URLﾘﾝｸ(www.asahi.com)
朝日新聞デジタル
ABC予想「証明は本当か？」 欧米で論文に異議相次ぐ
有料会員限定記事
石倉徹也
2020年5月3日 9時00分
「不可解な数学の証明が出版される」
英科学誌ニューサイエンティストは4月6日、そんなタイトルの記事を掲載した。フィールズ賞を30歳で受賞した若き天才、独ボン大のピーター・ショルツ教授が「論文には深刻で修正不能な飛躍がある」と批判したのを紹介。英国のある数学者は「証明には欠陥があるという見方に変わってきている。あるグループでだけ認められ、他では認められていないのは悪い状況だ」と指摘した。
52:現代数学の系譜 雑談
20/05/04 22:34:50.31 ncpDqOGk.net
>>33 追加
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
数学教室の講義ノート 京大
森脇講義ノート
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
アラケロフ幾何入門 ? ボゴモロフ予想に向けて ?
川口 周，森脇 淳，山木 壱彦 Date: 1/March/1999, 5:00PM, (Version 1.0)
(抜粋)
目次
序 3
1. 算術的 Chow群 4
1.1. イントロダクション 4
1.2. カレント 6
1.3. 算術的多様体，算術的 Chow群 12
1.4. 算術的交叉理論 14
1.5. 算術的 Chow 群の拡張と算術的サイクルの押し出し 15
1.6. 算術的多様体の高さ 17
2. 算術的リーマン・ロッホの定理 19
最近のアラケロフ幾何の発展は著しいものがあり，数論幾何の重要な一部門を形成してる．
いろいろな方面からの要望に答え，アラケロフ幾何入門を目的とした勉強会“ アラケロフ幾
何とその周辺 ”を１９９８年１２月８日～１０日に行った．このノートは，その勉強会のう
ちアラケロフ幾何入門の講義をもとに作成したものである．
上の勉強会を催すにあたり，二つの選択肢があった．一つは
1.1. イントロダクション. アラケロフ幾何とは，おおまかに言って
体上の代数多様体の代りに，Z 上のスキームと 1 点
ベクトル束の代りに，1 点に計量の入ったベクトル束
を考えるというのものである．
Szpiro は アラケロフ幾何について
Put metrics at infinity on vector bundles and you will have a geometric intuition of compact varieties to help you.
と言っている（[27]）．
このことを簡単な場合だが，コンパクトリーマン面と Spec(Z) を対
比させることによって見てみよう．
53:１３２人目の素数さん
20/05/04 22:37:32.07 XBGxFPW5.net
>>45
「査読はSSレポート（2018）の後、２年かけてされたので、
SSレポートは否定されたと見て良い」
朝日新聞では、
「PRIMSの編集委員会は会見で、望月教授がショルツ氏の批判に対して反論したあとに再反論がなかったと説明したが、ショルツ氏は「望月教授は実質的な反論をしていない」と語った。」
これは同解釈すればよいのでしょう
54:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/04 22:45:36 ncpDqOGk.net
>>46
追加
コピー 文字化けご容赦（原文を見て下さい）
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
数学教室の講義ノート
森脇講義ノート
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
Diophantus 幾何入門 Diophantus幾何入門 Mordell-Faltingsの定理に向けて 森脇淳 1995
序
本講義の目的は， ! の定理
「代数体上定義された種数が 以上の曲線の有理点は有限個である．」
の完全な証明を与えることにある．この定理は，今世紀中には証明は無理かもしれないと言わ
れていたが， 年に ! "??# によって証明され，その業績により彼がフィールズ賞を
とったことは周知のことと思う．当時の証明は，相当高度な数論幾何の手法によっていたが，
??$ "??# によってなされた古典的な%&' ( 近似の手法の高次元化によりかなり初等的
になった．この後，すぐにこの手法は ! "# によりさらに一般化された．しかし，彼ら
の方法には，一つだけ初等的でない箇所が含まれていた．それは，いわゆるアラケロフ幾何の
部分で，例えば， ??$ は 次元の数論多様体上の当時確立されたばかりの数論的リーマン・
ロッホを用いていた．その部分をさらに初等化したのが)* "# で，つまるところ数論
的リーマン・ロッホは%+' の部屋割り論法に置き換わった． )* の証明をもとに，
%&' ( 幾何の基本事項をおさえながら， ! の定理に迫ろうというのが講
義の主旨である．
55:１３２人目の素数さん
20/05/04 22:47:13 UASz6xYg.net
じゃあ貼るなよ
56:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/04 22:55:35 ncpDqOGk.net
>>47
どうも
コメントありがとう
その話は、朝日のアホやね
Woitブログを見れば分かります（＾＾；
テンプレ>>3に
＜アンチIUT＞
URLﾘﾝｸ(www.math.columbia.edu) （woitブログ）
Not Even Wrong Latest on abc Posted on April 3, 2020 by woit
があって、Peter Scholze says vs Taylor Dupuy says のバトルがあって
結果は
”Peter Scholze says:
May 1, 2020 at 4:42 pm
Dear Taylor,
The same happens for everything else I’ve seen in IUT or your comments.
I’m happy to continue any further discussions by e-mail.
Best wishes!
Peter”
つまりは、平行線で、お互い譲らず （当然、Taylor Dupuy saysが望月側って分かりますよね（＾＾ ）
あとは、 by e-mail となりました
はてさて、どこまで平行線？ｗ（＾＾；
まあ、私は Taylor Dupuy saysの勝利と見ています（＾＾
57:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/04 22:57:07 ncpDqOGk.net
>>49
分かってないな
こうやって、貼っておけば、キーワードくらいは入るので、キーワード検索に便利なんだ
分かってないなｗ（＾＾；
58:１３２人目の素数さん
20/05/04 23:06:53 XBGxFPW5.net
>>50
ということは
「SSレポートは否定されたと見て良い」
とはまだいえないわけですね
59:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/04 23:22:07 ncpDqOGk.net
>>52
>「SSレポートは否定されたと見て良い」
>とはまだいえないわけですね
１．もし、数学の神様が居れば、SSレポートの成否 あるいは IUT証明の成否 は、決まっていて、はっきり言えるでしょうね
２．しかし、神ならぬ人の判断は、絶対ということはない
３．では、神ならぬ人で、分からないなりにも、判断をしなければならない、そういうことは人生いろいろある
（例えば、自分は数学科へ進学すべきか、それとも他の学科を選ぶべきか？ 正解はだれにも分からない。決断するしかない。そして、その決断が良い結果になるように努力すこと。あるいは、軌道修正をすることは、人の力で可能だ）
・IUTで言えば
１）柏原・玉川両先生を含む査読者複数人は、「SSレポートは否定、IUT証明は肯定」と判断した。これは事実です
２）もちろん、当人の望月は当然として、使徒の星、山下、南出、海外のFesenko氏、Porowski氏、Dupuy氏、Joshi氏 も同じ
３）一方、ショルツ先生は納得していないのは確かです。でも、Woitブログの後のアンチはザコです。それ以外の海外の大物は、思案し情報を集めていると見ています（「RIMS発表？ どなってんだ？」でしょうね）
事実は、これだけ
もし、自分がDR生で数論の研究テーマを決める立場ならどう考えるかですね
そうでなければ、焦らずヤジウマで良いでしょう。結果は、１～２年で出るでしょう（＾＾
60:１３２人目の素数さん
20/05/05 00:55:38 CoRXqE68.net
>>15
英語も出来ない馬鹿は引っ込んでろよ。
61:１３２人目の素数さん
20/05/05 00:57:11 CoRXqE68.net
>>15
Akshay VenkateshはABC予想はまだ証明されてないって意見に同意しているんだよ。
英語を勉強して出直してこい。ボケ。
62:１３２人目の素数さん
20/05/05 00:59:32 CoRXqE68.net
ったく京大数理解析研究所は何を考えてんだか。
愚かなことをしたもんだ。
ABCはまだ定理で�
63:ﾍないよ。
64:１３２人目の素数さん
20/05/05 01:00:52 CoRXqE68.net
だいたい柏原さんはIUT論文を読んだのかね？
絶対に読んでないと思うぞ。
完全に彼の専門外だしね。
65:１３２人目の素数さん
20/05/05 04:29:14.28 CUPHdlAd.net
議論が不利になってきたと見るやWoitはScholzeに最後に書かせてDupuyに
反論の場を与えずに書き込み禁止にして逃げやがった。どこまで卑怯者なのだろうか。
66:１３２人目の素数さん
20/05/05 05:10:11 ddqp20mm.net
Scholze「ソラキレイ」
67:１３２人目の素数さん
20/05/05 06:37:08 rI5pU1O5.net
Woitブログで Robertsに「Koshikawa」と書かれたは、
SSレポートが誤りと認めたか否かを、以前のスレに書かれてた人だよね。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
David Roberts says:
April 30, 2020 at 8:23 pm
@JE is this ‘specific mathematician’ Teruhisa Koshikawa?
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
Woitの２つめブログも、pdfで記録して閉める、話が出ている様だけど、
最後になりそうな「RIMSの違う意見の者」の話題で登場するとは、よほどの巡り合わせだな。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－ーー
Inter-universal geometry と ABC予想 28
11 １３２人目の素数さん2018/06/09(土) 20:09:25.82ID:pResKOWG
>>9
Inter-universal geometry と ABC予想 25
0654 １３２人目の素数さん 2018/04/03
14:25:19
>>473
(加藤和也先生の2018)レクチャーノート
>Peter Scholze, who everyone thinks is
the greatest mathematician of this generation,
says he cannot deduce 3.12 (which is the ABC
conjecture, in paper #4) from 3.11
(a summary of the first 3 ABC papers)
in Mochizuki’s papers.
>Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction is
self-evident.
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
13１３２人目の素数さん2018/06/09(土) 20:16:27.19ID:lShLrM9+
>>9
貼るならself-evidentのくだりが削除されてないやつを貼れよ無能
68:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 07:55:25 dnbV/fKk.net
>>60
コメントありがとう
興味深く読みました
”>Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction is
self-evident.”
の話は、本スレでも出ていたね（今年の4月3日の記者会見後に）
で、それは2018年当時のKoshikawaで
「越川先生は、いまどう考えているのか」だった
”Cor3.12は証明になっていない”と直接聞いたってことだったと記憶している
つまりは、私の記憶では、Cor3.12は2018年当時は、”self-evident”に近い簡単な記載であって
それがSSとの論争と文書のやり取りの後
さらなる査読の過程で、Cor3.12の証明が追加補強されたと推察しています
（改訂経緯を、きちんとフォローできていないが）
なので、「越川先生は、いまどう考えているのか」がポイント
かつ「いまの査読の過程で Cor3.12の証明が追加補強された版を読んで」どう思うかが、もう一つのポイントでしょうね
69:現代数学の系譜 雑談
20/05/05 08:02:16.08 dnbV/fKk.net
>>61 追加
>David Roberts says:
>April 30, 2020 at 8:23 pm
>@JE is this ‘specific mathematician’ Teruhisa Koshikawa?
ここを追加しておくと
@JE自身が、 Teruhisa Koshikawaに見えるけど
それは、否定されています
つまり
”JE says:
May 1, 2020 at 4:57 am
@Peter and David,
Yes, that’s the tweet. ”です
この”Yes, that’s the tweet. ”は、下記の
”Peter Woit says:
April 30, 2020 at 8:58 pm
David Roberts,
I assume JE is referring to this tweet
URLﾘﾝｸ(twitter.com)”
です！
(deleted an unsolicited ad)
70:I couldn't agree more
20/05/05 08:05:21.55 zuve741i.net
>>12 2020/05/04(月) 10:37:50.09ID:Tp3a9Fy/
>ヴァンガテッシュが支持してるの？
>>15 2020/05/04(月) 11:05:04.21ID:ncpDqOGk
>Akshay Venkatesh says:
>I couldn’t agree more.
>>21 2020/05/04(月) 11:41:48.12ID:2UDnodF0
>英語もろくに読めず誤情報を拡散するから最悪
>ググるくらいしろよ。
>>24 2020/05/04(月) 11:44:25.33ID:ncpDqOGk
>で？
>>55 2020/05/05(火) 00:57:11.03ID:CoRXqE68
>Akshay Venkateshは
>ABC予想はまだ証明されてない
>って意見に同意しているんだよ。
>英語を勉強して出直してこい。
I couldn't agree more
ｇｏｏｇｌｅ自動翻訳の結果は
「私はこれ以上同意できませんでした」
しかし、実際は・・・
URLﾘﾝｸ(ejje.weblio.jp)
I couldn't agree more
「まったく賛成である」（大賛成）
参考
URLﾘﾝｸ(englishlands.net)
URLﾘﾝｸ(nic-english.com)
71:現代数学の系譜 雑談
20/05/05 08:06:53.25 dnbV/fKk.net
>>58
>議論が不利になってきたと見るやWoitはScholzeに最後に書かせてDupuyに
>反論の場を与えずに書き込み禁止にして逃げやがった。どこまで卑怯者なのだろうか。
それはないでしょう？（＾＾；
下記のような提案もあるし
どうなるか不明ですが
URLﾘﾝｸ(www.math.columbia.edu)
David Roberts says:
May 3, 2020 at 5:52 pm
Hi Peter, I think it worth including *in the pdf document* a mention that the discussion continued, and give a link back.
You mentioned that there was content before the first comment you included, so why not also say the discussion continued?
Not everyone reading that document will come to it by a link from your blog post where you mention this.
I say this merely from the point of view of having a coherent scholarly record (whatever one’s view of the various positions).
72:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 08:18:06 dnbV/fKk.net
>>57
>だいたい柏原さんはIUT論文を読んだのかね？
>絶対に読んでないと思うぞ。
>完全に彼の専門外だしね。
”論文を読む”を、どう定義するかも問題だが
それは、未定義としてｗ（＾＾
全く読んでないってこともないでしょう
”Masaki Kashiwara, head of the team that examined the professor’s theory”（下記）を信じればね
自分が、「正しい」と確信を持てる程度には、読んだのでは？
URLﾘﾝｸ(www.math.columbia.edu)
JE says:
May 1, 2020 at 4:57 am
(Kashiwara was presented as head of the team that examined professor Mochizuki’s theory, see e.g. URLﾘﾝｸ(www.japantimes.co.jp))
（上記URLから抜粋)
URLﾘﾝｸ(www.japantimes.co.jp)
Genius triumphs: Japanese mathematician's solution to number theory riddle validated japantimes KYODO, JIJI APR 4, 2020
“There are a number of new notions and it was hard to understand them,” Masaki Kashiwara, head of the team that examined the professor’s theory, said at a news conference.
73:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 08:37:08 dnbV/fKk.net
>>55
>Akshay VenkateshはABC予想はまだ証明されてないって意見に同意しているんだよ。
>英語を勉強して出直してこい。ボケ。
その解釈もありだとは思うけどね（＾＾；
（>>15より）
URLﾘﾝｸ(www.galoisrepresentations.com)
The ABC conjecture has (still) not been proved
Posted on December 17, 2017 by Persiflage
(抜粋)
Akshay Venkatesh says:
December 18, 2017 at 8:45 am
I couldn’t agree more.
(引用終り)
この発言のすぐ後に、有名なTerence Tao saysがあって、当時そちらしか見ていなかったんだｗ
”Terence Tao says:
December 18, 2017 at 2:46 pm
Thanks for this. I do not have the expertise to have an informed first-hand opinion on Mochizuki’s work,
but on comparing this story with the work of Perelman and Yitang Zhang you mentioned that I am much more familiar with,
one striking difference to me has been the presence of short “proof of concept” statements in the latter but not in the former,
by which I mean ways in which the methods in the papers in question can be used relatively quickly to obtain new non-trivial results of interest
(or even a new proof of an existing non-trivial result) in an existing field.
In the case of Perelman’s work, already by the fifth page of the first paper Perelman had a novel interpretation of Ricci flow as a gradient flow which looked very promising,・・”
Venkateshは、2017年はまだフィールズ賞受賞前だし、目にとまらなかった
で、かれの”I couldn’t agree more.”をどう解釈するかだが、私は「アンチには不同意」と読んだよ（否定文だし）
単に、「まだ証明されてないって意見」でも、ほとんど意味同じでしょうね（アンチが多いのだから）
なお、Venkateshは、IUT IVの組合わせ論にコメントして、謝辞に名前がでているが
私の推理では、Venkateshはフェセンコ先生から言われて、IUT IVの組合わせ論を見たんじゃ無いかな？
Venkateshはフェセンコ先生の弟子だから、多分ね（＾＾；
74:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 08:44:15 dnbV/fKk.net
>>63
どうも、コメントありがとう
なるほど、”I couldn’t agree more.”は、慣用句か
そういう気もしたな（＾＾；
だが、>>66
単に、「まだ証明されてないって意見」でも、ほとんど意味同じでしょうね（アンチが多いのだから）
ってことだったでしょうね
2017年当時としては
2020年の今、Akshay Venkateshがどう考えているのか？
その情報はだれも有していない
2017年は過去でしかない
それが事実です
75:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 09:18:25 dnbV/fKk.net
>>66 補足
>なお、Venkateshは、IUT IVの組合わせ論にコメントして、謝辞に名前がでているが
>私の推理では、Venkateshはフェセンコ先生から言われて、IUT IVの組合わせ論を見たんじゃ無いかな？
>Venkateshはフェセンコ先生の弟子だから、多分ね（＾＾；
IUT IV で、Venkateshは、P8謝辞とP36の２箇所に出てきます（＾＾
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨
LOG-VOLUME COMPUTATIONS AND
SET-THEORETIC FOUNDATIONS
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
Remark 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.
76:I couldn't agree less
20/05/05 09:42:16.12 zuve741i.net
>>67
>なるほど、”I couldn’t agree more.”は、慣用句か
Yes, Sure.
>だが、
>「アンチには不同意」と読んだよ
>単に、「まだ証明されてないって意見」でも、
>ほとんど意味同じでしょうね
>ってことだったでしょうね
I couldn't agree less.
URLﾘﾝｸ(ncode.syosetu.com)
77:１３２人目の素数さん
20/05/05 10:06:29 b2IqdVzK.net
3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ，
宿題が 3/10 = 30% でした！
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです！
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
78:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 10:07:26 dnbV/fKk.net
>>69
あのさ、”I couldn’t agree more.”は、慣用句
は、良いけど、コンテキスト（文脈とか背景）を考えないと
真意は解釈できないと思うんだけど、維新さんかな？
例えば、日本語で「結構です」という発言を”遠慮”（もういらない）と解釈するか
あるいは、「結構ですね」（＝素晴らしい）と解釈するかの違いみたいなものです
Venkatesh氏が、>>66の
”The ABC conjecture has (still) not been proved Posted on December 17, 2017 by Persiflage”
に登場して、１行
79:コメントをして行った ”agree”って、何に対して agreeしているか？ も明言していない。だから、文脈から推察するしかないのです さて、Venkatesh氏はこの後2018年にフィールズ賞受賞して、フェセンコ先生のDR生だったという また、>>68に引用したが、望月 IUT IV に名前が挙がっているように、IUT IV の組合わせ論に 意見を寄せているのですよ ということは、ショルツ先生らの「IUT全面否定」の立場とは、全く違うと分かる では、なぜ「１行コメントをして行った」のか？ 「IUTは証明になっていない」ではなく、「IUTの証明はまだ検証されていない」に賛成だと つまりは、「アンチたち、そう騒ぎなさんな」と、いう意図でしょ まあ、ここは”アンチ”と 応援団の私とは、解釈が分かれるとは思いますがね（；ｐ （参考） http://nihonngokyoushi-naniwanikki.blog.jp/archives/68351179.html ゆるゆる日本語教師 なにわ日記 2016年12月30日 そうは言ってもやっぱり日本語ってハイコンテキストになりやすい言語じゃない？ (抜粋) 世界の言語の中で、言語学的に考えて日本語がどの程度文脈依存度（文脈によって意味が変わる度合い）が高いのか、あるいは低いのかっていうのは、偉くて賢い言語学者さんたちにお任せして、私は今回は日本語の特徴と日本社会の傾向からこの日本語の文脈依存について書いてみます。 で、前提として文脈依存度が高いのがハイコンテキスト、低いのがローコンテキストです。 これだけの情報しか無い文っていうのは、前後の文や他の情報も含めて文脈でどっちの意味だか判断しないといけないというワケです。
80:１３２人目の素数さん
20/05/05 10:16:56.71 hCItBH1c.net
Fesenkoってよく解らん立ち位置だな。
山下からは『理解したふり』ってバカにされてたり、
望月からは特に感謝されてたり、
弟子は共著でIUT関連のでかい発表控えてるし、
81:１３２人目の素数さん
20/05/05 10:29:22 kGB3j7wQ.net
ヴァンガテッシュの賛意はブログの内容にだよ。
そこは完全に読み違い。
82:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 10:32:23 dnbV/fKk.net
>>72
どうも
コメントありがとう
>Fesenkoってよく解らん立ち位置だな。
IUT賛成派か、おそらくは理解派でしょう（と見ました）
>山下からは『理解したふり』ってバカにされてたり、
この話は、ヤジウマとしては
結構面白いのですが
記憶では、山下先生がサーベイをリリースしたときに（あるいは事前の閲覧で）
サーベイを酷評したようです
それに怒った山下先生が、おまえこそIUTを分かっていない（『理解したふり』）
と口論になった
（あと、些末ですが、メールの引用を改竄したとか、重箱の隅みたいな論争もありましたね）
（なお、繰り返し指摘しておきますが、山下先生 サーベイは、望月先生のサイトからはリンクがありませんね。リンクくらいしてやれば良いと思うが。あるいは、不備があるなら、きちんと指摘して直すように指示すべき。リンクしないのは中途半端ですよね（＾＾； ）
>弟子は共著でIUT関連のでかい発表控えてるし、
そうそう、南出先生が、Fesenko研に留学して、Porowski氏（Fesenko研のDR生だったと記憶していますが）と共同研究をしているとか（下記）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(in%20progress).pdf
南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライドを掲載 （November 2, 2018 東工大講演）
83:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 10:33:38 dnbV/fKk.net
>>73
どうも
コメントありがとう
>ヴァンガテッシュの賛意はブログの内容にだよ。
>そこは完全に読み違い。
まあ、それもありでしょうね（＾＾；
84:１３２人目の素数さん
20/05/05 10:44:52.87 kGB3j7wQ.net
>>75
いやいやほんと文脈みたらそう。彼はまだ中立ではないかな。
俺はちなみにミスター維新�
85:ﾅはないよw
86:現代数学の系譜 雑談
20/05/05 10:45:00.95 dnbV/fKk.net
>>74
>Porowski氏（Fesenko研のDR生だったと記憶していますが）
確か、下記があって、2011年の数オリですが、このとき17歳とすると
今年、26歳です。DR生かポスドクか、定かではないですが、私はDR生と見ています
（ああ、Polandの人ですね）
（参考）
URLﾘﾝｸ(www.imo-official.org)
International Mathematical Olympiad
Wojciech Porowski
Year Country P1 P2 P3 P4 P5 P6 Total Rank Rel. Award
2011 Poland 4 0 1 7 7 1 20 171 69.75% Bronze medal
87:現代数学の系譜 雑談
20/05/05 10:49:36.52 dnbV/fKk.net
>>76
どうも
コメントありがとう
>いやいやほんと文脈みたらそう。彼はまだ中立ではないかな。
３分類で
IUT賛成、中立、アンチ（含む ルサンチマン）
で、ヴァンガテッシュの立ち位置は、中立かややIUT賛成と見ました
完全な中立なら、わざわざ書かないのではないかと（＾＾；
>俺はちなみにミスター維新ではないよw
完全同意です！
88:１３２人目の素数さん
20/05/05 11:24:42.13 zuve741i.net
>>71
>”I couldn't agree more.”は、慣用句
”I couldn't agree less.”も、慣用句
>維新さんかな？
この前の選挙なら立民に入れましたが？
…冗談はさておき
貴方の質問に対する私の答えは、
以下の質問に対する貴方の答えと同じ
”Are you a pervert?”
URLﾘﾝｸ(ejje.weblio.jp)
89:１３２人目の素数さん
20/05/05 11:39:07.36 m/Psfi18.net
このままでは、
望月先生は大天才か大ペテン師か？
の二択になっちゃうね。
先生のために援護射撃するのが弟子の役割と思うが？
まともな弟子はいないのかね？
90:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 12:52:08 dnbV/fKk.net
>>80
どうも
>望月先生は大天才か大ペテン師か？
>の二択になっちゃうね。
そうかも知れないが
世の中、そういう陰謀論みたいなのが、結構横行するものです（＾＾
>先生のために援護射撃するのが弟子の役割と思うが？
柏原・玉川両先生が
援護射撃しているのにですか？
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
陰謀論の一覧
(抜粋)
2 世界秩序再構築に関する陰謀説
2.1 世界統一政府陰謀説
3 科学技術に関する陰謀論
3.6 アポロ計画陰謀論
3.8 地震兵器
3.9 気象兵器
3.11 地球温暖化陰謀説
URLﾘﾝｸ(ja.wikipedia.org)
陰謀論
91:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 13:09:22 dnbV/fKk.net
>>77 補足
>確か、下記があって、2011年の数オリですが、このとき17歳とすると
>今年、26歳です。DR生かポスドクか、定かではないですが、私はDR生と見ています
DR生にIUT論文を書かせるということは
前に Hilado氏の場合にも書いたけど
指導教授としては、生半可な覚悟では、そんなことはさせられない
もし、IUTがこけたら、DR論文もドボンですから
もし、Porowski氏が Fesenko研のDR生だったら（きっとそうではないかと思っていますが）
Fesenko先生も、IUTに対するそれなりの自信と覚悟がないと、DR生にIUT論文を書かせられない
Fesenko先生の趣味でお気楽に書く論文とは
わけが違います！（＾＾；
Porowski氏のDR論文に戻ると、IUTが弱いバージョンに後退していたのを
強いバージョンが導けることを示したとなると、もしIUTが成立なら、日本なら数学会賞もの（南出先生はそうなるかも）
一方で、IUTこけたら？
Porowski氏のDR論文は、紙くず同然
大学・研究所への就職履歴書に、研究内容を書くとき
輝けるIUT論文になるか、あるいは紙くずIUTに関する論文になるのか？
それは
天と地の違いになるのです
だから、Fesenko先生も
IUTに対するそれなりの自信と覚悟があると見て 間違いないのです！（＾＾；
92:１３２人目の素数さん
20/05/05 13:42:03 zuve741i.net
URLﾘﾝｸ(www.genealogy.math.ndsu.nodak.edu)
ショルツ、ヴェンカテシュと同じく、2018年にフィールズ賞を受賞した
コーチェル・ビルカーは、フェセンコの弟子だそうだ
ちなみにクルド人で、本名は Fereydoun Derakhshani
ヴェンカテシュはインド人だし、
数学で人種なんて関係ないことが分かる
93:現代数学の系譜 雑談
20/05/05 13:56:24.05 dnbV/fKk.net
>>25
>分離閉包 Ksep ね
>いまどきの 数学科の学部で Ksep やるのかな？
>ふと思ってね（＾＾
手元の”ガロア理論講義 増補版 足立恒雄”（私のは2010年版だが）
P89 「4.2 分離閉包」という章があるね
しかし、ここでの扱いは、「分離閉包が体になる」という命題としての扱いだけだな
”Gal(Ksep/K) 絶対ガロア群”の視点からの扱いではないな
なお、足立本には、”第７章 無限次ガロア拡大の理論”が入っているのが、大きな特徴なのですが
ここでも、”Gal(Ksep/K) 絶対ガロア群”の視点はないな！ｗ（＾＾；
(参考)
URLﾘﾝｸ(www.nippyo.co.jp)
シリーズ：日評数学選書
ガロア理論講義 増補版 足立恒雄 2003.04
内容紹介
数学科・情報学科での10年余にわたる講義をふまえて書き下ろされた旧版は好評を博した。その2章「代数系入門」と5章「ガロア理論とその応用」に加筆することで、代数学の入門書としても使えることを目指した。
目次
第３章 有限体論
１ 有限体論の基礎
２ 有限体のガロア理論
第４章 体論
１ 分離性
２ 分離閉包
３ 正規拡大
第７章 無限次ガロア拡大の理論
１ 位相空間
２ 位相群
３ プロ有限群
４ 無限次ガロア拡大
（余談）
●正誤表
数式は TeX の表記に従います．
21 ページ，下から 4 行目
誤：det|...|
正：|...| (det を取る)
24 ページ，下から 12 行目
誤：xy = yx
正：xcdot y = ycdot x
35 ページ，上から 4 行目
誤：= (x_1y_1, x_1y_2)
正：= (x_1y_1, x_2y_2)
197 ページ，下から 11 行目
誤：(ki)(kj)(ji)
正：(ki)(kj)(ki)
訂正してお詫びします．
94:現代数学の系譜 雑談
20/05/05 13:59:03.81 dnbV/fKk.net
>>83
どもう
レスありがとう
>ショルツ、ヴェンカテシュと同じく、2018年にフィールズ賞を受賞した
>コーチェル・ビルカーは、フェセンコの弟子だそうだ
>ちなみにクルド人で、本名は Fereydoun Derakhshani
そうか
ビルカー氏が、フェセンコの弟子だったか
なるほど
>ヴェンカテシュはインド人だし、
>数学で人種なんて関係ないことが分かる
同意です（＾＾；
95:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 14:16:48 dnbV/fKk.net
>>84 補足
ついでに
雪江明彦 「代数学３」を見たけど、分離閉包は扱われていなかった
Coxのガロア本も、分離閉包は無かったな
アルティン本も、記憶では無かった思う
Van der van der Waerden ”Moderne Algebra”は、手元に無いが（読んでもいない チラ見のみ）、多分ないんじゃないかな？（＾＾
”分離閉包 Ksep”、”Gal(Ksep/K) 絶対ガロア群”
は、学部では やらないような 気がするな（＾＾
（参考）
URLﾘﾝｸ(books.google.co.jp)
Moderne Algebra
著者: Bartel Eckmann L. Van der van der Waerden、 1937
96:１３２人目の素数さん
20/05/05 14:29:42 kGB3j7wQ.net
ベンカデシュはフェセンコの弟子なの？
97:１３２人目の素数さん
20/05/05 14:30:10 kGB3j7wQ.net
そこまでは知らなんだ
98:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 14:41:16 dnbV/fKk.net
>>85
>ショルツ、ヴェンカテシュと同じく、2018年にフィールズ賞を受賞した
>コーチェル・ビルカーは、フェセンコの弟子だそうだ
>ちなみにクルド人で、本名は Fereydoun Derakhshani
ヴェンカテシュ氏は、フェセンコ氏の弟子ではなく
ビルカーは、フェセンコの弟子です
よって、下記 慎んで訂正しますｍ（＿ ＿）ｍ
＜訂正＞
>>66
私の推理では、Venkateshはフェセンコ先生から言われて、IUT IVの組合わせ論を見たんじゃ無いかな？
Venkateshはフェセンコ先生の弟子だから、多分ね（＾＾；
↓
２行削除
>>68
>私の推理では、Venkateshはフェセンコ先生から言われて、IUT IVの組合わせ論を見たんじゃ無いかな？
>Venkateshはフェセンコ先生の弟子だから、多分ね（＾＾；
↓
２行削除
>>71
さて、Venkatesh氏はこの後2018年にフィールズ賞受賞して、フェセンコ先生のDR生だったという
↓
１行削除
99:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 14:42:18 dnbV/fKk.net
>>87-88
すんません
訂正しました
>>89 訂正ご参照（＾＾；
100:１３２人目の素数さん
20/05/05 14:46:32 e88TWnia.net
なんか分離閉包の話がしたいみたいだから教えておいてあげると、
ここのスレ主が読んだというノイキルヒ本
「代数的整数論（ノイキルヒ，Ｊ．【著】/足立 恒雄【監修】/梅垣 敦紀【訳】）」
にはちゃんと載っているよ
まさに無限次Galois理論の導入部で、絶対Galois群が定義されている
俺の手元にある版（初版2刷）だと、
P. 269, 第?章 一般類体論, §1. 無限次Galois理論
に書かれている
101:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 14:53:42 dnbV/fKk.net
>>91
ありがとう
ここのスレ主が読んだというノイキルヒ本
↓
ここのスレ主が持っているというノイキルヒ本
ですね
確かに載っているね（＾＾
だが、知りたいのは
2020年の数学科の学部で、分離閉包とか絶対Galois群とかを、どこまで教えるのか？ ってことなんだけど
調べた限りでは、普通は 分離閉包とか絶対Galois群とかは、学部の範囲外じゃね？（＾＾；
102:１３２人目の素数さん
20/05/05 15:10:24 B4L1lDg4.net
>>83
印度からロシアにかけての一帯は数学に強い人間が多い。
クルド人数学者がいてもおどろきはない。
問題は黒人だ。黒人って数学者とか理系技術者とかほとんどいないイメージ。
103:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:16:55 dnbV/fKk.net
>>93
悪いけど
話が黒人うんぬんまで行くと、さすがにスレチでしょ
別スレでやってよ（＾＾；
104:１３２人目の素数さん
20/05/05 15:23:31 zuve741i.net
>>79の質問の答えがかえってきませんが
pervertの意味がわかったみたいですね
pervertとは
主な意味
曲解する、(…を)誤用する、悪用する、邪道に導く、邪教に誘う、誤らせる
動詞 他動詞
1〈言葉などを〉曲解する.
2〈…を〉誤用する，悪用する.
3a〈人を〉邪道に導く，邪教に誘う.
b〈判断などを〉誤らせる.
名詞 可算名詞
1邪道に陥った人; 背教者.
2変質者; 性欲倒錯者.
これは人から聞いた話ですが
ある人が数学雑誌の記事を読んで
「この記事は間違ってる！」
と数年間延々と主張しているそうです
その人がいうには
大学の数学科の講義を受けた人なら
間違ってることがわかるそうです
ただその人は数学科の出身ではないとのことですが
その話を教えてくれた人に 実際どうなのか尋ねたら
集合論のある公理がわかる人なら記事の正しさがわかる
間違ってると思うのは集合論のある公理が分かってないんだろう
といっていました
pervertの意味を知って、上記の人を思い出しました
105:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:28:54 dnbV/fKk.net
>>95
ご苦労さん
ここはIUT応援スレです
あなたの巣は、あちらですよｗ（＾＾；
みなさん、帰りを待ちわびていますよｗｗ
Inter-universal geometry と ABC予想 否定派2
ｽﾚﾘﾝｸ(math板)
106:1-
107:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:33:59 dnbV/fKk.net
本スレから
下記、ある程度専門知識を求めるのは、現代数学では当然では？
遠アーベルの知識の無い人が、「IUT読めない」とか言っても、「それ当たり前」としか言えないでしょ？（＾＾；
Inter-universal geometry と ABC予想 51
ｽﾚﾘﾝｸ(math板:944番)
944 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 15:07:18.77 ID:21NAviIx [6/6]
Woitは
「一方の側（Scholze-Stix）は純粋に数学的な議論をしているが、
もう一方の側（望月-Fesenko）は自分に反対する人の力量について異常なまでに公的な議論をしている。
この非対称性の存在は、どちらの側が数学的に正しいかの証拠である�
108:B」 といっているが、大方の人はだいたいこんな印象をもっていると思う
109:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:38:12 dnbV/fKk.net
本スレから
下記、機械検証をやるのは、みんな自由だし、例えば欧州数学会が、機械検証やって、「IUTアウト！」もありじゃない？
そしたら、RIMS側は、その機械検証の検証をやることになりますよね
決着早くなるから、大賛成ですよｗ（＾＾；
Inter-universal geometry と ABC予想 51
ｽﾚﾘﾝｸ(math板:932番)-938
932 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 14:33:36.01 ID:B4L1lDg4 [7/7]
擁護派って、もうだいぶ前から、数学的真理の擁護じゃなくて
望月とRIMSの強弁をいかに擁護するかの「弁護士の論理（小保方の論理）」になってるよね。
だから、たとえば3.12だけでも「機械検証ができないか」って水を向けられたら、
機械検証からいかに逃れるかの理屈が返って来るｗ
もはや数学的真理などどうでもいのだろう。
938 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 14:53:12.59 ID:zuve741i [3/3]
>>932
＞「機械検証ができないか」
It's a great idea!
どれだけ時間がかかるかわかりませんが
是非実施すべきでしょう
拒む理由は全くありません
110:１３２人目の素数さん
20/05/05 15:41:21 XdFD5D+4.net
Stixが遠アーベルの知識がない人扱いはさすがに無理があるだろ
111:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:56:46 dnbV/fKk.net
>>99
１．Stix氏 とショルツ氏とは、分けた方が良いのでは？
２．ショルツ氏が、Stix氏と一緒に議論したいというならともかく、いまの展開は一人で論陣を張っているし
３．IUTが正しいとして、Stix氏 とショルツ氏とが、同時に了解納得しない可能性もある
４．どちらが先でも良いけど、遠アーベルの距離位相を入れると、 Stix氏 ＞ ショルツ氏 だから、Stix氏の方が早く納得する可能性大でしょ
（現実にそういう兆候がある。Stix氏は沈黙している。多分、もう一度IUTをチェックしていると思うよ。なにせ、玉川先生が太鼓判を押したのだからね（＾＾； ）
112:IUT応援団 入団希望者
20/05/05 16:01:03 zuve741i.net
押忍！
私はIUT応援団の入団を希望します！
日本人として というより 数学の発展を願って！
望月氏には、論理的に隙のない記述をお願いしたい！
理解者といわれる方々にも、同様の記述をお願いしたい！
ショルツ氏の指摘に対しても、論理的に隙のない反論をお願いしたい！
それが応援として正しいあり方だと思います！
なんか不透明な経緯で論文が受理とか掲載とかいうのは
かえってIUTの足を引っ張ってるんじゃないかと思います！
フレーーー フレーーー モ・チ・ヅ・キ！
フレ フレ モチヅキ！ フレ フレ モチヅキ！
P.S.
ところで、話は変わりますが
望月氏のHPのデザインがぶっちゃけどうしようもなくダサいです！！！
誰か他の人に頼んだほうがいいんじゃないでしょうか？
少なくとも素人うけは全然違いますよ
113:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 16:06:45 dnbV/fKk.net
>>101
お茶目な維新さんだねぇ～！ｗ（＾＾；
応援いらねーｗ
テンプレ>>3に
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
をアップしてあるだろ？
その応援メッセージ自分で書いてこいよｗ（＾＾；
114:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 16:09:14 dnbV/fKk.net
テンプレ>>2に あるように
”おサル＝サイコパスのピエロ（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo!
115: ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日” 応援団だぁ～？ そんな言葉を信じたら、対サイコパス対策としては、大失敗ですよｗ（＾＾；
116:１３２人目の素数さん
20/05/05 16:26:36 e88TWnia.net
>>92
分離閉包くらいなら学部レベルの体論（ガロア理論）で教える（少なくとも触れるくらいはする）のが標準的だと思う
【例】名城大学
URLﾘﾝｸ(www2.meijo-u.ac.jp)
>2020 年度 後期
>代数学 6 ..... 数学科 3 年 (火曜 3 時限).
>講義 note (最新版) (PDF).
絶対Galois群を学部でやるのは標準的ではないかもね
数論系のセミナーならやってもおかしくはないと思うけど
117:１３２人目の素数さん
20/05/05 16:51:28 jpeHPKcv.net
お維新によるお維新のためのIUT応援
落書きスレ
118:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 16:52:02 dnbV/fKk.net
>>104
どうも
コメントありがとう
見ました
ですが、その名城大学の例は、有限次元の拡大に止まっています
それだと、いまの ノイキルヒの代数的整数論とか、遠アーベルとか、IUTに繋がってこない気がするな（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
代数的閉包
分離閉包
K の代数的閉包 Kalg は、K の Kalg におけるすべての（代数的）分離拡大 を含むような K の唯一の分離拡大 Ksep を含む。この部分拡大は K の分離閉包（separable closure）と呼ばれる。
分離拡大の分離拡大は再び分離拡大であるので、Ksep の2次以上の有限次分離拡大は存在しない。別の言い方をすれば、K は「分離的に閉じている」代数拡大体に含まれている。これは（同型を除いて）本質的にただひとつである[5]。
一般に、K の絶対ガロワ群（英語版）は Ksep の K 上のガロワ群である[6]。
URLﾘﾝｸ(en.wikipedia.org)
Absolute Galois group
In mathematics, the absolute Galois group GK of a field K is the Galois group of Ksep over K, where Ksep is a separable closure of K. Alternatively it is the group of all automorphisms of the algebraic closure of K that fix K. The absolute Galois group is well-defined up to inner automorphism. It is a profinite group.
(When K is a perfect field, Ksep is the same as an algebraic closure Kalg of K. This holds e.g. for K of characteristic zero, or K a finite field.)
URLﾘﾝｸ(ja.wikipedia.org)
射有限群
数学において射有限群（英語: pro-finite group）あるいは副有限群は、有限群の射影系の極限になっているような位相群である。ガロア群やp-進整数を係数とする代数群など、数論的に興味深い様々な群が射有限群の構造を持つ。
射有限群は完全不連結でコンパクトなハウスドルフ位相群として定義される。同値な定義として、離散有限群の成す射影系（逆系）の射影極限（逆極限）として得られる位相群に同型であるような群を射有限群と定めるいうこともできる。
目次
1 例
2 性質および事実
3 射有限完備化
4 入射有限群
119:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 16:54:06 dnbV/fKk.net
>>105
>お維新によるお維新のためのIUT応援
いいんじゃね？ おサルの勝手でしょｗ（＾＾；
放し飼いでｗｗ
>落書きスレ
5chなんて、どこも似たようなものですよ（＾＾
120:IUT応援団 入団希望者
20/05/05 17:00:40 zuve741i.net
押忍！
維新？ダサいですね
カッコイイのは・・・革命！
望月氏のブログ もちろん拝見してますが
文章はともかく、デザインが壊滅的にダサい・・・
団長はこんなデザインで世間に支持されると本気で思ってますか？
中身が良ければ外見なんて・・・というのは間違ってます
見た目をよくして初めて中身に注目される それが現実ですよ
P.S.
私が団員になりましたら、綱紀粛正のため
非数学的なこという"pervert"は
容赦なく退団させたいと思います
応援団として百害あって一利なし、ですから
121:１３２人目の素数さん
20/05/05 17:38:47 n4ocWG4O.net
>>93
中世で世界最先端の数学だったのはイスラム世界だからね
医学も世界最先端はイスラム世界でイスラム医学書は19世紀になってもオックスフォード大学の教科書だった
イスラム圏 ＝ 先進国
西欧 ＝ 発展途上国
だった事実は常識だからね
そもそも数字自体が「アラビア数字」が世界標準
これだけでも分かるよな
122:１３２人目の素数さん
20/05/05 17:44:52 qGIxHvpU.net
イスラムは東ローマ帝国を潰して
地理学
歴史学
数学
天文学
を盗んだ
123:１３２人目の素数さん
20/05/05 17:50:53.82 3I7cXK8P.net
～ローマ帝国は
プトレマイオス朝エジプトから～
バビロニアまで遡りますか？
124:１３２人目の素数さん
20/05/05 17:53:50.97 e88TWnia.net
>>106
>ですが、その名城大学の例は、有限次元の拡大に止まっています
>それだと、いまの ノイキルヒの代数的整数論とか、遠アーベルとか、IUTに繋がってこない気がするな（＾＾；
それはそうだろう
だからこそ、ノイキルヒの代数的整数論では懇切丁寧に解説されているわけだし
名城大学の例は、分離閉包の概念くらいは学部レベルでも常識って話
125:現代数学の系譜 雑談
20/05/05 17:55:47.46 dnbV/fKk.net
>>109-111
そういう話も面白いが
それは、数学史スレでも立てたらどう？（＾＾
126:
20/05/05 17:56:33.88 aT8UfUVv.net
>>109
イスラムというよりペルシャ文化という気がします
アラブ人→ペルシャ人vsトルコ人、という時代の流れを感じます
127:現代数学の系譜 雑談
20/05/05 18:05:44.58 dnbV/fKk.net
>>112
同意ですよ
同じことを言っていると思うけど
IUTを 9000ｍ級の山（例えばK2）に例えると
IUT 9000ｍ級 ＞ 遠アーベル 7000ｍ級＊ ＞ ノイキルヒ－内田 5000ｍ級 ＞ 数学修士 3000ｍ級 ＞ 学部1500ｍ級
＊）IUT登山口
ノイキルヒの代数的整数論（を読みこなす）が、学部1500ｍ級 ～ ノイキルヒ－内田 5000ｍ級まで到達
で、IUT がどうのこうのというためには、せめて 遠アーベル 7000ｍ級まで達していないといけない
ショルツ氏が、遠アーベル 7000ｍを超えて、8000ｍとか8500ｍとかじゃないかな？
そこで道に迷ったらしい（＾＾；
一方、Woitとかザコは、せいぜい ノイキルヒ－内田 5000ｍ級で
IUTを論じるには、ぜんぜん足りないんだろうね
おれ？
500～1000ｍ級
関東なら高尾山くらいは登れるだろう（＾＾；
128:現代数学の系譜 雑談
20/05/05 18:08:17.49 dnbV/fKk.net
>>114
C++さん、どうも
レスありがとう
お元気そうで
なによりです（＾＾；
C++さんのご健勝をお祈りします！（＾＾
129:IUT応援団 団員
20/05/05 18:19:05.18 zuve741i.net
>>107
>いいんじゃね？
>勝手でしょ
>放し飼いで
では、入部ということで
押忍！
>>115
>おれ？
>500～1000ｍ級
>関東なら高尾山くらいは登れるだろう
失礼ながら、団長の実力では、天保山(4.53m)がいいところかと
ちなみに前述のPervertは、死海沿岸(-430m)あたりかと
130:１３２人目の素数さん
20/05/05 18:24:34.23 jpeHPKcv.net
>IUTを 9000ｍ級の山（例えばK2）に
例えると
↑
ほんと�
131:ﾏ想の山だな
132:１３２人目の素数さん
20/05/05 18:39:23.45 rI5pU1O5.net
>>1 この応援スレは、
Cor3.12の全てを証明できてない人でも、分かる範囲でギャップを感じないが問題なさそうで応援する、
自分の分からない範囲は「成立するかわからない」で保留する、の条件付きの応援で良いのだよね。
前スレにあるように、
＞Cor3.12は、Theorem 3.11までのIUT幾何（モデル理論をパーツから構築する）と、
＞その前のIUT I~Ⅲでの遠アーベルなどの定理/定義の積み上げる構成、を含むことが分る。
＞これら全ての証明は、原論文が膨大で、長文のサーベイを書く積りがなければ、非現実的だろ~ｗ
>Cor3.12の証明は、単独の者がする必要はなく、類体論の者がモデル理論にフォーカスし、
>それより前は、遠アーベルが分かる者がフォーカスしても、良いと思うが。
>知識の体系は、それぞれの者が自分の専門で分かる範囲を確認し、それが繋がっても成立する。
であれば、
それそれのレベルで分るレベルや範囲が違うけれども、
それぞれの者が「自分の専門や分かる範囲」で確認し、それらが繋がっても成立する可能性について、
「自分の分からない範囲でギャップが出なければ」の条件付きで、応援している者ばかりと思いますが。
そうと感じておりますが、一応のご確認まで。
133:１３２人目の素数さん
20/05/05 18:47:35.05 jpeHPKcv.net
まったくあたらしい数学IUTは
黒を白というお維新の弁護士ディベート
なんだよ
134:１３２人目の素数さん
20/05/05 18:50:24.85 EIT0I70t.net
この人がミスター維新て奴ですか
135:１３２人目の素数さん
20/05/05 19:08:46 jpeHPKcv.net
>IUTを 9000ｍ級の山（例えばK2）に
例えると
136:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:11:58 dnbV/fKk.net
>>121
>この人がミスター維新て奴ですか
お答えします（＾＾
ミスター維新は、>>117
IUT応援団 団員 ID:zuve741iさんです
下記の展開で
銀河鉄道級の脱線やでw
↓
脱線ついでに
維新の支持者ですか？
↓
大阪弁でしゃべってきたのでそういってみました
大した意味はありません
の展開になり、突然”維新の支持者ですか？”に、みんなが揚げ足取り（勇み足？）で
受けたことから、「ミスター維新」と呼ばれるようになりました
（私の呼び方は、旧知の”おサル”（>>2）も、多用しますです、はい （＾＾； ）
（参考）
前 Inter-universal geometry と ABC予想 (応援スレ) 44
ｽﾚﾘﾝｸ(math板:796番)
791 名前：１３２人目の素数さん[] 投稿日：2020/05/03(日) 17:37:23.11 ID:9jUO25pO [15/20]
>>789
銀河鉄道級の脱線やでw
796 名前：１３２人目の素数さん[sage] 投稿日：2020/05/03(日) 17:39:24.09 ID:vVCZgnBw [63/109]
>>791
脱線ついでに
維新の支持者ですか？
862 名前：１３２人目の素数さん[sage] 投稿日：2020/05/03(日) 21:00:36.16 ID:vVCZgnBw [88/109]
>>860
大阪弁でしゃべってきたのでそういってみました
大した意味はありません
137:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:17:53 dnbV/fKk.net
>>120
どうも
レスありがとう
>まったくあたらしい数学IUTは
>黒を白というお維新の弁護士ディベート
>なんだよ
逆ですね
数学IUTはシロだと思っています
ところが、誹謗中傷で、IUTはクロという人がいる
そこで、応援団として「フレ～ フレ～ IUT～！ 」とエールを送っています（＾＾
理不尽な、事実無根の根拠レスの非難は叩きます！
残念ながら、私は 数学は非力なので、数学的の擁護はできませんので 悪しからず（＾＾；
138:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:25:47 dnbV/fKk.net
>>119
どうも
コメントありがとう
>Cor3.12の全てを証明できてない人でも、分かる範囲でギャップを感じないが問題なさそうで応援する、
>自分の分からない範囲は「成立するかわからない」で保留する、の条件付きの応援で良いのだよね。
いいです。当然です。Cor3.12なんて、分かる人世界で20人とか言われます
海外の一流数学者でも「分からない」という人多数ですし
>それぞれの者が「自分の専門や分かる範囲」で確認し、それらが繋がっても成立する可能性について、
>「自分の分からない範囲でギャップが出なければ」の条件付きで、応援している者ばかりと思いますが。
>そうと感じておりますが、一応のご確認まで。
いいですよ
私などは、IUTの数学の部分は、さっぱりです
が、IUTの数学の外、つまり、「RIMSの記者会見が、STAP類似（のゴマカシ）だ」などという
根拠不明の 誹謗中傷は叩きます！！（＾＾；
139:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:33:29 dnbV/fKk.net
>>123 補足
ちょっと補足しておきますと
”862 名前：１３２人目の素数さん[sage] 投稿日：2020/05/03(日) 21:00:36.16 ID:vVCZgnBw [88/109]”
の 88/109 で、”109”が 彼がこの日 一日でスレに投稿した数です
つまり、109もの投稿をしたのですね 一日でね
それを、揶揄している意味もあるのです（モチ 書いている内容がシラケルこともありますが）、”ミスター維新”と名付けて 笑う対象にしているのですｗ（＾＾；
140:IUT応援団 団員
20/05/05 19:36:43 zuve741i.net
>>123
私？維新じゃなく革命を望む熱い魂の持主ですよ
URLﾘﾝｸ(www.youtube.com)
なんでこの動画なのか？ま、いいじゃないですか
>>124
私、IUT応援団員として、IUTの機械検証実現を推進したいですね
まさか団長、IUTの機械検証に自信がないなんていわないですよね？
ちなみに団長は群論の初歩も怪しいとのことなので、
数学で突っ込むのはやめてあげてください_(_ _)_
>>119
IUT応援団はズブの素人でも入会可ですよ
ただし数学的に間違った主張をするpervertはダメですよ
（pervertの意味は>>95を見てくださいね）
141:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:45:55 dnbV/fKk.net
>>127
ええ ええ ID:zuve741i 維新さん
本スレでも、下記の３つ投稿 が ありますね
ご苦労さまですｗ（＾＾；
Inter-universal geometry と ABC予想 51
ｽﾚﾘﾝｸ(math板)
871 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 10:28:14.02 ID:zuve741i [1/3]
>>834
I couldn't agree less
895 名前：Trilemma[] 投稿日：2020/05/05(火) 12:23:05.79 ID:zuve741i [2/3]
IUTに関する
・擁護（賛成)
・中立
・批判（反対)
の三つのシナリオは
938 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 14:53:12.59 ID:zuve741i [3/3]
>>932
＞「機械検証ができないか」
It's a great idea!
142:IUT応援団 団員
20/05/05 19:47:52 zuve741i.net
>>126
団長！ ネットにはこんなのがあるんですよ 知らなかったんですか？
必死チェッカーもどき
URLﾘﾝｸ(hissi.org)
例えば数学板の5/3の投稿者を見ると
順位 ID レス数 スレッド数 使用した名前一覧
1 vVCZgnBw 120 2 １３２人目の素数さん
と出るんですね
ということで、106じゃなく120です
・・・クレイジーですね
時間別の書き込み数も分かりますよ
こういう文明の利器を最大限活用しましょう
ちなみに今日のランキングは
順位 ID レス数 スレッド数 使用した名前一覧
1 227hHAl/ 41 4 １３２人目の素数さん
2 dnbV/fKk 38 3 現代数学の系譜 雑談 ◆e.a0E5TtKE
団長！ 首位まであと一歩ですよ！
143:IUT応援団 団員
20/05/05 20:09:23 zuve741i.net
それにしても本スレが立ちませんね・・・いい加減飽きたんですかね？
ところで団長
ぶっちゃけ、整数論どこまで知ってるんですか？
例えば初等整数論は知ってるんですか？
・一次の不定方程式（ペル方程式・ディオファントス方程式）
・オイラーのφ関数
・原始根・指数
・算術の基本定理（素因数分解の一意性）
・中国の剰余定理
・フェルマーの小定理・フェルマーの大定理
・平方剰余・平方剰余の相互法則
・法・合同式とその解法
・ユークリッドの互除法
・ルジャンドル記号・ヤコビ記号
・連分数
144:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 21:07:06 dnbV/fKk.net
>>129-130
おサルさん
ご謙遜ですよ
あなたの狂気の連投
とてもとても
足下にも及びませんｗ
整数論？
私は殆ど興味ありません
微分方程式は良く使いましたね
145:IUT応援団 団員
20/05/05 21:13:13 zuve741i.net
>>131
>整数論？
>私は殆ど興味ありません
じゃ、なんでガロア理論なんて勉強しようと思ったんですか？
146:１３２人目の素数さん
20/05/05 21:19:32.16 kGB3j7wQ.net
聞いてもないのに立憲に投票したと答えたミスター維新がまた現れたのか。
147:現代数学の系譜 雑談
20/05/05 21:20:12.90 dnbV/fKk.net
>>131
整数論？ 女王？
胡散臭いよね
女王？なんて、イギリスの数学者、G・H・ハーディの英国女王崇拝の匂いがするな
私ら、女王があるなら、王は何ですかって、ツッコミ入れたくなるぜ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
『ある数学者の生涯と弁明』（あるすうがくしゃのしょうがいとべんめい、原題: A Mathematician's Apology）とは1940年にイギリスの数学者、G・H・ハーディによって書かれた随筆である。
この本の主要なテーマの一つは数学自身が持っている「美しさ」である。それをハーディは絵画や詩と比較している。
最も些細な数学というものは具体的に応用例のある数学のことを指しているのである。
これらの特徴づけはハーディによって定義された数学のある分野の根本的概念の独自性、深み、美しさによれば、実際の数学の分野に寄与するであろう。
これは「数学は科学の女王であり、数論は数学の女王である。」というカール・フリードリヒ・ガウスの言葉についてのハーディがしているコメントの中でも強調されている部分である。
ある人々はガウスにそのような事を言わしめたのは「数論の極端な非応用性」であると言うだろう。しかしながら、ハーディはこれは理由になっていないと指摘している。
「もしも数論が応用されている例を見出そうとするならば、その為に数論を『数学の女王』としての座から押しのける事は誰もしないであろう。
ガウスの意図したものは、数論を構成する基礎的概念は数学の他のどの分野と比較してもより深く、より優雅である」とハーディは言っている。
彼の純粋数学に関する信念は本の要約に次のようにまとめられている。
「純粋数学とは、すべての理想主義が基礎を成している石のようである。317は素数であるというのは我々がそのように思うからではなく、それが決まった形を成しているからである。数学の現実はそのように形作られているのである。」
URLﾘﾝｸ(okwave.jp)
何故,整数論は数学の女王なのでしょうか?
2007/07/05 22:25 matsui888
148:現代数学の系譜 雑談
20/05/05 21:23:22.50 dnbV/fKk.net
>>133
>聞いてもないのに立憲に投票したと答えたミスター維新がまた現れたのか。
同意です
まあ、おサルです（>>2）
いつものことでは、あります(>>2 サイコパスですから（＾＾； )
149:現代数学の系譜 雑談
20/05/05 21:38:28.56 dnbV/fKk.net
IUT応援といいますが、極めて常識的な考えと発言をすれば、それで十分なのです
（∵ アンチがむちゃくちゃ なのでｗ（＾＾； ）
１．査読終わりました。普通に終わりました。というよりも、いわくつきのIUTですから、念には念を入れて、丁寧に査読しました。問題なし
これをそのまま、受取れば良いのです。STAP類似だとか、トンデモ説に惑わされないことです
２．ショルツ先生は、遠アーベルの専門家ではありません。IUT論文を読むには、遠アーベルの知識と、望月先生の書かれたIUTの基礎論文があります（例えばグロタンディーク予想解決など）
ショルツ先生には、IUTを理解するための何かの知識が欠けていて、きっと自分流の解釈をしてしまって、「おかしい」と言っているのです。それ以外にこの対立を理解する道はありません
３．IUTを使った論文は出始めています。フェセンコ研での南出先生の強いIUTバージョン、Dupuy先生のところの Explicit Szpiro 論文、Joshi氏の”On Mochizuki’s idea of Anabelomorphy and its applications”
これらの論文が出て、IUTに対する説明も、多分記者会見の玉川先生なども手伝って、分り易い
150:説明文書が出てくることでしょう 上記の１～３を認めて 冷静に、RIMSの次の展開を待ちましょう 理不尽な言い掛かりは、叩きましょう～！（＾＾ それが、即ち応援になるのです（＾＾
151:IUT応援団 団員
20/05/05 21:48:58 zuve741i.net
>>134
＞整数論？ 女王？
＞胡散臭いよね
団長・・・お気は確かですか？
数論幾何は、整数論ですよ 御存知なかったんですか？
>>136
団長・・・ホントに応援してるんですか？
もしかして、ほんとはIUT褒め殺し団なんじゃないですか？
査読なんてどれだけ真剣にやったか分かんないですよ
どこかの国の首相の口癖の「しっかり」みたいなもんですから
ショルツにも他の数論幾何の研究者にも理解してもらわなくちゃ
応援の意味がないじゃないですか
南出氏とPodowskiの論文も出るかどうかわからないし
DupuyとHiladoの論文も望月の不等式使ってるだけだし
Joshiの論文は大したこといってなさそうだし
IUT自身の正当性を確立するよう応援することが第一でしょう
団長 やる気あるんですか？
整数論興味ないとか ホントは数学嫌いなんでしょ？
152:１３２人目の素数さん
20/05/05 22:51:25 ddqp20mm.net
Scholzeが正しいとしてだよ？
しかしScholzeはDupuyが何が解って居ないのかが解って居ないなら、この話はe-mail上でも堂々巡りだ
153:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 23:23:19 dnbV/fKk.net
>>138
どうも
コメントありがとう
>Scholzeが正しいとしてだよ？
その仮定には証明がないし、多分正しくないけど、ある程度の堂々巡りは避けられないと思う
>しかしScholzeはDupuyが何が解って居ないのかが解って居ないなら、この話はe-mail上でも堂々巡りだ
Dupuy氏は、ショルツ氏がなにが分かってないかを分かってそうだったが
ショルツ氏の思い込みが激しく、Woitブログでは分からせることはできなかったみたいだ
でも、なんどかやるうちに、ショルツ氏も誤りに気付くと思うよ
154:１３２人目の素数さん
20/05/05 23:27:02 wvtmzVA1.net
>>133
>「純粋数学とは、すべての理想主義が基礎を成している石のようである。
>317は素数であるというのは我々がそのように思うからではなく、
>それが決まった形を成しているからである。数学の現実はそのように形
>作られているのである。」
ようわからん翻訳やな。その前に、現代物理学が唯心論的哲学の枠組みに
あてはまるという人もいるって話があるでしょ。
こうなんじゃね？
「それに対して、純粋数学とは、あらゆる唯心論がその上では崩れ落ちて
しまう岩のように私には見えるのだ。317が素数であるというのは、我々が
そう思うからとか、我々の心がそう思うように形作られているからとかいう
理由によるのではなく、まさにそれが素数だからなのだ。数学的現実がその
ように構築されているからなのだ。」
155:１３２人目の素数さん
20/05/05 23:29:55 yucbsEfn.net
シカゴ大学のイシャン・バナージさんからIUTの簡単な概要(オーバービュー)動画が上がりましたね
URLﾘﾝｸ(youtu.be)
156:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 23:30:41 dnbV/fKk.net
>>139
補足
概念の革命的飛躍があるとき、旧来の概念に縛られている人、あるいは旧来の概念が深く染みついている人ほど
新しい概念に入っていけないものです
物理だが
ガリレオの地動説とか、地球が球形だとか
アインシュタインのニュートンの絶対空間の否定とか
あるいは、宇宙膨張説（物理は観測事実があるから、みんな納得するが、観測事実無しで、”宇宙が膨張している”というと、「何を言っているんだ？」でしょう）
「ビッグバン宇宙論」も、最初は殆ど相手にされなかった
数学でもある
虚数 ｉ は、長い間まま子扱いだった
ショルツ先生は、従来の数学を深く理解し過ぎていて
ＩＵＴに入れないのではないか？（＾＾；
157:１３２人目の素数さん
20/05/05 23:38:24.36 wvtmzVA1.net
>>140
いけね。原文引用するの忘れてたわ。
>Pure mathematics, on the other hand, seems to me a rock on which all idealism >founders: 317 is a prime, not because we think so, or because our minds are
>shaped in one way rather than another, but because it is, because mathematical >reality is built that way.
"founder"に「基礎を置く」なんていう意味はないみたいよ。沈むとか、崩れるとか、
破綻するって意味なんだが。
158:１３２人目の素数さん
20/05/05 23:41:11.60 wvtmzVA1.net
>>143
あ、>>140は>>134へのレスね。アンカー間違えてた。
rockは岩というより岩盤のほうがいいな。
159:現代数学の系譜 雑談
20/05/05 23:41:26.53 dnbV/fKk.net
>>141
投稿ありがとう
見ました
その次に、下記が出てきたね
ＩＵＴの初期の投稿みたいだね
こちらも面白いな
余談だが、玉川先生に
ＩＵＴのＣｏｒ3.12の講義を１時間ずつ３回くらいに分けてやってもらって
Youtubeに上げるってのどうかな？ プロ数学者向けで（＾＾
（参考）
URLﾘﾝｸ(www.youtube.com)
abc Conjecture - Numberphile
1,371,634 回視聴?2012/10/12
Numberphile
チャンネル登録者数 331万人
The abc Conjecture may have been proven by a Japanese mathematician - but what is it?
More links & stuff in full description below ↓↓↓
Feeling brave and want to read the papers by Shinichi Mochizuki - URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) (scroll to the bottom)
160:現代数学の系譜 雑談
20/05/05 23:43:33.51 dnbV/fKk.net
>>143-144
まじレスありがとう
まあ、半分茶化しでね
「数論や整数論が女王なら、王様はなんだ？」という 掛け合い漫才が落ちなだったのですがｗ（＾＾；
161:１３２人目の素数さん
20/05/05 23:48:05.80 ddqp20mm.net
>>139
Stixが表に出て来ないのは、Dupuyの論旨の一つ一つコミュニケーションすると
堂々巡りにならない可能性があるからだ
つまり…
162:１３２人目の素数さん
20/05/05 23:59:38.22 3I7cXK8P.net
『Founder』
「起業家・創業者・創設者」
が一般的かと
─全てのidealismの基礎(いしずえ)となる─
くらいの邦訳がありがちなんでしょうか…？
163:１３２人目の素数さん
20/05/06 00:22:45.14 c2oCxjMR.net
「純粋数学とは
全ての理想主義の礎のよう」
とかなんでしょうか…
164:現代数学の系譜 雑談
20/05/06 08:02:29.76 /JY71bka.net
>>149
どうも
コメントありがとう
いまどき、「純粋数学」という言葉が流行らないかも
例えば、20世紀の半ばに出てきた圏論
当時は、抽象数学の代表だったかも知れないが
いまや、コンピュータプログラミングに応用されています
（物理でも使われるとか）
リーマン予想が、物理のガウス型ユニタリ・アンサンブル（GUE）にしたがうランダム行列の固有値の間隔の分布と関係しているとか
純粋数学と考えられてたものが、時代が進むと 実は 応用できるということが、沢山あります
楕円曲線の理論が、ITの暗号理論に使えるとかも
なので、最近は 「純粋数学」と強調する人が 少なくなっていますね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
モンゴメリー・オドリズコ予想
モンゴメリー・オドリズコ予想[注 1] (英語: Montgomery-Odlyzko law)とは、リーマンゼータ関数の自
165:明でない零点の間隔の分布は、ガウス型ユニタリ・アンサンブル（GUE）にしたがうランダム行列の固有値の間隔の分布と統計的に同一であるとする予想。 ヒュー・モンゴメリーはプリンストン大学でのお茶の時間にフリーマン・ダイソンと出会い、零点のペアに関する相関を表す式が原子核のエネルギー準位モデルであるランダム行列理論(RMT)の式と酷似していると知ってランダム行列との関連を研究しはじめた。[4] 1973年、モンゴメリーはゼータ関数の非自明な零点のペアに関する相関がGUE型のランダム行列の固有値のペアに関する相関と等しいとする論文[5] を発表した。これを読んだオドリズコは、ゼータ関数の零点の間隔分布について大規模な数値計算を行い、ランダム行列の固有値の間隔の分布とほぼ一致することを1987年の論文[6] で示した。[7]
166:１３２人目の素数さん
20/05/06 08:18:38.61 c2quGkDW.net
Edward Frenkel
@edfrenkel
返信先
@ math jinさん
Please stop. Otherwise,
I will block you. Thanks.
午後1:07 · 2018年1月26日·
167:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 08:39:20 /JY71bka.net
>>147
>Stixが表に出て来ないのは、Dupuyの論旨の一つ一つコミュニケーションすると
>堂々巡りにならない可能性があるからだ
>つまり…
[SS2018-05]（SSの主張）
↓
[Cmt2018-05] （望月の反論）
↓
[SS2018-08] （SSの再主張）
↓
[Cmt2018-08] （望月の反論）
↓
ショルツ氏フィールズ賞受賞 2018-08月
フィールズ賞を取ったショルツ氏は、IUTなどどうでも良くなって（あるいはそれどころではなくなって）
一方、Stix氏も同じで、IUTなどどうでも良くなって（あるいは同上）
放置していたところ、2020年4月のRIMS会見でびっくり（Stix氏は情報が入っていた可能性がある。IUT本スレでリークがあったし）
Stix氏の方が、玉川先生のことを 遠アーベルの専門家としてよく知っているので、RIMS会見の重みはよく分かっているはず
多分、いまIUTの最新版をもう一度チェックしているのではないかと推察します
168:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 08:50:27 /JY71bka.net
>>151
それ意味分からない
いま、数論の大きなグループで、遠アーベルとラングランズ・プログラムがある
Edward Frenkelは、ラングランズの研究者でしょ？
Scholze, Peter (2013), “The Local Langlands Correspondence for GL(n) over p-adic fields”（下記）もそう
ということは、遠アーベルの素人といったら語弊があるかもしれないが、疎い人でしょ
つまり、Edward Frenkelなんて、無視で良いと思うけど
具体的にIUTに何か発言したわけでは、ないから
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
遠アーベル幾何学
URLﾘﾝｸ(ja.wikipedia.org)
ラングランズ・プログラム
ラングランズ・プログラム（英: Langlands program）は、代数的整数論におけるガロア群の理論を、局所体およびそのアデール上で定義された代数群の表現論および保型形式論に結び付ける非常に広汎かつ有力な予想網である。同プログラムは Langlands (1967, 1970) により提唱された。
目次
1 問題の背景
2 対象
3 ラングランズ予想
3.1 相互律
3.1.1 保型形式論
3.2 函手性
3.2.1 一般化された函手性
3.3 幾何学的ラングランズ予想
4 現在の状況
4.1 局所ラングランズ予想
4.2 基本補題
参考文献
・Scholze, Peter (2013), “The Local Langlands Correspondence for GL(n) over p-adic fields”, Inventiones mathematicae 192 (3): 663?715, doi:10.1007/s00222-012-0420-5
169:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 09:05:33 /JY71bka.net
>>148
基礎(いしずえ)だと
普通
"foundation"と書くのでしょうね
『Founder』だと、普通は（-erは）”人”になりますね
擬人化表現として、意訳したのかも（＾＾
170:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 09:40:38 /JY71bka.net
171:（本スレより転載） Inter-universal geometry と ABC予想 52 https://rio2016.5ch.net/test/read.cgi/math/1588702281/13 13 返信：１３２人目の素数さん[] 投稿日：2020/05/06(水) 08:08:54.43 ID:WFqbs44n [1/8] ＞査読終わりました。普通に終わりました。というよりも、いわくつきのIUTですから、念には念を入れて、丁寧に査読しました。問題なし ＞これをそのまま、受取れば良いのです。 https://www.galoisrepresentations.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ (I should say that whether the papers are accepted or not in a journal is pretty much irrelevant here; it’s not good enough for people to attest that they have read the argument and it is fine, someone has to be able to explain it.) （私は、論文がジャーナルに受け入れられるかどうかは、ここではほとんど関係がないと言うべきです; 人々が彼らの議論を読んで結構だと証明するのは十分ではなく、誰かがそれを説明できなければなりません。） (引用終り) えーと、引用のURLのPersiflage氏は、Frank Calegari氏（下記）ですね （∵ 引用した”cropped-brioche.jpg”が一致しています（＾＾； ） wikipediaでは、the Langlands programを研究しているという つまりは、遠アーベルの専門家ではないということですね 無視で良いと思いますよ、2017年だし、過去完了です！ｗ（＾＾； （参考） https://www.galoisrepresentations.com/about/ https://www.galoisrepresentations.com/wp-content/uploads/2019/09/cropped-brioche.jpg Persiflage Galois Representations and more! (抜粋) About A number theorist blogs (sometimes) about math. I am inspired by the blogs I have linked to, but I do not aspire to be similar to them in any particular way. I am a professor of mathematics at the University of Chicago. The (faux) anonymity is merely to confuse google, though I suspect that if you can’t work out who I am then you probably won’t get much out of my posts. つづく
172:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 09:41:07 /JY71bka.net
>>155
つづき
URLﾘﾝｸ(math.uchicago.edu)
URLﾘﾝｸ(math.uchicago.edu)
Frank Calegari
(抜粋)
I am a Professor at the University of Chicago.
My research is in the area of algebraic number theory. I am particularly interested in the Langlands programme, especially, the notion of reciprocity linking Galois representations and motives to automorphic forms.
URLﾘﾝｸ(en.wikipedia.org)
Frank Calegari
(抜粋)
Francesco Damien "Frank" Calegari is a professor of mathematics at the University of Chicago working in number theory and the Langlands program.
Career
Calegari won a bronze medal and a silver medal at the International Mathematical Olympiad while representing Australia in 1992 and 1993 respectively.[1]
Calegari received his PhD in mathematics from the University of California, Berkeley in 2002 under the supervision of Ken Ribet.[2]
（Thesis Ramification and Semistable Abelian Varieties）
Calegari was a von Neumann Fellow of mathematics at the Institute for Advanced Study from 2010 to 2011.[3] He is a professor of mathematics at the University of Chicago.[4]
As of 2020, Calegari is an Editor at Mathematische Zeitschrift and an Associate Editor of the Annals of Mathematics.[5][6]
Research
Calegari works in algebraic number theory, including Langlands reciprocity and torsion classes in the cohomology of arithmetic groups.[4]
(引用終り)
以上
173:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 10:02:36 /JY71bka.net
（本スレより転載）
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:21番)
21 名前：１３２人目の素数さん[] 投稿日：2020/05/06(水) ID:WFqbs44n
ショルツの指摘が妥当でない可能性は大いにある
ただ、ショルツの指摘を却下できても、IUTの正当性が認められた、とはいえない
URLﾘﾝｸ(www.galoisrepresentations.com)
A third possibility is that we have (roughly) the status quo:
no coup de grâce is found to kill off the approach, but at the same time the consensus remains that people can’t understand the key ideas.
3番目の可能性は、（おおよそ）現状のままであるということです。
アプローチを無効にするクーデターはありませんが、
同時に人々は主要なアイデアを理解できないというコンセンサスが残っている。
In this case, the mathematical community moves on and then, whether it be a year, a decade, or a century, when someone ultimately does prove ABC, one can go back and compare to see if (in the end) the ideas were really there after all.
この場合、数学的コミュニティが進み、1年、10年、または1世紀であっても、
最終的に誰かがABCを証明したときに、戻って比較して結局そこに
アイデアが本当にあったかどうかを確認できます。
(引用終り)
ここは、全く同意
Persiflage＝Frank Calegari 氏の言う通りです
・若い研究者、南出氏、星氏、Porowski氏、Ｈｉｌａｄｏ氏、Joshi氏たち
かれらの書いたＩＵＴに関する論文が、数学界で評価されるように ＲＩＭＳの重鎮たちは 考えなければいけない
・彼らは、生活が 人生が いま書いている論文に掛かっているのです
（柏原氏、玉川氏、望月氏、Ｄｕｐｕｙ氏、フェセンコ氏らは、もう安定した職も名声もあるのです)
・ＩＵＴの査読は終わった
いまから、ＩＵＴの理解を得るためのＲＩＭＳの活動が始まるのです。４回の国際会議がそれだったが、中止になったので、次の一手が求められます
・私は、玉川先生の「ＩＵＴ Ｃｏｒ.12 ＆ ＳＳ」を中心にしたＩＵＴの解説講義を
Ｙｏｕｔｕｂｅにアップしてほしいと思います （＾＾；
174:１３２人目の素数さん
20/05/06 10:14:46 tNZVV9ZH.net
>>148
おいおい、辞書くらい引いてくれ。
そもそも、on which all idealism founders なんだから、foundersは
動詞 founderの三人称単数形やんか。founderの複数形じゃないよ。
中学レベルの英文法の基礎なんちゃうの？
ハーディは純粋数学は観念論とか唯心論みたいなやわなもんじゃなくて、
盤石な現実そのものなんだと言いたいんでしょ。
175:１３２人目の素数さん
20/05/06 10:31:03 tNZVV9ZH.net
>>149
ここでのidealismは「理想主義」じゃないでしょ。
このセンテンスの前文で、現代物理学（量子力学だな）を"idealistic philosophy"的
に捉えることができるという人がいる（ハーディ自身はそうは思ってないけど）って
いう前フリがあるのよ。量子力学の観測問題（意識と観測結果の関係）を念頭に置いた
発言だろう。とすれば、このidealisitc phylosophyってのは「理想主義的哲学」じゃ
なくて、「観念論」とか「唯心論」の類だろう。そういう哲学的思想をひっくるめてall idealism と言ってるのよ。
どうも、>>134氏の言ってることは独善的というか、基本的に勘違いが多そうで信用ならん。
誤訳もそうだが、意味不明な文章が多すぎ。
176:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 11:17:44 /JY71bka.net
>>159
どうも
コメントありがと
>どうも、>>134氏の言ってることは独善的というか、基本的に勘違いが多そうで信用ならん。
私が、>>134
177:で言っているのは、単なるギャグですから、笑ってももらえれば、目的は達成です 信用？ ５ｃｈで？ 基本は”名無しさん”でしょ？ 信用できるのは、自分と 私の場合 基本は検索資料を添付しますから、そちらも見て判断して貰えれば結構ですなｗ（＾＾； >>134のハーディ氏の言葉を引用したのは、「整数論 女王」を否定するため以外に何もない そういうことです 「整数論 女王」なんて、ほとんど無意味と思っています（＾＾；
178:現代数学の系譜 雑談
20/05/06 11:32:43.58 /JY71bka.net
下記、”specZの上でhodge理論が出来たら面白いかも”を 実現したのが、望月IUTかも
と思う今日この頃（＾＾；
URLﾘﾝｸ(hydehyde12.at.webry.info)
趣味としての数学
2006年09月14日
(抜粋)
p進hodge
数学
p進hodgeの勉強が最近滞り気味です。
今日はBcrys,Bstの構成を勉強しました。
というか定義複雑過ぎですね。
fontaine、messingの昔の論文読んだり、
Asterisuqueにのっていたsurvey読んだり。
気がつくと時間が。でもWitt環に対する知見も
深まったかな。
それにしても
p進hodgeとは
なんて魅惑的名前なのでしょう。
複素係数のhodge理論は、微分形式の小平hodge分解から
deRham-hodgeのspectral-sequenceのE1退化が言えて…
みたいな流れだった。
p進でもhodge理論が成立するなんて！
（いまどきこんなこと言ってるようだと専門家に笑われますね。）
複素係数、p進をつなぐ理論はあるのでしょうか。
specZの上でhodge理論が出来たら面白いかも。
(引用終り)
179:現代数学の系譜 雑談
20/05/06 11:39:19.23 /JY71bka.net
下記の”log構造の勉強をはじめました。
（p進-hodgeの理解に必要みたいなので）”
というのは
望月IUTの ”Log-shell, log-volume, and log-link ”とか
関係しているのでしょうか？（＾＾；
（参考）
URLﾘﾝｸ(hydehyde12.at.webry.info)
趣味としての数学
2006年09月11日
(抜粋)
今日から
log構造の勉強をはじめました。
（p進-hodgeの理解に必要みたいなので）
今日は定義を追いかけて、トーリック多様体etcの具体例を触ってみた感じです。
でもまだ、何のためにlog-schemeを考えるのかいまいち見えません。
極小modelとかで出てきた
log-terminal-singularity とかlog-canonical-singularityとかんけいあるのでしょうか。
昔トーリック多様体の勉強していてよかった。
calabi-yau のmirror constructoinに関するbatirev の論文読み返してみたくなりました。
一日中数学の勉強したいけど、そうも行かない。
アマチュアの数学好きの悩みですね。
(引用終り)
180:１３２人目の素数さん
20/05/06 12:18:58.48 hVWkN8c/.net
今時「整数論 女王」に反発する人とかいるのか
整数論って数学の物理学みたいなもんだろ
問題のアプローチとして有効そうなら、代数・幾何・解析の種類を問わずになんでもありなんだから
他の数学が整数論のために存在しているわけではなくて、
むしろ整数論が他の数学をごちゃまぜにして勝手に使っているだけ
もちろん、整数論から新しい数学が生まれることもある
整数論と他の数学との関係は、数学と物理学との関係に似ている
181:現代数学の系譜 雑談
20/05/06 12:27:11.73 /JY71bka.net
（本スレより転載）
こういう情報はありがたい（＾＾
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:25番)
25 名前：１３２人目の素数さん[] 投稿日：2020/05/06(水) 10:41:44.43 ID:WFqbs44n [10/12]
数学辞典 第4版 205 数論幾何学 K. 代数的基本群 より
（数学辞典で、遠アーベル（遠Abel)という言葉が出てくるのはこの箇所だけ）
Grothendieck は，遠アーベル多様体（anabelianvariety）と呼ばれる
代数多様体のあるクラスが存在し，（有理数体の有限生成拡大体上の）
遠アーベル多様体の幾何は，付随する数論的基本群によって
完全に決定されると考えた．
これをしばしば遠Abel 幾何（anabelian geometry）の基本予想，
あるいはGrothendieck 予想と呼ぶ．
遠Abel曲線は双曲的曲線と同値な概念と考えられ，
実際次の結果が知られている（望月新一）:
k を（ある素数p に対して）p 進体Qp の有限生成拡大体に埋め込める体とする．
（例えば，k が有理数体の有限生成拡大体ならばよい．）
k 上の双曲的曲線Xと非特異代数多様体S に対し，
k 上の定値でない射S→X の集合Hom non－const k (S,X) から
k の絶対ガロア群Gk 上の連続開準同型π1(S)→π1(X) の集合
Hom open Gk (π1(S),π1(X)) をπ1(X¯k) の共役作用を法として
考えたものへの自然な写像は全単射である．
この結果の証明にはp 進ホッジ理論が用いられる．
なお，k,L を有限次代数体とするとき，自然な写像
Isom(k,L)→Isom(GL,Gk)/Inn(Gk) は全単射である
（Neukirch‐内田‐池田‐岩澤の定理）．
（Inn は内部自己同型群を表す．）
これも広い意味での遠Abel幾何の1 つと考えられ，
さらに，F. Pop，望月らによる高次元化もある．
182:１３２人目の素数さん
20/05/06 12:29:22.15 Vf0EVkEp.net
ようやくWikipedia日本語版の宇宙際タイヒミュラー理論ページができた。
183:現代数学の系譜 雑談
20/05/06 12:52:47.25 /JY71bka.net
>>163
どうも
コメントありがとう
「整数論 女王」は、一説ではガウスが言ったという
正確には、下記かも
”数学は科学の女王であり、数論は数学の女王である。
Die Mathematik ist die Konigin der Wissenschaften und die Zahlentheorie ist die Konigin der Mathematik.”
「数学は理系の女王、数論は数学の女王。」DeepL訳（独語）
＜問題は＞
１．まず、定義があいまいｗ（＾＾；
２．女王？ じゃ、”王”は 何になるだろうか？ 数学自身かい？（＾＾
３．さて、整数論ではなく、正確には 数論：Zahlentheorie らしい
４．では、Zahlentheorieの定義は何か？
５．当然、ガウスの時代と21世紀とは違うでしょ
６．少し古い概念で、代数と解析と幾何と、数学を３分類する考えがあった
これをガウスの時代に当てはめると、Zahlentheorie＝代数 とかでしょうかね？
６．しかし、21世紀で 「代数幾何」は幾何か？ 「数論幾何」は幾何か？ っという話になる。
代数屋さんからは、「代数幾何」も「数論幾何」も、数論＝代数の分野だ というのかも（我田引水かｗ）
７．結局、２１世紀は、”数論：Zahlentheorie”を定義しないと、意味ワカラン
そして、”数論：Zahlentheorie”を数学の中心を含むように 定義しなおせばｗ それは常に成立つ。しかし、それって ”トートロジー”でしかないでしょうか？ （＾＾；
（参考）
URLﾘﾝｸ(ja.wikiquote.org)
カール・フリードリヒ・ガウス
Carl Friedrich Gauss.jpg
引用
・神は計算をされている。
・数学は科学の女王であり、数論は数学の女王である。
Die Mathematik ist die Konigin der Wissenschaften und die Zahlentheorie ist die Konigin der Mathematik.
・狭くとも深くあれ。
Pauca sed matura.
184:１３２人目の素数さん
20/05/06 13:06:43 Vf0EVkEp.net
Wikipedia日本語版の宇宙際タイヒミュラー理論のページに
論文へのリンクがあるが、7本中4本にしかリンクがされていないよ
185:うだ。 開示ページ見る限り7本セットだと思うんだがなぁ。
186:１３２人目の素数さん
20/05/06 13:06:47 e+2cQ81a.net
>>165
Wikipediaは「誰でも」書き込めるから、書く人に依存してしまうｗ
誰か「ウィキペディアにある編集できるエディターを使える」方は、できれば修正してね。
例えば、論文の投稿方法は、前から思っていたことだけど、
Natureもそうは書いてはいるが、「本人がWebページに投稿」とするのは誤りだね。
RIMSの「PRIMS-Preprint」が投稿先で、プレプリントで公開されているから、
HPの論文はCopyの扱いだよ。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
上記のPRIMS-Preprintサーバーで、ﾌﾟﾚﾌﾟﾘﾝﾄの公開番号は以下で、
IUT ?～?の４論文が連続して投稿されてます。
【RIMS-1759】
Shinichi MOCHIZUKI
INTER-UNIVERSAL TEICHM\"{U}LLER THEORY IV: LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
August , 2012
[RIMS1759.ps.gz] [RIMS1759.pdf]
【RIMS-1758】
Shinichi MOCHIZUKI
INTER-UNIVERSAL TEICHM\"{U}LLER THEORY III: CANONICAL SPLITTINGS OF THE LOG-THETA-LATTICE
August , 2012
[RIMS1758.ps.gz] [RIMS1758.pdf]
【RIMS-1757】
Shinichi MOCHIZUKI
INTER-UNIVERSAL TEICHM\"{U}LLER THEORY II: HODGE-ARAKELOV-THEORETIC EVALUATION
August , 2012
[RIMS1757.ps.gz] [RIMS1757.pdf]
【RIMS-1756】
Shinichi MOCHIZUKI
INTER-UNIVERSAL TEICHM\"{U}LLER THEORY I: CONSTRUCTION OF HODGE THEATERS
August , 2012
[RIMS1756.ps.gz] [RIMS1756.pdf]
187:１３２人目の素数さん
20/05/06 13:21:44.51 hVWkN8c/.net
>>168
それ最新版じゃないからなあ
Cor 3.12の周辺を見ると、「本人のWebページに投稿された論文」と全然違うよ
188:現代数学の系譜 雑談
20/05/06 13:32:55.19 /JY71bka.net
>>165
>ようやくWikipedia日本語版の宇宙際タイヒミュラー理論ページができた。
おお、下記ですね
ありがたい（＾＾
まずは、お礼申し上げます m（＿＿）m
これ見たけど、英文直訳ですね
まずは、コレをスタートとして、情報追加してほしいですね
１．今年の4月3日の記者会見情報がない （最新情報としてほしいね。 英文wikipediaでABC予想のページには、4月3日の記者会見記事あります（下記））
２．その後のWoitブログでの論争情報（引き分けｗ（＾＾； ） （英文wikipediaでABC予想のページには、4月3日の記者会見記事あります（下記））
３．”ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた。[19]”は、論文誤読と思う（後述）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
(抜粋)
数論の結果
ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた。[19]
URLﾘﾝｸ(en.wikipedia.org)
abc conjecture
Various attempts to prove the abc conjecture have been made, but none are currently accepted by the mainstream mathematical community and as of 2020, the conjecture is still largely regarded as unproven.[3][4]
References
3^ Castelvecchi, Davide (3 April 2020). "Mathematical proof that rocked number theory will be published". Nature. doi:10.1038/d41586-020-00998-2.
4^ Further comment by P. Scholze at Not Even Wrong.
189:現代数学の系譜 雑談
20/05/06 13:34:51.88 /JY71bka.net
>>167-169
情報ありがとう
ああ、みんな詳しいな～（＾＾
190:現代数学の系譜 雑談
20/05/06 13:51:09.56 /JY71bka.net
>>170
> ”ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた ”は、論文誤読と思う
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
(抜粋)
数論の結果
ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた。[19]
URLﾘﾝｸ(en.wikipedia.org)
Vesselin Dimitrov extr