導手

導手に関する考察

代数的整数論における導手は、局所体や大域体の有限次アーベル拡大の性質を理解する上で不可欠な要素です。特に、導手という概念は、拡大の分岐を数値的に把握するための手段として利用されます。

導手の定義と局所導手

局所的な体 L/K の間の有限アーベル拡大を考えたとき、導手は高次単数群の性質を用いて定義されます。具体的には、導手 f(L/K) は次の条件を満たす最小の非負整数 n であり、これは高次単数群 U(n) の元が体のノルム写像 NL/K(L×) に含まれることに関連しています。

次に、局所アルティン写像が特定の条件を満たす際にも、同様に定義され、導手は ext{m}Kのn乗として表現されます。このことにより、導手は拡大の分岐の状態を反映する指標とされています。

導手と分岐の関係

導手の値が0であれば、そのアーベル拡大が不分岐であることを示します。また、導手が1であれば、拡大はおとなしい分岐を持つことと同値です。このように、導手の特性は拡大の分岐の性質を示す指標となります。「高次分岐群」の非自明性と導手の関係を考えると、特定の下付添え字の高次分岐群 Gs が非自明である最大の整数 s を用いて、簡潔な関係式が成り立ちます。

大域的導手の定義

大域的な導手については、自明な拡大 R/R の場合に導手を0とし、C/Rの場合に導手を1と定義します。数体のアーベル拡大の場合、局所の定義を利用して大域の導手を導くことができ、比較的短い方法で導出可能です。

特に、モジュラス m が定義された際に、アルティン相互法則が成り立つことが重要です。この相互法則が成り立つことを条件に、導手はすべての共通部分の中で最も小さな値を取ることが保証されます。

具体的な場合の導手

例えば、基礎体が有理数体の場合、クロネッカー・ウェーバーの定理に従い、アーベル拡大がある円分体の部分体であることと導手の関係が明らかになります。また、任意の平方の因子を持たない整数 d に対して、L/K が ext{Q}( ext{√d})/ ext{Q} で表される場合、導手の計算が行われます。この場合、判別式に基づく導手の値が導出されます。

導手の積と分岐の理解

大域的導手 f(L/K) は、局所導手の積として表現され、これによって分岐の状態が明確化されます。具体的には、特定の素点が分岐することと、その導手が特定の値で割られることが同値となるため、分岐理論においても重要な役割を果たします。

このように、導手は代数的整数論における非常に豊かな概念であり、局所体および大域体のアーベル拡大を通じて、分岐の性質を調査するための手助けとなります。また、数論や代数幾何学の他の分野にも広く関連しています。

もう一度検索