Weil conjectures
アンドレ・ヴェイユ(André Weil)は1940年頃、このことを一般的な場合に証明した ("Comptes Rendus" note, April 1940) が、代数幾何学を建設するために多くの時間を注ぎ込んだ。このことから、彼はヴェイユ予想へ至り、グロタンディエク(Grothendieck)はこの予想の解決のため、スキーム論を開発し、最終的に予想は後に、ドリーニュ(Deligne)により証明されることとなった。一般論の基本公式については、エタールコホモロジーを参照。