21/09/18 23:34:44.78 4v85ry7i.net
>>450
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
望月 新一（もちづき しんいち、1969年〈昭和44年〉3月29日 - ）
受賞歴
1997年 - 日本数学会秋季賞受賞：代数曲線におけるグロタンディーク予想の解決（中村博昭、玉川安騎男との共同受賞）
2005年 - 日本学術振興会日本学術振興会賞受賞：p 進的手法によるグロタンディークの遠アーベル幾何予想の解決など双曲的代数曲線の数論幾何学に関する研究
2005年 - 日本学士院日本学士院学術奨励賞受賞：数論幾何の研究
(引用終り)
>ABC予想解決が認められれば当然お呼びが掛かるのでしょうけど、ありえません。
？ あなたは、どなたさま？ 日本学士院の院長さま？ 朝日の社長？ｗ
URLﾘﾝｸ(ja.wikipedia.org)
日本学士院
501:現代数学の系譜 雑談
21/09/18 23:35:57.20 4v85ry7i.net
>>454
どういたしまして
ご丁寧にありがとうございます。
502:１３２人目の素数さん
21/09/19 07:04:30.15 UDlOsmH+.net
>>421
若いなんて陳腐な言葉で使命感を侮辱してはならない
503:１３２人目の素数さん
21/09/19 07:23:22.32 yfvpQ4ej.net
z軸には軸自体を含む機能が欠如していた
504:現代数学の系譜 雑談
21/09/19 07:58:43.15 LuRE8S2u.net
>>457
>若いなんて陳腐な言葉で使命感を侮辱してはならない
ありがとう
だから、善悪両面で、ショルツェ氏は若いと思うな
（>>31より）
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Latest on abc Posted on April 3, 2020 by woit
Peter Scholze says:April 6, 2020 at 9:28 am
(抜粋)
It strikes deep into my heart to think that in the name of pure mathematics, an institute could be founded for research on such questions, and I sincerely hope that this will not come back to haunt pure mathematics.
I’m really frustrated with the current situation. What EricB reports from the Asahi Shinbun also sounds deeply troubling, effectively arguing along national lines; again, this strikes deep into my heart. I’m really quite surprised by the strong backing that Mochizuki gets from the many eminent people (who I highly respect) at RIMS.
If I can in any way help to mitigate the situation, I’d be most happy to.
(引用終り)
上記を見ると、”It strikes deep into my heart to think that in the name of pure mathematics”とか
”I’m really frustrated with the current situation”とかが、仰る”使命感”なのでしょうね
彼のzbmathレビュー>>12は、これの延長線上なのでしょうね
ショルツェ氏が、レビューを書かずとも、IUTは落ち着くべき
505:ところへ落ち着く。ダメならNG、良いならGへね お忙しいのに、IUTに首を突っ込んで、引っかき回さなくてもと、個人的には思うが まあ、その寄り道も、長い目で見れば、彼に取っては良い経験かもね
506:１３２人目の素数さん
21/09/19 08:09:00.71 G3bbOsi9.net
>>459
ニッポンサイコウ！って自慢したいのを邪魔されたからって
Scholzeを目の敵にするセタ君は若いというより幼いけどね
まるで三歳児
507:現代数学の系譜 雑談
21/09/19 08:52:44.58 LuRE8S2u.net
>>460
おサル必死だな、IUTスレの雰囲気は、ガラリと変わった
こちらも、向こうのスレもね
でな、それ、典型的な藁人形論法だよ
「ニッポンサイコウ」なんて、だれも言っていないのに、お主必死だなｗ
”ショルツェ氏が、レビューを書かずとも、IUTは落ち着くべきところへ落ち着く。ダメならNG、良いならGへね”>>459と言った
それ、ショルツェ氏の論法と同じ。ショルツェ氏は、藁人形論法（ストローマン手法）=”simplification”を使って、モノドロミー作って、「IUT、ダメじゃん」という
藁人形論法（ストローマン手法）=”simplification”を使うことは、基本的に数学の対立する議論では禁じ手なんだよね
特に、おおやけの議論ではね。若いから、常識が無いんだろうね
508:１３２人目の素数さん
21/09/19 09:17:21.22 ZEPp1EHH.net
自分では >>414
＞国内の賞は、ほぼ確定でしょう
＞曲がりなりにも、ABC予想解決の論文ですからね
のように言いながら、そんなものは無理と言われると >>455
＞？ あなたは、どなたさま？ 日本学士院の院長さま？ 朝日の社長？ｗ
のように返す。なるほど、中身について無理解な人物がする妄想というものは、
自分を専門家ではなく賞を出すスポンサーの方に擬するわけだな。
509:１３２人目の素数さん
21/09/19 10:00:45.03 ekcsxt0G.net
SetA小僧は愛国党
510:現代数学の系譜 雑談
21/09/19 14:07:01.40 LuRE8S2u.net
>>463-463
ありがとう
みんなよく見ているね
命題A）いままで、著名な懸案問題・予想などを解決した数学論文の著者は、国内のしかるべき数学賞を受賞している。それは、今後もそうだろうと推測できる
命題B）IUTは、ABCやSzpiroなどを解決したという（元のIUTと、さらに5名の共著南出論文の明示公式）
命題C）IUTは4編の論文が査読出版された。今年４回の国際会議が行われた。
Promenade in Inter-Universal Teichmuller Theory URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
も加えると、計5回
今年４回の国際会議の後の２回に、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生が参加>>321
IUTには、国内は主な大学教員はほぼ参加と思う（名古屋大は未確認）
ここまでは、既定の事実
結論：命題A）→B）→C）より、思うに、5名の共著南出論文の出版（多分英国系雑誌かも）後に、国内の学会賞かも
それなら、星先生と南出先生が入る
朝日賞は、望月先生単独でしょうか。南出論文を待つ必要なしでしょう
以上が、私の推測です
511:１３２人目の素数さん
21/09/19 14:15:50.70 UDlOsmH+.net
Scholzeは中々どうして見上げた男だと思う
512:１３２人目の素数さん
21/09/19 15:13:13.73 ekcsxt0G.net
愛国党は過激派極右だこのバーカ
513:現代数学の系譜 雑談
21/09/19 15:45:49.56 LuRE8S2u.net
ペーター・ショルツェ（1987年12月11日
うさぎ年か
イノシシかと思ったぜ
うさぎ年なら、もう少し用心深くても良さそうなものだがねｗ
URLﾘﾝｸ(ja.wikipedia.org)
ペーター・ショルツェ（1987年12月11日 -
URLﾘﾝｸ(center6.umin.ac.jp)
医学情報・医療情報 UMIN
和暦・西暦・年
514:齢対照表 昭和62年 1987年 34歳 卯（う）
515:１３２人目の素数さん
21/09/19 15:46:05.32 W1V5N536.net
命題の意味も分からないアホ
516:現代数学の系譜 雑談
21/09/19 15:49:49.41 LuRE8S2u.net
レビューなんてね
普通は査読された論文につじて書くものだから
論文が正しいことを前提に書かれるもの
それが、ここまで敵対的なレビューは、前代未聞だろうぜ
やってくれるじゃない、彼は
若いね、彼は
IUTが査読OKのとき、査読制度の危機みたいな話があった
と同じように、もしこのレビュー記事が間違っているならば
レビュー制度の危機だろうね
EMSの中のIUT支持者が、黙っていないだろうな
517:sage
21/09/20 16:45:58.68 8NCO4jK8.net
∧と∨の論文が、「頭上の剣のように垂れ下げがった」からね。
もしIUTの応用研究で何かを突っ込んでも、「回答の例」があるから、
RCSと無名にしたのを、欧米人だったら名指しに変えて応酬しそう。
その剣が外れるには、論文修正で終わらせず、論文を撤回させるくらいでないと、
論議の結果で完備すれば、簡易から専門までの、どのレベルでも引用されるし。
zbmathレビューは、何かギャップがあったのかと思ったけどね。欧米ブログと似た感じ。
IUTで「上から抑える」ＡＢＣの証明が、L関数の零点の関係性とか、仏が関心を持っていて、
似たような手法で「零点に抑える関数」が創作出来たとき、剣が下ったままだと、紐が切れたりするのかな。
518:１３２人目の素数さん
21/09/20 16:52:44.67 T9dTfPlS.net
>>470
∧と∨の論文は回答になってないな
モノドロミーとは全然関係ないから
ご飯論法の典型だね
欧米人は皆こう思ったろうね
「日本人は政治家だけでなく数学者も完全に不誠実だ」
日本の恥だね 望月新一は
519:１３２人目の素数さん
21/09/20 16:55:58.79 T9dTfPlS.net
>>470
＞論議の結果で完備すれば、
数学を知らないド素人かな？
数学界に「正否判定委員会」なんてものはないよ
IUTが正しいと認められるには、明解な説明論文が不可欠
書けないなら、望月新一の完全敗北
520:１３２人目の素数さん
21/09/20 16:58:47.10 T9dTfPlS.net
>>470
>L関数の零点の関係性とか、仏が関心を持っていて、
ホトケって誰だい
まさか「フランス」ではないよね
いつからフランスが一個人になったんだい？（嘲）
リール大の誰それって名前書けばいいのにできないって
個人と国家が同じに見えちゃう正真正銘の池沼かな？
521:１３２人目の素数さん
21/09/20 17:00:56.36 T9dTfPlS.net
>>470
>似たような手法で「零点に抑える関数」が創作出来たとき、
ABC予想の解決は、その創作した人だけのものになるね
IUTでは何もできなかったんだから
ニッポン人、フランス人に大惨敗！！！
ああ、みっともない
522:１３２人目の素数さん
21/09/20 17:06:27.05 T9dTfPlS.net
Scholzeのレビューで発狂してる馬鹿どもへ
Scholzeがいくら「IUT、わけわかんねぇ」と書いても
他の人がそう思ってなければ、レビューが掲載されることはない
逆にいえば、Scholzeのレビューが掲載されたってことは
他の多くの人たちも、同意見ってこと
望月新一の「敵」はScholzeだけではないんだよ 残念だったねえ
ついでにいえば、望月新一の同僚も弟子も、
何一つ彼を支持する論文を発表できなかったってことは
Scholzeの指摘に反駁する余地がないってこと
いくら国内の一般人の雑誌で文句書いたって無駄だよ Ｋ藤Ｆ元
523:現代数学の系譜 雑談
21/09/20 17:18:57.51 6ACqyhTZ.net
>>475
おサルさん
大きな釣り針ですねｗ
釣れますか？ｗｗ
524:sage
21/09/20 17:30:31.96 EugaxmqY.net
>>473
>>443
もうこれは、ABCからゼータ関数の攻略でしょ。
題名は「ディリクレのL関数数(ゼータ関数との関係が概要に書かれている）」になってるけど。
もう、次にいってるよ。
525:１３２人目の素数さん
21/09/20 17:32:33.64 helo2Rp8.net
コーシーがいれば論文を紛失してくれただろうに
526:１３２人目の素数さん
21/09/20 17:33:13.72 T9dTfPlS.net
>>476
＞釣れますか？
釣れたよ おサルのセタ君
もちろん、狙う獲物は君ではない
527:１３２人目の素数さん
21/09/20 17:36:11.88 T9dTfPlS.net
>>477
>ディリクレのL関数数
L関数数ってなんだい（嘲）
>もう、次にいってるよ。
論文のタイトルは「ＡＢＣからＬへ」であってＩＵＴは出てこない
正しいかどうかも分からん理論に基づいたって足元からズブズブ沈むからね
馬鹿じゃなければ誰でもわかることだよ
528:１３２人目の素数さん
21/09/20 18:34:47.01 nhAqVP7S.net
勝ち目のないSS本人にはダンマリで
日本語でこそこそ一方的に悪口垂れ流してる文元さんってみっともないですよね。
529:現代数学の系譜 雑談
21/09/20 20:25:53.38 waxcd7vS.net
>>481
>勝ち目のないSS本人にはダンマリで
>日本語でこそこそ一方的に悪口垂れ流してる文元さんってみっともないですよね。
大外しじゃね？
1）zbmathレビューまでは、公式にはSSと望月＆星の論争で、望月が反論して、次はショルツェ氏の回答の番だったはず
それに対して、応答せずだから、文元氏の入る余地なし
2）次に、zbmathレビュー後は、zbmathレビューはEMSの発行で、EMSの会費を払っている
仏リール大とか、英フェセンコ先生とか、彼らの獲物でしょ？
3）仏リール大とか、英フェセンコ先生とかから、応援を頼まれたなら ともかく、
議論の好きな仏国と英国の数学者に任せておけば、ショルツェ氏くらい、ボコボコでしょうｗ
ショルツェ氏も、余計なレビューに手を出したものです
止めておけば、こんなことに成らなかったのにねｗｗ
530:１３２人目の素数さん
21/09/20 20:34:40.73 T9dTfPlS.net
>>482
>望月が反論して
「ご飯論法」は反論に非ず
>zbmathレビューはEMSの発行で
要するに、EMSとしてはRIMSの対応に納得してない、ってこと
文句があるならフェセンコでもだれでも反論すればいいが
反論できるんなら、とっくの昔にやってるだろう
できないからダンマリなわけで
やたらとリール大っていってるが、
リール大は大学であって個人じゃないぞ
なんか国家や大学が個人だと思ってんのか？ お馬鹿のセタ君はｗ
531:１３２人目の素数さん
21/09/20 20:54:48.54 lYkiWXwV.net
まぁ反論って言ったって“わからん”に対して反論なんかしようもないからな
強いて言うなら「わからんのはお前らがバカだから、そのうち理解者がわんさか出てきてわかりやすい解説書が山のように出てくるわ、みとれ」くらいしか言いようがない
実際そう思ってても口には出さんやろけどな
そもそもオレら外野はそんなどうでもいいやりとりがあろうが無かろうが関係ない
関係あるのはiutについて外部の人間が理解できる解説書みたいなもんがホントに出てくるのかどうか、あるいはこのまま京都限定定理として歴史の彼方へ消えていくのか
ちなみにそういうどうでもいい話にしか興味のないアホもいるがそういうアホはもっとどうでもいいな
532:１３２人目の素数さん
21/09/20 21:28:34.74 nhAqVP7S.net
>わかりやすい解説書が山のように出てくるわ、みとれ
みんなそう信じて、業なんかをテニュアで雇っちゃったけど、なんの打開にもならなかったね。
533:現代数学の系譜 雑談
21/09/20 22:39:28.94 waxcd7vS.net
>>484
どうも
＞強いて言うなら「わからんのはお前らがバカだから、そのうち理解者がわんさか出てきてわかりやすい解説書が山のように出てくるわ、みとれ」くらいしか言いようがない
ほぼ同意
”わかりやすい解説書”をレベル分けすると
レベルA：遠アーベルや類体論系のプロ向け（含むラングランズ）
レベルB：一般数論幾何やディオファントス系のプロ向け
レベルC：上記以外の数学者、Dｒ生向け
レベルD：修士クラス
レベルE：学部クラス
いま、レ�
534:xルAの途中と思います 例：Promenade in Inter-Universal Teichmuller Theory http://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-schedule.html や 4回の国際会議 レベルB以下は、これからでしょうね 私？ 私はレベルF未満ですよｗｗ
535:１３２人目の素数さん
21/09/21 00:09:08.78 5GEMM00A.net
>>486
君は大学一年の内容もちんぷんかんぷんだからレベル分けの対象外
536:１３２人目の素数さん
21/09/21 03:04:08.75 qno33ckT.net
そう言ってね？
537:１３２人目の素数さん
21/09/21 06:29:24.64 TEgxPiFn.net
>>480
＞論文のタイトルは「ＡＢＣからＬへ」であってＩＵＴは出てこない
IUTは出てるよ。14/20頁にIUTchIVのε
URLﾘﾝｸ(dms.umontreal.ca)(Sep21).pdf
＞正しいかどうかも分からん理論に基づいたって足元からズブズブ沈むからね
IUTchIV以外のεは適度でなく、IUTchIVのεを使うとの経緯の記述だから、
＞「正しいかどうかも分からん理論に基づいた」かどうかはわからないけど、
むしろ基づけたようです。
538:１３２人目の素数さん
21/09/21 07:00:12.96 saonSciq.net
>>489
>IUTは出てるよ。14/40頁にIUTchIVのε
理論抜きの不等式だけだね
>IUTchIVのεを使うとの経緯の記述だから、
>むしろ基づけたようです。
ちゃんと読めてる？
ABCからLへ、だからABCは前提だよ
ABCを導いたわけではない
そしてIUT論文の不等式も、利用しただけで
IUTから導いたわけではないよ
ABCを前提してるから
539:現代数学の系譜 雑談
21/09/21 07:08:03.45 A9kZzKBI.net
>>489
ありがとうございます。
＞IUTchIV以外のεは適度でなく、IUTchIVのεを使うとの経緯の記述だから、
そうそう、ここね
IUTchIVの改良版が、南出論文で
南出論文を適用したらどうなるのか？
そこの記述が無かったな
次のC. T´afula氏の研究ネタの一つでしょうね
(参考)
URLﾘﾝｸ(arxiv.org)
On Landau-Siegel zeros and heights of singular moduli
Christian Tafula
URLﾘﾝｸ(arxiv.org)
[v3] Tue, 18 May 2021 03:08:10 UTC (2,849 KB)
ON LANDAU?SIEGEL ZEROS AND HEIGHTS OF SINGULAR MODULI
CHRISTIAN TAFULA
540:１３２人目の素数さん
21/09/21 07:08:50.62 5GEMM00A.net
>>488
言ってない
学部クラス未満ってことは4年生の内容は理解してないが1年生の内容は理解してるも含まれる
彼は1根性の内容も理解してないからそう言ってない
541:１３２人目の素数さん
21/09/21 07:16:12.74 saonSciq.net
>>492
そもそも486で
>私？ 私はレベルF未満ですよ
と書いてるが、肝心のレベルFの定義がない
レベルF：高校卒業レベル
とすると、大1の内容が全然理解できてなくてもおかしくない
542:１３２人目の素数さん
21/09/21 07:54:03.24 saonSciq.net
>>491
>南出論文を適用したらどうなるのか？
それはRIMSでやったらどうだい？ 山下剛とかさ
543:１３２人目の素数さん
21/09/21 07:56:09.65 LkiKN8Tx.net
>>491
上から抑える高さｈで、ＩＵＴは被覆からの高さｈの精度が良く(ε精度が良い）計算できたなら、
ＡＢＣからＬの下側域で、他に示した方法のεよりも、ＩＵＴ算出のεの精度が使える、
ことなのかな？と思いました。 （・・・外れているかもねｗ）
でもそんな感じなら、被覆からｈを算出する精度のメリットで、ＩＵＴは必須になりそうだし、、、
544:１３２人目の素数さん
21/09/21 08:00:58.50 saonSciq.net
>>495
必須なのはIUTではなく「望月の不等式」では？
「望月の不等式」をIUTで証明できてないんじゃ、IUTは意味ないな
T´afula氏の論文はIUTを絶妙にバイパスしてるってことに気づかなきゃ
545:sage
21/09/21 12:12:27.67 htto4d8o.net
>>496
＞IUTを絶妙にバイパスしてるってことに気づかなきゃ
どこでバイパスしているのですか？？
「ABCからLへ」の過程で、C(K,ε)の項目にIUTの誤差εを入力しただけじゃ？
546:１３２人目の素数さん
21/09/21 21:23:17.78 L2cJTWh1.net
3ヶ月ぶりに来たけど変わりはないのかな？
547:現代数学の系譜 雑談
21/09/21 23:08:48.83 A9kZzKBI.net
>>498
> 3ヶ月ぶりに来たけど変わりはないのかな？
どうもです
3ヶ月ぶりなら、激変でしょうね
6月ころからの差分を書くと
1）予定のIUT国際会議4回無事終了。2021-06-28～2021-09-10まで、4回各1週間くらい
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
後ろの2回に、東大のAtsushi Shiho (Univ. Tokyo, Japan)先生が参加したらしい
前2回の資料は、公開済み。後の2回は、講演題目とアブストのみ公開。資料はまだ公開なし
2）和文 wikipedia が書き換わった。宇宙際タイヒミュラー理論に肯定的評価に書き換えられた
URLﾘﾝｸ(ja.wikipedia.org)
「フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている[3][4]。」の記述あり
3）そのフェセンコ氏の関連の類体論からみの資料が、二つ公開された：
>>453 IUT and modern number theory
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
[R5] Class field theory, its three main generalisations, and applications pdf, May 2021, EMS Surveys 8(2021) 107-133
4)Scholze氏のIUTダメ出しレビューが公開された
URLﾘﾝｸ(zbmath.org) Mochizuki, Shinichi Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908 Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
5）一方、望月拓郎氏が、3億円当選>>380
望月拓郎氏は、IUT出版の編集委員会にも名を連ねる人で、賞金額ではフィールズ賞に負けないことになった
6）モスクワICM 2022の講演者発表あり。IUT関連の人は入らず
思いつく順に挙げると、こんなところです
何か抜けていたら、だれか（だれでも）補足たのむ
548:１３２人目の素数さん
21/09/22 01:45:14.28 lodzQtSA.net
>>493
ま、高校レベルも怪しいんだが
549:１３２人目の素数さん
21/09/22 05:46:04.82 VhRjDn+p.net
>>500
そうなんだ 具体的にお願いします
550:現代数学の系譜 雑談
21/09/22 12:09:39.80 aN8Ug0tN.net
>>499 自己レス補足
そうそう祭りがあって（タイヒミューラー祭り）、
加藤文元先生が踊りをご披露したね（IUTの数学解説）
>>397より
”下記、全体4：30もの
IUT 加藤文元先生 3:15:02 ここらです URLﾘﾝｸ(youtu.be)
1.5倍速で見た。面白かった
URLﾘﾝｸ(youtu.be)
東工大理学院×すうがくぶんか「現代数学レクチャーシリーズ 2021」~数理ファイナンス＆タイヒミューラー祭り~
1,713 回視聴2021/09/12 にライブ配信
株すうがくぶんか
先生方にさらに詳しく講義していただく機会を設けました。こちらのページをご覧下さい。
URLﾘﾝｸ(www.youtube.com) （長いので略）
第4回目である今回は、コロナ禍のためオンラインで配信し、2部構成で開催されます。”
です
551:現代数学の系譜 雑談
21/09/22 14:18:15.39 aN8Ug0tN.net
下記は、IUTの国際会議の参加者と、Promenade in IUTの
主な日本人参加者をざっとピックアップしたもの（全てを丹念に拾ったものではないが）
東大、東工大、京大、阪大、広大、群馬大、日大など
全員が諸手を挙げて、IUTを支持しているかは分からないが
少なくとも、
552:ショルツェ氏のような全面否定ではないでしょう なので、国内的には、ショルツェ氏の敗北決定ですね https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut1.html 宇宙際タイヒミューラー理論への誘い（いざない） 場所：420号室＋オンライン 期間：2021-08-31?2021-09-03 組織委員：星裕一郎（京都大学数理解析研究所） 望月新一（京都大学数理解析研究所） Ivan Fesenko （英・ノッティンガム大学） 田口雄一郎 （東京工業大学） Confirmed partickyoudai ipants include: （日本人のみ、＆京大・RIMSは多いのでAkio Tamagawa氏のみ） Yu Iijima (Hiroshima Univ., Japan), Fumiharu Kato (Tokyo Inst. Technology, Japan), Yoshiaki Mizoguchi (Osaka Univ., Japan), Hiroshi Naruse (Univ. Yamanashi, Japan), Atsushi Shiho (Univ. Tokyo, Japan), Densuke Shiraishi (Univ. Osaka, Japan), Masatoshi Suzuki (Tokyo Inst. Technology, Japan), Yuichiro Taguchi (Tokyo Inst. Technology, Japan), Akio Tamagawa (RIMS, Kyoto Univ., Japan), Yu Yasufuku (Nihon Univ., Japan), https://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-participants.html Promenade in Inter-Universal Teichmuller Theory List of Participants Koichiro Sawada, Osaka University, JP; Yasuhiro Wakabayashi, Tokyo Institute of Technology, JP; Seidai Yasuda, Osaka University, JP;（今年北大へ） Shigetoshi Yokoyama, Gunma University, JP; Harumichi Yoshiura, Tokyo Institute of Technology, JP; Takao Yuyama, Tokyo Institute of Technology, JP;
553:１３２人目の素数さん
21/09/22 14:25:59.20 lAjzo9AQ.net
ショルツェさんの指摘は無視できないだろうから、公開できちんと決着つけてくれるといいですけどね。
そしたらよりIUTTが国際的に認められるだろうにね。年内はないだろうけど。
554:現代数学の系譜 雑談
21/09/22 14:59:11.01 aN8Ug0tN.net
あと、別のところにも書いたが、南出論文の明示公式は、結構ゆるい結果だと思う
数値計算のABC予想からは、まだまだ強い結果が出そうに思うので、南出論文の改良が可能では？
あと、ABC予想から 得られる結果の例 トゥエ＝ジーゲル＝ロスの定理の一般化で、南出論文から何か結果が得られるのかどうか？
南出論文では、何も触れられていない。ここはどうなっているのかな？
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
得られる結果の例
トゥエ＝ジーゲル＝ロスの定理
代数的数のディオファントス近似に関する定理。
グランヴィル＝ランジュバン予想（英語版）と同値。
URLﾘﾝｸ(en.wikipedia.org)
abc conjecture
Some consequences
・Roth's theorem on diophantine approximation of algebraic numbers.[7]
・As equivalent, the Granville?Langevin conjecture, that if f is a square-free binary form of degree n > 2, then for every real β > 2 there is a constant C(f, β) such that for all coprime integers x, y, the radical of f(x, y) exceeds C ・ max{|x|, |y|}^n-β.[16]
URLﾘﾝｸ(ja.wikipedia.org)
トゥエ・ジーゲル・ロスの定理
一般化
ウィリアム・ラベック（英語版） (William J. LeVeque) は、固定された代数体から近似値を定める場合に、同様な制限が成り立つことを示すことで、ロスの定理を一般化した。代数的数の ξ の高さ函数 H(ξ) を、最小多項式の係数の絶対値が最大となるように定義する。κ > 2 を固定すると、与えられた代数的数 α と代数体 K に対し、方程式
|α -ξ |<{1/{H(ξ)^κ}}
は、K の元 ξ の中には有限個しか解を持たない[4]。
つづく
555:現代数学の系譜 雑談
21/09/22 14:59:48.98 aN8Ug0tN.net
>>505
つづき
URLﾘﾝｸ(en.wikipedia.org)
Roth's theorem
Generalizations
William J. LeVeque generalized the result by showing that a similar bound holds when the approximating numbers are taken from a fixed algebraic number field. Define the height H(ξ) of an algebraic number ξ to be the maximum of the absolute values of the coefficients of its minimal polynomial. Fix κ>2. For a given algebraic number α and algebraic number field K, the equation
|α -ξ |<{1/{H(ξ)^κ}}
has only finitely many solutions in elements ξ of K.[4]
(引用終り)
以上
556:現代数学の系譜 雑談
21/09/22 15:06:36.60 aN8Ug0tN.net
>>504
レスありがとうございます
>ショルツェさんの指摘は無視できないだろうから、公開できちんと決着つけてくれるといいですけどね。
同意です
英フェセンコ先生とか、仏リール大の先生方
教えている学生の手前、"Promenade in Inter-Universal Teichmuller Theory"などに参加して
学生からみたら「ショルツェ氏のレビュー見たでしょ？ 何にも言えないの？ しっかり」しろよ！」
ですよね、多分ね
面と向かって言われなくてもね
黙っていられるはずがない
>そしたらよりIUTTが国際的に認められるだろうにね。年内はないだろうけど。
決着はともかく、
近々に、攻撃開始でしょうね
さて、どうなることやら
557:１３２人目の素数さん
21/09/22 15:19:37.26 miCnVfcc.net
攻撃開始wwwwwww
558:現代数学の系譜 雑談
21/09/22 15:33:40.82 aN8Ug0tN.net
反撃？ｗ
まあ、フランス人や英国人は、議論がお好きですからね
口撃でしょうかねｗｗ
娯楽かな？ｗｗｗ
559:１３２人目の素数さん
21/09/22 19:44:05.62 C82o2kI1.net
いや、オドレは遊んでる積もりでも毎日毎日ふかーい生き恥穴を堀り続けとるぞSetA坊
IUT瓦解を迎え次第、SetA坊は生き恥穴の広さ深さに打ちひしがられてゲシュタルト崩壊し自信と自己肯定感の喪失のあまり
何をするにしても自分で決断する事に怖じ気付き指示を求めてばかりの人間に成り下がる可能性が有る｡
560:１３２人目の素数さん
21/09/22 20:04:24.91 lFWSAuJy.net
>>510
頭悪そうw
561:１３２人目の素数さん
21/09/22 20:18:33.46 C82o2kI1.net
>>511
何がどう頭悪そうなのか逐一説明しきれ、さもなきゃ頭悪いのはオドレに成る。ハッタリじゃねぇんじゃろ？
ハッタリも嘘の一種｡
562:現代数学の系譜 雑談
21/09/22 20:21:49.37 J547olS/.net
下記の「Anabelioid の幾何学と Teichmuller 理論」2002年8月は、
結構重要ドキュメントだな
望月先生の初期のIUTの視点が示されている
即ち
・宇宙：Grothendieck 宇宙、議論を開始した際に採用された「集合論」、「あるラベル(=議論に登場する集合やその元の名前)のリストの選択」
・inter-universal：”スキームのような集合論的幾何的対象を別の集合論的宇宙から見たら、つまり、たまたま採用したラベルたちを取り上げてみたら、その幾何的対象はどのように見えるか?”、”宇宙を取り替えたりするような作業”
�
563:E「圏」：別の宇宙にも通じる数学的対象、違う宇宙にも通じるものをinter-universal、最も基本的かつ原始的な inter-universal な数学的対象 ・anabelioid：副有限群 G に対して B(G) を、G の連続な作用をもつ有限集合の圏、B(G) を1つの幾何的対象とみなし、anabelioid と呼ぶことにする などです https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html 望月 論文 https://www.kurims.kyoto-u.ac.jp/~motizuki/Anabelioid%20no%20kikagaku%20to%20Teichmuller%20riron%20(Muroran%202002-08).pdf Anabelioid の幾何学と Teichmuller 理論 望月 新一 (京都大学数理解析研究所)2002年8月 §1. p進双曲曲線を他宇宙から見る 我々が通常使用している、スキームなどのような集合論的な数学的対象は、実は、議論を開始した際に採用された「集合論」、つまり、ある Grothendieck 宇宙の選択に本質的に依存しているのである。この「1つの集合論」の採用は、もっと具体的にいうと、「あるラベル(=議論に登場する集合やその元の名前)のリストの選択」と見ることもできる。 すると、次のような問い掛けが生じる: 問: スキームのような集合論的幾何的対象を別の集合論的宇宙から見たら、つまり、たまたま採用したラベルたちを取り上げてみたら、その幾何的対象はどのように見えるか? つづく
564:現代数学の系譜 雑談
21/09/22 20:22:16.93 J547olS/.net
>>513
つづき
このように、宇宙を取り替えたりするような作業を行なう際、別の宇宙にも通じる数学的対象を扱うようにしないと、議論は意味を成さなくなるが、(本稿では省略するが)様々な理由によって、圏は、そのような性質を満たす。一般に、違う宇宙にも通じるものをinter-universal と呼ぶことにするが、「圏」というものは、最も基本的かつ原始的な inter-universal な数学的対象ということになる。
さて、スキームを他宇宙から見たらどんな風に見えるか、という問いに答えるためには、スキームを、inter-universal に表現する必要がある。これには様々な手法があるが、本稿では、次のものを取り上げる(別の手頃な例については、「Mzk7] を参照):
Et(X) def＝{Xの有限次エタール被覆の圏 }
(ただし、X は、連結なネータ・スキームとする。) 副有限群 G に対して B(G) を、G の連続な作用をもつ有限集合の圏、というふうに定義すると、Et(X) という圏は、B(π1(X)) (ただし、π1(X) は、Xの代数的基本群とする)と同値になる。
ここでは、B(G) を、1つの幾何的対象とみなし、anabelioid と呼ぶことにする。実は、B(G) は、「連結な anabelioid」になるが、一般には、複数の連結成分をもつanabelioid を扱うこともある(詳しくは、「Mzk8] を参照)。
anabelioid の理論の大きなテーマの一つは、通常スキームに対して行なうような様々な幾何的操作を、(Et(X)のようにスキームから生じたものかどうかとは関係なく) anabelioid のみの世界に
おいていわば“native' に行なうことである。このテーマの最も基本的な例の一つは、有限次 エタール被覆の定義である。
(引用終り)
以上
565:現代数学の系譜 雑談
21/09/22 20:35:55.03 J547olS/.net
>>510 & >>512
>IUT瓦解を迎え次第、SetA坊は生き恥穴の広さ深さに打ちひしがられて
蕎麦屋のおっさんか
ご苦労さん
おれは、名前の議論はしない。第三者に迷惑をかける可能性があるからね
ところで、”IUT瓦解”なら、生き恥は、記者会見の二人に、編集委員として名を連ねるRIMSの先生の方だよ
例の3億円男の拓郎先生とか
おれ？ おれは、「5ｃｈの名無しさん」だよ～んｗｗ
おれは、「生き恥」なんて無関係だよ。5ｃｈとおれのリアル界とは、不連続だよ、位相幾何的にねｗｗｗ
おれのリアル界には、”IUT瓦解”なんて全く無害
だが、RIMSの先生方のお歴々には、リアルな大打撃だぞよ
蕎麦屋さんな、RIMSの先生方のお歴々に言ってやれよ
”生き恥穴の広さ深さに打ちひしがられて～”云々と、説教垂れてやれよｗｗ
RIMSの先生方から、「ば～か、お前にIUTの何が分かる？ｗ」
と、バカにされるのが落ちだろうぜｗｗｗ
566:１３２人目の素数さん
21/09/22 21:42:33.09 jPrJs7IF.net
>>515
別に論文誌に嘘論文が載ったからと言って編集委員が責任とるなんてことないだろ
STAP論文が載ったからと言ってネイチャーの編集委員が責任とったか？
567:１３２人目の素数さん
21/09/22 22:09:28.71 Qq9M3jEb.net
>>516
嘘と間違いは別よ
テ
568:ストで間違った回答をしたにも関わらず丸を付けたら採点官は責任を取らされるが カンニングして正しい回答をしたならば採点官は丸を付けても責任を取らされることはない
569:１３２人目の素数さん
21/09/22 22:44:54.60 jPrJs7IF.net
>>517
論文の例ではどちらも論文に虚偽が書いてあることに変わりない
570:現代数学の系譜 雑談
21/09/22 23:37:34.08 J547olS/.net
>>516-518
1．人間だから、間違うこともある
2．しかし、いまのIUTについては、最低限ショルツェ氏の指摘した2018年のSSと、IUT論文審査と、
この二つを天秤にかけた判断は、間違うことは許されないのです
3．確かに、査読出版された論文で、後にギャップが発見されることは皆無ではない
だが、そういうギャップと、いまの「SSとIUT論文審査とを天秤にかけた判断」とは、全く質の異なる問題です
ここを間違えたら、RIMSの先生方は”生き恥”も良いところだろう
しかし、それはないな
あるのは、ショルツェ氏の”生き恥”だろうね
571:１３２人目の素数さん
21/09/23 01:21:05.93 nFDCzTo+.net
>>518
同じこと
虚偽のデータをでっち上げられたら査読者には見抜けない、よって査読者に責任は無い
一方論理の甘い論文は通すのは査読者の判断、よって査読者の責任
572:１３２人目の素数さん
21/09/23 05:36:26.94 U7ohaL6S.net
>>520
＞論理の甘い論文
>>514で、本人も「（通常の考え方で）スキームでは成り立たないが、圏として成り立つ」とした発想を、発想にとどめずに論理で体系付け迄、をした論文では。
査読の依頼は、圏が非専門でないよう配慮して依頼されていたのでは？
宇宙際タイヒミュラー理論の名の>>514も含めて、世（査読者にも）に発表し、その評価を求めたのだから。
ショルツェ氏のブログの言及（SS文書で数学的に表明してない）で、残るのは、
宇宙際のところだけど、此処は著者の研究の最先端だけど、そでは新規のことで、
「昔ながらのスキーム」と言うけど、それと違うことを考えたのだから。
複素数が正しいかのような話で、そこは「実数の根」として虚だけど、と一緒では。
「スキーム」として虚だけど、が成立するのか？みたいな。
573:現代数学の系譜 雑談
21/09/23 07:11:10.40 2Juc78Pd.net
>>521
>>521
そうですね
今回の例とは、ちょっと違うと思いますが、下記リーマンの例が参考になるかも
しかし、ショルツェ氏の指摘は、大外しと思います
URLﾘﾝｸ(ja.wikipedia.org)
ベルンハルト・リーマン
現在では、リーマンの数学的業績の多くがさまざまな分野に浸透しているが、19世紀には、複素解析の基礎づけもリーマン幾何学も正当な評価を得ていなかった。複素解析の分野では、カール・ワイエルシュトラスがリーマンの複素解析の基礎づけに使ったディリクレの原理にギャップがあることを指摘したため、多くの数学者が疑念を共有するようになった。その一方で、ワイエルシュトラスが主導していたベルリン学派の数学者たちはリーマンの複素解析と楕円関数の研究を検討するようになり、シュワルツは幾何学的方法によってリーマンのギャップを解消する交互処理法を導入し、フックスは特異点のまわりでの解の解析接続を研究するためにリーマンの方法を利用するようになった。また、クラインはリーマンの複素解析に関する論文を発表し、この分野での研究を促していった。1900年、ヒルベルトは（ワイエルシュトラスが批判した）ディリクレの原理の問題を解消し、その後、ヘルマン・ワイルがリーマン面を1次元複素多様体として厳密に定義し、さらにディリクレの原理を直交射影の原理として再定式化することで、�
574:梶[マンの複素解析での業績は再評価されることになった。 https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E3%81%AE%E5%86%99%E5%83%8F%E5%AE%9A%E7%90%86 リーマンの写像定理 歴史 この定理は、1851年のベルンハルト・リーマンの学位論文にて（U の境界が区分的に滑らかであると仮定して）記述された。ラース・アールフォルスはかつて、この定理の元々の定式化について「現代の方法を以てしても、いかなる証明の試みをも拒絶するような言葉で定式化されていた」と述べている。リーマンの誤った証明はディリクレの原理（命名はリーマンによる）に依存しており、この原理は当初正しいと考えられていたが、カール・ワイエルシュトラスが一般には成り立たないことを発見した。
575:１３２人目の素数さん
21/09/23 07:11:36.52 +a8NPpUv.net
虚数が出てきた当時のようなそれまでは平方が負になるなんて非現実というような「拒絶」があったように、
IUTTも今壮大な「虚数学」の世界を作り上げようとしていて拒絶にあっているのかもね。
複素数もグラフ化されて幾何学的なイメージが駆使できるようになると途端にその有用性が広まったように思えるから
IUTTもそういう局面がくればいいのかもね。
576:現代数学の系譜 雑談
21/09/23 07:20:35.93 2Juc78Pd.net
>>520
どうもです
>虚偽のデータをでっち上げられたら査読者には見抜けない、よって査読者に責任は無い
医学とか生物学とかね
STAPがその例でしょうか
しかし、数学では、実験データは基本的にはありません
>一方論理の甘い論文は通すのは査読者の判断、よって査読者の責任
今回はそれでは済まないでしょう
もし、IUTがショルツェ氏の指摘通りで、救いようのないクソ論文なのに、査読が甘くて通してしまったなんてね
RIMSが身内に甘いと言われます
だから、IUT 出版序文（下記）で
”Several mathematicians kindly accepted an invitation to referee the papers;
we are extremely grateful to them for their efforts and patience. Based on their
reports, we had numerous editorial meetings. In particular because of the total
length of the series of papers, it took a long time for the Editorial Committee to
arrive at the final decision of acceptance.”
と書かれている
つまり、単純に”査読者の判断”、”査読者の責任”ではなく
自分たちが責任を持つと宣言しています
(参考)
URLﾘﾝｸ(drive.google.com)
IUT 出版序文リンク Andrew Putman 2021年3月6日
577:１３２人目の素数さん
21/09/23 07:41:17.16 f4hCmhT5.net
>>515
>おれは、「生き恥」なんて無関係だよ。
>5ｃｈとおれのリアル界とは、不連続だよ、位相幾何的にね
Set Aは位相幾何以前に線型代数を一から勉強したほうがいいね
ま、実社会でも「中身カラッポの口先男」って陰口叩かれてそう
５ｃｈと実像はホモトープ
あ、Set Aはド素人だから意味わかんないか（嘲）
578:１３２人目の素数さん
21/09/23 07:45:55.13 botft08M.net
>>523
複素数も、IUTも「関数を逆に操作して出てくる」ところで、なんとなく似た気がする。
遠アーベルで群の逆で扱うときに、圏で扱かい、元関数を論じるとこ、とか。
逆だから、順と違って、是了までがえらい難しいことになるのでは。
そこには当然のように、同型の違いの取説つくりとか、扱える圏で被覆をつくらないと、逆だから１対１の証明でなくファルティングス定理のように１対複数分布とか、諸々と。
もし、宇宙際による圏の取説ができて�
579:ｽなら、複素数のように有用なのかな。
580:現代数学の系譜 雑談
21/09/23 07:46:41.00 2Juc78Pd.net
>>523
どうもです
同意です
>複素数もグラフ化されて幾何学的なイメージが駆使できるようになると途端にその有用性が広まったように思えるから
>IUTTもそういう局面がくればいいのかもね。
同意です
その一例が、Fesenko先生の下記の図解だと思っています
(>>325)
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Ivan Fesenko - Research in texts
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
[R5] Class field theory, its three main generalisations, and applications pdf, May 2021
P16の後半に面白い図がある
コピーペースト下記
Here are some relations between the three generalisations of CFT and their further developments:
2dLC?－－ 2dAAG－－－ IUT
l ／ ｜ ｜
l ／ ｜ ｜
l／ ｜ ｜
LC 2dCFT anabelian geometry
＼ ｜ ／
＼ ｜ ／
＼ ｜ ／
CFT
注）記号：
Class Field Theory (CFT), Langlands correspondences (LC), 2dAAG = 2d adelic analysis and geometry, two-dimensional (2d)
(P8 "These generalisations use fundamental groups: the etale fundamental group in anabelian geometry, representations of the etale fundamental group (thus, forgetting something very essential about the full fundamental group) in Langlands correspondences and the (abelian) motivic A1 fundamental group (i.e. Milnor K2) in two-dimensional (2d) higher class field theory.")
581:１３２人目の素数さん
21/09/23 07:47:43.50 f4hCmhT5.net
>>519
>最低限ショルツェ氏の指摘した2018年のSSと、IUT論文審査と、
>この二つを天秤にかけた判断は、間違うことは許されないのです
愛国馬鹿のSet A 必死だな（呆）
実態は、といえば、2015年の時点で「こりゃダメぽ」感が蔓延してた
ただ、2017にＭがＡ新聞のＩとかいう記者に積極的にアクセプトをリークしたので
RIMS側が慌てふためき、森氏がScholzeを呼んでなんとか事態の収拾を図ろうとしたが
結局理解が得られず失敗 しかたなく2020年に無理矢理アクセプト＆出版の大恥
これでRIMS、いや日本の数論幾何は完全に死んだ、と専らの噂
582:現代数学の系譜 雑談
21/09/23 07:49:18.11 2Juc78Pd.net
>>526
どうもです
へー、そうなのか
「宇宙際による圏の取説」は、面白そう
583:１３２人目の素数さん
21/09/23 07:50:30.94 f4hCmhT5.net
>>522
>ショルツェ氏の指摘は、大外しと思います
SetA、必死の懇願
「頼む、Scholzeよ、間違ってくれぇぇぇぇぇ」
人生ことごとく負けてきたSet A、最後の勝負で完全敗北死
584:１３２人目の素数さん
21/09/23 07:52:57.38 f4hCmhT5.net
>>524
>もし、IUTがショルツェ氏の指摘通りで、救いようのないクソ論文なのに、
>査読が甘くて通してしまったなんてね RIMSが身内に甘いと言われます
「甘い」んじゃなくて「事実上無い」といわれてます
おそらくFesenkoがメクラ判押したんでしょう
あの人もＭ同様、なんか精神的にオカシイ人みたいだし
二人の狂人が結託してありもしない成果をデッチあげたか
585:１３２人目の素数さん
21/09/23 07:57:18.34 f4hCmhT5.net
>>524
Set Aって英語全然読めない馬鹿だったんだな（嘲）
”Several mathematicians kindly accepted an invitation to referee the papers;
we are extremely grateful to them for their efforts and patience. Based on their
reports, we had numerous editorial meetings. In particular because of the total
length of the series of papers, it took a long time for the Editorial Committee to
arrive at the final decision of acceptance.”
ほぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉぉい
「数名の数学者が論文のレフェリーを快く引き受けてくださいました。
私たちは、彼らの努力と忍耐に非常に感謝しています。
彼らの報告をもとに、私たちは何度も編集会議を開きました。
特に、一連の論文が長かったため、編集委員会が最終的に
採用の判断を下すまでに時間がかかりました。」
586:１３２人目の素数さん
21/09/23 08:00:22.49 f4hCmhT5.net
>>527
>同意です
SetAは全く理解できないとき脊髄反射でこの言葉をいう（嘲）
>Fesenko先生の下記の図解
2dLC?－－ 2dAAG－－－ IUT
l ／ ｜ ｜
l ／ ｜ ｜
l／ ｜ ｜
LC 2dCFT anabelian geometry
＼ ｜ ／
＼ ｜ ／
＼ ｜ ／
CFT
なんか馬鹿が狂人の
587:書いた図をわけもわからずコピペしてるな（嘲） 実に痛々しい
588:１３２人目の素数さん
21/09/23 08:03:37.93 f4hCmhT5.net
>>529
>面白そう
SetAは自分が全く理解できないとき悔しさ10000%でこの言葉を吐き捨てます
「面白い！！！」（苦虫を嚙み潰した顔で）
589:１３２人目の素数さん
21/09/23 08:07:17.17 f4hCmhT5.net
SetAの書き込みは数学的にも非数学的に面白みゼロ
数学的には初歩の誤りに満ち溢れている
（誤りがなかったことは皆無）
非数学的には不快な自画自賛臭がプンプンで耐えがたい
（自分だけがこの世で生きていると本気で思ってる万年三歳児なんだろう）
こいつの妻がどんな女か知らんが、人を見る目がないのは確か
こいつの息子がどんなヤツか知らんが、親ガチャの典型的なハズレなのは確か
590:１３２人目の素数さん
21/09/23 08:10:09.49 f4hCmhT5.net
自分は別に成功者だというつもりはない
（そもそも成功ってつまらんことだと思ってるが）
ただ自惚れ関西人のSetAと違って自分は
妻と子供という犠牲者を生まなかった
ということだけは自慢しとこｗ
（そもそもモテなかっただけだろ、というツッコミは無視）
591:１３２人目の素数さん
21/09/23 08:16:13.10 f4hCmhT5.net
SetAは大学１年レベルで次から次へと間違ってる
おそらく日本語の文章が読めないんだろう
高校までの数学はぶっちゃけ計算方法だけしか書いてないから
日本語の長い文章が読めなくても問題ない
しかし、大学の数学ではしょっぱなからつまづく
論理が分かってない、ということなんだが、
数学は計算方法だと思い込んでるSetAが
自分の欠陥を自覚することは死ぬまでないだろう
（ガロア理論！と＊＊の一つ覚えのように絶叫するのも
ガロア理論が「ベキ根で解けない代数方程式」の
必殺解法だと誤解してるんだろう 実際は解きたきゃ
数値解法でもなんでも使えばいいんで、解を得るのに
ガロア理論を知る必要は全然ない 工学馬鹿のくせに
そんな基本的なことすら分かってないというのは、
技術者失格である）
592:１３２人目の素数さん
21/09/23 08:20:07.64 f4hCmhT5.net
SetAは、有限と無限の違いが分かってない
自然数の有限集合なら必ず最大値が存在するが
無限集合の場合には存在しない、ということが分かってない
だから「箱入り無数目」で
「有限列で予測できないなら、無限列でも予測できるわけがなぁぁぁぁい！」
とわけも分からず絶叫する
特に「なんでもかんでもコンパクトぉぉぉぉぉ」と言い出すのは馬鹿の極み
自然数全体の集合なんて（順序位相を入れた場合）最も典型的なノンコンパクトの例だが
593:１３２人目の素数さん
21/09/23 08:24:27.05 f4hCmhT5.net
SetAには分からん問題
サイズｎの正方行列全体はR^(n^2)を成す
さて．ランクがたかだかｍ（＜ｎ）の正方行列全体が成す空間
（もちろん線型空間ではない）の次元はいくらか
594:１３２人目の素数さん
21/09/23 09:20:41.20 j/zPNVjX.net
>>529
＞「宇宙際による圏の取説」は、面白そう
元の関数に宇宙際で被覆する圏で、被覆する圏は遠アーベルで扱える圏にするけど、
圏と元の関数の高さhを微分の範囲で、積分の大域化すると被覆する圏との誤差になるが、
元の関数の被覆がよくできると高さhが小さくなるから、精度が高いので誤差εが小さく、
>>470、>>497で、
ABCからLへの変換のとき、誤差(K,ε)項目で、ABCでのIUTⅣのの誤差εで零点に抑えることができた、
のであれば、元関数に宇宙際で被覆をつくるのは「有用」、ということになる。
595:現代数学の系譜 雑談
21/09/23 09:49:19.16 Nc3aQqV/.net
>>540 へー ちょっと、レベルが高いので、ついていけませんが いろいろ、そういう解説が出てきても良さそうなころと思います 実際、タイヒミューラー祭り>>502の加藤文元先生解説みたいなのも出てきています
597:現代数学の系譜 雑談
21/09/23 09:57:24.85 Nc3aQqV/.net
>>533
(引用開始)
>Fesenko先生の下記の図解
2dLC?－－ 2dAAG－－－ IUT
l ／ ｜ ｜
l ／ ｜ ｜
l／ ｜ ｜
LC 2dCFT anabelian geometry
＼ ｜ ／
＼ ｜ ／
＼ ｜ ／
CFT
なんか馬鹿が狂人の書いた図をわけもわからずコピペしてるな（嘲）
実に痛々しい
(引用終り)
あれれ、上記は、>>354より
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
[R5] Class field theory, its three main generalisations, and applications pdf, May 2021, EMS Surveys 8(2021) 107-133
EMS Surveys 8(2021) 107-133の裏付け下記
URLﾘﾝｸ(www.ems-ph.org)
EMS SURVEYS IN MATHEMATICAL SCIENCES
Volume 8, Issue 1/2, 2021
Class field theory, its three main generalisations, and applications
Ivan Fesenko
pp. 107-133
Abstract | Full-Text PDF (362 KB)
(引用終り)
つまり、Fesenko先生のも、
EMS Surveysで、ちゃんと出版されているってことですよ！
「狂人の書いた図」？ あなたは？ｗ
Fラン数学科の落ちこぼれ じゃないですか？ｗｗ
598:現代数学の系譜 雑談
21/09/23 10:26:31.51 Nc3aQqV/.net
>>534
>>面白そう
>SetAは自分が全く理解できないとき悔しさ10000%でこの言葉を吐き捨てます
>「面白い！！！」（苦虫を嚙み潰した顔で）
私は、
名前の議論はしない
だれか第三者に、迷惑を掛ける可能性があるからね
でね
おサルさん、笑えるよ、あなたｗｗｗ
そっくりお返しするよ
延々と>>539まで必死の連投ですね、ご苦労さん。くやしさが、丸見えじゃんｗｗｗ
しかし、あんたのやっていることは、単に個人攻撃であって、IUTの数学の議論は全く無しだよね
それって、ごはん論法かなにか知らないが、古典的な論点ずらしの手法でしょ？ｗｗｗ
つーか、あなたはIUTの数学には、1ｍｍも入れないよねぇ～
多分、下手にIUTの数学に入ると、間違ったら
レベルの高い人から突っ込まれて、轟沈の可能性大だものねぇ～
IUTについては、
かなり形勢がはっきりしたと思いますよ
おサルさん、あなたは完全に劣勢ですよｗｗｗ
599:１３２人目の素数さん
21/09/23 10:31:04.67 xnPG3r5N.net
フェセンコの意図は、類体論やラングランズ対応と並べることで
IUTも正統な数学の一部なんだと言いたいんだろうけど
ブンゲン本にはそれと真逆なことが書いてあったような
600:１３２人目の素数さん
21/09/23 11:27:47.71 M9HJlPdg.net
数学理論を「応援」とか頭おかしいわ。
601:現代数学の系譜 雑談
21/09/23 11:47:46.42 Nc3aQqV/.net
>>545
＞数学理論を「応援」とか頭おかしいわ。
あらら、いまさらｗ
過去、
・ＲＩＭＳが、予算ほしさに、ＩＵＴを担いでいるとか、あること ないことを書きまくるアンチの人が居た
・盲目的に、ショルツェ氏マンセー！で、ショルツェ氏が正しいと絶叫するアンチの人がいた
・日本人アンチで、「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ」>>7 と叫ぶアンチの人がいた
そちらを放置しておいて
その論は
片手落ちでしょｗ
602:１３２人目の素数さん
21/09/23 11:50:37.40 f4hCmhT5.net
>>541
>ちょっと、レベルが高いので、ついていけませんが
ちょっと？ 何見栄張ってんだ？
正則行列の条件も分からん海抜０ｍの貴様には
海抜８０００ｍ台の数学の最高峰の話など
全然なにいってるのかチンプンカンプンだろ
だから線型代数から始めろっていってるだろ
まあ、電車とケーブルカーで行けるレベルだな
東京でいえば高尾山（５９９ｍ）か御岳山（９２９ｍ）
603:現代数学の系譜 雑談
21/09/23 11:52:42.71 Nc3aQqV/.net
>>544
>フェセンコの意図は、類体論やラングランズ対応と並べることで
>IUTも正統な数学の一部なんだと言いたいんだろうけど
>ブンゲン本にはそれと真逆なことが書いてあったような
説明します
１）フェセンコ先生の”EMS SURVEYS IN MATHEMATICAL SCIENCES
Volume 8, Issue 1/2, 2021
Class field theory, its three main generalisations, and applications”
については、明らかにプロの数学研究者向けです
２）一方、ブンゲン本は、
日本の一般大衆（文系さん）向けです
その記載ぶりが、一致しなくても、
全く不思議ではありません
以上
604:１３２人目の素数さん
21/09/23 11:52:51.92 f4hCmhT5.net
>>542
>つまり、Fesenko先生のも、
>EMS Surveysで、ちゃんと出版されているってことですよ！
だからFesenkoが狂ってない、という証明にはならんが
IUTについて説明できないのに正しいと言い張るなら狂ってる
605:現代数学の系譜 雑談
21/09/23 11:56:47.92 Nc3aQqV/.net
>>547
はっはっはｗｗ
再録下記、
何度読んでも笑えるぜｗｗｗ
おサルさん、あんたのレベルも似たようなものだよねｗ
Inter-universal geometry と ABC予想 (応援スレ) 56
ｽﾚﾘﾝｸ(math板:116番)
116 自分：１３２人目の素数さん[sage] 投稿日：2021/06/29(火) 22:59:54.49 ID:e86KtvcW
>>113-115
フッ
サルが二匹か
一匹は、テンプレ>>6-7のサイコパスおサル
もう一匹は、時枝記事不成立が分からない、無限列も分からない、おサルさん
606:１３２人目の素数さん
21/09/23 11:57:03.41 f4hCmhT5.net
>>543
>私は、名前の議論はしない
>だれか第三者に、迷惑を掛ける可能性があるからね
はっきりいえばいいのに
「俺の本名を書くな！俺と妻と息子が●される！」
ってな
いっとくけど、誰も
・工業高校卒で大学にとうとう入れなかった貧民の貴様
・そんな貴様に騙されて結婚したある意味被害者の貴様の妻
・そんな二人の＊＊Xの結果ひねくりだされた完全に被害者の息子
のことなんかこれっぽっちも関心ねえよ
よかったな貴様が超小物で
607:１３２人目の素数さん
21/09/23 11:59:16.80 f4hCmhT5.net
>>543
>おサルさん、笑えるよ
数学板の数学科卒の理学博士様たちの読者から
散々嘲笑されてる「おサルさん」は貴様だよ 貴様
ま、大学にも入れなかった工業高校卒がイキがるからそういう目にあう
工業高校卒はこれにこりて永遠に数学について語らないこった
608:１３２人目の素数さん
21/09/23 12:01:40.86 f4hCmhT5.net
>>543
>あんたのやっていることは、単に個人攻撃であって
ん、Scholzeを散々馬鹿にしてる君の行為こそ個人攻撃という犯罪行為
即、死刑ですな じゃ焚殺で
ま、工業高校卒の一匹焼いたところで世の中何の変化もありませんが
609:１３２人目の素数さん
21/09/23 12:03:51.78 f4hCmhT5.net
>>543
>あなたはIUTの数学には、1ｍｍも入れないよねぇ～
コピペしただけで
「ＩＵＴに１ｍｍはいれたぁぁぁぁ」
と思ってるそこの工業高校卒の君
線型代数の教科書で勉強しなおそうね
正則行列くらい知らないと技術者なんか到底無理だから
610:現代数学の系譜 雑談
21/09/23 12:05:13.50 Nc3aQqV/.net
>>549
>>つまり、Fesenko先生のも、
>>EMS Surveysで、ちゃんと出版されているってことですよ！
>だからFesenkoが狂ってない、という証明にはならんが
いや、だから、Fesenko先生は、EMS Surveys投稿で
欧州の（多分世界の）プロ数学者に、自分の意見を問うているのです
その意見の成否は、プロ数学者たちが判断するよね。
あなたも意見があるなら、論文でも学会発表でも、なんでもしたら？ ５ｃｈでこそこそ言わないでｗｗ
＞IUTについて説明できないのに正しいと言い張るなら狂ってる
IUTについての説明は、今年の４回のIUT国際会議でしているよ
Atsushi Shiho (Univ. Tokyo, Japan)先生
8月末～9月初めの二つのIUT会議に出席したそうだ>>321
Atsushi Shiho (Univ. Tokyo, Japan)先生は、納得したんじゃないかな？ｗｗ
あなたの納得？ むりむりむりｗｗｗ
611:１３２人目の素数さん
21/09/23 12:06:50.35 f4hCmhT5.net
>>543
>IUTについては、かなり形勢がはっきりしたと思いますよ
ええ、愛国＊＊の君の負け
愛国＊＊って国家におだてられて嬉々として死ぬよね
喜んで特攻機とか人間魚雷に�
612:謔ﾁて爆死するタイプ ま、当時だって喜んで死ぬ人はいなかったよ みんなこんなの国家と軍による究極のイジメだとおもったろうな
613:１３２人目の素数さん
21/09/23 12:10:34.75 f4hCmhT5.net
>>546
愛国＊＊ 発狂中
なんら自慢するネタがない人が、国家を褒めたがるよね
そしてそういう＊＊を国家が利用する
Ｊ民党のＴ市みたいなクソババアを礼賛する奈良の＊＊どもは
いいかげんＪ民党のせいで自分たちはみな滅びることに気づいたほうがいい
勝ち組のみなさんはみな東京在住ですからぁ、残念！
614:１３２人目の素数さん
21/09/23 12:12:17.93 f4hCmhT5.net
>>548
フェセンコがＩＵＴについて何をいっても、
他の数学者を誰ひとり理解させられない限り
居ないも同然です
ブンゲン？ああ、Ｍの金魚のフンか（嘲）
615:１３２人目の素数さん
21/09/23 12:13:39.78 f4hCmhT5.net
>>550
＞はっはっは
貴様は奈良の郷里の村で野球のグローブでもつくってろ
数学？貴様のオツムじゃ無理 諦めろｗ
616:１３２人目の素数さん
21/09/23 12:16:04.20 f4hCmhT5.net
>>555
>IUTについての説明は、今年の４回のIUT国際会議でしているよ
他の数学者を理解させられない寝言なんか説明でもなんでもない
貴様は奈良の郷里の村で野球のグローブでもつくってろ
数学？貴様のオツムじゃ無理 諦めろｗ
617:１３２人目の素数さん
21/09/23 12:50:53.03 uS9a1XGD.net
>>499
ありがとうございました
それにしても相変わらずいつも執拗な奴を相手されてて大変ですな…
618:１３２人目の素数さん
21/09/23 14:10:28.24 nKYPm0Nq.net
>>561
自分に感謝してどうしたの？
619:１３２人目の素数さん
21/09/23 14:11:19.08 f4hCmhT5.net
>>561
>それにしても相変わらずいつも執拗な奴を相手されてて大変ですな…
SET Aの身から出た錆だな
愚かにも数学板でコピペでマウントとろうとしたら、案の定ボロが出て大失敗
それでも性懲りもなく同じ技で何度も大失敗を繰り返す
諦めて数学板から永遠に消え去ればいいのにね
620:現代数学の系譜 雑談
21/09/23 15:12:16.87 Nc3aQqV/.net
>>561
どういたしまして
ご丁寧にありがとうございます。
＞それにしても相変わらずいつも執拗な奴を相手されてて大変ですな…
サイコパスのおサルさん>>6-7とは、旧ガロアすれからのつきあいで
多分、2015年か2016+年くらいから、かれこれ5年以上
サイコパスのおサルさん>>6-7の特徴は、
数学落ちこぼれのコンプレックスからでしょうが
必死に他人に、背のリ（せのり＝マウント）しようとしてきます
それと、アンチ日本及び日本人です
「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ」>>7とか、”自分は何さま？”って感じですけどねｗ
621:１３２人目の素数さん
21/09/23 15:47:42.65 uS9a1XGD.net
>>564
奴は特定のワードを用いてくるのでお察しですわな
自分ならさっさとNGにしますが…
622:１３２人目の素数さん
21/09/23 15:53:13.48 f4hCmhT5.net
>>565
自分がSET Aなら数学板でいくら書いても
馬鹿にされるだけだから書きませんね
SET Aは馬鹿にされることが快感のマゾかもしれませんなｗ
それにしてもニッポンニッポンってキモチワルイヤツですな SET Aは
623:１３２人目の素数さん
21/09/23 15:54:49.98 f4hCmhT5.net
「ガロアすれ」というものはありません
「ガロア理論がどうしても理解できない＊＊の数学板荒らしスレ」はありましたが
624:１３２人目の素数さん
21/09/23 16:01:03.15 f4hCmhT5.net
>「ジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ」
真実だから仕方ない
オカは数学以外ではおかしなことしかいってない
もう精神異常レベルなのでまともな人は相手にしないし
商売でつきあう人もあまりのおかしさに辟易して逃げだす
シムラはオカよりはマトモっぽいが、
それでも不快なレベルの自慢と他者の罵倒が実にしばしばみられる
お友達にしてはいけない典型的なタイプ
タニヤマの自●の理由がシムラにあるかどうかは定かではない
モチヅキはなんか行�
625:ｮが一々オカシイ アメリカでよっぽどイヤなことがあったのか 白人に対する根強い恨みがあるのか定かではないが そのせいでＩＵＴの対応も実に●違いレベルの異常反応があり 弟子やら同僚やらが巻き込まれて大変迷惑している感じ
626:１３２人目の素数さん
21/09/23 16:04:00.12 f4hCmhT5.net
証明できた、と思ってたことが実はそうでなかった、というのはしばしばある
そういう場合も、別に「考え直してみます」といえばいいだけなのだがね
627:１３２人目の素数さん
21/09/23 16:06:07.81 f4hCmhT5.net
IUTは、2015年で「こりゃダメだ」と見捨てました
正直RIMSの連中がなんで望月新一に固執するのか全然わかりませんね
628:１３２人目の素数さん
21/09/23 17:31:34.87 0aZDXckg.net
固執なんかしてない
629:１３２人目の素数さん
21/09/23 17:40:53.61 lqueQMpd.net
ナチスRIMS党SetA「ハイル・モッチー！ジーク・RIMS!!ジーク・RIMS!!｣
SetA本性「IUTが瓦解しても俺は痛くも痒くもないもんね～ｗｗｗ｣
残念ながらSetA坊、お前の恥の歴史にまた一頁どころではない一冊が出来るんだよ。後生型精神系負担｡
つまり麻薬が「一度やったら1回で止めたら良いのではなく止め続けなければ成らない」のと同様に
今のRIMS褒め殺し活動は「連綿とやったら1回で開き直れば良いのではなく開き直り続けなければならない」んじゃよ｡
ワタベ不倫同様にSetA坊RIMS褒め千切り恥の歴史、と成る｡
630:１３２人目の素数さん
21/09/23 17:41:57.37 nKYPm0Nq.net
>「ガロア理論がどうしても理解できない＊＊の数学板荒らしスレ」はありましたが
正規部分群が分からないサルにガロア理論が分かろうはずも無い
631:現代数学の系譜 雑談
21/09/23 18:33:03.50 Nc3aQqV/.net
>>571
>固執なんかしてない
同意
そう思いますよ
普通ですよねｗ
632:現代数学の系譜 雑談
21/09/23 18:37:01.22 Nc3aQqV/.net
>>573
笑えるなｗｗｗ
（>>56より）
>>25
>おサルさ
>おまえ、ガロア理論のホームページだったかブログだったかを開いたって書いたよね
>で、少し前に見に行ったら、閉じられていたぞ
>あれは、間違いがあって、教えてくれというｊから、半年くらい恥さらししてから教えてやるっていったんだけど
>間違いに気付いて閉じたのかな？ｗ（＾＾
下記だね
(引用開始)
純粋・応用数学（含むガロア理論）7
ｽﾚﾘﾝｸ(math板:17番)-19
投稿日：2021/04/20(火)
ありがとさん
おサルのブログ見たけど
あんたのガロア理論の理解って粗雑きわまりないね
おサルさんが
こっそり、改ざん修正できないように
スナップショットを貼っておくよ（＾＾；
＜スナップショット＞
URLﾘﾝｸ(mara.hatenablog.jp)
”雑談 ◆yH25M02vWFhP”を語る 5ch数学板の”名物男”について語る
2021-04-18
ガロア理論について一般人が知っとけばいいこと
ガロア理論による５次以上の代数方程式の非可能性の概要
１．それぞれの代数方程式に対して、
方程式のガロア群なるものが存在する。
ガロア群 - Wikipedia
２．代数方程式がベキ根で解けるとき、そのときに限り、
その方程式のガロア群は、可解性という性質を持つ。
可解群 - Wikipedia
(引用終り)
でね
ここ普通は、代数方程式に”正規かつ分離”という条件がつくよ（ガロア群のために）
正規は、下記ご参照
分離は重根を持たないってことね
細かいといえば細かいが、院試なら書いてないと「分かっているのか？」となるし、
書いていれば「分かっているな」となるだろう
数学科出身者が書くなら、これは落とせないのでは？（＾＾
以上
633:１３２人目の素数さん
21/09/23 18:38:46.01 yI+pXxHX.net
グロタンディークのガロア理論だとどうなるの？
634:１３２人目の素数さん
21/09/23 19:02:09.20 f4hCmhT5.net
>>575
＞正規は、下記ご参照
結局君には全く正規の意味が理解できなかったんだね お馬鹿サルｗ
君は理解できないことはコピペしない つっこまれたら答えられないもんな
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
635:１３２人目の素数さん
21/09/23 19:03:37.28 xnPG3r5N.net
1はガロアの原論文を勉強してたはずだけど
ガロアの原論文には、"正規かつ分離"なんて条件は出てこないけど、なんでか分かる？
だいたい、"正規"というのは体の性質であって、「方程式が正規」というのはおかしい。
実際、ある代数方程式の根を"すべて"添加した体は
基礎体上、必然的に正規拡大になる。
分離性は、標数0のときは問題にならない。
一方で、ガロアは"既約"という条件は強調している。
基礎体上、任意の既約代数方程式f(x)=0があれば
「そのガロア群が定まる」というのは全く正しいし
ガロアの論文にはそのことが書いてある。
636:１３２人目の素数さん
21/09/23 19:07:02.60 f4hCmhT5.net
>>577
やっぱりSET Aは一刀両断されてたなｗ
ｽﾚﾘﾝｸ(math板:110番)
＞110 １３２人目の素数さん2021/08/15(日) 17:49:50.37 ID:WH631lEK
＞「正規は、基礎体上既約ってことね」
637:１３２人目の素数さん
21/09/23 19:12:15.19 f4hCmhT5.net
>>578
おっしゃる通り
基礎体上で１次式の積として可約ならガロア群もヘッタクレもない
より高次の式の積として可約ならそれぞれの式を新たな方程式として考えればいい
要するにSET Aはそんな基本的なことすら理解せずに漫然と
「代数方程式に”正規かつ分離”という条件がつくよ」
と🐎🦌文章を書き流すから
「ああ、こいつ大学数学が全然分かってないド素人だな」
と露見する
638:１３２人目の素数さん
21/09/23 19:13:16.71 xnPG3r5N.net
むしろ、こういう疑問が湧かないだろうか？
なぜ当初、代数方程式のべき根解法を分析するために
考えられたガロア理論が、数論の役に立つのかと。
その点ではガウスの方がより深部まで見通していた。
実際、彼の円分方程式論は、その代数解法を
論じたもので、特別な場合にガロア理論の
雛型を構成しているが、さらにすすんで
応用的に、平方剰余の相互法則の証明まで得ており
これは後の類体論につながる。
639:１３２人目の素数さん
21/09/23 19:19:27.59 f4hCmhT5.net
>>581
線型代数も分かってないSET Aに
類体論なんて言ったってわからないって
なにしろ
「類体論は高木貞治が考えた、なんかワケワカラン理論」
くらいしか知らないんだから
ニッポン自慢🐎🦌のSET Aは（嘲）
640:現代数学の系譜 雑談
21/09/23 21:25:25.78 2Juc78Pd.net
>>578
レスありがとう
>だいたい、"正規"というのは体の性質であって、「方程式が正規」というのはおかしい。
ほぼ、お説の通りだが、確かに"正規"という用語は、正規部分群-正規拡大-及びそれを与える方程式（多項式）が、三位一体だろう
そして、"正規"という用語は体の性質というよりも、最初は”正規部分群”から始まったでしょ？
ガロアの原論文を読んだら、分かるよ
そして、(>>575)全ての方程式(=多項式)が、正規かつ分離拡大＝ガロア拡大を与えるわけではないよね
だから、方程式(=多項式)側に制約を設けて、正規かつ分離拡大＝ガロア拡大→ガロア群 となるようにする必要があるってことですよね
URLﾘﾝｸ(www.weblio.jp)
体の拡大
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/09/08
641: 06:49 UTC 版) 正規拡大・分離拡大・ガロア拡大 代数拡大 K/k が正規拡大 (normal extension) であるとは、多項式環 k[X] において K に根をもつすべての既約多項式が一次式の積に分解されることをいう。すべての代数拡大 K/k は正規閉包 L――つまり拡大 L/K のうち L/K が正規となる最小の拡大体――をもつ。 代数拡大 K/k が分離拡大 (separable extension) であるとは、体 K のすべての元の最小多項式が分離的である――つまり k の代数的閉包において重根をもたない――ことをいう。原始元定理からわかることとして、すべての有限次分離拡大は単純拡大であることがある。 ガロア拡大 (Galois extension) とは正規かつ分離的な拡大体のことである。体の拡大 K/k が与えられたとき、自己同型群 Aut(K/k) を考えることができる；これは k の各元を固定するすべての体の準同型からなる。ガロア拡大に対してはこの自己同型群は拡大のガロア群と呼ばれる。 (引用終り) 以上
642:１３２人目の素数さん
21/09/23 21:54:45.10 f4hCmhT5.net
>>583
>全ての方程式(=多項式)が、
>正規かつ分離拡大＝ガロア拡大
>を与えるわけではないよね
>方程式(=多項式)側に制約を設けて、
>正規かつ分離拡大＝ガロア拡大→ガロア群
>となるようにする必要がある
🐎🦌ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
正則行列の件にせよ、今回の件にせよ
具体的に判定可能な条件を示せない時点で
SET Aは数学のスの字もわからん🐎🦌
643:１３２人目の素数さん
21/09/23 22:01:09.58 f4hCmhT5.net
>>583
>代数拡大 K/k が正規拡大 (normal extension) であるとは、
>多項式環 k[X] において K に根をもつすべての既約多項式が
>一次式の積に分解されることをいう。
もしかして、いかなる体Ｋの上でも一次式の積に分解されない
ｋ上既約な多項式が存在すると思ってる？
存在する！と言い切るなら例を示してごらん お🐎🦌のSET A
644:１３２人目の素数さん
21/09/24 07:33:52.53 tKvuZo5W.net
やっぱりSET A君はガロア理論が全然理解できなかったね
645:１３２人目の素数さん
21/09/24 07:34:25.29 tKvuZo5W.net
ま、正則行列も理解できなかったんだから、当然だけどね
646:１３２人目の素数さん
21/09/24 07:36:14.13 tKvuZo5W.net
T大生も読んでると評判の、ここの参考書から始めたらいいんじゃないかな
URLﾘﾝｸ(www.mathema.jp)
647:現代数学の系譜 雑談
21/09/24 07:36:19.45 2vehRHVs.net
>>583 追加
スレチだが、手元の、Cox のガロア本 訳上 P148 第6章 ガロア群 の”歴史ノート”
に、詳しい記述がある
(抜粋)
・ここで与えたガロワ群の定義はガロワが与えた定義とまったく異なっている
・彼は分解体しか扱っておらず、彼にとってガロワ群は根全体のある置換から成っていた
・体の同型は、1877年にリヒャルト・デデキントによって、”置換”という名で始めて定義された
（訳注では、これより前1871年のディリクレ・デデキント「整数論講義」の補遺にすでに記述があるという（邦訳 共立出版 1970））
・ガロア群の進化の最終段階は、アルチンによる。彼は1920年代に、定義6.1.1（Cox本の）をガロワ理論の出発点とした
・このアプローチの最初の解説は、van der Waerden 1930年の版に現れた
・アルチンはガロワ理論の彼自身の解説を1938年と1942年に出版した。後者は限りなく影響力があり、[Artin]として今なお出版されている
(引用終り)
現在でも、アルチン流のガロワ群の定義と、ガロワ理論がスタンダードでしょう
因みに、倉田令二郎先生の『ガロアを読む』第1論文研究の最後の方では、「van der Waerden サイコー」みたいなことが書いてあった
”van der Waerden”が、スタンダードとされた時代も、日本ではあったね （多分、ドイツ数学を重視する風潮が残っていたかも）
余談でした
(参考)
URLﾘﾝｸ(njet.oops.jp)
2009年2月21日: SUKARABE
David Cox のガロア理論の本
Galois Theory (Pure and Applied Mathematics (Wiley)) David A. Cox ( 2004-09-21 )
またぞろガロア理論の入門書かあ、と思いつつも、著者が David Cox ということもあり、念のため調査。紀伊國屋書店の紹介ページでは Google プレビュー という機能があって、中身をかなり立ち読みできる。目次を眺めていると、おお?、レムニスケートの等分に関するアーベルの定理が紹介されている。さすが Cox である。期待を裏切らないねえ?。
URLﾘﾝｸ(ameblo.jp)
金重明のブログ
倉田令二朗著『ガロアを読む』第1論文研究 その2
2011-10-08 03:55:22
648:１３２人目の素数さん
21/09/24 07:37:34.79 tKvuZo5W.net
ま、しかし、「大学数学キャンパス・ゼミ ガロア理論」は出ないだろうな・・・
649:１３２人目の素数さん
21/09/24 07:39:01.85 tKvuZo5W.net
>>589
SET A君さぁ、読めない本持ってても意味ないよ
キレイサッパリ、数学書は売り払ったら？
楽になるぜ ハハハ･･･
650:１３２人目の素数さん
21/09/24 07:41:13.25 tKvuZo5W.net
どうしても数学やりたいんなら、
>>588で挙げたマセマ社の本から
始めたほうがいいね
651:１３２人目の素数さん
21/09/24 07:42:16.88 tKvuZo5W.net
SET A君の場合、まずここから始めたほうがいいな
URLﾘﾝｸ(www.mathema.jp)
652:１３２人目の素数さん
21/09/24 07:43:57.28 tKvuZo5W.net
>>593
それがおわったら、この３冊か
URLﾘﾝｸ(www.mathema.jp)
URLﾘﾝｸ(www.mathema.jp)
URLﾘﾝｸ(www.mathema.jp)
653:１３２人目の素数さん
21/09/24 07:46:13.20 tKvuZo5W.net
>>594
これでやっと大学に入る準備ができたｗ
で、この三冊
URLﾘﾝｸ(www.mathema.jp)
URLﾘﾝｸ(www.mathema.jp)
URLﾘﾝｸ(www.mathema.jp)
654:１３２人目の素数さん
21/09/24 07:48:52.64 tKvuZo5W.net
>>595
これで大学1年は終わり
2年はここからだな
URLﾘﾝｸ(www.mathema.jp)
URLﾘﾝｸ(www.mathema.jp)
URLﾘﾝｸ(www.mathema.jp)
655:１３２人目の素数さん
21/09/24 07:54:19.95 vvCWZOX0.net
ねくノートというブログに5次方程式の楕円モジュラー函数を使った根の表示があるけど、
めまいがするようなものだねww
で、そもそもこの「解の公式」というものの、ひいては「解」というもの自体が
実は不自然なものかもしれないって思ってしまう。というか2次方程式の解の表示が
一番典型であって、そこを無理に一般化しておかしなことになっているということではないの？
とか素人は妄想する。
656:現代数学の系譜 雑談
21/09/24 07:58:20.06 2vehRHVs.net
>>589 補足
>・アルチンはガロワ理論の彼自身の解説を1938年と1942年に出版した。後者は限りなく影響力があり、[Artin]として今なお出版されている
この[Artin]は、1942年版で、寺田文行先生の翻訳がある
確か、寺田文行先生が早稲田の講義で使っていたらしい
（なんか、本の後付けに書いてあったような記憶がある。原書を使った講義だったかも。で、訳を出したらしい）
昔、秋月先生（鈴木先生との共著だった記憶が）の「高等代数学」（多分I、岩波）だったかの序文で、[Artin]（の講義録）が手に入って
「それを見ると、全文書き直したいと思った」みたいなことが、書いてあって、それを読んだときに
”�
657:ﾖー、[Artin]か”と思ったね （当時、アルチン先生が類体論のえらい先生だと知っていたかどうか、定かではない。多分知らなかったかも） 寺田文行先生の本は、書棚の肥やしだが この[Artin]は、アルチン先生がドイツから米国へ渡って 1942年頃だったかに、（記憶では）ノートルダム女子大の夏期学校のガロア理論集中講義用に、書いたテキストらしい だから、女子大をバカにするわけじゃないが、出来るだけ分かり易く、アルチン先生なりに工夫したテキストと思う 昔、検索すると、[Artin]の英文PDFが落ちていて、（いまでも、あるだろう） 旧ガロアすれで、取り上げた記憶があるよ (参考) https://www.chikumashobo.co.jp/product/9784480092830/ 筑摩書房 ガロア理論入門 (ちくま学芸文庫) エミール・アルティン 著 , 寺田 文行 翻訳
658:現代数学の系譜 雑談
21/09/24 08:00:48.98 2vehRHVs.net
>>597
どうも
レスありがとうございます。
お説の通りかも（＾＾
659:１３２人目の素数さん
21/09/24 08:03:42.51 tKvuZo5W.net
ま、純粋数学を学びたいなら
このあたりも読んどいて
慣れといたほうがいいかもね
（昔の大学１年はいきなりこのくらいレベルから始めて落ちこぼれた）
URLﾘﾝｸ(www.utp.or.jp)
URLﾘﾝｸ(www.utp.or.jp)
あ、でも数学科以外の一般人は
マセマの本、>>593-595が終わってからねｗ
660:１３２人目の素数さん
21/09/24 08:05:15.66 tKvuZo5W.net
>>597
>5次方程式の楕円モジュラー函数を使った根の表示
ああ、そんなん実際の解を求めるのには全然使えないよ
数値解析したほうが早いってｗ
661:１３２人目の素数さん
21/09/24 08:09:02.31 tKvuZo5W.net
>>598
SET A君は古本屋にはなれるかもしれんけど
いまのままでは数学者は無理だね
数学書のタイトルと著者と出版社はいくらでも記憶できるけど
いまのままでは中身は１ページも理解できないってこと
まず、マセマ社の本>>593-595とやらを読んでから
東大出版会の>>600を見たほうがいいね
軽自動車とスポーツカーくらい違うからｗ
662:１３２人目の素数さん
21/09/24 08:11:01.44 tKvuZo5W.net
>>598
>女子大をバカにするわけじゃないが
国立大とかいったって所詮工学部の計算🐎🦌より
女子大でも数学科の学生のほうが全然優秀だぜ
・・・と煽ってみる
663:１３２人目の素数さん
21/09/24 08:18:02.48 tKvuZo5W.net
>>597
>2次方程式の解の表示が一番典型であって、
>そこを無理に一般化しておかしなことになっている
「無理な一般化」かどうかは置いとくとして
実は実係数の代数方程式は、１次式と２次式の積に因数分解できる、で
１次式は、実数上に解を持つ
２次式は、実数体に虚数ｉを添加すれば（２次方程式の解の公式で）解ける
だから、２次方程式の解の公式まで知ってればいいんじゃね？
といいたいのなら、まあ、あたってないこともない
･･･ただ、実数上で因数分解するのはめんどっちいけど
664:１３２人目の素数さん
21/09/24 08:31:46.46 vvCWZOX0.net
確かに数値解析の方が実用的だね。ニュートン法とか。
ただそれは一種の工学であって、フーリエもすごいいろいろ計算しているみたいだけど（近世数学史談にある）
それは一方で代数方程式が何か物理学なりそれなりに具体的な現象へアプローチになっているならいいんだけどね。
計算はそれ自体でどんどんいけると面白いってのはある。今はPCでやれてしまうけど。
一般の教養としては複素数やって解の存在定理（代数学基本定理）を学ぶことなのかもしれない。
665:１３２人目の素数さん
21/09/24 08:45:42.65 tKvuZo5W.net
>>605
>(数値解析は)一種の工学であって
解析学は工学かい？ 実数は工学かい？ 計算は工学かい？
そうだというなら、数学は工学でもあるね だから何？
解の存在定理(代数学の基本定理)は数値解析に直結する
つまり理論としての理学は
666:技術としての工学と表裏一体 これ豆な
667:１３２人目の素数さん
21/09/24 08:49:50.03 tKvuZo5W.net
>>597
>そもそもこの「解の公式」というもの、ひいては
>「解」というもの自体が実は不自然なものかもしれない
不自然なのは「解」そのものじゃなく「解の求め方」
具体的には、有理数体から、ベキ根のみを使って体の拡大を行うというやり方
実数体は有理数体から見たら膨大な「拡大」なので
あと「ｉ」だけ追加したら代数的閉体になる
668:１３２人目の素数さん
21/09/24 10:38:31.58 vvCWZOX0.net
実際に具体的な解をもたらすようなものを工学engineeringとみるあくまで個人的な見解。
もちろん、そこに当然理論的な後ろ盾があってこその結果ではある。
IUTTはそういう意味ではいろいろ実効的に解のあり方を「測量」していくものだと空想。
669:１３２人目の素数さん
21/09/24 11:10:23.42 3Su23c2Z.net
五次方程式は冪根を使って書けないという話だがlogやexpを使っても書けないのか？
670:１３２人目の素数さん
21/09/24 13:59:42.34 vYZKS8TL.net
「べき根を取る」という操作は、体の言葉で言うと巡回拡大
（ただし、1のべき根は予め適切に添加されているものとする）
であり、ガロア群の方で言うと巡回群に対応している。
一般代数方程式がべき根で解けないのは、ガロア群を組成列に
分解したとき、巡回群以外の単純群があらわれるから。
つまり、少なくとも巡回群と他の単純群くらいの難しさの違いがあるわけ。
一般5次方程式だと5次交代群という、位数60の群があらわれる。
巡回単純群と比べた場合、「ガツンと難しい」という感じが
群の方を見ただけで分かる。
単純群
URLﾘﾝｸ(ja.wikipedia.org)