ハッセ・ヴェイユのゼータ函数
ハッセ・ヴェイユのゼータ函数（）とは、数学において最も重要な L-函数のうちの一つである。これは代数体上の代数多様体にたいして定義される複素関数である。これは各素数ごとの因子である局所ゼータ函数の無限積オイラー積として定義される。ハッセ・ヴェイユゼータ函数は、大域的L-函数の 2つの大きなクラスの一つで、他は保型表現に付随する L-函数である。予想としては、ハッセ・ヴェイユのゼータ関数全体と保型表現からさだまる全体の間に対応があると考えられており、これは谷山志村予想の非常に大きな一般化である。
オイラー積の有限個の要素を除外したハッセ・ヴェイユゼータ函数の記述は比較的単純である。これはヘルムート・ハッセ (Helmut Hasse) とアンドレ・ヴェイユ (André Weil) が初めて示唆した。代数多様体が一点の場合、有理数体上ならリーマンゼータ函数、一般の代数体ならデデキントゼータ関数に対応し、これを一般化したものとなる。
話を単純にするため、有理数体上の代数多様体 にたいして、そのハッセ・ヴェイユゼータ函数を説明する。 が非特異射影多様体のとき、素数 に対し、 を法として の還元を考える。 個の元を持つ有限体 上の代数多様体 はまさに の方程式を還元することにより得られる。ほとんど全ての に対して、 は非特異となる。複素変数 のディリクレ級数として局所ゼータ函数
の無限積として
を定義する。
すると、 は、定義に従い、有限個の の有理函数による乗法のみを除外して well-defined である。 
この有理函数による乗法の不定性は比較的実害がない。たとえば有理型函数として解析接続することができるので、 が有理型函数に解析接続されるという性質はこの不定性に依存しない。また函数等式についても、函数等式の対称軸の正確な位置は悪い因子に依存するものの、函数等式が存在する事自体にはいくつかの因子を除いた事は影響しない。
エタールコホモロジーの発展により、正確な定義が可能となった。とくに、悪い還元に対応するオイラー因子が何かということを説明することができる。分岐理論で理解される一般原理に従うと、悪い素数では導手の理論のような良い情報を持っている。をもつ素数 においてはにより のエタールコホモロジー上のガロア表現 は不分岐である。このため、局所ゼータ函数の定義は、
の特性多項式の項で再現できる。ここの は に対するフロベニウス元である。悪い還元をもつ素数 では、 が に対する惰性群 上非自明な作用をもつ。これらの素数では、惰性群がとして作用するような表現 の最も大きな商をとることによってオイラー因子をさだめる。このようにして、 の定義はほとんど全ての から全ての へ、オイラー積が整合性をもつようにうまくアップグレードすることができる。函数等式の結果は1960年代後半にセール (Serre) とドリーニュ (Deligne) により完成され、函数等式自体は一般的に証明されていない。