Dirichlet's unit theoremとは - わかりやすく解説 Weblio辞書

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

ディリクレの単数定理

(Dirichlet's unit theorem から転送)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/07/25 06:32 UTC 版)

ナビゲーションに移動検索に移動

数学において、ディリクレの単数定理(Dirichlet's unit theorem)は、ペーター・グスタフ・ディリクレ (Dirichlet 1846) による代数的整数論の基本的な結果である^[1]。ディリクレの単数定理は、代数体 $K$ の代数的整数がなす環 ${\mathcal {O}}_{K}$

Q

へ

f (x) = x 3 + x 2 - 2 x - 1

の根を添加することで得られる三次の円分体の単数群の、対数空間中の基本領域。基本単数の集合は

{ε 1, ε 2}

である。ここで

α

で

f (x)

の根を表すと、

ε 1 = α 2 + α - 1

で

ε 2 = 2 - α 2

である。基本領域の面積はおよそ 0.910114 であるので、

K

の単数基準はおよそ 0.525455 である。

虚二次体や有理整数体の単数基準は 1 である。（0×0 行列の行列式は 1 とする)
実二次体の単数基準は、基本単数の log である。例えば、 $Q (\sqrt5)$ の単数基準は $log((\sqrt5 + 1)/2)$ である。このことは次のようにして分かる。基本単数は $(\sqrt5 + 1)/2$ であり、 $R$ への 2つの埋め込みの像は $(\sqrt5 + 1)/2$ と $(-\sqrt5 + 1)/2$ であるので、 $r \times (r + 1)$ 行列は、

\left[1\cdot \log \left|{{\sqrt {5}}+1 \over 2}\right|,\quad 1\cdot \log \left|{-{\sqrt {5}}+1 \over 2}\right|\ \right]

である。

$α$ を $x 3 + x 2 - 2x - 1$ の根とすると、巡回三次体（英語版） $Q (α)$ の単数基準は、およそ 0.5255 となる。べき根を法とした単数群の基底は、 ${ε 1, ε 2}$ である。ここに $ε 1 = α 2 + α - 1$ であり、 $ε 2 = 2 - α 2$ である^[5]。

高次単数基準

高次単数基準とは、単数群に対する古典的な単数基準を、 $n > 1$ における代数的K-群 $K n$ 上の函数として拡張したものである（古典的な単数基準は、群 $K 1$ の場合に相当する）。この理論は発展途上であり、アルマン・ボレルらが研究している。このような単数基準は、例えばベイリンソン予想で利用され、整数引数のL-函数の評価時に現れると期待されている^[6]。

スターク単数基準

スターク予想の定式化により、ハロルド・スタークは、現在スターク単数基準(Stark regulator)と呼ばれているものを提唱した。これは古典的な単数基準の類似物として、任意のアルティン表現（英語版）に対応する単数の log の行列式としたものである^[7]^[8]。

$p$ -進単数基準

$K$ を数体とし、 $K$ の各々の固定された有理素点上の素点 $P$ に対して、局所単数を $U P$ で表し、 $U 1, P$ で $U P$ の中での主単数の部分群を表すとする。さらに、

U_{1}=\prod _{P|p}U_{1,P}

と置き、 $E 1$ で大域的単数 $ε$ の集合を表すとする。ここで $ε$ は $E$ の大域的単数の対角埋め込みを通して $U 1$ へ写す。

$E 1$ は大域的単数の有限指数部分群であるので、 $E 1$ は階数 $r 1 + r 2 - 1$ のアーベル群である。 $p$ -進単数基準( $p$ -adic regulator)とは、この群の生成元の $p$ -進対数で作られた行列の行列式である。レオポルドの予想（英語版）は、この行列式が 0 ではないと予想している^[9]^[10]。

脚注

^ Elstrodt 2007, §8.D.
^ 代数体 $K$ から $Q$ の代数体閉包 $Q$ の中への同型写像のうち、像が $R$ の中にあるもの
^ 虚埋め込みとは、同型写像の像が $R$ にないものを指す。写像の像について複素共役をとったものも同様に同型写像となるため、この共役ペアを単位に数える。
^ Neukirch, Schmidt & Wingberg 2000, Proposition VIII.8.6.11.
^ Cohen 1993, p. 511, Table B.4.
^ Bloch, Spencer J. (2000). Higher regulators, algebraic K-theory, and zeta functions of elliptic curves. CRM Monograph Series. 11. Providence, RI: American Mathematical Society. ISBN 0-8218-2114-8. Zbl 0958.19001
^ PDF
^ PDF Archived 2008年5月10日, at the Wayback Machine.
^ Neukirch et al. (2008) p. 626–627
^ Iwasawa, Kenkichi (1972). Lectures on $p$ -adic $L$ -functions. Annals of Mathematics Studies. 74. Princeton, NJ: Princeton University Press and University of Tokyo Press. pp. 36-42. ISBN 0-691-08112-3. Zbl 0236.12001