
We revisit the study of the multiplets of the conformal algebra in any
dimension. The theory of highest weight representations is reviewed in the
context of the BernsteinGelfandGelfand category of modules. The
KazhdanLusztig polynomials code the relation between the Verma modules and the
irreducible modules in the category and are the key to the characters of the
conformal multiplets (whether finite dimensional, infinite dimensional, unitary
or nonunitary). We discuss the representation theory and review in full
generality which representations are unitarizable. The mathematical theory that
allows for both the general treatment of characters and the full analysis of
unitarity is made accessible. A good understanding of the mathematics of
conformal multiplets renders the treatment of all highest weight
representations in any dimension uniform, and provides an overarching
comprehension of casebycase results. Unitary highest weight representations
and their characters are classified and computed in terms of data associated to
cosets of the Weyl group of the conformal algebra. An executive summary is
provided, as well as lookup tables up to and including rank four.

We study interacting massive N=(2,2) supersymmetric field theories in two
dimensions which arise from deforming conformal field theories with a
continuous spectrum. Firstly, we deform N=2 superconformal Liouville theory
with relevant operators, and twist the theory into a topological quantum field
theory. These theories can be thought of as twisted LandauGinzburg models with
negative power superpotential. We determine the structure constants of the
chiral ring and therefore all correlators of these topological quantum field
theories. We provide general formulas for the deformed operators of given
charge as well as explicit solutions to the WDVV equations. Secondly, we
analyze the topological antitopological sector of the theory. We compute the
metric at the conformal point through localization. Moreover, we show that the
topologicalantitopological fusion differential equations on the metric in a
family of noncompact theories takes the affine Toda form. The metric as a
function of the family of theories is identical to the metric in certain
deformed compact models. For a negative cubic power LandauGinzburg
superpotential, for instance, it is governed by the Painlev\'e III differential
equation.

We clarify three aspects of noncompact elliptic genera. Firstly, we give a
path integral derivation of the elliptic genus of the cigar conformal field
theory from its nonlinear sigmamodel description. The result is a manifestly
modular sum over a lattice. Secondly, we discuss supersymmetric quantum
mechanics with a continuous spectrum. We regulate the theory and analyze the
dependence on the temperature of the trace weighted by the fermion number. The
dependence is dictated by the regulator. From a detailed analysis of the
dependence on the infrared boundary conditions, we argue that in noncompact
elliptic genera rightmoving supersymmetry combined with modular covariance is
anomalous. Thirdly, we further clarify the relation between the flat space
elliptic genus and the infinite level limit of the cigar elliptic genus.

We continue the study of the gl(11) WessZuminoWitten model. The
KnizhnikZamolodchikov equations for the one, two, three and four point
functions are analyzed, for vertex operators corresponding to typical and
projective representations. We illustrate their interplay with the logarithmic
global conformal Ward identities. We compute the four point function for one
projective and three typical representations. Three coupled first order
KnizhnikZamolodchikov equations are integrated consecutively in terms of
generalized hypergeometric functions, and we assemble the solutions into a
local correlator. Moreover, we prove crossing symmetry of the four point
function of four typical representations at generic momenta. Throughout, the
map between the gl(11) WessZuminoWitten model and symplectic fermions is
exploited and extended.

We discuss the permutation group G of massive vacua of fourdimensional gauge
theories with N=1 supersymmetry that arises upon tracing loops in the space of
couplings. We concentrate on superconformal N=4 and N=2 theories with N=1
supersymmetry preserving mass deformations. The permutation group G of massive
vacua is the Galois group of characteristic polynomials for the vacuum
expectation values of chiral observables. We provide various techniques to
effectively compute characteristic polynomials in given theories, and we deduce
the existence of varying symmetry breaking patterns of the duality group
depending on the gauge algebra and matter content of the theory. Our examples
give rise to interesting field extensions of spaces of modular forms.

We provide explicit formulas for the number of vacua of fourdimensional pure
N=1 super YangMills theories on a circle, with any simple gauge algebra and
any choice of center and spectrum of line operators. These form a key
ingredient in the semiclassical calculation of the number of massive vacua of
N=1* gauge theories with gauge algebra su(n) compactified on a circle. Using
arithmetic, we express that number in an SL(2,Z) duality invariant manner. We
confirm our tally of massive vacua of the N=1* theories by a count of
inequivalent extrema of the exact superpotential. Furthermore, we compute a
formula for a refined index that distinguishes massive vacua according to their
unbroken discrete gauge group.

