Canonical bundle of projective space
ID: canonical-bundle-of-projective-space
Over any field, the canonical bundle of projective space is . Indeed, dualizing the Euler sequence gives ; taking determinants gives the result. Hence Serre duality identifies with the dual of .
New to topics? Read the docs here!