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.

606 Black holes in string theory<br />

S-duality symmetry of the dual heterotic string theory in four dimensions.<br />

The modular parameter of this symmetry is τ, <strong>and</strong> it transforms nonlinearly<br />

under SL(2, ) transformations in the usual way. Its real part, τ1, which is<br />

an axion-like field, arises from a duality transformation of the two-form B<br />

in four dimensions. Accordingly, the ten-dimensional interaction gives rise<br />

to a four-dimensional term of the form<br />

<br />

1<br />

τ1 (trR ∧ R − trF ∧ F ) . (11.189)<br />

8π<br />

The normalization is fixed by the requirement that this should be well defined<br />

up to a multiple of 2π when τ1 is shifted by an integer, since such<br />

shifts are part of the SL(2, ) group. To get the rest of the group working,<br />

specifically the transformation τ → −1/τ, it is necessary to add higher-order<br />

terms by the replacement<br />

τ = 1 24<br />

1<br />

log q → log η(τ) = log ∆(q). (11.190)<br />

2πi 2πi 2πi<br />

In the heterotic viewpoint, the corrections given by this substitution have the<br />

interpretation as instanton contributions due to Euclideanized NS5-branes<br />

wrapping the six-torus.<br />

It follows that the S-duality invariant <strong>and</strong> supersymmetric completion of<br />

the trR ∧ R term is25 1<br />

Im<br />

16π2 <br />

log ∆(q)tr [(R − iR ⋆ ) ∧ (R − iR ⋆ )] . (11.191)<br />

The factor involving the curvatures is part of d4θW 2 , <strong>and</strong> its coefficient<br />

determines F1 to be<br />

F1 = i<br />

log ∆(q). (11.192)<br />

128π<br />

This shows that F1 is independent of the K3 moduli. Moreover, Fh = 0<br />

for h > 1. As a result, one finds that the prepotential for this case takes a<br />

particularly simple form, namely<br />

F (X, W 2 ) = − 1<br />

2 CabX a X b<br />

X 1<br />

X 0<br />

<br />

W 2<br />

− log ∆(q). (11.193)<br />

128πi<br />

Using these formulas one can solve the attractor equations <strong>and</strong> the Legendre<br />

transformation obtaining<br />

<br />

φ0 = −2π<br />

p1 . (11.194)<br />

25 In terms of two-forms, R ∗ is defined by a duality transformation of the Lorentz indices<br />

(R ∗ ) mn = 1<br />

2 εmn pqR pq .<br />

q0

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

Saved successfully!

Ooh no, something went wrong!