We study N = 2 supersymmetric gauge theories with gauge group SU(2) coupled
to fundamental flavours, covering all asymptotically free and conformal cases.
We rederive, from the conformal field theory perspective, the differential
equations satisfied by omega deformed instanton partition functions. We confirm
their validity at leading order in one of the deformation parameters via a
saddlepoint analysis of the partition function. In the semiclassical limit we
show that these differential equations take a form amenable to exact WKB
analysis. We compute the monodromy group associated to the differential
equations in terms of deformed and Borel resummed SeibergWitten data. For each
case, we study pairs of Stokes graphs that are related by flips and pops, and
show that the monodromy groups allow one to confirm the Stokes automorphisms
that arise as the phase of the deformation parameter is varied. Finally, we
relate the Borel resummed monodromies with the traditional SeibergWitten
variables in the semiclassical limit.

We continue our study of the N=1* supersymmetric gauge theory and its
relation to elliptic integrable systems. Upon compactification on a circle, we
show that the semiclassical analysis of the massless and massive vacua depends
on the classification of nilpotent orbits, as well as on the conjugacy classes
of the component group of their centralizer. We demonstrate that
semiclassically massless vacua can be lifted by Wilson lines in unbroken
discrete gauge groups. The pseudoLevi subalgebras that play a classifying role
in the nilpotent orbit theory are also key in defining generalized Inozemtsev
limits of (twisted) elliptic integrable systems. We illustrate our analysis in
the N=1* theories with gauge algebras su(3), su(4), so(5) and for the
exceptional gauge algebra G2. We map out modular duality diagrams of the
massive and massless vacua. Moreover, we provide an analytic description of the
branches of massless vacua in the case of the su(3) and the so(5) theory. The
description of these branches in terms of the complexified Wilson lines on the
circle invokes the EichlerZagier technique for inverting the elliptic
Weierstrass function. After finetuning the coupling to elliptic points of
order three, we identify the ArgyresDouglas singularities of the su(3) theory.

We construct a covariant generating function for the spectrum of chiral
primaries of symmetric orbifold conformal field theories with N=(4,4)
supersymmetry in two dimensions. For seed target spaces K3 and T4, the
generating functions capture the SO(21) and SO(5) representation theoretic
content of the chiral ring respectively. Via string dualities, we relate the
transformation properties of the chiral ring under these isometries of the
moduli space to the Lorentz covariance of perturbative string partition
functions in flat space.

We compute the number of massive vacua of N=4 supersymmetric YangMills
theory massdeformed to preserve N=1 supersymmetry, for any gauge group G. We
use semiclassical techniques and efficiently reproduce the known counting for
A,B and Ctype gauge groups, present the generating function for both O(2n) and
SO(2n), and compute the supersymmetric index for gauge groups of exceptional
type. A crucial role is played by the classification of nilpotent orbits, as
well as global properties of their centralizers. We give illustrative examples
of new features of our analysis for the Dtype algebras.

We apply exact WKB methods to the study of the partition function of pure N=2
epsilon_ideformed gauge theory in four dimensions in the context of the 2d/4d
correspondence. We study the partition function at leading order in
epsilon_2/epsilon_1 (i.e. at large central charge) and in an expansion in
epsilon_1. We find corrections of the form ~ exp[ SW periods / epsilon_1] to
this expansion. We attribute these to the exchange of the order of summation
over gauge instanton number and over powers of epsilon_1 when passing from the
Nekrasov form of the partition function to the topological string theory
inspired form. We conjecture that such corrections should be computable from a
worldsheet perspective on the partition function. Our results follow upon the
determination of the Stokes graphs associated to the Mathieu equation with
complex parameters and the application of exact WKB techniques to compute the
Mathieu characteristic exponent.

We study complexified elliptic CalogeroMoser integrable systems. We
determine the value of the potential at isolated extrema, as a function of the
modular parameter of the torus on which the integrable system lives. We
calculate the extrema for low rank B,C,D root systems using a mix of analytical
and numerical tools. For so(5) we find convincing evidence that the extrema
constitute a vector valued modular form for a congruence subgroup of the
modular group. For so(7) and so(8), the extrema split into two sets. One set
contains extrema that make up vector valued modular forms for congruence
subgroups, and a second set contains extrema that exhibit monodromies around
points in the interior of the fundamental domain. The former set can be
described analytically, while for the latter, we provide an analytic value for
the point of monodromy for so(8), as well as extensive numerical predictions
for the Fourier coefficients of the extrema. Our results on the extrema provide
a rationale for integrality properties observed in integrable models, and embed
these into the theory of vector valued modular forms. Moreover, using the data
we gather on the modularity of complexified integrable system extrema, we
analyse the massive vacua of mass deformed N=4 supersymmetric YangMills
theories with low rank gauge group of type B,C and D. We map out their
transformation properties under the infrared electricmagnetic duality group as
well as under triality for N=1* with gauge algebra so(8). We find several
intriguing properties of the quantum gauge theories.

