
It was recently observed that KerrAdS metrics with negative mass describe
smooth spacetimes that have a region with naked closed timelike curves,
bounded by a velocity of light surface. Such spacetimes are sometimes known as
time machines. In this paper we study the BPS limit of these metrics, and find
that the mass and angular momenta become discretised. The completeness of the
spacetime also requires that the time coordinate be periodic, with precisely
the same period as that which arises for the global AdS in which the time
machine spacetime is immersed. For the case of equal angular momenta in odd
dimensions, we construct the Killing spinors explicitly, and show they are
consistent with the global structure. Thus in examples where the solution can
be embedded in a gauged supergravity theory, they will be supersymmetric. We
also compare the global structure of the BPS AdS$_3$ time machine with the BTZ
black hole, and show that the global structure allows to have two different
supersymmetric limits.

The equations of null geodesics in the STU family of rotating black hole
solutions of supergravity theory, which may be considered as deformations of
the vacuum Kerr metric, are completely integrable. We propose that they be used
as a foil to test, for example, with what precision the gravitational field
external to the black hole at the centre of our galaxy is given by the Kerr
metric. By contrast with some metrics proposed in the literature, the STU
metrics satisfy by construction the dominant and strong energy conditions. Our
considerations may be extended to include the effects of a cosmological term.
We show that these metrics permit a straightforward calculation of the
properties of black hole shadows.

For appropriate choices of the coupling constants, the equations of motion of
Lovelock gravities up to order n in the Riemann tensor can be factorized such
that the theories admits a single (A)dS vacuum. In this paper we construct two
classes of exact rotating metrics in such critical Lovelock gravities of order
n in d=2n+1 dimensions. In one class, the n angular momenta in the n orthogonal
spatial 2planes are equal, and hence the metric is of cohomogeneity one. We
construct these metrics in a KerrSchild form, but they can then be recast in
terms of BoyerLindquist coordinates. The other class involves metrics with
only a single nonvanishing angular momentum. Again we construct them in a
KerrSchild form, but in this case it does not seem to be possible to recast
them in BoyerLindquist form. Both classes of solutions have naked curvature
singularities, arising because of the over rotation of the configurations.

We study closed photon orbits in sphericallysymmetric static solutions of
supergravity theories, a Horndeski theory, and a theory of quintessence. These
orbits lie in what we shall call a photon sphere (antiphoton sphere) if the
orbit is unstable (stable). We show that in all the asymptotically flat
solutions we examine that admit a regular event horizon, and whose
energymomentum tensor satisfies the strong energy condition, there is one and
only one photon sphere outside the event horizon. We give an example of a
Horndeski theory black hole (whose energymomentum tensor violates the strong
energy condition) whose metric admits both a photon sphere and an antiphoton
sphere. The uniqueness and nonexistence also holds for asymptotically antide
Sitter solutions in gauged supergravity. The latter also exhibit the projective
symmetry that was first discovered for the Schwarzschildde Sitter metrics: the
unparameterised null geodesics are the same as when the cosmological or gauge
coupling constant vanishes. We also study the closely related problem of
accretion flows by perfect fluids in these metrics. For a radiation fluid,
Bondi's sonic horizon coincides with the photon sphere. For a general
polytropic equation of state this is not the case. Finally we exhibit
counterexamples to a conjecture of Hod's.

We study the problem of decoupling of heavy chiral superfields in
fourdimensional $N=1$ supersymmetric field theories with Lorentzinvariant and
Lorentzviolating higherderivative terms. We demonstrate that the earlier
found effect of large logarithmic quantum corrections, due to heavy chiral
superfields, takes place not only if the theory possesses quantum divergences,
but also for essentially finite theories involving higher derivative terms,
both Lorentzinvariant and Lorentzbreaking ones.

