スターク予想

数論において、スターク予想（）とは、代数体のガロア拡大 に付随するアルティン 函数のテイラー展開の主要項の係数についての予想である。スターク予想はがで提示し、後日が拡張した。スターク予想は、数体のデデキントのゼータ函数のテイラー展開の主要項を表す解析的類数公式を一般化して、体の （S-units）に関連する単数基準と有理数との積として表すものである。スタークは がアーベル拡大で、 函数の における位数 が 1 の場合について予想を精密化し、と呼ばれる 単数の存在を予想した。 と は、この精密化された予想をさらに高次の位数へ拡張した。
定式化.
スターク予想の最も一般的な形式は、「アルティン 函数 の でのテイラー展開の先頭係数 は、スターク単数基準 の代数的数 倍であり、この代数的数へのガロア群の作用もこういった数字を用いて書き下すことができる」という予想である。体の拡大がアーベル的で、 函数の における位数が 1 のとき、精密化されたスターク予想は、根が基礎体 のアーベル拡大となる のクンマー拡大を生成するスターク単数の存在を予想する（ がアーベル拡大でない場合は、クンマー理論で拡大する）。このスターク予想の精密化には、ヒルベルトの第12問題を解くという理論的な意味がある。また、特別な場合にはスターク単数の計算が可能であるため、精密化されたスターク予想の信憑性の評価が可能であるほか、代数体のアーベル拡大を生成する重要な計算機的方法が得られる。実際、代数体のアーベル拡大を計算する標準的なアルゴリズムには、拡大を生成するスターク単数の生成操作を含むものがある（後述）。
記号と用語.
スターク予想を正確に述べるための記号を準備する。 を（有限次）代数体、 を の有限次ガロア拡大、 をそのガロア群とする。
を の無限素点すべての集合、 を
を含む素点の集合とする。
複素数体
の部分環
と
加群
に対してテンソル積
を
と略記する。
アルティン 函数の先頭係数.
ガロア群
の複素数体上の有限次表現を一つ取り、 をその表現空間、 をその指標とする。（ 部分を除外した）アルティン 函数を
と定義する。ここで、有限素点
に対し
は
の惰性群、
はこれによる不変部分空間、
は
のフロベニウス元（の一つ）、
は
のである。この函数は有理型に解析接続され、 で正則になる。
この 函数の
でのテイラー展開の先頭係数を
と書く。つまり、 でのこの函数の位数を
とするとき、
の近傍で
が成り立つような複素数として
を定義する（ はランダウの記号）。
スターク単数基準.
を
の素点で下にある素点が
に含まれるものすべての集合とする。
を
の
単数群、つまり
の元で
に含まれない
のすべての素点での絶対値が1であるもの全体
とする。
を
の元で生成される自由アーベル群、 をその部分群で各
に対する係数を合計すると0になるもの全体
とする。 には自然に が作用する。
 単数群
から
への写像
を
で定義する。この写像を対数的埋め込みという。
単数定理により
は同型であり、
と
は
加群として（非標準的に）同型であることがわかる。このような同型
を一つ取る。
を
の反傾表現とし、
から
への
加群としての準同型全体
を考える。このベクトル空間の次元は と等しい。
このベクトル空間の自己同型
を
で定義する。この自己同型の行列式
をスターク単数基準（Stark regulator）という。
スターク予想.
スターク予想とは、複素数
を
と定義するとき、
は
に入る代数的数で、任意の
に対して
が成り立つであろう、という予想である。
計算.
第一位数がゼロであるという予想は、総実体のヒルベルト類体を計算するために計算機代数システムPARI/GPの最新版で用いられており、ヒルベルトの第12問題の解の一つが得られる。ヒルベルトの第12問題とは、任意の代数体上に虚数乗法によってどのように類体を構成できるか、という問題である。
進展.
スタークの主予想は、様々な特別な場合について証明されている。その特別な場合とは、L-函数を定義する指標が有理数のみとなる場合である。基礎体が有理数体もしくは虚二次体の場合を除き、アーベル的なスターク予想は証明されてはいない。代数多様体の函数体では多くの進展が見られる。
は、スターク予想をアラン・コンヌの非可換幾何へ関連付ける。マーニンの手法はスターク予想を研究する概念的なフレームワークを提供するが、現時点でこの手法が実際にスターク予想の証明を与えるかどうかは不明である。