[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
190(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:50 ID:xcx18NtP(1/7) AAS
>>176
なるほど なるほど
分かりました 分かりました
"ガロアの逆問題"：
「ある基礎体Eに対して、群Gを与えたとき、拡大体Fを求めよ」という問題ですね
で、この視点から、これを広く解釈すれば、類体論もこの類の問題になる（後述）
１）可換の場合
・基礎体Q、1 の冪根（円関数）で、クロネッカー?ヴェーバーの定理
・有理数体の虚二次拡大体の場合、高木類体論（楕円曲線の虚数乗法）
・一般の基礎体Fなら、ノイキルヒの本らしい
２）非可換の場合
・ラングランズ対応
３）これ以外で、数論幾何における高次局所体および高次大域体のアーベル拡大
・A. パーシン、加藤和也、イヴァン・フェセンコ、スペンサー・ブロック、斎藤秀司ら
とか書かれていますね（下記）
イヴァン・フェセンコ先生は、例のIUTで望月先生を支持している方かな？
ではまた（＾＾
（参考）
（>>45-46）
外部ﾘﾝｸ:ja.wikipedia.org
ガロア理論
(抜粋)
逆問題
与えられた方程式（あるいは体のガロア拡大）のガロア群を計算する問題を "ガロアの順問題"、与えられた群をガロア群にもつ方程式（あるいは体の拡大）を構成する問題を "ガロアの逆問題" と呼ぶことがある。
外部ﾘﾝｸ:en.wikipedia.org
Inverse Galois problem
外部ﾘﾝｸ:ja.wikipedia.org
イヴァン・フェセンコ（Ivan Fesenko）は、数論および現代数学での他分野との（数論の）相互作用を研究している、ロシアの数学者である。
(抜粋)
フェセンコは、望月新一の宇宙際タイヒミューラー理論（英語版）(Inter-universal Teichmuller theory、IUT)の研究を整頓するうえで積極的な役割を果たした。
つづく
191(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:51 ID:xcx18NtP(2/7) AAS
>>190
つづき
フェセンコは同研究のサーベイ論文[pub 19]及び一般論説[pub 20]の著者であり、数学界の難問ABC予想を証明できたとする望月の論文（2012年）に関して「証明内容に誤りは無い」と後押しする主張を行った数学者の1人である[4]。
フェセンコは、IUTに関する（同理論を理解したいと考える数学者に向けて内容を説明する）2つの国際ワークショップを共同開催した[pub 21][pub 22]。
外部ﾘﾝｸ:en.wikipedia.org
Class field theory
外部ﾘﾝｸ:ja.wikipedia.org
類体論
(抜粋)
数学における類体論（るいたいろん、英: class field theory, 独: Klassenkorpertheorie）は、有限体上の曲線の函数体や数体のアーベル拡大について、およびそのようなアーベル拡大に関する数論的性質について研究する、代数的整数論の一大分野である。
理論の対象となる体は、一般に大域体もしくは一次元大域体と呼ばれるものである。
与えられた大域体の有限次アーベル拡大と、その体の適当なイデアル類もしくはその体のイデール類群の開部分群との間に一対一対応が取れるという事実によって、類体論の名がある。
例えば、数体の最大不分岐アーベル拡大であるヒルベルト類体は、非常に特別なイデアル類に対応する。類体論は、大域体のイデール類群（即ち、体の乗法群によるイデールの商）によってその大域体の最大アーベル拡大のガロワ群へ作用する相互律準同型 (reciprocity homomorphism) を含む。
大域体のイデール類群の各開部分群は、対応する類体拡大からもとの大域体へ落ちるノルム写像の像になっているのである。
標準的な方法論は、1930年代以降発達した局所類体論（英語版）で、これは大域体の完備化である局所体のアーベル拡大を記述するものであり、これを用いて大域類体論が構築される。
つづく
192(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:51 ID:xcx18NtP(3/7) AAS
>>191
つづき
目次
1 現代的な定式化
2 素イデアル
3 類体論の一般化
4 歴史
5 脚注
6 参考文献
7 関連項目
現代的な定式化
現代的な言葉で言えば、基礎体 K の最大アーベル拡大 A は存在して、その拡大次数は K 上無限大となり得るから、その時 A に対応するガロワ群 G は副有限群となり、従ってコンパクト位相群かつまたアーベル群になる。
類体論の中心定な目的は、この群 G を基礎体 K の言葉で記述することである。特に、K の有限次アーベル拡大と K に対する適当な（有限な剰余体を持つ局所体の場合の乗法群や大域体の場合のイデール類群のような）対象におけるノルム群との間の一対一対応を確立し、それらのノルム群を（例えば、指数有限な開部分群といったように）直截的に記述することである。
そのような部分群に対応する有限次アーベル拡大を類体と呼び、これが理論の名称の由来となっている。
類体論の基本的な結果は「最大アーベル拡大のガロワ群 G は、基礎体 K のイデール類群 CK の（基礎体 K の特定の構造に関係して CK に入る自然な位相に関する）副有限完備化に自然同型である」ことを主張する。
同じことだが、K の任意の有限次ガロワ拡大 L に対し、この拡大のガロワ群の最大アーベル商（アーベル化）と、K のイデール類群を L のイデール類群のノルム写像による像で割ったものとの間に、同型
Gal(L / K)ab → CK / NL/K CL
が存在する[1]。
つづく
193: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:51 ID:xcx18NtP(4/7) AAS
>>192
つづき
幾つかの小さい体、例えば有理数体 Q やその虚二次拡大体については、もっとたくさんの情報が得られる詳細な理論が存在する。
例えば、Q のアーベル化絶対ガロワ群 G は、全ての素数に亙って取った p-進整数環の単元群の無限直積（に自然同型）であり、対応する Q の最大アーベル拡大は 1 の冪根全てによって生成された体となる。
このことは、もとはレオポルト・クロネッカーの予想であったクロネッカー?ヴェーバーの定理として知られる。
この場合の、類体論の相互律同型（あるいはアルティンの相互律写像）も同定理に従って具体的に書くことができる。
1 の全ての冪根からなる群を
μ_∞(⊃C^X)
と書くことにする（円周群C^×のねじれ部分群）と、アルティンの相互律写像はそれが数論的正規化されているならば
＾Z^X→G_Q^ab=Gal(Q(μ_∞)/Q);x→(ζ→ζ^x)
によって、あるいはそれが幾何学的正規化されているならば
＾Z^X→G_Q^ab=Gal(Q(μ_∞)/Q);x→(ζ→ζ^-x)＾
によって与えられる。
しかし、このような小さな代数体に対する詳細理論の主要な構成法は一般の代数体の場合にまで拡張することはできないし、一般類体論で用いられるのはもっと違った概念的原理である。
相互律準同型を構成する標準的な方法は、まず大域体の完備化の乗法群からその最大アーベル拡大のガロワ群への局所相互律同型を構成し（ここまでは局所類体論の範疇でできる）、それからそれらすべての局所相互律写像の積を大域体のイデール群上で定義するとき、その積が大域体の乗法群の像の上で自明となることを示すことで行われる。
最後のところのこの性質を大域相互律 (global reciprocity law) と言い、これはガウスの二次の相互律の広汎な一般化になっている。
相互律準同型を構成するのに類構造（英語版）を用いる方法もある。
コホモロジー群（特にブラウアー群）を用いる方法や、コホモロジーを用いずに非常に明示的で応用が利く方法などもある。
つづく
194(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:52 ID:xcx18NtP(5/7) AAS
>>192
つづき
素イデアル
G の抽象的な記述だけではなくて、そのアーベル拡大においてどのように素イデアルが分解するかを理解することが数論の目的にとってより本質的である。
この記述はフロベニウス元を用いて、二次体における素数の因数分解の様子を完全に与える二次の相互律を非常に広範に一般化するものである。
つまり、類体論の内容には、（三次の相互律といったような）より高次の「冪剰余の相互律」についての理論が含まれるのである。
類体論の一般化
数論における一つの自然な展開は、大域体の（アーベルとは限らない）一般のガロワ拡大に対する情報を与える非可換類体論の構成と理解を行うことである。
ラングランズ対応が非可換類体論と見做されることが多く、そして実際にラングランズ対応が確立されたときには大域体の非可換ガロワ拡大に関する非常に豊かな理論を含むことになるのだが、しかしラングランズ対応はアーベル拡大の場合の類体論が持っていた有限次ガロワ拡大についての数論的情報のほとんどを含んでいないのである。
しかもラングランズ対応は類体論の存在定理に対応するものも含んでいない、即ち、ラングランズ対応における類体の概念は存在しないのである。
局所および大域の非可換類体論はいくつか存在し、それらはラングランズ対応の観点に対する別の選択肢を与えてくれる。
もうひとつ、数論幾何における自然な展開は、高次局所体および高次大域体のアーベル拡大を構成及び理解することである。
後者の高次大域体は、整数環上の有限型スキームの函数体およびその適当な局所化や完備化として生じる。
「高次局所および大域類体論」は代数的 K-理論や、一次元類体論で用いられる K1 の代わりに適当なミルナー K-群を用いる。高次局所および大域類体論は、A. パーシン、加藤和也、イヴァン・フェセンコ、スペンサー・ブロック、斎藤秀司らの数学者が展開した。
代数的 K-理論を用いずに高次大域類体論を展開しようとする試みもある (G. Wiesend) が、このやり方は高次局所類体論を含むものではなく、また局所理論と大域理論との間に互換性がない。
つづく
195(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:52 ID:xcx18NtP(6/7) AAS
>>194
つづき
歴史
詳細は「類体論の歴史（英語版）」を参照
類体論の起源はガウスによって与えられた平方剰余の相互律にある。
それが一般化されるまでには長きに亙る歴史的な取り組み、たとえば二次形式とその「種の理論」、クンマー・クロネッカー・ヘンゼルなどのイデアルおよび完備化に関する業績、円分体およびクンマー拡大の理論などがあった。
最初の二つの類体論は、非常にはっきりした円分類体論と虚数乗法類体論である。
これらは付加的な構造（有理数体の場合には 1 の冪根、有理数体の虚二次拡大体の場合には楕円曲線が虚数乗法を持つことと位数有限であること）が利用できる。
随分後になって、志村の理論は代数的数体のクラスに対する非常に明示的な新たな類体論を与えた。これらは基礎体の具体的な構造を非常に陽に用いる理論であって、勝手な数体に対してもうまくいくように拡張することはできない。
正標数 p の体に関しては、河田と佐武がヴィット双対性を用いて相互律準同型の p-成分の非常に平易な記述を得ている。
しかし、一般類体論はこういったものとは異なる概念を用い、その構成法が任意の大域体に対してうまく機能するようにしなければならない。
ヒルベルトの有名な問題が更なる発展の刺激となって、高木貞治、フィリップ・フルトヴェングラー、エミール・アルティン、ヘルムート・ハッセほか多数による種々の相互律が導かれることとなった。
つづく
196: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/25(金)18:53 ID:xcx18NtP(7/7) AAS
>>195
つづき
著しく重要な高木の存在定理が1920年に知られ、全ての主要な結果は1930年ごろまでには出そろっていた。
証明されるべき古典的な予想の最後の一つは単項化定理（英語版）であった。類体論の最初の証明には、頑強な解析学的手法が用いられた。
1930年代以降は、無限次元拡大とそのガロワ群に関するヴォルフガンク・クルルの理論が有効であることが次第に認められていく。
この理論はポントリャーギン双対性と結びついて、中心的な結果であるアルティンの相互律のより抽象的な定式化が分かり易くなった。
重要な段階は、1930年代にクロード・シュヴァレーによってイデールが導入されたことである。
イデールをイデアル類の代わりに用いることで、大域体のアーベル拡大を記述する構造は本質的に明確化および単純化され、中心的な結果のほとんどが1940年までに証明された。
この結果の後には、群コホモロジーの言葉を使った定式化がなされ、それが何世代かの数論学者が類体論を学ぶ際の標準となったが、コホモロジーを用いる方法の難点の一つは、それがあまり具体的でないことである。
ベルナルド・ドワーク、ジョン・テイト、ミッシェル・ハゼウィンケルによる局所理論への貢献、およびユルゲン・ノイキルヒによる局所および大域理論の再解釈の結果として、あるいは多くの数学者による明示的な相互公式に関する業績と関連して、1990年代にはコホモロジーを用いない非常に明確な類体論の表現が確立された。
このあたりの詳細は、例えばノイキルヒの本を参照せよ。
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.033s