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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Example 6.2.1. We’ve already seen a first example <str<strong>on</strong>g>of</str<strong>on</strong>g> a generic elliptic Calabi-<br />

Yau threefold in Example 4.1.2. Indeed, the <strong>on</strong>ly thing we need to check is that<br />

the map f : X → P 2 satisfies the c<strong>on</strong>diti<strong>on</strong>s for being a generic elliptic threefold.<br />

The facts that the fibers are 1-dimensi<strong>on</strong>al (so that f is flat), there are no multiple<br />

fibers, and f admits a multisecti<strong>on</strong> are immediate. The discriminant locus is a<br />

reduced curve <str<strong>on</strong>g>of</str<strong>on</strong>g> degree 36, with 216 cusps and 189 nodes. (This can be checked<br />

directly using the s<str<strong>on</strong>g>of</str<strong>on</strong>g>tware package Macaulay [28], or by using Euler characteristic<br />

computati<strong>on</strong>s.) As we have seen before, this elliptic fibrati<strong>on</strong> has n = 3 (smallest<br />

degree <str<strong>on</strong>g>of</str<strong>on</strong>g> a multi-secti<strong>on</strong>) and the <strong>on</strong>ly <str<strong>on</strong>g>twisted</str<strong>on</strong>g> powers <str<strong>on</strong>g>of</str<strong>on</strong>g> it (as in Secti<strong>on</strong> 4.5) are<br />

its relative Jacobian and itself.<br />

Example 6.2.2. In this example we will c<strong>on</strong>struct a generic elliptic Calabi-Yau<br />

threefold X → P 2 . The ambient space under c<strong>on</strong>siderati<strong>on</strong> is P 2 × P 4 , with<br />

coordinates x0, . . . , x2, y0, . . . , y4. Let M be a generic 5×5 skew-symmetric matrix<br />

whose (i, j)-th entry is a polynomial <str<strong>on</strong>g>of</str<strong>on</strong>g> bi-degree (1 − δj5, 1) (in other words, the<br />

bi-degree is (1, 1) everywhere except the last row and column, where it is (0, 1)).<br />

According to [15, 0.1], the 4 × 4 Pfaffians <str<strong>on</strong>g>of</str<strong>on</strong>g> this matrix define a degeneracy locus<br />

X, which has a symmetric locally free resoluti<strong>on</strong><br />

where<br />

0 → L → E ϕ<br />

−→ E ∨ (L ) → O P 2 ×P 4 → OX → 0,<br />

L = ωP2 ×P4 = O(−3, −5),<br />

5<br />

E = O(ai, −3),<br />

i=1<br />

(ai) = (−2, −2, −2, −2, −1),<br />

and the map ϕ is given by the matrix M. Then it can be easily checked using the<br />

results in [15] that X is a smooth Calabi-Yau three-fold.<br />

The projecti<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> X to P 2 is surjective and flat, and the fibers are degree 5<br />

curves in P 4 given by Pfaffians <str<strong>on</strong>g>of</str<strong>on</strong>g> a skew-symmetric 5 × 5 matrix. Therefore the<br />

fibers are (generically) elliptic curves, and it can be checked by computer that this<br />

exhibits X → P 2 as a generic elliptic fibrati<strong>on</strong>.<br />

The projecti<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> X to P 4 maps to a quintic threefold Q in P 4 , c<strong>on</strong>tracting 52<br />

lines and a c<strong>on</strong>ic, to 53 ordinary double points in Q. It can now be checked using<br />

standard techniques that the Picard number <str<strong>on</strong>g>of</str<strong>on</strong>g> Q (and therefore that <str<strong>on</strong>g>of</str<strong>on</strong>g> X) is 2.<br />

Let D and H be pull-backs <str<strong>on</strong>g>of</str<strong>on</strong>g> hyperplane secti<strong>on</strong>s from P 2 and P 4 , respectively.<br />

It is easy to compute intersecti<strong>on</strong> numbers. They are:<br />

D 3 = 0, D 2 H = 5, DH 2 = 9, H 3 = 5.<br />

Since D 2 H and DH 2 are coprime, D and H must be primitive in NS(X), so<br />

OX(D) and OX(H) generate Pic(X). If F = D 2 is a fiber <str<strong>on</strong>g>of</str<strong>on</strong>g> X → P 2 , then we<br />

have DF = 0 and HF = 5, so we c<strong>on</strong>clude that n = 5 (smallest degree <str<strong>on</strong>g>of</str<strong>on</strong>g> a<br />

89

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

Saved successfully!

Ooh no, something went wrong!