10.12.2012 Views

String Theory and M-Theory

String Theory and M-Theory

String Theory and M-Theory

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.

SOLUTION<br />

10.1 Flux compactifications <strong>and</strong> Calabi–Yau four-folds 479<br />

In analogy to the three-fold case discussed in Chapter 9, the following formulas<br />

hold for four-folds:<br />

<strong>and</strong><br />

∂IΩ = KIΩ + χI, I = 1, ..., h 3,1<br />

J = K A eA, A = 1, ..., h 1,1 ,<br />

where χI <strong>and</strong> eA describe bases of harmonic (3, 1)-forms <strong>and</strong> (1, 1)-forms,<br />

respectively. Since Ω is a (4, 0)-form one obtains from Eq. (10.63)<br />

<br />

M<br />

Ω ∧ F 0,4 = 0 <strong>and</strong><br />

<br />

M<br />

χI ∧ F 1,3 = 0.<br />

Since h0,4 = 1, the first constraint leads to F 0,4 = 0. Since χI describes a<br />

basis of harmonic (3, 1)-forms, ⋆F 3,1 = h3,1 I=1 AIχI, which leads to<br />

<br />

⋆F 3,1 ∧ F 1,3 <br />

= ⋆(F 1,3 ) ∗ ∧ F 1,3 <br />

= |F 1,3 | 2√ g d 8 x = 0,<br />

M<br />

as F is real. This leads to the flux constraint<br />

M<br />

M<br />

F 1,3 = F 3,1 = F 0,4 = F 4,0 = 0.<br />

Using ∂AW 1,1 = 0 <strong>and</strong> Eq. (10.68), one gets<br />

<br />

eA ∧ J ∧ F 2,2 = 0.<br />

Since ⋆(J ∧ F 2,2 ) is a harmonic (1, 1)-form, we have<br />

⋆(J ∧ F 2,2 <br />

) = U A eA.<br />

So the above constraint results in<br />

<br />

⋆(J ∧ F 2,2 ) ∧ (J ∧ F 2,2 <br />

) =<br />

M<br />

h 1,1<br />

A=1<br />

M<br />

|J ∧ F 2,2 | 2√ g d 8 x = 0,<br />

which leads to the primitivity condition Eq. (10.67). Notice that the condition<br />

W 1,1 = 0 is then satisfied, too. ✷

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

Saved successfully!

Ooh no, something went wrong!