アルティン相互法則

提供: miniwiki
移動先:案内、検索

アルティンの相互法則またはアルティン相互律（アルティンそうごりつ、英: Artin reciprocity law）は、一連の論文テンプレート:Harvsを出版することで確立された、大域類体論の中心的部分を形作る数論の一般的定理である[1]。「相互法則」という用語は、平方剰余の相互法則やゴットホルト・アイゼンシュタインやエルンスト・クンマーから、ダフィット・ヒルベルトのノルム剰余記号（English版）の積公式へ至る法則を一般化し、より具体的な数論の命題とした法則である。アルティンの結果は、ヒルベルトの第9問題（English版）への部分的解答となっている。

定理の主張

K を大域体とし L をそのガロア拡大とする。CLで L のイデール類群をあらわす。アルティンの相互法則の主張の一つは、大域相互写像、大域アルティン記号などと呼ばれる標準的な同型写像 [math]\theta\colon C_K/{N_{L/K}(C_L)} \to \operatorname{Gal}(L/K)^{\text{ab}}[/math]の存在である[2][3]。 この写像は、K の各素点 v ごとに定まる局所アルティン記号、局所相互写像あるいはノルム剰余記号（English版）[4][5]と呼ばれる写像の族 [math]\theta_v\colon K_v^{\times}/N_{L_v/K_v}(L_v^{\times}) \to G^{\text{ab}}[/math] をひとまとめにしたものとして定義される。より精確に、θ はイデール類の v-成分上で定義された局所写像 θv によって与えられる。この写像 θv は同型であるというのが局所相互律、すなわち局所類体論の主定理の内容であった。

重要性

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

アルティンは、一般相互法則の出版の 2 年後、シューアの転送準同型（English版）を再発見した。相互法則を用いることにより、代数体のイデアル類の単項化問題（English版）を、有限非アーベル群の転送準同型の核を決定するという群論の問題に翻訳した。[7]

大域体の有限次拡大

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

[math]\mathfrak{p}[/math] を K の素イデアルとすると、[math]\mathfrak{p}[/math] 上の素イデアル [math]\mathfrak{P}[/math] の分解群は、ガロア群がアーベル的であるので [math]\mathfrak{P}[/math] のとりかたによらず Gal(L/K) において等しい。[math]\mathfrak{p}[/math] が L で不分岐であれば、分解群 [math]D_\mathfrak{p}[/math] は、剰余体 [math]\mathcal{O}_{K,\mathfrak{p}}/\mathfrak{p}[/math] の拡大 [math]\mathcal{O}_{L,\mathfrak{P}}/\mathfrak{P}[/math] のガロア群に標準的に同型である。従って、[math]\mathrm{Frob}_\mathfrak{p}[/math] もしくは [math]\left(\frac{L/K}{\mathfrak{p}}\right)[/math] と書かれる Gal(L/K) のフロベニウス元を剰余体のガロア群のフロベニウス元のもちあげとして標準的に定義することができる。Δ で L/K の相対判別式（English版）(relative discriminant)表すとする。L/K のアルティン記号（あるいは、アルティン写像、大域相互写像）は、上のフロベニウス元の定義を線型に拡張したものとして素イデアルと Δ の分数イデアル群 [math]I_K^\Delta[/math] の上に定義される。

[math]\begin{matrix} \left(\frac{L/K}{\cdot}\right):&I_K^\Delta&\longrightarrow&\mathrm{Gal}(L/K)\\ &\displaystyle{\prod_{i=1}^m\mathfrak{p}_i^{n_i}}&\mapsto&\displaystyle{\prod_{i=1}^m\left(\frac{L/K}{\mathfrak{p}_i}\right)^{n_i}.} \end{matrix}[/math]

アルティン相互法則 (もしくは大域相互法則) は、K の モジュラス（English版） テンプレート:Mathbf が存在し、アルティン写像が同型

[math]I_K^\mathbf{c}/i(K_{\mathbf{c},1})\operatorname{Nm}_{L/K}(I_L^\mathbf{c})\overset{\sim}{{}\to{}}\operatorname{Gal}(L/K)[/math]

