In an introductory chapter, a summary of the construction of string theories is given, for both the bosonic string and the RNS superstring. Relevant mathematical technology is introduced, including super-Riemann surfaces. Conformal field theory is discussed and BRST quantization of the string is explained. (Super) Schottky groups for the construction of higher-genus Riemann surfaces are introduced. As an example of the use of Schottky groups and super-Riemann surfaces, the one-loop gluon two point function is calculated from string theory. The incorporation of background gauge fields into string theory via nontrivial monodromies (twists) is discussed. The two loop Prym period matrix determinant is computed in the Schottky parametrization. The string theory model with N parallel separated D3-branes is introduced, and the formulae for the the vacuum amplitude are written down. A manifestly symmetric parametrization of two loop Schottky space is introduced. The relationship between worldsheet moduli and Feynman graph Schwinger times is given. The 0 ! 0 limit of the amplitude is written down explicitly. The lagrangian for the corresponding gauge theory is found, making use of a generalization of Gervais-Neveu gauge which accounts for scalar VEVs. Propagators in the given gauge field background are written down. All of the 1PI two-loop Feynman diagrams are written down, including diagrams with vertices with an odd number of scalars. Illustrative example Feynman graphs are computed explicitly in position space. These results are compared with the preceding string theory results and exact agreement is obtained for the 1PI diagrams. An example application is given: the computation of the function of scalar QED at two loops with the same methods, leading to the same result as found in the literature.

There has been great progress in recent years in the understanding of the mathematical structure of scattering amplitudes in Quantum Field Theory as well as the development of powerful methods for their calculation, particularly in the arena of N = 4 Super Yang-Mills where hidden and manifest symmetries lead to striking simplifications. In this thesis, we will discuss the extensions of such methods away from the case of on-shell amplitudes in conformal N = 4. After introducing the necessary mathematical background and physical setting, we consider in Chapter Three the form factors of BPS operators in N = 4 Super Yang- Mills. These objects have several physical applications, and share many properties with scattering amplitudes. However, they are off-shell, which makes them a natural starting point to set out in the direction of correlation functions. After demonstrating the computation of form factors by BCFW recursion and unitarity based methods, we go on to show how the scalar form factor can be supersymmetrised to encompass the full stress-tensor multiplet. In Chapter Four, we discuss the Sudakov form factor in ABJM Theory. This object, which first appears at two loops and controls the IR divergences of the theory, is computed by generalised unitarity. In particular, we note that the maximal transcendentality of three dimensional integrals is related to particular triple cuts. Finally, in Chapter Five we consider massive amplitudes on the Coulomb Branch of N = 4 at one loop. Here we find that vertex cut conditions inherited from the embedding of the theory in String Theory lead to a restricted class of massive integrals.

In this thesis the recently developed duality covariant approach to string and Mtheory is investigated. In this formalism the U-duality symmetry of M-theory or Tduality symmetry of Type II string theory becomes manifest upon extending coordinates that describe a background. The effective potential of Double Field Theory is formulated only up to a boundary term and thus does not capture possible topological effects that may come from a boundary. By introducing a generalised normal we derive a manifestly duality covariant boundary term that reproduces the known Gibbons-Hawking action of General Relativity, if the section condition is imposed. It is shown that the full potential can be represented as a sum of the scalar potential of gauged supergravity and a topological term that is a full derivative. The latter is written totally in terms of the geometric flux and the non-geometric Q-flux integrated over the doubled torus. Next we show that the Scherk-Schwarz reduction of M-theory extended geometry successfully reproduces known structures of maximal gauged supergravities. Local symmetries of the extended space defined by a generalised Lie derivatives reduce to gauge transformations and lead to the embedding tensor written in terms of twist matrices. The scalar potential of maximal gauged supergravity that follows from the effective potential is shown to be duality invariant with no need of section condition. Instead, this condition, that assures the closure of the algebra of generalised diffeomorphisms, takes the form of the quadratic constraints on the embedding tensor.

In the past few years, on-shell analytic methods have played a pivotal role in gauge theory calculations. Since the initial success of these methods in Standard Model physics, considerable activity has led to development and application in supersymmetric gauge theories. In particular, the maximally supersymmetric super Yang-Mills theory received much attention after the discovery of holographic dualities. Here, the spinor helicity formalism and on-shell superspace is described initially for four dimensions. The framework of general unitarity is shown to be a useful tool for calculating loop corrections of scattering amplitudes. Once the foundation is laid, application in three and six dimensions is explored. In six dimensions the case of interest is a theory with (1,1) supersymmetry which captures the dynamics of five-branes in string theory. In this setup the one-loop superamplitude with four and five external particles is calculated and checked for consistency. In three dimensions, the supersymmetric gauge theory that is supposed to describe the dynamics of M2-branes is considered. This particular theory is also related to M-theory via the holographic duality. The goal was to explore and determine the infra-red divergences of the theory. This was achieved by calculating the Sudakov form factor at two loops.

