20/05/05 14:46:32 e88TWnia.net
なんか分離閉包の話がしたいみたいだから教えておいてあげると、
ここのスレ主が読んだというノイキルヒ本
「代数的整数論（ノイキルヒ，Ｊ．【著】/足立 恒雄【監修】/梅垣 敦紀【訳】）」
にはちゃんと載っているよ
まさに無限次Galois理論の導入部で、絶対Galois群が定義されている
俺の手元にある版（初版2刷）だと、
P. 269, 第?章 一般類体論, §1. 無限次Galois理論
に書かれている
101:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 14:53:42 dnbV/fKk.net
>>91
ありがとう
ここのスレ主が読んだというノイキルヒ本
↓
ここのスレ主が持っているというノイキルヒ本
ですね
確かに載っているね（＾＾
だが、知りたいのは
2020年の数学科の学部で、分離閉包とか絶対Galois群とかを、どこまで教えるのか？ ってことなんだけど
調べた限りでは、普通は 分離閉包とか絶対Galois群とかは、学部の範囲外じゃね？（＾＾；
102:１３２人目の素数さん
20/05/05 15:10:24 B4L1lDg4.net
>>83
印度からロシアにかけての一帯は数学に強い人間が多い。
クルド人数学者がいてもおどろきはない。
問題は黒人だ。黒人って数学者とか理系技術者とかほとんどいないイメージ。
103:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:16:55 dnbV/fKk.net
>>93
悪いけど
話が黒人うんぬんまで行くと、さすがにスレチでしょ
別スレでやってよ（＾＾；
104:１３２人目の素数さん
20/05/05 15:23:31 zuve741i.net
>>79の質問の答えがかえってきませんが
pervertの意味がわかったみたいですね
pervertとは
主な意味
曲解する、(…を)誤用する、悪用する、邪道に導く、邪教に誘う、誤らせる
動詞 他動詞
1〈言葉などを〉曲解する.
2〈…を〉誤用する，悪用する.
3a〈人を〉邪道に導く，邪教に誘う.
b〈判断などを〉誤らせる.
名詞 可算名詞
1邪道に陥った人; 背教者.
2変質者; 性欲倒錯者.
これは人から聞いた話ですが
ある人が数学雑誌の記事を読んで
「この記事は間違ってる！」
と数年間延々と主張しているそうです
その人がいうには
大学の数学科の講義を受けた人なら
間違ってることがわかるそうです
ただその人は数学科の出身ではないとのことですが
その話を教えてくれた人に 実際どうなのか尋ねたら
集合論のある公理がわかる人なら記事の正しさがわかる
間違ってると思うのは集合論のある公理が分かってないんだろう
といっていました
pervertの意味を知って、上記の人を思い出しました
105:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:28:54 dnbV/fKk.net
>>95
ご苦労さん
ここはIUT応援スレです
あなたの巣は、あちらですよｗ（＾＾；
みなさん、帰りを待ちわびていますよｗｗ
Inter-universal geometry と ABC予想 否定派2
ｽﾚﾘﾝｸ(math板)
106:1-
107:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:33:59 dnbV/fKk.net
本スレから
下記、ある程度専門知識を求めるのは、現代数学では当然では？
遠アーベルの知識の無い人が、「IUT読めない」とか言っても、「それ当たり前」としか言えないでしょ？（＾＾；
Inter-universal geometry と ABC予想 51
ｽﾚﾘﾝｸ(math板:944番)
944 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 15:07:18.77 ID:21NAviIx [6/6]
Woitは
「一方の側（Scholze-Stix）は純粋に数学的な議論をしているが、
もう一方の側（望月-Fesenko）は自分に反対する人の力量について異常なまでに公的な議論をしている。
この非対称性の存在は、どちらの側が数学的に正しいかの証拠である�
108:B」 といっているが、大方の人はだいたいこんな印象をもっていると思う
109:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:38:12 dnbV/fKk.net
本スレから
下記、機械検証をやるのは、みんな自由だし、例えば欧州数学会が、機械検証やって、「IUTアウト！」もありじゃない？
そしたら、RIMS側は、その機械検証の検証をやることになりますよね
決着早くなるから、大賛成ですよｗ（＾＾；
Inter-universal geometry と ABC予想 51
ｽﾚﾘﾝｸ(math板:932番)-938
932 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 14:33:36.01 ID:B4L1lDg4 [7/7]
擁護派って、もうだいぶ前から、数学的真理の擁護じゃなくて
望月とRIMSの強弁をいかに擁護するかの「弁護士の論理（小保方の論理）」になってるよね。
だから、たとえば3.12だけでも「機械検証ができないか」って水を向けられたら、
機械検証からいかに逃れるかの理屈が返って来るｗ
もはや数学的真理などどうでもいのだろう。
938 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 14:53:12.59 ID:zuve741i [3/3]
>>932
＞「機械検証ができないか」
It's a great idea!
どれだけ時間がかかるかわかりませんが
是非実施すべきでしょう
拒む理由は全くありません
110:１３２人目の素数さん
20/05/05 15:41:21 XdFD5D+4.net
Stixが遠アーベルの知識がない人扱いはさすがに無理があるだろ
111:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 15:56:46 dnbV/fKk.net
>>99
１．Stix氏 とショルツ氏とは、分けた方が良いのでは？
２．ショルツ氏が、Stix氏と一緒に議論したいというならともかく、いまの展開は一人で論陣を張っているし
３．IUTが正しいとして、Stix氏 とショルツ氏とが、同時に了解納得しない可能性もある
４．どちらが先でも良いけど、遠アーベルの距離位相を入れると、 Stix氏 ＞ ショルツ氏 だから、Stix氏の方が早く納得する可能性大でしょ
（現実にそういう兆候がある。Stix氏は沈黙している。多分、もう一度IUTをチェックしていると思うよ。なにせ、玉川先生が太鼓判を押したのだからね（＾＾； ）
112:IUT応援団 入団希望者
20/05/05 16:01:03 zuve741i.net
押忍！
私はIUT応援団の入団を希望します！
日本人として というより 数学の発展を願って！
望月氏には、論理的に隙のない記述をお願いしたい！
理解者といわれる方々にも、同様の記述をお願いしたい！
ショルツ氏の指摘に対しても、論理的に隙のない反論をお願いしたい！
それが応援として正しいあり方だと思います！
なんか不透明な経緯で論文が受理とか掲載とかいうのは
かえってIUTの足を引っ張ってるんじゃないかと思います！
フレーーー フレーーー モ・チ・ヅ・キ！
フレ フレ モチヅキ！ フレ フレ モチヅキ！
P.S.
ところで、話は変わりますが
望月氏のHPのデザインがぶっちゃけどうしようもなくダサいです！！！
誰か他の人に頼んだほうがいいんじゃないでしょうか？
少なくとも素人うけは全然違いますよ
113:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 16:06:45 dnbV/fKk.net
>>101
お茶目な維新さんだねぇ～！ｗ（＾＾；
応援いらねーｗ
テンプレ>>3に
新一の「心の一票」 - 楽天ブログ URLﾘﾝｸ(plaza.rakuten.co.jp)
をアップしてあるだろ？
その応援メッセージ自分で書いてこいよｗ（＾＾；
114:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 16:09:14 dnbV/fKk.net
テンプレ>>2に あるように
”おサル＝サイコパスのピエロ（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo!
115: ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日” 応援団だぁ～？ そんな言葉を信じたら、対サイコパス対策としては、大失敗ですよｗ（＾＾；
116:１３２人目の素数さん
20/05/05 16:26:36 e88TWnia.net
>>92
分離閉包くらいなら学部レベルの体論（ガロア理論）で教える（少なくとも触れるくらいはする）のが標準的だと思う
【例】名城大学
URLﾘﾝｸ(www2.meijo-u.ac.jp)
>2020 年度 後期
>代数学 6 ..... 数学科 3 年 (火曜 3 時限).
>講義 note (最新版) (PDF).
絶対Galois群を学部でやるのは標準的ではないかもね
数論系のセミナーならやってもおかしくはないと思うけど
117:１３２人目の素数さん
20/05/05 16:51:28 jpeHPKcv.net
お維新によるお維新のためのIUT応援
落書きスレ
118:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 16:52:02 dnbV/fKk.net
>>104
どうも
コメントありがとう
見ました
ですが、その名城大学の例は、有限次元の拡大に止まっています
それだと、いまの ノイキルヒの代数的整数論とか、遠アーベルとか、IUTに繋がってこない気がするな（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
代数的閉包
分離閉包
K の代数的閉包 Kalg は、K の Kalg におけるすべての（代数的）分離拡大 を含むような K の唯一の分離拡大 Ksep を含む。この部分拡大は K の分離閉包（separable closure）と呼ばれる。
分離拡大の分離拡大は再び分離拡大であるので、Ksep の2次以上の有限次分離拡大は存在しない。別の言い方をすれば、K は「分離的に閉じている」代数拡大体に含まれている。これは（同型を除いて）本質的にただひとつである[5]。
一般に、K の絶対ガロワ群（英語版）は Ksep の K 上のガロワ群である[6]。
URLﾘﾝｸ(en.wikipedia.org)
Absolute Galois group
In mathematics, the absolute Galois group GK of a field K is the Galois group of Ksep over K, where Ksep is a separable closure of K. Alternatively it is the group of all automorphisms of the algebraic closure of K that fix K. The absolute Galois group is well-defined up to inner automorphism. It is a profinite group.
(When K is a perfect field, Ksep is the same as an algebraic closure Kalg of K. This holds e.g. for K of characteristic zero, or K a finite field.)
URLﾘﾝｸ(ja.wikipedia.org)
射有限群
数学において射有限群（英語: pro-finite group）あるいは副有限群は、有限群の射影系の極限になっているような位相群である。ガロア群やp-進整数を係数とする代数群など、数論的に興味深い様々な群が射有限群の構造を持つ。
射有限群は完全不連結でコンパクトなハウスドルフ位相群として定義される。同値な定義として、離散有限群の成す射影系（逆系）の射影極限（逆極限）として得られる位相群に同型であるような群を射有限群と定めるいうこともできる。
目次
1 例
2 性質および事実
3 射有限完備化
4 入射有限群
119:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 16:54:06 dnbV/fKk.net
>>105
>お維新によるお維新のためのIUT応援
いいんじゃね？ おサルの勝手でしょｗ（＾＾；
放し飼いでｗｗ
>落書きスレ
5chなんて、どこも似たようなものですよ（＾＾
120:IUT応援団 入団希望者
20/05/05 17:00:40 zuve741i.net
押忍！
維新？ダサいですね
カッコイイのは・・・革命！
望月氏のブログ もちろん拝見してますが
文章はともかく、デザインが壊滅的にダサい・・・
団長はこんなデザインで世間に支持されると本気で思ってますか？
中身が良ければ外見なんて・・・というのは間違ってます
見た目をよくして初めて中身に注目される それが現実ですよ
P.S.
私が団員になりましたら、綱紀粛正のため
非数学的なこという"pervert"は
容赦なく退団させたいと思います
応援団として百害あって一利なし、ですから
121:１３２人目の素数さん
20/05/05 17:38:47 n4ocWG4O.net
>>93
中世で世界最先端の数学だったのはイスラム世界だからね
医学も世界最先端はイスラム世界でイスラム医学書は19世紀になってもオックスフォード大学の教科書だった
イスラム圏 ＝ 先進国
西欧 ＝ 発展途上国
だった事実は常識だからね
そもそも数字自体が「アラビア数字」が世界標準
これだけでも分かるよな
122:１３２人目の素数さん
20/05/05 17:44:52 qGIxHvpU.net
イスラムは東ローマ帝国を潰して
地理学
歴史学
数学
天文学
を盗んだ
123:１３２人目の素数さん
20/05/05 17:50:53.82 3I7cXK8P.net
～ローマ帝国は
プトレマイオス朝エジプトから～
バビロニアまで遡りますか？
124:１３２人目の素数さん
20/05/05 17:53:50.97 e88TWnia.net
>>106
>ですが、その名城大学の例は、有限次元の拡大に止まっています
>それだと、いまの ノイキルヒの代数的整数論とか、遠アーベルとか、IUTに繋がってこない気がするな（＾＾；
それはそうだろう
だからこそ、ノイキルヒの代数的整数論では懇切丁寧に解説されているわけだし
名城大学の例は、分離閉包の概念くらいは学部レベルでも常識って話
125:現代数学の系譜 雑談
20/05/05 17:55:47.46 dnbV/fKk.net
>>109-111
そういう話も面白いが
それは、数学史スレでも立てたらどう？（＾＾
126:
20/05/05 17:56:33.88 aT8UfUVv.net
>>109
イスラムというよりペルシャ文化という気がします
アラブ人→ペルシャ人vsトルコ人、という時代の流れを感じます
127:現代数学の系譜 雑談
20/05/05 18:05:44.58 dnbV/fKk.net
>>112
同意ですよ
同じことを言っていると思うけど
IUTを 9000ｍ級の山（例えばK2）に例えると
IUT 9000ｍ級 ＞ 遠アーベル 7000ｍ級＊ ＞ ノイキルヒ－内田 5000ｍ級 ＞ 数学修士 3000ｍ級 ＞ 学部1500ｍ級
＊）IUT登山口
ノイキルヒの代数的整数論（を読みこなす）が、学部1500ｍ級 ～ ノイキルヒ－内田 5000ｍ級まで到達
で、IUT がどうのこうのというためには、せめて 遠アーベル 7000ｍ級まで達していないといけない
ショルツ氏が、遠アーベル 7000ｍを超えて、8000ｍとか8500ｍとかじゃないかな？
そこで道に迷ったらしい（＾＾；
一方、Woitとかザコは、せいぜい ノイキルヒ－内田 5000ｍ級で
IUTを論じるには、ぜんぜん足りないんだろうね
おれ？
500～1000ｍ級
関東なら高尾山くらいは登れるだろう（＾＾；
128:現代数学の系譜 雑談
20/05/05 18:08:17.49 dnbV/fKk.net
>>114
C++さん、どうも
レスありがとう
お元気そうで
なによりです（＾＾；
C++さんのご健勝をお祈りします！（＾＾
129:IUT応援団 団員
20/05/05 18:19:05.18 zuve741i.net
>>107
>いいんじゃね？
>勝手でしょ
>放し飼いで
では、入部ということで
押忍！
>>115
>おれ？
>500～1000ｍ級
>関東なら高尾山くらいは登れるだろう
失礼ながら、団長の実力では、天保山(4.53m)がいいところかと
ちなみに前述のPervertは、死海沿岸(-430m)あたりかと
130:１３２人目の素数さん
20/05/05 18:24:34.23 jpeHPKcv.net
>IUTを 9000ｍ級の山（例えばK2）に
例えると
↑
ほんと�
131:ﾏ想の山だな
132:１３２人目の素数さん
20/05/05 18:39:23.45 rI5pU1O5.net
>>1 この応援スレは、
Cor3.12の全てを証明できてない人でも、分かる範囲でギャップを感じないが問題なさそうで応援する、
自分の分からない範囲は「成立するかわからない」で保留する、の条件付きの応援で良いのだよね。
前スレにあるように、
＞Cor3.12は、Theorem 3.11までのIUT幾何（モデル理論をパーツから構築する）と、
＞その前のIUT I~Ⅲでの遠アーベルなどの定理/定義の積み上げる構成、を含むことが分る。
＞これら全ての証明は、原論文が膨大で、長文のサーベイを書く積りがなければ、非現実的だろ~ｗ
>Cor3.12の証明は、単独の者がする必要はなく、類体論の者がモデル理論にフォーカスし、
>それより前は、遠アーベルが分かる者がフォーカスしても、良いと思うが。
>知識の体系は、それぞれの者が自分の専門で分かる範囲を確認し、それが繋がっても成立する。
であれば、
それそれのレベルで分るレベルや範囲が違うけれども、
それぞれの者が「自分の専門や分かる範囲」で確認し、それらが繋がっても成立する可能性について、
「自分の分からない範囲でギャップが出なければ」の条件付きで、応援している者ばかりと思いますが。
そうと感じておりますが、一応のご確認まで。
133:１３２人目の素数さん
20/05/05 18:47:35.05 jpeHPKcv.net
まったくあたらしい数学IUTは
黒を白というお維新の弁護士ディベート
なんだよ
134:１３２人目の素数さん
20/05/05 18:50:24.85 EIT0I70t.net
この人がミスター維新て奴ですか
135:１３２人目の素数さん
20/05/05 19:08:46 jpeHPKcv.net
>IUTを 9000ｍ級の山（例えばK2）に
例えると
136:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:11:58 dnbV/fKk.net
>>121
>この人がミスター維新て奴ですか
お答えします（＾＾
ミスター維新は、>>117
IUT応援団 団員 ID:zuve741iさんです
下記の展開で
銀河鉄道級の脱線やでw
↓
脱線ついでに
維新の支持者ですか？
↓
大阪弁でしゃべってきたのでそういってみました
大した意味はありません
の展開になり、突然”維新の支持者ですか？”に、みんなが揚げ足取り（勇み足？）で
受けたことから、「ミスター維新」と呼ばれるようになりました
（私の呼び方は、旧知の”おサル”（>>2）も、多用しますです、はい （＾＾； ）
（参考）
前 Inter-universal geometry と ABC予想 (応援スレ) 44
ｽﾚﾘﾝｸ(math板:796番)
791 名前：１３２人目の素数さん[] 投稿日：2020/05/03(日) 17:37:23.11 ID:9jUO25pO [15/20]
>>789
銀河鉄道級の脱線やでw
796 名前：１３２人目の素数さん[sage] 投稿日：2020/05/03(日) 17:39:24.09 ID:vVCZgnBw [63/109]
>>791
脱線ついでに
維新の支持者ですか？
862 名前：１３２人目の素数さん[sage] 投稿日：2020/05/03(日) 21:00:36.16 ID:vVCZgnBw [88/109]
>>860
大阪弁でしゃべってきたのでそういってみました
大した意味はありません
137:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:17:53 dnbV/fKk.net
>>120
どうも
レスありがとう
>まったくあたらしい数学IUTは
>黒を白というお維新の弁護士ディベート
>なんだよ
逆ですね
数学IUTはシロだと思っています
ところが、誹謗中傷で、IUTはクロという人がいる
そこで、応援団として「フレ～ フレ～ IUT～！ 」とエールを送っています（＾＾
理不尽な、事実無根の根拠レスの非難は叩きます！
残念ながら、私は 数学は非力なので、数学的の擁護はできませんので 悪しからず（＾＾；
138:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:25:47 dnbV/fKk.net
>>119
どうも
コメントありがとう
>Cor3.12の全てを証明できてない人でも、分かる範囲でギャップを感じないが問題なさそうで応援する、
>自分の分からない範囲は「成立するかわからない」で保留する、の条件付きの応援で良いのだよね。
いいです。当然です。Cor3.12なんて、分かる人世界で20人とか言われます
海外の一流数学者でも「分からない」という人多数ですし
>それぞれの者が「自分の専門や分かる範囲」で確認し、それらが繋がっても成立する可能性について、
>「自分の分からない範囲でギャップが出なければ」の条件付きで、応援している者ばかりと思いますが。
>そうと感じておりますが、一応のご確認まで。
いいですよ
私などは、IUTの数学の部分は、さっぱりです
が、IUTの数学の外、つまり、「RIMSの記者会見が、STAP類似（のゴマカシ）だ」などという
根拠不明の 誹謗中傷は叩きます！！（＾＾；
139:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:33:29 dnbV/fKk.net
>>123 補足
ちょっと補足しておきますと
”862 名前：１３２人目の素数さん[sage] 投稿日：2020/05/03(日) 21:00:36.16 ID:vVCZgnBw [88/109]”
の 88/109 で、”109”が 彼がこの日 一日でスレに投稿した数です
つまり、109もの投稿をしたのですね 一日でね
それを、揶揄している意味もあるのです（モチ 書いている内容がシラケルこともありますが）、”ミスター維新”と名付けて 笑う対象にしているのですｗ（＾＾；
140:IUT応援団 団員
20/05/05 19:36:43 zuve741i.net
>>123
私？維新じゃなく革命を望む熱い魂の持主ですよ
URLﾘﾝｸ(www.youtube.com)
なんでこの動画なのか？ま、いいじゃないですか
>>124
私、IUT応援団員として、IUTの機械検証実現を推進したいですね
まさか団長、IUTの機械検証に自信がないなんていわないですよね？
ちなみに団長は群論の初歩も怪しいとのことなので、
数学で突っ込むのはやめてあげてください_(_ _)_
>>119
IUT応援団はズブの素人でも入会可ですよ
ただし数学的に間違った主張をするpervertはダメですよ
（pervertの意味は>>95を見てくださいね）
141:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 19:45:55 dnbV/fKk.net
>>127
ええ ええ ID:zuve741i 維新さん
本スレでも、下記の３つ投稿 が ありますね
ご苦労さまですｗ（＾＾；
Inter-universal geometry と ABC予想 51
ｽﾚﾘﾝｸ(math板)
871 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 10:28:14.02 ID:zuve741i [1/3]
>>834
I couldn't agree less
895 名前：Trilemma[] 投稿日：2020/05/05(火) 12:23:05.79 ID:zuve741i [2/3]
IUTに関する
・擁護（賛成)
・中立
・批判（反対)
の三つのシナリオは
938 名前：１３２人目の素数さん[] 投稿日：2020/05/05(火) 14:53:12.59 ID:zuve741i [3/3]
>>932
＞「機械検証ができないか」
It's a great idea!
142:IUT応援団 団員
20/05/05 19:47:52 zuve741i.net
>>126
団長！ ネットにはこんなのがあるんですよ 知らなかったんですか？
必死チェッカーもどき
URLﾘﾝｸ(hissi.org)
例えば数学板の5/3の投稿者を見ると
順位 ID レス数 スレッド数 使用した名前一覧
1 vVCZgnBw 120 2 １３２人目の素数さん
と出るんですね
ということで、106じゃなく120です
・・・クレイジーですね
時間別の書き込み数も分かりますよ
こういう文明の利器を最大限活用しましょう
ちなみに今日のランキングは
順位 ID レス数 スレッド数 使用した名前一覧
1 227hHAl/ 41 4 １３２人目の素数さん
2 dnbV/fKk 38 3 現代数学の系譜 雑談 ◆e.a0E5TtKE
団長！ 首位まであと一歩ですよ！
143:IUT応援団 団員
20/05/05 20:09:23 zuve741i.net
それにしても本スレが立ちませんね・・・いい加減飽きたんですかね？
ところで団長
ぶっちゃけ、整数論どこまで知ってるんですか？
例えば初等整数論は知ってるんですか？
・一次の不定方程式（ペル方程式・ディオファントス方程式）
・オイラーのφ関数
・原始根・指数
・算術の基本定理（素因数分解の一意性）
・中国の剰余定理
・フェルマーの小定理・フェルマーの大定理
・平方剰余・平方剰余の相互法則
・法・合同式とその解法
・ユークリッドの互除法
・ルジャンドル記号・ヤコビ記号
・連分数
144:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 21:07:06 dnbV/fKk.net
>>129-130
おサルさん
ご謙遜ですよ
あなたの狂気の連投
とてもとても
足下にも及びませんｗ
整数論？
私は殆ど興味ありません
微分方程式は良く使いましたね
145:IUT応援団 団員
20/05/05 21:13:13 zuve741i.net
>>131
>整数論？
>私は殆ど興味ありません
じゃ、なんでガロア理論なんて勉強しようと思ったんですか？
146:１３２人目の素数さん
20/05/05 21:19:32.16 kGB3j7wQ.net
聞いてもないのに立憲に投票したと答えたミスター維新がまた現れたのか。
147:現代数学の系譜 雑談
20/05/05 21:20:12.90 dnbV/fKk.net
>>131
整数論？ 女王？
胡散臭いよね
女王？なんて、イギリスの数学者、G・H・ハーディの英国女王崇拝の匂いがするな
私ら、女王があるなら、王は何ですかって、ツッコミ入れたくなるぜ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
『ある数学者の生涯と弁明』（あるすうがくしゃのしょうがいとべんめい、原題: A Mathematician's Apology）とは1940年にイギリスの数学者、G・H・ハーディによって書かれた随筆である。
この本の主要なテーマの一つは数学自身が持っている「美しさ」である。それをハーディは絵画や詩と比較している。
最も些細な数学というものは具体的に応用例のある数学のことを指しているのである。
これらの特徴づけはハーディによって定義された数学のある分野の根本的概念の独自性、深み、美しさによれば、実際の数学の分野に寄与するであろう。
これは「数学は科学の女王であり、数論は数学の女王である。」というカール・フリードリヒ・ガウスの言葉についてのハーディがしているコメントの中でも強調されている部分である。
ある人々はガウスにそのような事を言わしめたのは「数論の極端な非応用性」であると言うだろう。しかしながら、ハーディはこれは理由になっていないと指摘している。
「もしも数論が応用されている例を見出そうとするならば、その為に数論を『数学の女王』としての座から押しのける事は誰もしないであろう。
ガウスの意図したものは、数論を構成する基礎的概念は数学の他のどの分野と比較してもより深く、より優雅である」とハーディは言っている。
彼の純粋数学に関する信念は本の要約に次のようにまとめられている。
「純粋数学とは、すべての理想主義が基礎を成している石のようである。317は素数であるというのは我々がそのように思うからではなく、それが決まった形を成しているからである。数学の現実はそのように形作られているのである。」
URLﾘﾝｸ(okwave.jp)
何故,整数論は数学の女王なのでしょうか?
2007/07/05 22:25 matsui888
148:現代数学の系譜 雑談
20/05/05 21:23:22.50 dnbV/fKk.net
>>133
>聞いてもないのに立憲に投票したと答えたミスター維新がまた現れたのか。
同意です
まあ、おサルです（>>2）
いつものことでは、あります(>>2 サイコパスですから（＾＾； )
149:現代数学の系譜 雑談
20/05/05 21:38:28.56 dnbV/fKk.net
IUT応援といいますが、極めて常識的な考えと発言をすれば、それで十分なのです
（∵ アンチがむちゃくちゃ なのでｗ（＾＾； ）
１．査読終わりました。普通に終わりました。というよりも、いわくつきのIUTですから、念には念を入れて、丁寧に査読しました。問題なし
これをそのまま、受取れば良いのです。STAP類似だとか、トンデモ説に惑わされないことです
２．ショルツ先生は、遠アーベルの専門家ではありません。IUT論文を読むには、遠アーベルの知識と、望月先生の書かれたIUTの基礎論文があります（例えばグロタンディーク予想解決など）
ショルツ先生には、IUTを理解するための何かの知識が欠けていて、きっと自分流の解釈をしてしまって、「おかしい」と言っているのです。それ以外にこの対立を理解する道はありません
３．IUTを使った論文は出始めています。フェセンコ研での南出先生の強いIUTバージョン、Dupuy先生のところの Explicit Szpiro 論文、Joshi氏の”On Mochizuki’s idea of Anabelomorphy and its applications”
これらの論文が出て、IUTに対する説明も、多分記者会見の玉川先生なども手伝って、分り易い
150:説明文書が出てくることでしょう 上記の１～３を認めて 冷静に、RIMSの次の展開を待ちましょう 理不尽な言い掛かりは、叩きましょう～！（＾＾ それが、即ち応援になるのです（＾＾
151:IUT応援団 団員
20/05/05 21:48:58 zuve741i.net
>>134
＞整数論？ 女王？
＞胡散臭いよね
団長・・・お気は確かですか？
数論幾何は、整数論ですよ 御存知なかったんですか？
>>136
団長・・・ホントに応援してるんですか？
もしかして、ほんとはIUT褒め殺し団なんじゃないですか？
査読なんてどれだけ真剣にやったか分かんないですよ
どこかの国の首相の口癖の「しっかり」みたいなもんですから
ショルツにも他の数論幾何の研究者にも理解してもらわなくちゃ
応援の意味がないじゃないですか
南出氏とPodowskiの論文も出るかどうかわからないし
DupuyとHiladoの論文も望月の不等式使ってるだけだし
Joshiの論文は大したこといってなさそうだし
IUT自身の正当性を確立するよう応援することが第一でしょう
団長 やる気あるんですか？
整数論興味ないとか ホントは数学嫌いなんでしょ？
152:１３２人目の素数さん
20/05/05 22:51:25 ddqp20mm.net
Scholzeが正しいとしてだよ？
しかしScholzeはDupuyが何が解って居ないのかが解って居ないなら、この話はe-mail上でも堂々巡りだ
153:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 23:23:19 dnbV/fKk.net
>>138
どうも
コメントありがとう
>Scholzeが正しいとしてだよ？
その仮定には証明がないし、多分正しくないけど、ある程度の堂々巡りは避けられないと思う
>しかしScholzeはDupuyが何が解って居ないのかが解って居ないなら、この話はe-mail上でも堂々巡りだ
Dupuy氏は、ショルツ氏がなにが分かってないかを分かってそうだったが
ショルツ氏の思い込みが激しく、Woitブログでは分からせることはできなかったみたいだ
でも、なんどかやるうちに、ショルツ氏も誤りに気付くと思うよ
154:１３２人目の素数さん
20/05/05 23:27:02 wvtmzVA1.net
>>133
>「純粋数学とは、すべての理想主義が基礎を成している石のようである。
>317は素数であるというのは我々がそのように思うからではなく、
>それが決まった形を成しているからである。数学の現実はそのように形
>作られているのである。」
ようわからん翻訳やな。その前に、現代物理学が唯心論的哲学の枠組みに
あてはまるという人もいるって話があるでしょ。
こうなんじゃね？
「それに対して、純粋数学とは、あらゆる唯心論がその上では崩れ落ちて
しまう岩のように私には見えるのだ。317が素数であるというのは、我々が
そう思うからとか、我々の心がそう思うように形作られているからとかいう
理由によるのではなく、まさにそれが素数だからなのだ。数学的現実がその
ように構築されているからなのだ。」
155:１３２人目の素数さん
20/05/05 23:29:55 yucbsEfn.net
シカゴ大学のイシャン・バナージさんからIUTの簡単な概要(オーバービュー)動画が上がりましたね
URLﾘﾝｸ(youtu.be)
156:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/05 23:30:41 dnbV/fKk.net
>>139
補足
概念の革命的飛躍があるとき、旧来の概念に縛られている人、あるいは旧来の概念が深く染みついている人ほど
新しい概念に入っていけないものです
物理だが
ガリレオの地動説とか、地球が球形だとか
アインシュタインのニュートンの絶対空間の否定とか
あるいは、宇宙膨張説（物理は観測事実があるから、みんな納得するが、観測事実無しで、”宇宙が膨張している”というと、「何を言っているんだ？」でしょう）
「ビッグバン宇宙論」も、最初は殆ど相手にされなかった
数学でもある
虚数 ｉ は、長い間まま子扱いだった
ショルツ先生は、従来の数学を深く理解し過ぎていて
ＩＵＴに入れないのではないか？（＾＾；
157:１３２人目の素数さん
20/05/05 23:38:24.36 wvtmzVA1.net
>>140
いけね。原文引用するの忘れてたわ。
>Pure mathematics, on the other hand, seems to me a rock on which all idealism >founders: 317 is a prime, not because we think so, or because our minds are
>shaped in one way rather than another, but because it is, because mathematical >reality is built that way.
"founder"に「基礎を置く」なんていう意味はないみたいよ。沈むとか、崩れるとか、
破綻するって意味なんだが。
158:１３２人目の素数さん
20/05/05 23:41:11.60 wvtmzVA1.net
>>143
あ、>>140は>>134へのレスね。アンカー間違えてた。
rockは岩というより岩盤のほうがいいな。
159:現代数学の系譜 雑談
20/05/05 23:41:26.53 dnbV/fKk.net
>>141
投稿ありがとう
見ました
その次に、下記が出てきたね
ＩＵＴの初期の投稿みたいだね
こちらも面白いな
余談だが、玉川先生に
ＩＵＴのＣｏｒ3.12の講義を１時間ずつ３回くらいに分けてやってもらって
Youtubeに上げるってのどうかな？ プロ数学者向けで（＾＾
（参考）
URLﾘﾝｸ(www.youtube.com)
abc Conjecture - Numberphile
1,371,634 回視聴?2012/10/12
Numberphile
チャンネル登録者数 331万人
The abc Conjecture may have been proven by a Japanese mathematician - but what is it?
More links & stuff in full description below ↓↓↓
Feeling brave and want to read the papers by Shinichi Mochizuki - URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) (scroll to the bottom)
160:現代数学の系譜 雑談
20/05/05 23:43:33.51 dnbV/fKk.net
>>143-144
まじレスありがとう
まあ、半分茶化しでね
「数論や整数論が女王なら、王様はなんだ？」という 掛け合い漫才が落ちなだったのですがｗ（＾＾；
161:１３２人目の素数さん
20/05/05 23:48:05.80 ddqp20mm.net
>>139
Stixが表に出て来ないのは、Dupuyの論旨の一つ一つコミュニケーションすると
堂々巡りにならない可能性があるからだ
つまり…
162:１３２人目の素数さん
20/05/05 23:59:38.22 3I7cXK8P.net
『Founder』
「起業家・創業者・創設者」
が一般的かと
─全てのidealismの基礎(いしずえ)となる─
くらいの邦訳がありがちなんでしょうか…？
163:１３２人目の素数さん
20/05/06 00:22:45.14 c2oCxjMR.net
「純粋数学とは
全ての理想主義の礎のよう」
とかなんでしょうか…
164:現代数学の系譜 雑談
20/05/06 08:02:29.76 /JY71bka.net
>>149
どうも
コメントありがとう
いまどき、「純粋数学」という言葉が流行らないかも
例えば、20世紀の半ばに出てきた圏論
当時は、抽象数学の代表だったかも知れないが
いまや、コンピュータプログラミングに応用されています
（物理でも使われるとか）
リーマン予想が、物理のガウス型ユニタリ・アンサンブル（GUE）にしたがうランダム行列の固有値の間隔の分布と関係しているとか
純粋数学と考えられてたものが、時代が進むと 実は 応用できるということが、沢山あります
楕円曲線の理論が、ITの暗号理論に使えるとかも
なので、最近は 「純粋数学」と強調する人が 少なくなっていますね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
モンゴメリー・オドリズコ予想
モンゴメリー・オドリズコ予想[注 1] (英語: Montgomery-Odlyzko law)とは、リーマンゼータ関数の自
165:明でない零点の間隔の分布は、ガウス型ユニタリ・アンサンブル（GUE）にしたがうランダム行列の固有値の間隔の分布と統計的に同一であるとする予想。 ヒュー・モンゴメリーはプリンストン大学でのお茶の時間にフリーマン・ダイソンと出会い、零点のペアに関する相関を表す式が原子核のエネルギー準位モデルであるランダム行列理論(RMT)の式と酷似していると知ってランダム行列との関連を研究しはじめた。[4] 1973年、モンゴメリーはゼータ関数の非自明な零点のペアに関する相関がGUE型のランダム行列の固有値のペアに関する相関と等しいとする論文[5] を発表した。これを読んだオドリズコは、ゼータ関数の零点の間隔分布について大規模な数値計算を行い、ランダム行列の固有値の間隔の分布とほぼ一致することを1987年の論文[6] で示した。[7]
166:１３２人目の素数さん
20/05/06 08:18:38.61 c2quGkDW.net
Edward Frenkel
@edfrenkel
返信先
@ math jinさん
Please stop. Otherwise,
I will block you. Thanks.
午後1:07 · 2018年1月26日·
167:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 08:39:20 /JY71bka.net
>>147
>Stixが表に出て来ないのは、Dupuyの論旨の一つ一つコミュニケーションすると
>堂々巡りにならない可能性があるからだ
>つまり…
[SS2018-05]（SSの主張）
↓
[Cmt2018-05] （望月の反論）
↓
[SS2018-08] （SSの再主張）
↓
[Cmt2018-08] （望月の反論）
↓
ショルツ氏フィールズ賞受賞 2018-08月
フィールズ賞を取ったショルツ氏は、IUTなどどうでも良くなって（あるいはそれどころではなくなって）
一方、Stix氏も同じで、IUTなどどうでも良くなって（あるいは同上）
放置していたところ、2020年4月のRIMS会見でびっくり（Stix氏は情報が入っていた可能性がある。IUT本スレでリークがあったし）
Stix氏の方が、玉川先生のことを 遠アーベルの専門家としてよく知っているので、RIMS会見の重みはよく分かっているはず
多分、いまIUTの最新版をもう一度チェックしているのではないかと推察します
168:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 08:50:27 /JY71bka.net
>>151
それ意味分からない
いま、数論の大きなグループで、遠アーベルとラングランズ・プログラムがある
Edward Frenkelは、ラングランズの研究者でしょ？
Scholze, Peter (2013), “The Local Langlands Correspondence for GL(n) over p-adic fields”（下記）もそう
ということは、遠アーベルの素人といったら語弊があるかもしれないが、疎い人でしょ
つまり、Edward Frenkelなんて、無視で良いと思うけど
具体的にIUTに何か発言したわけでは、ないから
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
遠アーベル幾何学
URLﾘﾝｸ(ja.wikipedia.org)
ラングランズ・プログラム
ラングランズ・プログラム（英: Langlands program）は、代数的整数論におけるガロア群の理論を、局所体およびそのアデール上で定義された代数群の表現論および保型形式論に結び付ける非常に広汎かつ有力な予想網である。同プログラムは Langlands (1967, 1970) により提唱された。
目次
1 問題の背景
2 対象
3 ラングランズ予想
3.1 相互律
3.1.1 保型形式論
3.2 函手性
3.2.1 一般化された函手性
3.3 幾何学的ラングランズ予想
4 現在の状況
4.1 局所ラングランズ予想
4.2 基本補題
参考文献
・Scholze, Peter (2013), “The Local Langlands Correspondence for GL(n) over p-adic fields”, Inventiones mathematicae 192 (3): 663?715, doi:10.1007/s00222-012-0420-5
169:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 09:05:33 /JY71bka.net
>>148
基礎(いしずえ)だと
普通
"foundation"と書くのでしょうね
『Founder』だと、普通は（-erは）”人”になりますね
擬人化表現として、意訳したのかも（＾＾
170:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 09:40:38 /JY71bka.net
171:（本スレより転載） Inter-universal geometry と ABC予想 52 https://rio2016.5ch.net/test/read.cgi/math/1588702281/13 13 返信：１３２人目の素数さん[] 投稿日：2020/05/06(水) 08:08:54.43 ID:WFqbs44n [1/8] ＞査読終わりました。普通に終わりました。というよりも、いわくつきのIUTですから、念には念を入れて、丁寧に査読しました。問題なし ＞これをそのまま、受取れば良いのです。 https://www.galoisrepresentations.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ (I should say that whether the papers are accepted or not in a journal is pretty much irrelevant here; it’s not good enough for people to attest that they have read the argument and it is fine, someone has to be able to explain it.) （私は、論文がジャーナルに受け入れられるかどうかは、ここではほとんど関係がないと言うべきです; 人々が彼らの議論を読んで結構だと証明するのは十分ではなく、誰かがそれを説明できなければなりません。） (引用終り) えーと、引用のURLのPersiflage氏は、Frank Calegari氏（下記）ですね （∵ 引用した”cropped-brioche.jpg”が一致しています（＾＾； ） wikipediaでは、the Langlands programを研究しているという つまりは、遠アーベルの専門家ではないということですね 無視で良いと思いますよ、2017年だし、過去完了です！ｗ（＾＾； （参考） https://www.galoisrepresentations.com/about/ https://www.galoisrepresentations.com/wp-content/uploads/2019/09/cropped-brioche.jpg Persiflage Galois Representations and more! (抜粋) About A number theorist blogs (sometimes) about math. I am inspired by the blogs I have linked to, but I do not aspire to be similar to them in any particular way. I am a professor of mathematics at the University of Chicago. The (faux) anonymity is merely to confuse google, though I suspect that if you can’t work out who I am then you probably won’t get much out of my posts. つづく
172:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 09:41:07 /JY71bka.net
>>155
つづき
URLﾘﾝｸ(math.uchicago.edu)
URLﾘﾝｸ(math.uchicago.edu)
Frank Calegari
(抜粋)
I am a Professor at the University of Chicago.
My research is in the area of algebraic number theory. I am particularly interested in the Langlands programme, especially, the notion of reciprocity linking Galois representations and motives to automorphic forms.
URLﾘﾝｸ(en.wikipedia.org)
Frank Calegari
(抜粋)
Francesco Damien "Frank" Calegari is a professor of mathematics at the University of Chicago working in number theory and the Langlands program.
Career
Calegari won a bronze medal and a silver medal at the International Mathematical Olympiad while representing Australia in 1992 and 1993 respectively.[1]
Calegari received his PhD in mathematics from the University of California, Berkeley in 2002 under the supervision of Ken Ribet.[2]
（Thesis Ramification and Semistable Abelian Varieties）
Calegari was a von Neumann Fellow of mathematics at the Institute for Advanced Study from 2010 to 2011.[3] He is a professor of mathematics at the University of Chicago.[4]
As of 2020, Calegari is an Editor at Mathematische Zeitschrift and an Associate Editor of the Annals of Mathematics.[5][6]
Research
Calegari works in algebraic number theory, including Langlands reciprocity and torsion classes in the cohomology of arithmetic groups.[4]
(引用終り)
以上
173:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 10:02:36 /JY71bka.net
（本スレより転載）
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:21番)
21 名前：１３２人目の素数さん[] 投稿日：2020/05/06(水) ID:WFqbs44n
ショルツの指摘が妥当でない可能性は大いにある
ただ、ショルツの指摘を却下できても、IUTの正当性が認められた、とはいえない
URLﾘﾝｸ(www.galoisrepresentations.com)
A third possibility is that we have (roughly) the status quo:
no coup de grâce is found to kill off the approach, but at the same time the consensus remains that people can’t understand the key ideas.
3番目の可能性は、（おおよそ）現状のままであるということです。
アプローチを無効にするクーデターはありませんが、
同時に人々は主要なアイデアを理解できないというコンセンサスが残っている。
In this case, the mathematical community moves on and then, whether it be a year, a decade, or a century, when someone ultimately does prove ABC, one can go back and compare to see if (in the end) the ideas were really there after all.
この場合、数学的コミュニティが進み、1年、10年、または1世紀であっても、
最終的に誰かがABCを証明したときに、戻って比較して結局そこに
アイデアが本当にあったかどうかを確認できます。
(引用終り)
ここは、全く同意
Persiflage＝Frank Calegari 氏の言う通りです
・若い研究者、南出氏、星氏、Porowski氏、Ｈｉｌａｄｏ氏、Joshi氏たち
かれらの書いたＩＵＴに関する論文が、数学界で評価されるように ＲＩＭＳの重鎮たちは 考えなければいけない
・彼らは、生活が 人生が いま書いている論文に掛かっているのです
（柏原氏、玉川氏、望月氏、Ｄｕｐｕｙ氏、フェセンコ氏らは、もう安定した職も名声もあるのです)
・ＩＵＴの査読は終わった
いまから、ＩＵＴの理解を得るためのＲＩＭＳの活動が始まるのです。４回の国際会議がそれだったが、中止になったので、次の一手が求められます
・私は、玉川先生の「ＩＵＴ Ｃｏｒ.12 ＆ ＳＳ」を中心にしたＩＵＴの解説講義を
Ｙｏｕｔｕｂｅにアップしてほしいと思います （＾＾；
174:１３２人目の素数さん
20/05/06 10:14:46 tNZVV9ZH.net
>>148
おいおい、辞書くらい引いてくれ。
そもそも、on which all idealism founders なんだから、foundersは
動詞 founderの三人称単数形やんか。founderの複数形じゃないよ。
中学レベルの英文法の基礎なんちゃうの？
ハーディは純粋数学は観念論とか唯心論みたいなやわなもんじゃなくて、
盤石な現実そのものなんだと言いたいんでしょ。
175:１３２人目の素数さん
20/05/06 10:31:03 tNZVV9ZH.net
>>149
ここでのidealismは「理想主義」じゃないでしょ。
このセンテンスの前文で、現代物理学（量子力学だな）を"idealistic philosophy"的
に捉えることができるという人がいる（ハーディ自身はそうは思ってないけど）って
いう前フリがあるのよ。量子力学の観測問題（意識と観測結果の関係）を念頭に置いた
発言だろう。とすれば、このidealisitc phylosophyってのは「理想主義的哲学」じゃ
なくて、「観念論」とか「唯心論」の類だろう。そういう哲学的思想をひっくるめてall idealism と言ってるのよ。
どうも、>>134氏の言ってることは独善的というか、基本的に勘違いが多そうで信用ならん。
誤訳もそうだが、意味不明な文章が多すぎ。
176:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 11:17:44 /JY71bka.net
>>159
どうも
コメントありがと
>どうも、>>134氏の言ってることは独善的というか、基本的に勘違いが多そうで信用ならん。
私が、>>134
177:で言っているのは、単なるギャグですから、笑ってももらえれば、目的は達成です 信用？ ５ｃｈで？ 基本は”名無しさん”でしょ？ 信用できるのは、自分と 私の場合 基本は検索資料を添付しますから、そちらも見て判断して貰えれば結構ですなｗ（＾＾； >>134のハーディ氏の言葉を引用したのは、「整数論 女王」を否定するため以外に何もない そういうことです 「整数論 女王」なんて、ほとんど無意味と思っています（＾＾；
178:現代数学の系譜 雑談
20/05/06 11:32:43.58 /JY71bka.net
下記、”specZの上でhodge理論が出来たら面白いかも”を 実現したのが、望月IUTかも
と思う今日この頃（＾＾；
URLﾘﾝｸ(hydehyde12.at.webry.info)
趣味としての数学
2006年09月14日
(抜粋)
p進hodge
数学
p進hodgeの勉強が最近滞り気味です。
今日はBcrys,Bstの構成を勉強しました。
というか定義複雑過ぎですね。
fontaine、messingの昔の論文読んだり、
Asterisuqueにのっていたsurvey読んだり。
気がつくと時間が。でもWitt環に対する知見も
深まったかな。
それにしても
p進hodgeとは
なんて魅惑的名前なのでしょう。
複素係数のhodge理論は、微分形式の小平hodge分解から
deRham-hodgeのspectral-sequenceのE1退化が言えて…
みたいな流れだった。
p進でもhodge理論が成立するなんて！
（いまどきこんなこと言ってるようだと専門家に笑われますね。）
複素係数、p進をつなぐ理論はあるのでしょうか。
specZの上でhodge理論が出来たら面白いかも。
(引用終り)
179:現代数学の系譜 雑談
20/05/06 11:39:19.23 /JY71bka.net
下記の”log構造の勉強をはじめました。
（p進-hodgeの理解に必要みたいなので）”
というのは
望月IUTの ”Log-shell, log-volume, and log-link ”とか
関係しているのでしょうか？（＾＾；
（参考）
URLﾘﾝｸ(hydehyde12.at.webry.info)
趣味としての数学
2006年09月11日
(抜粋)
今日から
log構造の勉強をはじめました。
（p進-hodgeの理解に必要みたいなので）
今日は定義を追いかけて、トーリック多様体etcの具体例を触ってみた感じです。
でもまだ、何のためにlog-schemeを考えるのかいまいち見えません。
極小modelとかで出てきた
log-terminal-singularity とかlog-canonical-singularityとかんけいあるのでしょうか。
昔トーリック多様体の勉強していてよかった。
calabi-yau のmirror constructoinに関するbatirev の論文読み返してみたくなりました。
一日中数学の勉強したいけど、そうも行かない。
アマチュアの数学好きの悩みですね。
(引用終り)
180:１３２人目の素数さん
20/05/06 12:18:58.48 hVWkN8c/.net
今時「整数論 女王」に反発する人とかいるのか
整数論って数学の物理学みたいなもんだろ
問題のアプローチとして有効そうなら、代数・幾何・解析の種類を問わずになんでもありなんだから
他の数学が整数論のために存在しているわけではなくて、
むしろ整数論が他の数学をごちゃまぜにして勝手に使っているだけ
もちろん、整数論から新しい数学が生まれることもある
整数論と他の数学との関係は、数学と物理学との関係に似ている
181:現代数学の系譜 雑談
20/05/06 12:27:11.73 /JY71bka.net
（本スレより転載）
こういう情報はありがたい（＾＾
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:25番)
25 名前：１３２人目の素数さん[] 投稿日：2020/05/06(水) 10:41:44.43 ID:WFqbs44n [10/12]
数学辞典 第4版 205 数論幾何学 K. 代数的基本群 より
（数学辞典で、遠アーベル（遠Abel)という言葉が出てくるのはこの箇所だけ）
Grothendieck は，遠アーベル多様体（anabelianvariety）と呼ばれる
代数多様体のあるクラスが存在し，（有理数体の有限生成拡大体上の）
遠アーベル多様体の幾何は，付随する数論的基本群によって
完全に決定されると考えた．
これをしばしば遠Abel 幾何（anabelian geometry）の基本予想，
あるいはGrothendieck 予想と呼ぶ．
遠Abel曲線は双曲的曲線と同値な概念と考えられ，
実際次の結果が知られている（望月新一）:
k を（ある素数p に対して）p 進体Qp の有限生成拡大体に埋め込める体とする．
（例えば，k が有理数体の有限生成拡大体ならばよい．）
k 上の双曲的曲線Xと非特異代数多様体S に対し，
k 上の定値でない射S→X の集合Hom non－const k (S,X) から
k の絶対ガロア群Gk 上の連続開準同型π1(S)→π1(X) の集合
Hom open Gk (π1(S),π1(X)) をπ1(X¯k) の共役作用を法として
考えたものへの自然な写像は全単射である．
この結果の証明にはp 進ホッジ理論が用いられる．
なお，k,L を有限次代数体とするとき，自然な写像
Isom(k,L)→Isom(GL,Gk)/Inn(Gk) は全単射である
（Neukirch‐内田‐池田‐岩澤の定理）．
（Inn は内部自己同型群を表す．）
これも広い意味での遠Abel幾何の1 つと考えられ，
さらに，F. Pop，望月らによる高次元化もある．
182:１３２人目の素数さん
20/05/06 12:29:22.15 Vf0EVkEp.net
ようやくWikipedia日本語版の宇宙際タイヒミュラー理論ページができた。
183:現代数学の系譜 雑談
20/05/06 12:52:47.25 /JY71bka.net
>>163
どうも
コメントありがとう
「整数論 女王」は、一説ではガウスが言ったという
正確には、下記かも
”数学は科学の女王であり、数論は数学の女王である。
Die Mathematik ist die Konigin der Wissenschaften und die Zahlentheorie ist die Konigin der Mathematik.”
「数学は理系の女王、数論は数学の女王。」DeepL訳（独語）
＜問題は＞
１．まず、定義があいまいｗ（＾＾；
２．女王？ じゃ、”王”は 何になるだろうか？ 数学自身かい？（＾＾
３．さて、整数論ではなく、正確には 数論：Zahlentheorie らしい
４．では、Zahlentheorieの定義は何か？
５．当然、ガウスの時代と21世紀とは違うでしょ
６．少し古い概念で、代数と解析と幾何と、数学を３分類する考えがあった
これをガウスの時代に当てはめると、Zahlentheorie＝代数 とかでしょうかね？
６．しかし、21世紀で 「代数幾何」は幾何か？ 「数論幾何」は幾何か？ っという話になる。
代数屋さんからは、「代数幾何」も「数論幾何」も、数論＝代数の分野だ というのかも（我田引水かｗ）
７．結局、２１世紀は、”数論：Zahlentheorie”を定義しないと、意味ワカラン
そして、”数論：Zahlentheorie”を数学の中心を含むように 定義しなおせばｗ それは常に成立つ。しかし、それって ”トートロジー”でしかないでしょうか？ （＾＾；
（参考）
URLﾘﾝｸ(ja.wikiquote.org)
カール・フリードリヒ・ガウス
Carl Friedrich Gauss.jpg
引用
・神は計算をされている。
・数学は科学の女王であり、数論は数学の女王である。
Die Mathematik ist die Konigin der Wissenschaften und die Zahlentheorie ist die Konigin der Mathematik.
・狭くとも深くあれ。
Pauca sed matura.
184:１３２人目の素数さん
20/05/06 13:06:43 Vf0EVkEp.net
Wikipedia日本語版の宇宙際タイヒミュラー理論のページに
論文へのリンクがあるが、7本中4本にしかリンクがされていないよ
185:うだ。 開示ページ見る限り7本セットだと思うんだがなぁ。
186:１３２人目の素数さん
20/05/06 13:06:47 e+2cQ81a.net
>>165
Wikipediaは「誰でも」書き込めるから、書く人に依存してしまうｗ
誰か「ウィキペディアにある編集できるエディターを使える」方は、できれば修正してね。
例えば、論文の投稿方法は、前から思っていたことだけど、
Natureもそうは書いてはいるが、「本人がWebページに投稿」とするのは誤りだね。
RIMSの「PRIMS-Preprint」が投稿先で、プレプリントで公開されているから、
HPの論文はCopyの扱いだよ。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
上記のPRIMS-Preprintサーバーで、ﾌﾟﾚﾌﾟﾘﾝﾄの公開番号は以下で、
IUT ?～?の４論文が連続して投稿されてます。
【RIMS-1759】
Shinichi MOCHIZUKI
INTER-UNIVERSAL TEICHM\"{U}LLER THEORY IV: LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
August , 2012
[RIMS1759.ps.gz] [RIMS1759.pdf]
【RIMS-1758】
Shinichi MOCHIZUKI
INTER-UNIVERSAL TEICHM\"{U}LLER THEORY III: CANONICAL SPLITTINGS OF THE LOG-THETA-LATTICE
August , 2012
[RIMS1758.ps.gz] [RIMS1758.pdf]
【RIMS-1757】
Shinichi MOCHIZUKI
INTER-UNIVERSAL TEICHM\"{U}LLER THEORY II: HODGE-ARAKELOV-THEORETIC EVALUATION
August , 2012
[RIMS1757.ps.gz] [RIMS1757.pdf]
【RIMS-1756】
Shinichi MOCHIZUKI
INTER-UNIVERSAL TEICHM\"{U}LLER THEORY I: CONSTRUCTION OF HODGE THEATERS
August , 2012
[RIMS1756.ps.gz] [RIMS1756.pdf]
187:１３２人目の素数さん
20/05/06 13:21:44.51 hVWkN8c/.net
>>168
それ最新版じゃないからなあ
Cor 3.12の周辺を見ると、「本人のWebページに投稿された論文」と全然違うよ
188:現代数学の系譜 雑談
20/05/06 13:32:55.19 /JY71bka.net
>>165
>ようやくWikipedia日本語版の宇宙際タイヒミュラー理論ページができた。
おお、下記ですね
ありがたい（＾＾
まずは、お礼申し上げます m（＿＿）m
これ見たけど、英文直訳ですね
まずは、コレをスタートとして、情報追加してほしいですね
１．今年の4月3日の記者会見情報がない （最新情報としてほしいね。 英文wikipediaでABC予想のページには、4月3日の記者会見記事あります（下記））
２．その後のWoitブログでの論争情報（引き分けｗ（＾＾； ） （英文wikipediaでABC予想のページには、4月3日の記者会見記事あります（下記））
３．”ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた。[19]”は、論文誤読と思う（後述）
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
(抜粋)
数論の結果
ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた。[19]
URLﾘﾝｸ(en.wikipedia.org)
abc conjecture
Various attempts to prove the abc conjecture have been made, but none are currently accepted by the mainstream mathematical community and as of 2020, the conjecture is still largely regarded as unproven.[3][4]
References
3^ Castelvecchi, Davide (3 April 2020). "Mathematical proof that rocked number theory will be published". Nature. doi:10.1038/d41586-020-00998-2.
4^ Further comment by P. Scholze at Not Even Wrong.
189:現代数学の系譜 雑談
20/05/06 13:34:51.88 /JY71bka.net
>>167-169
情報ありがとう
ああ、みんな詳しいな～（＾＾
190:現代数学の系譜 雑談
20/05/06 13:51:09.56 /JY71bka.net
>>170
> ”ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた ”は、論文誤読と思う
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
(抜粋)
数論の結果
ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた。[19]
URLﾘﾝｸ(en.wikipedia.org)
Vesselin Dimitrov extr
191:acted from Mochizuki's arguments a proof of a quantitative result on abc, which could in principle give a refutation of the proof.[19] 19 ^ Vesselin, Dimitrov (14 January 2016). "Effectivity in Mochizuki's work on the abc-conjecture". arXiv:1601.03572 (引用終り) 下記 論文抜粋と訳です。誤読していると思う https://arxiv.org/pdf/1601.03572.pdf EFFECTIVITY IN MOCHIZUKI’S WORK ON THE abc-CONJECTURE VESSELIN DIMITROV (抜粋) Abstract. This note outlines a constructive proof of a proposition in Mochizuki’s paper Arithmetic elliptic curves in general position, making a direct use of computable non-critical Belyi maps to effectively reduce the full abc-conjecture to a restricted form. Such a reduction means that an effective abc-theorem is implied by Theorem 1.10 of Mochizuki’s final IUT paper (Inter-universal Teichm¨uller theory IV: log-volume computations and set-theoretic foundations). ＜DeepL訳 一部修正＞ このノートでは、望月の論文Arithmetic Elliptic curves in general positionの命題について constructive proofを概説し、計算可能な non-critical Belyi写像を直接利用して、制限された形に対して 完全なabc-conjectureをeffectivelyに導出する。 このような導出は、望月の最終的なIUT論文の定理1.10によって、有効なabc定理が暗示されていることを意味する。 (多元的テイヒム・ミューラー理論IV:対数体積計算と集合理論的基礎)。 つづく
192:現代数学の系譜 雑談
20/05/06 13:51:58.36 /JY71bka.net
>>172
つづき
P2
In his proof of the latter theorem Mochizuki makes an argument by contradiction, citing compactness of P1(Fv).
This gives the appearance of ineffectivity of the claimed final result, Theorem A of [6] (the abc conjecture).
The present note outlines a constructive proof, restricting for simplicity to the case (X, D) = (P1, [0] + [1] + [∞]) that is actually used in the implication “Theorem 1.10 of [6] ⇒ abc-conjecture.”
This leads in principle to an explicit abc-inequality and hence, conditionally on the correctness of Mochizuki’s IUT papers, to effective Roth and Faltings theorems.
P9
5. Proof of the Theorem
Following an amplification idea of Vojta for deducing the strong abcconjecture from his own conjecture with ramification for curves
(see 14.4.14 and the (d) ⇒ (a) implication in Theorem 14.4.16 of [2]), the proof is executed on the Fermat curves
Cn : {X^n + Y^n = Z^n} ⊂ P^2
with their distinguished Belyi maps
(引用終り)
以上
193:現代数学の系譜 雑談
20/05/06 13:59:28.68 /JY71bka.net
>>172 補足
１．wikipedia 英文では、
”Vesselin Dimitrov extracted from Mochizuki's arguments a proof of a quantitative result on abc, which could in principle give a refutation of the proof.[19]”
２．和文では
「ベッセリン・ディミトロフは望月の議論からABC予想に関する定量的な結果の証明を抽出した。これは原則的に証明に反駁することができた。[19]」（多分上記の訳）
３．Vesselin Dimitrovの論文中では
”Abstract.
This note outlines a constructive proof of a proposition in Mochizuki’s paper Arithmetic elliptic curves in general position, making a direct use of computable non-critical Belyi maps to effectively reduce the full abc-conjecture to a restricted form.
Such a reduction means that an effective abc-theorem is implied by Theorem 1.10 of Mochizuki’s final IUT paper
(Inter-universal Teichm¨uller theory IV: log-volume computations and set-theoretic foundations).”
「＜DeepL訳 一部修正＞
このノートでは、望月の論文Arithmetic Elliptic curves in general positionの命題について constructive proofを概説し、計算可能な non-critical Belyi写像を直接利用して、制限された形に対して 完全なabc-conjectureをeffectivelyに導出する。
このような導出は、望月の最終的なIUT論文の定理1.10によって、有効なabc定理が暗示されていることを意味する。
(多元的テイヒム・ミューラー理論IV:対数体積計算と集合理論的基礎)。」
てことで、”定理1.10の最終版では、ちゃんと 有効なabc定理が導ける可能性があるよ”と読みました
つまり、wikipedia 英文の本文の ”which could in principle give a refutation of the proof.[19]”とは、意味が真逆と思う（＾＾；
194:１３２人目の素数さん
20/05/06 14:34:28 e+2cQ81a.net
>>169
arXivなどプレプリントサイトでなく、本人のHPの掲載という普通でない手順、と非難されているが、
PRIMSに投稿する原稿は、他の原稿も全てPRIMS-プレプリントで公開するのが規定の手順であれば、その手順で行っている。
「彼のウェブサイトで公開」は明らかに誤り。
× この理論は、2012年に彼のウェブサイトに投稿された4つのプレプリントのシリーズで公開された。
↓
〇 この理論は、2012年に京都大学数理解析研究所（RIMS）の数学雑誌PRIMSのプレプリントサイトで公開された。
× その後、望月は2012年にかなり珍しい方法で理論を公開した。
論文は京都大学数理解析研究所（RIMS）Webページでのみ公開され、
発表や事前公開サーバーへの投稿は行われいなかった。
↓
〇 望月は2012年にプレプリントサイトで論文を公開し、
本人の京都大学数理解析研究所（RIMS）Webページで論文の更新を公開した。
Wikipediaは誰でも訂正できるが、争いになる場合は、引用文献で判断される筈。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
でプレプリントサイト投稿は明白だから、上記を下欄の引用文献に加えれば良い。
まあそのうち関連者が修正すると思うが、
Nsture誌がソースと主張しても、オリジナルがプレプリントサイトにあるから、
「彼のウェブサイトに投稿」の誤りは訂正されるよ。
なおプレプリントサイトの論文は公式の表紙があるが、HPのコピーには無いからね。
195:１３２人目の素数さん
20/05/06 14:46:00 hVWkN8c/.net
>>175
なるほどね
ただ、それだとPRIMSのプレプリントサイトで公開された内容と、最新版の内容が全然違うという別の問題が発生するな
プレプリントサイトとは
196:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 15:03:44 /JY71bka.net
>>168
(引用開始)
【RIMS-1758】
Shinichi MOCHIZUKI
INTER-UNIVERSAL TEICHM\"{U}LLER THEORY III: CANONICAL SPLITTINGS OF THE LOG-THETA-LATTICE
August , 2012
[RIMS1758.ps.gz] [RIMS1758.pdf]
(引用終り)
IUT III Corollary 3.12の証明 2012年版 を、スナップショットしておく
P113～121まで、約8頁ある
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS-1758
INTER-UNIVERSAL TEICHMULLER THEORY III: ¨
CANONICAL SPLITTINGS OF THE LOG-THETA-LATTICE
By Shinichi MOCHIZUKI
August 2012
P113
Corollary 3.12. (Log-volume Estimates for Θ-Pilot Objects) Suppose
that we are in the situation of Theorem 3.11. Write
? |log(Θ)| ∈ R ∪{+∞}
for the procession-normalized mono-analytic log-volume
Proof. Suppose that we are in the situation of Theorem 3.11. We begin by
reviewing precisely what is achieved by the various portions of Theorem 3.11 and,
indeed, by the theory developed thus far in the present series of papers. This review
leads naturally to an interpretation of the theory that gives rise to the inequality
asserted in the statement of Corollary 3.12. For ease of reference, we divide our
discussion into steps, as follows.
P121
Put another way, one must contend with the indeterminacy
arising from the fact that, unlike the case with the global Frobenioids “F◎_MOD”,
“F◎R_MOD”, objects of the various local Frobenioids that arise admit endomorphisms
which are not automorphisms. This indeterminacy has the effect of rendering
meaningless any attempt to perform a precise log-volume computation as in (xi).
197:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 15:34:13 /JY71bka.net
>>164 追加
（本スレより転載）
こういう情報はありがたい（＾＾
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:26番)
26 名前：１３２人目の素数さん[] 投稿日：2020/05/06(水) 10:55:42.52 ID:WFqbs44n [11/27]
Scholtzeの名前は数学辞典 第４版(2007)にはないが
彼が解決したweight-monodromy conjectureについては
205 数論幾何学 I．局所体上の代数多様体
に記載がある
X を局所体k 上の固有非特異代数多様体とし，
l を剰余体F の標数と異なる素数，
V をGk =Gal(¯k/k) のl進表現Hi(X¯k,Ql) とする．
X が良い還元を持てば，V はHi(X¯ F ,Ql) と標準同型であり，
Gk=Gal(¯k/k) のl進表現V は不分岐で，
Hi(X¯ F ,Ql) へのGF =Gal( ¯ F/F)=Gk/I の作用で
ひきおこされる．I は惰性群を表す．
このとき，qを剰余体F の位数とすると，Weil 予想よ
198:り， 幾何的Frobenius のGk への持ち上げのV への作用の 固有値は代数的整数であり，その複素絶対値はqi/2 である． X が半安定な還元を持てば，l進表現V のI への制限は ベキ単であることが，重さスペクトル系列から従う． 逆にX が種数2 以上の曲線で，H1(X¯k,Ql) のI への制限が ベキ単ならX は半安定な還元を持つ． 一般のX に対し，Weil 予想と重さスペクトル系列および オルタレーションの存在より，V のフィルトレーションWj (j ∈Z) で， 幾何的Frobenius の持ち上げのWj/Wj－1 への作用の固有値は すべて代数的整数で，その複素絶対値はq(i+j)/2 となるものの存在が従う． N をI のある開部分群の任意の元σ の作用がexp(tl(σ)N) となるような V のベキ零自己準同型とする．このとき，NWj ⊂Wj－2 であり， j>=1 ならNj は同型Wj/Wj－1→W－j/W－j－1 をひきおこすと予想される． これを重さモノドロミー予想（weight-monodromy conjecture）という．
199:１３２人目の素数さん
20/05/06 15:47:16 e+2cQ81a.net
>>177
プレプリントサイトで公開しているから、Wikiの記載は「誤り」だよ。
更新版が無い事は、問題か否かは、プレプリントのシステムによるからね。
他のPRIMS投稿者も最新版の更新が無いなら、他の人と同じで、問題ではないだろ。
逆に、PRIMSの投稿者が、
自分のHPに、プレプリントの更新版のコピー、修正記録を公表していないなら、
より律儀に対応していることになる。
200:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 15:57:06 /JY71bka.net
>>161
>複素係数のhodge理論は、微分形式の小平hodge分解から
>deRham-hodgeのspectral-sequenceのE1退化が言えて…
>みたいな流れだった。
下記みたいな話かな
望月先生のIUTの話に、”小平”の名前がよく出てくるのは、下記の”小平邦彦によって研究された”との関係かな？（＾＾
ここも、数学科の学部の範囲を超えている気がするぞ
URLﾘﾝｸ(ja.wikipedia.org)
ホッジ理論
(抜粋)
数学におけるホッジ理論（ホッジりろん、英: Hodge theory ）とは可微分多様体 M 上の微分形式に関する理論である。
特に、M 上のリーマン計量に付随する（一般化された）ラプラス作用素に関する偏微分方程式論をもちいて得られる M 上の実係数コホモロジー群の性質のことをいう。
1930年代にウィリアム・ホッジによってド・ラームコホモロジーの拡張として開発され、3つのレベルで大きな応用を持っている。
・リーマン多様体
・ケーラー多様体
・複素射影多様体の代数幾何学、より広くはモチーフ
はじめ、M が閉多様体（つまり、境界を持たないコンパクトな多様体）の場合に研究された。その後、上記の3つのレベルでホッジ理論は以降の研究に大きな影響を与えた。
たとば小平邦彦によって研究された（日本で、さらにプリンストンでヘルマン・ワイルの影響の下で）。
目次
1 ホッジ分解
2 調和形式
3 応用と例
3.1 ド・ラームコホモロジー
3.2 楕円型複体のホッジ理論
4 ホッジ構造
ホッジ構造
実ホッジ構造とは、実ベクトル空間 W とに対し、W の複素化（英語版）である WC = W ｘ C の次数付き空間 Wp, q への直和分解であって、WC の複素共役が Wq, p を入れ替える作用となるもの。
ここで "p"+"q"="k" とし、この"k"をウェイト k とよぶ。
特異点をもつ場合や非コンパクトな多様体の場合は、コホモロジー群は混合ホッジ構造といわれるより複雑な構造をもつ。
混合ホッジ構造においては直和分解のかわりに二つのフィルトレーション（英語版）をもち、適切な性質をみたす。
例えばモノドロミー問題のように、より広く使われている。
201:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 16:00:33 /JY71bka.net
>>162
>log構造の勉強をはじめました。
>（p進-hodgeの理解に必要みたいなので）
下記の 対数的(logarithmic)微分形式 が関係しているのかな？（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
対数的微分形式
(抜粋)
複素多様体論や代数多様体論では、対数的(logarithmic)微分形式は、ある種類の極をもつ有理型微分形式である。
ある開被覆が存在し、この微分形式の対数微分としての局所表現が存在する（通常の微分作用素 d/dz の中の外微分 d を少し変形する）。ω が整数の留数の単純極を持つだけであることに注意する。
高次元の複素多様体では、ポアンカレ留数（英語版）(Poincare residue)は、極に沿った対数的微分形式の振る舞いを記述することに使われる。
目次
1 正則対数複体
1.1 高次元の例
1.2 ホッジ理論
ホッジ理論
正則対数複体は、複素代数多様体のホッジ理論への適用することが可能である。X を複素代数多様体、 j:X\hookrightarrow Y} j:X\hookrightarrow Y} を良いコンパクト化とする。このことは Y がコンパクト代数多様体で、D = Y ? X が Y 上の単純な横断的交叉をもつ因子であることを意味する。層の複体の自然な包含写像
Ω*_{Y}(log D)→ j*Ω*_{X}
は、擬同型であることがわかる。
古典的には、たとえば、楕円函数の理論の中では、対数的微分形式は第一種微分形式（英語版）(differentials of the first kind)の補完物と考えられてきた。
対数的微分形式は、第二種微分形式と呼ばれることもある（不幸にも、第三種微分形式との間に不整合がある）。古典論は、現在では、ホッジ理論の一面として取り込まれている。
たとえば、あるリーマン面 S に対し、第一種微分形式は、H1(S) の項 H1,0 として考えられている。ドルボー同型により層コホモロジー群 H0(S,Ω) として解釈すると、これらの定義は同義と考えられる定義である。
0 が S 上の正則函数 の層であるとき、 H1(S,O) と解釈できるように、H1(S) の中の H1,0 直和を、対数的微分形式のベクトル空間として、より具体的にみなすことができる。
202:１３２人目の素数さん
20/05/06 16:04:38 hVWkN8c/.net
>>179
>プレプリントサイトで公開しているから、Wikiの記載は「誤り」だよ。
これは正しい
>逆に、PRIMSの投稿者が、
>自分のHPに、プレプリントの更新版のコピー、修正記録を公表していないなら、
>より律儀に対応していることになる。
そうは思わない
出版前の論文を複数の場所で公開するとき、1か所だけを更新するのは混乱を招くだけ
例えば、誰かがプレプリントサイトを見て著者に質問したときに、
著者から「ああ、それ最新版じゃないから。俺のHP見てよ」
って返されたら「は？」ってなるでしょ
PRIMSのプレプリントサイトで公開したのは、手続き上の建前にすぎないんじゃないの？
203:１３２人目の素数さん
20/05/06 16:06:13 ATb3q389.net
>>181
In algebraic geometry, a log structure provides an abstract context to study semistable schemes,
and in particular the notion of logarithmic differential form and the related Hodge-theoretic concepts.
204:１３２人目の素数さん
20/05/06 16:06:21 6kS41iBH.net
自称おっちゃんです。
>>131
>整数論？
>私は殆ど興味ありません
読んでいて大爆笑、面白かったw
205:１３２人目の素数さん
20/05/06 16:16:33 6kS41iBH.net
>>131
私も数論幾何には殆ど興味がない。
206:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 16:28:36 /JY71bka.net
>>179
コメントありがとう
>>177で、IUT III Corollary 3.12の証明 2012年版 を、スナップショットした意味は
下記の 識別の危機 で ショルツ先生の”系3.12の証明の中の図3.8以降のロジックを全く分からない”を、フォローしようと思ったから
2012年版 IUT III URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) では、図3.8は存在しない。Fig. 3.7（これは証明外）で終了しているのです
2020年版 IUT III URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp) （今 04-22）では、図3.8はP185に存在します。証明内です。（Fig. 3.10（上記の3.7）まで存在する）
ということは、ショルツ先生は 2017年12月版をみたのでしょうね。いまの2020年版をみて、どう思っているのか？（＾＾；
（まあ、自分出した反例は有効というかも知れませんが）
（参考）
https://
207:taro-nishino.blogspot.com/2019/03/blog-post070.html TARO-NISHINOの日記 識別の危機 3月 24, 2019 (抜粋) 識別の危機 2019年3月1日 ディヴィド・マイケル・ロバース (抜粋) 2017年の12月に望月が主任編集者2であるジャーナルに彼の論文が登場することになっているという噂が広まった。彼の研究の多くが既に数学者達に利用可能になっている。 発刊は彼の結果に査読のお墨付きを与えるために都合がよかったのであろう。数論学者達は彼等の懸念をオンラインで述べ始めた。 イニシャルPSで通っている数学者が"論文が出現した直後から私は系3.12の証明の中の図3.8以降のロジックを全く分からないと注意している"3と書いた。彼だけではなかった。 ブライアン・コンラドは"私は審査過程が最終的に3.12の証明を完全に明らかにした改訂に当然つながるだろうと思った"4と書いた。 噂は間違いだと判明したが、望月は系3.12をはっきりさせることを何もしなかった。"ミスプリントを正した"と彼は変更履歴の中に書いて括弧を削除した5。 これはコンラッドが予期していた改訂の類には見えない。 つづく
208:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 16:30:15 /JY71bka.net
>>186
つづき
PSは数論幾何学における研究でフィールズ賞を受賞したピータ・ショルツだと判明した。2018年の3月、ショルツとジェイコブ・スティクスは彼等の懸念を議論するために京都に望月を訪問した。会合は内部者達だけに知られていたが、数か月後常識となった6。どちら側も他を納得させられなかった。
議論は失敗に終わった。
（原文）
URLﾘﾝｸ(inference-review.com)
A Crisis of Identification
David Michael Roberts
(抜粋)
参考文献
3.
PS (Peter Scholze), December 21, 2017, comment on “The ABC Conjecture Has (Still) Not Been Proved,” Persiflage, December 17, 2017. ?
URLﾘﾝｸ(www.galoisrepresentations.com)
PS says:
December 21, 2017 at 3:28 pm
Thanks for the wonderful post! I agree with everything that was said.
One small thing I would like to add is that most accounts indicate that no experts have been able to point to a place where the proof would fail.
This is in fact not the case; since shortly after the papers were out I am pointing out that I am entirely unable to follow the logic after Figure 3.8 in the proof of Corollary 3.12 of Inter-universal Teichmuller theory part III:
“If one interprets the above discussion in terms of the notation introduced in the statement of Corollary 3.12, one concludes [the main inequality].”
Note that this proof is in fact the *only* proof in parts II and III that is longer than a few lines which essentially say “This follows from the definitions”.
Those proofs, by the way, are completely sound, very little seems to happen in those two papers (to me). Since then,
I have kept asking other experts about this step, and so far did not get any helpful explanation.
つづく
209:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 16:30:47 /JY71bka.net
>>187
つづき
In fact, over the years more people came to the same conclusion; from everybody outside the immediate vicinity of Mochizuki,
I heard that they did not understand that step either. The ones who do claim to understand the proof are unwilling to acknowledge that more must be said there; in particular, no more details are given in any survey, including Yamashita’s, or any lectures given on the subject (as far as they are publicly documented).
[I did hear that in fact all of parts II and III should be regarded as an explanation of this step, and so if I am unable to follow it, I should read this more carefully… For this reason I did wait for several years for someone to give a better (or any) explanation before speaking out publicly.]
One final point: I get very annoyed by all references to computer-verification (that came up not on this blog, but elsewhere on the internet in discussions of Mochizuki’s work).
The computer will not be able to make sense of this step either. The comparison to the Kepler conjecture, say, is entirely misguided: In that case, the general strategy was clear, but it was unclear whether every single case had been taken care of. Here, there is no case at all, just the claim “And now the result follows”.
(引用終り)
以上
210:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 16:33:11 /JY71bka.net
>>184-185
おっちゃん、どうも
レスありがとう！（＾＾
211:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 16:33:50 /JY71bka.net
>>183
どうも
情報ありがとう
大変参考になります～！（＾＾
212:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 16:34:38 /JY71bka.net
>>182
どうも
コメントありがとう！（＾＾
213:１３２人目の素数さん
20/05/06 16:42:10.47 6kS41iBH.net
>>192
数論幾何だけやろうとすると、準備に時間がかかるし飽きる。
214:１３２人目の素数さん
20/05/06 16:44:43.25 6kS41iBH.net
>>191
>>192は、>>192ではなく、>>191へのレス。
215:１３２人目の素数さん
20/05/06 16:54:06.80 6kS41iBH.net
>>189
>>192や>>193は、>192へのレスまたは>191へのレスのどちらでもなく、正確には>>189へのレス。
216:１３２人目の素数さん
20/05/06 17:03:06 tNZVV9ZH.net
>>166
どうでもいいけど、「数学は学問の女王」っていうのは、単に数学が
女性名詞だから「王」ではなく「女王」になっただけなんじゃないの？
で、その流れで「数論は数学の女王」になっただけとか。
したがって、数学や数論に対して対比すべき「王」など最初からガウス
の頭の中にはなかったんじゃねーの？
しらんけど。
217:１３２人目の素数さん
20/05/06 17:16:25 6kS41iBH.net
それじゃ、自称おっちゃんもう寝る。
218:１３２人目の素数さん
20/05/06 18:15:21.62 SUukVaO2.net
Taro Nishinoは引用しないほうがいいよ。
原文deepLかけた方がまし。
擁護側にとっても否定派にとってもいいことない。
219:１３２人目の素数さん
20/05/06 18:34:00.84 e+2cQ81a.net
>>182
＞PRIMSのプレプリントサイトで公開したのは、手続き上の建前
それは「宇宙際タイヒミュラー理論」の特徴ではないので、話がそれてますね。
IUTの固有の事柄でない事柄を、Wikiに「辞典として書く事柄」では無いと思う。
PRIMS-Preprinの他論文と同じで、投稿版のみ（更新版は無い様）です。
＞出版前の論文を複数の場所で公開するとき、1か所だけを更新するのは混乱を招くだけ
PRIMS公式でプレプリントサイトは１箇所だから、混乱は招かないでしょう。
次に、
＞例えば、誰かがプレプリントサイトを見て著者に質問したときに、
＞著者から「ああ、それ最新版じゃないから。俺のHP見てよ」
＞って返されたら「は？」ってなるでしょ
の例ですが、
質問メールで「すみませんが○○(FAQ)を参照して」の返信で、「は？」は良くあることです。
HP更新版に気が付く質問者が、メールを作る無駄な手間が省ける場合もあるから、
むしろユーザーにフレンドリーです。
220:１３２人目の素数さん
20/05/06 19:02:35.33 hVWkN8c/.net
>>198
＞PRIMSのプレプリントサイトで公開したのは、手続き上の建前
この指摘は、望月がPRIMSのプレプリントサイトを重視していないという意味
あくまでも自分の個人HP
221:版が原本であって、PRIMSのプレプリントサイトに上げたのは形式的なものにすぎない 実際、査読されたのはどのバージョンですか？ アクセプトされたのは、個人HP版の何度も修正されたバージョンじゃないんですか？ >PRIMS公式でプレプリントサイトは１箇所だから、混乱は招かないでしょう。 意図的に話をすり替えているようだが、もちろん「PRIMSのプレプリントサイト」と「望月の個人HP」の2か所という意味 >質問メールで「すみませんが○○(FAQ)を参照して」の返信で、「は？」は良くあることです。 そう、よくある悪い慣例 bad practice IUTも同様に悪い慣例に従ってしまうということだよ
222:現代数学の系譜 雑談
20/05/06 19:32:40.59 /JY71bka.net
>>195
>どうでもいいけど、「数学は学問の女王」っていうのは、単に数学が
>女性名詞だから「王」ではなく「女王」になっただけなんじゃないの？
>で、その流れで「数論は数学の女王」になっただけとか。
おお、ありがとう！！
そうか！（＾＾；
（ドイツ語など、すっかり忘れていたな）
調べると、全部（Mathematik、Wissenschaften、Zahlentheorie） 女性名詞だね（ f が女性 ）
そうすると、女性名詞には、女王しかないかな（＾＾；
あと、Zahlentheorie には、数論 と 整数論と 2つの訳語がある
というか、ドイツ語では、数論 と 整数論 とを分けていないのかもね
（参考）
URLﾘﾝｸ(doi2.net)
ドイツ便利帳
ドイツ語オンライン辞書＆参考になるサイト 2012/6/15 2012/12/16
ドイツ語学習者には有名なサイト。本来は日本語学習者用の和独辞典なのですが、独和としても使えます。ちょっと意味が知りたい時などに便利です。（下記）
URLﾘﾝｸ(www.wadoku.de)
和独辞典
URLﾘﾝｸ(www.wadoku.de)
1 数学 すうがく Math. Mathematik f.
URLﾘﾝｸ(www.wadoku.de)
2 物理学と天文学のような同系の科学 ぶつり･がくとてんもん･がくのようなどうけいのかがく Wissenschaften (f,pl) derselben Herkunft wie Physik und Astronomie.
4 応用科学 おうよう･かがく angewandte Wissenschaften f.
URLﾘﾝｸ(www.wadoku.de)
1 整数論 せいすう･ろん Math. Zahlentheorie f.
2 数論 すうろん 1 Math. Zahlentheorie f.
URLﾘﾝｸ(ja.glosbe.com)
Glosbe ドイツ語
Zahlentheorie名詞女性
数論
整数論
223:現代数学の系譜 雑談
20/05/06 19:34:20.74 /JY71bka.net
>>197
どうも
レスありがとう
アドバイスありがとう
まあ、Taro Nishino 先生、便利なのでついｗ（＾＾；
224:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 19:57:43 /JY71bka.net
>>201 補足
１．Taro Nishino 先生は、書いていることは、IUT以外については、結構良いこと、面白いことを書いているので、見てやって下さい
２．IUTについては、可哀想なことに、遠アーベルが結構ニッチでマニアックだということを知らないみたいですね
ですから、回りの海外数学者（含む 数論研究者）に聞いたら、評判悪いとか、バイアスが掛かった考えにとりつかれているのです
３．IUTのような、最先端の難しい論文に「分り易く書け」みたいな アホな主張をしていることが的外れと、分かっていないのです
そんなの酷ですよ。IUTのような論文は、まず書き上げることに必死で（500ページも600ページもの量を何年も必死で書き上げるのですから、まずは書くだけで必死です）
４．易しくとか、分り易くは、二の次三の次で良い
それは、後からでも可能です
５．それは、これからの課題です（＾＾
225:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 20:16:43 /JY71bka.net
>>198-199
情報ありがとう
望月先生のスタイル、よく分かりました
１）arXive を使わない理由が分かってきました。改訂頻度”大杉”！ ですね
あんなに改訂頻度が多いと、自分のHPで改訂管理したいというのは分かります
２）IUTだけ 特別に改訂頻度大か、あるいはいつもなのか不明ですが。推敲を何度もされています
小説家でも、なんども、原稿に手を入れる方が、いるみたいですね（＾＾
３）PRIMS-Preprin
226:投稿は、最初の投稿日付のアリバイ作りですね ４）あと、いまどき 紙論文待っていては、それ情弱でしょう。「査読終わった」を前提に考え始めるべきです ５）もし、査読をやり直しても、「アウト！」の判定なら ともかくも、「セーフ！」の判定なら、2012年なり2020年4月なりの日付が採用されます（当たり前ですが、何も変わらない） ６）となると、もし別手法で 「ABC証明しました」とか「 Explicit Szpiro 証明しました」とか、それは 二番煎じにしかならないのです （それに 「査読やり直し」なんてあり得ない。「アウト！」だと思うのなら、ギャップ見つけて、その改良版を自分の論文として投稿するがベター。あるいは、ABCに無関係の研究テーマを選ぶ） 「査読終わった」とアナウンスされたのに、ぐじぐじ言っている研究者は、それ研究者失格でしょうね（＾＾；
227:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 20:18:48 /JY71bka.net
>>196
おっちゃん、おやすみなさい（＾＾；
228:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 22:00:16 /JY71bka.net
（本スレより転載）
こういう情報はありがたい（＾＾
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:166番)
120 名前：１３２人目の素数さん[] 投稿日：2020/05/06(水) 17:00:02.99 ID:xNdYrNEX [5/9]
なんか写像のたばみたいなもので、あちこちの宇宙に像をつくろうとしていて、
まともな同型写像は一個もないのに、たばで持ち上げようとしている、
「同一視はできても本来的起源が違う対象を別のものと思う
sensitiveな感覚」
しかし、ショルツは
「すべて一次元の実数体につぶれてしまう」
ことを論証した
という感じなのでしょうか
166 名前：１３２人目の素数さん[sage] 投稿日：2020/05/06(水) 18:41:19.05 ID:BtdZf4os [2/3]
>>120
部分的にはどういう非同型射を構成したかったのかは大体推測はできる
実はエタール的な充満多重同型だけが必ずしも問題ではない。IUTの自己同型は環の場合ではない
しかし結果的にはgeneral nonsenseに見えてしまう
ここで注意したいのは（SSレポートにも書いてないが）、「非同型射と同型写像」により非自明な不等式を
導くという狙い。望月レポートで直接そういう書き方をしなかったのは不思議ではあるが
不定性はその非自明性の象徴だった（スキーム論的でない自己同型に由来するので）
それは「圏群により圏論を拡張する」ということなんだが、多分そこまで言うのは憚られたんだろうな
群圏ではなく圏群。こうした複雑な違いが派閥を分けた理由だろう
理念的には新奇的で魅力的だから、成立するのではないかと期待するのも理解はできる
たとえ成り立たないとしても、決して程度の低い誤りではない
229:１３２人目の素数さん
20/05/06 22:04:43 e+2cQ81a.net
>>203
投稿して、著者ではなく、雑誌側がプレプリントサイトに公開するのだから、
どの論文の著者も同じ扱いにて、サーバーで公開される、公的な手続きだよ。
自分のHPに論文集を作って掲載するのは、誰もがしていることだが、
それはPRIMSへの投稿とは違うから、単なる論文のコピーを置いているだけ、だろう。
普通は更新版をHPで公開などしないから、「訂正が大杉」が理由でないと思うよ。
質問が1000以上とFesenkoが書いてたけど、「質問者が大杉」で普通じゃないのでは？。
FAQを置いて「その質問は更新された」ことを示めすために、更新版を置いたのでないの？
いずれにせよ、個人のHP掲載は機関による公表でないから非公式だが、
PRIMS－PREPRINTは、アーカイブのように、投稿された機関のﾌﾟﾚﾌﾟﾘﾝﾄ公開だから、
個人のHPへの投稿は誤りで、プレプリントに投稿して
230:公式に公開されたが正だよ。 投稿でプレプリントに公開されて、査読とミス訂正した更新版をPRIMS掲載されるルートは、 IUTも他の論文も、決まったルートの手続きで行われているのだろ。
231:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/06 23:20:32 /JY71bka.net
>>206
どうも
コメントありがとう
１．”論文の出版時期は未定”（下記）とあるので、紙に印刷すると読みました。サーバーで公開は、おそらくは紙と同時期なのでしょう
（サーバーで公開だけなら、それほど時間は掛からないはずだろうと）
２．「雑誌掲載」の意義は、査読が終わったお墨付きにある
３．紙の印刷は、物理的な記録のためでしょうね。（半分は慣習でしょう）
４．arXiveなどの利用は、日付確定のためでしょう。物理などでは、大きな課題は明確だから、同じテーマの論文が殆ど同時に投稿されることがある。
以前は、プレプリントなどをメーリングリストなどにファイルを乗せて、早い日付を得ようとしていた。その前は、紙のプレプリントが回っていた
（蛇足だが、雑誌論文には、必ず受理日が書かれる。この日付が一番重要なのです。次が掲載日です）
５．論文でなくとも、私信（手紙）などを参考文献に上げることもある。参考文献は雑誌掲載に限らない。他人からアイデアを得たら、正直に書くのがマナーです
６．私信（手紙）が、個人のホームページであっても同じでしょう
但し、個人のホームページの場合、その日付が本当か（本当に早い時期の掲載か）が、問題になることも考えられる。遅い早いの争いが起きたときは。なので、arXiveを使う方が、疑義がでない
７．IUTの場合は、どうも遅い早いの競争にならないので、2012年の日付だろうが2020年の日付だろうが、実質影響なし（望月氏のオリジナリティーは認められるだろうから）
８．なお、改訂版が出るとき、もし他人との競争になると、極論すると「どの時点で証明が完成していたのか？」ということになるわけです。（競争はないので無関係ですが）
だから、結局今回は 競争無しで 細かい話は関係ないですね
URLﾘﾝｸ(www.sankei.com)
ＡＢＣ予想の新理論「ゼロから構築」 京大が称賛 望月氏は姿見せず 産経 2020.4.3 20:08
(抜粋)
難解な論文は６００ページを超えた。柏原氏は「査読に７年あまりを要し、ものすごく大変な作業だった」と、ほっとした表情をみせた。
論文の出版時期は未定だが、玉川氏は「若い方が興味を持って読んでくれれば。これを機に日本でも世界でも研究が活性化すれば喜ばしい」と期待を寄せた。
232:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/07 00:03:37 K7FsfJ9N.net
>>207
>だから、結局今回は 競争無しで 細かい話は関係ないですね
例えば
下記の
A： 「南出新氏による、IUTeichにおける明示的な不等式」
B： 「Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado)」
これ、内容が少しずれている（一部重なる部分もある？）と思うのだが
もし、AとBとが殆ど重なる結果を導くものだとすると
AとBとの遅い早いが問題になります
Bは、既にarXive投稿されています
Aは、確認できている範囲では、まだ下記の講演のスライドしか公開されていない
競合するときは、そういう点が問題になります
いま、IUTにはそういうライバル関係になる相手がないので
自分のホームページで、適当にやっても、遅い早いが問題にならないってことです
でも、繰返しますが、もしライバルが居たら、ずさんなことをしていると不利になります（＾＾
（例えば”勝手にホームページで日付を
233:いじって信用できない！”と言われたら、自分で弁明しないといけなくなりますよね） http://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html 望月 過去と現在の研究 ・南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライドを掲載 https://www.uvm.edu/~tdupuy/papers.html [ Taylor Dupuy's Homepage] 3.Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado)