Weil conjectures
強レフシェッツ定理は、有限体上の滑らかな射影多様体のl-進コホモロジーに対し、ヴェイユ予想の仕事の結果として証明された。