HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS

GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

Abstract. In this paper we study the rotationally invariant harmonic coho-

mology of a 2-parameter family of Einstein metrics g which admits a cohomo-
geneity one action of SU (2) × U (1) and has AdS asymptotics. Depending on
the parameters values, g is either of NUT type, if the fixed-point locus of the
U (1) action is 0-dimensional, or of bolt type, if it is 2-dimensional. We find
that if g is of NUT type then the space of SU (2)-invariant harmonic 2-forms is
3-dimensional and consists entirely of self-dual forms; if g is of bolt type it is
4-dimensional. In both cases we explicitly determine a basis. The pair (g, F )
for F a self-dual harmonic 2-form is also a solution of the bosonic sector of 4D
supergravity. We determine for which choices it is a supersymmetric solution
and the amount of preserved supersymmetry.

1. Introduction
In this paper we study the harmonic cohomology, that is the space of harmonic
L2 forms, of a certain 2-parameter family of Riemannian Einstein manifolds with
negative cosmological constant (M, g) of bi-axial Bianchi IX type. We also de-
termine when the pair (g, F ), for F an (anti) self-dual harmonic form, gives a
supersymmetric solution of the supergravity equations and determine the amount
of preserved supersymmetry.
A harmonic 2-form is a solution of the Maxwell equations of electromagnetism,
and solutions of the coupled Einstein-Maxwell system are of obvious mathematical
and physical interest. In four dimensions, the reason for physical interest is twofold:
not just as solutions of the general relativity equations in the presence of an elec-
tromagnetic field, but also as solutions of the formally equivalent equations for the
bosonic sector of 4D supergravity, where the Maxwell field describes the gravitino.
Solutions with negative cosmological constant are particularly important because
of their relevance to the anti de Sitter/conformal field theory (AdS/CFT) corre-
spondence [19]. Initially formulated in the conformally flat case, the AdS/CFT
correspondence is believed to extend to curved solutions which are asymptotically
locally AdS, that is, which asymptotically approach anti de Sitter space (or a fi-
nite quotient of it) — in Riemannian signature the name asymptotically locally
hyperbolic would be more appropriate. The possibility of using supersymmetric lo-
calisation techniques [28, 16] to perform non-perturbative computations on curved
Riemannian manifolds also motivates the study of curved solutions of the supergrav-
ity equations in their role of supersymmetric gravity duals of rigid supersymmetric
field theories on curved boundaries [20, 22, 21, 7, 14, 24].
From the mathematical point of view, the study of harmonic objects on a Rie-
mannian manifold is a natural problem, and determining the harmonic cohomology
of particular examples gives useful insight in the case of non-compact manifolds,
where the usual Hodge decomposition results do not apply. In fact, not much is
1
2 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

known about generic harmonic forms on a non-compact manifold, but the situation
improves in the case of square-integrable ones [3]. For certain asymptotic behaviours
of the metric g, the harmonic cohomology of M can be characterised in terms of
a particular compactification [12] of M. Important examples include ALF gravi-
tational instantons, which have finite-dimensional harmonic cohomology in middle
dimension [6, 8, 9, 2]. In contrast, asymptotically (locally) hyperbolic metrics, such
as the one we are going to consider in this paper, are conformally compact and
have infinite dimensional middle dimension harmonic cohomology [23]. However,
we will obtain a finite-dimensional space by restricting to forms invariant under a
subgroup of the isometry group.
The outline of this paper is as follows. In Section 2 we introduce the class of
metric that we are going to study: a family g of asymptotically locally hyperbolic
Einstein metric of bi-axial Bianchi IX type, that is, admitting a cohomogeneity
one action of SU (2) × U (1). In terms of the basis (ηi ) of left-invariant 1-forms on
SU (2), g has the form
 2
r − N2
  
∆(r)
g= dr2 + (r2 − N 2 )(η12 + η22 ) + 4N 2 2 − N2
η32 ,
(1) ∆(r) r
∆(r) = r4 + (1 − 6N 2 )r2 − 2M r + N 2 (1 − 3N 2 ).

