アルティン相互法則
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/01/11 16:01 UTC 版)
重要性
アルティン相互法則は大域体 K の絶対ガロア群のアーベル化をハッセの局所・大域原理やフロベニウス元に基づいて記述するというものである。高木の存在定理とあわせることで K のアーベル拡大のようすや、そこでの素数の振る舞いを理解することができる。従って、アルティン相互法則は、大域類体論の主要な定理のひとつである。アルティン相互法則は、アルティンのL-函数が有理型であることの証明や、チェボタレフの密度定理の証明に使われる[6]。
アルティンは、一般相互法則の出版の 2 年後、シューアの移送準同型を再発見した。相互法則を用いることにより、代数体のイデアル類の単項化問題を、有限非アーベル群の移送準同型の核を決定するという群論の問題に翻訳した。[7]
大域体の有限次拡大
アルティン写像は、素イデアルとフロベニウス元を用いて具体的に記述される。
を K の素イデアルとすると、 上の素イデアル の分解群は、ガロア群がアーベル的であるので のとりかたによらず Gal(L/K) において等しい。 が L で不分岐であれば、分解群 は、剰余体 の拡大 のガロア群に標準的に同型である。従って、 もしくは と書かれる Gal(L/K) のフロベニウス元を剰余体のガロア群のフロベニウス元のもちあげとして標準的に定義することができる。Δ で L/K の相対判別式(relative discriminant)表すとする。L/K のアルティン記号(あるいは、アルティン写像、大域相互写像)は、上のフロベニウス元の定義を線型に拡張したものとして素イデアルと Δ の分数イデアル群 の上に定義される。
アルティン相互法則 (もしくは大域相互法則) は、K の モジュラス c が存在し、アルティン写像が同型
を引き起こすという法則である。ここに Kc,1 は c を法とする射線全体、は単項分数イデアルに送る写像、NL/K は L/K に付随するノルム写像、I c
L は L の c と素な分数イデアルである。そのようなモジュラス c は L/K の定義モジュラスと呼ばれる。最小な定義モジュラスを L/K の導手といい、典型的には と書く。
例
二次体
を平方因子を持たない整数とし、K = Q、 とすると、ガロア群 Gal(L/Q) は {±1} と同一視される。Q 上の L の判別式 Δ は、d ≡ 1 (mod 4) ならば d、そうでないならば 4d となる。従って、アルティン写像はΔ を割らないような素数 p にたいし
と定義される。ここに はクロネッカーの記号(Kronecker symbol)である[8]。さらに具体的には、L/Q の導手は、Δ が正ならば (Δ)、負であれば (Δ)∞ であり[9]、分数イデアル群 (n) 上のアルティン写像はクロネッカーの記号 により与えられる。このことから、素数 p が L で分解するか否かは、 が 1 であるか、−1 であるかに従う。
円分体
m (>1) を奇数かもしくは、4 の倍数とし、ζm を 1の原始 m乗根とし、L = Q(ζm) を m次の円分体とする。ガロア群 Gal(L/Q) は (Z/mZ)× と次の写像によって同一視することができる。σを
により与えられる aσ にうつす。L/Q の導手は (m)∞ であり[10]、 m と素なイデアル (n) 上のアルティン写像は、単純に (Z/mZ)× の元 n (mod m) である[11]。
平方剰余の相互法則との関係
p と ℓ を異なる奇素数とし、ℓ* = (−1)(ℓ−1)/2ℓ (いつも 1 (mod 4) である) とする。二次相互法則とは
なる関係のこと。二次相互法則とアルティン相互法則の関係は、次のように、二次体 と円分体 を研究することで得られる[8]。この F は L の部分体である。H = Gal(L/F) および G = Gal(L/Q) とすると、Gal(F/Q) = G/H である。G/H は位数が 2 であるので、部分群 H は G=(Z/ℓZ)× において平方元全体のなす部分群である。アルティン記号の基本的性質により、ℓと素なイデアル (n) に対し、
となることがわかる。とくに n = p とすると、 であることと、H の中で p (mod ℓ) であること、すなわち、p は modulo ℓ で二乗であることが同値であることがわかる。
コホモロジー的解釈
大域相互法則のコホモロジー的な証明は、まず
がアルティン・テイトの意味で類構造を成すことを確かめることで達成される[12]。そうすれば、
が証明される。ここに はテイトコホモロジー群を表す。コホモロジー群の計算により θ が同型であることが確かめられる。
- ^ Helmut Hasse, History of Class Field Theory, in Algebraic Number Theory, edited by Cassels and Frölich, Academic Press, 1967, pp. 266–279
- ^ Neukirch 1999, p. 391.
- ^ Neukirch 1992, p. 408—実は、分岐も追跡するより精確な相互律
- ^ Serre 1967, p. 140.
- ^ Serre 1979, p. 197.
- ^ Neukirch 1992, Chapter VII.
- ^ Artin, Emil (December 1929), “Idealklassen in oberkörpern und allgemeines reziprozitätsgesetz”, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 7 (1): 46–51, doi:10.1007/BF02941159.
- ^ a b Lemmermeyer 2000, §3.2
- ^ Milne 2008, example 3.11
- ^ Milne 2008, example 3.10.
- ^ Milne 2008, example 3.2.
- ^ Serre 1979, p. 164.
- ^ James Milne, Class Field Theory
- ^ Gelbart, Stephen (1975), “Automorphic Forms on Adele Groups”, Annals of Mathematics Studies (Princeton University Press) 83, ISBN 0-691-08156-5
- アルティン相互法則のページへのリンク