The quantum theory of a massless spin two particle is strongly constrained by
diffeomorphism invariance, which is in turn implied by unitarity. We explicitly
exhibit the spacetime diffeomorphism algebra of string theory, realizing it in
terms of world sheet vertex operators. Viewing diffeomorphisms as field
redefinitions in the twodimensional conformal field theory renders the
calculation of their algebra straightforward. Next, we generalize the analysis
to combinations of spacetime antisymmetric tensor gauge transformations and
diffeomorphisms. We also point out a leftright split of the algebra combined
with a twist that reproduces the Cbracket of double field theory. We further
compare our derivation to an analysis in terms of marginal deformations as well
as vertex operator algebras.

We further study the elliptic genus of the cigar SL(2,R)/U(1) coset
superconformal field theory. We find that, even in the small curvature,
infinite level limit, there are holomorphic and nonholomorphic parts that are
due to the discrete states and a mismatch in the spectral densities of the
continuum, respectively. The mismatch in the continuum is universal, in the
sense that it is fully determined by the asymptotic cylindrical topology of the
cigar's throat. Since modularity of the elliptic genus requires both the
holomorphic and nonholomorphic parts, the holomorphic term is universal as
well. The contribution of the discrete states is thus present even for
perturbative strings propagating in the background of large Schwarzschild black
holes. We argue that the discrete states live at a stringy distance from the
tip of the cigar both from the conformal field theory wavefunction analysis
and from a holonomy space perspective. Thus, the way string theory takes care
of its selfconsistency seems to have important consequences for the physics
near horizons, even for parametrically large black holes.

We calculate the elliptic genus of two dimensional abelian gauged linear
sigma models with (2,2) supersymmetry using supersymmetric localization. The
matter sector contains charged chiral multiplets as well as Stueckelberg fields
coupled to the vector multiplets. These models include theories that flow in
the infrared to nonlinear sigma models with target spaces that are noncompact
Kahler manifolds with U(N) isometry and with an asymptotically linear dilaton
direction. The elliptic genera are the modular completions of mock Jacobi forms
that have been proposed recently using complementary arguments. We also compute
the elliptic genera of models that contain multiple Stueckelberg fields from
first principles.

We continue our study of the semiclassical (large central charge) expansion
of the toroidal onepoint conformal block in the context of the 2d/4d
correspondence. We demonstrate that the SeibergWitten curve and
(epsilon1deformed) differential emerge naturally in conformal field theory
when computing the block via null vector decoupling equations. This framework
permits us to derive epsilon1deformations of the conventional relations
governing the prepotential. These enable us to complete the proof of the
quasimodularity of the coefficients of the conformal block in an expansion
around large exchanged conformal dimension. We furthermore derive these
relations from the semiclassics of exact conformal field theory quantities,
such as braiding matrices and the Smove kernel. In the course of our study, we
present a new proof of Matone's relation for N=2* theory.

We demonstrate that AppellLerch sums with higher order poles as well as
their modular covariant completions arise as partition functions in the cigar
conformal field theory with worldsheet supersymmetry. The modular covariant
derivatives of the elliptic genus of the cigar give rise to operator insertions
corresponding to (powers of) rightmoving momentum, leftmoving fermion number,
as well as a term corresponding to an ordinary zero mode partition sum. To show
this, we demonstrate how the rightmoving supersymmetric quantum mechanics (and
in particular the Hamiltonian and spectral density) depend on the imaginary
part of the chemical potential for angular momentum. As a consequence of our
analysis we find that varying the imaginary part of the chemical potential for
angular momentum on the cigar gives rise to a wallcrossing phenomenon in the
bound state contribution to the elliptic genus, while the full elliptic genus
is a continuous function of the chemical potential.

