The Arithmetic of Elliptic Curves
《The Arithmetic of Elliptic Curves》 · 第 141 页 · Chapter V，Section 2「The Weil Conjectures」，Theorem 2.2
Let $V/\mathbb F_q$ be a smooth projective variety of dimension $N$. The Weil conjectures assert rationality, $Z(V/\mathbb F_q;T)\in\mathbb Q(T)$; a functional equation; and a factorization into polynomials $P_i(T)=\prod_{j=1}^{b_i}(1-\alpha_{ij}T)$ with $|\alpha_{ij}|=q^{i/2}$, where the degree $b_i$ is the $i$th Betti number of $V$.