Talks

In the late 80s it became clear through notable work by Witten and others that there is a deep connection between (2+1) gravity and Chern-Simons theory making it possible to quantize. In the case where the cosmological constant is negative, spacetime has a boundary and classically there are black holes. We will study the features of this theory as an arena for seeing the simple realization of the Holographic Principle and the duality between quantum gravity theories in asymptotically Anti-deSitter space and conformal field theories. Extensions and open problems with the theory will also be discussed.

We describe how to recover the quantum numbers of extremal black holes from their near horizon geometries. This is achieved by constructing the gravitational Noether-Wald charges which can be used for non-extremal black holes as well. These charges are shown to be equivalent to the U(1) charges of appropriately dimensionally reduced solutions. Explicit derivations are provided for 10 dimensional type IIB supergravity and 5 dimensional minimal gauged supergravity, with illustrative examples for various black hole solutions. We further discuss how to derive the thermodynamic quantities and their relations explicitly in the extremal limit, from the point of view of the near-horizon geometry. We relate our results to the entropy function formalism.

In this talk, I will describe recent work in string phenomenology from the perspective of computational algebraic geometry. I will begin by reviewing some of the long-standing issues in heterotic model building and the goal of producing realistic particle physics from string theory. This goal can be approached by creating a large class of heterotic models which can be algorithmically scanned for physical suitability. I will outline a well-defined set of heterotic compactifications over complete intersection Calabi-Yau manifolds using the monad construction of vector bundles. Further, I will describe how a combination of analytic methods and computer algebra can provide efficient techniques for proving stability and calculating particle spectra.