Let $X$ be a smooth projective variety and $E$ be a vector bundle on $X$. Let $$Y = Spec(Sym(E^*)).$$ How can I compute the canonical bundle $\omega_Y$ on $Y$?
2026-04-01 01:37:35.1775007455
Canonical sheaf of total space of vector bundle
681 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
First, the relative tangent bundle of $Y$ over $X$ is $$ T_{Y/X} \cong p^*E, $$ where $p:Y \to X$ is the projection. Therefore, $$ \omega_{Y/X} \cong p^*\det E^*, $$ and hence $$ \omega_Y \cong p^*\omega_X \otimes \omega_{Y/X} \cong p^*(\omega_X \otimes \det E^*). $$