ヴェイユ予想
Auxiliary types of sums occur in the theory, for example character sums; going back to Harold Davenport's thesis. The Weil conjectures had major applications to complete sums with domain restricted by polynomial conditions (i.e., along an algebraic variety over a finite field).