アルティン相互法則

テンプレート:要改訳 アルティンの相互法則またはアルティン相互律（アルティンそうごりつ、テンプレート:Lang-en-short）とは、一連の論文テンプレート:Harvsで確立された、大域類体論の中心的部分を形作る数論の一般的定理である。「相互法則」という用語は、平方剰余の相互法則やゴットホルト・アイゼンシュタインやエルンスト・クンマーから、ダフィット・ヒルベルトのテンプレート:仮リンクの積公式へ至る法則を一般化し、より具体的な数論の命題とした法則である。アルティンの結果は、テンプレート:仮リンクへの部分的解答となっている。

定理の主張

テンプレート:Mvar を大域体とし テンプレート:Mvar をそのガロア拡大とする。テンプレート:Mvarで テンプレート:Mvar のイデール類群をあらわす。アルティンの相互法則の主張の一つは、大域相互写像、大域アルティン記号などと呼ばれる標準的な同型写像 $$\theta :C_K/N_{L/K}(C_L)\to \mathrm{Gal}(L/K{)}^{\text{ab}}$$の存在であるテンプレート:Sfnテンプレート:Sfn。 この写像は、テンプレート:Mvar の各素点 テンプレート:Mvar ごとに定まる局所アルティン記号、局所相互写像あるいはテンプレート:Ill2テンプレート:Sfnテンプレート:Sfnと呼ばれる写像の族 $${\theta }_v:K_v^{\times }/N_{L_v/K_v}(L_v^{\times })\to G^{\text{ab}}$$ をひとまとめにしたものとして定義される。より精確に、テンプレート:Mvar はイデール類の テンプレート:Mvar-成分上で定義された局所写像 テンプレート:Mvar によって与えられる。この写像 テンプレート:Mvar は同型であるというのが局所相互律、すなわち局所類体論の主定理の内容であった。

重要性

アルティン相互法則は大域体 K の絶対ガロア群のアーベル化をハッセの局所・大域原理やフロベニウス元に基づいて記述するというものである。高木の存在定理とあわせることで K のアーベル拡大のようすや、そこでの素数の振る舞いを理解することができる。従って、アルティン相互法則は、大域類体論の主要な定理のひとつである。アルティン相互法則は、アルティンのL-函数が有理型であることの証明や、チェボタレフの密度定理の証明に使われるテンプレート:Sfn。

アルティンは、一般相互法則の出版の 2 年後、シューアのテンプレート:仮リンクを再発見した。相互法則を用いることにより、代数体のイデアル類のテンプレート:仮リンクを、有限非アーベル群の移送準同型の核を決定するという群論の問題に翻訳した。

大域体の有限次拡大

アルティン写像は、素イデアルとフロベニウス元を用いて具体的に記述される。

$𝔭$ を K の素イデアルとすると、$𝔭$ 上の素イデアル $𝔓$ の分解群は、ガロア群がアーベル的であるので $𝔓$ のとりかたによらず Gal(L/K) において等しい。$𝔭$ が L で不分岐であれば、分解群 $D_{𝔭}$ は、剰余体 ${𝒪}_{K,𝔭}/𝔭$ の拡大 ${𝒪}_{L,𝔓}/𝔓$ のガロア群に標準的に同型である。従って、${\mathrm{F}\mathrm{r}\mathrm{o}\mathrm{b}}_{𝔭}$ もしくは $\left(\frac{L/K}{𝔭}\right)$ と書かれる Gal(L/K) のフロベニウス元を剰余体のガロア群のフロベニウス元のもちあげとして標準的に定義することができる。Δ で L/K のテンプレート:仮リンク(relative discriminant)表すとする。L/K のアルティン記号（あるいは、アルティン写像、大域相互写像）は、上のフロベニウス元の定義を線型に拡張したものとして素イデアルと Δ の分数イデアル群 $I_K^{\mathrm{\Delta }}$ の上に定義される。

$\begin{array}{cccc}\left(\frac{L/K}{\cdot }\right):& I_K^{\mathrm{\Delta }}& ⟶& \mathrm{G}\mathrm{a}\mathrm{l}(L/K)\\ & \prod _{i=1}^m{𝔭}_i^{n_i}& \mapsto & \prod _{i=1}^m{\left(\frac{L/K}{{𝔭}_i}\right)}^{n_i}.\end{array}$

アルティン相互法則 (もしくは大域相互法則) は、テンプレート:Mvar の テンプレート:仮リンク テンプレート:Mathbf が存在し、アルティン写像が同型

$I_K^{𝐜}/\iota (K_{𝐜,1}){\mathrm{N}}_{L/K}(I_L^{𝐜})\stackrel{\sim }{\to }\mathrm{Gal}(L/K)$

を引き起こすという法則である。ここに テンプレート:Mvar は テンプレート:仮リンク、$\iota :K^{\times }\to I_K$は単項分数イデアルに送る写像、テンプレート:Math は テンプレート:Mvar に付随するノルム写像、テンプレート:Math は テンプレート:Mvar の テンプレート:Mathbf と素な分数イデアルである。そのようなモジュラス テンプレート:Mathbf は テンプレート:Mvar の定義モジュラスと呼ばれる。最小な定義モジュラスを テンプレート:Mvar の導手といい、典型的には $𝔣(L/K)$ と書く。

例

二次体