In (1) we have fixed the overall length scale by setting the cosmological constant to
−3. The two continuos parameters M , N are thus effective. An additional discrete
parameter p > 0 arises by considering Zp quotients of the U (1) orbits.
The metric (1) is smooth only for particular values of the parameters and we
review when this is the case. Two classes of solutions arise, depending on the
nature of the fixed point locus of the U (1) action. If it is a point, known as a NUT,
one needs to take p = 1 and obtains a 1-parameter family of topologically trivial
solutions known as Taub-NUT-AdS. If it is a 2-sphere, known as a bolt, then for
every value of p one obtains a 1-parameter family of solutions with the topology of
the complex line bundle O(−p) → CP 1 . For future use, we also determine when
g has an (anti) self-dual Weyl tensor. It turns out that the NUT-type metrics are
always self-dual, while for bolt-type metrics we obtain further constraints.
In Section 3 we study the harmonic cohomology of the spaces introduced in
Section 2. It is non-trivial only in middle dimension, where it is infinite dimensional.
We reduce to a finite dimensional subcase by considering rotationally invariant,
i.e. SU (2)-invariant, 2-forms. We show, by exhibiting an explicit basis, that the
space of L2 , SU (2)-invariant harmonic 2-forms is 3-dimensional and consists entirely
of self-dual forms for metrics of NUT type; 4-dimensional with a 3-dimensional
self-dual subspace in the case of metrics of bolt-type. Because of the assumed
SU (2) symmetry, finding the harmonic forms reduces to solving an ODE in the
radial variable. Forms which are also invariant under the extra U (1) isometry were
already known [21]. They are given by dξ [ and ∗dξ [ for ξ the Killing vector field
generating the extra U (1) isometry and have a particularly simple expression which
does not depend on the polynomial ∆(r) appearing in (1). This is not the case for
the non-U (1)-invariant forms which depend explicitly on the roots of ∆(r). The
results in this paper extend those in [9] where the case of vanishing cosmological
constant is considered.
In Section 4 we consider the problem of when the pair (g, F ), for g one of the
metrics of Section 2 and F a harmonic (anti) self-dual 2-form of the type studied
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 3

in Section 3, is supersymmetric, that is admits non-trivial solutions of a certain

first order linear PDE known as the Killing spinor equation. Having reviewed some
global issues due to the fact that not all the manifolds we consider are spin, and
discussed the resulting quantisation conditions on F , we proceed to examine the
integrability conditions for the Killing spinor equation.
The integrability conditions reproduce the constraint forcing g to be half-conformally-
flat (i.e. the associated Weyl tensor is either self-dual or anti self-dual), something
which was known a priori from the general arguments in [5]. We then proceed to
explicitly solve the Killing spinor equations obtaining, for both NUT and bolt type
metrics, a 1/4 BPS solution and a 1/2 BPS one. These supersymmetric solutions
only arise if the harmonic form F is U (1)-invariant and satisfies a certain normal-
isation condition which, in the topologically non-trivial case of bolt-type metrics,
guarantees that F is the curvature of a U (1) connection.
It is important to point out that the problem studied in Section 4 has been solved
in [21] for solutions of the Einstein-Maxwell system having SU (2) × U (1) invariance
and hyperbolic asymptotics. Because of the required SU (2) × U (1) invariance, the
2-form F considered in [21] is less general than the one we consider, see the main
text for more details. However, since we find that non-trivial Killing spinors only
arise if F is U (1)-invariant, thus reducing F to the form considered in [21], we end
up re-obtaining their solutions.

2. Bi-axial Bianchi IX type metrics

2.1. Conventions. We let {η1 , η2 , η3 } be a basis for the space of left-invariant
differential 1-forms on SU (2). In terms of the Euler angles (θ, φ, ψ) parametrising
SU (2) we have
η1 = sin ψ dθ − cos ψ sin θ dφ,
(2) η2 = cos ψ dθ + sin ψ sin θ dφ,
η3 = dψ + cos θ dφ.

We will consider Riemannian orientable manifolds of dimension 4 endowed with

a bi-axial Bianchi IX metric. A Bianchi IX metric admits an isometric action of
SU (2) (or its quotient by a finite subgroup) of cohomogeneity one, that is with
generic orbits of codimension one. Such a metric can be locally written [11]

(3) g = f 2 dr2 + a2 η12 + b2 η22 + c2 η32 ,

where f, a, b, c are functions of a radial variable r only.
For a bi-axial Bianchi IX metric a = b in (3), so that

(4) g = f 2 dr2 + a2 (η12 + η22 ) + c2 η32

and there is an additional U (1) isometric action generated by the vector field ∂ψ
dual to η3 . Note that
(5) dΩ2 = η12 + η22 = dθ2 + sin2 θ dφ2
is the round metric on S 2 . Fixed point sets of the U (1) action are either points,
which are called NUTs, or 2-surfaces, which are called bolts [10]. Away from
fixed points of the U (1) action a hypersurface of fixed r has the topology of a circle
4 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

fibration over S 2 . The usual spherical coordinates θ ∈ [0, π], φ ∈ [0, 2π) parametrise
the base S 2 and the S 1 fibre is parametrised by ψ. We take ψ to have period
4π
(6) T =
p
with p a positive integer. For p = 1 the circle fibration is the standard Hopf fibration
S 3 → S 2 . For p > 1 we have a lens space S 1 ,→ S 3 /Zp → S 2 with Zp acting on the
S 1 fibre.
We are going to consider the following family of bi-axial Bianchi IX metrics,
g = f 2 dr2 + a2 (η12 + η22 ) + c2 η32 ,
s
(7)
r
p
2 2
r2 − N 2 ∆(r)
a= r −N , f =− , c = 2N ,
∆(r) r2− N2
where ∆(r) is the 4-th order polynomial
Λ
(8) ∆(r) = − r4 + (1 + 2ΛN 2 )r2 − 2M r + N 2 (1 + ΛN 2 ).
3
On occasion, we will work with the orthonormal coframe
(9) e1 = aη1 , e2 = aη2 , e3 = cη3 , e4 = −f dr.
The corresponding volume element is,
(10) vol = e1 ∧e2 ∧e3 ∧e4 = −2N a2 dr∧η1 ∧η2 ∧η3 = −2N a2 sin θ dr∧dθ∧dφ∧dψ.
The metric (7) arises as a special case of the construction in [26]. It is Einstein
with cosmological constant Λ. The three parameters appearing in (7), (8) are:
• the NUT parameter N ,
• the Komar mass M ,
• the cosmological constant Λ, which sets a length scale l via
s
3
(11) l= .
|Λ|
For Λ = 0 one obtains the Ricci-flat metrics studied in [9]. For generic values of
M and N , these metrics have conical singularities while special values give the self-
dual Taub-NUT metric, Taub-bolt, Euclidean Schwarzschild and Eguchi-Hanson.
For Λ > 0 one obtains the family of metrics studied by Page [25]. For generic
values of M , N these metrics have conical singularities while special values give
the product metric on S 2 × S 2 , a Z2 quotient of the round metric on S 4 , the
2
Fubini-Study metric on CP 2 and Page’s metric on CP 2 #CP .
In this paper we are going to consider the case Λ < 0. Only two of the three
parameters {Λ, M, N } are effective as, up to a global rescaling of the metric, one
of them can always be absorbed by a redefinition of the coordinates, so from now
on we set
(12) Λ = −3.
2
Since (7), (8) only depend on N , we take N > 0, which by (10) is equivalent to
fixing the orientation of the underlying manifold. Suitably taken, the limits N → 0
and N → ∞ also yields interesting metrics, the Schwarzschild-anti de Sitter one in
the former case, and the Eguchi-Hanson-anti de Sitter one in the latter, but we will
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 5

not considered them here. The Komar mass M is for now allowed to take any real
value.
Asymptotically (7) approaches the metric
dr2
gr1 ' 2 + r2 4N 2 η32 + dΩ2 .


(13)
r
The Riemann tensor of (13) is that of a space of constant sectional curvature −1
up to corrections of order O(r−3 ). For M = 0, N = 1/2, (7) is exactly the metric
of H 4 .
It is interesting to compare the asymptotic behaviour (13) with that of the Ricci-
flat case Λ = 0 [9]. If Λ = 0 the coefficients of the η1 and η2 terms scale with r2
while that of η3 is asymptotically constant. Therefore the volume of the base of
the asymptotic circle fibration grows unboundedly with r while the fibres approach
a fixed length. More formally, one could say that asymptotically the volume of a
geodesic ball grows like the cube of its radius — to be contrasted with the fourth
power behaviour of Euclidean 4-space. For historical reasons, spaces exhibiting this
behaviour are called ALF. In contrast, if Λ < 0 all the ηi terms scale exponentially
with respect to geodesic distance, and we are dealing with a family of conformally
compact metrics [1].
2.2. Particular cases of bi-axial Bianchi IX metrics. The metric (7), (8) is
smooth only for some particular values of the parameters M, N which we will now
review. It can be checked (e.g. by calculating the L2 -norm of the Riemann tensor)
that (7) has a curvature singularity at r = N unless (8) has a double zero there.
Hence if r1 is the largest real root of ∆(r), in order to get a complete non-singular
metric we have two possibilities:
(i) r1 = N is a double root of ∆(r) and r ∈ [N, ∞).
(ii) r1 > N is a single root and r ∈ [r1 , ∞).
We do not need to consider the case of r ranging from −∞ to the smallest root of
∆(r) since (7) is invariant under the simultaneous change r → −r, M → −M .
2.2.1. Solutions of NUT type. Consider first the case where ∆(r) has a double root
at r = N . Imposing
(14) ∆(N ) = 0 = ∆0 (N )
gives M = M+ where
M+ = N 1 − 4N 2 .


(15)
The polynomial (8) factorises as (r − N )2 (r − x+ )(r − y+ ), where
p p
(16) x+ = −N + 4N 2 − 1, y+ = −N − 4N 2 − 1.
The largest root is r = N > 0, so we take r ∈ [N, ∞). The resulting metric is the
Taub-NUT-AdS (TN-AdS) metric [27],
 2
r − N2
  
∆+ (r)
g+ = dr2 + (r2 − N 2 )dΩ2 + 4N 2 η32 ,
(17) ∆+ (r) r2 − N 2
∆+ (r) = (r − N )2 (r − x+ )(r − y+ ).
Note that N is allowed to take any value in (0, ∞). The + subscript in g+ and
other symbols is due to the fact that the associated Weyl tensor is self-dual, a fact
which will play a role in the analysis of Killing spinors of Section 4.
6 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

The coefficients of dΩ2 and η3 in (17) both vanish at r = N which is thus a

NUT. Regularity at the NUT can be checked by substituting r − N = ρ2 /(8N ) and
Taylor expanding (17) near ρ = 0, getting
ρ2 2
g = dρ2 + η1 + η22 + η32 ,


(18)
4
which is the Euclidean metric on R4 . Hence the geometry near the NUT is that of
flat space, just as in the case of ordinary Taub-NUT, which is obtained as Λ → 0.
TN-AdS is thus a smooth complete Einstein metric on a manifold with the topology
of R4 . For the special value N = 1/2 (15) gives M = 0, ∆+ (r) simplifies to (r2 − 14 )2
and (17) becomes the metric of hyperbolic space H 4 .

2.2.2. Solutions of bolt type. Suppose now the largest real root r1 of (8) satisfies
r1 > N . The coefficient of dΩ2 in (7) is non-vanishing at r1 , so {r = r1 } is a bolt
with the topology of a 2-sphere. We need to ensure that the metric has no conical
singularities around the bolt.
For fixed (θ, φ), the geometry near the bolt is that of a 2-dimensional disk
parametrised by (r, ψ). For a smooth metric, as r approaches r1 the geometry
becomes increasingly Euclidean. Therefore the ratio dL/d, where L is the length
of the small curve consisting of points at geodesic distance  from the 2-sphere
r = r1 , converges as  → 0 to its Euclidean value of 2π. In general, consider a
2-dimensional metric of the form
(19) ds2 = F 2 (r)dr2 + C 2 (r)dψ 2 ,
with a radial coordinate r ≥ r1 > 0 and an angular coordinate ψ with period T .
Then Z T
d = F dr, L = C(r())dψ = T C(r()),
0
hence the smoothness condition at r = r1 is
dC dr C0
(20) 2π = T lim = T lim .
r→r1 dr d r→r1 F
q
r 2 −N 2
Substituting in (20) the expressions for F and C from (7), F = −f = ∆(r) ,
C = 2N/F , and the period T = 4π/p of ψ, we get
∆0 (r1 ) p
(21) 2 2
= .
r1 − N 2N
Expressing M in terms of r1 from the condition ∆(r1 ) = 0, substituting in (21) and
solving for r1 gives two solutions,
p p
p − p2 − 48N 2 + 144N 4 p + p2 − 48N 2 + 144N 4
(22) ρ1 = , ρ2 = .
12N 12N
The solution ρ1 satisfies ρ1 > N only for
s √
1 2− 3
(23) p = 1 and 0 < N ≤ .
2 3
Solving ∆(ρ1 ) = 0 for M then gives
1  2 4
p 
2 + 144N 4 .
(24) M1 = 1 − (1 + 24N − 288N ) 1 − 48N
864N 3
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 7

The condition ρ2 > N instead admits solutions for any positive integer p,
 q √
1 2− 3


 p = 1 and 0 < N ≤ 2 3 ,
(25) 1
 p = 2 and 0 < N < √6 ,

p ≥ 3 and 0 < N < ∞.

The value of M corresponding to ρ2 is

1  3 
M2p = 2 2 4

p
(26) p + p + 24N − 288N p 2 − 48N 2 + 144N 4 .
864N 3
These bolt-type solutions are smooth complete Einstein metric with the topology
of the total space of the complex line bundle O(−p) → CP 1 . The case p = 1, with
N constrained by either (23) or (25) and with the corresponding value of M , is
known as the Taub-bolt-AdS (TB-AdS) metric [4]. Reinstating the cosmological
constant Λ one notes that limΛ→0 ρ1 = 2N , twice the radius of the bolt in the
Ricci-flat Taub-bolt space, while ρ2 diverges in this limit. Thus, as already noted
in [4], only the solution with r1 = ρ1 converges to the Ricci-flat Taub-bolt space as
Λ → 0.

2.2.3. Half-conformally-flat solutions. In Section 4 we will need to know for which

values of the parameters M , N the metric (7), (8) is half-conformally-flat, that is
has self-dual or anti self-dual Weyl tensor. It can be checked that, for the choice of
orientation (10), the Weyl tensor of (7) is self-dual if and only if

(27) M+ = N (1 − 4N 2 ),

which gives the TN-AdS solution (17), and is anti self-dual if and only if M takes
the opposite value

(28) M− = −N (1 − 4N 2 ).

We write ∆− (r) for (8) with M = M− ,

(29) ∆− (r) = (r + N )2 (r − x− )(r − y− ),

where
p p
(30) x− = N + 4N 2 − 1, y− = N − 4N 2 − 1.

and x− is the largest root.

There are no simultaneous solutions of (27) or (28) and (24) or (26) with p = 1,
thus TB-AdS is not half-conformally-flat for any value of N . However for p > 1
both (28) and (26) are satisfied if N = Np , having defined
p
(31) Np = √ , p ≥ 3.
4 p−1
We need to take p ≥ 3 in (31) in order to satisfy (25). The values of M and r1
corresponding to (31) are
p(p − 2)2 3p − 4
(32) Mp = − , (r1 )p = √ .
16(p − 1)3/2 4 p−1
8 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

The metric (7), (8) with N = Np , M = Mp and p ≥ 3 is the quaternionic Eguchi-

Hanson solution [18, 13],
!
r2 − Np2
 
∆−p (r)
g− = dr2 + (r2 − Np2 ) dΩ2 + 4Np2 η32 ,
∆−p (r) r2 − Np2
(33)  2   
p 4 − 3p 4−p
∆−p (r) = r + √ r+ √ r+ √ , p ≥ 3.
4 p−1 4 p−1 4 p−1
Note that the parameters in (32) are well-defined and real for p = 2. The cor-
responding metric is that of H 4 /Z2 which is conformally flat, but has a conical
singularity at r = 0 because of the Z2 quotient. As we have already seen, the
smooth H 4 metric can be obtained for p = 1 as a special case of (17).
To summarise, for M given by (27) we have the 1-parameter family (17) of self-
dual solutions of NUT type. For M given by (28) we have the infinite discrete
family (33) of anti self-dual solutions of bolt type. The self-dual and anti self-dual
branches join at M = 0, which gives the conformally flat metric of H 4 .

3. Spherically symmetric harmonic 2-forms

We are going to study the harmonic cohomology, that is the space of harmonic
square-integrable differential forms, of the Riemannian manifold M equipped with
the metric (7), (8). We recall that depending on the values of the parameters M ,
N and p, M is either diffeomorphic to R4 or to the total space of the line bundle
O(−p) → CP 1 . We denote by L2 (M) the space of square-integrable forms on M.
Since M is complete, the harmonic forms in L2 (M) are precisely the closed and
co-closed forms in L2 (M).
Since M is conformally compact, harmonic cohomology is trivial except in middle
dimension where it is infinite dimensional [23]. We will restrict our analysis to
harmonic 2-forms in L2 (M) which are invariant under the SU (2) subgroup of the
isometry group of M. For β ∈ Ω2 (M) this invariance conditions reads
(34) LZi β = 0, i = 1, 2, 3,
where {Zi } are the right-invariant vector fields on SU (2),
cos φ
Z1 = − sin φ ∂θ − (cos θ ∂φ − ∂ψ ) ,
sin θ
(35) sin φ
Z2 = cos φ ∂θ − (cos θ ∂φ − ∂ψ ) ,
sin θ
Z3 = ∂φ .
If β is harmonic then it is closed so locally we can write
(36) β = dα
for some 1-form α. Since LZi ηj = 0, (34) is solved by taking
(37) α = α1 (r)η1 + α2 (r)η2 + α3 (r)η3 ,
where the αi s are arbitrary functions of r only. We write
(38) βi = d(αi ηi ).
We could also include an exact term α4 (r)dr in (37), but since we are only interested
in β = dα we can safely drop it. Observe that if β is also required to be invariant
under the U (1)-isometry generated by ∂ψ then necessarily α1 = α2 = 0.
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 9

In terms of (37), the co-closure condition d∗ β = 0 becomes

2f 0 0 f4
(39) αi00 − αi − αi = 0, i = 1, 2,
f 4N 2
2a0 0 4N 2
(40) α300 + α3 − 4 α3 = 0.
a a
Equation (40) can be integrated explicitly, obtaining
 2
r + N2
  
2N r
(41) α3 = C1 − C 2 ,
r2 − N 2 r2 − N 2
with C1 , C2 arbitrary constants. The form β3 = d(α3 η3 ) is given by
(42)
1 h    i
β3 = − C1 (r2 + N 2 ) − 2C2 rN e1 ∧ e2 + C2 (r2 + N 2 ) − 2C1 rN e3 ∧ e4 .
(r2 2
−N ) 2

Clearly (42) is self-dual (respectively anti self-dual) if and only if C1 = C2 (C1 =

−C2 ). We denote by β3+ , the self-dual form obtained by setting C1 = C2 = −1,
1
(43) β3+ = (e1 ∧ e2 + e3 ∧ e4 ).
(r + N )2
and by β3− the anti-self-dual form obtained by setting C1 = −C2 = −1,
1
(44) β3− = (e1 ∧ e2 − e3 ∧ e4 ).
(r − N )2
The form β3 can then be written as
   
C1 + C2 C1 − C2
(45) β3 = +
β3 + β3− .
2 2
We also define
 ±1
r−N
(46) α3± =
r+N
so that β3± = d(α3± η3 ).
Consider now the ODE (39). Taking the ansatz
(47) αi (r) = exp(l(r)),
and substituting in (39) one finds the condition
 2
r − N2

0 1 2 1
(48) l =± f =± .
2N 2N ∆(r)
Defining
r2 − N 2
Z  
1
(49) ϕ(r) = − dr,
2N ∆(r)
the general solution of (39) is
   
Ki − Li Ki + Li
(50) αi (r) = exp(ϕ(r)) + exp(−ϕ(r)),
2 2
with K1 , K2 , L1 , L2 arbitrary constants. For αi given by (50), βi is self-dual (re-
spectively anti self-dual) if and only if Ki = Li (Ki = −Li ). Thus defining
αi± = exp(∓ϕ), βi± = d αi± ηi , i = 1, 2,


(51)
10 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

we have
   
Ki − Li Ki + Li
(52) αi = αi− + αi+
2 2
and similarly for βi .
The precise form of ϕ depends on whether any of the roots {r1 , r2 , r3 , r4 } of ∆(r)
are repeated. We will write down an explicit expression in the case of TN-AdS,
where r1 = r2 = N and r3 , r4 are distinct, see Section 3.1, and in the generic case
for bolt-type solutions, where {ri } are all distinct, see Section 3.2. The other cases
can be handled similarly.
In order to check the L2 condition we will make use of the following expression,
valid for any exact 2-form β = dα on a dense subset of a space with metric (7),
"  2 #
2
α0

αf vol
(53) β ∧ ∗β = + .
f 2N a2
In particular, the form (42) has norm
(54) Z
r  
kβ3 k2 = β3 ∧ ∗β3 = 8π T N lim (C1
2
+ C 2
2 )(r 2
+ N 2
) − 4C 1 C2 N r ,
M r→r1 (r2 − N 2 )2
for r1 the largest root of ∆(r) and T the period of ψ.

3.1. Spherically symmetric harmonic 2-forms on solutions of NUT type.

Let M be TN-AdS. Consider β3 first. Since r1 = N , by (42) β3 is well defined at
r = N if and only if it is self-dual, so we need to take
(55) α3 = Cα3+ .
The form β3+ is in L2 (M) as, by (54) with T = 4π, r1 = N ,
(56) kβ3+ k2 = 16π 2 .
Since α3+ (N ) = 0, α3+ η3 is a globally defined 1-form. Thus β3+ is exact, which had
to be the case since TN-AdS is topologically trivial.
Consider now the forms βi for i = 1, 2. ∆+ (r) has a double zero at r = N and
factorises as
(57) p p
∆+ (r) = (r−N )2 (r−x+ )(r−y+ ), x+ = −N + 4N 2 − 1, y+ = −N − 4N 2 − 1.
The integral in (49) thus gives
N 2 − x2+ N 2 − y+2
(58) ϕn (r) = log(r − x + ) + log(r − y+ ) − log(r − N ).
2N ∆0+ (x+ ) 2N ∆0+ (y+ )
Suppose x+ = y+ first, so that we are dealing with hyperbolic 4-space. Then
ϕn = − log(r − N ) and
   
Ki − Li 1 Ki + Li
(59) αi = + (r − N ).
2 r−N 2
It is easily checked that βi does not belong to L2 (M).
Assume now x+ 6= y+ . From (51), (58) we see that limr→N + αi+ = 0, limr→N + αi− =
∞. Thus to have an L2 form we need to take
(60) αi = Ki αi+ .
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 11

Asymptotically, to leading order,

N 2 −x2 N 2 −y 2
 
+
1
− 2N ∆0 (x+ )
+ ∆0 (y +) −2N
(61) αi+ (r) = e−ϕn (r) ' r + + + = 1,
having used
N 2 − x2+ N 2 − y+
2
(62) + − 2N = 0.
∆0+ (x+ ) ∆0+ (y+ )
We can calculate the L2 -norm using Stokes’ theorem,
Z
(63) kβi+ k2 = − (αi+ )2 η1 ∧ η2 ∧ η3 = 16π 2 lim (αi+ )2 = 16π 2 .
∂M r→∞

Both β1+ and β2+

are globally defined exact 2-forms. It can be checked that none of
{β1+ , β2+ , β3+ }
is L2 -exact.
Summarising, the space of square-integrable SU (2)-invariant harmonic 2-forms
on TN-AdS consists entirely of self-dual exact but not L2 -exact forms. For N ∈
(0, 1/2) ∪ (1/2, ∞) it is 3-dimensional and spanned by (β1+ , β2+ , β3+ ), which for TN-
AdS take the form
  
r−N
β1+ = d e−ϕn η1 , β2+ = d e−ϕn η2 , β3+ = d
   
(64) η3 ,
r+N
with ϕn given by (58). For N = 1/2 we obtain H 4 and the space of square-integrable
SU (2)-invariant harmonic 2-forms is 1-dimensional and spanned by β3+ only.
3.2. Spherically symmetric harmonic 2-forms on solutions of bolt type.
Let M be a solution of bolt type. The form β3 is again given by (42). This time
since r1 > N , (54) is finite for any value of C1 , C2 so β3 ∈ L2 (M). The 2-form β3
is globally defined, however since ψ is not defined at the bolt {r = r1 }, the 1-form
α3 η3 is not globally defined unless α3 (r1 ) = 0. We can write
(65)
2N r1 r2 + N 2 2N r1 r2 + N 2
   
2N r 2N r
α3 = C̃1 − 2 + C̃2 + 2 ,
r12 + N 2 r2 − N 2 r − N2 r12 + N 2 r2 − N 2 r − N2
with
r12 + N 2 r12 + N 2
   
C2 C1 C2 C1
(66) C̃1 = + , C̃2 = − + .
2 2 2N r1 2 2 2N r1
We thus have α3 (r1 ) = 0 if and only if C̃2 = 0, or equivalently
 2
r1 + N 2

(67) C2 = C1 .
2N r1
The 1-dimensional subspace of {β3 : (C̃1 , C̃2 ) ∈ R2 } obtained by setting C̃2 =
0 is exact. The complementary subspace obtained by setting C̃1 = 0 generates
2 r12 +N 2
HdR (M) ' R. Since r1 > N , the conditions C2 = ±C1 , C2 = ± 2N r1 C1 are
incompatible for any choice of signs; in particular if β3 6= 0 then it cannot be (anti)
2
self-dual and exact. In fact writing β3 = C̃1 β3exact + C̃2 β3H we find
1  
β3exact = (r1 + N )2 β3+ − (r1 − N )2 β3− ,
4N r1
(68)
2 1  
β3H = (r1 + N )2 β3− − (r1 − N )2 β3+ .
4N r1
12 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

The form β3exact is exact but not L2 -exact. In fact, β3exact = d(α3exact η3 + γ)
where α3exact is (41) with C̃2 = 0 and γ is any closed 1-form. Since HdR
1
(M) = 0
we can write γ = df3 for some smooth function f3 . Then
(69) kα3exact η3 + df3 k2 = k(α3exact )2 η3 k2 + kdf3 k2 + 2hα3exact η3 , df3 i.
We have
∞
(r2 − N 2 )2 exact 2
Z
(70) k(α3exact )2 η3 k2 = 16π 2 N (α3 ) dr,
r1 ∆(r)
which diverges since the integrand is asymptotically a non-zero constant. Hence
in order for (69) to be finite we would need df3 to be asymptotically equal to
−α3exact η3 , which is not possible as the latter is not asymptotically exact.
Let {r1 , r2 , r3 , r4 } be the roots of the polynomial ∆(r), labelled so that r1 > N
is the largest positive root, and assume they are all distinct. Integrating (48) then
gives
4
1 X N 2 − ri2
(71) ϕb (r) = log(r − ri ).
2N i=1 ∆0 (ri )
It is convenient at this point to recall the if
Yn
(72) p(r) = (r − ri )
i=1
is a monic polynomial of degree n ≥ 4 with distinct roots ri then
n
X 1
(73) 0
= 0,
i=1
p (ri )
n
X ri
(74) 0 (r )
= 0,
i=1
p i
n
X ri2
(75) = 0.
i=1
p0 (ri )
These identities follow from the more general one, valid for any function h,
k
X h(ri )
(76) 0 (r )
= h[r1 , . . . , rk ],
i=1
p i

with h[r1 , . . . , rk ] the k-th divided difference of h. Taking h(x) = 1, k ≥ 2 gives

(73); taking h(x) = x, k ≥ 3 gives (74) and taking h(x) = x2 , k ≥ 4 gives (75).
We now check square-integrability. Since r1 > N > 0 and ∆0 (r1 ) > 0,
(77) lim ϕb (r) = +∞.
r→r1+

Therefore by (50), αi2 is unbounded in a neighbourhood of the bolt {r = r1 } unless

Ki = Li so that αi = Ki αi+ . Since limr→r1 (αi+ )2 = 0, we obtain
Z
+ 2
(78) kβ1 k = − (αi+ )2 η1 ∧ η2 ∧ η3 = 4πT lim (αi+ )2 .
∂M r→∞

To evaluate the limit at infinity note that by (73), (75), to leading order,
1
P4 N 2 −ri2

(79) αi+ ' r 2N i=1 ∆0 (ri )

= 1.
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 13

Therefore,
16π 2
(80) kβ1+ k2 = kβ2+ k2 =
p
having substituted T = 4π/p for the period of ψ. Since αi+ (r1 ) = 0, the 1-form
αi+ ηi , i = 1, 2, is globally defined and βi+ is exact, but, essentially by the same
argument used for β3+ , not L2 -exact.
To summarise, the space of square-integrable SU (2)-invariant harmonic 2-forms
on bolt-type solutions is 4-dimensional and spanned by (β1+ , β2+ , β3+ , β3− ), which for
bolt-type solutions take the form
β1+ = d e−ϕb η1 , β2+ = d e−ϕb η2 ,
   

(81)
     
+ r−N − r+N
β3 = d η3 , β3 = d η3 ,
r+N r−N
with ϕb given by (71). The 3-dimensional subspace spanned by (β1+ , β2+ , β3+ ) com-
prises of self-dual forms. The 2-space spanned by (β1+ , β2+ ) is exact but not L2 -
exact. The 2-space spanned by (β3+ , β3− ) can be split into a 1-dimensional space of
exact but not L2 -exact forms and a cohomologically non-trivial 1-space generating
2
HdR (M) = R.

4. Killing spinors
A triple (M, g, F ), for (M, g) a Riemannian manifold, F the curvature of a U (1)
connection on M, solves the Einstein-Maxwell system with non-zero cosmological
constant Λ if
(82) d ∗ F = 0,
 
1
(83) Rµν − Λgµν = 2 Fµρ Fνσ g ρσ − Fαβ F αβ gµν .
8
The 2-form F describing the electromagnetic field is thus a closed and coclosed
form of the type studied in Section 3. The condition F ∈ L2 (M), which physically
corresponds to finite electromagnetic energy, is often also required but we will not
impose it here. A generic solution of the Maxwell equations (82) on an Einstein
manifold (M, g) in general will not solve (83). However, if F is self-dual or anti
self-dual then the right hand side of (83) vanishes so (M, g, F ) is a solution of the
coupled Einstein-Maxwell system.
Solutions of (82)–(83) coincide with solutions of the bosonic sector of 4D, N = 2
minimal gauged supergravity. Supersymmetric solutions, that is admitting non-
trivial Killing spinors, are of particular interest. Killing spinors are solutions of a
certain first-order equation known as the Killing spinor equation, and the dimension
of the space of solutions divided by the rank of the spinor bundle is known as
the fraction of supersymmetry preserved. With respect to a local orthonormal
frame (eµ ) and gauge potential A, the Killing spinor equation charged by the gauge
potential A takes the form
 
1 i
(84) ∇eµ − iA(eµ )I4 + Γµ + Fνρ Γνρ Γµ  = 0.
2 4
Here  is a 4-component spinor field, the curvature F of the U (1) connection satisfies
F = dA and the matrices {Γµ } generate a 4-dimensional representation of the
14 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

Euclidean Clifford algebra Cl(0, 4). We follow the convention

(85) Γµ Γν + Γν Γµ = 2δµν ,
so that
1
(86) ∇eµ () = eµ () + ωρσ (eµ )Γρ Γσ 
4
for ωρσ the Levi-Civita connection local 1-form associated to the frame (eµ ).
We are going to determine for which values of the parameters M , N and choice
of an (anti) self-dual curvature 2-form F the metric (7), (8) admits Killing spinors.
This problem has been studied in [21] for general solutions of the Einstein-Maxwell
system (82)–(83) with H 4 asymptotic and SU (2) × U (1) symmetry. The class of
metrics studied in [21] is thus broader than (7), (8) as it allows for non-Einstein
manifolds. Explicitly g is still given by (7) but with (8) replaced by
Λ
(87) − r4 + (1 + 2ΛN 2 )r2 − 2M r + N 2 (1 + ΛN 2 ) + P 2 − Q2 .
3
The polynomial (87) differs from (8) by the addition of the constant term P 2 − Q2 .
The resulting metric is Einstein if and only if P = ±Q. The harmonic 2-form F
considered in [21] is
   
P +Q P −Q
(88) β3+ + β3− ,
2 2
where β3+ , β3− are given by (43), (44) and P , Q are the same constants as those
appearing in (87). The 2-form (88) is the most general SU (2) × U (1)-invariant
harmonic 2-form on M, but, as shown in Section 3, if we relax the requirement
to SU (2)-invariance only other possibilities arise. We are thus going to study the
problem for a narrower class of metrics but a broader class of 2-forms. Unfortu-
nately, we will conclude that considering a wider class of harmonic forms leads to
no solutions other than those found in [21].
Our search is immediately constrained by the following result [5]. Let (M, g)
be a Riemannian 4-manifold, F a self-dual (respectively anti self-dual) harmonic
2-form. Then in order for the Killing spinor equation (84) to admit non-trivial
solutions, (M, g) must be Einstein with self-dual (respectively anti self-dual) Weyl
tensor. The self-dual case is realised by the TN-AdS metric (17) with F a linear
combination of {β1+ , β2+ , β3+ }. The anti self-dual case by the bolt-type metric (33)
with F a linear combination of {β1− , β2− , β3− }. Thus we will consider the form
(89) F = P β3± + K1 β1± + K2 β2±
with P, K1 , K2 arbitrary constants. Locally F = dA with
 ±1
r−N
(90) A=P η3 + e∓ϕ(r) (K1 η1 + K2 η2 )
r+N
and ϕ given by (49). The sign choice in (89), (90) corresponds to F = ±∗F with the
upper sign relevant for TN-AdS and the lower sign for the anti self-dual bolt-type
solutions. For K1 = K2 = 0 (89) is equal to (88) with Q = ±P .
Before attacking the local equation (84), let us pause to consider some global
issues. In order to admit spinors, let alone Killing ones, the manifold M must be
spin. This is the case for TN-AdS, which is topologically trivial. Bolt-type solutions
instead have the topology of the complex line bundle O(−p) → CP 1 which is spin
only for p even. If M is not spin we can equip it with a SpinC structure by
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 15

tensoring the spinor bundle on M with a complex line bundle L having half-integer
Chern number. Separately, neither the spinor bundle on M nor L are globally well-
defined, but their tensor product is [17]. Sections of the bundle so constructed give
globally defined SpinC spinors which are charged under the gauge potential A of a
connection on L. If M is spin we obtain charged spinors by tensoring the spinor
bundle with a line bundle L, which in this case has an integer Chern number.
In order for F to be the curvature of a connection on the relevant line bundle L →
M, it has to satisfy certain quantisation conditions. Since TN-AdS is topologically
trivial, no conditions arise. If M is a bolt-type solution with even p, then it is
spin, L has integer Chern number and F has to satisfy the familiar quantisation
condition
Z
1
(91) F = k ∈ Z.
2π bolt
If M is a bolt-type solution with odd p then L has half-integer Chern number and
F has to satisfy the quantisation condition
Z
1 1
(92) F = k + , k ∈ Z.
2π bolt 2
Let F be given by (89) and M be a solution of bolt type. Being exact, the forms
β1− , β2− integrate to 0 so
Z Z  
1 P r1 + N
(93) F = β3− = 2P .
2π bolt 2π bolt r1 − N
Substituting (31), (32) for N , r1 we thus get the condition
 
p−1 1
(94) 4P = k + (p mod 2) .
p−2 2
We finally proceed to study (84) for A given by (90), where K1 , K2 are arbitrary
constants and P is arbitrary in the case of TN-AdS and constrained by (94) for
the anti self-dual bolt-type solutions. We mostly follow the treatment in [21]. We
already know that Killing spinors can only arise in the half-conformally-flat cases
(17), (33), with M = M+ in the former case and M = M− in the latter, but since
it does not require much additional effort we carry out the computation without
imposing any condition on M , N .
The Killing spinor equation can be viewed as a parallelism condition with respect
to the super-covariant derivative
1 i
(95) Deµ = ∇eµ − iA(eµ ) + Γµ + Fνρ Γνρ Γµ .
2 4
A necessary condition for the integrability of (84) is thus
(96) Iµν  = [Dµ , Dν ] = 0.
One calculates
1 1 i i
Iµν = Rµν αβ Γαβ + Γµν − iFµν I4 + ∇[µ F|ρσ| Γρσ Γν] + Fρσ Γ[µ Γρσ Γν]
(97) 4 2 2 4
1 i
− Fαβ Fρσ [Γαβ Γµ , Γρσ Γν ] + Fρσ Γρσ Γµν .
16 4
In order for (96) to admit non-trivial solutions
(98) det(Iµν ) = 0
16 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

needs to hold for all values of µ, ν. Taking the gamma matrices in the chiral
representation
   
0 σi 0 i
(99) Γi = , i = 1, 2, 3, Γ4 = ,
σi 0 −i 0
where {σi } are the Pauli matrices, we calculate
det(I12 ) = det(I34 ) = I + (K12 + K22 )H,
K2
 
I
det(I13 ) = det(I24 ) = + K12 + 2 H,
(100) 16 4
K2
 
I
det(I14 ) = det(I23 ) = + K22 + 1 H,
16 4
where
(101)

D2 r2 + D(B+ − B− )r − B+ B− D2 e∓2ϕ
   
1
I=− , H=− ,
(r2 − N 2 )6 16N 2 P 2 (r ∓ N )6 ∆(r)
and, with the sign choice referring to F = ± ∗ F ,
B1 = (M ± N P )2 − N 2 (P + 1 − 4N 2 )2 ,
(102) B2 = (M ∓ N P )2 − N 2 (P − 1 + 4N 2 )2 ,
D = 2P (M ∓ N ± 4N 3 ).
Therefore we get the necessary conditions
(103) D = 0, B1 B2 = 0.
Since P 6= 0, D = 0 is equivalent to
(104) M = ±N (1 − 4N 2 ),
which is exactly the (anti) self-duality condition for the Weyl tensor, see (27), (28),
which we already knew to be a necessary condition for the existence of non-trivial
Killing spinors. From now on we assume that (104) is satisfied. More precisely,
in the self-dual case we have F = ∗F , M = M+ and in the anti self-dual case
F = − ∗ F , M = M− . Substituting (104) into the expressions for B1 , B2 we see
that
(105) B1 = B2 = 0
automatically holds. Despite having considered a more general 2-form F , the con-
ditions (103) are exactly the same as those found in [21]. However, because of the
constraint (96), we find that the system (111), (112) below admits no non-trivial
solutions unless
(106) K1 = K2 = 0,
which is the case studied in [21]. For completeness we conclude this section by
reproducing their solutions.
Write
     
1 λ1 µ1
(107) = , 1 = , 2 = .
2 λ2 µ2
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 17

For K1 = K2 = 0, (96) gives

"r #±1
∆± (r) 1
(108) µ1 = i N
λ1 ,
r2 − N 2 r ± 2
P (1 − 4N + P )
"r #±1
∆± (r) 1
(109) µ2 = i N
λ2 .
r2 − N 2 r ∓ 2
P (1 − 4N − P )

The sign choice corresponds to the self-dual or anti self-dual case and
(110) ∆± (r) = (r ∓ N )2 (r − x± ) (r − y± ) ,
where x+ , y+ are given by (16) and x− , y− by (30).
In the self-dual case the radial component of the Killing spinor equation (84) is
s
i r2 − N 2
(111) ∂r 1 = − 2 ,
2 ∆+ (r)
s
i r2 − N 2
   
2P
(112) ∂r 2 = + I2 + σ 3 1 ,
2 ∆+ (r) (r + N )2
and in the anti self-dual case
s
i r2 − N 2
   
2P
(113) ∂r 1 = − I2 + σ 3 2 ,
2 ∆− (r) (r − N )2
s
i r2 − N 2
(114) ∂r 2 = + 1 .
2 ∆− (r)
In the self-dual case substituting (108) in (111) and integrating the resulting
ODE gives
q
(115) λ1 = r + N + N 2
P (1 − 4N ) υ1 ,
q
(116) λ2 = r + N − N 2
P (1 − 4N ) υ2 ,

with υ1 , υ2 at this point arbitrary functions of the angular coordinates. Substituting

(115), (116) in (108), (109) gives
r
∆+ (r) 1
(117) µ1 = i υ1 ,
r2 − N 2 r + N + N (1 − 4N 2 )
q
P
r
∆+ (r) 1
(118) µ2 = i υ2 .
r2 − N 2 r + N − N (1 − 4N 2 )
q
P

Equations (117), (118) are compatible with the solution of (112) with λ1 , λ2 given
by (115), (116) if and only if
(119) P 2 = N 2 (4N 2 − 1),
or
(120)
4N 2 − 1 1 − 4N 2
   
P = and λ2 = µ2 = 0 or P = and λ1 = µ1 = 0 .
2 2
18 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

Proceeding similarly, in the anti self-dual case we find

q
(121) µ1 = r − N − N 2
P (1 − 4N ) υ1 ,
q
(122) µ2 = r − N + N 2
P (1 − 4N ) υ2 ,
r
∆− (r) 1
(123) λ1 = −i υ1 ,
r2 − N 2 r − N − N (1 − 4N 2 )
q
P
r
∆− (r) 1
(124) λ2 = −i 2 2
q υ2 .
r −N r−N + N (1 − 4N 2)
P

with the same compatibility conditions (119), (120) found in the self-dual case.
The sign of P can be changed by a coordinate redefinition, so without loss of
generality we restrict to the two cases
p
(125) P = −N 4N 2 − 1,
1 − 4N 2
(126) P = .
2
Note that, for anti self-dual bolt-type solutions, N is given by (31), so (126)
becomes
1 (p − 2)2
(127) P =− ,
8 p−1
and (125) becomes
 
p p−2
(128) P =− .
8 p−1
Substituting (127), (128) in (94) we see that the quantisation condition arising in
the case of anti self-dual bolt-type solutions is automatically satisfied provided that
P satisfies (125) or (126).
We now examine the angular part of the Killing spinor. Asymptotically, to
leading order in r,
dr2
(129) g' + r2 g (3) , g (3) = η12 + η22 + 4N 2 η32 .
r2
Let (ei ) be the orthonormal coframe (9), (e(3) )1 = η1 , (e(3) )2 = η2 , (e(3) )3 = 2N η3 .
(3)
Denote by ωij , ωij the Levi-Civita connection 1-forms associated to g and g (3)
(3)
with respect to (ei ) and (ei ). We have
(3)
ω12 = ω12 = (2N 2 − 1)η3 ,
(3)
ω13 = ω13 = N η2 ,
(130)
(3)
ω23 = ω23 = −N η1 ,
ωi4 = ei , i = 1, 2, 3.
It follows
 
1 i j 1 1 (3) i j 1
(131) ∇a  = ea () + ωij (ea )Γ Γ  = Xa () + ωij (Xa )Γ Γ  + Γa Γ4 ,
4 r 4 2
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 19

where (Xi ) are the left-invariant vector fields on SU (2) dual to (2),
cos ψ
X1 = sin ψ ∂θ + (cos θ ∂ψ − ∂φ ) ,
sin θ
(132) sin ψ
X2 = cos ψ ∂θ − (cos θ ∂ψ − ∂φ ) ,
sin θ
X3 = ∂ψ .
Using the representation (99) for the gamma matrices and noticing that (σa )
generate the Clifford algebra Cl(0, 3) we get
 
1 (3) 1 (3) i 1 i
∇1 = ea (1 ) + ωij (Xa )σi σj 1 − σa 1 = ∇(3) 1 − σa 1 ,
r 4 2 r a 2
(133)  
1 (3) 1 (3) i 1 i
∇2 = ea (2 ) + ωij (Xa )σi σj 2 + σa 2 = ∇(3) 2 + σa 2 .
r 4 2 r a 2
We also define
(134) A(3) (3)
a = lim A(ea ).
r→∞

The components Fij of F = dA with respect to the orthonormal frame (ei ) are
O(r−2 ) so to the leading order in r they can be neglected. Thus asymptotically
(84) becomes
r
(135) (∇(3) (3)
a − iAa )1 + σa (2 − i1 ) = 0,
2
ir
(136) (∇(3) (3)
a − iAa )2 + σa (2 − i1 ) = 0.
2
We now solve (135), (136) for P given by (126) or (125). First consider the case
p
(137) P = −N 4N 2 − 1
in the self-dual case. One has
p √ !
r + N + 4N 2−1 υ
1
1 = p √ ,
r + N − 4N 2 − 1 υ2
(138)
q 
∆(r) 1
2 2
√ √ υ 1
 r −N r+N + 4N 2 −1
2 = i  q .

∆(r) 1
2
r −N 2
√ √ υ 2
r+N − 4N 2 −1

Asymptotically, setting
 
υ1
(139) υ= ,
υ2
we get
i p
(140) 2 − i1 ' − √ (N I2 + 4N 2 − 1 σ3 )υ.
r
Both (135) and (136) thus reduce to the same equation
 
i ip 2
(141) ∇(3)
a − iA (3)
a − N σ a − 4N − 1σ a 3 υ = 0.
σ
2 2
A similar computation shows that the anti self-dual case also leads to equation
(141).
20 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

The general solution to (141) is [21, 15]

i i
cos θ2 e 2 (ψ+φ) − sin θ2 e 2 (ψ−φ)
 
(142) υ= i i υ0 ,
γ sin θ2 e− 2 (ψ−φ) γ cos θ2 e− 2 (ψ+φ)
with υ0 a constant 2-spinor and
 p 
(143) γ = i 2N + 4N 2 − 1 .

One can check that the spinor (138), or the corresponding expression in the anti
self-dual case, with υ given by (142) solves all the components of the Killing spinor
equation (84), thus giving a 1/2 BPS solution.
Take now
1 − 4N 2
(144) P = .
2
Then in the self-dual case
√ 
1 = √r + 3N υ1 ,
r − N υ2
(145)
q 
∆(r)
√ 1 υ1
r 2 −N 2r+3N
2 = iq .
∆(r) 1
√
r 2 −N 2 r−N υ2
Asymptotically
 
iN −3υ1
(146) 2 − i1 ' √ ,
r υ2
so both (135) and (136) reduce to
h i υ  iN −3υ 
(3) (3) 1 1
(147) ∇a − iAa + σa = 0.
υ2 2 υ2
Again, the anti self-dual case leads to the same equation.
We have
1 − 4N 2
   
(3) P 3
(148) Aa = δa = δa3 ,
2N 4N
and, for υ = (υ1 , υ2 )T ,
iN
∇1 υ = X1 (υ) −σ1 υ,
2
iN
(149) ∇2 υ = X2 (υ) − σ2 υ,
2
1 i(2N 2 − 1)
∇3 υ = X3 (υ) + σ3 υ.
2N 4N
Therefore (147) is equivalent to the system
X1 (υ1 ) = X2 (υ1 ) = X3 (υ2 ) = 0,
X1 (υ2 ) = 2iN υ1 ,
(150)
X2 (υ2 ) = −2N υ1 ,
X3 (υ1 ) = iυ1 ,
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 21

which has general solution

 
0
(151) υ= ,
υ0
for υ0 a constant. One can check that the spinor (145), or the corresponding
expression in the anti self-dual case, with υ given by (151) solves all the components
of the Killing spinor equation (84), thus giving a 1/4 BPS solution.
To summarise, supersymmetry is preserved only if the Weyl tensor of the metric
g and the 2-form F are both either self-dual or anti self-dual. In the self-dual case,
F = P β3+ , with β3+ given by (43), and g is the metric of TN-AdS, see (17), depending
on one continuous parameter N ∈ (0, ∞). Despite the underlying manifold being
topologically trivial, Killing spinors only arise if P satisfies (125), leading to a 1/2
BPS solution, or (126), leading to a 1/4 BPS solution. In the anti self-dual case,
F = P β3− , with β3− given by (44), and the metric is of bolt-type, see (33), depending
on one discrete parameter p ∈ Z, p ≥ 3. The value of P is again constrained by
(125) and (126), leading to 1/2 and 1/4 BPS solutions as in the self-dual case. In
this case the underlying manifold has a non-trivial topology and (125), (126) imply
the quantisation conditions arising from the requirement that F is the curvature of
a U (1) connection for a spin structure (for p even) or spinC structure (for p odd).

5. Conclusions
In this paper we have determined a basis for the space of SU (2)-invariant L2
harmonic 2-forms on a 2-parameter family of bi-axial Bianchi IX Einstein metrics
with negative cosmological constant Λ. In the case of NUT-type metrics, this
space is 3-dimensional, comprising entirely of self-dual forms. Since the underlying
manifold is topologically trivial, these forms are necessarily exact. They are not,
however, L2 -exact. In the case of bolt-type solutions, the space is 4-dimensional,
with a 1-dimensional cohomologically non-trivial subspace and a 3-dimensional self-
dual subspace.
These results can be viewed as a generalisation of those in [9], which considers the
Ricci-flat case Λ = 0. A negative cosmological constant results in a very different
asymptotic behaviour of the metric, which is asymptotically hyperbolic rather than
asymptotically locally flat. As a consequence, the space of L2 harmonic 2-forms is
infinite dimensional. Even the finite-dimensional subspace obtained by focusing on
SU (2)-invariant forms is bigger then the space of L2 harmonic 2-forms obtained in
[9] for Λ = 0. The latter is 1-dimensional (respectively 2-dimensional) in the case of
NUT type (bolt type) metrics. A basis for it can be obtained by taking the Λ → 0
limit of the forms β3+ (respectively β3+ and β3− ) found in this paper. The forms β1+ ,
β2+ diverge in the limit.
A self-dual or anti self-dual 2-form F on an Einstein manifold with cosmological
constant provides a solution of the bosonic sector of 4D, N = 2 minimal gauged
supergravity. It is therefore natural to ask whether any of the 2-forms that we
have found gives raise to supersymmetric solutions. While we have shown that
the question has a positive answer, all the solutions that we have found had been
obtained before [21]. In fact, having started with a more general form for F , which
is only requested to be SU (2)-invariant rather than SU (2) × U (1)-invariant, we
have found that Killing spinors only arise if F is also U (1)-invariant, thus reducing
the problem to the one studied in [21].
22 GUIDO FRANCHETTI AND RAUL SANCHEZ GALAN

Interestingly, U (1) invariance of F is not forced by the integrability condition

(96), but only arises when explicitly solving for Killing spinors. This suggests that
the lack of new solutions is due to the mismatch between the SU (2) invariance
of the 2-form and the SU (2) × U (1) invariance of the metric. It would therefore
be interesting to consider the case in which both the 2-form and the metric are
SU (2)-invariant only.
 HARMONIC FORMS ON ASYMPTOTICALLY ADS METRICS 23

References
1. M. T. Anderson, Topics in conformally compact Einstein metrics, (2005).
2. T. J. Baird and H. K. Kunduri, Abelian instantons over the Chen-Teo AF geometry, J. Geom.
Phys. 168 (2021), 104310.
3. G. Carron, L2 harmonic forms on non-compact Riemannian manifolds, (2007).
4. A. Chamblin, R. Emparan, C. V. Johnson, and R. C. Myers, Large N phases, gravitational
instantons, and the nuts and bolts of AdS holography, Phys. Rev. D 59 (1999), 064010.
5. M. Dunajski, J. Gutowski, W. Sabra, and P. Tod, Cosmological Einstein-Maxwell instan-
tons and Euclidean supersymmetry: anti-self-dual solutions, Class. Quant. Grav. 28 (2010),
025007.
6. G. Etesi and M. Jardim, Moduli spaces of self-dual connections over asymptotically locally
flat gravitational instantons, Commun. Math. Phys. 280 (2008), 285–313.
7. D. Farquet, J. Lorenzen, D. Martelli, and J. Sparks, Gravity duals of supersymmetric gauge
theories on three-manifolds, JHEP 08 (2016), 1–63.
8. G. Franchetti, Harmonic forms on ALF gravitational instantons, JHEP 12 (2014), 075.
9. , Harmonic forms and spinors on the Taub-bolt space, J. Geom. Phys. 141 (2019),
11–28.
10. G. W. Gibbons and S. W. Hawking, Classification of gravitational instanton symmetries,
Commun. Math. Phys. 66 (1979), 291–310.
11. G. W. Gibbons and C. N. Pope, The positive action conjecture and asymptotically Euclidean
metrics in quantum gravity, Commun. Math. Phys. 66 (1979), 267–290.
12. T. Hausel, E. Hunsicker, and R. Mazzeo, Hodge cohomology of gravitational instantons, Duke
Math. J. 122 (2004), 485–548.
13. N. J. Hitchin, Twistor spaces, Einstein metrics and isomonodromic deformations, J. Diff.
Geom. 42 (1995), 30–112.
14. X. Huang, S. Rey, and Y. Zhou, Three-dimensional SCFT on conic space as hologram of
charged topological black hole, JHEP 03 (2014), 127.
15. Y. Imamura and D. Yokoyama, N=2 supersymmetric theories on squashed three-sphere, Phys.
Rev. D 85 (2012), 025015.
16. A. Kapustin, B. Willett, and I. Yaakov, Exact results for Wilson loops in superconformal
Chern-Simons theories with matter, JHEP 03 (2010), 089.
17. H. B. Lawson and M. L. Michelsohn, Spin geometry, Princeton University Press, 1989.
18. C. LeBrun, Counter-examples to the generalized positive action conjecture, Commun. Math.
Phys. 118 (1988), 591–596.
19. J. M. Maldacena, The Large N limit of superconformal field theories and supergravity, Adv.
Theor. Math. Phys. 2 (1998), 231–252.
20. D. Martelli, A. Passias, and J. Sparks, The gravity dual of supersymmetric gauge theories on
a squashed three-sphere, Nucl. Phys. B 864 (2012), 840–868.
21. , The supersymmetric NUTs and bolts of holography, Nucl. Phys. B 876 (2013), 810–
870.
22. D. Martelli and J. Sparks, The gravity dual of supersymmetric gauge theories on a biaxially
squashed three-sphere, Nucl. Phys. B 866 (2013), 72–85.
23. R. Mazzeo, The Hodge cohomology of a conformally compact metric, J. Diff. Geom. 28 (1988),
309–339.
24. T. Nishioka, The gravity dual of Supersymmetric Renyi entropy, JHEP 07 (2014), 061.
25. D. N. Page, Taub-nut instanton with an horizon, Phys. Lett. B 78 (1978), 249–251.
26. D. N. Page and C. N. Pope, Inhomogeneous Einstein metrics on complex line bundles, Class.
Quant. Grav. 4 (1987), 213–225.
27. H. Pedersen, Einstein-metrics, spinning top motions and monopoles, Math. Ann. 274 (1986),
35–59.
28. V. Pestun, Localization of gauge theory on a four-sphere and supersymmetric Wilson loops,
Commun. Math. Phys. 313 (2012), 71–129.