Source author record

Edward Witten

Edward Witten appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

150works

27topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

A Note On Complex Spacetime Metrics

For various reasons, it seems necessary to include complex saddle points in the "Euclidean" path integral of General Relativity. But some sort of restriction on the allowed complex saddle points is needed to avoid various unphysical examples. In this article, a speculative proposal is made concerning a possible restriction on the allowed saddle points in the gravitational path integral. The proposal is motivated by recent work of Kontsevich and Segal on complex metrics in quantum field theory, and earlier work of Louko and Sorkin on topology change from a real time point of view.

preprint2022arXiv

A note on continuous entropy

Von Neumann entropy has a natural extension to the case of an arbitrary semifinite von Neumann algebra, as was considered by I. E. Segal. We relate this entropy to the relative entropy and show that the entropy increase for an inclusion of von Neumann factors is bounded by the logarithm of the Jones index. The bound is optimal if the factors are infinite dimensional.

preprint2022arXiv

Gauge Theory and the Analytic Form of the Geometric Langlands Program

We present a gauge-theoretic interpretation of the "analytic" version of the geometric Langlands program, in which Hitchin Hamiltonians and Hecke operators are viewed as concrete operators acting on a Hilbert space of quantum states. The gauge theory ingredients required to understand this construction -- such as electric-magnetic duality between Wilson and 't Hooft line operators in four-dimensional gauge theory -- are the same ones that enter in understanding via gauge theory the more familiar formulation of geometric Langlands, but now these ingredients are organized and applied in a novel fashion.

preprint2022arXiv

No Ensemble Averaging Below the Black Hole Threshold

In the AdS/CFT correspondence, amplitudes associated to connected bulk manifolds with disconnected boundaries have presented a longstanding mystery. A possible interpretation is that they reflect the effects of averaging over an ensemble of boundary theories. But in examples in dimension $D\geq 3$, an appropriate ensemble of boundary theories does not exist. Here we sharpen the puzzle by identifying a class of "sub-threshold" observables that we claim do not show effects of ensemble averaging. These are amplitudes that do not involve black hole states. To support our claim, we explore the example of $D=3$, and show that connected solutions of Einstein's equations with disconnected boundary never contribute to sub-threshold observables. To demonstrate this requires some novel results about the renormalized volume of a hyperbolic three-manifold, which we prove using modern methods in hyperbolic geometry. Why then do any observables show apparent ensemble averaging? We propose that this reflects the chaotic nature of black hole physics and the fact that the Hilbert space describing a black hole does not have a large $N$ limit.

preprint2020arXiv

Anomaly Inflow and the $η$-Invariant

Perturbative fermion anomalies in spacetime dimension $d$ have a well-known relation to Chern-Simons functions in dimension $D=d+1$. This relationship is manifested in a beautiful way in "anomaly inflow" from the bulk of a system to its boundary. Along with perturbative anomalies, fermions also have global or nonperturbative anomalies, which can be incorporated by using the $η$-invariant of Atiyah, Patodi, and Singer instead of the Chern-Simons function. Here we give a nonperturbative description of anomaly inflow, involving the $η$-invariant. This formula has been expected in the past based on the Dai-Freed theorem, but has not been fully justified. It leads to a general description of perturbative and nonperturbative fermion anomalies in $d$ dimensions in terms of an $η$-invariant in $D$ dimensions. This $η$-invariant is a cobordism invariant whenever perturbative anomalies cancel.

preprint2020arXiv

Deformations of JT Gravity and Phase Transitions

We re-examine the black hole solutions in classical theories of dilaton gravity in two dimensions. We consider an arbitrary dilaton potential such that there are black hole solutions asymptotic at infinity to the nearly $\mathrm{AdS}_2$ solutions of JT gravity, and such that the black hole energy and entropy are bounded below. We show that if there is a black hole solution with negative specific heat at some temperature $T$, then at the same temperature there is a black hole solution with lower free energy and positive specific heat. As the temperature is increased from 0 to infinity, the black hole energy and entropy increase monotonically but not necessarily continuously; there can be first order phase transitions, similar to the Hawking-Page transition. These theories can also have solutions corresponding to closed universes.

preprint2020arXiv

Exploration of the outer solar system with fast and small sailcraft

Two new interplanetary technologies have advanced in the past decade to the point where they may enable exciting, affordable missions that reach further and faster deep into the outer regions of our solar system: (i) small and capable interplanetary spacecraft and (ii) light-driven sails. Combination of these two technologies could drastically reduce travel times within the solar system. We discuss a new paradigm that involves small and fast moving sailcraft that could enable exploration of distant regions of the solar system much sooner and faster than previously considered. We present some of the exciting science objectives for these miniaturized intelligent space systems that could lead to transformational advancements in the space sciences in the coming decade.

preprint2020arXiv

JT Gravity and the Ensembles of Random Matrix Theory

We generalize the recently discovered relationship between JT gravity and double-scaled random matrix theory to the case that the boundary theory may have time-reversal symmetry and may have fermions with or without supersymmetry. The matching between variants of JT gravity and matrix ensembles depends on the assumed symmetries. Time-reversal symmetry in the boundary theory means that unorientable spacetimes must be considered in the bulk. In such a case, the partition function of JT gravity is still related to the volume of the moduli space of conformal structures, but this volume has a quantum correction and has to be computed using Reidemeister-Ray-Singer "torsion." Presence of fermions in the boundary theory (and thus a symmetry $(-1)^F$) means that the bulk has a spin or pin structure. Supersymmetry in the boundary means that the bulk theory is associated to JT supergravity and is related to the volume of the moduli space of super Riemann surfaces rather than of ordinary Riemann surfaces. In all cases we match JT gravity or supergravity with an appropriate random matrix ensemble. All ten standard random matrix ensembles make an appearance -- the three Dyson ensembles and the seven Altland-Zirnbauer ensembles. To facilitate the analysis, we extend to the other ensembles techniques that are most familiar in the case of the original Wigner-Dyson ensemble of hermitian matrices. We also generalize Mirzakhani's recursion for the volumes of ordinary moduli space to the case of super Riemann surfaces.

preprint2020arXiv

Searching for a Black Hole in the Outer Solar System

There are hints of a novel object ("Planet 9") with a mass $5-10$ $M_\oplus$ in the outer Solar System, at a distance of order 500 AU. If it is a relatively conventional planet, it can be found in telescopic searches. Alternatively, it has been suggested that this body might be a primordial black hole (PBH). In that case, conventional searches will fail. A possible alternative is to probe the gravitational field of this object using small, laser-launched spacecraft, like the ones envisioned in the Breakthrough Starshot project. With a velocity of order $.001~c$, such spacecraft can reach Planet 9 roughly a decade after launch and can discover it if they can report timing measurements accurate to $10^{-5}$ seconds back to Earth.

preprint2020arXiv

Volumes and Random Matrices

This article is an introduction to newly discovered relations between volumes of moduli spaces of Riemann surfaces or super Riemann surfaces, simple models of gravity or supergravity in two dimensions, and random matrix ensembles. (The article is based on a lecture at the conference on the Mathematics of Gauge Theory and String Theory, University of Auckland, January 2020. It has been submitted to a special issue of the Quarterly Journal of Mathematics in memory of Michael Atiyah.)

preprint2019arXiv

A Mini-Introduction To Information Theory

This article consists of a very short introduction to classical and quantum information theory. Basic properties of the classical Shannon entropy and the quantum von Neumann entropy are described, along with related concepts such as classical and quantum relative entropy, conditional entropy, and mutual information. A few more detailed topics are considered in the quantum case.

preprint2016arXiv

A Duality Web in 2+1 Dimensions and Condensed Matter Physics

Building on earlier work in the high energy and condensed matter communities, we present a web of dualities in $2+1$ dimensions that generalize the known particle/vortex duality. Some of the dualities relate theories of fermions to theories of bosons. Others relate different theories of fermions. For example, the long distance behavior of the $2+1$-dimensional analog of QED with a single Dirac fermion (a theory known as $U(1)_{1/2}$) is identified with the $O(2)$ Wilson-Fisher fixed point. The gauged version of that fixed point with a Chern-Simons coupling at level one is identified as a free Dirac fermion. The latter theory also has a dual version as a fermion interacting with some gauge fields. Assuming some of these dualities, other dualities can be derived. Our analysis resolves a number of confusing issues in the literature including how time reversal is realized in these theories. It also has many applications in condensed matter physics like the theory of topological insulators (and their gapped boundary states) and the problem of electrons in the lowest Landau level at half filling. (Our techniques also clarify some points in the fractional Hall effect and its description using flux attachment.) In addition to presenting several consistency checks, we also present plausible (but not rigorous) derivations of the dualities and relate them to $3+1$-dimensional $S$-duality.

preprint2016arXiv

An Introduction To The Web-Based Formalism

This paper summarizes our rather lengthy paper, "Algebra of the Infrared: String Field Theoretic Structures in Massive ${\cal N}=(2,2)$ Field Theory In Two Dimensions," and is meant to be an informal, yet detailed, introduction and summary of that larger work.

preprint2016arXiv

An SYK-Like Model Without Disorder

Making use of known facts about "tensor models," it is possible to construct a quantum system without quenched disorder that has the same large $n$ limit for its correlation functions and thermodynamics as the SYK model. This might be useful in further probes of this approach to holographic duality.

preprint2016arXiv

Gapped Boundary Phases of Topological Insulators via Weak Coupling

The standard boundary state of a topological insulator in 3+1 dimensions has gapless charged fermions. We present model systems that reproduce this standard gapless boundary state in one phase, but also have gapped phases with topological order. Our models are weakly coupled and all the dynamics is explicit. We rederive some known boundary states of topological insulators and construct new ones. Consistency with the standard spin/charge relation of condensed matter physics places a nontrivial constraint on models.

preprint2016arXiv

Integrable Lattice Models From Gauge Theory

These notes provide an introduction to recent work by Kevin Costello in which integrable lattice models of classical statistical mechanics in two dimensions are understood in terms of quantum gauge theory in four dimensions. This construction will be compared to the more familiar relationship between quantum knot invariants in three dimensions and Chern-Simons gauge theory. (Based on a Whittaker Colloquium at the University of Edinburgh and a lecture at Strings 2016 in Beijing.)

preprint2016arXiv

More On Superstring Perturbation Theory: An Overview Of Superstring Perturbation Theory Via Super Riemann Surfaces

This article is devoted to an overview of superstring perturbation theory from the point of view of super Riemann surfaces. We aim to elucidate some of the subtleties of superstring perturbation that caused difficulty in the early literature, focusing on a concrete example -- the $SO(32)$ heterotic string compactified on a Calabi-Yau manifold, with the spin connection embedded in the gauge group. This model is known to be a significant test case for superstring perturbation theory. Supersymmetry is spontaneously broken at 1-loop order, and to treat correctly the supersymmetry-breaking effects that arise at 1- and 2-loop order requires a precise formulation of the procedure for integration over supermoduli space. In this paper, we aim as much as possible for an informal explanation, though at some points we provide more detailed explanations that can be omitted on first reading.

preprint2016arXiv

Notes On Supermanifolds and Integration

These are notes on the theory of supermanifolds and integration on them, aiming to collect results that are useful for a better understanding of superstring perturbation theory in the RNS formalism.

preprint2016arXiv

The "Parity" Anomaly On An Unorientable Manifold