We present three families of exact, cohomogeneityone Einstein metrics in
$(2n+2)$ dimensions, which are generalizations of the Stenzel construction of
Ricciflat metrics to those with a positive cosmological constant. The first
family of solutions are FubiniStudy metrics on the complex projective spaces
$CP^{n+1}$, written in a Stenzel form, whose principal orbits are the Stiefel
manifolds $V_2(R ^{n+2})=SO(n+2)/SO(n)$ divided by $Z_2$. The second family are
also EinsteinK\"ahler metrics, now on the Grassmannian manifolds
$G_2(R^{n+3})=SO(n+3)/((SO(n+1)\times SO(2))$, whose principal orbits are the
Stiefel manifolds $V_2(R^{n+2})$ (with no $Z_2$ factoring in this case). The
third family are Einstein metrics on the product manifolds $S^{n+1}\times
S^{n+1}$, and are K\"ahler only for $n=1$. Some of these metrics are believed
to play a role in studies of consistent string theory compactifications and in
the context of the AdS/CFT correspondence. We also elaborate on the geometric
approach to quantum mechanics based on the K\"ahler geometry of FubiniStudy
metrics on $CP^{n+1}$, and we apply the formalism to study the quantum
entanglement of qubits.

We obtain explicit separable solutions of the wave equation of massless
minimally coupled scalar fields in the subtracted geometry of fourdimensional
rotating and Melvin (magnetised) fourcharge black holes of the STU model, a
consistent truncation of maximally supersymmetric supergravity with four types
of electromagnetic fields. These backgrounds possess a hidden SL(2,R) x SL(2,R)
x SO(3) symmetry and faithfully model the near horizon geometry of these black
holes, but locate them in a confining asymptotically conical box. For each
subtracted geometry we obtain two branches of quasinormal modes, given in
terms of hypergeometric functions and spherical harmonics. One branch is
overdamped and the other underdamped and they exhibit rotational splitting.
No black hole bomb is possible because the Killing field which corotates with
the horizon is everywhere timelike outside the black hole. A fivedimensional
lift of these geometries is given locally by the product of a BTZ black hole
with a twosphere. This allows an explicit analysis of the minimally coupled
massive fivedimensional scalar field. Again, there are two branches, both
damped, however now their oscillatory parts are shifted by the quantised wave
number $k$ along the fifth circle direction.

We present explicit solutions of the timesymmetric initial value
constraints, expressed in terms of freely specfiable harmonic functions for
examples of supergravity theories, which emerge as effective theories of
compactified string theory. These results are a prequisite for the study of the
timeevolution of topologically nontrivial initial data for supergravity
theories, thus generalising the "Geometrodynamics" program of EinsteinMaxwell
theory to that of supergravity theories. Specifically, we focus on examples of
multiple electric Maxwell and scalar fields, and analyse the initial data
problem for the general EinsteinMaxwellDilaton theory both with one and two
Maxwell fields, and the STU model. The solutions are given in terms of up to
eight arbitrary harmonic functions in the STU model. As a byproduct, in order
compare our results with known static solutions, the metric in isotropic
coordinates and all the sources of the nonextremal black holes are expressed
entirely in terms of harmonic functions. We also comment on generalizations to
timenonsymmetric initial data and their relation to cosmological solutions of
gauged socalled fake supergravities with positive cosmological constant.

We study the quasinormal modes of a massless scalar field in a general
subextreme Kerr back ground by exploiting the hidden SL(2, R) x SL(2, R) x
SO(3) symmetry of the subtracted geometry approximation. This faithfully models
the near horizon geometry but locates the black hole in a confining
asymptotically conical box analogous to the antideSitter backgrounds used in
string the ory. There are just two series of modes, given in terms of
hypergeometric functions and spherical harmonics, reminiscent of the
leftmoving and rightmoving degrees in string theory: one is over damped, the
other is underdamped and exhibits rotational splitting. The remarkably simple
exact formulae for the complex frequencies would in principle allow the
determination of the mass and angular momentum from observations of a black
hole. No black hole bomb is possible because the Killing field which corotates
with the horizon is everywhere timelike outside the black hole.

External magnetic fields can probe the composite structure of black holes in
string theory. With this motivation we study magnetised fourcharge black holes
in the STU model, a consistent truncation of maximally supersymmetric
supergravity with four types of electromagnetic fields. We employ solution
generating techniques to obtain Melvin backgrounds, and black holes in these
backgrounds. For an initially electrically charged static black hole immersed
in magnetic fields, we calculate the resultant angular momenta and analyse
their global structure. Examples are given for which the ergoregion does not
extend to infinity. We calculate magnetic moments and gyromagnetic ratios via
Larmor's formula. Our results are consistent with earlier special cases. A
scaling limit and associated subtracted geometry in a single surviving magnetic
field is shown to lift to $AdS_3\times S^2$. Magnetizing magnetically charged
black holes give static solutions with conical singularities representing
strings or struts holding the black holes against magnetic forces. In some
cases it is possible to balance these magnetic forces.

We study the universal nature of the product of the entropies of all horizons
of charged rotating black holes. We argue, by examining further explicit
examples, that when the maximum number of rotations and/or charges are turned
on, the entropy product is expressed in terms of angular momentum and/or
charges only, which are quantized. (In the case of gauged supergravities, the
entropy product depends on the gaugecoupling constant also.) In twoderivative
gravities, the notion of the "maximum number" of charges can be defined as
being sufficiently many nonzero charges that the ReissnerNordstrom black hole
arises under an appropriate specialisation of the charges. (The definition can
be relaxed somewhat in charged AdS black holes in $D\ge 6$.) In
higherderivative gravity, we use the charged rotating black hole in
WeylMaxwell gravity as an example for which the entropy product is still
quantized, but it is expressed in terms of the angular momentum only, with no
dependence on the charge. This suggests that the notion of maximum charges in
higherderivative gravities requires further understanding.

It is well known that the low energy electron excitations of the curved
graphene sheet $\Sigma$ are solutions of the massless Dirac equation on a 2+1
dimensional ultrastatic metric on ${\Bbb R} \times \Sigma$. An externally
applied electric field on the graphene sheet induces a gauge potential which
could be mimicked by considering a stationary optical metric of the Zermelo
form, which is conformal to the BTZ black hole when the sheet has a constant
negative curvature. The Randers form of the metric can model a magnetic field,
which is related by a boost to an electric one in the Zermelo frame. We also
show that there is fundamental geometric obstacle to obtaining a model that
extends all the way to the black hole horizon.

We show that the previously obtained subtracted geometry of fourdimensional
asymptotically flat multicharged rotating black holes, whose massless wave
equation exhibit $SL(2,\R) \times SL(2,\R) \times SO(3)$ symmetry may be
obtained by a suitable scaling limit of certain asymptotically flat
multicharged rotating black holes, which is reminiscent of nearextreme black
holes in the dilute gas approximation. The cohomogeneitytwo geometry is
supported by a dilation field and two (electric) gaugefield strengths. We also
point out that these subtracted geometries can be obtained as a particular
Harrison transformation of the original black holes. Furthermore the subtracted
metrics are asymptotically conical (AC), like global monopoles, thus describing
"a black hole in an AC box". Finally we account for the the emergence of the
$SL(2,\R) \times SL(2,\R) \times SO(3)$ symmetry as a consequence of the
subtracted metrics being KaluzaKlein type quotients of $ AdS_3\times 4 S^3$.
We demonstrate that similar properties hold for fivedimensional black holes.

A recent precise formulation of the hoop conjecture in four spacetime
dimensions is that the Birkhoff invariant $\beta$ (the least maximal length of
any sweepout or foliation by circles) of an apparent horizon of energy $E$ and
area $A$ should satisfy $\beta \le 4 \pi E$. This conjecture together with the
Cosmic Censorship or Isoperimetric inequality implies that the length $\ell$ of
the shortest nontrivial closed geodesic satisfies $\ell^2 \le \pi A$. We have
tested these conjectures on the horizons of all fourcharged rotating black
hole solutions of ungauged supergravity theories and find that they always
hold. They continue to hold in the the presence of a negative cosmological
constant, and for multicharged rotating solutions in gauged supergravity.
Surprisingly, they also hold for the ErnstWild static black holes immersed in
a magnetic field, which are asymptotic to the Melvin solution. In five
spacetime dimensions we define $\beta$ as the least maximal area of all
sweepouts of the horizon by twodimensional tori, and find in all cases
examined that $ \beta(g) \le \frac{16 \pi}{3} E$, which we conjecture holds
quiet generally for apparent horizons. In even spacetime dimensions $D=2N+2$,
we find that for sweepouts by the product $S^1 \times S^{D4}$, $\beta$ is
bounded from above by a certain dimensiondependent multiple of the energy $E$.
We also find that $\ell^{D2}$ is bounded from above by a certain
dimensiondependent multiple of the horizon area $A$. Finally, we show that
$\ell^{D3}$ is bounded from above by a certain dimensiondependent multiple of
the energy, for all KerrAdS black holes.

In a theory where the cosmological constant $\Lambda$ or the gauge coupling
constant $g$ arises as the vacuum expectation value, its variation should be
included in the first law of thermodynamics for black holes. This becomes $dE=
TdS + \Omega_i dJ_i + \Phi_\alpha d Q_\alpha + \Theta d \Lambda$, where $E$ is
now the enthalpy of the spacetime, and $\Theta$, the thermodynamic conjugate of
$\Lambda$, is proportional to an effective volume $V = \frac{16 \pi
\Theta}{D2}$ "inside the event horizon." Here we calculate $\Theta$ and $V$
for a wide variety of $D$dimensional charged rotating asymptotically AdS black
hole spacetimes, using the first law or the Smarr relation. We compare our
expressions with those obtained by implementing a suggestion of Kastor, Ray and
Traschen, involving Komar integrals and Killing potentials, which we construct
from conformal KillingYano tensors. We conjecture that the volume $V$ and the
horizon area $A$ satisfy the inequality $R\equiv ((D1)V/{\cal
A}_{D2})^{1/(D1)}\, ({\cal A}_{D2}/A)^{1/(D2)}\ge1$, where ${\cal A}_{D2}$
is the volume of the unit $(D2)$sphere, and we show that this is obeyed for a
wide variety of black holes, and saturated for SchwarzschildAdS. Intriguingly,
this inequality is the "inverse" of the isoperimetric inequality for a volume
$V$ in Euclidean $(D1)$ space bounded by a surface of area $A$, for which
$R\le 1$. Our conjectured {\it Reverse Isoperimetric Inequality} can be
interpreted as the statement that the entropy inside a horizon of a given
"volume" $V$ is maximised for SchwarzschildAdS. The thermodynamic definition
of $V$ requires a cosmological constant (or gauge coupling constant). However,
except in 7 dimensions, a smooth limit exists where $\Lambda$ or $g$ goes to
zero, providing a definition of $V$ even for asymptoticallyflat black holes.

We present explicit results for the product of all horizon areas for general
rotating multicharge black holes, both in asymptotically flat and
asymptotically antide Sitter spacetimes in four and higher dimensions. The
expressions are universal, and depend only on the quantized charges, quantized
angular momenta and the cosmological constant. If the latter is also quantized
these universal results may provide a "looking glass" for probing the
microscopics of general black holes.

We investigate static nonabelian black hole solutions of antide Sitter
EinsteinYangMillsDilaton gravity, which is obtained as a consistent
truncation of fivedimensional maximal gauged supergravity. If the dilaton is
(consistently) set to zero, the remaining equations of motion, with a
sphericallysymmetric ansatz, may be derived from a superpotential. The
associated firstorder equations admit an explicit solution supported by a
nonabelian SU(2) gauge potential, which has a logarithmically growing mass
term. In an extremal limit the horizon geometry becomes AdS$_2\times S^3$. If
the dilaton is also excited, the equations of motion cannot easily be solved
explicitly, but we obtain the asymptotic form of the more general nonabelian
black holes in this case. An alternative consistent truncation, in which the
YangMills fields are set to zero, also admits a description in terms of a
superpotential. This allows us to construct explicit wormhole solutions
(neutral sphericallysymmetric domain walls). These solutions may be
generalised to dimensions other than five.

We extend the investigation of the recently proposed Kerr/CFT correspondence
to large classes of rotating black hole solutions in gauged and ungauged
supergravities. The correspondence, proposed originally for fourdimensional
Kerr black holes, asserts that the quantum states in the nearhorizon region of
an extremal rotating black hole are holographically dual to a twodimensional
chiral theory whose Virasoro algebra arises as an asymptotic symmetry of the
nearhorizon geometry. In fact in dimension D there are [(D1)/2] commuting
Virasoro algebras. We consider a general canonical class of nearhorizon
geometries in arbitrary dimension D, and show that in any such metric, the
[(D1)/2] central charges each imply, via the Cardy formula, a microscopic
entropy that agrees with the BekensteinHawking entropy of the associated
extremal black hole. In the remainder of the paper we show for most of the
known rotating black hole solutions of gauged supergravity, and for the
ungauged supergravity solutions with four charges in D=4 and three charges in
D=5, that their extremal nearhorizon geometries indeed lie within the
canonical form. This establishes that in all these examples, the microscopic
entropies of the dual CFTs agree with the BekensteinHawking entropies of the
extremal rotating black holes.

We discuss D3branes on cohomogeneitythree resolved CalabiYau cones over
L^{abc} spaces, for which a 2cycle or 4cycle has been blown up. In terms of
the dual quiver gauge theory, this corresponds to motion along the nonmesonic,
or baryonic, directions in the moduli space of vacua. In particular, a
dimensiontwo and/or dimensionsix scalar operator gets a vacuum expectation
value. These resolved cones support various harmonic (2,1)forms which reduce
the ranks of some of the gauge groups either by a Seiberg duality cascade or by
Higgsing. We also discuss higherdimensional resolved CalabiYau cones. In
particular, we obtain squareintegrable (2,2)forms for eightdimensional
cohomogeneityfour CalabiYau metrics.

Supersymmetric black holes in fivedimensional gauged supergravity must
necessarily be rotating, and so in order to study the passage to black holes
away from supersymmetry, it is of great interest to obtain nonextremal black
holes that again have nonzero rotation. In this paper we find a simple
framework for describing nonextremal rotating black holes in fivedimensional
gauged supergravities. Using this framework, we are able to construct a new
solution, describing the general singlecharge solution of N=2 gauged
supergravity, with arbitrary values for the two rotation parameters.
Previouslyobtained solutions with two or three equal charges also assume a
much simpler form in the new framework, as also does the general solution with
three unequal charges in ungauged N=2 supergravity. We discuss the
thermodynamics and BPS limit of the new singlecharge solutions, and we discuss
the separability of the HamiltonJacobi and KleinGordan equations in these
backgrounds.

We study the thermodynamics of the recentlydiscovered nonextremal charged
rotating black holes of gauged supergravities in five, seven and four
dimensions, obtaining energies, angular momenta and charges that are consistent
with the first law of thermodynamics. We obtain their supersymmetric limits by
using these expressions together with an analysis of the AdS superalgebras
including Rcharges. We give a general discussion of the global structure of
such solutions, and apply it in the various cases. We obtain new regular
supersymmetric black holes in seven and four dimensions, as well as reproducing
known examples in five and four dimensions. We also obtain new supersymmetric
nonsingular topological solitons in five and seven dimensions. The rest of the
supersymmetric solutions either have naked singularities or naked time
machines. The latter can be rendered nonsingular if the asymptotic time is
periodic. This leads to a new type of quantum consistency condition, which we
call a Josephson quantisation condition. Finally, we discuss some aspects of
rotating black holes in Godel universe backgrounds.

We construct new nonextremal rotating black hole solutions in SO(6) gauged
fivedimensional supergravity. Our solutions are the first such examples in
which the two rotation parameters are independently specifiable, rather than
being set equal. The black holes carry charges for all three of the gauge
fields in the U(1)^3 subgroup of SO(6), albeit with only one independent charge
parameter. We discuss the BPS limits, showing in particular that these include
the first examples of regular supersymmetric black holes with independent
angular momenta in gauged supergravity. We also find nonsingular BPS solitons.
Finally, we obtain another independent class of new rotating nonextremal black
hole solutions with just one nonvanishing rotation parameter, and one
nonvanishing charge.

We construct the general solution for nonextremal charged rotating black
holes in fivedimensional minimal gauged supergravity. They are characterised
by four nontrivial parameters, namely the mass, the charge, and the two
independent rotation parameters. The metrics in general describe regular
rotating black holes, providing the parameters lie in appropriate ranges so
that naked singularities and closed timelike curves (CTC's) are avoided. We
calculate the conserved energy, angular momenta and charge for the solutions,
and show how supersymmetric solutions arise in a BPS limit. These have naked
CTC's in general, but for special choices of the parameters we obtain new
regular supersymmetric black holes or smooth topological solitons.

We obtain infinite classes of new EinsteinSasaki metrics on complete and
nonsingular manifolds. They arise, after Euclideanisation, from BPS limits of
the rotating Kerrde Sitter black hole metrics. The new EinsteinSasaki spaces
L^{p,q,r} in five dimensions have cohomogeneity 2, and U(1) x U(1) x U(1)
isometry group. They are topologically S^2 x S^3. Their AdS/CFT duals will
describe quiver theories on the fourdimensional boundary of AdS_5. We also
obtain new EinsteinSasaki spaces of cohomogeneity n in all odd dimensions
D=2n+1 \ge 5, with U(1)^{n+1} isometry.

In this paper, which is an elaboration of our results in hepth/0504225, we
construct new EinsteinSasaki spaces L^{p,q,r_1,...,r_{n1}} in all odd
dimensions D=2n+1\ge 5. They arise by taking certain BPS limits of the
Euclideanised Kerrde Sitter metrics. This yields local EinsteinSasaki metrics
of cohomogeneity n, with toric U(1)^{n+1} principal orbits, and n real
nontrivial parameters. By studying the structure of the degenerate orbits we
show that for appropriate choices of the parameters, characterised by the (n+1)
coprime integers (p,q,r_1,...,r_{n1}), the local metrics extend smoothly onto
complete and nonsingular compact EinsteinSasaki manifolds
L^{p,q,r_1,...,r_{n1}}. We also construct new complete and nonsingular
compact Einstein spaces \Lambda^{p,q,r_1,...,r_n} in D=2n+1 that are not
Sasakian, by choosing parameters appropriately in the Euclideanised Kerrde
Sitter metrics when no BPS limit is taken.