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.
D<br />
elliptic fibrati<strong>on</strong><br />
H<br />
c<strong>on</strong>tracti<strong>on</strong> to<br />
flop<br />
Q;<br />
4H-D<br />
c<strong>on</strong>tracti<strong>on</strong> to<br />
complete intersecti<strong>on</strong><br />
<str<strong>on</strong>g>of</str<strong>on</strong>g> type (2,4); flop<br />
11H-3D<br />
elliptic fibrati<strong>on</strong><br />
Figure 6.1: The Kähler c<strong>on</strong>es in Example 6.2.2<br />
multi-secti<strong>on</strong>). One can take H for a multisecti<strong>on</strong>. There is <strong>on</strong>e more interesting<br />
Calabi-Yau threefold that can be c<strong>on</strong>structed from X (see Secti<strong>on</strong>s 4.5 and 6.6),<br />
namely X 2 . We’d like to be able to claim that X 2 is not birati<strong>on</strong>al to X, and for<br />
this we analyze the Kähler c<strong>on</strong>es <str<strong>on</strong>g>of</str<strong>on</strong>g> X.<br />
One can draw the Kähler c<strong>on</strong>es for X (Figure 6.2.2). The walls are given by<br />
1. D – map to P 2 ; elliptic fibrati<strong>on</strong>;<br />
2. H – map to P 4 , image is a quintic with 53 ordinary double points; passing<br />
through this wall is a flop;<br />
3. 4H − D – map to P 5 , image is a complete intersecti<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> type (2, 4) with 41<br />
ordinary double points; passing through this wall is a flop;<br />
4. 11H − 3D – map to P 2 ; elliptic fibrati<strong>on</strong>.<br />
Note that the first elliptic fibrati<strong>on</strong> is embedded in P 2 × P 4 , while the sec<strong>on</strong>d <strong>on</strong>e<br />
in P 2 × P 5 (although the fibers are degree 5 each time). If we could prove that<br />
X 2 can also be embedded in P 2 × P 4 , this would prove that X 2 is not birati<strong>on</strong>al<br />
to X. We are unable to do this in the course <str<strong>on</strong>g>of</str<strong>on</strong>g> this work due to lack <str<strong>on</strong>g>of</str<strong>on</strong>g> time.<br />
Example 6.2.3. The c<strong>on</strong>structi<strong>on</strong> is almost identical to that in the previous example,<br />
except that we take the base <str<strong>on</strong>g>of</str<strong>on</strong>g> the fibrati<strong>on</strong> to be S = P 1 × P 1 . (We want<br />
to do this in order to have KS divisible by 2; see Secti<strong>on</strong> 6.7.) The ambient space<br />
is now P 1 × P 1 × P 4 , and M is a 5 × 5 skew-symmetric matrix <str<strong>on</strong>g>of</str<strong>on</strong>g> polynomials <str<strong>on</strong>g>of</str<strong>on</strong>g><br />
tri-degree (aij, bij, 1), where aij = 0 except when i = 4 or j = 4, in which case<br />
aij = 1, and bij = 0 except when i = 5 or j = 5, in which case bij = 1.<br />
90