Weil conjectures

For smooth projective X/𝔽_q: Z(X,t) rational, functional equation, Riemann hypothesis |αᵢ| = q^{i/2}, Betti numbers from ℓ-adic. Deligne 1974.