積公式

積公式とは

数学における積公式は、代数的整数論の重要な概念であり、特に数体における全ての絶対値を関連付けるための関係式です。この公式は、数体内の任意の数に対して成立します。具体的には、有理数体 ℚ においては、任意の非零有理数 x に対して、次のような式が成り立ちます。

$$
\prod_{p} |x|_{p} = 1 \, \quad (\forall x \in \mathbb{Q}^{*})
$$

ここで、積はすべての素数 p または無限大の範囲で考えられ、各 |•|p はそれぞれ固有の絶対値を示しています。パラメータ p が素数の場合は p-進絶対値を、p が無限の場合は通常の絶対値を指します。この式は、自然な形で代数体へと広がりを見せます。

歴史的背景

積公式は、局所的な絶対値や付値を大域的に結びつける重要なツールとして、代数的整数論および類体論において中心的な役割を果たしてきました。1945年にEmil ArtinとGeorge Whaplesは、付値に基づく積公式を通じて大域体の特性を公理的に確立しました。このアプローチは、イデールやアデールを用いた定式化とも深く関連しています。

定式化

数体 K における各場所 v に対して、対応する絶対値を正規化すると、任意の $$\alpha \in K^{\times}$$ に対して次の関係が成り立ちます。

$$
\prod_{v} |\alpha|_{v} = 1
$$

ここで、積は K の全場所を対象とし、有限素点に対応する絶対値は素イデアル $$\mathfrak{p}$$ に対し、以下のように定義されます。

$$
_{\mathfrak{p}} = (N\mathfrak{p})^{-\operatorname{ord}_{\mathfrak{p}}(\alpha)}
$$

無限素点については、実埋め込みに対して通常の絶対値が、複素埋め込みに関してはその二乗を用いるのが標準的な手法です。この産物公式は、数体の局所データを一つの大域的な式としてまとめる基本的な事実を示しています。

具体例

例として、K = ℚ の場合を考えます。この場合、任意の非零有理数 a に対して、非一の絶対値を持つ有限素点は有限個のみ存在するため、積は有限になります。特に、素数 p 自身の絶対値を考えると、次の式が成立します。

$$
_{q} = 1\,(q
eq p), \quad |p|_{\infty} = p
$$

これらの個別の絶対値の積は 1 に等しいことが確認できます。この特性は、有理数体における積公式の基本的な例として特に注目されます。

大域体における適用

積公式は数体に限らず、有限体上の一変数関数体などのほかの大域体にも適用されます。MITの講義ノートでは、大域体の観点から付値の積公式が解説されています。数体と同様に、関数体でも各場所に応じた絶対値の正規化が可能であり、同じく次の関係が成り立ちます。

$$
\prod_{v} |a|_{v} = 1
$$

さらに、代数的閉体における関数体では、これが次の形に言い換えられます。

$$
\sum_{v} \operatorname{ord}_{v}(a) = 0
$$

この式は、幾何的に有理型関数の零点の総合と極の総和が一致することを示すものです。

関連する概念

積公式においては、数体の場所、完備化、有限素点と無限素点、そして対応する正規化された絶対値の概念が欠かせません。また、各素イデアル、実埋め込み、複素埋め込みの共役対に対して、一つの場所が関連付けられています。この公式は、イデールのノルムが 1 となる条件や、局所体から大域体への接続を表す基本的な関係式としても重要です。

積公式は、数体の絶対値の間の深い関連性を明らかにする重要なツールです。この公式は、数体や大域体の研究において、非常に幅広い応用がなされており、数学の基礎的な理論の一つとして位置付けられています。

もう一度検索