ヤコビ和

数学におけるヤコビ和（ヤコビわ、英: Jacobi sum）とは、ディリクレ指標によって形成されるある種の指標和（英語版）のことを言う。簡単な例として、ある素数 p を法とする二つのディリクレ指標 ${\displaystyle \chi }$、${\displaystyle \psi }$ に対するヤコビ和 ${\displaystyle J(\chi ,\psi )}$ は、次のように定義される。

${\displaystyle J(\chi ,\psi )=\sum \chi (a)\psi (1-a).\,}$

ここで和は p を法とする全ての剰余 a = 2, 3, ..., p − 1 についてなされる（したがって a と 1 − a のいずれも 0 とならない）。ヤコビ和はベータ関数の有限体における類似物である。このような和は円分の理論との関連で19世紀初頭にヤコビによって導入された。ヤコビ和は一般に、ガウス和 ${\displaystyle g}$ の冪乗の積へと分解できる。例えば、指標 ${\displaystyle \chi \psi }$ が非自明であるとき、${\displaystyle J(\chi ,\psi )=g(\chi )g(\psi )/g(\chi \psi )}$ となるが、これはガンマ関数についてのベータ関数の公式と似たものである。非自明なガウス和 ${\displaystyle g}$ の絶対値は p^1/2 であるため、指標 ${\displaystyle \chi \psi ,\chi ,\psi }$ が非自明であるなら、${\displaystyle J(\chi ,\psi )}$ の絶対値もまた p^1/2 となる。ヤコビ和 J は、非自明なガウス和 ${\displaystyle g}$ が属する円分体よりも小さい円分体に属する。例えば ${\displaystyle J(\chi ,\psi )}$ の被加数には 1の p 乗根は含まれないが、1 の (p − 1)-乗根の円分体に属する値が含まれる。ガウス和のように、ヤコビ和は円分体における素イデアル分解がわかっている。このことについてはシュティッケルベルガーの定理（英語版）を参照されたい。

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

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

参考文献

• B. C. Berndt, R. J. Evans, K. S. Williams, Gauss and Jacobi Sums, Wiley, 1998.
• 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.