The "parity" anomaly -- more accurately described as an anomaly in time-reversal or reflection symmetry -- arises in certain theories of fermions coupled to gauge fields and/or gravity in a spacetime of odd dimension. This anomaly has traditionally been studied on orientable manifolds only, but recent developments involving topological superconductors have made it clear that one can get more information by asking what happens on an unorientable manifold. In this paper, we give a full description of the "parity" anomaly for fermions coupled to gauge fields and gravity in $2+1$ dimensions on a possibly unorientable spacetime. We consider an application to topological superconductors and another application to M-theory. The application to topological superconductors involves using knowledge of the "parity" anomaly as an ingredient in constructing gapped boundary states of these systems and in particular in gapping the boundary of a $ν=16$ system in a topologically trivial fashion. The application to M-theory involves showing the consistency of the path integral of an M-theory membrane on a possibly unorientable worldvolume. In the past, this has been done only in the orientable case.

preprint2015arXiv

Algebra of the Infrared: String Field Theoretic Structures in Massive ${\cal N}=(2,2)$ Field Theory In Two Dimensions

We introduce a "web-based formalism" for describing the category of half-supersymmetric boundary conditions in $1+1$ dimensional massive field theories with ${\cal N}=(2,2)$ supersymmetry and unbroken $U(1)_R$ symmetry. We show that the category can be completely constructed from data available in the far infrared, namely, the vacua, the central charges of soliton sectors, and the spaces of soliton states on $\mathbb{R}$, together with certain "interaction and boundary emission amplitudes". These amplitudes are shown to satisfy a system of algebraic constraints related to the theory of $A_\infty$ and $L_\infty$ algebras. The web-based formalism also gives a method of finding the BPS states for the theory on a half-line and on an interval. We investigate half-supersymmetric interfaces between theories and show that they have, in a certain sense, an associative "operator product." We derive a categorification of wall-crossing formulae. The example of Landau-Ginzburg theories is described in depth drawing on ideas from Morse theory, and its interpretation in terms of supersymmetric quantum mechanics. In this context we show that the web-based category is equivalent to a version of the Fukaya-Seidel $A_\infty$-category associated to a holomorphic Lefschetz fibration, and we describe unusual local operators that appear in massive Landau-Ginzburg theories. We indicate potential applications to the theory of surface defects in theories of class S and to the gauge-theoretic approach to knot homology.

preprint2015arXiv

Branes And Supergroups

Extending previous work that involved D3-branes ending on a fivebrane with $θ_{\mathrm{YM}}\not=0$, we consider a similar two-sided problem. This construction, in case the fivebrane is of NS type, is associated to the three-dimensional Chern-Simons theory of a supergroup U$(m|n)$ or OSp$(m|2n)$ rather than an ordinary Lie group as in the one-sided case. By $S$-duality, we deduce a dual magnetic description of the supergroup Chern-Simons theory; a slightly different duality, in the orthosymplectic case, leads to a strong-weak coupling duality between certain supergroup Chern-Simons theories on $\mathbb{R}^3$; and a further $T$-duality leads to a version of Khovanov homology for supergroups. Some cases of these statements are known in the literature. We analyze how these dualities act on line and surface operators.

preprint2015arXiv

Fermion Path Integrals And Topological Phases

Symmetry-protected topological (SPT) phases of matter have been interpreted in terms of anomalies, and it has been expected that a similar picture should hold for SPT phases with fermions. Here, we describe in detail what this picture means for phases of quantum matter that can be understood via band theory and free fermions. The main examples we consider are time-reversal invariant topological insulators and superconductors in 2 or 3 space dimensions. Along the way, we clarify the precise meaning of the statement that in the bulk of a 3d topological insulator, the electromagnetic $θ$-angle is equal to $π$.

preprint2015arXiv

Filling The Gaps With PCO's

