Weil's criterion

Weil's criterion is a fundamental result in algebraic geometry and number theory, particularly in the study of algebraic varieties over finite fields. Specifically, it is used to count the number of points on algebraic varieties defined over finite fields. The criterion is most famously associated with André Weil's work in the mid-20th century and is related to the concept of zeta functions of varieties over finite fields.