$d\ne 1$ を平方因子を持たない整数とし、K = Q、$L=𝐐(\sqrt{d})$ とすると、ガロア群 Gal(L/Q) は {±1} と同一視される。Q 上の L の判別式 Δ は、d ≡ 1 (mod 4) ならば d、そうでないならば 4d となる。従って、アルティン写像はΔ を割らないような素数 p にたいし

$p\mapsto \left(\frac{\mathrm{\Delta }}{p}\right)$

と定義される。ここに $\left(\frac{\mathrm{\Delta }}{p}\right)$ はテンプレート:仮リンク(Kronecker symbol)である。さらに具体的には、L/Q の導手は、Δ が正ならば (Δ)、負であれば (Δ)∞ であり、分数イデアル群 (n) 上のアルティン写像はクロネッカーの記号 $\left(\frac{\mathrm{\Delta }}{n}\right)$ により与えられる。このことから、素数 p が L で分解するか否かは、$\left(\frac{\mathrm{\Delta }}{p}\right)$ が 1 であるか、−1 であるかに従う。

円分体

m (>1) を奇数かもしくは、4 の倍数とし、ζ_m を 1の原始 m乗根とし、L = Q(ζ_m) を m次の円分体とする。ガロア群 Gal(L/Q) は (Z/mZ)^× と次の写像によって同一視することができる。σを

$\sigma ({\zeta }_m)={\zeta }_m^{a_{\sigma }}.$

により与えられる a_σ にうつす。L/Q の導手は テンプレート:Math でありテンプレート:Sfn、 m と素なイデアル (n) 上のアルティン写像は、単純に (Z/mZ)^× の元 n (mod m) であるテンプレート:Sfn。

平方剰余の相互法則との関係

p と ℓ を異なる奇素数とし、ℓ* = (−1)^(ℓ−1)/2ℓ (いつも 1 (mod 4) である) とする。二次相互法則とは

$\left(\frac{{\ell }^{\ast }}{p}\right)=\left(\frac{p}{\ell }\right)$

なる関係のこと。二次相互法則とアルティン相互法則の関係は、次のように、二次体 $F=𝐐(\sqrt{{\ell }^{\ast }})$ と円分体 $L=𝐐({\zeta }_{\ell })$ を研究することで得られる。この F は L の部分体である。H = Gal(L/F) および G = Gal(L/Q) とすると、Gal(F/Q) = G/H である。G/H は位数が 2 であるので、部分群 H は G=(Z/ℓZ)^× において平方元全体のなす部分群である。アルティン記号の基本的性質により、ℓと素なイデアル (n) に対し、

$\left(\frac{F/𝐐}{(n)}\right)=\left(\frac{L/𝐐}{(n)}\right)\text{ (mod }H).$

となることがわかる。とくに n = p とすると、$\left(\frac{{\ell }^{\ast }}{p}\right)=1$ であることと、H の中で p (mod ℓ) であること、すなわち、p は modulo ℓ で二乗であることが同値であることがわかる。

コホモロジー的解釈

大域相互法則のコホモロジー的な証明は、まず

$(\mathrm{Gal}(K^{\text{sep}}/K),\underrightarrow{\lim }{C}_L)$

がアルティン・テイトの意味でテンプレート:仮リンクを成すことを確かめることで達成されるテンプレート:Sfn。そうすれば、

$\hat{H}{}^0(\mathrm{Gal}(L/K),C_L)\simeq \hat{H}{}^{-2}(\mathrm{Gal}(L/K),\mathbb{Z})$

が証明される。ここに $\hat{H}{}^i$ はテンプレート:仮リンクを表す。コホモロジー群の計算により テンプレート:Mvar が同型であることが確かめられる。

L-函数との関係

アルティン相互法則の別な表し方には、ラングランズ・プログラムに沿って、数体のアーベル拡大に付随するアルティンのL-函数をイデール類群の指標に付随するヘッケのL-函数に関連付ける方法がある。

数体 K のヘッケ指標（量指標(Größencharakter)）は、K のイデール類群の準指標であると定義される。ロバート・ラングランズは、ヘッケ指標を K のアデール環の上の簡約代数群 GL(1) 上の保型形式と解釈した。

E⁄K をガロア群 G を持つアーベル的ガロア拡大とすると、任意の指標 σ: G  → C^× （つまり、群 G の1-次元複素表現）に対し、K のヘッケ指標 χ が存在して、

$L_{E/K}^{\mathrm{Artin}}(\sigma ,s)=L_K^{\mathrm{Hecke}}(\chi ,s)$

を満たす。ここに左辺は指標 テンプレート:Mvar を持つ拡大に付随するアルティン L-函数であり、右辺はヘッケ指数 テンプレート:Mvar に付随するヘッケ L-函数であるテンプレート:Harv。

アルティン相互法則のL-函数の等式としての定式化は、直接の対応関係はまだ足りないが、n-次元表現への一般化した定式化になる。

参考文献

• テンプレート:Cite journal; Collected Papers, Addison Wesley, 1965, 105–124
• テンプレート:Cite journal; Collected Papers, 131–141
  • テンプレート:Citation; 上記2論文の日本語訳が掲載されている。
• テンプレート:Cite journal; Collected Papers, 159–164

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
  • 英訳: テンプレート:Citation
  • 日本語訳: テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation