Skip to main content
added ag tag
Link
algori
  • 23.5k
  • 3
  • 100
  • 152
Source Link

Symmetric powers and duals of vector bundles in char p

Suppose that $X$ is a smooth projective variety (eg $P^n$) and $E$ is a vector bundle (eg the tangent bundle). If the characteristic is zero, then taking symmetric powers "commutes" with taking duals: $ Sym_m(E)^* $ and $Sym_m(E^*)$ are canonically isomorphic. This is not true in characteristic $p>0$ (one has a canonical isomorphism with a divided power, instead.) But even in characteristic $p$, if the bundle is trivial, then there are non-canonical isomorphisms, and it is not hard to show that the Chern classes are the same.

Question: Is $Sym_m(E)^*$ isomorphic to $Sym_m(E^*)$ (non-canonically) in general?