Exercise 111.48.6. Let $k$ be a field. Let $X = \mathbf{P}^ d_ k$. Set $\omega _{X/k} = \mathcal{O}_ X(-d - 1)$. Prove that for finite locally free modules $\mathcal{E}$, $\mathcal{F}$ the cup product on Ext combined with the trace map on Ext

produces a nondegenerate pairing. Hint: you can either reprove duality in this setting or you can reduce to cohomology of sheaves and apply the Serre duality theorem as proved in the lectures.

## Comments (0)