アルティン相互法則

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

**定理の主張**
を大域体とし L をそのガロア拡大とする。で L のイデール類群をあらわす。アルティンの相互法則の主張の一つは、大域相互写像、大域アルティン記号などと呼ばれる標準的な同型写像 の存在であるp=391。
この写像は、K の各素点 v ごとに定まる局所アルティン記号、局所相互写像あるいはNorm residue symbolp=197と呼ばれる写像の族  をひとまとめにしたものとして定義される。より精確に、θ はイデール類の v-成分上で定義された局所写像  によって与えられる。この写像  は同型であるというのが局所相互律、すなわち局所類体論の主定理の内容であった。

**重要性**
アルティン相互法則は大域体 K の絶対ガロア群のアーベル化をハッセの局所・大域原理やフロベニウス元に基づいて記述するというものである。高木の存在定理とあわせることで K のアーベル拡大のようすや、そこでの素数の振る舞いを理解することができる。従って、アルティン相互法則は、大域類体論の主要な定理のひとつである。アルティン相互法則は、アルティンのL-函数が有理型であることの証明や、チェボタレフの密度定理の証明に使われるloc=Chapter VII。
アルティンは、一般相互法則の出版の 2 年後、シューアのArtin transfer (group theory)を再発見した。相互法則を用いることにより、代数体のイデアル類のPrincipalization (algebra)を、有限非アーベル群の移送準同型の核を決定するという群論の問題に翻訳した。

**大域体の有限次拡大**
アルティン写像は、素イデアルとフロベニウス元を用いて具体的に記述される。
を K の素イデアルとすると、 上の素イデアル  の分解群は、ガロア群がアーベル的であるので   のとりかたによらず Gal(L/K) において等しい。 が L で不分岐であれば、分解群  は、剰余体  の拡大  のガロア群に標準的に同型である。従って、 もしくは  と書かれる Gal(L/K) のフロベニウス元を剰余体のガロア群のフロベニウス元のもちあげとして標準的に定義することができる。Δ で L/K のrelative discriminant(relative discriminant)表すとする。L/K のアルティン記号（あるいは、アルティン写像、大域相互写像）は、上のフロベニウス元の定義を線型に拡張したものとして素イデアルと Δ の分数イデアル群  の上に定義される。 

アルティン相互法則 (もしくは大域相互法則) は、K の modulus (algebraic number theory) c が存在し、アルティン写像が同型

を引き起こすという法則である。ここに  は 、は単項分数イデアルに送る写像、 は L/K に付随するノルム写像、 は L の c と素な分数イデアルである。そのようなモジュラス c は L/K の定義モジュラスと呼ばれる。最小な定義モジュラスを L/K の導手といい、典型的には  と書く。

**例**

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

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

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

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

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

なる関係のこと。二次相互法則とアルティン相互法則の関係は、次のように、二次体  と円分体  を研究することで得られる。この 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 ℓ で二乗であることが同値であることがわかる。

**コホモロジー的解釈**
大域相互法則のコホモロジー的な証明は、まず
 
がアルティン・テイトの意味でclass formationを成すことを確かめることで達成されるp=164。そうすれば、
 
が証明される。ここに  はTate cohomology groupを表す。コホモロジー群の計算により θ が同型であることが確かめられる。

**L-函数との関係**
アルティン相互法則の別な表し方には、ラングランズ・プログラムに沿って、数体のアーベル拡大に付随するアルティンのL-函数をイデール類群の指標に付随するヘッケのL-函数に関連付ける方法がある。 
数体 K のヘッケ指標（量指標(Größencharakter)）は、K のイデール類群の準指標であると定義される。ロバート・ラングランズは、ヘッケ指標を K のアデール環の上の簡約代数群 GL(1) 上の保型形式と解釈した。
E⁄K をガロア群 G を持つアーベル的ガロア拡大とすると、任意の指標 σ: G  → C× （つまり、群 G の1-次元複素表現）に対し、K のヘッケ指標 χ が存在して、

を満たす。ここに左辺は指標 σ を持つ拡大に付随するアルティン L-函数であり、右辺はヘッケ指数 χ に付随するヘッケ L-函数である1975。
アルティン相互法則のL-函数の等式としての定式化は、直接の対応関係はまだ足りないが、n-次元表現への一般化した定式化になる。

**脚注**

**参考文献**
 ref=harv; Collected Papers, Addison Wesley, 1965, 105–124- ref=harv; Collected Papers, 131–141
** ; 上記2論文の日本語訳が掲載されている。- ref=harv; Collected Papers, 159–164- volume=55 - year= 1992
** 英訳: citation | last=Neukirch | first=Jürgen | title=Algebraic number theory | others=Translated from the German by Norbert Schappacher | publisher=Springer-Verlag | year=1999 | isbn=3-540-65399-6 | zbl=0956.11021 |ref=harv
** 日本語訳: citation|和書|author= J. ノイキルヒ|author-link=ユルゲン・ノイキルヒ|title=代数的整数論|translator=足立恒雄監修、梅垣敦紀|publisher=シュプリンガーフェアラーク|location=東京 |year=2003- citation | last=Serre | first=Jean-Pierre | authorlink=Jean-Pierre Serre | title=Local fields | others=Translated from the French by Marvin Jay Greenberg | series=Graduate Texts in Mathematics | volume=67 | location=New York, Heidelberg, Berlin | publisher=Springer-Verlag | year=1979 | isbn=3-540-90424-7 | zbl=0423.12016  -  zbl=0153.07403 -  zbl=0153.07403