を引き起こすという法則である。ここに Kc,1 は [[半直線類群|テンプレート:Mathbf を法とする半直線全体]]（English版）、NmL/K は L/K に付随するノルム写像、テンプレート:Subsup は L の テンプレート:Mathbf と素な分数イデアルである。そのようなモジュラス テンプレート:Mathbf は L/K の定義モジュラスと呼ばれる。最小な定義モジュラスを L/K の導手といい、典型的には [math]\mathfrak{f}(L/K)[/math] と書く。

例

二次体

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

[math]p\mapsto\left(\frac{\Delta}{p}\right)[/math]

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

円分体

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

[math]\sigma(\zeta_m)=\zeta_m^{a_\sigma}.[/math]

により与えられる aσ にうつす。L/Q の導手は (m)∞ であり[10]、 m と素なイデアル (n) 上のアルティン写像は、単純に (Z/mZ)× の元 n (mod m) である[11]。

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

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

[math]\left(\frac{\ell^\ast}{p}\right)=\left(\frac{p}{\ell}\right)[/math]

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

[math]\left(\frac{F/\mathbf{Q}}{(n)}\right)=\left(\frac{L/\mathbf{Q}}{(n)}\right)\text{ (mod }H).[/math]

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

コホモロジー的解釈

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

[math](\operatorname{Gal}(K^{\text{sep}}/K),\varinjlim C_L)[/math]

がアルティン・テイトの意味で類構造（English版）を成すことを確かめることで達成される[12]。そうすれば、

[math]\hat{H}{}^{0}( \operatorname{Gal}(L/K), C_L) \simeq \hat{H}{}^{-2}( \operatorname{Gal}(L/K), \mathbb{Z})[/math]

が証明される。ここに [math]\hat{H}{}^{i}[/math] はテイトコホモロジー群（English版）を表す。コホモロジー群の計算により θ が同型であることが確かめられる。

L-函数との関係

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

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

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

[math]L_{E/K}^{\operatorname{Artin}}(\sigma, s) = L_{K}^{\operatorname{Hecke}}(\chi, s)[/math]

を満たす。ここに左辺は指標 σ を持つ拡大に付随するアルティン L-函数であり、右辺はヘッケ指数 χ に付随するヘッケ L-函数である{{#invoke:Footnotes | harvard_citation }}。

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

脚注

  1. ↑ Helmut Hasse, History of Class Field Theory, in Algebraic Number Theory, edited by Cassels and Frölich, Academic Press, 1967, pp. 266–279
  2. ↑ Neukirch 1999, p. 391.
  3. ↑ Neukirch 1992, p. 408.
  4. ↑ Serre 1967, p. 140.
  5. ↑ Serre 1979, p. 197.
  6. ↑ Neukirch 1992, Chapter VII.
  7. ↑ 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 .
  8. ↑ 8.0 8.1 Lemmermeyer 2000, §3.2
  9. ↑ Milne 2008, example 3.11
  10. ↑ Milne 2008, example 3.10.
  11. ↑ Milne 2008, example 3.2.
  12. ↑ Serre 1979, p. 164.
  13. ↑ James Milne, Class Field Theory
  14. ↑ Gelbart, Stephen (1975), Automorphic Forms on Adele Groups, 83, Princeton University Press, ISBN 0-691-08156-5 

参考文献

  • Artin, Emil (1924). “Über eine neue Art von L-Reihen,”. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 3. ; Collected Papers, Addison Wesley, 1965, 105–124
  • Artin, Emil (1927). “Beweis des allgemeinen Reziprozitätsgesetzes”. Abh. Math. Semin. Univ. Hamburg 5: 353–363. ; Collected Papers, 131–141
  • Artin, Emil (1930). “Idealklassen in Oberkörpern und allgemeines Reziprozitätsgesetzes”. Abh. Math. Semin. Univ. Hamburg 7: 46–51. ; Collected Papers, 159–164


「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=アルティン相互法則&oldid=105783」から取得