
The extremal functional method determines approximate solutions to the
constraints of crossing symmetry, which saturate bounds on the space of unitary
CFTs. We show that such solutions are characterized by extremality conditions,
which may be used to flow continuously along the boundaries of parameter space.
Along the flow there is generically no further need for optimization, which
dramatically reduces computational requirements, bringing calculations from the
realm of computing clusters to laptops. Conceptually, extremality sheds light
on possible ways to bootstrap without positivity, extending the method to
nonunitary theories, and implies that theories saturating bounds, and
especially those sitting at kinks, have unusually sparse spectra. We discuss
several applications, including the first highprecision bootstrap of a
nonunitary CFT.

We study the constraints imposed by superconformal symmetry, crossing
symmetry, and unitarity for theories with four supercharges in spacetime
dimension $2\leq d\leq 4$. We show how superconformal algebras with four
Poincar\'{e} supercharges can be treated in a formalism applicable to any, in
principle continuous, value of $d$ and use this to construct the superconformal
blocks for any $d\leq 4$. We then use numerical bootstrap techniques to derive
upper bounds on the conformal dimension of the first unprotected operator
appearing in the OPE of a chiral and an antichiral superconformal primary. We
obtain an intriguing structure of three distinct kinks. We argue that one of
the kinks smoothly interpolates between the $d=2$, $\mathcal N=(2,2)$ minimal
model with central charge $c=1$ and the theory of a free chiral multiplet in
$d=4$, passing through the critical WessZumino model with cubic superpotential
in intermediate dimensions.

We implement the conformal bootstrap program for threedimensional CFTs with
$\mathcal{N}=2$ supersymmetry and find universal constraints on the spectrum of
operator dimensions in these theories. By studying the bounds on the dimension
of the first scalar appearing in the OPE of a chiral and an antichiral
primary, we find a kink at the expected location of the critical
threedimensional $\mathcal{N}=2$ WessZumino model, which can be thought of as
a supersymmetric analog of the critical Ising model. Focusing on this kink, we
determine, to high accuracy, the lowlying spectrum of operator dimensions of
the theory.

We use the conformal bootstrap to perform a precision study of the operator
spectrum of the critical 3d Ising model. We conjecture that the 3d Ising
spectrum minimizes the central charge c in the space of unitary solutions to
crossing symmetry. Because extremal solutions to crossing symmetry are uniquely
determined, we are able to precisely reconstruct the first several Z2even
operator dimensions and their OPE coefficients. We observe that a sharp
transition in the operator spectrum occurs at the 3d Ising dimension
Delta_sigma=0.518154(15), and find strong numerical evidence that operators
decouple from the spectrum as one approaches the 3d Ising point. We compare
this behavior to the analogous situation in 2d, where the disappearance of
operators can be understood in terms of degenerate Virasoro representations.

We study solutions of type IIB supergravity which are SL(2,R) x SU(2) x
U(1)^2 invariant deformations of AdS_3 x S^3 x K3 and take the form of products
of selfdual spacelike warped AdS_3 and a deformed threesphere. One of these
backgrounds has been recently argued to be relevant for a derivation of
Kerr/CFT from string theory, whereas the remaining ones are holographic duals
of twodimensional dipole theories and their Sduals. We show that each of
these backgrounds is holographically dual to a deformation of the DLCQ of the
D1D5 CFT by a specific supersymmetric (1,2) operator, which we write down
explicitly in terms of twist operators at the free orbifold point. The
deforming operator is argued to be exactly marginal with respect to the
zerodimensional nonrelativistic conformal (or Schroedinger) group  which is
simply SL(2,R)_L x U(1)_R. Moreover, in the supergravity limit of large N and
strong coupling, no other singletrace operators are turned on. We thus propose
that the field theory duals to the backgrounds of interest are nonrelativistic
CFTs defined by adding the single Schroedingerinvariant (1,2) operator
mentioned above to the original CFT action. Our analysis indicates that the
rotating extremal black holes we study are best thought of as finite
rightmoving temperature (nonsupersymmetric) states in the abovedefined
supersymmetric nonrelativistic CFT and hints towards a more general connection
between Kerr/CFT and twodimensional nonrelativistic CFTs.

We discuss universal properties of conformal field theories with holographic
duals. A central feature of these theories is the existence of a lowlying
sector of operators whose correlators factorize. We demonstrate that
factorization can only hold in the large central charge limit. Using conformal
invariance and factorization we argue that these operators are naturally
represented as fields in AdS as this makes the underlying linearity of the
system manifest. In this class of CFTs the solution of the conformal bootstrap
conditions can be naturally organized in structures which coincide with Witten
diagrams in the bulk. The large value of the central charge suggests that the
theory must include a large number of new operators not captured by the
factorized sector. Consequently we may think of the AdS hologram as an
effective representation of a small sector of the CFT, which is embedded inside
a much larger Hilbert space corresponding to the black hole microstates.

