Serre duality (source code)

= Serre duality
{c}
{wiki}

For a smooth projective $n$-dimensional variety $X$ over a field and a coherent sheaf $\mathcal F$, Serre duality gives a perfect pairing between $H^q(X,\mathcal F)$ and $\operatorname{Ext}^{n-q}(\mathcal F,\omega_X)$, where $\omega_X$ is the canonical sheaf.