In this thesis we explore the finite N spectrum of BPS operators in four-dimensional supersymmetric conformal field theories (CFT), which have dual AdS gravitational descriptions. In the first part we analyze the spectrum of chiral operators in the free limit of quiver gauge theories. We find explicit counting formulas at finite N for arbitrary quivers, construct an orthogonal basis in the free inner product, and derive the chiral ring structure constants. In order to deal with arbitrarily complicated quivers, we develop convenient diagrammatic techniques: the results are expressed by associating Young diagrams and Littlewood-Richardson coefficients to modifications of the original quiver. We develop the notion of a "quiver character", which is a generalization of the symmetric group character, obeying analogous orthogonality properties. In the second part we analyze how the BPS spectrum changes at weak coupling, focusing on the N = 4 supersymmetric Yang-Mills. We find a formal expression for the complete set of eighth-BPS operators at finite N, and use it to derive corrections to a near-BPS operator. In the third part of this thesis we move on to the strong coupling regime, where the dual gravitational description applies. The BPS spectrum on the gravity side includes D3-branes wrapping arbitrary holomorphic surfaces, a generalization of the spherical giant gravitons. Quantizing this moduli space gives a Hilbert space, which, via duality and nonrenormalization theorems, should map to the space of BPS operators derived in the weak coupling regime. We apply techniques from fuzzy geometry to study this correspondence between D3-brane geometries, quantum states, and BPS operators in field theory.

In this Thesis I explore aspects of dark radiation and its role in String Phenomenology. Dark radiation is any additional hidden type of relativistic matter present in the Universe today, conventionally labelled as an "excess effective number of neutrino species", Δ N_eff. It provides a powerful test of hitherto untested theoretical models based on fundamental theories such as String Theory. I begin by considering dark radiation in the LARGE Volume Scenario, a phenomenologically viable class of string compactifications. First I review how the minimal setup slightly overproduces axionic dark radiation via modulus decay. I then demonstrate that loop corrections to the main competing visible-sector decay process have a negligible effect and are unable to alleviate the tension with observations. In the following chapter I explore fibred extensions of the LARGE Volume Scenario. The predictions for Δ N_eff are qualitatively different: in particular, models with a sequestered visible sector on D3 branes at a singularity are swamped by massless axions and decisively ruled out. I then consider TeV-scale supersymmetry in a model with anisotropic modulus stabilisation. If the Standard Model is realised on D7 branes wrapping the small volume cycle a hierarchy of soft terms is generated, which may have applications to natural supersymmetry. The final chapter takes a different approach and investigates the proposition that dark radiation, in the form of a Cosmic Axion Background, could explain the long-standing soft X-ray excess from galaxy clusters. I show for the Coma cluster that the morphology of the excess can be reproduced by axion-photon conversion in the intracluster magnetic field, provided the field is allowed to have more structure on smaller scales than typically assumed based on Faraday rotation data. This explanation requires an inverse axion-photon coupling M ∼ 10¹¹ - 10¹² GeV and a mean axion energy (E_CAB) ∼ 50 - 250 eV.

In the first part of this thesis we study baryonic U(1) symmetries dual to Betti multiplets in the AdS_4/CFT_3 correspondence for M2 branes at Calabi-Yau four-fold singularities. Such short multiplets originate from the Kaluza-Klein compactification of eleven-dimensional supergravity on the corresponding Sasaki-Einstein seven-manifolds. Analysis of the boundary conditions for vector fields in AdS_4 allows for a choice where wrapped M5 brane states carrying non-zero charge under such symmetries can be considered. We begin by focusing on isolated toric singularities without vanishing six-cycles, which we classify, and propose for them field theory duals. We then study in detail the cone over the well-known Sasaki-Einstein space Q^111, which is a U(1) fibration over CP^1 x CP^1 x CP^1. The boundary conditions considered are dual to a CFT where the gauge group is U(1)^2 x SU(N)^4. We find agreement between the spectrum of gauge-invariant baryonic-type operators in this theory and M5 branes wrapping five-cycles in the Q^111 space. Moreover, the physics of vacua in which these symmetries are spontaneously broken precisely matches a dual gravity analysis involving resolutions of the singularity, where we are able to match condensates of the baryonic operators, Goldstone bosons and global strings. We then study the implications of turning on a closed three-form with non-zero periods through torsion three cycles in the Sasaki-Einstein manifold. This three-form, otherwise known as torsion G-flux, non-trivially affects the supergravity dual of Higgsing, and we show that the supergravity and field theory analyses precisely match in an example based on the Sasaki-Einstein manifold Y^1,2(CP^2), which is a S^3 bundle over CP^2. We then explain how the choice of M-theory circle in the background can result in exotic renormalization group flows in the dual field theory, and study this in detail for the Sasaki-Einstein manifold Y^1,2(CP^2). We also argue more generally that theories where the resolutions have six-cycles are expected to receive non-perturbative corrections from M5 brane instantons. We give a general formula relating the instanton action to normalizable harmonic two-forms, and compute it explicitly for the Sasaki-Einstein Q^222 example, which is a Z_2 orbifold of Q^111 in which the free Z_2 quotient is along the R-symmetry U(1) fibre. The holographic interpretation of such instantons is currently unclear. In the second part of this thesis we study the breaking of baryonic symmetries in the AdS_5/CFT_4 correspondence for D3 branes at Calabi-Yau three-fold singularities. This leads, for particular vacuum expectation values, to the emergence of non-anomalous baryonic symmetries during the renormalization group flow. We identify these vacuum expectation values with critical values of the NS-NS B-field moduli in the dual supergravity backgrounds. We study in detail the C^3/Z_3 orbifold theory and the dual supergravity backgrounds that correspond to the breaking of the emerging baryonic symmetries, and identify the expected Goldstone bosons and global strings in the infra-red. In doing so we confirm the claim that the emerging symmetries are indeed non-anomalous baryonic symmetries.

