[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
214(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)10:55 ID:fHUQGPHQ(1/24) AAS
>>198
ID:QC0xCFfPさん、どうも。スレ主です。
ありがとう ありがとう
了解です
あなたの言っているのは、
自由度を上げると解けるって話ですね
元は
省24
215(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:03 ID:fHUQGPHQ(2/24) AAS
>>190
Fesenko先生、下記 渡邉崇
”高次元局所類体論の諸定理を I.B.Fesenko([F2]) の方法で示した”か
で、ところで、下記はOpenなのか
”今のところ素体 (有理数体 Q および有限体) に関係する体において、扱いやすい形で
Abel 拡大における Galois 群を近似する方法・すなわち類体論がいくつか知られているわ
けだが、素体によらない体で、類体論が構成され得るのか? また１世紀以上過ぎても依然
省28
216(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:05 ID:fHUQGPHQ(3/24) AAS
>>215
つづき
本論文では、まず §2 で高次元局所体の性質、§3 で K 群の性質を述べた後に、§4 で
主定理の証明方法の方針を示す. そして主定理の証明に決定的な役割を果たす Kummer
pairing（§5) と Artin-Schreier-Witt pairing(§7) の非退化性を示し、最後に §8 主定理の
証明と、他の重要な存在定理などを述べる.
1.2 歴史
省21
218(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:06 ID:fHUQGPHQ(4/24) AAS
>>216
つづき
Parshin による類体論の証明方法 ([P1]) は、河田・佐竹による標数 p (> 0) の局所類体論の証明方法 ([KS1]) を応
用したものである. この論文で述べることであるが、Parshin による証明は主定理の証明
において表面上は Cohomology を使用しない類体論の証明方法である. 加藤と Parshin
の証明の大きな違いを述べると、Parshin の方法は K 群から最大 Galois 群の p-part へ
の写像の構成が、加藤の証明方法のように de Rham-Witt Complex を用いたりせず、
省17
219(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:07 ID:fHUQGPHQ(5/24) AAS
>>218
つづき
今のところ素体 (有理数体 Q および有限体) に関係する体において、扱いやすい形で
Abel 拡大における Galois 群を近似する方法・すなわち類体論がいくつか知られているわ
けだが、素体によらない体で、類体論が構成され得るのか? また１世紀以上過ぎても依然
として Hilbert23 の問題の未解決問題として残っている類体の構成問題は、類体論が証明
されているすべての体上で解決できる問題なのか? など代数体の類体論が完成して、一世
省3
221(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:08 ID:fHUQGPHQ(6/24) AAS
>>219
つづき
河田 敬義先生 数学1954年
「§7.結び
もともと類体論はHilbertによつて示唆
されたように,代数函数体の不分岐拡大の理論の
整数論における類似を求めようという企てから出
省35
222(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:09 ID:fHUQGPHQ(7/24) AAS
>>221
つづき
以下まず類構造の一般論
を述べ(§1),Kummer拡大およびρ 拡大
(§2),および古典的代数函数体(§3)の場合に
あてはめる.次にWei1[17]が整数論において考
察したいわゆるWei1群の理論を一般の類構造
省37
223(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:09 ID:fHUQGPHQ(8/24) AAS
>>222
つづき
(ii)すでに知られたアーベル拡大でも,いま
だ類構造の形で述べられないものがある。例えば
(イ)標数pの代数的閉体を係数体とする1変数
代数函数体kの不分岐p拡大の場合にはSafarevic
の結果より, G(Ω/k)は自由群のp完備とな
省33
224(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:11 ID:fHUQGPHQ(9/24) AAS
>>223
つづき
加藤 和也先生（＾＾
外部ﾘﾝｸ:www.jstage.jst.go.jp
数学/40 巻 (1988) 4 号/書誌
類体論の一般化
加藤 和也
省30
225(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:12 ID:fHUQGPHQ(10/24) AAS
>>224
つづき
そうしたいろいろな問題に,
昔からの類体論の伝統的手法や見方が.定式化を適切にすれば適用できると信ずることは楽しい.
その報文で,アーベル拡大の理論には多くの宝が蔵されていると述べたHilbertの言葉は,今も真
理であると考えたい.
筆者が類体論に志したのは,河田敬義・伊原康隆両先生のおすすめによるものである.([6]に提
省16
226(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:13 ID:fHUQGPHQ(11/24) AAS
>>225
つづき
§4.3.D加群との類似
この§4.3では,D加群の理論との類似を追いながら,定理(4.2.1)のC(ρ)を定義する.D加群
の理論では,cotangent bundle上に定義されるD加群のcharacteristic cycleと, cotangent
bundleの0-sectionめ交わりとして,重要なo-cycle classが定義されるので,それをまねるので
ある.
省8
228(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:15 ID:fHUQGPHQ(12/24) AAS
>>226
つづき
非可換の場合（＾＾；
外部ﾘﾝｸ:deepblueibm.hatena（URLがNGなので、キーワードでググれ（＾＾ ）
All arts is quite useless
2017-03-24
非可換類体論とは
省17
230(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:23 ID:fHUQGPHQ(13/24) AAS
>>228
つづき
なので最大アーベル拡大は整数環の副有限完備化の単数群と同型ですが、整数環に定義される指標といえばディリクレ指標なのでこの関係式は「ガロア群の表現とディリクレ指標の一対一対応」と考えることができます。
詳しく言うとΠ1/1?(a/p)p=Σλ(n)/n^nが二次体のガロア表現と保型表現の対応になるみたいです。
類体論の骨組みは代数体上アーベル拡大のガロア群がイデール類群と同型になるような写像を作れるということでした。
(イデールはアデールの可逆元の集合でアデールはある体のp進付値で完備化したものをぜんぶくっつけたものです。
よくわからないならZに対するRみたいなもので(イメージは全然違いますが任意の体に(位相的に見てZとRの関係性に似たような関係を持つ)体を定義したようなものです。)
省9
231(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:24 ID:fHUQGPHQ(14/24) AAS
>>230
つづき
(どんな部分表現かは理解してません。英語のpdfでも探してみてください。
一方ガロア表現の定義はK を体とし，GK を K の絶対 Galois 群E を 複素数体 C，p進体（Qp の有限次拡大、有限体のいずれかとし、V を体 E 上の有限 次元ベクトル空間として、K の Galois 表現とは，連続準同形 ρ: Gal(K/K) ?→ GL(V ) のことです。
そしてなぜ志村谷山予想がラングランズプログラムの一部かというと楕円曲線Eのl分点の群E［l］をQの絶対ガロア群の表現として考えて保形形式と結びつけて考えたからみたいです。
これは僕の考察ですがKを標数pの体としてE→Eの自己同型写像を整数Nに対してN倍写像と定義されていているのでl^n分点アーベル群を逆極限とった加群がTate加群ってことなのかな？
おそらくだけど楕円曲線は「いい素数」だけを見たくて、そのいい素数の集合で考えるのが便利との発想でl進数で考えてるのかな？
省6
233(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:29 ID:fHUQGPHQ(15/24) AAS
>>231
つづき
可換類体論のまとめ（＾＾
外部ﾘﾝｸ:lemniscus.hatena（URLがNGなので、キーワードでググれ（＾＾ ）
再帰の反復blog
2014-07-06
類体論についてのメモ
省21
234(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:31 ID:fHUQGPHQ(16/24) AAS
>>233
つづき
類体論の源流クロネッカー（＾＾
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
類体論の源流
三宅克哉 (東京都立大学理学研究科) 数理解析研究所講究録 1060 巻 1998 年 185-209
(抜粋)
省24
235(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:32 ID:fHUQGPHQ(17/24) AAS
>>234
つづき
類体論の源流クロネッカー（＾＾
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
類体論の源流
三宅克哉 (東京都立大学理学研究科) 数理解析研究所講究録 1060 巻 1998 年 185-209
(抜粋)
省18
236(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:34 ID:fHUQGPHQ(18/24) AAS
>>235
つづき
数学上の予想ないし研究課題としての 「クロネッカ $-$ の
青春の夢」 は, 彼がデデキントに宛てた 1880 年の手紙 ( $[\mathrm{K}\mathrm{r}- 1880\mathrm{b}]\rangle$ のなかで, 彼が
「私のいちばんのお気に入りの青春の夢」 $\langle$
... um meinen liebsten Jugendtraum, $\ldots\rangle$ と呼
んだ, おおむね次のような数学の問題 (予想) を指す :
省18
238(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:36 ID:fHUQGPHQ(19/24) AAS
>>236
つづき
しかし, 彼の代数的数論における 「研究計画」 は, 必ずしも 「代数的整数
「モデュール」 , 「オーダー」 , 「イデアル」等の概念め抽出とか, それらによる代数
的数論の骨格の基礎づけに最大の主眼があったわけではなかった. 彼にはもっと明確な
数論らしい問題意識があった. 純 3 次体に対する類数公式の探求が彼を強く動機づけて
いたものと思われる.
省20
239: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)11:37 ID:fHUQGPHQ(20/24) AAS
>>238
つづき
例えば, 有理数体上のアーベル多項式の根が 1 の累乗根の有理整数係数の有理式とし
て表わされることを 「発見」 して, 躊躇わずにそれを 「定理 $\langle \mathrm{s}_{\mathrm{a}\mathrm{t}\mathrm{Z}}\rangle$ 」 として報告した
$\langle_{15}\mathrm{K}\mathrm{r}- 183$ ]). 有限体の扱い方を例にとれば, 彼は決してガロア流を採らず, あくまで
もガウス流にこだわり続けたろう. それは, 彼の代数体における因子論 ([Kr-lae21; 高
木 [T-19481, 附録 (三) 参照) からも想像がつく. 例えば彼は, 師でもあったクムマー
省14
250(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)21:50 ID:fHUQGPHQ(21/24) AAS
>>215
追加
外部ﾘﾝｸ:www.jstage.jst.go.jp
数学/67 巻 (2015) 3 号/書誌
論説
高次元類体論の現在
??非アーベル化への展望と高次元Hasse原理??
省22
251(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)21:51 ID:fHUQGPHQ(22/24) AAS
>>250
つづき
外部ﾘﾝｸ:ja.wikipedia.org
代数体
(抜粋)
数学の体論・代数的整数論における代数体（だいすうたい、英: algebraic number field[注 1]）とは、有理数体の有限次代数拡大体のことである。代数体 K の有理数体上の拡大次数 [K:Q]を、K の次数といい、次数が n である代数体を、n 次の代数体という。 特に、2次の代数体を二次体、1のベキ根を添加した体を円分体という。
K を n 次の代数体とすると、K は単拡大である。つまり、K の元 θ が存在して、K の任意の元 α は、以下の様に表される。
省22
252: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)22:05 ID:fHUQGPHQ(23/24) AAS
>>251 追加
外部ﾘﾝｸ:ja.wikipedia.org
二次体
(抜粋)
二次体 (にじたい、英: quadratic field) は、有理数体上、2次の代数体のことである。任意の二次体は、平方因子を含まない 0, 1 以外の整数 d を用いて、Q(√d)と表現される。
もし、d > 0 である場合、実二次体 (real quadratic field)、d < 0 の場合、虚二次体 (imaginary quadratic field) という。
性質
省15
254(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/26(土)23:38 ID:fHUQGPHQ(24/24) AAS
>>214
(引用開始)
自由度を上げると解けるって話ですね
元は
"ガロアの逆問題" （下記）：
基礎体Fと群G（非可換の場合も）が与えられたとき、拡大体Eを構成せよ
対して、
省29
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s