Remark 63.29.4. By the proposition and Trivial duality then you get

\[ H^{2-i}_ c(X_{\overline{k}}, \mathcal{F}_\rho ) \times H^ i(X_{\overline{k}}, \mathcal{F}_\rho ^\wedge (1)) \to \mathbf{Q}/\mathbf{Z} \]

a perfect pairing. If $X$ is projective then this is Poincare duality.

## Comments (0)