[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
149(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/24(日)21:58 ID:GGJQySam(15/15) AAS
>>147
＞現在ではIUT理論やその周辺の専門分野に関わる専門家たち（念のために述べますが、日本人に限りません）の間では、Scholze-Stixによる勘違いであったのだろうという認識であり、現在に至っても「破綻」していたりギャップがあったりしている箇所は指摘されていません。
日本国内の空気を読むと
シラケテいる感じがあるよね
日本国内に対しても、RIMSの一部以外では、”Scholze-Stixによる勘違いであったのだろうという認識であり”は、これが共有されているとは言えないのでは？
特に、東大系からは、「否定も肯定もしない」という空気で、だれもなにも発言しない
日本数学会のプログラムにもＩＵＴの欠けらもない
省13
150: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)07:31 ID:1A25DpO+(1/9) AAS
メモ：
アマゾンは、GAFAの前の”A”。最初は書籍のネット販売だったのにね（＾＾；
外部ﾘﾝｸ:www.nikkei.com
アマゾンジャパン、AI人材育成へ無償教育開始 日経 2019/11/22 17:56
アマゾンジャパン（東京・目黒）は中高生向けに、人工知能（AI）の活用に必要なプログラミング教育を無償で始めた。首都圏を中心に試験的に始めた。IT（情報技術）教育を提供するライフイズテック（東京・港）、日本YMCA同盟と連携して2020年以降、全国に広げることを検討している。
22日に都内で「アマゾンアカデミー」を開いた。アマゾンジャパンのジャスパー・チャン社長は「エンジニアだけでなく、あらゆる場面でAIを活用できる人材育成が大事な時代」と話した。年内は試験プログラムで、計180人の中高生にプログラミング教室を提供する。
無償教育とは別に、チャン社長は18年12月期に日本で3120億円を投資したことを明らかにした。ネット通販の物流施設やクラウド事業のアマゾン・ウェブ・サービス（AWS）などの設備投資だけでなく、研究開発や人材関連の投資も含んでいる。
省2
151: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)15:22 ID:NuOctDvT(1/3) AAS
>>149
>望月新一先生が、ものすごいホームランを飛ばした
>というよりは
>「ファールじゃないか？」と、ボールの行方を見ているという空気じゃないかと読んだぜｗ（＾＾；
補足
・ホームランが、確定したわけではない
・では、ファール確定かというと、IUT軍団というかIUTを取り巻く人が大杉で（＾＾；
省11
152(2): 2019/11/25(月)18:06 ID:5k7RI9yy(1/2) AAS
おっちゃんです。
>>96
微分形式のことは書かれていない。まあ、一応解析の本なんで。
>>99
バナッハ空間における微分は、その存在性を示さなくても定義可能。
実数体R上のユークリッドノルムが入った有限次元のバナッハ空間 R^n で、偏微分や全微分が実質的に定義されている。
実数体R上のユークリッドノルムが入った有限次元のバナッハ空間 R^n での
省2
153(1): 2019/11/25(月)18:14 ID:5k7RI9yy(2/2) AAS
>>99
>>152の>99宛ての1行目について訂正：
バナッハ空間における微分 → 実数体R上のバナッハ空間における微分
それじゃ、おっちゃんもう寝る。
154(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)18:20 ID:NuOctDvT(2/3) AAS
IUT情報：下記
ふーん、イギリスへ行っているあの先生とF先生のところとの共著かも（＾＾
また、識別とラベルの問題とか、イチャモンつくかも知れないが、それでも良い
どんどん、進めてほしい。外野で見ている方の希望としては （＾＾；
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
423 名前：１３２人目の素数さん[sage] 投稿日：2019/11/25(月) 14:16:33.03 ID:ub/eJojY
省6
155: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)18:21 ID:NuOctDvT(3/3) AAS
>>152-153
おっちゃん、どうも、スレ主です。
レスありがとう〜！（＾＾
156(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)20:52 ID:1A25DpO+(2/9) AAS
>>154 これか（＾＾
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
431 名前：１３２人目の素数さん[] 投稿日：2019/11/25(月) 16:10:00.16 ID:L5hBwAc/ [3/3]
午後8:33 · 2018年10月22日
今回の講演では、楕円曲線の6等分点を
用いることによって完全に明示的な
省23
157(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)20:53 ID:1A25DpO+(3/9) AAS
>>156
つづき
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月新一の過去と現在の研究
南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライドを掲載
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Explicit estimates in inter-universal Teichm¨uller theory
省8
158(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)20:57 ID:1A25DpO+(4/9) AAS
>>156
因みに、Ivan Fesenko 氏
（東工大はIUT派か）
外部ﾘﾝｸ[html]:www.math.titech.ac.jp
東工大 数論・幾何学セミナー
10月24日（水） 16:00〜17:00
東工大本館2階 234セミナー室
省15
159: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)21:02 ID:1A25DpO+(5/9) AAS
>>157 補足
この望月新一の過去と現在の研究
「南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライド」
の由来がよく分からなかったのだが
なるほど、東工大 数論・幾何学セミナー 11月2日（金） だったか（＾＾
160(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)21:17 ID:1A25DpO+(6/9) AAS
>>157
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
>Explicit estimates in inter-universal Teichm¨uller theory
>(in progress)
当時（1年前）IUTスレで、南出新氏、定量評価出来たら良いなという夢を語っているだけ
みたいな評価だったが
いよいよ論文発表ですかね
省11
161: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)21:19 ID:1A25DpO+(7/9) AAS
>>160
こんなの早く arxiv投稿して
来年のシンポジュームには
もっと進んだ話題を発表してほしいね（＾＾；
162(2): 2019/11/25(月)21:24 ID:LAzU75eF(1/2) AAS
ここ文系しか居ないね
163(1): やっぱり２が好き 2019/11/25(月)21:25 ID:LAzU75eF(2/2) AAS
どこよ〜
どこ〜
ﾍﾟﾚﾘﾏﾝはどこなのよ〜？
164: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)22:12 ID:1A25DpO+(8/9) AAS
>>156
＞Wojciech Porowski氏
2011年の国際数学オリンピックで、
Bronze medal （Poland）か
Polandからイギリス留学なんだ
外部ﾘﾝｸ[aspx]:www.imo-official.org
International Mathematical Olympiad
省3
165: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)22:15 ID:1A25DpO+(9/9) AAS
>>162-163
このスレには、アホバカしかいない
テンプレ>>12にあるとおり
もっとも、５ｃｈ数学板なんて
そんなもんだぜ
お前も
166(2): 2019/11/25(月)22:32 ID:/WCVXAbE(1) AAS
{}∈{{}}, {{}}∈{{{}}} だから {}∈{{{}}}
とか言っちゃうアホバカは数学板でもおまえくらいだよｗ
167: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)00:16 ID:oYs7jyeH(1/12) AAS
>>160
Ivan Fesenko 氏、BSDを解決して、クレイ数学研究所 ミレニアム懸賞問題 100万ドルの懸賞金 ゲットできるかもなｗ（＾＾；
168: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)00:17 ID:oYs7jyeH(2/12) AAS
>>166
自分の能力の証明がないｗ（＾＾；
169(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)00:26 ID:oYs7jyeH(3/12) AAS
>>166
シングルトンの可算多重カッコ（ {{{・・{{{ }}}・・・}}} ←{ }が多重になったもの)
が理解できない落ちこぼれさんたち多数居たなｗｗ（＾＾；
良い勝負だろ？（＾＾；
現代数学の系譜 カントル 超限集合論
2chｽﾚ:math
170(1): 2019/11/26(火)05:13 ID:xwd+SCAL(1/3) AAS
おっちゃんです。
>>162
何度も繰り返していうが、私は数学科卒ではないだけで、理系。
文系の人には、関数解析をする人はいるかも知れないが、
(非線形)楕円型 PDE や変分法とかの非線形解析に近いことをする人は多分殆どいないだろう。
171: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)07:09 ID:oYs7jyeH(4/12) AAS
>>169 タイポ訂正
シングルトンの可算多重カッコ（ {{{・・{{{ }}}・・・}}} ←{ }が多重になったもの)
↓
シングルトンの可算多重カッコ（ {{{・・・{{{ }}}・・・}}} ←{ }が多重になったもの)
172(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)07:24 ID:oYs7jyeH(5/12) AAS
>>170
おっちゃん、どうも、スレ主です。
レスありがとう
今時の経済系は、
偏微分方程式、確率微分方程式、不動点定理くらいはやるらしいぜ（＾＾；
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
省11
173(1): 2019/11/26(火)08:15 ID:xwd+SCAL(2/3) AAS
>>172
>今時の経済系は、
>偏微分方程式、確率微分方程式、不動点定理くらいはやるらしいぜ（＾＾；
今時の経済系の人がこれらをするとする。
確率微分方程式は熱伝導方程式に基づく放物型の方程式だから、今時の経済系の人は或る程度物理を知っていることになる。
それ故、今時の経済系の人が或る程度の物理を学習していることになる。
だが、今時の多くの経済系の人がそのようなことをしているとは到底思えない。
省1
174: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)08:26 ID:oYs7jyeH(6/12) AAS
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
438 名前：１３２人目の素数さん[sage] 投稿日：2019/11/25(月) 17:51:09.67 ID:LBlGQQG+ [5/5]
>>437
ちがうわ。もともとメールでやりとりしてて、SS側の承諾がないと公開出来なかったんだよ。その点はむしろSS側を批判すべき。望月は公開の議論を希望してた。
(引用終り)
ここ
省15
175(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)08:28 ID:oYs7jyeH(7/12) AAS
>>173
＞だが、今時の多くの経済系の人がそのようなことをしているとは到底思えない。
おっちゃん、どうも、スレ主です。
多くの経済系の人ではないよね、多分
でも、やっている人はいるだろうし
経済学部の講義にも入っていると思うよ
（どこまで数学的内容に深入りするのか知らないが（＾＾； ）
176(1): 2019/11/26(火)08:59 ID:xwd+SCAL(3/3) AAS
>>175
>でも、やっている人はいるだろうし
>経済学部の講義にも入っていると思うよ
>（どこまで数学的内容に深入りするのか知らないが（＾＾； ）
物理の講義が経済学部の専門の講義に入っている訳ない。
よくて、物理の講義は、経済学部の教養の段階で終わりになるだろう。
そもそも、リーマン・ショックの株価暴落が起きて、経済の理論によるその予想が 100'% 的中する訳ではない。
省1
177: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)21:16 ID:oYs7jyeH(8/12) AAS
>>176
おっちゃん、どうも、スレ主です。
レスありがとう
なんか、数学と物理が混線しているように思うが
178(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)23:06 ID:oYs7jyeH(9/12) AAS
>>124
>楕円曲線のホッジ・アラケロフ理論は、アラケロフ理論（英語版）(Arakelov theory)のフレームワークで考える p-進ホッジ理論（英語版）(p-adic Hodge thory)の楕円曲線についての類似理論
"アラケロフ理論（英語版）(Arakelov theory)"下記ですな
下記では、Faltings、Serge Lang、Mordell conjecture、Deligne、arithmetic Hodge index などなど、重要キーワード満載ですな
（参考）
外部ﾘﾝｸ:en.wikipedia.org
Arakelov theory
省11
179(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)23:07 ID:oYs7jyeH(10/12) AAS
>>178
つづき
Arakelov theory was used by Paul Vojta (1991) to give a new proof of the Mordell conjecture, and by Gerd Faltings (1991) in his proof of Serge Lang's generalization of the Mordell conjecture.
Pierre Deligne (1987) developed a more general framework to define the intersection pairing defined on an arithmetic surface over the spectrum of a ring of integers by Arakelov.
Arakelov's theory was generalized by Henri Gillet and Christophe Soule to higher dimensions. That is, Gillet and Soule defined an intersection pairing on an arithmetic variety.
One of the main results of Gillet and Soule is the arithmetic Riemann?Roch theorem of Gillet & Soule (1992), an extension of the Grothendieck?Riemann?Roch theorem to arithmetic varieties.
For this one defines arithmetic Chow groups CHp(X) of an arithmetic variety X, and defines Chern classes for Hermitian vector bundles over X taking values in the arithmetic Chow groups.
省4
180: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)23:09 ID:oYs7jyeH(11/12) AAS
>>179
＞Arakelov theory was used by Paul Vojta (1991) to give a new proof of the Mordell conjecture, and by Gerd Faltings (1991) in his proof of Serge Lang's generalization of the Mordell conjecture.
Paul Vojta さん（＾＾；
181(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)23:13 ID:oYs7jyeH(12/12) AAS
>>124
>楕円曲線のホッジ・アラケロフ理論は、アラケロフ理論（英語版）(Arakelov theory)のフレームワークで考える p-進ホッジ理論（英語版）(p-adic Hodge thory)の楕円曲線についての類似理論である。
(参考)
外部ﾘﾝｸ:en.wikipedia.org
p-adic Hodge theory
(抜粋)
The theory has its beginnings in Jean-Pierre Serre and John Tate's study of Tate modules of abelian varieties and the notion of Hodge?Tate representation.
省2
182(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/27(水)07:49 ID:qnEhNItW(1/3) AAS
>>181
つづき
Contents
1 General classification of p-adic representations
2 Period rings and comparison isomorphisms in arithmetic geometry
General classification of p-adic representations
Let K be a local field with residue field k of characteristic p. In this article, a p-adic representation of K (or of GK, the absolute Galois group of K) will be a continuous representation ρ : GK→ GL(V), where V is a finite-dimensional vector space over Qp.
省7
183: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/27(水)07:50 ID:qnEhNItW(2/3) AAS
>>182
つづき
Period rings and comparison isomorphisms in arithmetic geometry
The general strategy of p-adic Hodge theory, introduced by Fontaine, is to construct certain so-called period rings[3] such as BdR, Bst, Bcris, and BHT which have both an action by GK and some linear algebraic structure and to consider so-called Dieudonne modules
D_{B}(V)=(B\otimes _{\mathbf {Q} _{p}}V)^{G_{K}}}
(where B is a period ring, and V is a p-adic representation) which no longer have a GK-action, but are endowed with linear algebraic structures inherited from the ring B.
In particular, they are vector spaces over the fixed field E:=B^{G_{K}}}E:=B^{{G_{K}}}.[4] This construction fits into the formalism of B-admissible representations introduced by Fontaine.
省8
184: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/27(水)07:57 ID:qnEhNItW(3/3) AAS
>>181 補足
p-adic Hodge theory
キーワードを拾うと
・The collection of all p-adic representations of K form an abelian category
・and also provides faithful functors to categories of linear algebraic objects that are easier to study.
・where each collection is a full subcategory properly contained in the next.
category、faithful functors、full subcategory properly
省1
185(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)07:59 ID:QdpmOFrx(1/7) AAS
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
449 名前：１３２人目の素数さん[sage] 投稿日：2019/11/26(火) 06:18:49.75 ID:LyHP70fx [1/3]
(抜粋)
ただ、コア的記述による入れ子構造、
(引用終り)
”入れ子構造”は、下記の”お話”だと思うが
省33
186(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)08:00 ID:QdpmOFrx(2/7) AAS
>>185
つづき
外部ﾘﾝｸ:dic.nicovideo.jp
ニコニコ大百科
再帰単語
(抜粋)
再帰とは、 ある対象xの定義の中にxが登場するような物を言う。
省11
187(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)08:01 ID:QdpmOFrx(3/7) AAS
>>186
つづき
なお、関連
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
過去と現在の研究の報告 (2008-03-25 現在） （フォント埋め込み版）
(引用終り)
以上
188(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)14:41 ID:rRA3+Jnq(1/8) AAS
>>187
内容引用＆補足：これを見ると、IUTの意図がなんとなく程度分かるね
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
過去と現在の研究の報告 (2008-03-25 現在）
初期の歩み
学位を取得した 1992 年夏から 2000 年夏までの私の研究の主なテーマは次の三つ
に分類することができます：
省27
189(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)14:41 ID:rRA3+Jnq(2/8) AAS
>>188
つづき
新たな枠組への道
Hodge-Arakelov 理論では、数論的な Kodaira-Spencer 射が構成されるなど、
ABC 予想との関連性を仄めかすような魅力的な側面があるが、そのまま「ABC 予
想の証明」に応用するには、根本的な障害があり不十分である。このような障害を克
服するためには、
省23
190(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)14:42 ID:rRA3+Jnq(3/8) AAS
>>189
つづき
この 6 年間（＝ 2000 年夏〜2006 年夏）の、
「圏の幾何」や絶対遠アーベル幾何
を主テーマとした研究の代表的な例として、次のようなものが挙げられる：
・The geometry of anabelioids （2001 年）
スリム（＝任意の開部分群の中心が自明）な副有限群を幾何的な対象として扱い、
省24
191(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)14:42 ID:rRA3+Jnq(4/8) AAS
>>190
つづき
・Absolute anabelian cuspidalizations of proper hyperbolic curves （2005年）
固有な双曲曲線の数論的基本群から、その開部分スキームの数論的基本群を復元
する理論を展開する。この理論を、有限体や p 進体上の絶対遠アーベル幾何に応用
することによって、様々な未解決予想を解く。
・The geometry of Frobenioids I, II （2005 年）
省17
192(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)14:43 ID:rRA3+Jnq(5/8) AAS
>>191
つづき
2006 年〜2008 年春の「IUTeich の準備」関連の論文は次の四篇である：
・The ´etale theta function and its Frobenioid-theoretic manifestations
（2006 年）
p 進局所体上の退化する楕円曲線（＝ Tate curve）のある被覆の上に存在するテー
タ関数に付随する Kummer 類をエタール・テータ関数と呼ぶ。このエタール・テー
省21
193(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)14:44 ID:rRA3+Jnq(6/8) AAS
>>192
つづき
・Topics in absolute anabelian geometry II: decomposition groups
（2008 年）
IUTeich のための準備的な考察とともに、IUTeich とは論理的に直接関係のない
配置空間の絶対遠アーベル幾何や、点の分解群から基礎体の加法構造を絶対 p 進遠
アーベル幾何的な設定で復元する理論を展開する。ただ、後者の p 進的な理論では、
省18
194(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)14:44 ID:rRA3+Jnq(7/8) AAS
>>193
つづき
この「単遠アーベル的アルゴリズム」は、pTeich における MF∇-object
の Frobenius 不変量に対応するものであり、即ち p 進の理論における
Witt 環の Teichm¨uller 代表元や pTeich の標準曲線
の「IU 的類似物」と見ることができる。別の言い方をすれば、この「単遠アーベル的
アルゴリズム」は、一種の標準的持ち上げ・分裂を定義しているものである。また、（単
省20
195: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)14:44 ID:rRA3+Jnq(8/8) AAS
>>194
つづき
・Inter-universal Teichm¨uller theory I: Hodge-Arakelov-theoretic aspects
（2009 年に完成（？）予定）
p 進 Teichm¨uller 理論における曲線や Frobenius の、「mod pn」までの標準持ち上
げに対応する IU 版を構成する。
・Inter-universal Teichm¨uller theory II: limits and bounds （2010 年に完
省6
196(1): 2019/11/28(木)22:40 ID:lvt0VL8R(1) AAS
4050
しろ@hu_corocoro 11月27日
苦節6ヶ月、初満点&一等賞です！
Twitterﾘﾝｸ:hu_corocoro
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
197: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)23:10 ID:QdpmOFrx(4/7) AAS
>>196
おめでとうございます
凄いですね（＾＾
198(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)23:48 ID:QdpmOFrx(5/7) AAS
メモ貼る
動画ﾘﾝｸ[YouTube]
Peter Scholze - The geometric Satake equivalence in mixed characteristic
7,685 回視聴?2017/04/13
Institut des Hautes Etudes Scientifiques (IHES)
チャンネル登録者数 2.91万人
Seminaire Paris Pekin Tokyo / MArdi 11 avril 2017
省5
199: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)23:52 ID:QdpmOFrx(6/7) AAS
>>198
＞Satake equivalence
Satakeは、下記だろうね
外部ﾘﾝｸ:ja.wikipedia.org
佐武一郎
(抜粋)
佐武 一郎（さたけ いちろう、1927年 - 2014年10月10日）は、日本の数学者。山口県出身。
省12
200(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/28(木)23:58 ID:QdpmOFrx(7/7) AAS
>>198
＞Satake equivalence
下記かな〜？（＾＾；
”The geometric Satake equivalence is a geometric version of the Satake isomorphism, proved by Ivan Mirkovi? and Kari Vilonen (2007).”
”which is a fortiori an equivalence of tannakian categories (Ginzburg 2000).”
外部ﾘﾝｸ:en.wikipedia.org
Satake isomorphism
省11
201(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)00:19 ID:KnsCfpdu(1/4) AAS
>>200
>which is a fortiori an equivalence of tannakian categories (Ginzburg 2000).
淡中先生（＾＾
外部ﾘﾝｸ:en.wikipedia.org
Tannakian formalism
In mathematics, a Tannakian category is a particular kind of monoidal category C, equipped with some extra structure relative to a given field K.
The role of such categories C is to approximate, in some sense, the category of linear representations of an algebraic group G defined over K.
省9
202(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)00:20 ID:KnsCfpdu(2/4) AAS
>>201
つづき
Applications
The Geometric Satake equivalence establishes an equivalence between representations of the Langlands dual group {}^{L}G} of a reductive group G and certain equivariant perverse sheaves on the affine Grassmannian associated to G.
This equivalence provides a non-combinatorial construction of the Langlands dual group. It is proved by showing that the mentioned category of perverse sheaves is a Tannakian category and identifying its Tannaka dual group with {}^{L}G}.
Extensions
Wedhorn (2004) has established partial Tannaka duality results in the situation where the category is R-linear, where R is no longer a field (as in classical Tannakian duality),
省2
203: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)00:29 ID:KnsCfpdu(3/4) AAS
>>202
>Iwanari (2014) has initiated the study of Tannaka duality in the context of infinity-categories.
岩成 勇 先生、東北大だけど、
”2009年度: 京大, 数理解析研究所, 研究員”とあるから、京大出身かも
References
外部ﾘﾝｸ[3321]:arxiv.org
Iwanari, Isamu (2014), Tannaka duality and stable infinity-categories, arXiv:1409.3321, doi:10.1112/topo.12057
省12
204: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)00:33 ID:KnsCfpdu(4/4) AAS
>>201
外部ﾘﾝｸ:ja.wikipedia.org
淡中忠郎
(抜粋)
淡中 忠郎 （たんなか ただお、1908年12月27日 - 1986年10月25日 ）は日本の数学者。専門は代数学。
愛媛県生まれ。1945年東北帝国大学教授、後に東北学院大学教授を務めた。ポントリャーギン双対性をコンパクト群へ拡張した淡中-クラインの双対定理で著名。
この定理はグロタンディークによる淡中圏の概念へと発展した。
省12
205(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)10:16 ID:CoYajOLi(1/11) AAS
メモ
外部ﾘﾝｸ[html]:www.gizmodo.jp
GIZMOD
韓国の囲碁世界チャンピオンが｢AIは倒せない存在だ｣と引退
2019.11.28 16:00
author Jennings Brown - Gizmodo US［原文］（ 岡本玄介 ）
(抜粋)
省6
206(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)10:21 ID:CoYajOLi(2/11) AAS
>>205
数学では部分的に、同じように、ヒトを機械が上回ることが起きて来ていた
・πの計算
・表計算（含む関数計算、例エクセル）
・有限群の計算
・数式処理ソフト
など
省3
207(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)11:28 ID:CoYajOLi(3/11) AAS
>>160 関連
IUTうまく行ってほしいですね（＾＾；
Twitterﾘﾝｸ:math_jin
math_jinさんがリツイート
Fumiharu Kato 加藤文元
@FumiharuKato
11月25日
省9
208(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)13:46 ID:CoYajOLi(4/11) AAS
メモ
外部ﾘﾝｸ:www.nikkei.com
国産データベース開発、技術革新で巡ってきた勝機
2019/11/28 2:00日本経済新聞 電子版
新エネルギー・産業技術総合開発機構（NEDO）が5年と25億円を投じて、国産の新しいリレーショナルデータベース（RDB）を開発している。日経 xTECHの取材でその詳細が明らかになった。
RDBの世界で近年、DBエンジンの作り直しが必須となる目覚ましい技術進化が起こっていることから、新規参入にも勝算があると判断した。
NEDOのRDB開発プロジェクトは「実社会の事象をリアルタイム処理可能な次世代データ処理基盤技術の研究開発」で、2018年度からの5年間に25億円の国費を投じる。開発はNEC、ノーチラス・テクノロジーズ（東京・品川）、東京工業大学、大阪大学、名古屋大学、慶応義塾大学などに委託する。
省7
209(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)13:47 ID:CoYajOLi(5/11) AAS
>>208
つづき
OLAP高速化のために探索的データ分析を高速に実行するフレームワークも開発する。OLAPのクエリー（問い合わせ）を実行する前に機械学習ベースのアルゴリズムによってその内容を分析し、クエリーにとって最適なスキーマ（構造）を設定する。クエリー実行計画に加えてデータ構造も最適化することで、探索的データ分析を高速化する。
■PostgreSQL互換、OSSとして公開
新しいRDBはOLTPエンジンとOLAPエンジンの両方を搭載する。両エンジンに対応するクエリーのコンパイラーも開発する。完全に新規開発のRDBではあるが、SQLクエリーなどアプリケーション開発者にとってのインターフェースはオープンソースソフトウエア（OSS）のRDBであるPostgreSQL（ポストグレスキューエル）互換とすることで、使い勝手を良くする。
新RDB自体もOSSとして公開する計画だ。
省5
210(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)13:47 ID:CoYajOLi(6/11) AAS
>>209
つづき
■楽観的制御と高い分離レベルを両立
SILOの特徴は「SERIALIZABLE」の分離レベルを保証しながら、処理性能も高い点だ。現在の主要RDB製品もSERIALIZABLEを使用できるが、処理性能が大きく落ちてしまうため、デフォルト設定においてトランザクション分離レベルは2段階低い「READ COMMITTED（リード・コミッテッド=コミットされた読み取り）」になっている。SILOのような高い分離レベルと高い処理性能の両立は画期的だった。
SILOはロックを基本的に用いない「楽観的並行実行制御（OCC）」と、複数のトランザクションをまとめてログに記録する「グループコミット」を採用している。基本はロックフリーでトランザクションを並列処理して性能を高めつつ、わずかな時間だけロックを使うことでデータの一貫性を確保するテクニックを用いている。
省5
211: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)13:48 ID:CoYajOLi(7/11) AAS
>>210
つづき
■トランザクション処理方式でも国産目指す
NEDOの新RDBは、まずSILOを採用したDBエンジンを開発する予定だ。その後さらにSILOよりも性能が高いトランザクション処理方式を独自に開発して実装する計画になっている。
ノーチラスの神林会長は「新しいトランザクション処理方式の考案はほぼ済んだ。20年には新方式を実装したプロトタイプを作って性能を示す」と語る。新RDBの完成は22年度の予定だが、早ければ2020年にもその実力の一端が示されることになりそうだ。
省4
212(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)13:53 ID:CoYajOLi(8/11) AAS
>>206
４色問題とかケプラー予想もあったかな（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
ケプラー予想（ケプラーよそう、英: Kepler conjecture ）とは、17世紀の数学者・天文学者ヨハネス・ケプラーに由来する、三次元ユークリッド空間における球充填に関する数学的な予想である。
それによると、等しい大きさの球で空間を充填（パッキング）するとき、平均密度が立方最密充填配置（面心立方）ならびに六方最密充填配置を越えることはない。これらの配置の密度はおよそ74.05%である。
1998年にトーマス・C・ヘイルズ（英語版）はラースロー・フェイェシュ＝トート（英語版）が提案した方法[1]に従ってケプラー予想を証明したと発表した。
省5
213(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)15:42 ID:CoYajOLi(9/11) AAS
>>208
＞ノーチラス・テクノロジーズ（東京・品川）
これか（＾＾
外部ﾘﾝｸ:enterprisezine.jp
EnterpriseZine
DBプロに会いたい！
「すべてのIT屋は全力で反省しろ！」― ノーチラス・テクノロジーズ 神林飛志さん
省12
214: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)15:43 ID:CoYajOLi(10/11) AAS
>>213
つづき
まず社会人としての経歴は会計事務所の公認会計士から始まった。学生のうちにに資格試験に合格したため、大学卒業前から公認会計士として働き始めたという。そこで企業買収などの案件を手がけた。IT業界だとM&Aなんて珍しい話ではないが、90年代当時の日本では「会社は売りものじゃない」という感覚があったそうだ。ちょっと隔世の感。
「短期間で対象となる企業や業界の事情をマスターしなくてはならないため、仕事はとてもタフでした」と神林さんは振り返る。
数年後、茨城を中心に店舗を展開するカスミストアのCIO兼CTOに就任する。実は神林さんはカスミストア創業者の息子。家業を継ぐような感覚だろうか。神林さんのITキャリアはここがスタート地点となる。
任されたのは汎用(はんよう)機で作られた業務システムの刷新。「フルスクラッチで書き換えました。3年くらいかかったかな」とさらりと言う。自らコードも書いたそうだ。
省6
215(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/29(金)16:05 ID:CoYajOLi(11/11) AAS
>>208 参考
もと記事
外部ﾘﾝｸ:tech.nikkeibp.co.jp
2019/10/23 05:00
ニュース解説
NEDOが25億円投じ日の丸RDBを開発中、「国産にも勝機あり」と自信を見せる理由
中田 敦＝日経 xTECH／日経コンピュータ
216: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/30(土)23:10 ID:4Ujjq2jv(1/3) AAS
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
534 名前：１３２人目の素数さん[sage] 投稿日：2019/11/29(金) 23:37:45.11 ID:SJwiXU4F [4/5]
(抜粋)
>要するに、圏、トポス、グロタンディーク宇宙で充満多重同型＋ラベルを使えばsimulate a∈a、loops of mutationsが可能となり、
>ディオファントス幾何の難問に取り組むことができると考えたのでしょう
>以前、「充満多重同型を認めて初めてラベルの問題になる」と書いたことがありますが、
省12
217(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/30(土)23:22 ID:4Ujjq2jv(2/3) AAS
>>215 追加（あまり関係ないが）
外部ﾘﾝｸ:tech.nikkeibp.co.jp
2019/11/28 05:00
技術者の転職 ホントの話
転職後は「社内ぼっち」で構わない、薄くて弱い人間関係をたくさん作ろう
天笠 淳＝アネックス代表取締役／人事コンサルタント
日経 xTECH
省9
218: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/30(土)23:23 ID:4Ujjq2jv(3/3) AAS
>>217
つづき
転職が決まると、それまであまり付き合いがなかった人が近寄ってくることもあります。筆者は退職時に、「お前のように、いつかは俺もこの会社を辞めてやる」と何人かに声をかけられた経験があります。しかし面白いもので、そうした人はほぼそのまま同じ会社にとどまっています。転職は無理にするものではありませんから、願望として心に置いているくらいがちょうど良いのかもしれません。
このように、転職すれば前職の同僚との人間関係がギクシャクしたり、途切れたりすることが多くあります。筆者は退職時に「近くまでお越しの際は気軽にお立ち寄りください」と言うようにしていましたが、実際に寄ってくれた元同僚は1人もいませんでした。
薄くて弱い人間関係をたくさん作る
人生のことを真剣に話せるのは、ずっと一緒に何かに取り組んでいた親友よりも弱い絆の友人であると言われています。転職する際には、自分を定点観測してくれる弱い絆の仲間がいることが、意外と励みになります。
省6
219(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)11:01 ID:id6ENHqe(1/31) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
モデル理論
(抜粋)
モデル理論（英語: model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ：集合論の宇宙）を研究（分類）する数学の分野である。
モデル理論における研究対象は、形式言語の文に意味を与える構造としてのモデルである。もし言語のモデルがある特定の文（英語版）または理論（英語版）（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。
モデル理論は代数および普遍代数と関係が深い。
省8
220: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)11:01 ID:id6ENHqe(2/31) AAS
>>219
つづき
普遍代数
詳細は「普遍代数学」を参照
普遍代数の根本的な概念はシグネチャ（英語版） σ および σ-代数である。これらの概念は構造（英語版）の記事において詳細に定義されている。
一階述語論理
詳細は「一階述語論理」を参照
省7
221(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)11:03 ID:id6ENHqe(3/31) AAS
つづき
範疇性
一階述語論理の節で見られたように、一階理論は範疇的でありえない。すなわち、一階述語論理は同形なある一意なモデルを、そのモデルが有限でない限り記述することができない。
しかし、二つの有名なモデル理論に関する定理は基数κ についての κ-範疇性のより弱い概念を扱うことができる。もし濃度がκ である理論Tの二つのモデルが同形であるならば, T はκ-範疇的と呼ばれる。
κ-範疇性の疑問は、κ がその言語の濃度よりも大きいかどうか（すなわち、 アレフ _{0} + |σ|, ここで |σ| はシグネチャの濃度）に決定的に依存していることが分かる。
有限または可算のシグネチャについて、これは非可算のκ についての アレフ _{0}-濃度と κ-濃度の間に根本的な相違があることを意味している。
モデル理論と集合論
省4
222: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)11:04 ID:id6ENHqe(4/31) AAS
>>221
つづき
初期の歴史
主題としてのモデル理論はおおよそ二十世紀の中頃から存在している。しかしながら、特に数理論理学においてそれ以前から研究されていたいくつかの理論はモデル理論的な性質を持っていたと考えることができる。
モデル理論の系譜における最初の顕著な成果はレオポールト・レーヴェンハイム（英語版）により1915年に発表された下方レーヴェンハイム-スコーレムの定理の特別な事例である。
コンパクト性定理は、トアルフ・スコーレムによる仕事において萌芽が見られるが[1]、ゲーデルの完全性定理の証明中の補題として1930年に初めて発表された。
レーヴェンハイム-スコーレムの定理およびコンパクト性定理は1936年および1941年にモルツェフ（英語版）によって一般的な形で形式化された。
省2
223(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)11:18 ID:id6ENHqe(5/31) AAS
>>221
>例えば、ゲーデルがコーエンにより開発された強制法を用いて行った構成可能集合に対する仕事によって、（哲学的に興味深い）選択公理の独立性（英語版）および集合論の他の公理からの連続体仮説を証明することができる。
ここ誤訳やね
原文は下記
”for example in Kurt Godel's work on the constructible universe, which, along with the method of forcing developed by Paul Cohen can be shown to prove the (again philosophically interesting) independence of the axiom of choice and the continuum hypothesis from the other axioms of set theory.”
＜上記のGoogle和訳に手を入れたもの＞
例えば、クルト・ゲーデルが研究した構成可能な宇宙を使って、ポール・コーエンによって開発された強制の方法とともに、選択公理及び連続体仮説が、集合論の他の公理のからの、（哲学的に興味深い）独立性を証明することができる。
省6
224(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)11:24 ID:id6ENHqe(6/31) AAS
>>223 追加
外部ﾘﾝｸ:ja.wikipedia.org
連続体仮説
(抜粋)
連続体仮説（れんぞくたいかせつ、Continuum Hypothesis, CH）とは、可算濃度と連続体濃度の間には他の濃度が存在しないとする仮説。19世紀にゲオルク・カントールによって提唱された。現在の数学で用いられる標準的な枠組みのもとでは「連続体仮説は証明も反証もできない命題である」ということが明確に証明されている。
歴史
この仮説は 19 世紀に集合論の創始者、ゲオルク・カントールによって提出された。彼自身この解決に熱心に取り組んだことが知られている。可算濃度より連続体濃度の方が大きいことは、カントールの対角線論法によって証明されている。カントールは当初、連続体仮説も証明することはそれほど難しくないと考えていたが、遂に証明することはできなかった。
省6
225: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)11:24 ID:id6ENHqe(7/31) AAS
>>224
つづき
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
ゲーデルの構成可能集合（こうせいかのうしゅうごう、 constructible universe または Godel's constructible universe）とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。
より正確な定義は後に述べる。
ゲーデルは、構成可能集合からなるクラス（通常 L と記される）が ZFC、すなわち ZF に選択公理を加えたものの ZF での内部モデルになることを示した。
省4
226(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)13:40 ID:id6ENHqe(8/31) AAS
>>158 関連
外部ﾘﾝｸ[html]:www.maths.nottingham.ac.uk
Ivan Fesenko - Research in texts
M Most recent
[M3] About certain aspects of the study and dissemination of Shinichi Mochizuki's IUT theory
外部ﾘﾝｸ[pdf]:www.maths.nottingham.ac.uk
ABOUT CERTAIN ASPECTS OF THE STUDY AND DISSEMINATION OF SHINICHI MOCHIZUKI’S IUT THEORY
省15
227(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)13:41 ID:id6ENHqe(9/31) AAS
>>226
つづき
3.3. An attempt to study IUT by two German mathematicians and ethical issues.
In 2013?2017 not a single concrete mathematical remark indicating a serious problem in IUT was produced. This did not prevent
some cheap irresponsible talk. Since 2014 P. Scholze kept talking publicly at various workshops about faults in IUT.12
Eventually Scholze visited RIMS, together with J. Stix, in March 2018, just for 5 days.13
After the meeting, Scholze and Stix came with their caricature version of IUT based on their oversimplification of IUT in which they identify all isomorphic rings and ‘forget’ about the fundamental role of automorphism groups.
省7
228(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)13:41 ID:id6ENHqe(10/31) AAS
>>227
つづき
No mathematicians are known to support the superficial take of Scholze?Stix on IUT.
Their short lived study of IUT17 stands in shark contrast with the deep study of it by the other mathematicians mentioned above, who asked/made many good questions, remarks and comments.
If one does not apply appropriate efforts to study the area of a fundamentally new theory, one does not become an expert in it, whatever one’s own different area of specialisation is and achievements in it.
Of course, it is still possible to contribute useful questions, comments, remarks in relation to more conventional parts of the theory, e.g. those that came in 2012 from two analytic number theorists.
To make a mistake in one’s mathematical study is rather normal, especially when one tries to understand a complex theory going much deeper than standard research.
省10
229: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/01(日)13:46 ID:id6ENHqe(11/31) AAS
>>228 補足
（Google 訳手直し）
4.Developments
いくつかは上記で言及されています。
F.加藤によるIUTに関する本は、より多くの聴衆にIUTのさまざまな機能に関するより一般的な情報を提供します。
この本は、アマゾンのすべての主題分野のベストセラートップ20のリストにあり、八重洲賞を受賞しました。
IUTに関連する新しい開発が、さまざまな方向にあります。
省4
上下前次1-新書関写板覧索設栞歴
あと 773 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s