Superstring perturbation theory is traditionally carried out by using picture-changing operators (PCO's) to integrate over odd moduli. Naively the PCO's can be inserted anywhere on a string worldsheet, but actually a constraint must be placed on PCO insertions to avoid spurious singularities. Accordingly, it has been long known that the simplest version of the PCO procedure is valid only locally on the moduli space of Riemann surfaces, and that a correct PCO-based algorithm to compute scattering amplitudes must be based on piecing together local descriptions. Recently, "vertical integration" was proposed as a relatively simple method to do this. Here, we spell out in detail what vertical integration means if carried out systematically. This involves a hierarchical procedure with corrections of high order. One might anticipate such a structure from the viewpoint of super Riemann surfaces.

preprint2015arXiv

Some Details On The Gopakumar-Vafa and Ooguri-Vafa Formulas

The Gopakumar-Vafa (GV) formula expresses certain couplings that arise in Type IIA compactification to four dimensions on a Calabi-Yau manifold in terms of a counting of BPS states in M-theory. The couplings in question have applications to topological strings and supersymmetric black holes. In this paper, we reconsider the GV formula, taking a close look at the Schwinger-like computation that was suggested in the original GV work. The goal is to understand the background that must be used in this computation, the role played by the extended supersymmetry of this background, and how the computation gives a holomorphic result though superficially depending only on particle masses. We also examine in a similar way the Ooguri-Vafa (OV) formula, which is an extension of the GV formula to include D4-branes.

preprint2015arXiv

The Super Period Matrix With Ramond Punctures

We generalize the super period matrix of a super Riemann surface to the case that Ramond punctures are present. For a super Riemann surface of genus g with 2r Ramond punctures, we define, modulo certain choices that generalize those in the classical theory (and assuming a certain generic condition is satisfied), a g|r x g|r period matrix that is symmetric in the Z_2-graded sense. As an application, we analyze the genus 2 vacuum amplitude in string theory compactifications to four dimensions that are supersymmetric at tree level. We find an explanation for a result that has been found in orbifold examples in explicit computations by D'Hoker and Phong: with their integration procedure, the genus 2 vacuum amplitude always vanishes "pointwise" after summing over spin structures, and hence is given entirely by a boundary contribution.

preprint2014arXiv

A Note On Einstein, Bergmann, and the Fifth Dimension

This note is devoted to a detail concerning the work of Albert Einstein and Peter Bergmann on unified theories of electromagnetism and gravitation in five dimensions. In their paper of 1938, Einstein and Bergmann were among the first to introduce the modern viewpoint in which a four-dimensional theory that coincides with Einstein-Maxwell theory at long distances is derived from a five-dimensional theory with complete symmetry among all five dimensions. But then they drew back, modifying the theory in a way that spoiled the five-dimensional symmetry and looks contrived to modern readers. Why? According to correspondence of Peter Bergmann with the author, the reason was that the more symmetric version of the theory predicts the existence of a new long range field (a massless scalar field). In 1938, Einstein and Bergmann did not wish to make this prediction. (Based on a lecture at the Einstein Centennial Celebration at the Library of Alexandria, June, 2005.

preprint2014arXiv

Super Atiyah classes and obstructions to splitting of supermoduli space

The first obstruction to splitting a supermanifold S is one of the three components of its super Atiyah class, the two other components being the ordinary Atiyah classes on the reduced space M of the even and odd tangent bundles of S. We evaluate these classes explicitly for the moduli space of super Riemann surfaces ("super moduli space") and its reduced space, the moduli space of spin curves. These classes are interpreted in terms of certain extensions arising from line bundles on the square of the varying (super) Riemann surface. These results are used to give a new proof of the non-projectedness of ${\mathfrak{M}}_{g,1}$, the moduli space of super Riemann surfaces with one puncture.

preprint2014arXiv

Supersymmetry Breaking Effects using the Pure Spinor Formalism of the Superstring

The SO(32) heterotic superstring on a Calabi-Yau manifold can spontaneously break supersymmetry at one-loop order even when it is unbroken at tree-level. It is known that calculating the supersymmetry-breaking effects in this model gives a relatively accessible test case of the subtleties of superstring perturbation theory in the RNS formalism. In the present paper, we calculate the relevant amplitudes in the pure spinor approach to superstring perturbation theory, and show that the regulator used in computing loop amplitudes in the pure spinor formalism leads to subtleties somewhat analogous to the more familiar subtleties of the RNS approach.

preprint2014arXiv

The $α'$ Expansion On A Compact Manifold Of Exceptional Holonomy

In the approximation corresponding to the classical Einstein equations, which is valid at large radius, string theory compactification on a compact manifold $M$ of $G_2$ or $\mathrm{Spin}(7)$ holonomy gives a supersymmetric vacuum in three or two dimensions. Do $α'$ corrections to the Einstein equations disturb this statement? Explicitly analyzing the leading correction, we show that the metric of $M$ can be adjusted to maintain supersymmetry. Beyond leading order, a general argument based on low energy effective field theory in spacetime implies that this is true exactly (not just to all finite orders in $α'$). A more elaborate field theory argument that includes the massive Kaluza-Klein modes matches the structure found in explicit calculations. In M-theory compactification on a manifold $M$ of $G_2$ or Spin(7) holonomy, similar results hold to all orders in the inverse radius of $M$ -- but not exactly. The classical moduli space of $G_2$ metrics on a manifold $M$ is known to be locally a Lagrangian submanifold of $H^3(M,{\mathbf R})\oplus H^4(M,\mathbf{R})$. We show that this remains valid to all orders in the $α'$ or inverse radius expansion.

preprint2014arXiv

Two Lectures On The Jones Polynomial And Khovanov Homology

In the first of these two lectures, I describe a gauge theory approach to understanding quantum knot invariants as Laurent polynomials in a complex variable q. The two main steps are to reinterpret three-dimensional Chern-Simons gauge theory in four dimensional terms and then to apply electric-magnetic duality. The variable q is associated to instanton number in the dual description in four dimensions. In the second lecture, I describe how Khovanov homology can emerge upon adding a fifth dimension. (Based on lectures presented at the Clay Research Conference at Oxford University, and also at the Galileo Galilei Institute in Florence, the University of Milan, Harvard University, and the University of Pennsylvania.)

preprint2013arXiv

Notes On Holomorphic String And Superstring Theory Measures Of Low Genus

It has long been known that in principle, the genus g vacuum amplitude for bosonic strings or superstrings in 26 or 10 dimensions can be entirely determined from conditions of holomorphy. Moreover, this has been done in practice for bosonic strings of low genus. Here we describe in a unified way how to determine the bosonic string and superstring vacuum amplitude in genus 1 and 2 via holomorphy. The main novelty is the superstring analysis in genus 2, where we use holomorphy to get a new understanding of some of the results that previously have been obtained by more explicit calculations.

preprint2013arXiv

The Feynman $i ε$ in String Theory

The Feynman $i\varepsilon$ is an important ingredient in defining perturbative scattering amplitudes in field theory. Here we describe its analog in string theory. Roughly one takes the string worldsheet to have Lorentz signature when a string is going on-shell although it has Euclidean signature generically.

preprint2013arXiv

The Nahm Pole Boundary Condition

The Nahm pole boundary condition for certain gauge theory equations in four and five dimensions is defined by requiring that a solution should have a specified singularity along the boundary. In the present paper, we show that this boundary condition is elliptic and has regularity properties analogous to more standard elliptic boundary conditions. We also establish a uniqueness theorem for the solution of the relevant equations on a half-space with Nahm pole boundary conditions. These results are expected to have a generalization involving knots, with applications to the Jones polynomial and Khovanov homology.

preprint2012arXiv

Axion topological field theory of topological superconductors

Topological superconductors are gapped superconductors with gapless and topologically robust quasiparticles propagating on the boundary. In this paper, we present a topological field theory description of three-dimensional time-reversal invariant topological superconductors. In our theory the topological superconductor is characterized by a topological coupling between the electromagnetic field and the superconducting phase fluctuation, which has the same form as the coupling of "axions" with an Abelian gauge field. As a physical consequence of our theory, we predict the level crossing induced by the crossing of special "chiral" vortex lines, which can be realized by considering s-wave superconductors in proximity with the topological superconductor. Our theory can also be generalized to the coupling with a gravitational field.

preprint2012arXiv

Khovanov Homology And Gauge Theory

In these notes, I will sketch a new approach to Khovanov homology of knots and links based on counting the solutions of certain elliptic partial differential equations in four and five dimensions. The equations are formulated on four and five-dimensional manifolds with boundary, with a rather subtle boundary condition that encodes the knots and links. The construction is formally analogous to Floer and Donaldson theory in three and four dimensions. It was discovered using quantum field theory arguments but can be described and understood purely in terms of classical gauge theory. (Based on a lecture at the conference Low-Dimensional Manifolds and High-Dimensional Categories, University of California at Berkeley, June 2011).

preprint2011arXiv

Fivebranes and Knots

We develop an approach to Khovanov homology of knots via gauge theory (previous physics-based approches involved other descriptions of the relevant spaces of BPS states). The starting point is a system of D3-branes ending on an NS5-brane with a nonzero theta-angle. On the one hand, this system can be related to a Chern-Simons gauge theory on the boundary of the D3-brane worldvolume; on the other hand, it can be studied by standard techniques of $S$-duality and $T$-duality. Combining the two approaches leads to a new and manifestly invariant description of the Jones polynomial of knots, and its generalizations, and to a manifestly invariant description of Khovanov homology, in terms of certain elliptic partial differential equations in four and five dimensions.

preprint2011arXiv

Knot Invariants from Four-Dimensional Gauge Theory

It has been argued based on electric-magnetic duality and other ingredients that the Jones polynomial of a knot in three dimensions can be computed by counting the solutions of certain gauge theory equations in four dimensions. Here, we attempt to verify this directly by analyzing the equations and counting their solutions, without reference to any quantum dualities. After suitably perturbing the equations to make their behavior more generic, we are able to get a fairly clear understanding of how the Jones polynomial emerges. The main ingredient in the argument is a link between the four-dimensional gauge theory equations in question and conformal blocks for degenerate representations of the Virasoro algebra in two dimensions. Along the way we get a better understanding of how our subject is related to a variety of new and old topics in mathematical physics, ranging from the Bethe ansatz for the Gaudin spin chain to the $M$-theory description of BPS monopoles and the relation between Chern-Simons gauge theory and Virasoro conformal blocks.

preprint2010arXiv

A New Look At The Path Integral Of Quantum Mechanics

The Feynman path integral of ordinary quantum mechanics is complexified and it is shown that possible integration cycles for this complexified integral are associated with branes in a two-dimensional A-model. This provides a fairly direct explanation of the relationship of the A-model to quantum mechanics; such a relationship has been explored from several points of view in the last few years. These phenomena have an analog for Chern-Simons gauge theory in three dimensions: integration cycles in the path integral of this theory can be derived from N=4 super Yang-Mills theory in four dimensions. Hence, under certain conditions, a Chern-Simons path integral in three dimensions is equivalent to an N=4 path integral in four dimensions.

preprint2010arXiv

An Algebraic Construction of Boundary Quantum Field Theory

We build up local, time translation covariant Boundary Quantum Field Theory nets of von Neumann algebras A_V on the Minkowski half-plane M_+ starting with a local conformal net A of von Neumann algebras on the real line and an element V of a unitary semigroup E(A) associated with A. The case V=1 reduces to the net A_+ considered by Rehren and one of the authors; if the vacuum character of A is summable A_V is locally isomorphic to A_+. We discuss the structure of the semigroup E(A). By using a one-particle version of Borchers theorem and standard subspace analysis, we provide an abstract analog of the Beurling-Lax theorem that allows us to describe, in particular, all unitaries on the one-particle Hilbert space whose second quantization promotion belongs to of E(A^(0)) with A^(0) the U(1)-current net. Each such unitary is attached to a scattering function or, more generally, to a symmetric inner function. We then obtain families of models via any Buchholz-Mach-Todorov extension of A^(0). A further family of models comes from the Ising model.

preprint2010arXiv

Analytic Continuation Of Chern-Simons Theory

The title of this article refers to analytic continuation of three-dimensional Chern-Simons gauge theory away from integer values of the usual coupling parameter k, to explore questions such as the volume conjecture, or analytic continuation of three-dimensional quantum gravity (to the extent that it can be described by gauge theory) from Lorentzian to Euclidean signature. Such analytic continuation can be carried out by rotating the integration cycle of the Feynman path integral. Morse theory or Picard-Lefschetz theory gives a natural framework for describing the appropriate integration cycles. An important part of the analysis involves flow equations that turn out to have a surprising four-dimensional symmetry. After developing a general framework, we describe some specific examples (involving the trefoil and figure-eight knots in S^3). We also find that the space of possible integration cycles for Chern-Simons theory can be interpreted as the "physical Hilbert space" of a twisted version of N=4 super Yang-Mills theory in four dimensions.

preprint2010arXiv

The Omega Deformation, Branes, Integrability, and Liouville Theory

We reformulate the Omega-deformation of four-dimensional gauge theory in a way that is valid away from fixed points of the associated group action. We use this reformulation together with the theory of coisotropic A-branes to explain recent results linking the Omega-deformation to integrable Hamiltonian systems in one direction and Liouville theory of two-dimensional conformal field theory in another direction.

preprint2009arXiv

Branes, Instantons, And Taub-NUT Spaces

ALE and Taub-NUT (or ALF) hyper-Kahler four-manifolds can be naturally constructed as hyper-Kahler quotients. In the ALE case, this construction has long been understood in terms of D-branes; here we give a D-brane derivation in the Taub-NUT case. Likewise, instantons on ALE spaces and on Taub-NUT spaces have ADHM-like constructions related to hyper-Kahler quotients. Here we refine the analysis in the Taub-NUT case by making use of a D-brane probe, and give an application to M-theory.

preprint2008arXiv

Branes and Quantization

The problem of quantizing a symplectic manifold (M,ω) can be formulated in terms of the A-model of a complexification of M. This leads to an interesting new perspective on quantization. From this point of view, the Hilbert space obtained by quantization of (M,ω) is the space of (Bcc,B') strings, where Bcc and B' are two A-branes; B' is an ordinary Lagrangian A-brane, and Bcc is a space-filling coisotropic A-brane. B' is supported on M, and the choice of ωis encoded in the choice of Bcc. As an example, we describe from this point of view the representations of the group SL(2,R). Another application is to Chern-Simons gauge theory.

preprint2008arXiv

Janus Configurations, Chern-Simons Couplings, And The Theta-Angle in N=4 Super Yang-Mills Theory

We generalize the half-BPS Janus configuration of four-dimensional N=4 super Yang-Mills theory to allow the theta-angle, as well as the gauge coupling, to vary with position. We show that the existence of this generalization is closely related to the existence of novel three-dimensional Chern-Simons theories with N=4 supersymmetry. Another closely related problem, which we also elucidate, is the D3-NS5 system in the presence of a four-dimensional theta-angle.

preprint2008arXiv

Mirror Symmetry, Hitchin's Equations, And Langlands Duality

Geometric Langlands duality can be understood from statements of mirror symmetry that can be formulated in purely topological terms for an oriented two-manifold $C$. But understanding these statements is extremely difficult without picking a complex structure on $C$ and using Hitchin's equations. We sketch the essential statements both for the ``unramified'' case that $C$ is a compact oriented two-manifold without boundary, and the ``ramified'' case that one allows punctures. We also give a few indications of why a more precise description requires a starting point in four-dimensional gauge theory.

preprint2008arXiv

S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory

By analyzing brane configurations in detail, and extracting general lessons, we develop methods for analyzing S-duality of supersymmetric boundary conditions in N=4 super Yang-Mills theory. In the process, we find that S-duality of boundary conditions is closely related to mirror symmetry of three-dimensional gauge theories, and we analyze the IR behavior of large classes of quiver gauge theories.

preprint2007arXiv

Quantum Gravity Partition Functions in Three Dimensions

We consider pure three-dimensional quantum gravity with a negative cosmological constant. The sum of known contributions to the partition function from classical geometries can be computed exactly, including quantum corrections. However, the result is not physically sensible, and if the model does exist, there are some additional contributions. One possibility is that the theory may have long strings and a continuous spectrum. Another possibility is that complex geometries need to be included, possibly leading to a holomorphically factorized partition function. We analyze the subleading corrections to the Bekenstein-Hawking entropy and show that these can be correctly reproduced in such a holomorphically factorized theory. We also consider the Hawking-Page phase transition between a thermal gas and a black hole and show that it is a phase transition of Lee-Yang type, associated with a condensation of zeros in the complex temperature plane. Finally, we analyze pure three-dimensional supergravity, with similar results.

preprint2006arXiv

Axions In String Theory

In the context of string theory, axions appear to provide the most plausible solution of the strong CP problem. However, as has been known for a long time, in many string-based models, the axion coupling parameter F_a is several orders of magnitude higher than the standard cosmological bounds. We re-examine this problem in a variety of models, showing that F_a is close to the GUT scale or above in many models that have GUT-like phenomenology, as well as some that do not. On the other hand, in some models with Standard Model gauge fields supported on vanishing cycles, it is possible for F_a to be well below the GUT scale.

preprint2006arXiv

New Instanton Effects in String Theory

We describe a new class of instanton effects in string compactifications that preserve only N=1 supersymmetry in four dimensions. As is well-known, worldsheet or brane instantons in such a background can sometimes contribute to an effective superpotential for the moduli of the compactification. We generalize this phenomenon by showing that such instantons can also contribute to new multi-fermion and higher-derivative F-terms in the low-energy effective action. We consider in most detail the example of heterotic compactification on a Calabi-Yau threefold X with gauge bundle V, in which case we study worldsheet instanton effects that deform the complex structure of the moduli space associated to X and V. We also give new, slightly more economical derivations of some previous results about worldsheet instantons in Type IIA Calabi-Yau compactifications.

preprint2005arXiv

Direct Proof Of Tree-Level Recursion Relation In Yang-Mills Theory

Recently, by using the known structure of one-loop scattering amplitudes for gluons in Yang-Mills theory, a recursion relation for tree-level scattering amplitudes has been deduced. Here, we give a short and direct proof of this recursion relation based on properties of tree-level amplitudes only.

preprint2005arXiv

Non-Abelian Localization For Chern-Simons Theory

We reconsider Chern-Simons gauge theory on a Seifert manifold M (the total space of a nontrivial circle bundle over a Riemann surface). When M is a Seifert manifold, Lawrence and Rozansky have shown from the exact solution of Chern-Simons theory that the partition function has a remarkably simple structure and can be rewritten entirely as a sum of local contributions from the flat connections on M. We explain how this empirical fact follows from the technique of non-abelian localization as applied to the Chern-Simons path integral. In the process, we show that the partition function of Chern-Simons theory on M admits a topological interpretation in terms of the equivariant cohomology of the moduli space of flat connections on M.

preprint2005arXiv

The Hitchin functionals and the topological B-model at one loop

The quantization in quadratic order of the Hitchin functional, which defines by critical points a Calabi-Yau structure on a six-dimensional manifold, is performed. The conjectured relation between the topological B-model and the Hitchin functional is studied at one loop. It is found that the genus one free energy of the topological B-model disagrees with the one-loop free energy of the minimal Hitchin functional. However, the topological B-model does agree at one-loop order with the extended Hitchin functional, which also defines by critical points a generalized Calabi-Yau structure. The dependence of the one-loop result on a background metric is studied, and a gravitational anomaly is found for both the B-model and the extended Hitchin model. The anomaly reduces to a volume-dependent factor if one computes for only Ricci-flat Kahler metrics.

preprint2004arXiv

Conformal Supergravity in Twistor-String Theory

Conformal supergravity arises in presently known formulations of twistor-string theory either via closed strings or via gauge-singlet open strings. We explore this sector of twistor-string theory, relating the relevant string modes to the particles and fields of conformal supergravity. We also use the twistor-string theory to compute some tree level scattering amplitudes with supergravitons, and compare to expectations from conformal supergravity. Since the supergravitons interact with the same coupling constant as the Yang-Mills fields, conformal supergravity states will contribute to loop amplitudes of Yang-Mills gluons in these theories. Those loop amplitudes will therefore not coincide with the loop amplitudes of pure super Yang-Mills theory.

preprint2004arXiv

E8 Gauge Theory, and a Derivation of K-Theory from M-Theory

The partition function of Ramond-Ramond p-form fields in Type IIA supergravity on a ten-manifold X contains subtle phase factors that are associated with T-duality, self-duality, and the relation of the RR fields to K-theory. The analogous partition function of M-theory on X x S1 contains subtle phases that are similarly associated with E8 gauge theory. We analyze the detailed phase factors on the two sides and show that they agree, thereby testing M-theory/Type IIA duality as well as the K-theory formalism in an interesting way. We also show that certain D-brane states wrapped on nontrivial homology cycles are actually unstable, that (-1)^{F_L} symmetry in Type IIA superstring theory depends in general on a cancellation between a fermion anomaly and an anomaly of RR fields, and that Type IIA superstring theory with no wrapped branes is well-defined only on a spacetime with W_7=0.

preprint2004arXiv

Gauge Theory Amplitudes In Twistor Space And Holomorphic Anomaly

We show that, in analyzing differential equations obeyed by one-loop gauge theory amplitudes, one must take into account a certain holomorphic anomaly. When this is done, the results are consistent with the simplest twistor-space picture of the available one-loop amplitudes.

preprint2004arXiv

MHV Vertices And Tree Amplitudes In Gauge Theory

As an alternative to the usual Feynman graphs, tree amplitudes in Yang-Mills theory can be constructed from tree graphs in which the vertices are tree level MHV scattering amplitudes, continued off shell in a particular fashion. The formalism leads to new and relatively simple formulas for many amplitudes, and can be heuristically derived from twistor space.

preprint2004arXiv

New Instanton Effects In Supersymmetric QCD

In supersymmetric QCD with SU(N_c) gauge group and N_f flavors, it is known that instantons generate a superpotential if N_f=N_c-1 and deform the moduli space of vacua if N_f=N_c. But the role of instantons has been unclear for N_f>N_c. In this paper, we demonstrate that for N_f>N_c, on the moduli space of vacua, instantons generate a more subtle chiral operator containing (for example) non-derivative interactions of 2(N_f-N_c)+4 fermions. Upon giving masses to some flavors, one can integrate out some fermions and recover the standard results for N_f=N_c and N_f=N_c-1. For N_f=N_c, our analysis gives, in a sense, a more systematic way to demonstrate that instantons deform the complex structure of the moduli space of vacua.

preprint2004arXiv

Parity Invariance For Strings In Twistor Space

Topological string theory with twistor space as the target makes visible some otherwise difficult to see properties of perturbative Yang-Mills theory. But left-right symmetry, which is obvious in the standard formalism, is highly unclear from this point of view. Here we prove that tree diagrams computed from connected $D$-instanton configurations are parity-symmetric. The main point in the proof also works for loop diagrams.

preprint2004arXiv

Perturbative Gauge Theory As A String Theory In Twistor Space

Perturbative scattering amplitudes in Yang-Mills theory have many unexpected properties, such as holomorphy of the maximally helicity violating amplitudes. To interpret these results, we Fourier transform the scattering amplitudes from momentum space to twistor space, and argue that the transformed amplitudes are supported on certain holomorphic curves. This in turn is apparently a consequence of an equivalence between the perturbative expansion of ${\cal N}=4$ super Yang-Mills theory and the $D$-instanton expansion of a certain string theory, namely the topological $B$ model whose target space is the Calabi-Yau supermanifold $\Bbb{CP}^{3|4}$.

preprint2004arXiv

Twistor Space Structure Of One-Loop Amplitudes In Gauge Theory

We analyze the twistor space structure of certain one-loop amplitudes in gauge theory. For some amplitudes, we find decompositions that make the twistor structure manifest; for others, we explore the twistor space structure by finding differential equations that the amplitudes obey.

preprint2004arXiv

Unification Scale, Proton Decay, And Manifolds Of G_2 Holonomy

Models of particle physics based on manifolds of $G_2$ holonomy are in most respects much more complicated than other string-derived models, but as we show here they do have one simplification: threshold corrections to grand unification are particularly simple. We compute these corrections, getting completely explicit results in some simple cases. We estimate the relation between Newton's constant, the GUT scale, and the value of $α_{GUT}$, and explore the implications for proton decay. In the case of proton decay, there is an interesting mechanism which (relative to four-dimensional SUSY GUT's) enhances the gauge boson contribution to $p\toπ^0e^+_L$ compared to other modes such as $p\to π^0e^+_R$ or $p\to π^+\barν_R$. Because of numerical uncertainties, we do not know whether to intepret this as an enhancement of the $p\to π^0e^+_L$ mode or a suppression of the others.

preprint2003arXiv

A Relation Between Approaches to Integrability in Superconformal Yang-Mills Theory

We make contact between the infinite-dimensional non-local symmetry of the typeIIB superstring on AdS5xS5 worldsheet theory and a non-abelian infinite-dimensional symmetry algebra for the weakly coupled superconformal gauge theory. We explain why the planar limit of the one-loop dilatation operator is the Hamiltonian of a spin chain, and show that it commutes with the g*2 N = 0 limit of the non-abelian charges.

preprint2003arXiv

Chern-Simons Gauge Theory As A String Theory

Certain two dimensional topological field theories can be interpreted as string theory backgrounds in which the usual decoupling of ghosts and matter does not hold. Like ordinary string models, these can sometimes be given space-time interpretations. For instance, three-dimensional Chern-Simons gauge theory can arise as a string theory. The world-sheet model in this case involves a topological sigma model. Instanton contributions to the sigma model give rise to Wilson line insertions in the space-time Chern-Simons theory. A certain holomorphic analog of Chern-Simons theory can also arise as a string theory.

preprint2003arXiv

Chiral Rings and Phases of Supersymmetric Gauge Theories

We solve for the expectation values of chiral operators in supersymmetric U(N) gauge theories with matter in the adjoint, fundamental and anti-fundamental representations. A simple geometric picture emerges involving a description by a meromorphic one-form on a Riemann surface. The equations of motion are equivalent to a condition on the integrality of periods of this form. The solution indicates that all semiclassical phases with the same number of U(1) factors are continuously connected.

preprint2003arXiv

Phases of N=1 Supersymmetric Gauge Theories and Matrices

N=1 supersymmetric U(N) gauge theory with adjoint matter $Φ$ and a polynomial superpotential $\Tr W(Φ)$ has been much studied recently. The classical theory has several vacua labeled by integers $(N_1,N_2,...,N_k)$, with the classical unbroken gauge group $\prod_i U(N_i)$. Quantum mechanically, each classical vacuum leads to $\prod_i N_i$ different vacua. As the parameters of $W(Φ)$ are varied, these vacua change in a continuous (and holomorphic) fashion. We find that vacua associated with $(N_1,N_2,...,N_k)$ can be continuously transformed to vacua with $(\tilde N_1,\tilde N_2,...,\tilde N_k)$, thus leading to a new kind of duality. Traditional order parameters, like the Wilson loop and 't Hooft loop, sometimes distinguish different phases. We also find phases that are not distinguished by conventional order parameters. The whole picture of the phase diagram is reminiscent of the phase diagram of $M$-theory.

preprint2003arXiv

Proton Decay in Intersecting D-brane Models

We analyze proton decay via dimension six operators in certain GUT-like models derived from Type IIA orientifolds with $D6$-branes. The amplitude is parametrically enhanced by a factor of $α_{GUT}^{-1/3}$ relative to the coresponding result in four-dimensional GUT's. Nonetheless, even assuming a plausible enhancement from the threshold corrections, we find little overall enhancement of the proton decay rate from dimension six operators, so that the predicted lifetime from this mechanism remains close to $10^{36}$ years.

preprint2003arXiv

Residues and World-Sheet Instantons

We reconsider the question of which Calabi-Yau compactifications of the heterotic string are stable under world-sheet instanton corrections to the effective space-time superpotential. For instance, compactifications described by (0,2) linear sigma models are believed to be stable, suggesting a remarkable cancellation among the instanton effects in these theories. Here, we show that this cancellation follows directly from a residue theorem, whose proof relies only upon the right-moving world-sheet supersymmetries and suitable compactness properties of the (0,2) linear sigma model. Our residue theorem also extends to a new class of "half-linear" sigma models. Using these half-linear models, we show that heterotic compactifications on the quintic hypersurface in CP^4 for which the gauge bundle pulls back from a bundle on CP^4 are stable. Finally, we apply similar ideas to compute the superpotential contributions from families of membrane instantons in M-theory compactifications on manifolds of G_2 holonomy.

preprint2002arXiv

A Gravity Dual of the Chiral Anomaly

We study effects associated with the chiral anomaly for a cascading $SU(N+M)\times SU(N)$ gauge theory using gauge/gravity duality. In the gravity dual the anomaly is a classical feature of the supergravity solution, and the breaking of the U(1) R-symmetry down to ${\bf Z}_{2M}$ proceeds via the Higgs mechanism.

preprint2002arXiv

A Note on Fluxes and Superpotentials in M-theory Compactifications on Manifolds of G_2 Holonomy

We consider the breaking of N=1 supersymmetry by non-zero G-flux when M-theory is compactified on a smooth manifold X of G_2 holonomy. Gukov has proposed a superpotential W to describe this breaking in the low-energy effective theory. We check this proposal by comparing the bosonic potential implied by W with the corresponding potential deduced from the eleven-dimensional supergravity action. One interesting aspect of this check is that, though W depends explicitly only on G-flux supported on X, W also describes the breaking of supersymmetry by G-flux transverse to X.

preprint2002arXiv

BPS Bound States Of D0-D6 And D0-D8 Systems In A B-Field

The D0-D6 system, which is not supersymmetric in the absence of a Neveu-Schwarz B-field, becomes supersymmetric if a suitable constant B-field is turned on. On one side of the supersymmetric locus, this system has a BPS bound state, and on the other side it does not. After compactification on T^6, this gives a simple example in which the number of 1/8 BPS states jumps as the moduli of the compactification are changed. The D0-D8 system in a B-field has two different supersymmetric loci, only one of which is continuously connected to the familiar supersymmetric D0-D8 system without a B-field. In a certain range, the D0-D8 system also has a BPS bound state. In the limit in which the B-field goes to infinity, supersymmetric D0-D6 and D0-D8 systems and their bound states can be studied using noncommutative Yang-Mills theory.

preprint2002arXiv

Chiral Rings and Anomalies in Supersymmetric Gauge Theory

Motivated by recent work of Dijkgraaf and Vafa, we study anomalies and the chiral ring structure in a supersymmetric U(N) gauge theory with an adjoint chiral superfield and an arbitrary superpotential. A certain generalization of the Konishi anomaly leads to an equation which is identical to the loop equation of a bosonic matrix model. This allows us to solve for the expectation values of the chiral operators as functions of a finite number of ``integration constants.'' From this, we can derive the Dijkgraaf-Vafa relation of the effective superpotential to a matrix model. Some of our results are applicable to more general theories. For example, we determine the classical relations and quantum deformations of the chiral ring of $\N=1$ super Yang-Mills theory with SU(N) gauge group, showing, as one consequence, that all supersymmetric vacua of this theory have a nonzero chiral condensate.

preprint2002arXiv

M-Theory Dynamics On A Manifold Of G_2 Holonomy

We analyze the dynamics of M-theory on a manifold of G_2 holonomy that is developing a conical singularity. The known cases involve a cone on CP^3, where we argue that the dynamics involves restoration of a global symmetry, SU(3)/U(1)^2, where we argue that there are phase transitions among three possible branches corresponding to three classical spacetimes, and S^3 x S^3 and its quotients, where we recover and extend previous results about smooth continuations between different spacetimes and relations to four-dimensional gauge theory.

preprint2001arXiv

Anomaly Analysis of Brane-Antibrane Systems

String theories with branes can often be generalized by adding brane-antibrane pairs. We explore the cancellation of anomalies in this more general context, extending the familiar anomaly-cancelling mechanisms, both for ten-dimensional string theories with D-branes and for certain supersymmetric compactifications.

preprint2001arXiv

Conformal Operators for Partially Massless States

The AdS/CFT correspondence is explored for ``partially massless'' fields in AdS space (which have fewer helicity states than a massive field but more than a conventional massless field). Such fields correspond in the boundary conformal field theory to fields obeying a certain conformally-invariant differential equation that has been described by Eastwood et al. The first descendant of such a field is a conformal field of negative norm. Hence, partially massless fields may make more physical sense in de Sitter as opposed to Anti de Sitter space.

preprint2000arXiv

Anomalies in String Theory with D-Branes

We analyze global anomalies for elementary Type II strings in the presence of D-branes. Global anomaly cancellation gives a restriction on the D-brane topology. This restriction makes possible the interpretation of D-brane charge as an element of K-theory.

preprint2000arXiv

Lepton Number And Neutrino Masses

I briefly review the arguments which in the 1970's convinced many theoretical physicists to anticipate lepton number violation, and to guess a range of neutrino masses.

preprint2000arXiv

Overview Of K-Theory Applied To Strings

K-theory provides a framework for classifying Ramond-Ramond (RR) charges and fields. K-theory of manifolds has a natural extension to K-theory of noncommutative algebras, such as the algebra considered in noncommutative Yang-Mills theory or in open string field theory. In a number of concrete problems, the K-theory analysis proceeds most naturally if one starts out with an infinite set of D-branes, reduced by tachyon condensation to a finite set. This suggests that string field theory should be reconsidered for N=infinity.

preprint2000arXiv

Supersymmetric Index In Four-Dimensional Gauge Theories

This paper is devoted to a systematic discussion of the supersymmetric index Tr (-1)^F for the minimal supersymmetric Yang-Mills theory -- with any simple gauge group G -- primarily in four spacetime dimensions. The index has refinements that probe confinement and oblique confinement and the possible spontaneous breaking of chiral symmetry and of global symmetries, such as charge conjugation, that are derived from outer automorphisms of the gauge group. Predictions for the index and its refinements are obtained on the basis of standard hypotheses about the infrared behavior of gauge theories. The predictions are confirmed via microscopic calculations which involve a Born-Oppenheimer computation of the spectrum as well as mathematical formulas involving triples of commuting elements of G and the Chern-Simons invariants of flat bundles on the three-torus.

preprint2000arXiv

The Hagedorn transition in non-commutative open string theory

The Hagedorn transition in non-commutative open string theory (NCOS) is relatively simple because gravity decouples. For NCOS theories in no more than five spacetime dimensions, the Hagedorn transition is second order, and the high temperature phase involves long, nearly straight fundamental strings separating from the D-brane on which the NCOS theory is defined. Above five spacetime dimensions interaction effects become important below the Hagedorn temperature. Although this complicates studies of the transition, we believe that the high temperature phase again involves long strings liberated from the bound state.

preprint2000arXiv

Two Two-Dimensional Supergravity Theories from Calabi-Yau Four-Folds

We consider two-dimensional supergravity theories with four supercharges constructed from compactification of Type II string theory on a generic Calabi-Yau four-fold. In Type IIA and Type IIB cases, respectively, new superspace formulations of N=(2,2) and N=(0,4) dilaton supergravities are found and their coupling to matter multiplets is discussed.

preprint1999arXiv

AdS/CFT Correspondence and Symmetry Breaking

We study, using the dual AdS description, the vacua of field theories where some of the gauge symmetry is broken by expectation values of scalar fields. In such vacua, operators built out of the scalar fields acquire expectation values, and we show how to calculate them from the behavior of perturbations to the AdS background near the boundary. Specific examples include the ${\cal N}=4$ SYM theory, and theories on D3 branes placed on orbifolds and conifolds. We also clarify some subtleties of the AdS/CFT correspondence that arise in this analysis. In particular, we explain how scalar fields in AdS space of sufficiently negative mass-squared can be associated with CFT operators of {\it two} possible dimensions. All dimensions are bounded from below by $(d-2)/2$; this is the unitarity bound for scalar operators in $d$-dimensional field theory. We further argue that the generating functional for correlators in the theory with one choice of operator dimension is a Legendre transform of the generating functional in the theory with the other choice.

preprint1999arXiv

AdS/CFT Correspondence And Topological Field Theory

In ${\cal N}=4$ super Yang-Mills theory on a four-manifold $M$, one can specify a discrete magnetic flux valued in $H^2(M,\Z_N)$. This flux is encoded in the AdS/CFT correspondence in terms of a five-dimensional topological field theory with Chern-Simons action. A similar topological field theory in seven dimensions governs the space of ``conformal blocks'' of the six-dimensional $(0,2)$ conformal field theory.

preprint1999arXiv

Conformal Anomaly Of Submanifold Observables In AdS/CFT Correspondence

We analyze the conformal invariance of submanifold observables associated with $k$-branes in the AdS/CFT correspondence. For odd $k$, the resulting observables are conformally invariant, and for even $k$, they transform with a conformal anomaly that is given by a local expression which we analyze in detail for $k=2$

preprint1999arXiv

Connectedness Of The Boundary In The AdS/CFT Correspondence

Let $M$ be a complete Einstein manifold of negative curvature, and assume that (as in the AdS/CFT correspondence) it has a Penrose compactification with a conformal boundary $N$ of positive scalar curvature. We show that under these conditions, $H_n(M;Z)=0$ and in particular $N$ must be connected. These results resolve some puzzles concerning the AdS/CFT correspondence.

preprint1999arXiv

Criteria for Conformal Invariance of (0,2) Models

It is argued that many linear (0,2) models flow in the infrared to conformally invariant solutions of string theory. The strategy in the argument is to show that the effective space-time superpotential must vanish because there is no place where it can have a pole. This conclusion comes from either of two different analyses, in which the Kahler class or the complex structure of the gauge bundle is varied, while keeping everything else fixed. In the former case, we recover from the linear sigma model the usual simple pole in the ${\bf \bar {27}}^3$ Yukawa coupling but show that an analogous pole does not arise in the couplings of gauge singlet modes. In the latter case, a dimension count shows that the world-sheet instanton sum does not ``see'' the singularities of the gauge bundle and hence cannot have a pole.

preprint1999arXiv

Duality Relations Among Topological Effects In String Theory

We explore two different problems in string theory in which duality relates an ordinary p-form in one theory to a self-dual (p+1)-form in another theory. One problem involves comparing D4-branes to M5-branes, and the other involves comparing the Ramond-Ramond forms in Type IIA and Type IIB superstring theory. In each case, a subtle topological effect involving the p-form can be recovered from a careful analysis of the quantum mechanics of the self-dual (p+1)-form.

preprint1999arXiv

Heterotic String Conformal Field Theory And A-D-E Singularities

We analyze the behavior of the heterotic string near an A-D-E singularity without small instantons. This problem is governed by a strongly coupled worldsheet conformal field theory, which, by a combination of O(alpha') corrections and worldsheet instantons, smooths out the singularities present in the classical geometry.

preprint1999arXiv

Self-Duality, Ramond-Ramond Fields, and K-Theory

Just as D-brane charge of Type IIA and Type IIB superstrings is classified, respectively, by K^1(X) and K(X), Ramond-Ramond fields in these theories are classified, respectively, by K(X) and K^1(X). By analyzing a recent proposal for how to interpret quantum self-duality of RR fields, we show that the Dirac quantization formula for the RR p-forms, when properly formulated, receives corrections that reflect curvature, lower brane charges, and an anomaly of D-brane world-volume fermions. The K-theory framework is important here, because the term involving the fermion anomaly cannot be naturally expressed in terms of cohomology and differential forms.

preprint1999arXiv

String Theory and Noncommutative Geometry

We extend earlier ideas about the appearance of noncommutative geometry in string theory with a nonzero B-field. We identify a limit in which the entire string dynamics is described by a minimally coupled (supersymmetric) gauge theory on a noncommutative space, and discuss the corrections away from this limit. Our analysis leads us to an equivalence between ordinary gauge fields and noncommutative gauge fields, which is realized by a change of variables that can be described explicitly. This change of variables is checked by comparing the ordinary Dirac-Born-Infeld theory with its noncommutative counterpart. We obtain a new perspective on noncommutative gauge theory on a torus, its T-duality, and Morita equivalence. We also discuss the D0/D4 system, the relation to M-theory in DLCQ, and a possible noncommutative version of the six-dimensional (2,0) theory.

preprint1999arXiv

Supersymmetric Index Of Three-Dimensional Gauge Theory

In N=1 super Yang-Mills theory in three spacetime dimensions, with a simple gauge group $G$ and a Chern-Simons interaction of level $k$, the supersymmetric index $\Tr (-1)^F$ can be computed by making a relation to a pure Chern-Simons theory or microscopically by an explicit Born-Oppenheimer calculation on a two-torus. The result shows that supersymmetry is unbroken if $|k|\geq h/2$ (with $h$ the dual Coxeter number of $G$) and suggests that dynamical supersymmetry breaking occurs for $|k|<h/2$. The theories with large $|k|$ are massive gauge theories whose universality class is not fully described by the standard criteria.

preprint1999arXiv

The D1/D5 System And Singular CFT

We study the conformal field theory of the D1/D5 system compactified on X (X is T^4 or K3). It is described by a sigma model whose target space is the moduli space of instantons on X. For values of the parameters where the branes can separate, the spectrum of dimensions in the conformal field theory exhibits a continuum above a gap. This continuum leads to a pathology of the conformal field theory, which explains a variety of problems in various systems. In particular, we explain the apparent discrepancy between different methods of finding the spectrum of chiral fields at certain points in the moduli space of the system.

preprint1999arXiv

Vertex Operators for AdS3 Background With Ramond Ramond Flux

In order to study vertex operators for the Type IIB superstring on AdS space, we derive supersymmetric constraint equations for the vertex operators in AdS3xS3 backgrounds with Ramond-Ramond flux, using Berkovits-Vafa-Witten variables. These constraints are solved to compute the vertex operators and show that they satisfy the linearized D=6, N=(2,0) equations of motion for a supergravity and tensor multiplet expanded around the AdS3xS3 spacetime.

preprint1999arXiv

World-Sheet Corrections Via D-Instantons

We use a D-instanton or physical gauge approach to re-derive the heterotic string worldsheet instanton contribution to the superpotential in Calabi-Yau compactification. We derive an analogous formula for worldsheet instanton corrections to the moduli space metric in heterotic string or Type I compactification on a K3 surface. In addition, we give a global analysis of the phase of the worldsheet path integral of the heterotic string, showing precisely how the B-field must be interpreted.

preprint1998arXiv

Anti De Sitter Space And Holography

Recently, it has been proposed by Maldacena that large $N$ limits of certain conformal field theories in $d$ dimensions can be described in terms of supergravity (and string theory) on the product of $d+1$-dimensional $AdS$ space with a compact manifold. Here we elaborate on this idea and propose a precise correspondence between conformal field theory observables and those of supergravity: correlation functions in conformal field theory are given by the dependence of the supergravity action on the asymptotic behavior at infinity. In particular, dimensions of operators in conformal field theory are given by masses of particles in supergravity. As quantitative confirmation of this correspondence, we note that the Kaluza-Klein modes of Type IIB supergravity on $AdS_5\times {\bf S}^5$ match with the chiral operators of $\N=4$ super Yang-Mills theory in four dimensions. With some further assumptions, one can deduce a Hamiltonian version of the correspondence and show that the $\N=4$ theory has a large $N$ phase transition related to the thermodynamics of $AdS$ black holes.

preprint1998arXiv

Anti-de Sitter Space and the Center of the Gauge Group

Upon compactification on a circle, SU(N) gauge theory with all fields in the adjoint representation acquires a $Z_N$ global symmetry because the center of the gauge group is $Z_N$. For N=4 super Yang-Mills theory, we show how this $Z_N$ "topological symmetry" arises in the context of the AdS/CFT correspondence, and why the symmetry group is $Z_N$ rather than U(1). This provides a test of the AdS/CFT correspondence for finite N. If the theory is formulated on $R^3 \times S^1$ with anti-periodic boundary conditions for fermions around the $S^1$, the topological symmetry is spontaneously broken; we show that the domain walls are D-strings, and hence that flux tubes associated with magnetic confinement can end on the domain walls associated with the topological symmetry. For the (0,2) $A_{N-1}$ superconformal field theory in six dimensions, we demonstrate an analogous phenomenon: a $Z_N$ global symmetry group arises if this theory is compactified on a Riemann surface. In this case, the domain walls are M-theory membranes.

preprint1998arXiv

Anti-de Sitter Space, Thermal Phase Transition, And Confinement In Gauge Theories

The correspondence between supergravity (and string theory) on $AdS$ space and boundary conformal field theory relates the thermodynamics of ${\cal N}=4$ super Yang-Mills theory in four dimensions to the thermodynamics of Schwarzschild black holes in Anti-de Sitter space. In this description, quantum phenomena such as the spontaneous breaking of the center of the gauge group, magnetic confinement, and the mass gap are coded in classical geometry. The correspondence makes it manifest that the entropy of a very large $AdS$ Schwarzschild black hole must scale ``holographically'' with the volume of its horizon. By similar methods, one can also make a speculative proposal for the description of large $N$ gauge theories in four dimensions without supersymmetry.

preprint1998arXiv

Baryons And Branes In Anti de Sitter Space

In the mapping from four-dimensional gauge theories to string theory in $AdS$ space, many features of gauge theory can be described by branes wrapped in different ways on $§^5$, $\RP^5$, or subspaces thereof. These include a baryon vertex coupling N external charges in the fundamental representation of SU(N), a bound state of $k$ gluons in SO(2k) gauge theory, strings coupled to external charges in the spinor representation of the gauge group, and domain walls across which the low energy gauge group changes.

preprint1998arXiv

D-Branes And K-Theory

By exploiting recent arguments about stable nonsupersymmetric D-brane states, we argue that D-brane charge takes values in the K-theory of spacetime, as has been suspected before. In the process, we gain a new understanding of some novel objects proposed recently - such as the Type I zerobrane - and we describe some new objects - such as a -1-brane in Type I superstring theory.

preprint1998arXiv

Dibaryons, Branes, And Strings In AdS Orbifold Models

A generalization of the Maldacena conjecture asserts that Type IIB string theory on $§^5/\Z_3$ is equivalent to a certain supersymmetric $SU(N)^3$ gauge theory with bifundamental matter. To test this assertion, we analyze the wrapped branes on $§^5/\Z_3$ and their interpretation in terms of gauge theory. The wrapped branes are interpreted in some cases as baryons or dibaryons of the gauge theory and in other cases as strings around which there is a global monodromy. In order to successfully match the brane analysis with field theory, we must uncover some aspects of $S$-duality which are novel even in the case of four-dimensional free field theory.

preprint1998arXiv

Principal G-bundles over elliptic curves

Let $G$ be a simple and simply connected complex Lie group. We discuss the moduli space of holomorphic semistable principal $G$ bundles over an elliptic curve $E$. In particular we give a new proof of a theorem of Looijenga and Bernshtein-Shvartsman, that the moduli space is a weighted projective space. The method of proof is to study the deformations of certain unstable bundles coming from special maximal parabolic subgroups of $G$. We also discuss the associated automorphism sheaves and universal bundles, as well as the relation between various universal bundles and spectral covers.

preprint1998arXiv

Superconformal Field Theory on Threebranes at a Calabi-Yau Singularity

Just as parallel threebranes on a smooth manifold are related to string theory on $AdS_5\times {\bf S}^5$, parallel threebranes near a conical singularity are related to string theory on $AdS_5\times X_5$, for a suitable $X_5$. For the example of the conifold singularity, for which $X_5=(SU(2)\times SU(2))/U(1)$, we argue that string theory on $AdS_5\times X_5$ can be described by a certain ${\cal N}=1$ supersymmetric gauge theory which we describe in detail.

preprint1998arXiv

Theta Dependence In The Large N Limit Of Four-Dimensional Gauge Theories

The theta dependent of pure gauge theories in four dimensions can be studied using a duality of large N gauge theories with string theory on a certain spacetime. Via this duality, one can argue that for every theta, there are infinitely many vacua that are stable in the large N limit. The true vacuum, found by minimizing the energy in this family, is a smooth function of theta except at theta equal to pi, where it jumps. This jump is associated with spontaneous breaking of CP symmetry. Domain walls separating adjacent vacua are described in terms of wrapped sixbranes.

preprint1997arXiv

Black Hole Entropy in M-Theory

Extremal black holes in M-theory compactification on $M\times S^1$ are microscopically represented by fivebranes wrapping $P\times S^1$, where $M$ is a Calabi-Yau threefold and $P$ is a four-cycle in $M$. Additional spacetime charges arise from momentum around the $S^1$ and expectation values for the self-dual three-form field strength in the fivebrane. The microscopic entropy of the fivebrane as a function of all the charges is determined from a two-dimensional $(0,4)$ sigma model whose target space includes the fivebrane moduli space. This entropy is compared to the macroscopic formula. Precise agreement is found for both the tree-level and one-loop expressions.

preprint1997arXiv

Branes And The Dynamics Of QCD

A brane configuration is described that is relevant to understanding the dynamics of N=1 supersymmetric Yang-Mills theory. Confinement and spontaneous breaking of a discrete chiral symmetry can be understood as consequences of the topology of the brane. Because of the symmetry breaking, there can be domain walls separating different vacua; the QCD string can end on such a domain wall. The model in which these properties can be understood semiclassically does not coincide with supersymmetric Yang-Mills theory but is evidently in the same universality class.

preprint1997arXiv

Integration over the u-plane in Donaldson theory

We analyze the u-plane contribution to Donaldson invariants of a four-manifold X. For $b_2^+(X)>1$, this contribution vanishes, but for $b_2^+=1$, the Donaldson invariants must be written as the sum of a u-plane integral and an SW contribution. The u-plane integrals are quite intricate, but can be analyzed in great detail and even calculated. By analyzing the u-plane integrals, the relation of Donaldson theory to N=2 supersymmetric Yang-Mills theory can be described much more fully, the relation of Donaldson invariants to SW theory can be generalized to four-manifolds not of simple type, and interesting formulas can be obtained for the class numbers of imaginary quadratic fields. We also show how the results generalize to extensions of Donaldson theory obtained by including hypermultiplet matter fields.

preprint1997arXiv

New ``Gauge'' Theories In Six Dimensions

More general constructions are given of six-dimensional theories that look at low energy like six-dimensional super Yang-Mills theory. The constructions start with either parallel fivebranes in Type IIB, or M-theory on $(\C^2\times§^1)/Γ$ for $Γ$ a suitable finite group. Via these constructions, one can obtain six-dimensional theories with any simple gauge group, and $SU(r)$ theories with any rational theta angle. A matrix construction of these theories is also possible.

preprint1997arXiv

On The Conformal Field Theory Of The Higgs Branch

We study 1+1-dimensional theories of vector and hypermultiplets with (4,4) supersymmetry. Despite strong infrared fluctuations, these theories flow in general to distinct conformal field theories on the Coulomb and Higgs branches. In some cases there may be a quantum Higgs theory even when there is no classical Higgs branch. The Higgs branches of certain such theories provide a framework for a matrix model of Type IIA fivebranes and the associated exotic six-dimensional string theories. Proposals concerning the interactions of these string theories are evaluated.

preprint1997arXiv

Solutions Of Four-Dimensional Field Theories Via M Theory

N=2 supersymmetric gauge theories in four dimensions are studied by formulating them as the quantum field theories derived from configurations of fourbranes, fivebranes, and sixbranes in Type IIA superstrings, and then reinterpreting those configurations in M theory. This approach leads to explicit solutions for the Coulomb branch of a large family of four-dimensional N=2 field theories with zero or negative beta function.

preprint1997arXiv

Toroidal Compactification Without Vector Structure

Many important ideas about string duality that appear in conventional $\T^2$ compactification have analogs for $\T^2$ compactification without vector structure. We analyze some of these issues and show, in particular, how orientifold planes associated with $Sp(n)$ gauge groups can arise from T-duality and how they can be interpreted in F-theory. We also, in an appendix, resolve a longstanding puzzle concerning the computation of $\Tr (-1)^F$ in four-dimensional supersymmetric Yang-Mills theory with gauge group SO(n).

preprint1997arXiv

Vector Bundles And F Theory

To understand in detail duality between heterotic string and F theory compactifications, it is important to understand the construction of holomorphic G bundles over elliptic Calabi-Yau manifolds, for various groups G. In this paper, we develop techniques to describe the bundles, and make several detailed comparisons between the heterotic string and F theory.

preprint1996arXiv

Anomalies, Dualities, and Topology of D=6 N=1 Superstring Vacua

We consider various aspects of compactifications of the Type I/heterotic $Spin(32)/\Z_2$ theory on K3. One family of such compactifications includes the standard embedding of the spin connection in the gauge group, and is on the same moduli space as the compactification of the heterotic $E_8\times E_8$ theory on K3 with instanton numbers (8,16). Another class, which includes an orbifold of the Type I theory recently constructed by Gimon and Polchinski and whose field theory limit involves some topological novelties, is on the moduli space of the heterotic $E_8\times E_8$ theory on K3 with instanton numbers (12,12). These connections between $Spin(32)/\Z_2$ and $E_8\times E_8$ models can be demonstrated by T duality, and permit a better understanding of non-perturbative gauge fields in the (12,12) model. In the transformation between $Spin(32)/\Z_2$ and $E_8\times E_8$ models, the strong/weak coupling duality of the (12,12) $E_8\times E_8$ model is mapped to T duality in the Type I theory. The gauge and gravitational anomalies in the Type I theory are canceled by an extension of the Green-Schwarz mechanism.

preprint1996arXiv

Eleven-Dimensional Supergravity on a Manifold with Boundary

In this paper, we present a systematic analysis of eleven-dimensional supergravity on a manifold with boundary, which is believed to be relevant to the strong coupling limit of the $E_8\times E_8$ heterotic string. Gauge and gravitational anomalies enter at a very early stage, and require a refinement of the standard Green-Schwarz mechanism for their cancellation. This uniquely determines the gauge group to be a copy of $E_8$ for each boundary component, fixes the gauge coupling constant in terms of the gravitational constant, and leads to several striking new tests of the hypothesis that there is a consistent quantum $M$-theory with eleven-dimensional supergravity as its low energy limit.

preprint1996arXiv

Evidence for Heterotic/Heterotic Duality

We re-examine the question of heterotic - heterotic string duality in six dimensions and argue that the $E_8\times E_8$ heterotic string, compactified on $K3$ with equal instanton numbers in the two $E_8$'s, has a self-duality that inverts the coupling, dualizes the antisymmetric tensor, acts non-trivially on the hypermultiplets, and exchanges gauge fields that can be seen in perturbation theory with gauge fields of a non-perturbative origin. The special role of the symmetric embedding of the anomaly in the two $E_8$'s can be seen from field theory considerations or from an eleven-dimensional point of view. The duality can be deduced by looking in two different ways at eleven-dimensional $M$-theory compactified on $K3\times {\bf S}^1/\Z_2$.

preprint1996arXiv

Five-Brane Effective Action In M-Theory

On the world-volume of an $M$-theory five-brane propagates a two-form with self-dual field strength. As this field is non-Lagrangian, there is no obvious framework for determining its partition function. An analogous problem exists in Type IIB superstring theory for the self-dual five-form. The resolution of these problems and definition of the partition function is explained. A more complete analysis of perturbative anomaly cancellation for $M$-theory five-branes is also presented, uncovering some surprising details.

preprint1996arXiv

Five-branes And $M$-Theory On An Orbifold

We relate Type IIB superstrings compactified to six dimensions on K3 to an eleven-dimensional theory compactified on $({\bf S}^1)^5/{\bf Z}_2$. Eleven-dimensional five-branes enter the story in an interesting way.

preprint1996arXiv

Non-Perturbative Superpotentials In String Theory

The non-perturbative superpotential can be effectively calculated in $M$-theory compactification to three dimensions on a Calabi-Yau four-fold $X$. For certain $X$, the superpotential is identically zero, while for other $X$, a non-perturbative superpotential is generated. Using $F$-theory, these results carry over to certain Type IIB and heterotic string compactifications to four dimensions with $N=1$ supersymmetry. In the heterotic string case, the non-perturbative superpotential can be interpreted as coming from space-time and world-sheet instantons; in many simple cases contributions come only from finitely many values of the instanton numbers.

preprint1996arXiv

On Flux Quantization In M-Theory And The Effective Action

The quantization law for the antisymmetric tensor field of $M$-theory contains a gravitational contribution not known previously. When it is included, the low energy effective action of $M$-theory, including one-loop and Chern-Simons contributions, is well-defined. The relation of $M$-theory to the $E_8\times E_8$ heterotic string greatly facilitates the analysis.

preprint1996arXiv

Phase Transitions In M-Theory And F-Theory

Phase transitions are studied in $M$-theory and $F$-theory. In $M$-theory compactification to five dimensions on a Calabi-Yau, there are topology-changing transitions similar to those seen in conformal field theory, but the non-geometrical phases known in conformal field theory are absent. At boundaries of moduli space where such phases might have been expected, the moduli space ends, by a conventional or unconventional physical mechanism. The unconventional mechanisms, which roughly involve the appearance of tensionless strings, can sometimes be better understood in $F$-theory.

preprint1996arXiv

Physical Interpretation Of Certain Strong Coupling Singularities

We interpret certain strong coupling singularities of the $E_8\times E_8$ heterotic string on K3 in terms of exotic six-dimensional theories in which $E_8$ is a gauge symmetry. These theories are closely related to theories obtained at small instanton singularities, which have $E_8$ as a global symmetry.

preprint1996arXiv

Strong Coupling Expansion Of Calabi-Yau Compactification

In a certain strong coupling limit, compactification of the $E_8\times E_8$ heterotic string on a Calabi-Yau manifold $X$ can be described by an eleven-dimensional theory compactified on $X\times §^1/\Z_2$. In this limit, the usual relations among low energy gauge couplings hold, but the usual (problematic) prediction for Newton's constant does not. In this paper, the equations for unbroken supersymmetry are expanded to the first non-trivial order, near this limit, verifying the consistency of the description and showing how, in some cases, if one tries to make Newton's constant too small, strong coupling develops in one of the two $E_8$'s. The lower bound on Newton's constant (beyond which strong coupling develops) is estimated and is relatively close to the actual value.

preprint1996arXiv

Type IIB Superstrings, BPS Monopoles, And Three-Dimensional Gauge Dynamics

We propose an explanation via string theory of the correspondence between the Coulomb branch of certain three-dimensional supersymmetric gauge theories and certain moduli spaces of magnetic monopoles. The same construction also gives an explanation, via $SL(2,\Z)$ duality of Type IIB superstrings, of the recently discovered ``mirror symmetry'' in three dimensions. New phase transitions in three dimensions as well as new infrared fixed points and even new coupling constants not present in the known Lagrangians are predicted from the string theory construction. An important role in the construction is played by a novel aspect of brane dynamics in which a third brane is created when two branes cross.

preprint1995arXiv

A One-Loop Test Of String Duality

We test type IIA-heterotic string duality in six dimensions by showing that the sigma model anomaly of the heterotic string is generated by a combination of a tree level and a string one-loop correction on the type IIA side.

preprint1995arXiv

Bound States Of Strings And $p$-Branes

The recent discovery of an explicit conformal field theory description of Type II $p$-branes makes it possible to investigate the existence of bound states of such objects. In particular, it is possible with reasonable precision to verify the prediction that the Type IIB superstring in ten dimensions has a family of soliton and bound state strings permuted by $SL(2,{\bf Z})$. The space-time coordinates enter tantalizingly in the formalism as non-commuting matrices.

preprint1995arXiv

Dual String Pairs With N=1 And N=2 Supersymmetry In Four Dimensions

Based on a simple adiabatic argument and by considering the heterotic string counterpart of certain symmetries of Type II superstrings such as $(-1)^{F_L}$ and orientation reversal, we construct orbifold candidates for dual pairs of heterotic and Type II string theories with $N=2$ and $N=1$ supersymmetry. We also analyze from a similar point of view the ${\rm K3}$ fibrations that enter in recently proposed $N=2$ candidates and use this structure together with certain orientation-reversing symmetries to construct $N=1$ dual pairs. These pairs involve generalizations of Type I vacua which can be equivalent to $E_8\times E_8$ heterotic strings, while standard Type I vacua are related to $SO(32)$.

preprint1995arXiv

Evidence for Heterotic - Type I String Duality

A study is made of the implications of heterotic string $T$-duality and extended gauge symmetry for the conjectured equivalence of heterotic and Type I superstrings. While at first sight heterotic string world-sheet dynamics appears to conflict with Type I perturbation theory, a closer look shows that Type I perturbation theory ``miraculously'' breaks down, in some cases via novel mechanisms, whenever the heterotic string has massless particles not present in Type I perturbation theory. This strongly suggests that the two theories actually are equivalent. As further evidence in the same direction, we show that the Dirichlet one-brane of type I string theory has the same world-sheet structure as the heterotic string.

preprint1995arXiv

Heterotic and Type I String Dynamics from Eleven Dimensions

We propose that the ten-dimensional $E_8\times E_8$ heterotic string is related to an eleven-dimensional theory on the orbifold ${\bf R}^{10}\times {\bf S}^1/{\bf Z}_2$ in the same way that the Type IIA string in ten dimensions is related to ${\bf R}^{10}\times {\bf S}^1$. This in particular determines the strong coupling behavior of the ten-dimensional $E_8\times E_8$ theory. It also leads to a plausible scenario whereby duality between $SO(32)$ heterotic and Type I superstrings follows from the classical symmetries of the eleven-dimensional world, just as the $SL(2,{\bf Z})$ duality of the ten-dimensional Type IIB theory follows from eleven-dimensional diffeomorphism invariance.

preprint1995arXiv

On S-Duality in Abelian Gauge Theory

U(1) gauge theory on ${\bf R}^4$ is known to possess an electric-magnetic duality symmetry that inverts the coupling constant and extends to an action of $SL(2,{\bf Z})$. In this paper, the duality is studied on a general four-manifold and it is shown that the partition function is not a modular-invariant function but transforms as a modular form. This result plays an essential role in determining a new low-energy interaction that arises when N=2 supersymmetric Yang-Mills theory is formulated on a four-manifold; the determination of this interaction gives a new test of the solution of the model and would enter in computations of the Donaldson invariants of four-manifolds with $b_2^+\leq 1$. Certain other aspects of abelian duality, relevant to matters such as the dependence of Donaldson invariants on the second Stieffel-Whitney class, are also analyzed.

preprint1995arXiv

Small Instantons in String Theory

A long-standing puzzle about the heterotic string has been what happens when an instanton shrinks to zero size. It is argued here that the answer at the quantum level is that an extra $SU(2)$ gauge symmetry appears that is supported in the core of the instanton. Thus in particular the quantum heterotic string has vacua with higher rank than is possible in conformal field theory. When $k$ instantons collapse at the same point, the enhanced gauge symmetry is $Sp(k)$. These results, which can be tested by comparison to Dirichlet five-branes of Type I superstrings and to the ADHM construction of instantons, give the first example for the heterotic string of a non-perturbative phenomenon that cannot be turned off by making the coupling smaller. They have applications to several interesting puzzles about string duality.

preprint1995arXiv

String Theory Dynamics In Various Dimensions

The strong coupling dynamics of string theories in dimension $d\geq 4$ are studied. It is argued, among other things, that eleven-dimensional supergravity arises as a low energy limit of the ten-dimensional Type IIA superstring, and that a recently conjectured duality between the heterotic string and Type IIA superstrings controls the strong coupling dynamics of the heterotic string in five, six, and seven dimensions and implies $S$ duality for both heterotic and Type II strings.

preprint1995arXiv

Supersymmetric Yang-Mills Systems And Integrable Systems

The Coulomb branch of $N=2$ supersymmetric gauge theories in four dimensions is described in general by an integrable Hamiltonian system in the holomorphic sense. A natural construction of such systems comes from two-dimensional gauge theory and spectral curves. Starting from this point of view, we propose an integrable system relevant to the $N=2$ $SU(n)$ gauge theory with a hypermultiplet in the adjoint representation, and offer much evidence that it is correct. The model has an $SL(2,{\bf Z})$ $S$-duality group (with the central element $-1$ of $SL(2,{\bf Z})$ acting as charge conjugation); $SL(2,{\bf Z})$ permutes the Higgs, confining, and oblique confining phases in the expected fashion. We also study more exotic phases.

preprint1994arXiv

A Strong Coupling Test of S-Duality

By studying the partition function of $N=4$ topologically twisted supersymmetric Yang-Mills on four-manifolds, we make an exact strong coupling test of the Montonen-Olive strong-weak duality conjecture. Unexpected and exciting links are found with two-dimensional rational conformal field theory.

preprint1994arXiv

Global U(1) R-Symmetry And Conformal Invariance Of (0,2) Models

We derive a condition under which (0,2) linear sigma models possess a ``left-moving'' conformal stress tensor in $\bq$ cohomology (i.e. which leaves invariant the ``right-moving'' ground states) even away from their critical points. At the classical level this enforces quasihomogeneity of the superpotential terms. The persistence of this structure at the quantum level on the worldsheet is obstructed by an anomaly unless the charges and superpotential degrees satisfy a condition which is equivalent to the condition for the cancellation of the anomaly in a particular ``right-moving'' U(1) R-symmetry.

preprint1994arXiv

Is Supersymmetry Really Broken?

In 2 + 1 dimensions, in the presence of gravity, supersymmetry can ensure the vanishing of the cosmological constant without requiring the equality of bose and fermi masses.

preprint1994arXiv

Mirror Symmetry as a Gauge Symmetry

It is shown that in string theory mirror duality is a gauge symmetry (a Weyl transformation) in the moduli space of $N=2$ backgrounds on group manifolds, and we conjecture on the possible generalization to other backgrounds, such as Calabi-Yau manifolds.

preprint1994arXiv

Monopoles and Four-Manifolds

Recent developments in the understanding of $N=2$ supersymmetric Yang-Mills theory in four dimensions suggest a new point of view about Donaldson theory of four manifolds: instead of defining four-manifold invariants by counting $SU(2)$ instantons, one can define equivalent four-manifold invariants by counting solutions of a non-linear equation with an abelian gauge group. This is a ``dual'' equation in which the gauge group is the dual of the maximal torus of $SU(2)$. The new viewpoint suggests many new results about the Donaldson invariants.

preprint1994arXiv

On Orbifolds with Discrete Torsion

We consider the interpretation in classical geometry of conformal field theories constructed from orbifolds with discrete torsion. In examples we can analyze, these spacetimes contain ``stringy regions'' that from a classical point of view are singularities that are to be neither resolved nor blown up. Some of these models also give particularly simple and clear examples of mirror symmetry.

preprint1994arXiv

Responses to ``Theoretical Mathematics: Toward a cultural synthesis of mathematics and theoretical physics'', by A. Jaffe and F. Quinn

This article is a collection of letters solicited by the editors of the Bulletin in response to a previous article by Jaffe and Quinn [math.HO/9307227]. The authors discuss the role of rigor in mathematics and the relation between mathematics and theoretical physics.

preprint1994arXiv

Sigma Models And The ADHM Construction Of Instantons

This paper is devoted to the construction of a family of linear sigma models with $(0,4)$ supersymmetry which should flow in the infrared to the stringy version of Yang-Mills instantons on ${\bf R}^4$. The family depends on the full set of expected parameters and is obtained by using the data that appear in the ADHM construction of instantons.

preprint1994arXiv

Supersymmetric Yang-Mills Theory On A Four-Manifold

By exploiting standard facts about $N=1$ and $N=2$ supersymmetric Yang-Mills theory, the Donaldson invariants of four-manifolds that admit a Kahler metric can be computed. The results are in agreement with available mathematical computations, and provide a powerful check on the standard claims about supersymmetric Yang-Mills theory.

preprint1993arXiv

Computing the Complete Massless Spectrum of a Landau-Ginzburg Orbifold

We develop techniques to compute the complete the massless spectrum in heterotic string compactification on N=2 supersymmetric Landau-Ginzburg orbifolds. This includes not just the familiar charged fields, but also the gauge singlets. The number of gauge singlets can vary in the moduli space of a given compactification and can differ from what it would be in the large radius limit of the corresponding Calabi-Yau. Comparison with exactly soluble Gepner models provides a confirmation of our results at Gepner points. Our methods carry over straightforwardly to $(0,2)$ Landau-Ginzburg models.

preprint1993arXiv

On the Landau-Ginzburg Description of $N=2$ Minimal Models

The conjecture that $N=2$ minimal models in two dimensions are critical points of a super-renormalizable Landau-Ginzburg model can be tested by computing the path integral of the Landau-Ginzburg model with certain twisted boundary conditions. This leads to simple expressions for certain characters of the $N=2$ models which can be verified at least at low levels. An $N=2$ superconformal algebra can in fact be found directly in the {\it noncritical} Landau-Ginzburg system, giving further support for the conjecture.

preprint1993arXiv

Phases of $N=2$ Theories In Two Dimensions

This is a study of the Landau-Ginzburg/Calabi-Yau correspondence, and related matters, using linear sigma models.

preprint1993arXiv

Role of Short Distance Behavior in Off-Shell Open-String Field Theory

A recent proposal for a background independent open string field theory is studied in detail for a class of backgrounds that correspond to general quadratic boundary interactions on the world-sheet. A short-distance cut-off is introduced to formulate the theory with a finite number of local and potentially unrenormalizable boundary couplings. It is shown that renormalization of the boundary couplings makes both the world-sheet partition function and the string field action finite and cut-off independent, although the resulting string field action has an unpalatable dependence on the leading unrenormalizable coupling.

preprint1992arXiv

A Closed, Expanding Universe in String Theory

We present a conformal field theory -- obtained from a gauged WZW model -- that describes a closed, inhomogeneous expanding and recollapsing universe in $3+1$ dimensions. A possible violation of cosmic censorship is avoided because the universe recollapses just when a naked singularity was about to form. The model has been chosen to have $c=4$ (or $\widehat c=4$ in the supersymmetric case), just like four dimensional Minkowski space.

preprint1992arXiv

Algebraic Structures and Differential Geometry in 2D String Theory

A careful treatment of closed string BRST cohomology shows that there are more discrete states and associated symmetries in $D=2$ string theory than has been recognized hitherto. The full structure, at the $SU(2)$ radius, has a natural description in terms of abelian gauge theory on a certain three dimensional cone $Q$. We describe precisely how symmetry currents are constructed from the discrete states, explaining the role of the ``descent equations.'' In the uncompactified theory, we compute the action of the symmetries on the tachyon field, and isolate the features that lead to nonlinear terms in this action. The resulting symmetry structure is interpreted in terms of a homotopy Lie algebra.

preprint1992arXiv

On Background Independent Open-String Field Theory

A framework for background independent open-string field theory is proposed. The approach involves using the BV formalism -- in a way suggested by recent developments in closed-string field theory -- to implicitly define a gauge invariant Lagrangian in a hypothetical ``space of all open-string world-sheet theories.'' It is built into the formalism that classical solutions of the string field theory are BRST invariant open-string world-sheet theories and that, when expanding around a classical solution, the infinitesimal gauge transformations are generated by the world-sheet BRST operator.

preprint1992arXiv

Some Computations in Background Independent Open-String Field Theory

Recently, background independent open-string field theory has been formally defined in the space of all two-dimensional world-sheet theories. In this paper, to make the construction more concrete, I compute the action for an off-shell tachyon field of a certain simple type. From the computation it emerges that, although the string field action does not coincide with the world-sheet (matter) partition function in general, these functions do coincide on shell. This can be demonstrated in general, as long as matter and ghosts are decoupled.

preprint1992arXiv

Two Dimensional Gauge Theories Revisited

Topological gravity is equivalent to physical gravity in two dimensions in a way that is still mysterious, though by now it has been proved by Kontsevich. In this paper it is shown that a similar relation between topological and physical Yang-Mills theory holds in two dimensions; in this case, however, the relation can be explained by a direct mapping between the two path integrals. This (1) explains many strange facts about two dimensional Yang-Mills theory, like the way the partition function can be expressed exactly as a sum over classical solutions, including unstable ones; (2) makes the corresponding topological theory completely computable.

preprint1991arXiv

Ground Ring Of Two Dimensional String Theory

String theories with two dimensional space-time target spaces are characterized by the existence of a ``ground ring'' of operators of spin $(0,0)$. By understanding this ring, one can understand the symmetries of the theory and illuminate the relation of the critical string theory to matrix models. The symmetry groups that arise are, roughly, the area preserving diffeomorphisms of a two dimensional phase space that preserve the fermi surface (of the matrix model) and the volume preserving diffeomorphisms of a three dimensional cone. The three dimensions in question are the matrix eigenvalue, its canonical momentum, and the time of the matrix model.

preprint1991arXiv

On Black Holes In String Theory

In these lecture notes from Strings `91, I briefly sketch the analogy between two dimensional black holes and the s-wave sector of four dimensional black holes, and the physical interest of the latter, particularly in the magnetically charged case.

Edward Witten

What is connected

Connect this record

See the researcher in context

Building this map preview

150 published item(s)

A Note On Complex Spacetime Metrics

A note on continuous entropy

Gauge Theory and the Analytic Form of the Geometric Langlands Program

No Ensemble Averaging Below the Black Hole Threshold

Anomaly Inflow and the $η$-Invariant

Deformations of JT Gravity and Phase Transitions

Exploration of the outer solar system with fast and small sailcraft

JT Gravity and the Ensembles of Random Matrix Theory

Searching for a Black Hole in the Outer Solar System

Volumes and Random Matrices

A Mini-Introduction To Information Theory

A Duality Web in 2+1 Dimensions and Condensed Matter Physics

An Introduction To The Web-Based Formalism

An SYK-Like Model Without Disorder

Gapped Boundary Phases of Topological Insulators via Weak Coupling

Integrable Lattice Models From Gauge Theory

More On Superstring Perturbation Theory: An Overview Of Superstring Perturbation Theory Via Super Riemann Surfaces

Notes On Supermanifolds and Integration

The "Parity" Anomaly On An Unorientable Manifold

Algebra of the Infrared: String Field Theoretic Structures in Massive ${\cal N}=(2,2)$ Field Theory In Two Dimensions

Branes And Supergroups

Fermion Path Integrals And Topological Phases

Filling The Gaps With PCO's

Some Details On The Gopakumar-Vafa and Ooguri-Vafa Formulas

The Super Period Matrix With Ramond Punctures

A Note On Einstein, Bergmann, and the Fifth Dimension

Super Atiyah classes and obstructions to splitting of supermoduli space

Supersymmetry Breaking Effects using the Pure Spinor Formalism of the Superstring

The $α'$ Expansion On A Compact Manifold Of Exceptional Holonomy

Two Lectures On The Jones Polynomial And Khovanov Homology

Notes On Holomorphic String And Superstring Theory Measures Of Low Genus

The Feynman $i ε$ in String Theory

The Nahm Pole Boundary Condition

Axion topological field theory of topological superconductors

Khovanov Homology And Gauge Theory

Fivebranes and Knots

Knot Invariants from Four-Dimensional Gauge Theory

A New Look At The Path Integral Of Quantum Mechanics

An Algebraic Construction of Boundary Quantum Field Theory

Analytic Continuation Of Chern-Simons Theory

The Omega Deformation, Branes, Integrability, and Liouville Theory

Branes, Instantons, And Taub-NUT Spaces

Branes and Quantization

Janus Configurations, Chern-Simons Couplings, And The Theta-Angle in N=4 Super Yang-Mills Theory

Mirror Symmetry, Hitchin's Equations, And Langlands Duality

S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory

Quantum Gravity Partition Functions in Three Dimensions

Axions In String Theory

New Instanton Effects in String Theory

Direct Proof Of Tree-Level Recursion Relation In Yang-Mills Theory

Non-Abelian Localization For Chern-Simons Theory

The Hitchin functionals and the topological B-model at one loop

Conformal Supergravity in Twistor-String Theory

E8 Gauge Theory, and a Derivation of K-Theory from M-Theory

Gauge Theory Amplitudes In Twistor Space And Holomorphic Anomaly

MHV Vertices And Tree Amplitudes In Gauge Theory

New Instanton Effects In Supersymmetric QCD

Parity Invariance For Strings In Twistor Space

Perturbative Gauge Theory As A String Theory In Twistor Space

Twistor Space Structure Of One-Loop Amplitudes In Gauge Theory

Unification Scale, Proton Decay, And Manifolds Of G_2 Holonomy

A Relation Between Approaches to Integrability in Superconformal Yang-Mills Theory

Chern-Simons Gauge Theory As A String Theory

Chiral Rings and Phases of Supersymmetric Gauge Theories

Phases of N=1 Supersymmetric Gauge Theories and Matrices

Proton Decay in Intersecting D-brane Models

Residues and World-Sheet Instantons

A Gravity Dual of the Chiral Anomaly

A Note on Fluxes and Superpotentials in M-theory Compactifications on Manifolds of G_2 Holonomy

BPS Bound States Of D0-D6 And D0-D8 Systems In A B-Field

Chiral Rings and Anomalies in Supersymmetric Gauge Theory

M-Theory Dynamics On A Manifold Of G_2 Holonomy

Anomaly Analysis of Brane-Antibrane Systems

Conformal Operators for Partially Massless States