The existence of a positive linear functional acting on the space of
(differences between) conformal blocks has been shown to rule out regions in
the parameter space of conformal field theories (CFTs). We argue that at the
boundary of the allowed region the extremal functional contains, in principle,
enough information to determine the dimensions and OPE coefficients of an
infinite number of operators appearing in the correlator under analysis. Based
on this idea we develop the Extremal Functional Method (EFM), a numerical
procedure for deriving the spectrum and OPE coefficients of CFTs lying on the
boundary (of solution space). We test the EFM by using it to rederive the low
lying spectrum and OPE coefficients of the 2d Ising model based solely on the
dimension of a single scalar quasiprimary  no Virasoro algebra required. Our
work serves as a benchmark for applications to more interesting, less known
CFTs in the near future.

We study the constraints of crossing symmetry and unitarity in general 3D
Conformal Field Theories. In doing so we derive new results for conformal
blocks appearing in fourpoint functions of scalars and present an efficient
method for their computation in arbitrary spacetime dimension. Comparing the
resulting bounds on operator dimensions and OPE coefficients in 3D to known
results, we find that the 3D Ising model lies at a corner point on the boundary
of the allowed parameter space. We also derive general upper bounds on the
dimensions of higher spin operators, relevant in the context of theories with
weakly broken higher spin symmetries.

Depending on the value of the coupling, BPS states of type II string theory
compactified on a CalabiYau manifold can be described as multicenter
supergravity solutions or as states on the Coulomb or the Higgs branch of a
quiver gauge theory. While the Coulombbranch states can be mapped onetoone
to supergravity states, this is not automatically so for Higgsbranch states.
In this paper we explicitly compute the BPS spectrum of the Higgs branch of a
threecenter quiver with a closed loop, and identify the subset of states that
are in onetoone correspondence with Coulomb/supergravity multicenter states.
We also show that there exist additional "pureHiggs" states, that exist if and
only if the charges of the centers can form a scaling solution. Using
generating function techniques we compute the large charge degeneracy of the
"pureHiggs" sector and show that it is always exponential. We also construct
the map between Higgs and Coulombbranch states, discuss its relation to the
HiggsCoulomb map of one of the authors and Verlinde, and argue that the pure
Higgs states live in the kernel of this map. Given that these states have no
obvious description on the Coulomb branch or in supergravity, we discuss
whether they can correspond to a singlecenter black hole or can be related to
more complicated horizonless configurations.