The fuzzball model of a black hole is an attempt to resolve the many paradoxes and puzzles of black hole physics that have revealed themselves over the last century. These badly behaved solutions of general relativity have given physicists one of the few laboratories to test candidate quantum theories of gravity. Though little is known about exactly what lies beyond the event horizon, and what the ultimate fate of matter that falls in to a black hole is, we know a few intriguing and elegant semi-classical results that have kept physicists occupied. Among these are the known black hole entropy and the Hawking radiation process.

In this thesis we explore various aspects of Calabi-Yau (CY) manifolds and com- pactifications of the heterotic string over them. At first we focus on classifying symmetries and computing Hodge numbers of smooth CY quotients. Being non- simply connected, these quotients are an integral part of CY compactifications of the heterotic string, aimed at producing realistic string vacua. Discrete symmetries of such spaces that are generically present in the moduli space, are phenomenologically important since they may appear as symmetries of the associated low energy theory. We classify such symmetries for the class of smooth Complete Intersection CY (CICY) quotients, resulting in a large number of regular and R-symmetry examples. Our results strongly suggest that generic, non-freely acting symmetries for CY quotients arise relatively frequently. A large number of string derived Standard Models (SM) were recently obtained over this class of CY manifolds indicating that our results could be phenomenologically important. We also specialise to certain loci in the moduli space of a quintic quotient to produce highly symmetric CY quotients. Our computations thus far are the first steps towards constructing a sizeable class of highly symmetric smooth CY quotients. Knowledge of the topological properties of the internal space is vital in determining the suitability of the space for realistic string compactifications. Employing the tools of polynomial deformation and counting of invariant Kähler classes, we compute the Hodge numbers of a large number of smooth CICY quotients. These were later verified by independent cohomology computations. We go on to develop the machinery to understand the geometry of CY manifolds embedded as hypersurfaces in a product of del Pezzo surfaces. This led to an interesting account of the quotient space geometry, enabling the computation of Hodge numbers of such CY quotients. Until recently only a handful of CY compactifications were known that yielded low energy theories with desirable MSSM features. The recent construction of rank 5 line bundle sums over smooth CY quotients has led to several SU(5) GUTs with the exact MSSM spectrum. We derive semi-analytic results on the finiteness of the number of such line bundle models, and study the relationship between the volume of the CY and the number of line bundle models over them. We also imply a possible correlation between the observed number of generations and the value of the gauge coupling constants of the corresponding GUTs. String compactifications with underlying SO(10) GUTs are theoretically attractive especially since the discovery that neutrinos have non-zero mass. With this in mind, we construct tens of thousands of rank 4 stable line bundle sums over smooth CY quotients leading to SO(10) GUTs.

In this thesis we study gauge/gravity duals in the 5d/6d AdS/CFT correspondence. We start with field theories defined on squashed five-spheres with SU(3) × U(1) symmetry. These five-sphere backgrounds are continuously connected to the round sphere. We find a one-parameter family of 3/4 BPS deformations and a two-parameter family of (generically) 1/4 BPS deformations. The gravity duals are constructed in Euclidean Romans F(4) gauged supergravity in six dimensions, and uplift to massive type IIA supergravity. We holographically renormalize the Romans theory, and use our general result to compute the renormalized on-shell actions for the solutions. The results agree perfectly with the large N limit of the dual gauge theory partition function, which we compute using large N matrix model techniques. In addition we compute BPS Wilson loops in these backgrounds, both in supergravity and in the large N matrix model, again finding precise agreement. We conjecture a general formula for the partition function on any five-sphere background, which for fixed gauge theory depends only on a certain supersymmetric Killing vector. We then proceed to study Euclidean Romans supergravity in six dimensions with a non-trivial Abelian R-symmetry gauge field. We show that supersymmetric solutions are in one-to-one correspondence with solutions to a set of differential constraints on an SU(2) structure. As an application of our results we (i) show that this structure reduces at a conformal boundary to the five-dimensional rigid supersymmetric geometry previously studied, (ii) find a general expression for the holographic dual of the VEV of a BPS Wilson loop, matching an exact field theory computation, (iii) construct holographic duals to squashed Sasaki-Einstein backgrounds, again matching to a field theory computation, and (iv) find new analytic solutions to the squashed five-sphere background. We also analyse the classification of gravity duals with zero B-field.