[過去ﾛｸﾞ] 純粋・応用数学 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
93: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/02(木)23:01 ID:kD9YEDnI(8/8) AAS
以上、”ウェイト・モノドロミー予想”とは？ について、調べた むずいｗｗ（＾＾；
94(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/03(金)00:16 ID:DyKRdYgC(1/3) AAS
外部ﾘﾝｸ:en.wikipedia.org
Perfectoid space
(抜粋)
In mathematics, perfectoid spaces are adic spaces of special kind, which occur in the study of problems of "mixed characteristic", such as local fields of characteristic zero which have residue fields of characteristic prime p.
A perfectoid field is a complete topological field K whose topology is induced by a nondiscrete valuation of rank 1, such that the Frobenius endomorphism Φ is surjective on K°/p where K° denotes the ring of power-bounded elements.
Perfectoid spaces may be used to (and were invented in order to) compare mixed characteristic situations with purely finite characteristic ones. Technical tools for making this precise are the tilting equivalence and the almost purity theorem. The notions were introduced in 2012 by Peter Scholze.[1]
Contents
1 Tilting equivalence
1.1 Almost purity theorem
2 See also
95(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/03(金)00:43 ID:DyKRdYgC(2/3) AAS
＜ウェイト・ モノドロミー予想＞
１．伊藤哲史先生>>87-88
「Langlands 対応などへの応用上は, 残された混標数の場合が重要であると考えら
れる. しかし, この場合は, 様々な部分的な結果はあるものの, 一般には未解決である」
２．Perfectoid space >>94
「In mathematics, perfectoid spaces are adic spaces of special kind, which occur in the study of problems of "mixed characteristic"」
で、"mixed characteristic"混標数の性質の良い空間を作って
そこで、ウェイト・ モノドロミー予想を部分解決したってことかな？（>>31）
３．「ウェイト・モノドロミー予想(weight-monodromy conjecture)とは,Deligneにより1970年の国際数学者会議において提出された予想である([D1]).」
「これは,完備離散付値体上の固有かつ滑らかな代数多様体のl進コホモロジーに定義されたモノドロミー・フィルトレーションの重み(weight)が純であるという予想として定式化されており,」
省11
96: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/03(金)00:43 ID:DyKRdYgC(3/3) AAS
>>95
つづき
This is the perfectoid analog of the fact that the absolute Galois group GK of a p-adic field K has autormorphisms which do not preserve the ring structure of K.
Now let me explain that the main theorem of [Sch12b] provides the perfectoid analog of anabelomorphy (in all dimensions).
Suppose that K is a complete perfectoid field of characteristic zero.
Let X/K be a perfectoid variety over K, which I assume to be reasonable, to avoid inane pathologies. Let π1(X/K) be its ´etale site. Let Xb/Kb be its tilt.
Then the main theorem of [Sch12b] asserts that
Theorem 26.1. The tilting functor provides an equivalence of categories π1(X/K) → π1(Xb/Kb).
If L is any untilt of Kb and Y/L is any perfectoid variety with tilt Yb/Lb =〜 Xb/Kb.
Then one has π1(X/K) =〜 π1(Y/L) and in particular X/K and Y/L are perfectoid anabelomorphs of each other.
省5
97: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/03(金)13:42 ID:eln2Kr6c(1) AAS
メモ貼る
外部ﾘﾝｸ[pdf]:imetrics.co.jp
iMetrics Academy Press
AI 時代の数学
(層・圏論・そしてトポスへの道のり) 2019 SPRING 2019. 6. 21
数学とは言語
Author: Sage Kusafusa 草房誠二郎
Production：iMetrics.co.jp (Japanese/ ENGLISH)
外部ﾘﾝｸ[pdf]:imetrics.co.jp
外部ﾘﾝｸ[pdf]:imetrics.co.jp
省4
98(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/04(土)23:06 ID:t13u2EPI(1/4) AAS
数学は暗記か
2chｽﾚ:math
（関連）
外部ﾘﾝｸ:todai-counseling.com
東大医学部生の相談室
東大理系数学2020の入試問題・解答解説・難易度 2020.02.26
(抜粋)
第一問
第一問は以下のような出題でした。
画像ﾘﾝｸ[png]:todai-counseling.com
省23
99: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/04(土)23:12 ID:t13u2EPI(2/4) AAS
>>98 訂正
ax^2+bx+c >0
bx^2+cx+a >0
cx^2+ax+b >0
↓
ax^2+bx+c > 0
bx^2+cx+a > 0
cx^2+ax+b > 0
不等号と数字の間にスペースを入れないと、リンクのアンダーラインが入ってしまうんだな（＾＾；
100(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/04(土)23:12 ID:t13u2EPI(3/4) AAS
>>98 参考
外部ﾘﾝｸ:www.zkai.co.jp
Ｚ会
「東大理系数学」2020年度東大入試分析
(抜粋)
大問別のポイント
第１問
2次不等式についての証明問題で、あまり見かけないタイプ。
小問に従って考えていけばよく、内容は難しくないが、答案が書きにくい問題といえる。
攻略のためのアドバイス
省10
101: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/04(土)23:14 ID:t13u2EPI(4/4) AAS
>>100 補足
>●要求１● 高度な思考力
>特別な知識は要求されないものの、高いレベルの思考力、発想力を試す問題が多く出題されている。他の大学では、一見しただけで典型問題だとわかる出題が多いが、東大では出題の仕方がかなり工夫されており、すぐには問題の解法が浮かびにくいものが多い。初見の問題に色々な面からアプローチして、解法を決める力が求められる。確率、整数の問題で主にこの力が問われる。
暗記数学を外してくるのが、東大の入試問題です
102(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/05(日)19:48 ID:cTzpxuVq(1) AAS
「大学への数学」2020年4月号に、服部哲弥（はっとり てつや）のインタビュー記事があったな
（これ前編で、後編は来月です）
面白かった
灘（中高）から、東大物理−数学−慶応経済教授という経歴ですね
へー（＾＾；
外部ﾘﾝｸ:ts-webstore.net
「大学への数学」2020年4月号
外部ﾘﾝｸ[htm]:web.econ.keio.ac.jp
服部哲弥
外部ﾘﾝｸ[htm]:web.econ.keio.ac.jp
省8
103: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/10(金)23:50 ID:ggDNa9JL(1) AAS
メモ貼る
外部ﾘﾝｸ:language-and-engineering.hatenablog.jp
主に言語とシステム開発に関して
数学の「ABC予想」の証明の原論文PDFと，わかりやすい解説資料。「宇宙際タイヒミュラー理論」2014/08/04
104: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/26(日)17:17 ID:7O7a3CML(1) AAS
>>102
「大学への数学」2020年5月号に、服部哲弥（はっとり てつや）のインタビュー記事があって
読んできた（＾＾；
（これ後編です）
外部ﾘﾝｸ:ts-webstore.net
「大学への数学」2020年5月号
発売日：2020/4/20
外部ﾘﾝｸ[htm]:web.econ.keio.ac.jp
服部哲弥
外部ﾘﾝｸ[htm]:web.econ.keio.ac.jp
省8
105(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/29(水)12:54 ID:k6OCtbXM(1/2) AAS
メモ
外部ﾘﾝｸ:www.saiensu.co.jp
サイエンス社
数理科学 2017年9月号 Ｎｏ.651
数論と解析学
《女王》と関数が織りなす世界
ゼータ関数・L関数と解析学 鈴木正俊
これの詳しい話が下記です
外部ﾘﾝｸ[pdf]:www.math.titech.ac.jp
ゼータ関数と微分方程式
省19
106: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/29(水)12:54 ID:k6OCtbXM(2/2) AAS
>>105
つづき
参考文献
[La] Lagarias, J. C., Hilbert spaces of entire functions and Dirichlet L-functions, Frontiers in number theory, physics, and geometry. I, Springer, Berlin, (2006), 365?377.
[Su1] Suzuki, M., An inverse problem for a class of canonical systems and its applications to self-reciprocal polynomials, J. Anal. Math. 136, (2018), 273?340.
[Su2] Suzuki, M., Hamiltonians arising from L-functions in the Selberg class,
外部ﾘﾝｸ:arxiv.org
(引用終り)
以上
107(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/05/02(土)07:35 ID:qpZJrq8I(1/2) AAS
＜閑話休題＞数学と関係ないが、貼る
外部ﾘﾝｸ:headlines.yahoo.co.jp
外部ﾘﾝｸ:urbanlife.tokyo
urban life metro 知る！TOKYO
童謡「赤い靴」の真実 女の子は異人さんに連れて行かれはしなかった
合田一道（ノンフィクション作家）2020年5月1日
(抜粋)
子どもの頃、誰もが1度は口ずさんだことのある童謡「赤い靴」。そこに歌われた女の子の数奇な運命をご存じですか？ ノンフィクション作家の合田一道さんが、彼女の短い生涯をたどります。
赤い靴 はいてた 女の子 異人さんに つれられて 行っちゃった
横浜の 埠場（はとば) から 船に乗って 異人さんに つれられて 行っちゃった
省6
108: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/05/02(土)07:35 ID:qpZJrq8I(2/2) AAS
>>107
つづき
開墾（かいこん）を目指す志郎に求婚されたかよは、幼いきみを連れていくのは無理と断ります。そこへ別れたはずの佐野が現れ、東京にいるアメリカ人宣教師夫妻が養女を欲しがっていると伝え、きみを手放すよう勧めます。
かよは涙ながらにきみを宣教師夫妻に託したのでした。
雨情は、その女の子がいまはアメリカでどんな暮らしをしているのかと思い、後に東京に移ってから雑誌に発表したのです。「赤い靴」は大評判になり、誰もが口ずさむようになりました。
今、彼女がたたずむ麻布十番、横浜、留寿都
ところが「赤い靴」が発表されて半世紀も過ぎた1973 (昭和48）年初冬、北海道新聞の読者欄に、富良野市に住む女性から投書が寄せられたのです。
省8
109: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/05/05(火)23:49 ID:dnbV/fKk(1) AAS
メモ貼る
外部ﾘﾝｸ[html]:www.imojp.org
公益財団法人 数学オリンピック財団
JMO 本選成績（1990年?）
１９９１年 第１回日本数学オリンピック成績優秀者一覧
安田 正大 開成高等学校 高２
吉田 輝義 筑波大附属駒場中学校 中１
URL略 /hiroyukikojima.
hiroyukikojima’s blog
2011-04-04
省11
110: 2020/05/08(金)11:46 ID:WmDpVhCu(1) AAS
3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ，
宿題が 3/10 = 30% でした！
宿題の勝率が低すぎると思うので、
省3
111: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)13:09 ID:Mxr6sv2r(1/5) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。
シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。
直観的説明
上記の規則群は「論理規則」と「構造規則」に分けられる。論理規則は帰結関係 {\displaystyle \vdash }\vdash の右辺か左辺に新たな論理式を導入する。一方、構造規則はシークエントの構造を操作し、論理式の正確な形を無視する。例外として同一性の公理 (I) とカット規則 (Cut) がある。
これらの規則のほとんどは、どう証明すればよいかを示しているが、カット規則だけは異なる。カット規則 (Cut) は、論理式 A が帰結となり、同時に他の帰結の前提にもなる場合、A を除いて論理的帰結関係を結合することができることを示している。証明をボトムアップで行う場合、A を具体的に何にするかという問題が生じる（横棒の下に出現しないため）。この問題はカット除去定理で扱われる。
同一性の公理 (I) もある意味で特殊である。直観的には A ならば A であるという自明なことを意味しているにすぎない。
112(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)13:13 ID:Mxr6sv2r(2/5) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
カット除去定理
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ナビゲーションに移動検索に移動
カット除去定理（カットじょきょていり、英: Cut-elimination theorem）は、シークエント計算の手法の重要性を示す、数理論理学の主要な結果のひとつである。
（数理論理学の）基本定理と呼ぶこともある。ゲルハルト・ゲンツェンが1934年に書いた記念碑的論文 "Investigations into Logical Deduction" で、古典論理と直観論理の体系をそれぞれ形式化したシークエント計算の形式的体系 LK 及び LJ において、最初に証明が与えられた。
カット除去定理は、シークエント計算の推論規則であるカット規則を用いて証明可能な式には、カット規則を用いない証明図もまた必ず存在することを示したものである。
目次
1 シークエント
省6
上下前次1-新書関写板覧索設栞歴
あと 890 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s