21/09/18 11:07:09.50 4v85ry7i.net
>>411 補足
まず訂正
でも、ICM2022だけが、唯一の基準ではないし
↓
ICM2022だけが、唯一の基準ではないし
>余談だけど、ICMが4年毎ってのも、なんだかね
いまどき、4年毎は間が開きすぎでは
オリンピックは分かるよ、お祭りだからね
数学は、学問だからね
時代に合っていない気がする
451:１３２人目の素数さん
21/09/18 11:11:01.29 G93Sp5KX.net
フィールズ賞はおろか、そもそもこの先どこで論文受け付けてくれるかのレベル
452:現代数学の系譜 雑談
21/09/18 11:
453:14:14.72 ID:4v85ry7i.net
454:現代数学の系譜 雑談
21/09/18 11:15:59.16 4v85ry7i.net
>>413
＞フィールズ賞はおろか、そもそもこの先どこで論文受け付けてくれるかのレベル
そう悲観しなくても良いでしょ
Scholze氏>>12のドボンは、ほぼ確実だしね
455:１３２人目の素数さん
21/09/18 11:33:30.06 00TdcxDC.net
>>412
>ICM2022だけが、唯一の基準ではないし
「ICM2022で望月新一の招待講演！」と絶叫してたのは
セタ君 あなたなんですけどぉ
456:１３２人目の素数さん
21/09/18 11:36:11.00 00TdcxDC.net
>>414
>国内の賞は、ほぼ確定でしょう
海外で無風なら国内の賞も確実にないでしょう
望月新一の「ドボン」は確定
星も南出も泥船から脱出したほうがいい
457:１３２人目の素数さん
21/09/18 11:53:14.56 G93Sp5KX.net
まぁまだショルツェショルツェ言ってるレベルやからな
458:現代数学の系譜 雑談
21/09/18 12:07:58.73 4v85ry7i.net
>>416
>>ICM2022だけが、唯一の基準ではないし
>「ICM2022で望月新一の招待講演！」と絶叫してたのは
私は名前の議論はしない、だれか第三者に迷惑をかける可能性があるからね
ところで、∀と∃の区別が付いていないのかな？
「ICM2022で望月新一の招待講演！」と言ったのは事実だが、すれが全てではないでしょ
459:現代数学の系譜 雑談
21/09/18 12:13:12.52 4v85ry7i.net
>>417
>>国内の賞は、ほぼ確定でしょう
>海外で無風なら国内の賞も確実にないでしょう
国内は、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生>>391が認めると
京大は既定だし、東京工大もだし、日本の殆どの大学が認めている
ちょうど、拓郎先生が、ブレークスルー賞の前に、国内の表彰を受けたのとおなじ
国内先行で、海外が後はよくある
460:現代数学の系譜 雑談
21/09/18 12:26:55.24 4v85ry7i.net
>>418
>まぁまだショルツェショルツェ言ってるレベルやからな
私見だが、Scholze氏は、zbmathレビュー URLﾘﾝｸ(zbmath.org)
など、書く必要がなかったし、書かない方がよかったろう
IUT側からみれば、これで攻撃目標がはっきりした訳です
zbmathレビューを攻撃して、これを取り下げさせれば良い
必然、Scholze氏は、余計な喧噪に巻き込まれる
この余計な喧噪で、Scholze氏は得るものが殆ど無い
彼がzbmathレビューを書かなくても、だれか、例えばStix氏が書いたかも
そうすれば良かったろう。あるいは、Stix氏に先に話しがあって、彼は断ったのかもね
Scholze氏は、若いね
先が、読めてないね
461:現代数学の系譜 雑談
21/09/18 12:28:40.83 4v85ry7i.net
>>419 訂正
「ICM2022で望月新一の招待講演！」と言ったのは事実だが、すれが全てではないでしょ
↓
「ICM2022で望月新一の招待講演！」と言ったのは事実だが、それが全てではないでしょ
細かいが
訂正よろしくね
462:１３２人目の素数さん
21/09/18 12:43:50.91 8n8twDLD.net
国内の賞ってもっちーは秋季賞も学士院賞もとっくに貰っているからここからさらに受賞できる賞は多くないのでは
463:１３２人目の素数さん
21/09/18 12:45:48.77 G93Sp5KX.net
ショルツェは別に
「望月理論が正しいならこんなおかしなことになる、よって正しいわけない」まで言及してるらしいが、そもそもそんな事までやる義理はない
「読んだ、わからん、不十分」で終わり
ショルツェが指摘した
「望月理論が正しい」→「こんな同じな事になる」
の部分に仮に誤りがあったとしよう
しかしそれで望月論文が正しくなるわけですらない
しよさの主張が正しいかどうかいつまでもいつまでもグダグダ言ってる時点でバカなんだよ
まぁセタの数学力がガタガタなのは今更だが
464:現代数学の系譜 雑談
21/09/18 13:13:17.87 4v85ry7i.net
>>424
>「望月理論が正しいならこんなおかしなことになる、よって正しいわけない」まで言及してるらしいが、そもそもそんな事までやる義理はない
>「読んだ、わからん、不十分」で終わり
同意だよ
それで止めておけば良かったんだ
>「望月理論が正しい」→「こんな同じな事になる」
>の部分に仮に誤りがあったとしよう
ショルツェ氏は、藁人形論法（ストローマン手法）=”simplification”を使っているよ（下記）
これは、数学の対立する議論では、許容されない
�
465:諱hsimplification”なんて攻撃を認めたら、100人いれば100通りの攻撃が可能だ。 それに対して、論文の筆者がいちいち反論する必要はない。無視で良い。数学ではね（政治の論争ではよく使われるよ） だが、zbmathレビュー https://zbmath.org/pdf/07317908.pdf に対しては、当然反撃があるよね まずは、EMS内のIUT支持者からの攻撃があるでしょうね。その一撃で終りだろうね (参考) Inter-universal geometry とABC 予想46 https://rio2016.5ch.net/test/read.cgi/math/1630336403/661 1．「a)2018年SS文書と、b)それへの反論の望月文書と二択問題」には、そんなに時間をかけていないかもね だって、明白に数学では許されない”simplification”によるIUT証明への難癖（藁人形論法（ストローマン手法）>>530 ）を使っている>>562 2．例えば、極端だが「1+1+1=3」という等式があって、”simplification”で、左辺を”1+1”にしたら「1+1=3」で矛盾が生じるみたいな これは極論だが、”simplification”という操作を入れると、確実に元の証明とは変わってしまうよ。”simplification”だけで矛盾を指摘する行為は、非常に危険だってこと （勿論、IUTの理解を深めるためならば、”simplification”はありだけどね。しかし、”simplification”して、勝手にモノドロミー作って、「はい論破」なら誰かと同じ じゃんｗ） つづく
466:現代数学の系譜 雑談
21/09/18 13:13:36.03 4v85ry7i.net
>>425
つづき
ｽﾚﾘﾝｸ(math板:562番)
”simplification”は、 SCHOLZE 氏自身が、書いているよ（下記）
これ、完全に藁人形論法（ストローマン手法）>>530 だろｗｗ
非公式の議論とか、議論の途中なら許されるが
数学の公式文書で、相手の証明の不備を結論づけるのに、藁人形論法だけでは、許されないよ（ちゃんと、ギャップを指摘しないとね）
藁人形論法は、殆ど数学ではないから、数学者が馴れていないので、混乱しているのでしょうね
しかし数学では、許されないよ、藁人形論法だけの論文は
URLﾘﾝｸ(ncatlab.org)
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX
Date: August 23, 2018.
2.1. Glossary: IUTT-terminology and how we may think of these objects.
The IUTTpapers introduce a large amount of terminology. To facilitate the discussion, we will describe
(only) the notions that are strictly relevant to explain what we regard as the error. This will
involve certain radical simplifications, and it might be argued that such simplifications strip
away all the interesting mathematics that forms the core of Mochizuki’s proof. Towards this
objection we can offer four excuses:
(引用終り)
以上
467:現代数学の系譜 雑談
21/09/18 14:53:52.75 4v85ry7i.net
>>423
>国内の賞ってもっちーは秋季賞も学士院賞もとっくに貰っているからここからさらに受賞できる賞は多くないのでは
望月氏はもう良いのでは？ 国内はね
国内は、もっと若手の南出とかが、貰えば良い
468:現代数学の系譜 雑談
21/09/18 15:09:58.40 4v85ry7i.net
メモ
URLﾘﾝｸ(twitter.com)
math_jinさんがリツイート
Hiraku Nakajima
4時間
ICM2022では、私が参加している structure committee の提案で、special invited lectures という新しいタイプの講演を予定しています。survey など、おもしろそうな講演が並んでいます。
ICM Plenary, Invited, Prize and Special Lectures
Learn about ICM awards, plenary and sectional lectures, panels, short communications and poster presentations, social events, outreach programs and special events.
icm2022.org
(引用終り)
Hiraku Nakajima先生ね（望月拓郎さんへのインタビュー）
IUT出版の編集委員の一人、 ？編集委員 ” Kenji Nakanishi”？ 最近耳にした下記の人かも
(参考)
URLﾘﾝｸ(drive.google...ZnCCMx6wJka0ybh) IUT 出版序文リンク Andrew Putman 2021年3月6日 より
Editorial Committee for the Special Issue >>355
Takuro Mochizuki, Hiraku Nakajima, Kenji Nakanishi,
URLﾘﾝｸ(www.mathsoc.jp) >>353
「数学通信」第２６巻第２号目次 （2021年8月号）
望月拓郎さんへのインタビュー 朝日賞受賞を祝して 中島 啓 ３１
URLﾘﾝｸ(www.mathsoc.jp)
望月拓郎さんへのインタビュー
朝日賞受賞を祝して
東京大学カブリ数物連携宇宙研究機構
中島 啓
Inter-universal geometry とABC 予想46
ｽﾚﾘﾝｸ(math板:716番)
ICMのレクチャー。
・日本の招待講演者でRIMSからは
非線型波動方程式の中西賢次の1名
>>716
２０１９年夏の中西賢次先生の公開講義は、凄まじかった。
思考スピードと黒板に書くスピードが同じで、とにかく書き写すだけで、一週間が過ぎた。
(引用終り)
(deleted an unsolicited ad)
469:１３２人目の素数さん
21/09/18 15:50:20.03 00TdcxDC.net
>>419
>「ICM2022で望月新一の招待講演！」と言ったのは事実だが
ではそれがなかったんだから、まず「一敗」を認めような
セタがダメなのは、「負け」を一切認められないこと
470:１３２人目の素数さん
21/09/18 15:57:58.69 00TdcxDC.net
>>420
>国内は、東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生が認めると
>京大は既定だし、東京工大もだし、日本の殆どの大学が認めている
名前が書いてあるだけで「全面支持！」と●違いの如く絶叫するセタが
Atsushi Shiho（志甫淳）に対してのみ、異常なほど慎重なのはどうしたわけ？
もしかして・・・名前の漢字読めなかった？
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
組織委員長：望月新一（京都大学数理解析研究所）
組織委員：星裕一郎（京都大学数理解析研究所）
Ivan Fesenko （英・ノッティンガム大学）
田口雄一郎（東京工業大学）
加藤文元（東京工業大学）
栗原将人（慶応義塾大学）
志甫淳（東京大学）←Atsushi Shiho (Univ. Tokyo, Japan)
逆に言えば、国内の錚々たるメンバーが組織委員に名を連ねているのに
ICMはおろか、日本数学会すら無風、という状況を鑑みるに
「ABC予想、まだ解けたとは認められてない」ってこと
471:１３２人目の素数さん
21/09/18 16:03:25.64 00TdcxDC.net
>>421
>Scholze氏は、zbmathレビュー
>URLﾘﾝｸ(zbmath.org)
>など、書く必要がなかったし、書かない方がよかったろう
なに、イラついてるんだい セタ君
海外じゃ、Fesenkoのようなオカシナ人を除けば、
望月新一のIUT理論によるABC予想の解決なんて認めてない
だからScholze氏にレビューを書かせてそれを掲載した
>IUT側からみれば、これで攻撃目標がはっきりした訳です
沢山いて絶望的だね。Scholze氏だけ消しても勝てないよ。
セタ君は関東軍のように姑息だから、張作霖爆殺みたいに
Scholze氏に薬でも盛るつもりだろうけどね、数学的には無意味だね
472:１３２人目の素数さん
21/09/18 16:10:57.40 00TdcxDC.net
>>424
>ショルツェは別に
>「望月理論が正しいならこんなおかしなことになる、よって正しいわけない」
>まで言及してるらしいが
実はそこまで強いことは言ってない
１．望月理論は肝心のところがまったく記載されてない
２．記載がないところをナチュラルに解釈するとこんなおかしなことになる
３．だからこの点に関してはなんらかのアイデアが必要だが、
現状ではどう頭をひねっても上手くいきそうな感じがしない�
473:ﾌで その場合、正しくなりようがない Scholze氏は望月新一が説明せざるを得ない状況に追い込んだわけ 望月新一は逃げ場が無くなったがここでブチ切れてトンチンカンな 「ご飯論法」に終始したので、「こりゃダメだ」となった 今や欧米人はこう思っている 「日本は政治では菅義偉のような人が首相になる三等国だが 数学では過去にフィールズ賞を３人も出した一等国だと思っていた しかし、今や数学でも菅義偉のごとく理屈にもならないことを言い張る 残念な人が数学者として大学の研究所の職につけてしまう 三等国になりさがったようだ」
474:１３２人目の素数さん
21/09/18 16:16:54.98 00TdcxDC.net
>>425
>ショルツェ氏は、藁人形論法（ストローマン手法）=”simplification”を使っているよ
Scholze氏は、あくまで仮定として”simplification”を出しただけだが、
仮に断定したとしても、論文中ではそう定義されてないことを
論文中の記載とそれに対する追加説明を行うことで論駁できるはず
しかし、望月新一はそうしなかった（できなかった）
まず論文中に記載がなかったから、論文中の当該箇所を示せなかったし
そうだとしても書かれてない肝心な箇所を説明すればよかったが、
ノーアイデアだから何も言えず、結局Scholzeのモノドロミーとは
全く無関係な∧と∨の「ご飯論法」で誤魔化すしかなかった
このことに対して、日本の数論幾何学者達が皆ダンマリを決め込んで
何も言わなかったことも日本数学会の凋落ぶりを示している
要するに無能という意味ではまったく同類と思われても仕方ない
475:１３２人目の素数さん
21/09/18 16:18:23.32 00TdcxDC.net
>>427
>国内は、もっと若手の南出とかが、貰えば良い
「望月予想」を前提とした結果では、成果として評価されない
476:現代数学の系譜 雑談
21/09/18 16:22:25.14 4v85ry7i.net
>>429-431
なんだ、ID:00TdcxDC＝あほサルかｗ
>>「ICM2022で望月新一の招待講演！」と言ったのは事実だが
>ではそれがなかったんだから、まず「一敗」を認めような
それが、すり替え論法に藁人形論法だろ？
1）あんたは、>>416
”>>ICM2022だけが、唯一の基準ではないし
>「ICM2022で望月新一の招待講演！」と絶叫してたのは”
これ、すり替え論法
2）「一敗」？ 藁人形論法でしょ。見込みが外れたのは確かだが、おれは誰とも戦ってはいないし、賭けをしたわけでもない
あ、なんだ、妄想か！ 統合失調症でしたね、あなたはｗ
>名前が書いてあるだけで「全面支持！」と●違いの如く絶叫するセタが
編集委員会で、IUTを通したと、実名を出しているけどｗｗｗ
>Atsushi Shiho（志甫淳）に対してのみ、異常なほど慎重なのはどうしたわけ？
Atsushi Shiho先生の IUTに対する意見が聞ける方がいいよね
単純な話だ
>海外じゃ、Fesenkoのようなオカシナ人を除けば、
>望月新一のIUT理論によるABC予想の解決なんて認めてない
フランスにも米国にも
いますけどｗｗｗ
477:現代数学の系譜 雑談
21/09/18 16:24:38.05 4v85ry7i.net
>>432-434
なんだ、ID:00TdcxDC＝あほサルかｗ
全部妄想か！ 統合失調症でしたね、あなたはｗｗ
478:１３２人目の素数さん
21/09/18 16:25:11.49 00TdcxDC.net
Scholzeの”simpliation”が誤りだというなら、
何が正しい定義なのか明確に述べればいい
しかし、望月新一はとうとうそれができなかったし
星も山下も南出も、玉川も加藤文元もできなかった
志甫淳も何も述べられなかった
たぶらかされてるのか、それとも
「望月新一が正しいことをいっている」と
(数学が分からん馬鹿な)日本国民に思わせとくほうが
予算獲得等で利益がある、と与党の政治家のような
姑息なことを考えたのか、は定かではない
前者なら単純に頭が悪い
後者なら人が悪い
479:１３２人目の素数さん
21/09/18 16:29:16.64 00TdcxDC.net
>>435
>>>「ICM2022で望月新一の招待講演！」と言ったのは事実だが
>>ではそれがなかったんだから、まず「一敗」を認めような
>それが、すり替え論法に藁人形論法だろ？
いや、君の「IUT勝利作戦」の目標は
「ICM2022で望月新一の招待講演！」
だっただろ？しかし、それは達成できなかった
だから「一敗」だろ？
君は大本営発表でミッドウェー海戦の空母４隻沈没をごまかすつもりかい
でもそ�
480:黷ｶゃ国民は騙せても、ABC予想解決戦争には勝てないね この先、マリアナ沖でもレイテ沖でも負けるよ もう戦力がないからね 日本の数論幾何の戦力なんて、所詮その程度のもんだったってこと
481:１３２人目の素数さん
21/09/18 16:32:19.23 00TdcxDC.net
>>435
>>海外じゃ、Fesenkoのようなオカシナ人を除けば、
>>望月新一のIUT理論によるABC予想の解決なんて認めてない
>フランスにも米国にもいますけどｗｗｗ
それ妄想な
フランス、リール大の方々は国際会議に参加しただけです
国際会議に参加＝IUTを認めた、と妄想するのはド素人のセタ君だけですよ
アメリカにいたっては、どこのだれのことか明らかでない
それこそ妄想
482:１３２人目の素数さん
21/09/18 16:34:42.58 00TdcxDC.net
>>436
Scholzeに関してド素人のセタ君が感情的な恨みつらみの悪口雑言を吐くだけで
なんら数学的な反論ができないことは先刻承知のことです
こんなくだらぬ愛国馬鹿発言を書き散らかす暇があったら
線型代数を一からやり直せって
少なくとも高卒レベルの今より賢くなれるよ
483:１３２人目の素数さん
21/09/18 16:37:47.68 00TdcxDC.net
>>435
>Atsushi Shiho先生の IUTに対する意見が聞ける方がいいよね
メールで尋ねたら？
でも、線型代数も理解できないセタ君にはチンプンカンプンだよ
身の程を知ろうね
まず線型代数からやり直せって
数学に興味あるんだろ？実はウソか？
ま、セタ君は所詮他人の上に立ちたいだけのマウント🐒だったか
484:現代数学の系譜 雑談
21/09/18 17:57:06.93 4v85ry7i.net
>>441
>線型代数
便所の落書きで、自慢するつもりもないが
下記の別のスレでの、問いが 17:22:50で、 レスが17:37:37 で、この間約15分だよ
最初は、スルーのつもりだったが、速攻で返すのも面白いと思ってね
”dim (im T) + dim (ker T) = dim V”は初見では無かったが、随分昔の話だった
で、第一同型定理、短完全系列、一般の数学科学部の講義ではここまでやらない
とコメント付けて、要点のみコピーして、15分。別に、自慢するつもりもないがねｗｗ
おサルは、
暫く沈黙していたねｗｗｗ
(参考)
Inter-universal geometry とABC 予想46
ｽﾚﾘﾝｸ(math板:683番)-686
683 名前：１３２人目の素数さん[] 投稿日：2021/09/12(日) 17:22:50.76 ID:fPawBTa8
V と W をある体上のベクトル空間とし、
T : V → W をある線型写像とする。
このとき
dim (im T) + dim (ker T) = dim V
686 自分：１３２人目の素数さん[sage] 投稿日：2021/09/12(日) 17:37:37.19 ID:XsUbE/6T
>>683
ほいよ
”代数学の第一同型定理のベクトル空間の場合に対する内容の一つである。”
”0 → U → V → R → 0
をベクトル空間の短完全系列とすると、
dim U + dim R = dim V
が成立する。”
一般の数学科学部の講義では、ここまでやらない。やっていると、時間が無くなるからねｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
階数・退化次数の定理
数学の線型代数学の分野における階数・退化次数の定理（英: rank-nullity theorem）とは、最も簡単な場合、ある行列の階数（rank）と退化次数（nullity）の和は、その行列の列の数に等しいということを述べた定理である。次元定理[1]とも呼ばれる。
目次
1 行列
2 線型写像
3 証明
3.1 第一の証明
3.2 第二の証明
4 再定式化と一般化
(引用終り)
以上
485:１３２人目の素数さん
21/09/18 19:36:08.05 xqzE3IaY.net
>>439
その、＞フランス、リール大の方々、に、ＩＵＴでゼータ関数を狙う方が居て、
ミレニアム懸賞問題が出来そうになれ�
486:ﾎ、ショルツェさんとマジの決着付けでは。 Speaker: Christian T ́afula Santos Title: From ABC to L: On singular moduli and Siegel zeroes
487:現代数学の系譜 雑談
21/09/18 20:00:54.36 4v85ry7i.net
>>443
>その、＞フランス、リール大の方々、に、ＩＵＴでゼータ関数を狙う方が居て、
>ミレニアム懸賞問題が出来そうになれば、ショルツェさんとマジの決着付けでは。
それが本当になれば
楽しいですね
ありえるかも
リーマン予想は、素数に関する予想でもある。IUTも根基という、素数関連の特性を解明する（楕円曲線を使う）理論ですから
488:現代数学の系譜 雑談
21/09/18 20:01:42.97 4v85ry7i.net
>>442 追加
便所の落書きで、自慢するつもりもないが
私は、IUTスレに下記の3つの重要な情報を、投下した
1）「IUTは、遠アーベル幾何から派生した新たな類体論（フェセンコ）」ということ>>349
2）「東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生」のIUTの二つの国際会議への参加>>321
3）ショルツェ氏の2018年のSS文書が、藁人形論法（ストローマン手法）=”simplification”を使っているが、
数学の対立する議論では、許容されない ということ>>425
この3つの情報投下で、
あちらのスレ ｽﾚﾘﾝｸ(math板) も、
このスレも、
IUTの4回の国際会議が終わるころには、空気が一変してしまったのです
それは、みなさまが、
感じておられる通りです
489:１３２人目の素数さん
21/09/18 21:03:43.75 00TdcxDC.net
>>442
>速攻で返すのも面白いと思ってね
>”dim (im T) + dim (ker T) = dim V”は初見では無かったが、随分昔の話だった
>で、第一同型定理、短完全系列、一般の数学科学部の講義ではここまでやらない
>とコメント付けて、要点のみコピーして、15分。
セタ君の要点は、全然要点じゃない
ただ完全系列って言葉でマウントとれると
あさはかな脊髄反射に走っただけｗ
wikipediaの証明も理解できない馬鹿だから
証明のコピペもできず逃げた
正真正銘のバカ 15分で自爆死
490:１３２人目の素数さん
21/09/18 21:10:21.42 00TdcxDC.net
>>442
＞おサルは、暫く沈黙していたね
とかほざいてるセタ君が、理解できず永遠に沈黙した、
理系教養課程の大学１年生向けの証明
ほんとこんなのわからんでコピペもできんとか、マジ白痴
大阪大学工学部卒とか学歴詐称するな この工業高校卒のDQN
693
１３２人目の素数さん2021/09/12(日) 19:37:05.77ID:fPawBTa8
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
第一の証明
{u1, ..., um}が ker T の基底を形成すると仮定する。
この基底を、V の基底を形成するように
{u1, ..., um, w1, ..., wn} へと拡張することが出来る。
ker T の次元は m であり、V の次元は m+n であるため、
image T の次元が n であることを示せば十分である。
{Tw1, ..., Twn} が image T の基底であることを見る。
v を V 内の任意のベクトルとする。
このとき、以下を満たすスカラーが一意に存在する。
v = a_1 u_1+･･･ +a_m u_m+b_1 w_1+･･･ +b_n w_n
⇒ T v =a_1T u_1+･･･ +a_mT u_m+b_1T w_1+･･･ +b_nT w_n
⇒ T v =b_1T w_1+･･･ +b_nT w_n ∵ T u_i=0
したがって、{Tw1, ..., Twn} は image T を張る基底であることが分かる。
あとは、このリストが余分でないことを示せばよい。
すなわち、{Tw1, ..., Twn} が線型独立であることを示せばよい。
その証明は、これらのベクトルの線型結合がゼロであるための必要十分条件が、
その各ベクトルの係数もゼロであることを示すことで達成される。
今
c_1T w_1+･･･ +c_nT w_n=0⇔ T\{c_1 w_1+･･･ +c_n w_n}=0
∴ c_1 w _1+･･･ +c_n w _n ∈ ker T
とする。すると、u_i が ker T を張ることから、
c_1 w_1+･･･ +c_n w_n=d_1 u_1+･･･ +d_m u_m
を満たすようなスカラー di の集合が存在することが分かる。
しかし、{u1,…, um, w1,…, wn} は V の基底を形成するものであるため、
すべての ci および di はゼロでなければならない。
したがって、{Tw1, ..., Twn} は線型独立であり、実際 image T の基底である。
このことから、image T の次元は n であることが分かり、目標は達成された。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
491:１３２人目の素数さん
21/09/18 21:13:03.73 00TdcxDC.net
>>443
誤
492:IUTで 正 望月予想で 予想を前提するのは、理論を使うのとは違います そんな違いもわからん白痴が数学なんか興味もっても無意味ですから 頭のてっぺんから股まで一刀両断！
493:１３２人目の素数さん
21/09/18 21:15:33.64 00TdcxDC.net
線型独立も理解できないアホのセタ君が
「短完全系列ガー」とかほざくのは
１００年早いですからぁ
訳も分からず数学用語わめき散らす
マウント馬鹿ってほんとみっともないな
494:１３２人目の素数さん
21/09/18 21:59:09.87 P1SSU6cV.net
>>423
>もっちーは秋季賞も学士院賞もとっくに貰っているから
間違っていますね。望月氏が貰ったのは「学士院学術奨励賞」です。
これは歴史の浅い若手向けの賞。
学士院賞を貰ったのはもう片方の望月氏。朝日賞も取っています。
ABC予想解決が認められれば当然お呼びが掛かるのでしょうけど、ありえません。
495:１３２人目の素数さん
21/09/18 22:02:45.18 WlFuLrOQ.net
>>445
どういう意味で類体論になってるの？
496:現代数学の系譜 雑談
21/09/18 22:31:03.25 4v85ry7i.net
>>451
良い質問ですね
下記、特に最後の図解を見てください
(>>362より）
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
数論的 log Scheme 圏論的表示の構成等に続いた研究であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である。イヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている
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
URLﾘﾝｸ(www.ems-ph.org)
EMS SURVEYS Vol8,2021 Class field theory, its three main generalisations, and applications
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.")
Problem 7. Find more direct relations between the generalisations of CFT. Use them to produce a single unified generalisation of CFT.23
497:現代数学の系譜 雑談
21/09/18 22:44:42.21 4v85ry7i.net
>>452 追加
Inter-universal geometry とABC 予想46
ｽﾚﾘﾝｸ(math板:357番)
下記の
”Ivan Fesenko Title: IUT and modern number theory”
に注目しています
”I will discuss the potential of IUT and anabelian geometry to cause or influence
developments in parts of modern number theory includ
498:ing the Langlands program, higher class field theory and arithmetic of elliptic curves.” Langlands program に、IUTが絡んでくると面白そうです Langlands program 関連の研究をしている人は、日本にも多いと思うので そっち方面から、IUTをかじってみようという人も出てきそうですね なにより、Langlands program と関連がつけば、IUTに対する疑念の払拭にもなるので （>>284より） https://www.maths.nottingham.ac.uk/plp/pmzibf/files/iut2.html 宇宙際タイヒミューラー理論サミット２０２１ https://www.maths.nottingham.ac.uk/plp/pmzibf/files/schedule4.pdf Abstracts Speaker: Ivan Fesenko Title: IUT and modern number theory Abstract: I will discuss the potential of IUT and anabelian geometry to cause or influence developments in parts of modern number theory including the Langlands program, higher class field theory and arithmetic of elliptic curves.
499:１３２人目の素数さん
21/09/18 23:23:15.97 WlFuLrOQ.net
>>452
詳しくありがとう
500:現代数学の系譜 雑談
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のサイコパスおサル
もう一匹は、時枝記事不成立が分からない、無限列も分からない、おサルさん