We construct real Jacobi forms with matrix index using path integrals. The
path integral expressions represent elliptic genera of twodimensional N=(2,2)
supersymmetric theories. They arise in a family labeled by two integers N and k
which determine the central charge of the infrared fixed point through the
formula c=3N(1+ 2N/k). We decompose the real Jacobi form into a mock modular
form and a term arising from the continuous spectrum of the conformal field
theory. We argue that the Jacobi form represents the elliptic genus of a theory
defined on a 2N dimensional background with U(N) isometry, containing a complex
projective space section, a circle fiber and a linear dilaton direction. We
also present formulas for the elliptic genera of orbifolds of these models.

We analyze the Euclidean geometry near nonextremal NS5branes in string
theory, including regions beyond the horizon and beyond the singularity of the
black brane. The various regions have an exact description in string theory, in
terms of cigar, trumpet and negative level minimal model conformal field
theories. We study the worldsheet elliptic genera of these three superconformal
theories, and show that their sum vanishes. We speculate on the significance of
this curious sum rule for black hole physics.

We further explore the correspondence between N=2 supersymmetric SU(2) gauge
theory with four flavors on epsilondeformed backgrounds and conformal field
theory, with an emphasis on the epsilonexpansion of the partition function
natural from a topological string theory point of view. Solving an appropriate
null vector decoupling equation in the semiclassical limit allows us to
express the instanton partition function as a series in quasimodular forms of
the group Gamma(2), with the expected symmetry Weyl group of SO(8) semidirect
S_3. In the presence of an elementary surface operator, this symmetry is
enhanced to an action of the affine Weyl group of SO(8) semidirect S_4 on the
instanton partition function, as we demonstrate via the link between the null
vector decoupling equation and the quantum Painlev\'e VI equation.

We associate vertex operators to spacetime diffeomorphisms in flat space
string theory, and compute their algebra, which is a diffeomorphism algebra
with higher derivative corrections. As an application, we realize the
asymptotic symmetry group BMS3 of threedimensional flat space in terms of
vertex operators on the string worldsheet. This provides an embedding of the
BMS3 algebra in a consistent theory of quantum gravity. Higher derivative
corrections vanish asymptotically. An appendix is dedicated to alpha prime
corrected algebras in conformal field theory and string theory.

We study the correspondence between fourdimensional supersymmetric gauge
theories and twodimensional conformal field theories in the case of N=2* gauge
theory. We emphasize the genus expansion on the gauge theory side, as obtained
via geometric engineering from the topological string. This point of view
uncovers modular properties of the onepoint conformal block on a torus with
complexified intermediate momenta: in the large intermediate weight limit, it
is a power series whose coefficients are quasimodular forms. The allgenus
viewpoint that the conformal field theory approach lends to the topological
string yields insight into the analytic structure of the topological string
partition function in the field theory limit.

We analyze zero mode counting problems for Dirac operators that find their
origin in string theory backgrounds. A first class of quantum mechanical models
for which we compute the number of ground states arises from a string winding
an isometric direction in a geometry, taking into account its energy due to
tension. Alternatively, the models arise from deforming marginal bound states
of a string winding a circle, and moving in an orthogonal geometry. After
deformation, the number of bound states is again counted by the zero modes of a
Dirac operator. We count these bound states in even dimensional asymptotically
linear dilaton backgrounds as well as in Euclidean TaubNUT. We show multiple
pole behavior in the fugacities keeping track of a U(1) charge. We also discuss
a second class of counting problems that arises when these backgrounds are
deformed via the application of a heterotic duality transformation. We discuss
applications of our results to AppellLerch sums and the counting of domain
wall bound states.

We recall the structure of the indecomposable sl(2) modules in the
BernsteinGelfandGelfand category O. We show that all these modules can arise
as quantized phase spaces of physical models. In particular, we demonstrate in
a path integral discretization how a redefined action of the sl(2) algebra over
the complex numbers can glue finite dimensional and infinite dimensional
highest weight representations into indecomposable wholes. Furthermore, we
discuss how projective cover representations arise in the tensor product of
finite dimensional and Verma modules and give explicit tensor product
decomposition rules. The tensor product spaces can be realized in terms of
product path integrals. Finally, we discuss relations of our results to brane
quantization and cohomological calculations in string theory.

We consider tensor products of N=2 minimal models and noncompact conformal
field theories with N=2 superconformal symmetry, and their orbifolds. The
elliptic genera of these models give rise to a large and interesting class of
real Jacobi forms. The tensor product of conformal field theories leads to a
natural product on the space of completed mock modular forms. We exhibit
families of noncompact mirror pairs of orbifold models with c=9 and show
explicitly the equality of elliptic genera, including contributions from the
long multiplet sector. The Liouville and cigar deformed elliptic genera
transform into each other under the mirror transformation.