21/01/06 17:56:35.87 Tk/jZVyL.net
>>645
どんなに取り繕っても、
Hermiteの5次方程式の解法は、1858年の数学です
IUTは、2021年の数学です
URLﾘﾝｸ(www2.tsuda.ac.jp)
数学史シンポジウム報告集
URLﾘﾝｸ(www2.tsuda.ac.jp)
第3回数学史シンポジウム 1992
URLﾘﾝｸ(www2.tsuda.ac.jp)
エルミー トのモジュラー方程式
笠原乾吉 (津田塾大学)
(抜粋)
Hermiteの関心は、この次数を1次下げた方程式を、具体的に表示することにある。
そして長い間の試みの後、1858年 にp＝ 5の ときの表示式をみつけ、この表示式と
5次方程式のJerrard(と Bring)の 標準型とを組み合わせて、モジュラー関数を用
いての 5次方程式の解法を発見した([3])。 Hermite がこの表示式を得るのに役立っ
たのは次の2つである。
URLﾘﾝｸ(mathsoc.jp)
書 評
代数方程式のはなし
- A Dogmatic Introduction to Algebraic Equations -
今野一宏 著，内田老鶴圃，2014 年
上智大学理工学部
角皆 宏
(抜粋)
このようなラグランジュの省察を基にしたルフィニの成果，そしてその議論の僅かな欠陥を補って得ら
れた「5 次以上の方程式の根の公式の非存在」がアーベル・ルフィニの定理として紹介さ
れる．
ここで大団円かと思いきや，さらに話は続いて，言わば第 3 部に入る．第 8 章では時
代を遡って，一般の 5 次方程式を変数変換して解ける形に持ち込もうという，チルンハ
ウスの試みや 5 次方程式のブリング・ジェラードの標準形が詳述される．そして，報わ
れない努力であったかに見えたこれらの結果が，楕円関数の 5 倍公式を用いたエルミー
トの 5 次方程式の解法に繋がることが，最終第 9 章で語られて本当の大団円を迎えるの
である．
[5] 笠原乾吉，モジュラー方程式とエルミートの 5 次方程式の解法（上）（下），現代数学史の
ひとこま，数学セミナー 1987 年 7・8 月号. (p.120)
つづく
701:現代数学の系譜 雑談
21/01/06 17:56:58.09 Tk/jZVyL.net
>>646
つづき
URLﾘﾝｸ(neqmath.blogspot.com)
5次方程式の解の公式をガチで求めよう ねくノート 8月 15, 2018
5次方程式の解の公式を求めるためには，四則演算と冪根の他に道具が必要になります．そこで登場するのが楕円積分と楕円モジュラー関数です．これを使うことによって5次方程式の解の公式を記述できることが分かっています．今回はそれを具体的に与えることを目指していきます．
参考文献
[1] V.S.Adamchik, David.J.Jeffrey, Polynomial Transformations of Tschirnhaus, Bring and Jerrard, ACM SIGSAM Bullentin, Vol37, No.3 (2003)
5次方程式をBring-Jerrard型にまで簡単化する方法が説明されています．
[2] Semjon Adlaj, Multiplication and division on elliptic curves, torsion points and roots of modular equations
レベル5の楕円モジュラー多項式について参考にしました．
[3] Briot, Bouquet, Theorie des fonctions elliptiques, p654-660
楕円モジュラー方程式から5次の標準形に持っていく部分の証明が載っています．
[4] F.クライン「正20面体と5次方程式」シュプリンガー数学クラシックス
5次方程式とその周辺の詳しい話が載っている�
702:拍ｭない和書です (引用終り) 以上
703:Security Service
21/01/06 18:01:16.66 /0IX7Oxo.net
どんなに取り繕っても以下はトンチンカン
ｽﾚﾘﾝｸ(math板:394番)
これ読んで永遠に黙れ 🐎🦌
ｽﾚﾘﾝｸ(math板:402番)-405
黙らないなら・・・撃ち殺す！
704:呑んだ暮れ
21/01/06 19:34:48.52 6wBaMRy2.net
>>644
ほぅか。固有名詞じゃなきゃ良えんじゃな、安達翁のスレは別として｡
しっかし儂、去年何回、ジェットストリーム目玉飛びAAを貼らされる呆れ驚愕したじゃろ？
瀬田氏と言い安達翁と言い、何で妄想当て推量専を罷めんのじゃろ？
705:１３２人目の素数さん
21/01/06 19:56:41.28 /0IX7Oxo.net
>>649
その名前はちょっとカッコイイね
雑談君は見栄坊なんでしょう
しかし国語力は壊滅的 まあ阪大がギリギリ 京大は無理だな
哀れな素人氏はよくもわるくも頑固
しかし短針が１２時間で一周することも知らんとか
もう耄碌してますね アルツハイマーか？
706:現代数学の系譜 雑談
21/01/06 21:01:03.17 3b8T7quc.net
>>647
>[4] F.クライン「正20面体と5次方程式」シュプリンガー数学クラシックス
https://アマゾン
正20面体と5次方程式 改訂新版 (シュプリンガー数学クラシックス) Tankobon Hardcover ? August 25, 2012
by 関口 次郎 (翻訳), 前田 博信 (翻訳)
本書は、19世紀を代表する数学者の一人F. クラインが、正20面体に内在する数学的構造を体系的に解説したものである.原題 『Vorlesungen uber das Ikosaeder und die Auflosung der Gleichungen vomfunften Grade』 1884年にB.G. Teubnerから初版が出版されて以来、100年以上にわたって読みつがれてきた名著である. 第I部では、正多面体群の不変式を幾何学的性質と結びつけて構成する.これからクライン特異点が導かれる.ここで論じられたことは、1970年代のグロタンディクとブリースコルンの結果(単純リー環のベキ零多様体の特異点からクライン特異点を導いた)をはじめ、様々な方向へ発展している. 第II部では、第I部での「正20面体方程式」の成果を5次方程式の解法に応用している.アーベルとガロアの成果を発展させた第II部は、クラインが大きな力を注いだところである. 本書は数学史的な価値が高いばかりではなく、現代数学の根底にあるアイデアを習得するのにも最適である.さらに、本書で展開される複雑な数式は、コンピュータの数式処理システムへの格好な材料を提供している.
レビュー
ヒロ
TOP 500 REVIEWER
5.0 out of 5 stars 正20面体で5次方程式を解説した力作～非対称な固有方程式でも解けるか？
Reviewed in Japan on August 13, 2018
高次方程式に関して、5次以上はアーベル・ガロアの定理により、
代数的には解けないことが知られていますが、仮に非対称な5次方程式であっても、
係数が1などの場合には、辛うじて解けることもあります。
やはり基本は1の5乗根とオイラーの定理でしょう。
いま、z(5)＋ｚ＋1=0は、ωとω（2)が解であることから、
残り3解をα、β、γとして、βとγを複素共役とすると、3次方程式の解と係数の関係により、
α（3)-α（2)＋1=0などと解けます。
本書はこうした5次方程式に関して、正20面体を導入して解説した力作です。
高次方程式を固有方程式としてでもラク
707:に解き切りたい、と思う向きには、 とてもおすすめなので、ここに紹介しておきます。
708:現代数学の系譜 雑談
21/01/06 21:11:00.75 3b8T7quc.net
>>651
手元の本を見ると、1997年版でした
新しい方が、訳が熟れているだろうし、誤植も訂正されていると思われる
コックスのガロア本も見たが、主に20面体群についての解説でしたね
https://アマゾン
ガロワ理論(下) Tankobon Softcover ? September 15, 2010
by デイヴィッド・A. コックス (著), 梶原 健 (翻訳)
書評
susumukuni
ガロア理論の素敵な応用を学習できる書
Reviewed in Japan on December 2, 2010
Verified Purchase
ガロア理論の「応用」を述べた第3部と「関連する話題」を述べた第4部からなる。本文だけで380ページ近くあり、読み切るにはかなりの時間が必要であるが、報いられる処も非常に多いと思う。
第3部では、代数方程式のべき根による可解性、円分拡大、作図可能数（定規とコンパスによる作図）などの良く知られた話題が非常に詳しく解説されている。アルティンの『ガロア理論入門』など標準的な入門書の解説と比較されると面白いと思う。また、円分体の部分体を周期によって解明したガウスの業績の紹介も興味深く、ガウスの驚くべき天才を再認識させられる。
第4部は抜群に面白い。私達は「ガロア拡大はその基礎体上のある分離多項式の最小分解体である」という美しい定理を知っているが、次の二つの問を考えてみて頂きたい。分離多項式の根が予め分かっていない場合、どうすれば分解体を構成できるのか？既約なn次分離多項式のガロア群はn次対称群の推移的な部分群と同型になるが、どうすればこの群を決定できるのか？ この問の答が本書にあるが、内容豊かなこの第4部のハイライトは他の話題にある。本書最大のハイライトは、第14章「可解置換群」の後半に解説されている素数平方次の原始可解方程式のガロア群の構造の決定にある。ここでは息の長い難しい議論を要するが、未完とはいえその解決に迫ったガロアの天才を偲びたい。最終章では、レムニスケートの等分に関するアーベルの定理とレムニスケート関数がガウス整数環に虚数乗法を持つという素晴らしい定理が解説されている。ここで、高木先生の『近世数学史談』の第20章と第21章を参照されれば、面白さは間違いなく倍増するだろう。
著者の古典への深い学識、最新成果への言及、更に計算機代数プログラムの活用、それらがうまく融合してコックス教授ならではという感じの味わい深い書になっている。
709:現代数学の系譜 雑談
21/01/06 21:16:43.17 3b8T7quc.net
>>652
＞手元の本を見ると、1997年版でした
手元の本で、冒頭にクライン自身の「序」がある
日付は、1884年5月24日です。137年前（＾＾；
710:１３２人目の素数さん
21/01/06 21:17:19.06 /0IX7Oxo.net
>>651
上記のレビュアー、数学知らない素人だな
「固有方程式」って何だよ 意味わかってんのか？
711:１３２人目の素数さん
21/01/06 21:19:32.88 /0IX7Oxo.net
>>652
＞コックスのガロア本も見たが
なんで頭からきっちり証明読まないの？
日本語も読めない馬鹿なの？
712:１３２人目の素数さん
21/01/06 21:22:15.40 /0IX7Oxo.net
雑談氏は数学書買っても無駄だから全部古本屋に売って断捨離しろ
貴様に数学は無理 綺麗さっぱりあきらめろ！
713:１３２人目の素数さん
21/01/06 21:33:40.60 /0IX7Oxo.net
＞高次方程式を固有方程式としてでもラクに解き切りたい
上記の文章に底抜けな🐎🦌っぷりを感じ�
714:驍ﾌは私だけか？
715:１３２人目の素数さん
21/01/07 01:18:03.95 xEOdF4af.net
>>656
私のこと言っているんですか？
調子に乗るのは、私の最新論文を読んでからどうぞ。
716:１３２人目の素数さん
21/01/07 01:20:35.95 xEOdF4af.net
私が解決した未解決問題
・奇数のn倍積完全数は1以外に存在しない
・ルジャンドル予想(Oppermann予想を証明)
・ゴールドバッハ予想
有名なところではこれらを証明しました。
717:１３２人目の素数さん
21/01/07 12:45:17.95 YZVS5NXs.net
おまんこしたいコロナ死ね
718:現代数学の系譜 雑談
21/01/07 17:56:25.88 Lt8Ravzu.net
>>658-659
まさか
望月先生、御大？（＾＾；
719:現代数学の系譜 雑談
21/01/07 18:02:52.32 Lt8Ravzu.net
>>655
＞なんで頭からきっちり証明読まないの？
そっくりお返しするわ
「Cor3.12 ガァ～～！」とかほざくならさ
なんで、IUT論文 I、II、IIIを、頭からきっちり証明読まないで、言っているんだ？
ってことさ
自分、楕円関数でやっていること（130年前の数学のお勉強）
と
「Cor3.12 ガァ～～！」（2010～2021年の数学論文）
と
大口叩くならさ
IUT論文 I、II、IIIを
読んでから言え！！ｗ（＾＾
720:１３２人目の素数さん
21/01/07 20:17:31.67 XgHHMTLr.net
ショルツェは論文読んだうえでCor3.12を問題にしてんだろ？
いつまで望月やGOやSTARはダンマリを続けているのか
721:１３２人目の素数さん
21/01/07 20:26:23.18 j+C4lTlP.net
>>662
まず、IUT以前にガロア理論、分かろうな
722:現代数学の系譜 雑談
21/01/07 20:44:32.97 iyQNsDui.net
>>664
＞まず、IUT以前にガロア理論、分かろうな
そういう態度が、日本の数学教育の欠点だろうね
IUT以前に、これこれを・・・・、いまごろ梅村楕円関数論 130年前のお勉強、えっちらおっちらカタツムリ
そのうち、けつわりのドボン見え見え
いまから、予言しておくぜ（＾＾；
富士登山、「五合目」登山口（自動車道の終点）
いまどき、富士山のすそから徒歩登山なんていませんぜ、だんな
エベレストに同じ
エベレスト登頂成功の報道は、いまや商業登山ですよ、だんな
IUTを知るのに、いまごろ梅村楕円関数論 130年前のお勉強、えっちらおっちらカタツムリ
そのうち、けつわりのドボン見え見え
いまから、予言しておくぜ、だんなｗｗｗ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
富士登山
登山ルート
各ルートの登山口（自動車道の終点）は「五合目」又は「新五合目」と呼ばれている
富士宮ルートの五合目は標高2,380m
URLﾘﾝｸ(ja.wikipedia.org)
エベレスト
登山
商業登山や公募隊が盛んになり、登山者数はますます増加する傾向にある。登頂のためのノウハウが蓄積され、死亡率は減少傾向に、登頂成功率は上昇傾向にある。登山者の増加により、渋滞が問題になっており、渋滞によりヒラリー・ステップで2時間半 - 4時間待つこともあり、ヒラリー・ステップを簡単に素早く登れるように2013年現在、固定ロープだけでなくはしごも設置することが検討されている[35]。2018年には登頂者は807人と過去最高となった[36]。2019年5月22日には200人以上が頂上を目指し[37]、頂上から登山者が数珠つなぎになって渋滞した[36]。
登山ツアー（商業公募隊）が多数あり、2015年現在、ネパールからの通常ルートの場合、入山料などのすべての諸経費込みで3万5,000 - 8万5,000ドル程度となっている[38]。
723:１３２人目の素数さん
21/01/07 20:47:42.00 j+C4lTlP.net
>>665
スレッドのタイトルにまで書いたガロア理論
全然分かってないとかマジで恥ずかしいよ
724:現代数学の系譜 雑談
21/01/07 20:58:03.00 iyQNsDui.net
>>663
>ショルツェは論文読んだうえでCor3.12を問題にしてんだろ？
>いつまで望月やGOやSTARはダンマリを続けているのか
望月氏は、ちゃんと回答して、文書も公開済みですよ（下記）Goも
それに、ダンマリしたのは、ショルツェ氏の方ですよ
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書 （および関連文書）
The fundamental misunderstandings concerning IUTeich documented in
these files --- as well as the situation (cf. [FskDsm], [FskPio]) surrounding
such misunderstandings that has arisen in the mathematical community ---
are most regrettable, not only for those directly involved in research and
dissemination activities concerning IUTeich, but also for the mathematical
community as a whole. On the other hand, at the time of writing, it appears
that the only way in which meaningful progress in remedying this situation
can be made is to further efforts to render the mathematical content that
is the subject of these misunderstandings more explicit and more easily
accessible, through further mathematical discussions and more detailed
manuscripts. From this point of view, the files [SS2018-05], [SS2018-08]
are a significant first step, but are still relatively short and do not contain
detailed, rigorous arguments concerning numerous (often very strong)
assertions.
[Rpt2018] Report by Shinichi Mochizuki (with the cooperation of Yuichiro Hoshi)
on the March 2018 discussions (updated on 2019-02-01: list of revisions)
[SS2018-08] August 2018 Report by the other participants in the March 2018
discussions
[Cmt2018-08] Comments on [SS2018-08] by Shinichi Mochizuki
[YKId] Brief excerpt on the "id-version" of IUTeich from the lecture notes for
a series of lectures on IUTeich given by Go Yamashita in November 2018
at Keio University
725:現代数学の系譜 雑談
21/01/07 20:59:17.89 iyQNsDui.net
>>666
おまえがな
えらく、ガロア理論で絡んでくると思ったら
どうも、自分が落ちこぼれた理論で、からんでくるようだねｗ（＾＾；
726:１３２人目の素数さん
21/01/07 21:04:16.36 j+C4lTlP.net
>>668
ガロア理論も理解できない人がIUT？
アルプスも上ったことない人がエヴェレスト？
727:１３２人目の素数さん
21/01/07 21:06:06.72 j+C4lTlP.net
>>661
＞まさか 望月先生、御大？
高木宏兒
ｽﾚﾘﾝｸ(math板:284番)
728:現代数学の系譜 雑談
21/01/07 21:16:16.89 iyQNsDui.net
>>667
なお、DUPUY氏がちゃんと論文を、arxiv投稿してます
この内容は、例のwoitブログでの論争と同じ内容でしょう
これに対して、ダンマリは、SSの側ですよ
URLﾘﾝｸ(arxiv.org)
PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO
FROM MOCHIZUKI’S COROLLARY 3.12
TAYLOR DUPUY AND ANTON HILADO Date: April 30, 2020.
P14
Remark 3.8.3. (1) The assertion of [SS17, pg 10] is that (3.3) is the only relation between
the q-pilot and Θ-pilot degrees. The assertion of [Moc18, C14] is that [SS17, pg 10] is
not what occurs in [Moc15a]. The reasoning of [SS17, pg 10] is some
729:thing like what follows: References [SS17] Peter Scholze and Jakob Stix, Why abc is still a conjecture., 2017. 1, 1, 1e, 2, 7.5.3 Moc18] , Comments on the manuscript (2018-08 version) by Scholze-Stix concerning inter-universal Teichmuller theory (iutch), 2018. 1
730:現代数学の系譜 雑談
21/01/07 21:23:27.94 iyQNsDui.net
>>670
高木宏兒氏？ しらんな
だが、ありがとう
>>669
>アルプスも上ったことない人がエヴェレスト？
エヴェレストのwikipedia読んだか？ いまどき、カネさえあれば、富士山の頂上へドローンで運んで貰えば、登山可能だろうし、エベレストも似た方法が可能になるかも
実際、羽田空港の離着陸では、富士山の上空からの眺望はありですよ
実際、それで、ワイルズ氏のフェルマーも読んだし、同様にペレリマンの３次元ポアンカレも読んだよ。４次元ポアンカレも読んだ
加藤文元のIUT解説は読んだけど、あれは文系向きでさっぱりだった
そのうち、理系用や数学科４年～修士向けが出てくる気がする。それが出た読むよ
おっさんは、そのころ1920年くらいには届いているかね～ｗｗｗ
731:１３２人目の素数さん
21/01/07 21:24:38.22 j+C4lTlP.net
>>671
論文 読んでないね
もしかして assumeって英単語、知らない？
なら、教えてあげるけど「仮定する」って意味だよ
Assume [Moc15a, Corollary 3.12]
つまり、「系３．１２を仮定する」
証明してない時点で、系３．１２の正当化とは全く無関係
数学だけじゃなく英語もできなかったんですね…
732:１３２人目の素数さん
21/01/07 21:28:38.55 j+C4lTlP.net
>>672
＞ワイルズ氏のフェルマーも読んだし、
で、全然、理解できなかったでしょ？
当然だよ、基礎がないんだもの
＞1920年くらいには届いているかね～
君さ、基礎から固めないと、数学は絶対に理解できないよ
まず、Mordellの定理(1922年)から始めような
733:１３２人目の素数さん
21/01/07 21:32:07.22 j+C4lTlP.net
>>672
>ペレリマンの３次元ポアンカレも読んだよ。
>４次元ポアンカレも読んだ
で、全く理解できなかっただろ？
リッチ・フロー チンプンカンプンだろ？
キャッソン・ハンドル チンプンカンプンだろ？
５次元以上のポアンカレ予想も読んでも理解できなかっただろ？
ホイットニーのトリック チンプンカンプンだろ？
だからさ、基礎からやらないと全然わかりっこないって
ホモロジーも知らない素人が、トポロジーなんかわかるわけないじゃん
734:現代数学の系譜 雑談
21/01/07 21:39:59.89 iyQNsDui.net
>>671 補足
いまや、Ｌｉｌｌｅ大の人を含めて、望月を援護射撃する人多数
一方、ショルツェ氏は孤立。woitブログでは、匿名で書く人は居るが、実名出す人殆どいない
かつ、Ｓｔｉｘ氏も見放して、ノーコメント
勝負ありですよ
735:１３２人目の素数さん
21/01/07 21:40:07.05 j+C4lTlP.net
ポアンカレ予想ガーとかいう前に
任意のｎ次元多様体が、
適当なｍ次元ユークリッド空間R^mに
埋め込めることでも証明してみ？
（多様体の基礎 微分形式も積分も不要）
736:現代数学の系譜 雑談
21/01/07 21:40:53.13 iyQNsDui.net
>>675
おっさん、必死
単語ならべても
自分が理解したことにはならんぜよ、おっさんよｗｗｗ（＾＾；
737:１３２人目の素数さん
21/01/07 21:41:30.76 j+C4lTlP.net
>>676
Lille大の連中は実はIUTについては全く語ってない
君、英語、全然読めないんだね
738:１３２人目の素数さん
21/01/07 21:42:59.48 j+C4lTlP.net
>>678
君、正規部分群も群準同型も理解できないからって泣くなよ
739:１３２人目の素数さん
21/01/07 21:44:42.38 J3DBpqac.net
もしかして、エベレストとエヴァレスト…かけてる？
740:現代数学の系譜 雑談
21/01/07 22:49:24.54 iyQNsDui.net
>>675
おっさんよ
ワイルズの証明についても、なんか
741:書いて見なよ ほれほれ ワイルズの証明が、一番いまのＩＵＴの数学に近いんだぜｗｗｗ（＾＾
742:現代数学の系譜 雑談
21/01/07 22:56:08.41 iyQNsDui.net
>>681
＞もしかして、エベレストとエヴァレスト…かけてる？
スマン
かけてないけど、うまいね
ザブトン一枚だな
エベレストに登るのに、まず低い山から訓練だといって
高尾山の百回登山に励んでいる人みたいな維新さん
高尾山の登山楽しいかい？
でも、百回登山しても、エベレストにいつまで経ってもチャレンジしないならば、登れないよね
いいじゃん、ドローンでもヘリコプターでも酸素マスクでもなんでも使えば
いまどき、海抜０メートルから、エベレスト登山する人いないぞ
ＩＵＴ理解のために、いまから梅村楕円関数読む？ 130年前の数学じゃないですか？
梅村楕円関数論の隅から隅まで、全部必要なん？
何考えて本本でいるのかね？ 易しいところへ逃げ込んで、お茶濁す
難しい部分から、逃げているだけじゃない？
743:現代数学の系譜 雑談
21/01/07 22:57:23.93 iyQNsDui.net
>>683 タイポ訂正
何考えて本本でいるのかね？ 易しいところへ逃げ込んで、お茶濁す
↓
何考えて本読んでいるのかね？ 易しいところへ逃げ込んで、お茶濁す
744:１３２人目の素数さん
21/01/07 23:12:50.78 A+98YyB+.net
リール大とのワークショップは、リールがRIMSにIUTの教えをこうワークショップ。
別にIUTを擁護とかそういう話ではない。
ただリールの教授陣と若手を含めたかなり大規模なワークショップなので、
本気で追試するつもりはあると思う。
このワークショップは終わった後に彼らがどう思うかは結構重大かも。
745:現代数学の系譜 雑談
21/01/07 23:41:37.69 iyQNsDui.net
>>685
＞リール大とのワークショップは、リールがRIMSにIUTの教えをこうワークショップ。
多分違うな
リール大は、多くは講師側に回っている人たちだよ
多分、リール大のだれかが査読のレフェリー役で、リール大の内部で数年間ＩＵＴゼミをした成果で、講義する側になっていると思うよ
Emmanuel Lepage (IMJ, Paris, France)氏つながりで、リール大のだれかがレフェリー役を引き受けたと思う
なお私見だが、東京工大の人が”Promenade in Inter-Universal Teichmuller Theory”に大挙して参加している（下記）
だから、東京工大のだれか、多分田口先生とかがレフェリー役で、東京工大内部でもＩＵＴゼミやったのでは？
あと、全くの推理だが、星ＩＵＴ入門謝辞の安田先生あたりもレフェリーかなと思う
で、レフェリー３者になる
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
List of Participants
x.Yuta Hatasa, Tokyo Institute of Technology, JP;
xxv.Masatoshi Suzuki, Tokyo Institute of Technology, JP;
xxvii.Yuichiro Taguchi, Tokyo Institute of Technology, JP;
xxix.Yasuhiro Wakabayashi, Tokyo Institute of Technology, JP;
xxxv.Harumichi Yoshiura, Tokyo Institute of Technology, JP;
xxxvi.Takao Yuyama, Tokyo Institute of Technology, JP;
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
宇宙際Teichmuller理論入門(On the examination and further
development of inter-universal Teichmuller theory)
Author(s) 星, 裕一郎 2019-08
Ｐ180
謝辞
2013 年度に合計 100 時間
以上にも及ぶセミナーで宇宙際 Teichm¨uller 理論について説明してくださった山下剛先生
に, そして, そのセミナーを共に乗り切りそこでの数々の議論にお付き合いくださった玉
川安騎男先生, 松本眞先生に感謝申し上げます. そして, 本稿に対していくつもの有益な
指摘をくださった安田正大先生と査読者の方に感謝申し上げます.
746:１３２人目の素数さん
21/01/07 23:42:16.34 xEOdF4af.net
>>658
このレスは勘
747:違いでした。
748:１３２人目の素数さん
21/01/08 00:23:46.75 CpbGWPSE.net
ガロア理論ちゃんは毎回連レスの冒頭でそれを書いてくるからわかりやすいな
749:１３２人目の素数さん
21/01/08 01:12:59.41 f9NIiW9c.net
>>686
全て間違ってますよ
750:１３２人目の素数さん
21/01/08 02:58:31.53 EU1XmIB5.net
>>685
内部事情に詳しいんですね
IUTはそういう海外への啓蒙もしっかり取り組んでるんですね
まあ遅すぎると言う批判も当然あるでしょうが、頑張ってほしいものです
751:１３２人目の素数さん
21/01/08 06:35:34.28 H+EVO+JD.net
>>682
Wilesの前にFaltings
Faltingの前にMordell
そもそも、君、2次曲線の有理点、分かってるか？
URLﾘﾝｸ(www.suri-joshi.jp)
752:１３２人目の素数さん
21/01/08 06:41:00.43 H+EVO+JD.net
>>686
>リール大は、多くは講師側に回っている人たちだよ
君、英語読める？
講演のタイトル読める？
IUTって文字、どこにも入ってないって読める？
10/08 T1.1 Abc & Szpiro conjectures: Roth and Belyi Cluckers - Fresse
11/5 T1.2 Abc & Vojta conjectures: heights and ramification Dèbes
もしかしてAbcがIUTに見える？
それ目というより頭が悪いよ
753:１３２人目の素数さん
21/01/08 06:46:56.57 H+EVO+JD.net
>>688
(雑談男は)毎回連レスの冒頭で
それ(=願望に満ちた妄想)を書いてくるから
(●違いであることが)わかりやすい
ロシアや中国では共産革命は成功したかもしれんが
ここはそういう未開国家じゃないからな
雑談男のIUT革命は失敗する
754:１３２人目の素数さん
21/01/08 06:52:41.80 H+EVO+JD.net
（SS予想）望月不等式（系3.12）から矛盾が導かれる
755:現代数学の系譜 雑談
21/01/08 07:34:11.75 1UqA07Xc.net
>>689
＞全て間違ってますよ
あらら、「リール大とのワークショップは、リールがRIMSにIUTの教えをこうワークショップ」
”Promenade in Inter-Universal Teichmuller Theory” は、下記の通り、リールとRIMSの2者のワークショップではなく、広くプロ数学者に開かれたものですよ
そして、各講師が分担して、ＩＵＴを説くものですよ（＾＾
>>692
>講演のタイトル読める？
>IUTって文字、どこにも入ってないって読める？
下記のＴ1.3 ”Qing Liu, Bordeaux University, FR;”さん
ＩＵＴについて語っていますよ
タイトルだけでなく、ＰＤＦも読みましょうね、文盲さんｗ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
December
12/03 T1.3 From Vojta to Mochizuki: Moduli spaces of elliptic curves Liu
P6
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
List of Participants
Qing Liu, Bordeaux University, FR;
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
PROMENADE IN INTER-UNIVERSAL TEICHMULLER THEORY - 復元
TALK 1.3 - FROM VOJTA TO MOCHIZUKI: MODULI SPACES OF ELLIPTIC CURVES.
§Two steps towards IUT Geometry. As presented in [GenEll]
At a categorical level, both the anabelian techniques and the solution to (GMSCG) require the
construction of a new apparatus of Frobenioid and Θ±ellNF-Hodge Theaters whose role is, for various
Spec K → M1,1, to host the local-global and arithmetic-geometric symmetries or arithmetic line bundles
at various places of ?? and in an algorithmic way ? see Topic 2 and ※ in Topic 3.
756:現代数学の系譜 雑談
21/01/08 07:36:15.99 1UqA07Xc.net
>>695
タイポ訂正
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
PROMENADE IN INTER-UNIVERSAL TEICHMULLER THEORY - 復元
TALK 1.3 - FROM VOJTA TO MOCHIZUKI: MODULI SPACES OF ELLIPTIC CURVES.
↓
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
PROMENADE IN INTER-UNIVERSAL TEICHMULLER THEORY - 復元
Ｐ6
TALK 1.3 - FROM VOJTA TO MOCHIZUKI: MODULI SPACES OF ELLIPTIC CURVES.
ね（＾＾；
757:現代数学の系譜 雑談
21/01/08 07:48:47.90 1UqA07Xc.net
>>683
「数学に王道なし」は、古代ギリシャの逸話らしいが
昔、江戸と大阪、東海道五三次、徒歩だった。しかし、いま徒歩の人いない
現代数学の領域は、古代ギリシャに較べて、広大だよ
古代ギリシャのように、徒歩だけでいくと、一生かけても現代数学の最前線に到達できないだろう（一部の天才を除く）
確かに、学部くらいまでは、基礎訓練をしっかりする必要ありかもだが
ＩＵＴに到達するのに、梅村から読むような維新流はどうだろね？ あんた自分の能力と、ＩＵＴまでの距離感の計算が、出来てないんじゃない？ カタツムリさんよ！ｗｗｗ
URLﾘﾝｸ(ja.wikipedia.org)
エウクレイデス
アレクサンドリアのエウクレイデス（古代ギリシャ語: Ε?κλε?δη?, Eukleid?s、ラテン語: Eucl?d?s、英語: Euclid（ユークリッド）、紀元前3世紀? - ）は、古代エジプトのギリシャ系数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』（ユークリッド原論）の著者であり、「幾何学の父」と称される。
プトレマイオス1世が彼に「幾何学を学ぶのに『原論』よりも近道はないか？」と聞いたところ、彼は「幾何学に王道なし」と答えたとされている。
アルキメデスによるエウクレイデスへの言及と称されるものは、後世の編集による挿入だと見られているが、エウクレイデスの著作がアルキメデスの著作より古いことは確実とされている[6][7]。「王道」の逸話も、メナイクモスとアレクサンドロス3世の逸話にそっくりであり、本当かどうか疑問がある[8]。
758:１３２人目の素数さん
21/01/08 08:40:18.41 LIMvqOCv.net
>>686
『数々の議論にお付き合いくださった玉川安騎男先生, 松本眞先生』とか
『いくつもの有益な指摘をくださった安田正大先生』とかあるけど
そういう先生方というのは、今現在IUTに対してどんな思いでいるんだろう
そのあたりのことがまったく伝わってこないのはどういうわけなのか
彼らは最終的に、IUTにおけるABC証明は決着ついたと考えてるんだろうか
759:１３２人目の素数さん
21/01/08 09:51:25.49 DUqi/hut.net
さすがにリール大学生でABC予想を今わざわざやるのに、IUT抜きにやらんよ
何を言ってるんだって話だ
本当に馬鹿が騒いでんだな
アンチは心の底から馬鹿だな
笑える
760:１３２人目の素数さん
21/01/08 19:30:54.62 H+EVO+JD.net
>>697
>昔、徒歩だった。
>しかし、いま徒歩の人いない
誰も、１から楕円曲線論を再構築せよ、とはいってない
>徒歩だけでいくと、一生かけても現代数学の最前線に到達できないだろう
教科書を読むのは、新幹線に乗るのと同じ
教科書読まずに、最前線に行こうとするのは
超能力で瞬間移動してみせる、と力みかえって
訳も分からず瞑想するようなもの
いくらサーチエンジンで情報検索してみても、
用語の定義も知らない、定理の証明も知らないんじゃ
一生かけても現代数学の初歩すら理解できない
そういう人は
ガロア理論の基本定理も理解できない
正則行列の条件も理解できない
それが現実
>確かに、学部くらいまでは、基礎訓練をしっかりする必要ありかもだが
工学部じゃ、数学科の学生が受けてる基礎訓練を全くやらない
そういうカリキュラムじゃないから
「公式に数当てはめて、計算できればOK」
それじゃ、現代数学の理論は理解できない
前提（公理）から結論（定理）にいたる推論（証明）を
読み解く読解力を鍛える基礎訓練なしには
数学書は一字も読めない
それが現実
>ＩＵＴに到達するのに、梅村から読むのはどうだろね？
θ関数の定義も基本的な性質も知らない人が
ＩＵＴの"log-theta-lattice"を理解することは絶対にない
>自分の能力と、ＩＵＴまでの距離感の計算が、出来てないんじゃない？
自分の立ち位置が分かってない人が
IUTまでの距離が正しく計算できるわけがない
>>699 ID:DUqi/hut
匿名で赤色テロ活動を行うボルシェビキ君、登場
761:１３２人目の素数さん
21/01/08 20:07:42.46 PJFNOhXU.net
人類の叡智の健やかさのために
君の心を反乱の葡萄酒で満たせ
明日のために 誠実な友よ
我々は光をもたらしたい
夜の仮面に抗い
我々の世界を照らすために
そして生を変えるために
この戦に勝利しなければならない
悲惨さを取り除くため
我々の田畑は耕される
大いなる自由の風に吹かれ
歓喜に踊る
平和の黄金の穂のために
人類の叡智のために
僕の志を捧げよう
そのために死なねばならないのなら この僕が
その最初の者になりたい
希望の記念碑の大理石に
最初に刻まれる名に
762:１３２人目の素数さん
21/01/08 20:09:42.24 PJFNOhXU.net
知のダイバーシティの夜明けに乾杯
763:１３２人目の素数さん
21/01/08 20:20:00.11 PJFNOhXU.net
太平洋の東の果て
極東の小さな島国に登る朝日彼方に沈む夕陽を眺めながら飲むこの一杯に乾杯！
ブルーバックスコーヒー・・・
ソイと蜂蜜とＩＵＴ入りで！
ブルーバックスの定番になるといいな。。。
764:１３２人目の素数さん
21/01/08 20:43:38.39 DUqi/hut.net
アンチは馬鹿で間抜けで恥ずかしい
765:１３２人目の素数さん
21/01/08 21:00:51.04 LIMvqOCv.net
ABCが専門でもないのにIUTに時間かけてもしょうがない
アンチが正解
766:１３２人目の素数さん
21/01/08 21:04:07.62 H+EVO+JD.net
>>704 ID:DUqi/hut
匿名でIUT革命の赤色テロ活動を行うボルシェビキ君
URLﾘﾝｸ(www.youtube.com)
767:１３２人目の素数さん
21/01/08 22:08:32.37 H+EVO+JD.net
Boeing
URLﾘﾝｸ(ja.wikipedia.org)
768:現代数学の系譜 雑談
21/01/08 22:18:18.71 1UqA07Xc.net
>>698
玉川安騎男先生は、４月の記者会見で出ていたし、下記のIUT国際会議 ”Invited speakers: Akio Tamagawa”です
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
Foundations and Perspectives of Anabelian Geometry,
RIMS workshop, June 28 - July 2 2021
Invited speakers:
Akio Tamagawa (RIMS, Kyoto Univ., Japan),
安田正大先生は、”Promenade in Inter-Universal Teichmuller Theory”の参加者の一人です
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
List of Participants
xxxii. Seidai Yasuda, Osaka University, JP;
つづく
769:現代数学の系譜 雑談
21/01/08 22:19:16.39 1UqA07Xc.net
>>708
つづき
松本眞先生は、最近こそ名前がでないけど、
IUT初期の望月先生の相談相手ですよね（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 感想・着想
2008年06月11日
・組合せ論的カスプ化（前回04月09日の報告を参照）の論文が完成した
（論文を参照）。この論文では、properな双曲的曲線の場合、配置空間
の次元が2から1に下がるときの単射性は証明されていないが、論文が
完成した後で、星裕一郎氏との共同研究でこ
770:の単射性を証明することが できそうになった。この共同研究が完成すると、松本氏の定理のproper な場合への拡張ができたことになる。 2008年04月09日 ・「combGC」（＝「Grothendieck予想の組合せ論版」--- 2007年の論文を 参照）を適用することによって、松本眞氏の有名な「単射性定理」（＝ 1996年のCrelleの論文のTheorem 2.2）の「組合せ論版」ができそう。 これは２つの意味において興味深い展開だと思う。まず、第一に、 「Grothendieck予想型」の定理の＊応用＊になっているところが面白い。 第二に、証明では、「combGC」は一種の＊「canonicalな分裂」＊を 構成するのに使うのだが、IUTeichにおいても、遠アーベル幾何は正に一 種の「canonicalな分裂」を構成するのに使うことを連想させるところ がある。（最近の「過去と現在の研究の報告」を参照。）特に、この 「canonicalな分裂」が、松本さんの議論における「スキーム論から 生じる」という性質の「代役」を果たしているところが、IUTeichとの 類似性を更に感じさせるものである。因みに、この「GCのようなもの がもたらす分裂＝半単純性」という現象の原型は、「center-freeな 群Gと任意の群Hに対して、HのGによる拡大と、HによるGへの外作用は 同値である」という事実だと思う。 (引用終り) 以上
771:現代数学の系譜 雑談
21/01/08 23:03:57.47 1UqA07Xc.net
>>705
＞ABCが専門でもないのにIUTに時間かけてもしょうがない
＞アンチが正解
まあまあ
・オリンピックの金メダル、単純に嬉しいでしょ？ 別に、自分の懐が増えるわけでもないが
・日本数学の系譜として、高木貞治先生依頼、連綿と数学で成果を挙げてきた
・望月ＩＵＴは、正に高木類体論、谷山志村、岩澤などの数論の系譜に連なる成果です
・加藤文元本が、数学本にしては、バカ売れした。本の題名が良かったことは確かだが、「日本の数学者が大ホームラン」ってことでもあったわけです
ＩＵＴが正しければ、そういうことになるのです
それは、ここ１～２年で、はっきりするでしょうね
そして、ゴールは2022年のモスクワＩＣＭでしょう
772:現代数学の系譜 雑談
21/01/08 23:05:15.19 1UqA07Xc.net
>>710
誤変換訂正
・日本数学の系譜として、高木貞治先生依頼、連綿と数学で成果を挙げてきた
↓
・日本数学の系譜として、高木貞治先生以来、連綿と数学で成果を挙げてきた
分かると思うが（＾＾；
773:１３２人目の素数さん
21/01/09 03:14:24.98 yDG0OkRj.net
ラングランズ・プログラムなんてのも行き詰まってるけど
IUTが何らかの突破手段を提供するなんてことがあるのか？
たぶんあまり期待できないように思うが、どうなのかね？
774:１３２人目の素数さん
21/01/09 04:57:36.22 HHxCVg3C.net
>>710
>・オリンピックの金メダル、単純に嬉しいでしょ？
いや、全然 オリンピック興味ないし
東京開催も迷惑なだけ ま 結局コロナで中止だけどね 残念でした
775:１３２人目の素数さん
21/01/09 05:02:48.85 HHxCVg3C.net
>>710
>・日本数学の系譜として
>・「日本の数学者が大ホームラン」
ニッポン、ニッポン、といいたい、あなたに贈る歌
URLﾘﾝｸ(www.youtube.com)
776:１３２人目の素数さん
21/01/09 05:06:43.24 HHxCVg3C.net
>>710
>ＩＵＴが正しければ、そういうことになるのです
ＩＵＴが間違ってたら、雑談 ◆yH25M02vWFhP が真っ先にいいそうな台詞
「あのユダ公め！！！」
777:１３２人目の素数さん
21/01/09 05:12:27.60 HHxCVg3C.net
>>710
>ゴールは2022年のモスクワＩＣＭ
Ｐ．Ｓの発表
「”望月不等式”の矛盾について」
778:１３２人目の素数さん
21/01/09 05:21:39.67 HHxCVg3C.net
国家主義
URLﾘﾝｸ(ja.wikipedia.org)
779:%A9 国家主義（こっかしゅぎ、英: statism ステイティズム）とは、 国家（≒政府）を第一義的に考え、その権威や意志を第一だと考える立場のこと。 国家主義とは、 国家を、「最高の価値あるもの」や、「人間社会の最高の組織」と見なし、「個人よりも国家に絶対的な優位性があるのだ」とする考え方。 「国家に至上の価値がある」と主張して、国家的な秩序や、国家による命令、自分の属する国家が軍事的に強いことなどを他の全ての価値に優先させようとする政治的な主張を指す。 国家主義的な立場をとる者、そのような思想を持つ者を「国家主義者」と言う。 国家主義は保守的なイデオロギーのひとつである。 特に近代化に乗りおくれた20世紀のドイツや戦前の日本で隆盛をきわめた。 自国国家を至上におくという考え方である ため、 国家内での価値の共有などは国家を形成するにおいて重要ではあるが、 （国家の利益を個人の利益に優先させるので）全体主義的な傾向があり、 偏狭な民族主義や国粋主義になりがちである。
780:１３２人目の素数さん
21/01/09 05:26:44.13 HHxCVg3C.net
国粋主義
URLﾘﾝｸ(ja.wikipedia.org)
国粋主義（こくすいしゅぎ）とは国家主義の一つで、
近代日本において欧化主義と対立し、
自国民や自国の文化・伝統の独自性を強調・維持・発揚、あるいは守ろうとする考え方である。
日本主義とも呼ばれる。
民族主義、国家主義、国民主義と同じく
ナショナリズム（Nationalism）やナショナリティ（Nationality）の訳語の一つ。
国粋主義は、幕末より台頭した尊王攘夷論を源流とし、
これが明治に入ってから政府による条約改正交渉や欧化政策への反発として現れる。
これは、1888年、志賀重昂や三宅雪嶺らの政教社が出版していた雑誌『日本人』に
積極的な西洋文化の導入によって国内の近代化を図っていた明治政府が推進する
欧化主義に反発する志賀の論文「国粋保存旨義」が発表されたのをきっかけとして
使われるようになり、明治政府の政策を非難し、日本本来の長所を重視することを
主張した。
この「国粋保存旨義」が「国粋」や「国粋主義」の語源である。
781:１３２人目の素数さん
21/01/09 05:29:32.74 HHxCVg3C.net
>>718
徹頭徹尾日本固有の旧分子を保存し旧原素を維持せんと欲するものに非ず、
只泰西の開化を輸入し来るも、日本国粋なる胃官を以て之を咀嚼し之を消化し、
日本なる身体に同化せしめんとする者也
— 志賀重昂
という志賀の言葉からも分かるように、明治中期の国粋主義は
排外的ナショナリズムとは異なり、欧化それ自体に反発するのではなく
日本の文明を主体的に発達させるためとして西洋文明を部分的に採択する
という特質があり、国民の対外的独立と結びつけながら
圧倒的な欧化主義の風潮の中で伝統文化や生活様式を保存する意義を主張していた。
782:１３２人目の素数さん
21/01/09 05:30:30.89 HHxCVg3C.net
>>719
しかし、日本に対する包囲を進めていた欧米に対し、
世論には異質の外来文化や思想に対する嫌悪感が広がっていった。
同じくして高山樗牛や木村鷹太�
783:Yらによって提唱された 国民的道徳の実践を主張する日本主義の影響を受け、 伝統主義や天皇制擁護の立場から右翼の行動原理として 社会主義の大衆運動に対抗しつつ、 昭和初期の満州事変から日中戦争にかけて ファッショ的な政治運動へと進展していき、 太平洋戦争期には皇国史観や日本精神論といった 国家主義的なイデオロギーとなった。 このように国粋主義は時代により変遷こそすれ、 一系の天皇をいただく日本の国家体制の優位性や永続性を強調する 国体論点において一貫している。
784:１３２人目の素数さん
21/01/09 05:33:54.52 HHxCVg3C.net
日本主義
URLﾘﾝｸ(ja.wikipedia.org)
日本主義（にほんしゅぎ）は、明治中期において明治政府の極端な欧化主義に対する反動として起こり、
日本古来の伝統的な精神を重視しこれを国家・社会の基調としようとした国家主義思想である。
三宅雪嶺や高山樗牛、井上哲次郎らによって提唱された。
明治から第二次世界大戦敗戦における欧化主義・民主主義・社会主義に反対しながら、
日本古来の伝統や国粋を擁護しようとした思想、運動である。
思想的には一定の体系を成しておらず、その内容は論者によって相違するが、
政治的には欧米協調主義への反対と国権・対外強硬策の強調を主張する。
大正・昭和になると資本主義の高度化に伴って階級対立が激しくなり
社会主義やマルクス主義が国内に流入するようになると、
日本主義はこれらの思想に対抗するイデオロギーとして機能し、
天皇を中心とする皇道や国体思想を強調させた。
785:現代数学の系譜 雑談
21/01/09 07:57:21.17 PlFYF+BI.net
>>712
>ラングランズ・プログラムなんてのも行き詰まってるけど
>IUTが何らかの突破手段を提供するなんてことがあるのか？
>たぶんあまり期待できないように思うが、どうなのかね？]
良い質問ですね
１．ちょっとは期待できるのでは？
２．ラングランズ・プログラムこそ、Scholze氏のフィールズ賞ねたですよね（下記）
"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"
３．あと、ラングランズ・プログラムご参考に貼る
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ラングランズ・プログラム（英: Langlands program）は、代数的整数論におけるガロア群の理論を、局所体およびそのアデール上で定義された代数群の表現論および保型形式論に結び付ける非常に広汎かつ有力な予想網である。同プログラムは Langlands (1967, 1970) により提唱された。
問題の背景
非常に広い脈絡において、既存の概念を用いて、ラングランズプログラムは構築される。これには例えば、それより少し前にハリッシュ＝チャンドラ（英語版）と Gelfand (1963) が定式化していたカスプ形式の哲学や、半単純リー群に関するハリシュ＝チャンドラの手法及び結果、セルバーグの跡公式などが含まれる。
初めこそ非常に新しかったラングランズの研究も、技術的に深められる中で、豊かに体系立った仮説的な構造（いわゆる函手性）を伴って数論との直接的な繋がりを提示するものとなった。
カスプ形式の概念の出所は、モジュラー曲線上のカスプのみならずスペクトル論においても（アイゼンシュタイン級数からの連続スペクトルと対照を成す）離散スペクトルとも見ることができる。より大きなリー群に対してカスプ形式を考えることは、放物型部分群（英語版）の数が膨大になるため、より技巧的な扱いを要する。
つづく
786:現代数学の系譜 雑談
21/01/09 07:58:16.30 PlFYF+BI.net
つづき
こういった手法の何れにおいても技術的な近道となる方法はなく、しばしば本来帰納的でとりわけレヴィ分解（英語版）に基づいているが、その分野は昔も今も非常に多くのことが要求される[1]。
モジュラー形式の側からは、例えばヒルベルトモジュラー形式（英語版）、ジーゲルモジュラー形式（英語版）、テータ級数などの例があった。
ラングランズ予想
ラングランズ予想の述べた方は様々に異なった方法があり、それらは密接に関連しているが、それらの同値性については明らかなことではない。
相互律
ラングランズプログラムの出発点は、二次の相互律を一般化したアルティンの相互律であると考えられる。アルティンの相互律は、ガロワ群が可換であるような代数体のガロワ拡大に適用して、L-函数をガロワ群の一次元表現に対応させ、さらにそれら L-函数がある種のディリクレ L-級数やヘッケ指標から構成されるより一般の級数（つまり、リーマンゼータ函数のある種の対応物）と同一視できることを主張するものである。これら種々の異なる L-函数の間の具体的な対応が、アルティンの相互律を構成しているのである。
保型形式論
エーリッヒ・ヘッケは既に、ディリクレ L-函数を保型形式（C の上半平面上で定義される正則函数である種の函数等式を満たすもの）に関連付けていたが、ラングランズはそれを（有理数体 Q のアデール環 A 上で定義される一般線型群 GL(n, A) の無限次元既約表現の一種である）保型尖点表現に対して一般化した。（Q のアデール環というのは、Q の任意の完備化を一斉に扱ったようなものである）。
ラングランズは、保型 L-函数をその保型表現に対応させ「任意のアルティンのL-函数が、代数体のガロワ群の有限次元表現から生じることと、保型尖点表現から生じることとは等しい」と予想した。これをラングランズの「相互律予想」という。
函手性
函手性予想の主張するところは、L-群の適当な準同型が（大域体の場合の）保型形式や（局所体の場合の）表現の間の対応を与えることが期待されるということである。簡単にいえば、ラングランズの相互律予想は函手性予想のうちで簡約代数群が自明である特別の場合である。
つづく
787:現代数学の系譜 雑談
21/01/09 07:59:08.80 PlFYF+BI.net
>>723
つづき
一般化された函手性
ラングランズは函手性の概念を、一般線型群 GL(n) の代わりに他の連結簡約代数群を用いることができるように一般化した。さらにラングランズは、そのような群 G に対してラングランズ双対群 LG を構成して、G の任意の保型尖点表現と LG の任意の有限次元表現に対し、ある種の L-函数を定義した。ラングランズの予想の一つは、この L-函数が既知の L-函数の函数等式を一般化したある種の函数等式を満足することを主張する。
こうしてラングランズは、非常に一般な「函手性原理」を定式化するに至る。
幾何学的ラングランズ予想
ドリンフェルトのアイデアに従ってローモンの提唱した、いわゆる幾何学的ラングランズプログラムは、通常のラングランズプログラムを幾何学的に定式化しなおして、単に既約表現だけを考える以上のものを関連付けようとして生じたものである。単純な場合だと、代数曲線のエタール基本群（英語版）の l-進表現を、その曲線上のベクトル束のモジュライスタック(moduli stack)上で定義された l-進層の導来圏の対象に関連付ける。
現在の状況
GL(1, K) に対するラングランズ予想�
788:ﾍ類体論から従う（というよりは本質的には同じものである）。 ラングランズ自身は、アルキメデス局所体（R および C）に対するラングランズ予想を、既約表現に対するラングランズ分類を与えて肯定的に解決している。 ルスティックによる、有限体上のリー型の群の既約表現の分類は、有限体に対するラングランズ予想に相当するものと考えられる。 ワイルズによる、有理数体上の半安定楕円曲線のモジュラー性の証明は、ラングランズ予想の一部と見做すことができる[なぜ?]が、ワイルズの方法を任意の数体上に拡張することはできない。 有理数体上の二次一般線型群 GL(2, Q) に対するラングランズ予想は未解決。 ラフォルグは函数体 K 上の一般線型群 GL(n, K) に対するラングランズ予想を保証するラフォルグの定理（英語版）を示した。これは GL(2, K) の場合を示したウラジーミル・ドリンフェルトの先行研究に続くものである。 つづく
789:現代数学の系譜 雑談
21/01/09 07:59:29.52 PlFYF+BI.net
>>724
つづき
基本補題
詳細は「ラングランズプログラムの基本補題（英語版） 」を参照
2008年にゴ・バオ・チャウ(Ngo B?o Chau)は、所謂「基本補題（英語版）」と称される補助的だが非常に難しい主張を示した。基本補題はもともとラングランズ自身によって1983年に述べられたものである[3][4]。
局所ラングランズ予想
詳細は「局所ラングランズ予想（英語版）」を参照
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
(引用終り)
以上
790:１３２人目の素数さん
21/01/09 08:01:38.11 HHxCVg3C.net
>>722-725
線型代数、勉強してる？
正則行列、理解した？
線型独立、理解した？
791:１３２人目の素数さん
21/01/09 08:10:44.63 HHxCVg3C.net
>>727
＞ご参考に貼る
哀れ
792:現代数学の系譜 雑談
21/01/09 08:19:20.05 PlFYF+BI.net
>>725
>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
因みに、Scholze氏は、”monodromy”の大家でもあります
ウェイト・モノドロミー予想を部分的に証明しました（下記wikipedia）
お得意の”monodromy”を使って、IUT不成立と主張しました（下記Ｐ10）
ところが、お得意の”monodromy”がちょっと、「それ違っています」（勘違い）というのが、望月氏他の主張です
詳しくは、下記の望月氏”関連文書”サイトの反論文書をご参照
手軽には、DUPUY氏>>671のarxiv投稿を抜粋ご参照下さい
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた関連文書
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Why abc is still a conjecture PETER SCHOLZE AND JAKOB STIX Date: August 23, 2018.
Ｐ10
Thus, Mochizuki wanted to introduce scalars of j2
somewhere on the left part of this
diagram (which strictly speaking leads to inconsistencies, i.e. monodromy, on the left part of the
diagram alone, which arguably can be overcome by using averages). However, it is clear that
this will result in the whole diagram having monodromy j2
, i.e., being inconsistent.
つづく
793:現代数学の系譜 雑談
21/01/09 08:19:47.04 PlFYF+BI.net
>>728
つづき
URLﾘﾝｸ(ja.wikipedia.org)
ペーター・ショルツェ（1987年12月11日 - 、独: Peter Scholze [?pe?t? ???lt?s?]）は、数論幾何学を専門とするドイツ人数学者。ドイツ人だが日本では英語風にピーター・ショルツと表記されることもある。
業績
ショルツェの研究は、数論幾何学、例えばp進数とその応用に集中している。ゲルト・ファルティングス、ジャン＝マルク・フォンテーヌ、そして後にキラン・ケッドラヤによって開発された以
794:前の基本的な理論のいくつかをよりコンパクトな形で提示した。ウェイト・モノドロミー予想を部分的に証明した[9]。パーフェクトイド空間（英語版）の概念を導入した[10]。 https://bluexlab.tokyo/1267 bluexlab 2019.10.03 2019.10.04MATH パーフェクトイド空間（Perfectoid Spaces）とは？理論の概要と参考文献をご紹介【数論幾何の天才Peter Scholze氏の理論】 パーフェクトイド空間の理論は非常に有用で、Scholzeはパーフェクトイド空間を導入した論文（博士学位論文）で、長年未解決だったウェイト・モノドロミー予想を（部分的に）解決しています。 当ブログのこちらの記事でも紹介したコホモロジーの統一（モチーフの理論）においても、パーフェクトイド空間の理論を発展させたプリズム理論（Prismatic cohomology）が生まれるなど、現代数学の最先端を担う理論として注目を浴びています。 パーフェクトイド空間の勉強をしたい方への参考文献 (引用終り) 以上
795:１３２人目の素数さん
21/01/09 08:24:05.78 HHxCVg3C.net
>>728
＞「それ違っています」（勘違い）というのが、望月氏の主張です
「それ、あなたの勘違い」というのがショルツの主張
796:１３２人目の素数さん
21/01/09 08:27:58.65 HHxCVg3C.net
デュピュイはＩＵＴを理解できてないものの
望月不等式には魅力を感じてるから全否定したくない
それでショルツに食ってかかってるみたいだが
ショルツが望月不等式から矛盾を導いたら
望月・星・山下・南出・フェセンコ・ポロウスキ
だけでなくデュピュイとヒラドの仕事も焼かれて灰になる
御愁傷様
797:１３２人目の素数さん
21/01/09 08:31:38.32 HHxCVg3C.net
おいど とは お尻のこと
URLﾘﾝｸ(gogen-allguide.com)
ちなみに東京では通じません
798:現代数学の系譜 雑談
21/01/09 08:39:11.82 PlFYF+BI.net
>>728
(引用開始)
因みに、Scholze氏は、”monodromy”の大家でもあります
ウェイト・モノドロミー予想を部分的に証明しました（下記wikipedia）
お得意の”monodromy”を使って、IUT不成立と主張しました（下記Ｐ10）
ところが、お得意の”monodromy”がちょっと、「それ違っています」（勘違い）というのが、望月氏他の主張です
詳しくは、下記の望月氏”関連文書”サイトの反論文書をご参照
手軽には、DUPUY氏>>671のarxiv投稿を抜粋ご参照下さい
(引用終り)
簡単に事実だけ確認しておきましょう
１．ＩＵＴ不成立を数学的に主張しているのは、ショルツェ氏ただ一人（Ｓｔｉｘ氏はノーコメントに変わりました（ネイチャー記事の取材で））
（woitブログなどで、仮名で発言している人がいるが、実名がない。あと、woit氏は物理屋だし、あと一人実名の人がだれか居たけど忘れたな。だが彼は遠アーベルが分かってないレベルだった）
２．確かに、ＩＵＴが”読めない”という数学者は多数いる
３．しかし、ＩＵＴの理解者10人以上と言われる
４．そして、ＩＵＴ賛同者の増えてきたのです。Promenade in Inter-Universal Teichmuller TheoryのＬｉｌｌｅ大の人達とかね（>>3）
なので、今年の国際会議で、「ＩＵＴが分かった」という人がもっと増えると思われます
乞うご期待
しばし待て
待てば海路の日和あり！（＾＾；
799:１３２人目の素数さん
21/01/09 08:41:26.78 HHxCVg3C.net
耄碌爺は極限の定義が分かってない
見栄坊は正則行列の条件が分かってない
両者に共通するのは
「教科書の定義を理解せず
自己流の定義を捏造する点」
自己中心的な人には学問はできません
800:現代数学の系譜 雑談
21/01/09 08:46:32.48 PlFYF+BI.net
>>733
>>733
>あと一人実名の人がだれか居たけど忘れたな。だが彼は遠アーベルが分かってないレベルだった）
そうそう、ディヴィド・マイケル・ロバース博士(下記です)
ショルツェ氏の尻馬組ですね
（>>8より）
URLﾘﾝｸ(taro-nishino.blogspot.com)
TARO-NISHINOの日記
識別の危機
3月 24, 2019
今回紹介するのはディヴィド・マイケル・ロバース博士が書いた記事"A Crisis of Identification"です。
URLﾘﾝｸ(inference-review.com)
ロバース博士と言えばショルツ、スティクス両博士のリポートが公開された直後からキャテグリ論の専門家として非常に冷静な分析をされていたことに私は感心してました
801:１３２人目の素数さん
21/01/09 08:47:55.52 HHxCVg3C.net
>>733
Lille大の人は単に会議の参加者にすぎず
IUT理解者でもIUT賛同者でもない
(会議参加者＝理解者＝賛同者、は素人の誤解）
「理解者」といってるのは、望月本人とその弟子の星、南出 あと 山下か
しかし誰も肝心のCol 3.12の証明が正当だと説明できない
フェセンコは、RIMS以外では珍しい「賛同者」だが、やっぱり説明できない
加藤文元は単なる「追従者」 理解はしてない
東大は、IUTに対して別に賛同してない
802:１３２人目の素数さん
21/01/09 08:49:57.25 HHxCVg3C.net
西野七瀬・・・じゃなくて太郎＞ キャテグリ論
この人、群論をグループ論、集合をセット論とか言いそうで怖い
803:１３２人目の素数さん
21/01/09 08:52:42.11 HHxCVg3C.net
>>737
多様体がヴァラエティだったら、
多様体論はヴァラエティ論か
804:１３２人目の素数さん
21/01/09 08:54:25.23 HHxCVg3C.net
＞ロバース
これそのなぁちゃん・・・じゃないやタロウが
粋がって云ってるだけなんで、それ以外の人は
ロバーツっていうけどね
805:現代数学の系譜 雑談
21/01/09 08:59:03.82 PlFYF+BI.net
>>691
(>>682より)
おっさんよ
ワイルズの証明についても、なんか書いて見なよ
ほれほれ
ワイルズの証明が、一番いまのＩＵＴの数学に近いんだぜｗｗｗ（＾＾
(引用終り)
おっさん、あんたが>>675で書いた
「ペレリマンの３次元ポアンカレ、４次元ポアンカレ」
と同じレベルの言及を書いて見ろよ！
って煽ったわけだけれど、>>691程度で誤魔化そうってわけか？
おっさん、底見えたな
あんた数論幾何ぜんぜんだね
まあ、梅村楕円関数論を今頃読んでいるレベルだもんなぁ～ｗ
（真の東大数学科生なら、学部４年では、楕円関数論やっているだろうね）
おっさん、ほんとピエロだね。笑えるやつ（＾＾；
806:１３２人目の素数さん
21/01/09 09:01:15.98 HHxCVg3C.net
ふと、スレ立ててみた
🤔望月不等式（系3.12）って、正しいの？🤔
ｽﾚﾘﾝｸ(math板)
807:１３２人目の素数さん
21/01/09 10:03:00.18 9rhC0ofS.net
アンチは本当に馬鹿だな
死んだ方が良い
続々賛同者が増えてるのに、邪推して
確からしいと思わなければプロの数学者はわざわざ参加しない
論文発表しない
アホな素人のアンチの戯れ言
笑える
808:１３２人目の素数さん
21/01/09 10:59:16.61 +98zyhh4.net
確かにアンチはゲスだな
なるほど、
現状ではIUTは広く受け容れられている
とは言い難い、それは間違いない
しかしそれを粘り強く普及させようとする大勢の努力を傍らから嘲笑うのは、
品性下劣だと思うね
しかも否定の根拠が傍証ばかり
809:現代数学の系譜 雑談
21/01/09 11:07:29.75 PlFYF+BI.net
>>722
> １．ちょっとは期待できるのでは？
例えば、Kirti Joshis氏の論文などの動きね
URLﾘﾝｸ(arxiv.org)
Untilts of fundamental groups: construction of labeled
isomorphs of fundamental groups Kirti Joshi October 13, 2020
1 Introduction
I show that one can explicitly construct topologically/geometrically distinguishable data which
provide isomorphic copies (i.e. isomorphs) of the tempered fundamental group of a geometrically connected, smooth, quasi-projective v
810:ariety over p-adic fields. This is done via Theorem 2.3 and Theorem 2.5. Notably Theorem 2.5 also shows that the absolute Grothendieck conjecture fails for the class of Berkovich spaces (over algebraically closed perfectoid fields), arising as analytifications of geometrically connected, smooth, projective variety over p-adic fields. The existence of distinctly labeled copies of the tempered fundamental groups is, as far as I understand, crucial to [Moc12a; Moc12b; Moc12c; Moc12d], but produced in loc. cit. by entirely different means (for more on this labeling problem see Section 3). This note began as a part of another note, [Jos20a], which I put into a limited circulation some time in July 2020, outlining my own approach to some constructions of [Moc12a; Moc12b; Moc12c; Moc12d]. Peter Scholze immediately, but gently, pointed out that the section of [Jos20a], from which the present note is extracted, needed some details. At that time I was readying another note, [Jos20b], for wider circulation and addressing the issue noted by Scholze took longer and on the way I was able to substantially strengthen and clarify my results (which appear here). So ultimately I decided that it would be best to publish the present note separately (while preparation of [Jos20a] continued). My thanks are due to Peter Scholze, and also to Yuichiro Hoshi, Emmanuel Lepage, and Jacob Stix, for promptly providing comments, suggestions or corrections.
811:１３２人目の素数さん
21/01/09 11:20:58.41 9rhC0ofS.net
だってさあ、セミナー開いて参加したり、共著論文書く奴がIUTに自信がないとか系3.12わかってないとか
あり得ないじゃん
ど素人のアンチや逃げ回ってるScholzよりはそっちを信じるよ
Scholzは逃げてるだけのチキンだし
812:現代数学の系譜 雑談
21/01/09 11:41:00.94 PlFYF+BI.net
（南出 新）「楕円曲線の6等分点を用いることによって完全に明示的な （＝即ち非明示的な「定数」が一切現れない）不等式を得る」ってこと
梅村楕円関数論から、ここに到達するのに、おサルは何十年だろうね～ぇｗ
何十年経っても到達できないに、100ペソ！（＾＾；
URLﾘﾝｸ(www.math.titech.ac.jp)
東工大 数論・幾何学セミナー
2018年度 後期
11月2日（金） （二講演あります。）
辻村 昇太 氏（京大数理研）
「組み合わせ論的Belyiカスプ化とその応用」
要旨： 望月新一氏によって、p進局所体上の（狭義Belyi型と呼ばれる特別な種類の）双曲的 曲線の閉点に付随する分解群を復元する〝Belyiカスプ化"という 技術が開発されました。講演ではこのBelyiカスプ化を復習した後、Belyiカスプ化の ある組み合わせ論版について議論したいと思います。またその応用として、Y.Andre 氏によって定義されたp進Grothendieck-Teichmuller群GT_pから、Q_pの絶対ガロア 群への全射が構築できることを紹介したいと思います。
16:15～17:15
南出 新 氏（京大数理研）
「宇宙際タイヒミューラー理論における明示的評価について（in progress）」
要旨： 今回の講演では、望月新一氏によって創始された、宇宙際タイヒミューラー 理論の最近の進展について
813:報告する。 宇宙際タイヒミューラー理論とは、大雑把に述べると、「一点抜き楕円曲線 付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて 「計算」する理論である。 特に、その応用として、あるディオファントス幾何的不等式が帰結される。 今回の講演では、楕円曲線の6等分点を用いることによって完全に明示的な （＝即ち非明示的な「定数」が一切現れない）不等式を得ることを目的と する最近の共同研究を紹介する。 （京都大学数理解析研究所の星裕一郎氏、望月新一氏、Nottingham大学の Ivan Fesenko氏、Wojciech Porowski氏との共同研究） 10月24日（水） 16:00～17:00 Ivan Fesenko 氏（University of Nottingham） 「Two 2d adelic structures on elliptic surfaces and the BSD conjecture」 要旨： 略
814:現代数学の系譜 雑談
21/01/09 11:42:33.35 PlFYF+BI.net
>>745
同意ですね
セミナー開いて参加したり、共著論文書く奴がIUTに自信がないとか系3.12わかってないとか
あり得ない
815:現代数学の系譜 雑談
21/01/09 11:49:16.42 PlFYF+BI.net
>>746
>梅村楕円関数論から、ここに到達するのに、おサルは何十年だろうね～ぇｗ
>何十年経っても到達できないに、100ペソ！（＾＾；
１．梅村楕円関数論を読むのが悪いとは言ってない。読むのは良い
２．だが、ＩＵＴを理解するのに、ＩＵＴの文献を避けて、「梅村楕円関数論」からって、間接的アプローチを取っていることが大問題だろう？
３．もっと、直接的に、分かっても分からなくても、ＩＵＴの文献とか、ＳＳに関する文書とか、もっと、直接的アプローチを取るべき
４．分かっても分からなくてもね。分からなければ、どこが分からないとか、どこが不足しているかってことを把握して、誰かに聞くとか、読むとかすべきだろうよ
おっさん、逃げだよ
梅村楕円関数論に逃げているだけじゃんかｗ（＾＾；
816:現代数学の系譜 雑談
21/01/09 13:52:07.58 PlFYF+BI.net
>>748
田口 雄一郎先生は、分かっているんだろう
URLﾘﾝｸ(repository.dl.itc.u-tokyo.ac.jp)
東大 田口 雄一郎
学位論文
The Arithmetic of Drinfeld Modules
橢圓加群的整数論 1993-06-25
ＰＤＦ URLﾘﾝｸ(repository.dl.itc.u-tokyo.ac.jp)
817:１３２人目の素数さん
21/01/09 14:00:39.75 HHxCVg3C.net
>>740
>>691
>>Wilesの前にFaltings
>>Faltingの前にMordell
>で誤魔化そうってわけか？
雑談 ◆yH25M02vWFhP氏は数論の流れが全然わかってないな
URLﾘﾝｸ(ja.wikipedia.org)
C を Q 上の種数 g の非特異代数曲線とする
C の有理点の集合は次のように決定することができる。
g = 0 の場合：全く点が存在しないか、もしくは無限個
g = 1 の場合：全く点が存在しないか、もしくは有理点が有限生成アーベル群である。（モーデルの定理）
g > 1 の場合：C は高々有限個の有理点しか持たない。（ファルティングスの定理）
818:現代数学の系譜 雑談
21/01/09 14:03:42.24 PlFYF+BI.net
>>750
いいから
誤魔化さずに
結論をいいな
819:１３２人目の素数さん
21/01/09 14:05:09.45 HHxCVg3C.net
>>742 ID:9rhC0ofS
匿名でIUT革命の赤色テロ活動を行うボルシェビキ君
>>743 ID:+98zyhh4
匿名でIUT革命の赤色テロ活動を行うボルシェビキ君2匹目
余談だが、マルクス主義は党と国家を維持してる点で極右ファシズム
820:現代数学の系譜 雑談
21/01/09 14:08:27.04 PlFYF+BI.net
>>750
>>Wilesの前にFaltings
>>Faltingの前にMordell
Mordellの前にクンマー
クンマーの前にガウス
ガウスの前にオイラー
オイラーの前にフェルマー
フェルマーの前に・・
・
・
ユークリッド原論
古代メソポタミア、古代エジプト
・
・
類人猿（おサル）
なんだ、”類人猿（おサル）”を言いたかったのか？
早く言えよｗｗｗ
821:１３２人目の素数さん
21/01/09 14:09:55.96 HHxCVg3C.net
>>745
>セミナー開いて参加したり、共著論文書く奴がIUTに自信がないとか
>系3.12わかってないとかあり得ないじゃん
系3.12を前提として用いるなら、ステートメントが分かればいい
「証明」は要らない
つまり
「IUTをわかってないとかあり得ない」どころか
「IUTをわかってなくても問題ない」
そんなこと数学やってる人ならわかる
IUTが分かってる筈とか何の根拠もなく憶測するのは素人
ボルシェビキ君はこまったもんだ
だからルイセンコみたいな詐欺師にひっかかるんだよ
URLﾘﾝｸ(ja.wikipedia.org)
822:１３２人目の素数さん
21/01/09 14:12:06.04 HHxCVg3C.net
>>746
>（南出 新）
>「楕円曲線の6等分点を用いることによって
> 完全に明示的な （＝即ち非明示的な「定数」が一切現れない）不等式を得る」
823: １つ漏れがある 「系3.12を前提して」 これ書かないとウソになるよ
824:１３２人目の素数さん
21/01/09 14:27:02.51 yDG0OkRj.net
そもそも査読チームが理解できないからアクセプトされないんだろ？
825:１３２人目の素数さん
21/01/09 14:28:00.12 HHxCVg3C.net
>>748
>ＩＵＴを理解するのに、「梅村楕円関数論」からって、
>間接的アプローチを取っていることが大問題だろう？
IUTに出てくるΘ関数知らないなら、
まずΘ関数について学ぶのが
もっとも直接的なアプローチだけどな
>ＩＵＴの文献とか、ＳＳに関する文書とか、
>もっと、直接的アプローチを取るべき
雑談◆yH25M02vWFhP氏 が何年かかっても
ガロア理論の基本定理すら正しく理解できず
初歩的な誤解をやらかしつづけるのを
目の当たりにしたら、雑談氏のナイーブな意味の
「直接的」アプローチは「竹槍三百万本論」と同じで
まったく無力だから、もっと地道に勉強しようって
誰でも思うでしょうね
竹槍三百万本論
URLﾘﾝｸ(ja.wikipedia.org)
>分かっても分からなくてもね。
分からなかったら無意味
雑談氏の感情論で言ったら「負け」ってことです ま・け
>分からなければ、どこが分からないとか、
>どこが不足しているかってことを把握して、
>誰かに聞くとか、読むとかすべきだろうよ
雑談氏
ガロア理論の基本定理のどこがわからないか把握しました？
ガロア理論の基本定理が理解できないのは何が不足してるか把握しました？
不足点を補うため誰かに尋ねました？本を読みました？
どれもこれもやってませんよね？
正規部分群の定義、一切確認しませんでしたよね？
群準同型の定義、全然理解できず、証明に使えませんでしたよね？
>逃げだよ
>逃げているだけじゃんか
地道な努力を避け続けてるのは雑談氏、あなたですよ あ・な・た
地道に努力すれば３年でわかるガロア理論が、１０年たっても理解できなかった
つまりあなたの「竹槍三百万本論」の感情論の完全な敗北です
雑談氏は竹槍で数学に向かっていって負けましたぁ！
御愁傷様
826:１３２人目の素数さん
21/01/09 14:42:45.60 HHxCVg3C.net
>>753
>Mordellの前に・・・
なんか勘違いしてますね
楕円曲線で、２つの有理点を通る直線と曲線の交わりから３つ目の有理点が求まる
実はこのやり方で、楕円曲線上の有限個の有理点から全ての有理点が求められる
それがMordellの定理の素朴な版
地道に簡単なことからやらないと数学は理解できませんよ
１０年もガロア理論の基本定理が理解できない「大敗北」を喫したのに
まだ自分の竹槍武装論が完璧だと思ってるんですか？ 雑談氏
827:１３２人目の素数さん
21/01/09 15:09:25.45 HHxCVg3C.net
蛇足
URLﾘﾝｸ(www.ritsumei.ac.jp)
>私の知人に数学から計算機科学に転向した人がいる。
>転向の理由を色々聞いていると、要するに
>「自分はガウスにはとても及ばない馬鹿だし、
> ガウスに匹敵 しない論文はゴミ論文だし、
> ゴミ論文なんか書いても意味がない」
>かららしい。 (うーむ、凄い。凄すぎる。)
そういう気持ちに陥るのはわからないでもない
でも20歳で転向するのはいくらなんでも軟弱だろう…私のことだがｗ
>アンドレ・ヴェイユ曰く
>「まずガウスのように始めなさい。
> すぐ に自分がガウスでない事がわかるだろう。
> でもそれでいいのだよ。」
いい言葉
828:だ でも天才ヴェイユがいうと なんか馬鹿にされてるように聞こえる （それはただの邪念なんだろうと思うが） >続いてドクトル・クーガこと久賀道郎博士曰く >「どうしてもガウスになれるんでなければ嫌だ、 > さもなければ数学なんかやってもしょうがないといわれる方には、 > こう申し上げます： > あなたは数学が好きなのではない、何か別のものが好きなのです。」 >そうか！彼は元もと計算機科学が好きだったんだ。 おっしゃる通りでしょう 「別のもの」にもいろいろあります 人の役に立ちたい、という気持ちなら、それはそれで結構なので 計算機科学でもなんでもやったらいいと思います 他人の上に立ちたい、という気持ちなら、 政治家にだけはならないでください 世の中に害悪しかもたらさないので （しかしながら政治家になりたがるのは しばしばそういう人種である 彼らは他人からこう呼ばれる・・・サイコパス）
829:現代数学の系譜 雑談
21/01/09 15:39:34.99 PlFYF+BI.net
>>756
>そもそも査読チームが理解できないからアクセプトされないんだろ？
望月氏が、ちゃんと説明しています
下記の(H1)と(H2)と
(H1)がSSで”conventional”
(H2)がIUTで”re-initialization”(i.e., “||”)あり
(H1)を元に、ショルツェ氏はダメだという
望月は、(H1)でなく(H2)の”re-initialization”ありだと
ここが、誤解の元ってこと
（図が描けないので、原文見て下さい）
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
REPORT ON DISCUSSIONS, HELD DURING THE
PERIOD MARCH 15 ? 20, 2018, CONCERNING
INTER-UNIVERSAL TEICHMULLER THEORY (IUTCH) ¨
Shinichi Mochizuki
February 2019
(抜粋)
Ｐ6
§5. In some sense, it seems that the logical starting point of the differences in
point of view between SS and HM (and hence of various fundamental misunderstandings of SS) may be understood as a consequence of the difference between
the following two approaches to considering histories of operations performed on
mathematical objects in a given discussion of mathematics (cf. (T1)):
(H1) The conventional approach to histories of operations: The conventional approach that is typically taken, with regard to histories of operations performed on various mathematical objects, consists of regarding
all of these operations as being embedded within a single history.
図略
In this approach, all previously executed operations are regarded as
being permanently accessible, regardless of the content of subsequent
operations.
(H2) The approach taken in IUTch to histories of operations: By contrast, the approach to treating such histories of operations that is taken
throughout IUTch involves the frequent use of re-initialization operations (i.e., “||”)
図略
つづく
830:現代数学の系譜 雑談
21/01/09 15:39:58.03 PlFYF+BI.net
>>760
つづき
? that is to say, situations where one forgets the previous history of
some object (such as, for instance, some previously endowed mathematical structure on the object) and regards this previous history as being
inaccessible in subsequent discussions. Such re-initialization operations
then require the use of distinct labels (cf. (T5)) to denote the “versions”
of an object that arise prior to and subsequent to the execution of such
re-initialization operations. Another aspect of central importance
831: in the context of such re-initialization operations is the explicit specification of the type of mathematical objects (i.e., “species”, in the terminology of [IUTchIV], §3 ? cf. (T2)) that one considers, for instance, prior to and subsequent to the execution of such re-initialization operations (e.g., “groups of automorphisms of some specified field” versus “abstract topological groups”). §6. The two main examples in IUTch (cf. §15 below for a slightly more detailed ? though still quite brief! ? review of certain aspects of IUTch) of the sort of re-initialization operation discussed in (H2) occur in the context of the gluing operations that arise in the definition of the log- and Θ-links: (引用終り) 以上
832:現代数学の系譜 雑談
21/01/09 16:04:08.72 PlFYF+BI.net
>>758
＞地道に簡単なことからやらないと数学は理解できませんよ
もう時代が変わってしまったんだよね
現代数学の質と量と、20世紀後半から21世紀の数学とそれ以前とでは
昔、読んだ話で、（下記）エンゲルスの『自然弁証法』「量から質への転化」の一例かも知れないね（下記）
（補足：記憶によれば、いま毒になる物質があって、微量なら無害かクスリにもなり得るとしても、ある臨界量を超えると健康に有害で、さらに致死量を超えると死に至る。つまり、量の変化が、ある臨界量を境に質的変化を起こすという話だ。）
21世紀 現代数学の質と量は、”地道に簡単なことから”というレベルを超えていると思うよ
いま、エベレストをふもとから登る人はいない
あと、コンピュータの使用を前提とすべき。昔πの精密計算が数学だった時代、シャンクスが500桁くらい手計算したらしい
いま、そんな人居ない。コンピュータで何億何兆と計算する時代です
（まあ、エクセルとか数式処理ソフト使えって時代ですよね。群論だって、計算ソフトあるでしょ？ 楕円関数も同じだ。手計算ベースの本は古いと思うなｗ）
時代錯誤じゃね？
オチコボレさんは？ｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
弁証法（べんしょうほう、英: dialectic）は、哲学の用語であり、現代において使用される場合、ヘーゲルによって定式化された弁証法、及びそれを継承しているマルクスの弁証法を意味することがほとんどである。
エンゲルスは『自然弁証法』において、唯物論的弁証法の具体的な原則を3つ取り上げた。
1.「量から質への転化、ないしその逆の転化」
1は、量の漸次的な動きが質の変化をもたらすということをいっており、エンゲルスは例えば、分子とそれが構成する物体ではそもそもの質が異なることを述べた。
(引用終り)
以上
833:ID:1lEWVa2s
21/01/09 16:29:43.18 VoHqjktP.net
>>762
黙ることも覚えないと情報抜かれるよ。そういう時代が来る。
834:１３２人目の素数さん
21/01/09 16:52:50.47 HHxCVg3C.net
>>760
説明になってないね
具体的には”re-initialization”がconsistentだという証拠が全くない
それじゃ誰も説得できない
835:１３２人目の素数さん
21/01/09 16:58:01.96 HHxCVg3C.net
>>762
>もう時代が変わってしまったんだよね
>現代数学の質と量と、20世紀後半から21世紀の数学とそれ以前とでは
雑談氏は19世紀の数学（ガロア理論、関数の連続性、群準同型、正則写像等）すら
理解できてないので、20世紀なんて関係ないですね
>エンゲルスの『自然弁証法』「量から質への転化」の一例かも知れないね
さすがボルシェビキ！ そんな口から出まかせの嘘、真に受けてるんですね
836:１３２人目の素数さん
21/01/09 17:03:48.47 HHxCVg3C.net
「ボルシェビキ」雑談氏の引用>>762より
＞エンゲルスは『自然弁証法』において、
＞唯物論的弁証法の具体的な原則を3つ取り上げた。
＞１．「量から質への転化、ないしその逆の転化」
＞２．「対立物の相互浸透（統一）」
＞３．「否定の否定」
ちょっと何言ってんのかわからないｗ
論理学とは無関係のホラなので、数学では一切用いませんね
＞エンゲルスは、ヘーゲルの弁証法の正当性は
＞「細胞」「エネルギー転化」「ダーウィンの進化論」
＞の3つの自然科学的発見によって裏付けられたと考えた。
エンゲルスって・・・ヤバい人ですねｗ
837:１３２人目の素数さん
21/01/09 17:09:26.96 HHxCVg3C.net
マルクスは有意義な指摘をいくつもおこなっているが残念な発言も多々ある
国家を存続し党による権力の行使を正当化したのは最大の誤りであるが
ヘーゲルの弁証法とかいうホラを真顔で語ってたのも残念な点である
正常な理性を有している人なら、ヘーゲルとかいう
「１９世紀ドイツのアリストテレス」のいうことを
真に受けたりしないものである
（注：ここではアリストテレスというのは「利口ぶった馬鹿」の意味である）
838:１３２人目の素数さん
21/01/09 17:12:11.97 HHxCVg3C.net
マルクスのいう「搾取」は、実際の経済活動によって実証されるべきものであって
「弁証法」とかいう虚偽のレトリックで正当化すべきものではない
839:１３２人目の素数さん
21/01/09 17:18:24.18 HHxCVg3C.net
「量から質への転化」という言葉は、劇的変化を想定している点でしばしば誤っている
例えば、放射能のリスクは、明確な閾値で区別できるようなものではない
むしろファジイな変化といったほうがいい
砂山のパラドックス
URLﾘﾝｸ(ja.wikipedia.org)
840:呑んだ暮れ
21/01/09 17:59:43.63 dQZ4NSub.net
本当にエンゲルスがヤバいのか
スレ主の高括り方がヤバいのか
841:１３２人目の素数さん
21/01/09 18:15:15.38 HHxCVg3C.net
>>770
エンゲルスは科学者でもなんでもないからなあ
842:現代数学の系譜 雑談
21/01/09 19:06:06.21 PlFYF+BI.net
>>763
ID:1lEWVa2sさん、ありがとう
お元気そうでなによりです
＞黙ることも覚えないと情報抜かれるよ。そういう時代が来る。
まあ、もう来ているかもね
だが、抜かれて困る情報は、あまりない
５ｃｈ浪人をクレジットで落としているが、クレジット口座は別に分けているので、
もし被害が出ても金額は限定されるようにしているんだ
まあ、いまどき、ハッキングとか事故とかで、情報漏洩は結構聞くのは確かだが
843:現代数学の系譜 雑談
21/01/09 19:11:07.08 PlFYF+BI.net
>>764
>説明になってないね
>具体的には”re-initialization”がconsistentだという証拠が全くない
>それじゃ誰も説得できない
・「誰も」に反例があるよ。DupuyとJoshi氏は、納得している
・数学では証拠はいらない。IUT Cor3.12（その元のCor3.11も）に証明はある。証明が一般の証拠に同じ役割をするよ
・説明はあくまで補足説明（補助）だよ、数学ではね、知らなかったのか？ｗｗ
844:現代数学の系譜 雑談
21/01/09 19:16:16.71 PlFYF+BI.net
>>766
(引用開始)
＞エンゲルスは『自然弁証法』において、
＞唯物論的弁証法の具体的な原則を3つ取り上げた＝B
＞１．＝u量から質への涛]化、ないしそｂﾌ逆の転化」
＞２．「対立物の相互浸透（統一）」
＞３．「否定の否定」
ちょっと何言ってんのかわからないｗ
(引用終り)
まあ、ワカランだろうな。数学じゃ無いし
唯物弁証法のベースになった哲学だからね
＞エンゲルスって・・・ヤバい人ですねｗ
ああ、マルクスの友達だった
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
フリードリヒ・エンゲルス（Friedrich Engels、1820年11月28日 - 1895年8月5日）は、ドイツの社会思想家、政治思想家、ジャーナリスト、実業家、共産主義者、軍事評論家、革命家、国際的な労働運動の指導者。
盟友であるカール・マルクスと協力して科学的社会主義の世界観を構築し、労働者階級の歴史的使命を明らかに
845:した。マルクスを公私にわたり支え、世界の労働運動、革命運動、共産主義運動の発展に指導的な役割を果たした。
846:現代数学の系譜 雑談
21/01/09 19:39:33.75 PlFYF+BI.net
>>762
>（まあ、エクセルとか数式処理ソフト使えって時代ですよね。群論だって、計算ソフトあるでしょ？ 楕円関数も同じだ。手計算ベースの本は古いと思うなｗ）
>
>時代錯誤じゃね？
>オチコボレさんは？ｗ（＾＾；
ガウスは、レムニスケートの弧長の楕円積分計算にπが出てくることから、楕円関数論を発見した（出版はされなかったが、彼が20歳になる前）
維新さんは、50歳すぎのおっさんで、梅村楕円関数論を必死に読む。20歳前に独力で楕円関数論を構想した天才と、オチコボレを比較するのも酷だが
いまでも、東大京大クラスにはいるだろうがね
(参考)
URLﾘﾝｸ(www.oishi.info.waseda.ac.jp)
完全楕円積分とガウス・ルジャンドル法によるπの計算 寒川光 平成29年4月14日
P2
スーパーコンピュータの検収（新たに開発された情報システムが仕様通りに稼動することを検査するこ
と，inspection）に π の超高精度計算が用いられることがある [1, p. 1228]．そのアルゴリズムがガウス・
ルジャンドル法であることが多い．「ガウスの公式」と呼ばれるこの方法を，1799 年にガウスが発見した
とき，「この事実の証明は必ず解析学の全く新しい分野を開くであろう」と 5 月 30 日付けで日記に記して
いる [2, p. 35]1．論文の形でこの公式の証明が現れるのは，計算機を使用して π の高精度計算を競う時代
を迎える 1976 年で，E. Salamin と R. Brent によって独立に発表された．証明は，完全楕円積分の第 1
種と第 2 種の公式に，ルジャンドルの関係式を連立させることで，π を未知数に回してなされた．
本資料でははじめに，算術幾何平均とガウスの公式を（証明なしで）紹介する2．2 章で，完全楕円積分
を，大学初年度の数学知識で理解できるように説明し，その歴史を顧みる．3 章で完全楕円積分第 1 種を
算術幾何平均法で数値解求める方法と，第 2 種と第 1 種の関係式を解説する．4 章でルジャンドルの関係
式を示す．5 章でガウス・ルジャンドル法の証明を示す．
公式をガウスが発見したとき，ガウスはレムニスケート曲線の弧長を計算していた．付録に，レムニスケート曲線とその作画方法を紹介し，楕円積分とその逆関数である楕円関数の生まれた時代の紹介を高木先生の著書から引用する．
つづく
847:現代数学の系譜 雑談
21/01/09 19:40:44.89 PlFYF+BI.net
>>775
つづき
P8
2.4 楕円積分と楕円関数小史
ガウスは 1799 年 5 月 30 日に（本稿の冒頭に紹介した）日記に書いた翌年 5 月 6 日，一般楕円関数を発
見し，6 月にはモジュラー関数を発見（少なくともその端緒を確実に把握するに至った）．ガウスはこれ
らの発見に関して，生前に発表するところなくして終わった．ガウスは，第 1 部「超幾何級数」，第 2 部
「算術幾何平均およびモジュラー関数」，第 3 部「楕円関数」を総括する大著述を計画していた．これは，
ガウス全集の再版の編纂者であるシュレジンガーの想像である．アーベルの楕円関数論が Crelle 誌で発表
された後に，ガウスがベッセルに書いた手紙の中に，上記著述の 3 分の 1 ほどは不用に帰したと言ってい
る [5]．
各時代の数学研究を代表する数学者たちはたいていみな楕円関数論の形成に貢献した．ここでは，高瀬
正仁の論文に従って，4 つの時代に分けて楕円関数論をヨーロッパ近