ヤコビ和

数学におけるヤコビ和（ヤコビわ、）とは、ディリクレ指標によって形成されるある種ののことを言う。簡単な例として、ある素数 p を法とする二つのディリクレ指標  と  に対するヤコビ和  は、次のように定義される。



ここで和は p を法とする全ての剰余（ただし a も 1 − a も 0 でない場合の） a = 2, 3, ..., p − 1 についてとる。ヤコビ和はベータ関数の有限体における類似物である。このような和は円周等分の理論との関連で19世紀初頭にヤコビによって導入された。ヤコビ和は一般に、ガウス和  の冪乗の積へと分解できる。例えば、指標  が非自明であるときに、 となるが、これはベータ関数をガンマ関数で表す公式の類似である。非自明なガウス和  の絶対値は p1/2 であるので、指標  が非自明であれば、 の絶対値もまた p1/2 となる。ヤコビ和 J の値が属する円分体は、非自明なガウス和  の値が属する円分体よりも小さい。例えば  の被加数には 1の p 乗根は含まれないが、1 の (p − 1)-乗根の円分体に属する値が含まれる。ガウス和と同じように、ヤコビ和は円分体における素イデアル分解のことを知っている。このことについてはを参照されたい。

 がルジャンドル記号である時は、 となる。一般にヤコビ和の値は、の局所ゼータ関数に関連して現れる。ルジャンドル記号に関するヤコビ和の結果は、p 個の元からなる有限体上の射影直線である円錐断面上の点の数 p + 1 に対する公式を導く。1949年のアンドレ・ヴェイユの論文は、この議論に多くの注目を再び集めるものであった。実際、20世紀後半のハッセ＝ダベンポートの関係により、ガウス和の冪の性質は再び現代的な話題となっている。

Weil (1952) は、一般のヤコビ和による対角超曲面に対して局所ゼータ関数を記述できる可能性を指摘するとともに、ヤコビ和のヘッケ指標としての性質を示した。
これはアーベル多様体の虚数乗法が確立されるとともに、重要な概念となった。問題におけるヘッケ指標は、例えばのハッセ・ヴェイユのゼータ函数を表現する際に必要となるものであった。それらの指標の導手については、Weil によって未解決問題とされていたが、それらは後の研究によって決定された。

 参考文献 
B. C. Berndt, R. J. Evans, K. S. Williams, Gauss and Jacobi Sums, Wiley, 1998. ISBN 978-0-471-12807-6.
S. Lang, Cyclotomic fields, Graduate texts in mathematics vol. 59, Springer Verlag 1978. ISBN 0-387-90307-0. See in particular chapter 1 (Character Sums).
André Weil, Numbers of solutions of equations in finite fields, Bull. Amer. Math. Soc. 55  (1949), 497–508.
André Weil, Jacobi sums as Grössencharaktere, Trans. Amer. Math. Soc. 73 (1952), 487–495.

Category:円分体
Category:数学に関する記事