Remark 64.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)