So let $X$ be a projective hypersurface inside $\mathbb{P}_{\mathbb{Z}}^n$ of degree $d$. Assume that (a) $X(\mathbb{C})$ and $X(\overline{\mathbb{F}}_p)$ are irreducible, (b) and that $X(\mathbb{C})$ and $X(\overline{\mathbb{F}}_p)$ are smooth varieties (therefore of Zariski dimension $n-1$). Then we know from the classical Weil conjectures and (Hard Lefschetz) that ` $$ Z(X/\mathbb{F}_p,T)=\frac{P_{n-1}(T)^{(-1)^n}}{(1-T)(1-pT)\cdots (1-p^{n-1}T)}, $$ ` where $$ P_{n-1}(T)=\prod_{j=1}^{b_{n-1}}(1-\alpha_{j} T), $$ with $|\alpha_{j}|=p^{(n-1)/2}$ where the $(n-1)$-th Betti number of $X(\mathbb{C})$ is given explicitly by ` $$ b_{n-1}=\frac{(d-1)^{n+1}+(-1)^{n+1}(d-1)}{d}. $$ ` The last formula being a direct consequence of Gauss-Bonnet. **Q**: So for a general connected projective hypersurface $X$ of $\mathbb{P}_{\mathbb{Z}}^n$ such that (i) $\dim_{\overline{\mathbb{F}}_p}(X(\overline{\mathbb{F}}_p))=\dim_{\mathbb{C}}(X(\mathbb{C}))=n-1$, **which is no more assumed to be smooth**, what is the "shape" of $Z(X/\mathbb{F}_p,T)$? I guess that a precise answer to this question should involve a description of the singular locus of $X(\overline{\mathbb{F}}_p)$ and $X(\mathbb{C})$ (the number of components of the singular locus and the type of singularity for each intersection of two components). P.S. Note that if one has a precise recipe for the zeta function of such a hypersurface, then by the inclusion-exclusion principle one gets a description of the zeta function of a general (equi-dimensional) projective scheme $X$ of finite type over $Spec(\mathbb{Z})$. **added**: By shape I mean an explicit factorization of the numerator and denominator of $Z(T)$ that reflects the geometry of $X(\mathbb{C})$. I know nothing about intersection homology but I guess that the shape of the zeta function should encode some data about $IH^{*}(X)$.