10.04.2013 Views

derived categories of twisted sheaves on calabi-yau manifolds

derived categories of twisted sheaves on calabi-yau manifolds

derived categories of twisted sheaves on calabi-yau manifolds

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Remark 4.5.3. Note that we have fixed a special isomorphism <str<strong>on</strong>g>of</str<strong>on</strong>g> JX and J X k in<br />

order to obtain this result. This is what allows us to distinguish between X and<br />

X −1 , which are isomorphic, even as fibrati<strong>on</strong>s over S! Indeed, <strong>on</strong>e can take I∆<br />

as a universal sheaf <strong>on</strong> X ×S X, where ∆ is the diag<strong>on</strong>al in X ×S X. But in this<br />

case, the isomorphism between JX and J X −1 is doing a negati<strong>on</strong> al<strong>on</strong>g the fibers,<br />

which also acts by −1 <strong>on</strong> the Brauer group. Note that this answers the questi<strong>on</strong><br />

posed at the end <str<strong>on</strong>g>of</str<strong>on</strong>g> [13, Secti<strong>on</strong> 1].<br />

Another c<strong>on</strong>sequence <str<strong>on</strong>g>of</str<strong>on</strong>g> this remark is that if the j invariant is not c<strong>on</strong>stant<br />

(so that the <strong>on</strong>ly automorphisms <str<strong>on</strong>g>of</str<strong>on</strong>g> J/S are given by translati<strong>on</strong>s and negati<strong>on</strong>),<br />

and k is not equal to 1 or −1 in Z/nZ, then X k is not isomorphic to X, even at<br />

the generic point <str<strong>on</strong>g>of</str<strong>on</strong>g> S. Thus if we can prove that there is <strong>on</strong>ly <strong>on</strong>e elliptic fibrati<strong>on</strong><br />

structure whose Jacobian is the same as that <str<strong>on</strong>g>of</str<strong>on</strong>g> X am<strong>on</strong>g all birati<strong>on</strong>al models<br />

<str<strong>on</strong>g>of</str<strong>on</strong>g> X, then X is not birati<strong>on</strong>al to X k . (Because, if they were birati<strong>on</strong>al to each<br />

other, they would have to be isomorphic to <strong>on</strong>e another because they have the<br />

same Jacobian, and this is impossible.) See also Secti<strong>on</strong> 6.7.<br />

61

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!