Weil conjectures
found and proved a generalization of the Weil conjectures, bounding the weights of the pushforward of a sheaf.