Weil conjectures
これは に対し証明されていて、 上の平坦スキームと全ての正の標数 に対して知られているものもある。これはゼータ函数は formula_6 について有理型接続をされるというヴェイユ予想（より正確には、リーマン予想の一部）である。