We find a family of novel supersymmetric phases of the D1D5 CFT, which in
certain ranges of charges have more entropy than all known ensembles. We also
find bulk BPS configurations that exist in the same range of parameters as
these phases, and have more entropy than a BMPV black hole; they can be thought
of as coming from a BMPV black hole shedding a "hair" condensate outside of the
horizon. The entropy of the bulk configurations is smaller than that of the CFT
phases, which indicates that some of the CFT states are lifted at strong
coupling. Neither the bulk nor the boundary phases are captured by the elliptic
genus, which makes the coincidence of the phase boundaries particularly
remarkable. Our configurations are supersymmetric, have nonCardylike entropy,
and are the first instance of a black hole entropy enigma with a controlled CFT
dual. Furthermore, contrary to common lore, these objects exist in a region of
parameter space (between the "cosmic censorship bound" and the "unitarity
bound") where no black holes were thought to exist.

The free Maxwell theory in D<>4 dimensions provides a physical example of a
unitary, scale invariant theory which is NOT conformally invariant. The easiest
way to see this is that the field strength operator F_mn is neither a primary
nor a descendant. We show how conformal multiplets can be completed, and
conformality restored, by adding new local operators to the theory. In D>=5,
this can only be done by sacrificing unitarity of the extended Hilbert space.
We analyze the full symmetry structure of the extended theory, which turns out
to be related to the OSp(D,22) superalgebra.

We determine, in two independent ways, the number of BPS quantum states
arising from supergravity degrees of freedom in a system with fixed total D4D0
charge. First, we count states generated by quantizing the spacetime degrees of
freedom of 'entropyless' multicentered solutions consisting of antiD0branes
bound to a D6antiD6 pair. Second, we determine the number of free
supergravity excitations of the corresponding AdS_3 geometry with the same
total charge. We find that, although these two approaches yield a priori
different sets of states, the leading degeneracies in a large charge expansion
are equal to each other and that, furthermore, the number of such states is
parametrically smaller than that arising from the D4D0 black hole's entropy.
This strongly suggests that supergravity alone is not sufficient to capture all
degrees of freedom of large supersymmetric black holes. Comparing the free
supergravity calculation to that of the D6antiD6D0 system we find that the
bound on the free spectrum imposed by the stringy exclusion principle (a
unitarity bound in the dual CFT) seems to be captured in the dynamics of the
fully interacting but classcial supergravity equations of motion.

Gravitational entropy arises in string theory via coarse graining over an
underlying space of microstates. In this review we would like to address the
question of how the classical black hole geometry itself arises as an effective
or approximate description of a pure state, in a closed string theory, which
semiclassical observers are unable to distinguish from the "naive" geometry. In
cases with enough supersymmetry it has been possible to explicitly construct
these microstates in spacetime, and understand how coarsegraining of
nonsingular, horizonfree objects can lead to an effective description as an
extremal black hole. We discuss how these results arise for examples in Type II
string theory on AdS_5 x S^5 and on AdS_3 x S^3 x T^4 that preserve 16 and 8
supercharges respectively. For such a picture of black holes as effective
geometries to extend to cases with finite horizon area the scale of quantum
effects in gravity would have to extend well beyond the vicinity of the
singularities in the effective theory. By studying examples in Mtheory on
AdS_3 x S^2 x CY that preserve 4 supersymmetries we show how this can happen.

N=2 supergravity in four dimensions, or equivalently N=1 supergravity in five
dimensions, has an interesting set of BPS solutions that each correspond to a
number of charged centers. This set contains black holes, black rings and their
bound states, as well as many smooth solutions. Moduli spaces of such solutions
carry a natural symplectic form which we determine, and which allows us to
study their quantization. By counting the resulting wavefunctions we come to an
independent derivation of some of the wallcrossing formulae. Knowledge of the
explicit form of these wavefunctions allows us to find quantum resolutions to
some apparent classical paradoxes such as solutions with barely bound centers
and those with an infinitely deep throat. We show that quantum effects seem to
cap off the throat at a finite depth and we give an estimate for the
corresponding mass gap in the dual CFT. This is an interesting example of a
system where quantum effects cannot be neglected at macroscopic scales even
though the curvature is everywhere small.

We systematically construct the geometries dual to the 1+1 dimensional (0,4)
conformal field theories that arise in the lowenergy description of wrapped
M5branes in S^1 x CY_3 compactifications of Mtheory. This includes a large
number of multicentered black hole bound states asymptotic to AdS_3 x S^2. In
addition, we find many geometries that develop multiple, mutually decoupled
AdS_3 x S^2 throats. We argue there is a useful one to one correspondence
between the connected components of the space of solutions and particular
limits of type IIA attractor flow trees. We point out that there is a
thermodynamic instability of small supersymmetric BTZ black holes to
localization on the S^2, a supersymmetric and exactly solvable analog of the
well known AdSSchwarzschild localization instability, and identify this with
the ``Entropy Enigma'' in four dimensions. We discuss the phase transition this
suggests, and initiate the CFT interpretation of these results.

We consider the quantization of the effective target space description of
topological Mtheory in terms of the Hitchin functional whose critical points
describe sevenmanifolds with G2 structure. The oneloop partition function for
this theory is calculated and an extended version of it, that is related to
generalized G2 geometry, is compared with the topological G2 string. We relate
the reduction of the effective action for the extended G2 theory to the Hitchin
functional description of the topological string in six dimensions. The
dependence of the partition functions on the choice of background G2 metric is
also determined.

We consider an open string version of the topological twist previously
proposed for sigmamodels with G2 target spaces. We determine the cohomology of
open strings states and relate these to geometric deformations of calibrated
submanifolds and to flat or antiselfdual connections on such submanifolds. On
associative threecycles we show that the worldvolume theory is a gaugefixed
ChernSimons theory coupled to normal deformations of the cycle. For
coassociative fourcycles we find a functional that extremizes on
antiselfdual gauge fields. A brane wrapping the whole G2 induces a
sevendimensional associative ChernSimons theory on the manifold. This theory
has already been proposed by Donaldson and Thomas as the higherdimensional
generalization of real ChernSimons theory. When the G2 manifold has the
structure of a CalabiYau times a circle, these theories reduce to a
combination of the open Amodel on special Lagrangians and the open
B+\bar{B}model on holomorphic submanifolds. We also comment on possible
applications of our results.