Professional Documents
Culture Documents
PREPRINT
Universit`
a di Roma Tor Vergata and I.N.F.N, Dipartimento di Fisica,
Via della Ricerca Scientifica, I-00133 Rome, Italy
2
I.N.F.N - sezione di Roma 2
and Universit`
a di Roma Tor Vergata, Dipartimento di Fisica
Via della Ricerca Scientifica, I-00133 Roma, Italy
3
center for Research in String Theory, School of Physics and Astronomy,
Queen Mary University of London,
Mile End Road, London, E1 4NS, United Kingdom
E-mail: bianchi@roma2.infn.it,morales@roma2.infn.it,
lorenzo.pieri@roma2.infn.it,natale.zinnato@gmail.com
Abstract: We construct explicit examples of microstate geometries of four-dimensional
black holes that lift to smooth horizon-free geometries in five dimensions. Solutions consist
of half-BPS D-brane atoms distributed in R3 . Charges and positions of the D-brane centers
are constrained by the bubble equations and boundary conditions ensuring the regularity
of the metric and the match with the black hole geometry. In the case of three centers, we
find that the moduli spaces of solutions includes disjoint one-dimensional components of
(generically) finite volume.
Keywords: black holes, D-branes, micro-states
Contents
1 Introduction
3
5
7
7
Microstate geometries
3.1 The eleven dimensional lift
3.2 The bubble equations
8
8
9
11
11
12
13
14
14
6
A
Conclusions
16
16
16
18
19
20
20
20
21
21
22
23
Introduction
Black holes are classical solutions of Einsteins equations with curvature singularities hidden
behind event horizons. According to the no-hair theorem, the solutions are unique in four
dimensions, once the mass, charge and angular momentum are specified. At the classical
level black holes are absolutely black and have zero statistical entropy S = log(1) = 0. In
a quantum theory however a black hole radiates as a black body with a finite temperature
and an entropy given by one quarter of the area of its event horizon. To explain the
microscopic origin of this entropy remains a primary task for any serious contender to a
quantum theory of gravity.
In string theory, black holes can be realised in terms of D-branes intersecting in the
internal space. The micro-states can be represented (and counted) in terms of excitations
of the open strings connecting the building brane bits. Alternatively, one may think of
the geometry generated by the excited brane state as the gravity representation of the
micro-state. Since the micro-state geometry describes a pure state with zero entropy, it
should have no horizon. This line of ideas motivates the fuzzball proposal that associates
to every black hole micro-state a regular and horizon-free solution of classical gravity. The
solutions, known as fuzzballs or micro-state geometries, share with the would-be black
hole the mass, charges and angular momentum but differ from it in the interior [13].
The black hole horizon and its entropy arise from a coarse graining superposition of the
micro-state geometries.
In the last years, a large class of four and five dimensional black hole micro-state
geometries have been produced [413]. The micro-state geometries are typically coded
in smooth, horizon-less geometries with no closed time-like curves (CTCs) in five or six
dimensions. This is the best one can achieve, since no-go theorems in four dimensions
exclude the existence of non-singular asymptotically flat soliton solutions1 . This is not the
case in five or higher dimensions where the existence of Chern-Simons interactions and
spatial sections with non-trivial topologies circumvent the no-go result [16]. From a fourdimensional perspective, the finiteness of the higher dimensional Riemann tensor (and its
derivatives) results into a finite effective action with curvature divergences compensated
by the singular behaviour of the scalars and gauge fields.
A black hole with finite area in four dimensions can be realised in several different
frames. Popular choices include bound states of D1-D5-KK-p, of D0-D2-D4-D6 branes
[1723] or of intersecting D3-branes, wrapping three cycles in T 2 T 2 T 2 [2426]. After reduction down to four dimensions, the solution can be viewed as a supersymmetric
vacuum of the N = 2 truncation of N = 8 supergravity involving the gravity multiplet
and three vector multiplets characterizing the complex structures of the internal torus.
In a microscopic world-sheet description of the D3-brane system [25, 26], the harmonic
functions characterising the gravity solution are sourced by disk diagrams with a boundary
ending on a single, two or four different branes [25, 27, 28]. Higher multipole modes are
generated by extra insertions of untwisted open string fields on the disk boundaries. The
micro-state multiplicities can be computed by counting open strings in the D1-D5-p-KK
1
Regular solutions with AdS asymptotics have been recently found in [14, 15]
In this paper we consider a family of BPS solutions describing systems of intersecting D3branes on T 6 from the four dimensional perspective. We refer the reader to the appendix
for details on the ten dimensional solution and its reduction down to four dimensions. The
four dimensional solution has been first explicitly derived in [19] in the D0-D2-D4-D6 type
IIA frame and lifted to a system of M5 branes in M-theory. Here, for convenience, we
consider the very symmetric formulation in terms of D3-branes, but the results can be
easily translated into the type IIA and M-theory frame.
2
Here we have in mind a canonical ensemble interpretation. We thank Iosif Bena for clarifications on
this point.
1
1
L = g4 R4
(2.1)
Fa I ab Fb Fa Rab Feb
4
2 ( Im UI )2 4
I=1
where
Fea = 4 Fa
Fa = dAa
(2.2)
are the three complex scalars in the vector multiplets characterising the complex structures
of the internal T 2 T 2 T 2 . In these variables the kinetic functions read
2
2
2
2
1 + s2 + t2 + u 2 s2 t2 u2
1
0
0
0
s2
2
ab
ab
s
I = stu
R =
0
0
0
t2
t2
1
0
0
0
u2
u2
(2.3)
The solutions will be written in terms of eight harmonic functions
{V, LI , KI , M }
(2.4)
(2.5)
i=1
Aa = (A0 , AI ) = wa + aa (dt + w)
1
UI = bI + i V e2U ZI
with
KI
bI =
V
ZI
3 dw0 = dV
2 4U
a0 = V e
3 dwI = dKI
4U
aI = V e
3 dw =
Z1 Z2 Z3
+ KI
ZI
(2.6)
1
(V dM M dV + KI dLI LI dKI ) (2.7)
2
and
e4U = I4 (Li , V, KI , M ) Z1 Z2 Z3 V 2 V 2
(2.8)
3
3
3
X
X
MV X
= L1 L2 L3 V K1 K2 K3 M + 12
KI KJ LI LJ
KI2 L2I
KI LI 14 M 2 V 2 41
2
I>J
I=1
I=1
2.1
For general choices of the eight harmonic functions, the solution (2.6) is singular. Both
naked and horizon-dressed curvature singularities can be present. The generic solution
is characterised by a mass M, associated to the Killing vector (t)M M = t , four electric
charges Qa and four magnetic charges Pa . Introducing the symplectic vector
!
!
Fa
Fa
F=
(2.9)
=
L
4 I ab Fb Rab Fb
Fa
one finds for the charges
Z
1
M=
4 d (t)
8G S
2
!
Z
1
Pa
F
=
4 S
2
Qa
(2.10)
(t)
with () = M dxM . Spherical symmetric solutions are invariant under rotations around
the origin and are characterized by zero angular momentum.
In this paper we consider fuzzballs of spherically symmetric black holes. The harmonic
functions specifying the general spherically symmetric solution can be written in the singlecenter form
V = v0 +
v
r
LI = l0I +
lI
r
KI = k0I +
kI
r
M = m0 +
m
r
(2.12)
(2.13)
1
4
3
X
I=1
KI LI
!2
(2.14)
Being a surface integral, the expression for J holds true even when () is only an asymptotic Killing
vector.
Poles and zeros of this function are associated to horizons and curvature singularities
respectively. If e4U > 0 for all r > 0 the solution describes a black hole with near horizon
geometry AdS2 S 2 and entropy proportional to
lim r 4 e4U = I4 = v l1 l2 l3
r0
1
4
3
X
kI lI
I=1
!2
>0
(2.15)
If e4U has zeros for some positive positive r, the solution exposes a naked singularity.
The charges of the solution (or its fuzzball) are computed by the integrals (2.17)
evaluated in the asymptotic geometries (2.12). Writing the three-dimensional metric in
spherical coordinates
ds2 = e2U (dt + w)2 + e2U (dr 2 + r 2 d 2 + r 2 sin2 d2 )
(2.16)
(2.17)
where we used the fact that at infinity w = 0 and Fa = dwa +daa dt. On the other hand the
angular momentum of the fuzzball is computed by the integral (2.11). We notice that the
evaluation of this integral requires a more detailed knowledge of the asymptotic geometry
since the angular momentum arises from the first dipole mode in the expansion of the
harmonic function. Indeed, denoting
H = h0 +
h1 ~h2 ~x
+
r
r3
(2.18)
(2.19)
We anticipate here that apart from the scaling solutions, all fuzzball solutions we will find
here carry a non-trivial angular momentum. We observe that for orthogonal branes angular momentum is carried by K-components (see Appendix A.3 for details) corresponding
to open string condensates on disks with boundary on two different D3-brane stacks. Indeed, an explicit microscopic description of the general supergravity solution exists if the
harmonic functions satisfy the boundary conditions [25]
X
m2 +
kI2 = 0
(2.20)
As we will see, only scaling solutions in the list of examples we find satisfy this restriction
on the dipole modes.
4
sin d d = 4.
2.1.1
Orthogonal branes
v
r
lI
r
LI = 1 +
KI = M = 0
(2.21)
M = 4 (v + l1 + l2 + l3 )
!
!
Pa
(v, 0, 0, 0)T
=
Qa
(0, l1 , l2 , l3 )T
(2.23)
(2.24)
Branes at angles
v
r
LI = 1 +
lI
r
K1 = g +
k1
r
K2 = g
K3 = M = 0
(2.26)
The absence of Dirac-Misner strings (2.13) requires k1 = g(l1 + l2 ). The resulting solution
is equivalent after a duality transformation to the solution found in [24] describing a system
of D3 branes intersecting at a non-trivial angle between the branes at infinity, parametrised
by g.
The asymptotic solution at large r becomes
v + l1 + l2 + l3
1
2U
e =1
+ ...
UI = i, i,
+ ...
2r
gi
wa = (v cos d, k1 cos d, 0, 0) + . . .
g l3 (1 + g2 )l1 l2 g2 l1 l3
,
,
,
aa =
+ ...
r
r
r
r
0
1
0
0
g
1
0
0
0
0
1+g 2
Rab =
I ab =
1
0
0
0 1+g2
0
2
g 0
0 1+g
0
0
0
g
1+g 2
0
g
1+g 2
0
0
0
0
0
0
(2.27)
with dots denoting higher order terms in the expansion for large r. Plugging (2.27) into
(2.17) one finds for the charges5
M = 4 (v + l1 + l2 + l3 )
!
!
Pa
(v, g (l1 + l2 ), 0, 0)T
=
(0, l1 , l2 , l3 )T
Qa
(2.29)
(2.30)
Due to different conventions and duality frames, it is not easy to compare the charges with
the corresponding ones in [24].
Microstate geometries
In this section we review the Bena-Warner multi-Taub NUT ansatz for fuzzball geometries
of four- and five-dimensional black holes. We slightly generalise the ansatz to accomodate
for non-orthogonal brane intersections and derive the corresponding bubble equations. In
the next section we present explicit horizon-free solutions with three centers.
3.1
(3.1)
where
2
1
ds25 = (Z1 Z2 Z3 ) 3 [dt + (d + w0 ) + w]2 + (Z1 Z2 Z3 ) 3 V 1 (d + w0 )2 + V d~x2
1
3
X
Z1 Z2 Z3 3
dsT 6 =
(dyI2 + d
yI2 )
(3.2)
ZI3
I=1
Z3 = 4i(v l1 l2 + l3 )
Z2 = 4 [2 g l1 + i(v l1 + l2 l3 )]
Z4 = 4i(v + l1 + l2 + l3 )
(2.28)
showing the saturation of the BPS bound M = |Z4 | |Zi | for i 6= 4, when v and lI all have the same sign
and g is sufficiently small.
e2U > 0
and
(3.3)
Let us remark that the condition ZI V > 0 near the centers requires
X lI,j
X kjK
X qj
+ lI,i v0 +
+ CIJK kiJ k0K +
>0
ZI V |ri =0 = qi l0I +
rij
rij
rij
j6=i
j6=i
j6=i
(3.4)
It turns out that these necessary conditions often are enough to ensure the positivity of
both ZI V and e2U on the whole R3 . In the next section we look for explicit solutions of
these requirements satisfying the boundary conditions (2.12). We stress that the resulting
solutions are regular everywhere in five dimensions and fall off at infinity to R1,3 S 1 . The
four-dimensional fuzzball solution follows from reduction of this five-dimensional geometry
down to four dimensions where the apparent singularity in the geometry is balanced by a
blow up of the scalar fields.
3.2
N
X
qi
r
i=1 i
N
X
kiI
i=1
LI = l0I +
,
ri
N
X
lI,i
r
i=1 i
N
X
M = m0 +
i=1
mi
ri
(3.5)
with ri = |yi x| and yi the position of the ith center. We notice that (Ii , mi ) and (qi , kiI )
describe the electric and magnetic fluxes of the four dimensional gauge fields through the
sphere encircling the ith - centers, so Dirac quantisation requires that they be quantised.
Here we adopt units such that they are all integers. Alternatively, one can think of the eight
charges as parametrising the number of D3-branes wrapping one of the eight three-cycles
with a leg on each of the three tori TI2 in the factorisation T 6 = T12 T22 T32 . In other
words, in our units each charge describes the number of D3-branes of a certain kind.
We look for regular five dimensional geometries behaving as R TaubNUT near the
centers. It is easy to see that w vanishes near the centers, so the Taub-NUT geometry
factorises if ZI are finite and vanishes near the centers, i.e.
ZI ri 0 iI
0
(3.6)
ri 0
iI
with
some finite constants. The conditions that ZI is finite near the centers can be
solved by taking
|IJK | kiJ kiK
2
qi
1
2
3
k k k
mi = i i2 i
qi
I,i =
(3.7)
The vanishing of near the centers boils down to the so called bubble equations
N
X
(1) (2)
ij ij
(3)
ij
j=1
qi qj
k1 k2 k3 X
k0I kiJ kiK
+ v0 i 2i i
m0 qi = 0 (3.8)
l0I kiI |IJK |
rij
2 qi
qi
I=1
with
(I)
ij
kjI
kiI
=
qi
qj
rij = |yi yj |
(3.9)
Indeed the conditions (3.7) ensure that both ZI and are finite near the centers while the
bubble equations follows from the requirement that vanishes near the center. The bubble
equations ensure also the absence of Dirac-Misner strings. To see this, we notice that using
the bubble equations, the w function defined by (2.7) can be written in the form
3 dw =
=
N
X
!
3
N
X
X
1
1
1
1
(l0I kiI kI0 li,I ) d
(q[i mj] + k[iI lj],I ) d +
v0 m i m 0 q i
ri rj
2
ri
i,j=1
i=1
N
1 X (1) (2) (3)
ij ij ij qi qj
2
i,j=1
1
1
rj
rij
I=1
1
ri
(3.10)
where in the second line we used equations (3.7), (3.8) and A[BC] means 21 (ABC ACB ).
The solution can be written in the form
w=
N
1 X (1) (2) (3)
ij ij ij qi qj ij
4
(3.11)
i,j=1
d
d ,
rj
rij
ri
ri rij
rj
that is
ij =
with
ni =
x yi
ri
nij =
yi yj
rij
dij =
(3.12)
(3.13)
nij ni dx
.
ri [1 (nij ni )2 ]
It is easy to see that ij is free of Dirac-Misner singularities. Indeed along the dangerous
lines connecting any two centers the numerator of (3.13) always vanish so no string-like
singularity arises. One can also see that near the centers w goes to a constant and exact
form.
Finally we notice that if the coefficients kiI satisfy the relation
v0 m i
3
X
I=1
10
(3.14)
the system of equations is invariant under overall rescalings of the center positions yi yi .
These solutions are known as scaling solutions. Multiplying equation (3.14) by the
positions of the centers ~yi and summing one finds that the scaling solutions satisfy
m0 ~v2 v0 m
~ 2 + l0I ~k2I k0I ~l2I = 0
(3.15)
m0 = m = k0I = kI = 0
(4.1)
For concreteness we take qi = 1. The charges of the fuzzball solutions are then
P0 = N
N
X
|IJK |kiJ kiK
QI =
2
(4.2)
i=1
The solution is specified by the the positions yi of the centers and the fluxes kiI . The
positions of the centers are constrained by the bubble equations
(1) (2) (3)
N
X
kij kij kij
rij
j6=i
3
X
kiI = 0
(4.3)
I=1
(I)
with kij = kiI kjI while the match of the asymptotic geometries requires
N
X
kiI =
i=1
N
X
(4.4)
i=1
and
e2U > 0
(4.5)
We will consider solutions with three centers. Configurations with one or two centers fail
to meet the requirement QI > 0.
4.1
Three centers
The bubble equations (4.3) for three centers can be solved in general by taking
r12 =
12 r23
23 r23 (2 2 )
with
ij =
3
Y
(kiI
I=1
kjI )
r13 =
i =
13 r23
23 + r23 (1 + 2 1 2 )
3
X
I=1
11
kIi
(4.6)
(4.7)
A solution given by (4.6) makes sense if the distances rij between the three centers are
positive and they satisfy the triangle inequalities. This restricts significantly the choices
for the kiI . A quick scan over the integers shows that boundary conditions are solved only
if at least one of the fluxes kiI vanishes. Without loss of generality the general solution can
then be parametrised in the form (up to permutations of rows and columns)
1 2 1 3 1 (2 + 3 )
kI i = 3
(4.8)
2
2 3
4
4
0
r
r1 r2
i=1 i
3 2
2 3
L1 = 1 + 4
L2 = 1 + 1 4 +
r1
r2
r1
r2
2
2 3 2 + 3
2 3 2 3 (2 + 3 )
+
+
+
K1 = 1
L3 = 1 + 1
r1
r2
r3
r1
r2
r3
3 2 2 + 3
1
1
K2 =
+
K3 = 4 +
r1
r2
r3
r1 r2
The charges and distances between the centers reduce to
Q2 = 1 4 (3 2 )
Q3 = 1 (22 + 42 3 + 23 )
21 4 (2 3 )2 r23
=
1 4 (222 + 52 3 + 223 ) + (2 + 4 1 3 + 1 2 3 4 )r23
1 4 (22 + 3 )(2 + 23 )r23
.
=
2
1 4 (22 + 52 3 + 223 ) (1 1)(2 + 3 )r23
Q1 = 4 (3 2 )
r12
r13
4.1.1
(4.9)
Scaling solutions
1 = 1
= 0
0
P0 = 3
3 = 4 =
(4.10)
Q1 = Q2 = Q3 = 2
(4.11)
e4U = 1 +
Z1 V = 1 +
r1 r2 + r1 r3 + r2 r3 + 2 (2 r2 + 2r3 r1 + r2 r3 )
>0
r1 r2 r3
12
(4.12)
The conditions Z2 V > 0 and Z3 V > 0 follow from Z1 V > 0 and the permutation symmetry
of the system. The two conditions can be shown to be satisfied using the inequality
r1 + r2 r3 0
(4.13)
holding for any point x R3 if ri denotes the distance from the point to the three vertices
of an equilateral triangle. This inequality can be proved using triangle inequalities [35].
We conclude that the five-dimensional geometry defined by the multi-center solution
is regular everywhere. We notice that the fluxes satisfy the scaling condition (3.14) and
consistently a rigid rescaling of the positions of the centers generate a new solution. More
precisely, the moduli space of solutions with this charge is spanned by a single continuous
parameter and permutations of the rows or columns of the matrix (4.11). There are 12
inequivalent choices corresponding to the 3! permutations of the entries in the first line in
(4.11) times the two choices for the position of the 0 in the second line. The remaining
entries are determined by the conditions that the sum along rows and columns of the matrix
kiI should vanish. The number 12 matches the number of apostles and the degeneracy of
four-charge black hole micro-states with the minimal unit of charge P0 = QI = 1 [29]!
P
~ 2 = 0 and therefore according to (2.19) and
Moreover the solutions satisfy 3I=1 ~k2I = m
(2.20) they carry zero angular momentum and admit a microscopic description in terms of
orthogonal intersecting D3-branes along the lines of [25].
This solution can been shown6 to be related by dualities to a known supertube solution
originally found in [36].
4.1.2
Non-scaling solutions
The analysis above can be repeated for more general choices of the fluxes but regularity conditions in general can only be verified numerically. Here we list some illustrative
examples of the type of solutions one finds.
2 = 0, 1 = 3 = 1, 4 = :
0 1 1
kI i = 1 0 1
0
P0 = 3
r13 = r23
Q1 = Q2 =
r12 =
2 r23
2 + ( 1) r23
Q3 = 1
(4.14)
Interestingly, triangle inequalities in this case do not constrain r23 that can take
arbitrarily large value.
2 = 4 = , 1 = 1, 3 = 2
2 3
kI i = 2 3
0
P0 = 3
Q1 = Q2 = 2
r12 =
Q3 = 13 2
13
r23
10 + r23
r13 = r23 .
(4.15)
2 = 0, 1 = 3 , 3 = 2 , 4 =
0 3 3
kI i =
0
2 2 0
Q1 = 2 2
< 6 (2 2) 2
P0 = 3
r23
12 2 r23
12 2 r23
r12 =
Q2 = 6 2
r13 =
6 2 r23
6 2 r23
Q3 = 3 2
(4.16)
We notice that triangle inequality in this case impose an upper bound on r23 leading
to a moduli space of finite volume.
We look for regular fuzzball geometries with the asymptotics (2.26), i.e.
l0I = v0 = 1
m0 = m = k03 = k3 = k2 = 0
k01 = k02 = g
k1 = g(l1 + l2 ) (5.1)
(5.2)
i=1
The fuzzball is specified by the parameters kiI describing the magnetic fluxes through the
two-spheres encircling the centers and the positions yi . The positions of the centers are
constrained by the bubble equations
(1) (2) (3)
N
X
kij kij kij
j6=i
rij
3
X
I=1
(5.3)
ki2 =
i=1
N
X
i=1
ki3 =
N
X
N
X
ki1 = g (Q1 + Q2 )
(5.4)
i=1
i=1
and
e2U > 0
(5.5)
Three centers
The bubble equations (5.3) for three centers can be solved in general by taking
r12 =
12 r23
23 r23 (2 2 + 2 )
r13 =
13 r23
23 r23 (1 + 2 1 2 + 1 + 2 )
(5.6)
14
with
ij =
3
Y
(kiI kjI )
i =
kIi
(5.7)
I=1
0 1 1 + g 3 (1 + 2 )
= 2 0
2
3 3
0
(5.8)
Q2 = 1 3
Q3 = 1 2 + g 2 3 (1 + 2 )
2 1 2 3 r23
=
2 1 2 3 + g 2 23 (1 + 2 ) (1 3 + g 1 3 ) r23
2 [ 1 2 3 + g 2 23 (1 + 2 )] r23
=
2 1 2 3 + g 2 23 (1 + 2 ) [1 2 + g 3 (1 + 2 )] r23
(5.9)
K2 = g + 2
K1 = g + +
r2
r3
r1 r3
(5.10)
K3 = 3
1
1
+
r1 r2
kI i
0 2
= 0
0
r12 =
Q0 = 3
Q = Q2 = 2
1
9 57 2
.
r23 <
2
4 2 r23
6 2 r23
r13 =
4 2 r23
3 2 r23
Q3 = 2 2
(5.11)
1 = 2 = , 3 = 2 , g = (4 )1
kI i
0 2
=
0
2 2 0
Q0 = 3
r23 < 2
r12 =
Q1 = Q2 = Q3 = 2 2
11 + 145 .
8 2 r23
12 2 + r23
r13 =
8 2 r23
.
6 2 r23
(5.12)
We notice that in the two examples considered here distances are bounded by triangle
inequalities leading to moduli spaces of finite volume.
15
Conclusions
Acknowledgements
We would like to thank A. Addazi, I. Bena, M. Bertolini, D. Consoli, G. DallAgata,
S. Giusto, A, Iannuzzi, O. Lunin, S. Mathur, R. Russo, S. Trapani, M. Trigiante and
G. Veneziano for very useful discussions and comments on the manuscript. We would like
to thank the MIUR-PRIN contract 2015MP2CX4002 Non-perturbative aspects of gauge
theories and strings and the University of Rome Tor Vergata Uncovering Excellence
grant StaI - String Theory and Inflation for partial support. L. P. would like to thank
Queen Mary University of London for hospitality during completion of this work.
In this appendix we collect some details on the dimensional reduction down to four dimensions of the eight harmonic family of BPS solutions describing a general system of
intersecting D3-branes on T 6 .
A.1
C4 = C,mnp dx
3
X
I=1
dy1m
16
(A.1)
C4 = A = Aa + Aa
3
X
dx2i +
i=1
3
X
I=1
1
|dyI + UI d
yI |2
Im UI
(A.3)
with one forms in four dimensions and three forms in the internal torus. =
(mnp) = (a, a)
is a collective index labelling the 8 different three cycles [mnp] on T 6
entering in the solution
a = (dy1 dy2 dy3 , d
y1 dy2 dy3 , dy1 d
y2 dy3 , dy1 dy2 d
y3 )
a = (d
y1 d
y2 d
y3 , dy1 d
y2 d
y3 , d
y1 dy2 d
y3 , d
y1 d
y2 dy3 )
(A.4)
All functions entering in the metric and four form can be written in terms of eight harmonic
functions
{V, LI , KI , M }
(A.5)
on R3 or equivalently in terms of the following combination
|IJK | KJ KK
,
2
V
M
LI KI
|IJK | KI KJ KK
=
+
+
.
2
2V
6
V2
ZI = L I +
(A.6)
with IJK characterising the triple intersections between two cycles on T 6 . One finds
e4U = Z1 Z2 Z3 V 2 V 2 ,
UI = Re UI + i Im UI = bI + i V e2U ZI
1
bI =
KI
,
V
ZI
Aa = (, I bI )
1
I J K
I
J K
J K
1 2 3
I
Aa = b b b bI + |IJK | b b , + |IJK | b b 2b
2
(A.7)
Finally the one-forms , I , , I are defined in terms of the eight harmonic function via
= w0 V 2 e4U (dt + w) ,
dt + w
I =
+ bI w0 + wI ,
ZI
|IJK |
e4U
(dt + w) bI vI + b1 b2 b3 w0 +
bI bJ wK ,
= v0 + 2
V Z1 Z2 Z3
2
|IJK | (dt + w)
I = vI +
+ bJ bK w0 + 2bJ wK
2
ZJ ZK
7
(A.8)
In matrix form
hImn =
1
Im UI
1 Re UI
Re UI |UI |2
hmn
=
I
17
1
Im UI
|UI |2 Re UI
Re UI
1
(A.2)
and
3 dw0 = dV, 3 dwI = dKI , 3 dv0 = dM,
1
3 dw = (V dM M dV + KI dLI LI dKI )
2
A.2
3 dvI = dLI
(A.9)
After reduction to four dimensions, the ten dimensional solution can be viewed as a solution
of a N = 2 truncation of maximal supersymmetric supergravity involving the gravity
multiplet and three vector multiplets. The four dimensional model arises as a dimensional
reduction of the ten dimensional lagrangian
1
L = g10 R10
FM1 ...M5 F M1 ...M5
(A.10)
45!
Plugging the ansatz (A.1) into ( A.10) and taking all fields varying only along the fourdimensional spacetime one finds
!
3
X
I
1
UI U
(A.11)
F, F ,
L = g4 R4
2 ( Im UI )2 42!
I=1
It is convenient to introduce a metric H and its inverse to raise and lower the indices.
One writes
be cf
Habc,def = had
(A.12)
1 h2 h3
or in matrix form
H
H1 H2
H2T H3
(A.13)
with H1ab , H2aa , H3a b 4 4 matrices. The self-duality condition of the five form field in ten
dimensions
g10
Fabc =
abcdef F def ,
(A.14)
2
reduces to
Fabc = abcdef Fedef F = Fe
(A.15)
with Fe = 4 F and an block off-diagonal antisymmetric matrix with the only non-trivial
components
00 = I I = 00
(A.16)
= II
=1
In components
Fa = aa Fea
ea
Fa = aa
F
(A.17)
These self-duality relations can be used to express the components Fa in terms of the
Poincare duals of Fa . Indeed, inverting the first equation in (A.17) one finds8
(A.18)
Fa = (H31 )a b bc Fec + H2bc Fc
8
Here we use 24 = 1.
18
F F = Lstu + Ltop
(A.19)
I ab
where
1+
= stu
2
s2
+ t2 +
s2
t2
u2
2
u2
s2 t2 u2
1
0
0
s2
0 t12
0
0
0 u12
(A.20)
2
0
=
(A.21)
0
Rab
(A.22)
Discarding the total derivative term, the four-dimensional Lagrangian can then be written
as
!
3
X
I
1
1
UI U
ab
ab e
(A.23)
L = g4 R4
2 4 Fa I Fb 4 Fa R Fb
2
(
Im
U
)
I
I=1
The equations of motion read
1
1
1
2
1 ab
1
Fa Fb g Fa Fb
R 2 g =
UI UI g (UI ) + 2 I
2
4
2 ( Im UI )2
1
+ 12 Rab Fa Fb
g Fa Fb
4
n
o
=0
I ab Fb + Rab Fb
A.3
I
UI U
1 I ab
1 Rab e
UI
F
Fa Fb
=
i
+
F
+
a
b
I
2 U
2
UI
( Im UI )2
( Im UI )3
(A.24)
Equivalently
ab
1
cb
db
I ab Hab
Ha2 b (H1
1 + (H3 )b c
3 )c d H2
cb
ab
1
cb
Rab ab (H1
3 )b c H2 + H2 (H3 )b c
19
A.3.1
L solutions
=0
(A.25)
ds2 = L 2 dt2 + L 2
3
X
dx2i
i=1
3 dw0 = dL
A0 = w0
U1 = U2 = U3 = i L 2
A.3.2
(A.26)
K solutions
1 + K2 0 0 K
0 0
0 0
0
0 0 K 0
1 0 0
I=
R=
0
0 K 0 0
0 1 0
K
00 1
0 0
0 0
=0
(A.27)
ds = (dt + w) +
U1 = U2 = i
A0 = A3 = 0
A.3.3
3
X
dx2i ,
i=1
U3 = K + i
A1 = A2 = w
3 dw = dK
(A.28)
M solutions
2
1 + 2 Ma M
a
M
1
a
a
I = a3/2
0
0
0
M
a
= V = 1,
0 M
a
0
0
a1 0
0 a1
K1 = K3 = 0
0
0
R=
M 2
0
0
0
M
0
= M ZI = 1,
M 2 0
M 0
(A.29)
0 M
M 0
p
X
dt2
+ 1 M2
ds2 =
dx2i ,
2
1M
i=1
p
p
2
U2 = i 1 M 2
U1 = U3 = M + i 1 M
M dt
dt
A0 =
A1 = A3 =
A2 = w2
2
1M
1 M2
20
3 dw2 = dM
(A.30)
A.4
Sub-family of solutions
For completeness, we list some interesting sub-families of solutions included in the eightharmonic class.
A.4.1
bI = 0
(A.31)
These equations can be solved in terms of two harmonic functions Re H and Im H via the
identifications
V = L1 = L2 = L3 = Im H
M = K1 = K2 = K3 = Re H
(A.32)
(A.34)
H = Re H + i Im H
(A.35)
dw0 = 3 d Im H
dw1 = 3 d Re H
(A.36)
We notice that the contribution to the stress energy tensor of gauge fields AI exactly match
that of A0 , so we can replace the four gauge fields by a single one given by
A = 2w0
2Re H
|H|2
(dt + w)
The resulting solution is known in the General Relativity literature as IWP ( after Israel,
Wilson and Perjes [37, 38] ) and includes very well known examples of solutions of MaxwellEinstein gravity:
10
21
(A.33)
(A.38)
x21
(A.40)
+ x22 + x23
A.4.2
Next, we consider a solutions with single active scalar field, let us say U1 , with U2 = U3 = i.
These conditions can be solved in terms of two complex harmonic functions H1 , H2 after
the identification
L1 = V = Re H2 ,
11
L2 = L3 Im H1
K1 = M = Re H1
K2 = K3 Im H2
(A.42)
(A.37)
with (, ), [1, 1], [0, 2]. These coordinates cover twice the flat space with the points
(, ) and (, ) identified.
22
H1
,
U1 =
H2
U2 = U3 = i,
Im H2
Im H1
(dt + w) ,
(dt + w)
A1 = w1
Im H1 H2
Im H1 H2
Re H2
(dt + w)
A2 = A3 = w2
Im H1 H2
2 dH1
3 dw = Re H1 dH2 H
A0 = w0 +
3 dw0 = Re dH2 ,
3 dw1 = Re dH1 ,
3 dw2 = Im dH2 .
(A.43)
The IWP class corresponds to the choice H1 = iH2 = H. See for instance [39] for more
information on the SWIP solution.
A.4.3
K3 = K2
(A.44)
leading to
K1 K2
K22
Z2 = Z3 = L2 +
V
V
K1 K22 K1 L1 K2 L2
M
+
+
+
=
2
V2
2V
V
Z1 = L 1 +
(A.45)
U1 = b1 + i(e
V Z1 )
A0 = w0 V 2 e4U (dt + w)
3
X
e4U = Z1 Z22 V 2 V 2
dx2i ,
i=1
U2 = U3 = b2 + i(e2U V Z2 )1
(A.46)
with
3 dw = 12 (V dM M dV + K1 dL1 L1 dK1 + 2K2 dL2 2L2 dK2 )
3 dw0 = dV,
3 dw1 = dK1
3 dw2 = dK2
(A.47)
and
b1 =
K1 L1 2K2 L2 M V
2(K22 + V L1 )
b2 = b3 =
K1 L1 + M V
2(K1 K2 + V L2 )
(A.48)
The SWIP solution is recovered for L1 = V and K1 M after the identifications (A.42).
23
References
[1] S. D. Mathur, The Fuzzball proposal for black holes: An Elementary review,
Fortsch. Phys. 53 (2005) 793827, arXiv:hep-th/0502050 [hep-th].
[2] K. Skenderis and M. Taylor, The fuzzball proposal for black holes,
Phys. Rept. 467 (2008) 117171, arXiv:0804.0552 [hep-th].
[3] S. D. Mathur, Fuzzballs and the information paradox: A Summary and conjectures,
arXiv:0810.4525 [hep-th].
[4] I. Bena and N. P. Warner, Bubbling supertubes and foaming black holes,
Phys. Rev. D74 (2006) 066001, arXiv:hep-th/0505166 [hep-th].
[5] I. Bena and N. P. Warner, Black holes, black rings and their microstates,
Lect. Notes Phys. 755 (2008) 192, arXiv:hep-th/0701216 [hep-th].
[6] P. Berglund, E. G. Gimon, and T. S. Levi, Supergravity microstates for BPS black holes and
black rings, JHEP 06 (2006) 007, arXiv:hep-th/0505167 [hep-th].
[7] I. Bena, C.-W. Wang, and N. P. Warner, Mergers and typical black hole microstates,
JHEP 11 (2006) 042, arXiv:hep-th/0608217 [hep-th].
[8] I. Bena, C.-W. Wang, and N. P. Warner, Plumbing the Abyss: Black ring microstates,
JHEP 07 (2008) 019, arXiv:0706.3786 [hep-th].
[9] O. Lunin, S. D. Mathur, and D. Turton, Adding momentum to supersymmetric geometries,
Nucl. Phys. B868 (2013) 383415, arXiv:1208.1770 [hep-th].
[10] S. Giusto and R. Russo, Superdescendants of the D1D5 CFT and their dual 3-charge
geometries, JHEP 03 (2014) 007, arXiv:1311.5536 [hep-th].
[11] I. Bena, S. Giusto, R. Russo, M. Shigemori, and N. P. Warner, Habemus Superstratum! A
constructive proof of the existence of superstrata, JHEP 05 (2015) 110,
arXiv:1503.01463 [hep-th].
[12] I. Bena, E. Martinec, D. Turton, and N. P. Warner, Momentum Fractionation on
Superstrata, JHEP 05 (2016) 064, arXiv:1601.05805 [hep-th].
[13] I. Bena, S. Giusto, E. J. Martinec, R. Russo, M. Shigemori, D. Turton, and N. P. Warner,
Smooth horizonless geometries deep inside the black-hole regime,
arXiv:1607.03908 [hep-th].
[14] O. Lunin, Bubbling geometries for AdS2 S2 , JHEP 10 (2015) 167,
arXiv:1507.06670 [hep-th].
[15] L. Pieri, Fuzzballs in general relativity: a missed opportunity, arXiv:1611.05276 [hep-th].
[16] G. W. Gibbons and N. P. Warner, Global structure of five-dimensional fuzzballs,
Class. Quant. Grav. 31 (2014) 025016, arXiv:1305.0957 [hep-th].
[17] F. Denef, Supergravity flows and D-brane stability, JHEP 08 (2000) 050,
arXiv:hep-th/0005049 [hep-th].
[18] F. Denef, Quantum quivers and Hall / hole halos, JHEP 10 (2002) 023,
arXiv:hep-th/0206072 [hep-th].
[19] B. Bates and F. Denef, Exact solutions for supersymmetric stationary black hole composites,
JHEP 11 (2011) 127, arXiv:hep-th/0304094 [hep-th].
24
25
http://www.cambridge.org/mw/academic/subjects/physics/theoretical-physics-and-mathematical-phy
26