2 added 434 characters in body

What is exacly the statement of Poincaré duality for smooth projective varieties over finite fields and twisted constant $\mathbf{Z}_\ell$ sheaves? Where can I find a proof?

By twisted constant $\mathbf{Z}_\ell$ sheaf, I mean a system of $\mathbf{Z}/\ell^n$-sheaves that are constructible and étale locally constant, e.g. the system $(\mu_{\ell^n}) = \mathbf{Z}_\ell(1)$.

I'm interested in the finite field case of Poincaré duality. Presumably, the formulation is something like $H^i(X, F) \times H^{2d+1-i}(X, F') \to H^{2d+1}(X, ?) = \mathbf{Z}_\ell$. Now, I want to know what $F'$ and $?$ is.

1

# Poincaré duality for smooth projective varieties over finite fields

What is exacly the statement of Poincaré duality for smooth projective varieties over finite fields and twisted constant $\mathbf{Z}_\ell$ sheaves? Where can I find a proof?