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
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