Source author record

Sergei Gukov

Sergei Gukov 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

47works
16topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

47 published item(s)

preprint2023arXiv

Near-Horizon Quantum Dynamics of 4-d Einstein Gravity from 2-d JT Gravity

We study quantum fluctuations in the lightcone metric of the 4-d Einstein-Hilbert action via dimensional reduction to Jackiw-Teitelboim (JT) gravity. In particular, we show that, in Einstein gravity, the causal development of a region in flat Minkowski spacetime, near a horizon defined by light sheets, can be described by an effective two-dimensional dilaton theory. This enables us to make use of known solutions of the JT action, where the spacetime position of a horizon has quantum uncertainty due to metric fluctuations. This quantum uncertainty can be then directly related to the original 4-d light cone coordinates, allowing us to compute the uncertainty in the time of a photon to travel from tip-to-tip of a causal diamond in flat 4-d Minkowski space. We find that both Planck and infrared scales (with the latter set by the size of the causal diamond) enter the uncertainty in photon travel time, such that the quantum fluctuation in the arrival time may be observably large.

preprint2021arXiv

Branches, quivers, and ideals for knot complements

We generalize the $F_K$ invariant, i.e. $\widehat{Z}$ for the complement of a knot $K$ in the 3-sphere, the knots-quivers correspondence, and $A$-polynomials of knots, and find several interconnections between them. We associate an $F_K$ invariant to any branch of the $A$-polynomial of $K$ and we work out explicit expressions for several simple knots. We show that these $F_K$ invariants can be written in the form of a quiver generating series, in analogy with the knots-quivers correspondence. We discuss various methods to obtain such quiver representations, among others using $R$-matrices. We generalize the quantum $a$-deformed $A$-polynomial to an ideal that contains the recursion relation in the group rank, i.e. in the parameter $a$, and describe its classical limit in terms of the Coulomb branch of a 3d-5d theory. We also provide $t$-deformed versions. Furthermore, we study how the quiver formulation for closed 3-manifolds obtained by surgery leads to the superpotential of 3d $\mathcal{N}=2$ theory $T[M_3]$ and to the data of the associated modular tensor category $\text{MTC} [M_3]$.

preprint2020arXiv

A two-variable series for knot complements

The physical 3d $\mathcal{N}=2$ theory T[Y] was previously used to predict the existence of some 3-manifold invariants $\hat{Z}_{a}(q)$ that take the form of power series with integer coefficients, converging in the unit disk. Their radial limits at the roots of unity should recover the Witten-Reshetikhin-Turaev invariants. In this paper we discuss how, for complements of knots in $S^3$, the analogue of the invariants $\hat{Z}_{a}(q)$ should be a two-variable series $F_K(x,q)$ obtained by parametric resurgence from the asymptotic expansion of the colored Jones polynomial. The terms in this series should satisfy a recurrence given by the quantum A-polynomial. Furthermore, there is a formula that relates $F_K(x,q)$ to the invariants $\hat{Z}_{a}(q)$ for Dehn surgeries on the knot. We provide explicit calculations of $F_K(x,q)$ in the case of knots given by negative definite plumbings with an unframed vertex, such as torus knots. We also find numerically the first terms in the series for the figure-eight knot, up to any desired order, and use this to understand $\hat{Z}_a(q)$ for some hyperbolic 3-manifolds.

preprint2019arXiv

"Lagrangian Disks" in M-theory

While the study of bordered (pseudo-)holomorphic curves with boundary on Lagrangian submanifolds has a long history, a similar problem that involves (special) Lagrangian submanifolds with boundary on complex surfaces appears to be largely overlooked in both physics and math literature. We relate this problem to geometry of coassociative submanifolds in $G_2$ holonomy spaces and to $Spin(7)$ metrics on 8-manifolds with $T^2$ fibrations. As an application to physics, we propose a large class of brane models in type IIA string theory that generalize brane brick models on the one hand and 2d theories $T[M_4]$ on the other.

preprint2019arXiv

Trialities of minimally supersymmetric 2d gauge theories

We study dynamics of two-dimensional N=(0,1) supersymmetric gauge theories. In particular, we propose that there is an infrared triality between certain triples of theories with orthogonal and symplectic gauge groups. The proposal is supported by matching of anomalies and elliptic genera. This triality can be viewed as a (0,1) counterpart of the (0,2) triality proposed earlier by two of the authors and A. Gadde. We also describe the relation between global anomalies in gauge theoretic and sigma-model descriptions, filling in a gap in the present literature.

preprint2016arXiv

Duality Defects

We propose a unified approach to a general class of codimension-2 defects in field theories with non-trivial duality symmetries and discuss various constructions of such "duality defects" in diverse dimensions. In particular, in d=4 we propose a new interpretation of the Seiberg-Witten u-plane by "embedding" it in the physical space-time: we argue that it describes a BPS configuration of two duality defects (at the monopole/dyon points) and propose its vast generalization based on Lefschetz fibrations of 4-manifolds.

preprint2016arXiv

Equivariant Verlinde formula from fivebranes and vortices

We study complex Chern-Simons theory on a Seifert manifold $M_3$ by embedding it into string theory. We show that complex Chern-Simons theory on $M_3$ is equivalent to a topologically twisted supersymmetric theory and its partition function can be naturally regularized by turning on a mass parameter. We find that the dimensional reduction of this theory to 2d gives the low energy dynamics of vortices in four-dimensional gauge theory, the fact apparently overlooked in the vortex literature. We also generalize the relations between 1) the Verlinde algebra, 2) quantum cohomology of the Grassmannian, 3) Chern-Simons theory on $Σ\times S^1$ and 4) index of a spin$^c$ Dirac operator on the moduli space of flat connections to a new set of relations between 1) the "equivariant Verlinde algebra" for a complex group, 2) the equivariant quantum K-theory of the vortex moduli space, 3) complex Chern-Simons theory on $Σ\times S^1$ and 4) the equivariant index of a spin$^c$ Dirac operator on the moduli space of Higgs bundles.

preprint2016arXiv

Junctions of surface operators and categorification of quantum groups

We show how networks of Wilson lines realize quantum groups U_q(sl(m)), for arbitrary m, in 3d SU(N) Chern-Simons theory. Lifting this construction to foams of surface operators in 4d theory we find that rich structure of junctions is encoded in combinatorics of planar diagrams. For a particular choice of surface operators we reproduce known mathematical constructions of categorical representations and categorified quantum groups.

preprint2016arXiv

Resurgence in complex Chern-Simons theory

We study resurgence properties of partition function of SU(2) Chern-Simons theory (WRT invariant) on closed three-manifolds. We check explicitly that in various examples Borel transforms of asymptotic expansions posses expected analytic properties. In examples that we study we observe that contribution of irreducible flat connections to the path integral can be recovered from asymptotic expansions around abelian flat connections. We also discuss connection to Floer instanton moduli spaces, disk instantons in 2d sigma models, and length spectra of "complex geodesics" on the A-polynomial curve.

preprint2015arXiv

Counting RG flows

Interpreting renormalization group flows as solitons interpolating between different fixed points, we ask various questions that are normally asked in soliton physics but not in renormalization theory. Can one count RG flows? Are there different "topological sectors" for RG flows? What is the moduli space of an RG flow, and how does it compare to familiar moduli spaces of (supersymmetric) dowain walls? Analyzing these questions in a wide variety of contexts --- from counting RG walls to AdS/CFT correspondence --- will not only provide favorable answers, but will also lead us to a unified general framework that is powerful enough to account for peculiar RG flows and predict new physical phenomena. Namely, using Bott's version of Morse theory we relate the topology of conformal manifolds to certain properties of RG flows that can be used as precise diagnostics and "topological obstructions" for the strong form of the C-theorem in any dimension. Moreover, this framework suggests a precise mechanism for how the violation of the strong C-theorem happens and predicts "phase transitions" along the RG flow when the topological obstruction is non-trivial. Along the way, we also find new conformal manifolds in well-known 4d CFT's and point out connections with the superconformal index and classifying spaces of global symmetry groups.

preprint2015arXiv

Exceptional knot homology

The goal of this article is twofold. First, we find a natural home for the double affine Hecke algebras (DAHA) in the physics of BPS states. Second, we introduce new invariants of torus knots and links called "hyperpolynomials" that address the "problem of negative coefficients" often encountered in DAHA-based approaches to homological invariants of torus knots and links. Furthermore, from the physics of BPS states and the spectra of singularities associated with Landau-Ginzburg potentials, we also describe a rich structure of differentials that act on homological knot invariants for exceptional groups and uniquely determine the latter for torus knots.

preprint2015arXiv

Fivebranes and 4-manifolds

We describe rules for building 2d theories labeled by 4-manifolds. Using the proposed dictionary between building blocks of 4-manifolds and 2d N=(0,2) theories, we obtain a number of results, which include new 3d N=2 theories T[M_3] associated with rational homology spheres and new results for Vafa-Witten partition functions on 4-manifolds. In particular, we point out that the gluing measure for the latter is precisely the superconformal index of 2d (0,2) vector multiplet and relate the basic building blocks with coset branching functions. We also offer a new look at the fusion of defect lines / walls, and a physical interpretation of the 4d and 3d Kirby calculus as dualities of 2d N=(0,2) theories and 3d N=2 theories, respectively

preprint2015arXiv

Surface Operators and Separation of Variables

Alday, Gaiotto, and Tachikawa conjectured relations between certain 4d N=2 supersymmetric field theories and 2d Liouville conformal field theory. We study generalizations of these relations to 4d theories with surface operators. For one type of surface operators the corresponding 2d theory is the WZW model, and for another type - the Liouville theory with insertions of extra degenerate fields. We show that these two 4d theories with surface operators exhibit an IR duality, which reflects the known relation (the so-called separation of variables) between the conformal blocks of the WZW model and the Liouville theory. Furthermore, we trace this IR duality to a brane creation construction relating systems of M5 and M2 branes in M-theory. Finally, we show that this duality may be expressed as an explicit relation between the generating functions for the changes of variables between natural sets of Darboux coordinates on the Hitchin moduli space.

preprint2014arXiv

Exact Solutions of 2d Supersymmetric Gauge Theories

We study dynamics of two-dimensional non-abelian gauge theories with N=(0,2) supersymmetry that include N=(0,2) supersymmetric QCD and its generalizations. In particular, we present the phase diagram of N=(0,2) SQCD and determine its massive and low-energy spectrum. We find that the theory has no mass gap, a nearly constant distribution of massive states, and lots of massless states that in general flow to an interacting CFT. For a range of parameters where supersymmetry is not dynamically broken at low energies, we give a complete description of the low-energy physics in terms of 2d N=(0,2) SCFTs using anomaly matching and modular invariance. Our construction provides a vast landscape of new N=(0,2) SCFTs which, for small values of the central charge, could be used for building novel heterotic models with no moduli and, for large values of the central charge, could be dual to AdS_3 string vacua.

preprint2014arXiv

Surface Operators

This is the seventh article in the collection of reviews "Exact results on N=2 supersymmetric gauge theories", ed. J.Teschner. It discusses an interesting class of observables localised on surfaces that attracts steadily growing attention. In the correspondence to conformal field theory some of these observables get related to a class of fields in two dimensions called degenerate fields. These fields satisfy differential equations that can be used to extract a lot of information on the correlation functions. Understanding the origin of these differential equations within gauge theory may help explaining the AGT-correspondence itself.

preprint2014arXiv

Walls, Lines, and Spectral Dualities in 3d Gauge Theories

In this paper we analyze various half-BPS defects in a general three dimensional N=2 supersymmetric gauge theory T. They correspond to closed paths in SUSY parameter space and their tension is computed by evaluating period integrals along these paths. In addition to such defects, we also study wall defects that interpolate between T and its SL(2,Z) transform by coupling the 3d theory to a 4d theory with S-duality wall. We propose a novel spectral duality between 3d gauge theories and integrable systems. This duality complements a similar duality discovered by Nekrasov and Shatashvili. As another application, for 3d N=2 theories associated with knots and 3-manifolds we compute periods of (super) A-polynomial curves and relate the results with the spectrum of domain walls and line operators.

preprint2013arXiv

(0,2) Trialities

Motivated by the connection between 4-manifolds and 2d N=(0,2) theories, we study the dynamics of a fairly large class of 2d N=(0,2) gauge theories. We see that physics of such theories is very rich, much as the physics of 4d N=1 theories. We discover a new type of duality that is very reminiscent of the 4d Seiberg duality. Surprisingly, the new 2d duality is an operation of order three: it is IR equivalence of three different theories and, as such, is actually a triality. We also consider quiver theories and study their triality webs. Given a quiver graph, we find that supersymmetry is dynamically broken unless the ranks of the gauge groups and flavor groups satisfy stringent inequalities. In fact, for most of the graphs these inequalities have no solutions. This supports the folklore theorem that generic 2d N=(0,2) theories break supersymmetry dynamically.

preprint2013arXiv

2d Index and Surface operators

In this paper we compute the superconformal index of 2d (2,2) supersymmetric gauge theories. The 2d superconformal index, a.k.a. flavored elliptic genus, is computed by a unitary matrix integral much like the matrix integral that computes 4d superconformal index. We compute the 2d index explicitly for a number of examples. In the case of abelian gauge theories we see that the index is invariant under flop transition and CY-LG correspondence. The index also provides a powerful check of the Seiberg-type duality for non-abelian gauge theories discovered by Hori and Tong. In the later half of the paper, we study half-BPS surface operators in N=2 superconformal gauge theories. They are engineered by coupling the 2d (2,2) supersymmetric gauge theory living on the support of the surface operator to the 4d N=2 theory, so that different realizations of the same surface operator with a given Levi type are related by a 2d analogue of the Seiberg duality. The index of this coupled system is computed by using the tools developed in the first half of the paper. The superconformal index in the presence of surface defect is expected to be invariant under generalized S-duality. We demonstrate that it is indeed the case. In doing so the Seiberg-type duality of the 2d theory plays an important role.

preprint2013arXiv

Quadruply-graded colored homology of knots

We conjecture the existence of four independent gradings in the colored HOMFLY homology. We describe these gradings explicitly for the rectangular colored homology of torus knots and make qualitative predictions of various interesting structures and symmetries in the colored homology of general knots. We also give a simple representation-theoretic model for the HOMFLY homology of the unknot colored by any representation. While some of these structures have a natural interpretation in the physical realization of knot homologies based on counting supersymmetric configurations (BPS states, instantons, and vortices), others are completely new. They suggest new geometric and physical realizations of colored HOMFLY homology as the Hochschild homology of the category of branes in a Landau-Ginzburg B-model or, equivalently, in the mirror A-model. Supergroups and supermanifolds are surprisingly ubiquitous in all aspects of this work.

preprint2013arXiv

Surface Defects and Resolvents

We study a large class of BPS surface defects in 4d N=2 gauge theories. They are defined by coupling a 2d N=(2,2) gauged linear sigma model to the 4d bulk degrees of freedom. Our main result is an efficient computation of the effective twisted superpotential for all these models in terms of a basic object closely related to the resolvent of the 4d gauge theory, which encodes the curve describing the 4d low energy dynamics. We reproduce and extend the results of brane constructions and compute the effective twisted superpotential for general monodromy surface defects. We encounter novel, puzzling field theory phenomena in the low energy dynamics of the simplest surface defects and we propose some local models to explain them. We also study in some detail the behavior of surface defects near monopole points of the bulk theory's Coulomb branch. Finally, we explore the effect on the defect of breaking the bulk supersymmetry from N=2 to N=1 and show that certain quantities are independent of this breaking.

preprint2013arXiv

Topological Quantum Field Theory, Nonlocal Operators, and Gapped Phases of Gauge Theories

We revisit the role of loop and surface operators as order parameters for gapped phases of four-dimensional gauge theories. We show that in some cases surface operators are confined, and that this fact can be used to distinguish phases which are not distinguished by the Wilson-'t Hooft criterion. The long-distance behavior of loop and surface operators which are neither confined nor screened is controlled by a 4d TQFT. We construct these TQFTs for phases which are characterized by the presence of electrically and/or magnetically charged condensates. Interestingly, the TQFT describing a phase with a nonabelian monopole condensate is based on the theory of nonabelian gerbes. We also show that in phases with a dyonic condensate the low-energy theta-angle is quantized.

preprint2012arXiv

Homological algebra of knots and BPS states

It is known that knot homologies admit a physical description as spaces of open BPS states. We study operators and algebras acting on these spaces. This leads to a very rich story, which involves wall crossing phenomena, algebras of closed BPS states acting on spaces of open BPS states, and deformations of Landau-Ginzburg models. One important application to knot homologies is the existence of "colored differentials" that relate homological invariants of knots colored by different representations. Based on this structure, we formulate a list of properties of the colored HOMFLY homology that categorifies the colored HOMFLY polynomial. By calculating the colored HOMFLY homology for symmetric and anti-symmetric representations, we find a remarkable "mirror symmetry" between these triply-graded theories.

preprint2012arXiv

Lectures on Knot Homology and Quantum Curves

Besides offering a friendly introduction to knot homologies and quantum curves, the goal of these lectures is to review some of the concrete predictions that follow from the physical interpretation of knot homologies. In particular, this interpretation allows one to pose questions that would not have been asked otherwise, such as, "Is there a direct relation between Khovanov homology and the A-polynomial of a knot?" We will explain that the answer to this question is "yes," and introduce a certain deformation of the planar algebraic curve defined by the zero locus of the A-polynomial. This novel deformation leads to a categorified version of the Generalized Volume Conjecture that completely describes the "color behavior" of the colored sl(2) knot homology, and eventually to a similar version for the colored HOMFLY homology. Furthermore, this deformation is strong enough to distinguish mutants, and its most interesting properties include relations to knot contact homology and knot Floer homology.

preprint2011arXiv

3-Manifolds and 3d Indices

We identify a large class R of three-dimensional N=2 superconformal field theories. This class includes the effective theories T_M of M5-branes wrapped on 3-manifolds M, discussed in previous work by the authors, and more generally comprises theories that admit a UV description as abelian Chern-Simons-matter theories with (possibly non-perturbative) superpotential. Mathematically, class R might be viewed as an extreme quantum generalization of the Bloch group; in particular, the equivalence relation among theories in class R is a quantum-field-theoretic "2-3 move." We proceed to study the supersymmetric index of theories in class R, uncovering its physical and mathematical properties, including relations to algebras of line operators and to 4d indices. For 3-manifold theories T_M, the index is a new topological invariant, which turns out to be equivalent to non-holomorphic SL(2,C) Chern-Simons theory on M with a previously unexplored "integration cycle."

preprint2011arXiv

Chern-Simons Theory and S-duality

We study S-dualities in analytically continued SL(2) Chern-Simons theory on a 3-manifold M. By realizing Chern-Simons theory via a compactification of a 6d five-brane theory on M, various objects and symmetries in Chern-Simons theory become related to objects and operations in dual 2d, 3d, and 4d theories. For example, the space of flat SL(2,C) connections on M is identified with the space of supersymmetric vacua in a dual 3d gauge theory. The hidden symmetry "hbar -> - (4 pi^2)/hbar" of SL(2) Chern-Simons theory can be identified as the S-duality transformation of N=4 super-Yang-Mills theory (obtained by compactifying the five-brane theory on a torus); whereas the mapping class group action in Chern-Simons theory on a three-manifold M with boundary C is realized as S-duality in 4d N=2 super-Yang-Mills theory associated with the Riemann surface C. We illustrate these symmetries by considering simple examples of 3-manifolds that include knot complements and punctured torus bundles, on the one hand, and mapping cylinders associated with mapping class group transformations, on the other. A generalization of mapping class group actions further allows us to study the transformations between several distinguished coordinate systems on the phase space of Chern-Simons theory, the SL(2) Hitchin moduli space.

preprint2011arXiv

Gauge Theories Labelled by Three-Manifolds

We propose a dictionary between geometry of triangulated 3-manifolds and physics of three-dimensional N=2 gauge theories. Under this duality, standard operations on triangulated 3-manifolds and various invariants thereof (classical as well as quantum) find a natural interpretation in field theory. For example, independence of the SL(2) Chern-Simons partition function on the choice of triangulation translates to a statement that S^3_b partition functions of two mirror 3d N=2 gauge theories are equal. Three-dimensional N=2 field theories associated to 3-manifolds can be thought of as theories that describe boundary conditions and duality walls in four-dimensional N=2 SCFTs, thus making the whole construction functorial with respect to cobordisms and gluing.

preprint2011arXiv

Quantization via Mirror Symmetry

When combined with mirror symmetry, the A-model approach to quantization leads to a fairly simple and tractable problem. The most interesting part of the problem then becomes finding the mirror of the coisotropic brane. We illustrate how it can be addressed in a number of interesting examples related to representation theory and gauge theory, in which mirror geometry is naturally associated with the Langlands dual group. Hyperholomorphic sheaves and (B,B,B) branes play an important role in the B-model approach to quantization.

preprint2010arXiv

Loop and surface operators in N=2 gauge theory and Liouville modular geometry

Recently, a duality between Liouville theory and four dimensional N=2 gauge theory has been uncovered by some of the authors. We consider the role of extended objects in gauge theory, surface operators and line operators, under this correspondence. We map such objects to specific operators in Liouville theory. We employ this connection to compute the expectation value of general supersymmetric 't Hooft-Wilson line operators in a variety of N=2 gauge theories.

preprint2010arXiv

Quantum Field Theory and the Volume Conjecture

The volume conjecture states that for a hyperbolic knot K in the three-sphere S^3 the asymptotic growth of the colored Jones polynomial of K is governed by the hyperbolic volume of the knot complement S^3\K. The conjecture relates two topological invariants, one combinatorial and one geometric, in a very nonobvious, nontrivial manner. The goal of the present lectures is to review the original statement of the volume conjecture and its recent extensions and generalizations, and to show how, in the most general context, the conjecture can be understood in terms of topological quantum field theory. In particular, we consider: a) generalization of the volume conjecture to families of incomplete hyperbolic metrics; b) generalization that involves not only the leading (volume) term, but the entire asymptotic expansion in 1/N; c) generalization to quantum group invariants for groups of higher rank; and d) generalization to arbitrary links in arbitrary three-manifolds.

preprint2010arXiv

Vortex Counting and Lagrangian 3-manifolds

To every 3-manifold M one can associate a two-dimensional N=(2,2) supersymmetric field theory by compactifying five-dimensional N=2 super-Yang-Mills theory on M. This system naturally appears in the study of half-BPS surface operators in four-dimensional N=2 gauge theories on one hand, and in the geometric approach to knot homologies, on the other. We study the relation between vortex counting in such two-dimensional N=(2,2) supersymmetric field theories and the refined BPS invariants of the dual geometries. In certain cases, this counting can be also mapped to the computation of degenerate conformal blocks in two-dimensional CFT's. Degenerate limits of vertex operators in CFT receive a simple interpretation via geometric transitions in BPS counting.

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.

preprint2007arXiv

Link Homologies and the Refined Topological Vertex

We establish a direct map between refined topological vertex and sl(N) homological invariants of the of Hopf link, which include Khovanov-Rozansky homology as a special case. This relation provides an exact answer for homological invariants of the of Hopf link, whose components are colored by arbitrary representations of sl(N). At present, the mathematical formulation of such homological invariants is available only for the fundamental representation (the Khovanov-Rozansky theory) and the relation with the refined topological vertex should be useful for categorifying quantum group invariants associated with other representations (R_1, R_2). Our result is a first direct verification of a series of conjectures which identifies link homologies with the Hilbert space of BPS states in the presence of branes, where the physical interpretation of gradings is in terms of charges of the branes ending on Lagrangian branes.

preprint2007arXiv

Surface Operators and Knot Homologies

Topological gauge theories in four dimensions which admit surface operators provide a natural framework for realizing homological knot invariants. Every such theory leads to an action of the braid group on branes on the corresponding moduli space. This action plays a key role in the construction of homological knot invariants. We illustrate the general construction with examples based on surface operators in N=2 and N=4 twisted gauge theories which lead to a categorification of the Alexander polynomial, the equivariant knot signature, and certain analogs of the Casson invariant. This paper is based on a lecture delivered at the International Congress on Mathematical Physics 2006, Rio de Janeiro, and at the RTN Workshop 2006, Napoli.

preprint2004arXiv

Chern-Simons Gauge Theory and the AdS(3)/CFT(2) Correspondence

The bulk partition function of pure Chern-Simons theory on a three-manifold is a state in the space of conformal blocks of the dual boundary RCFT, and therefore transforms non-trivially under the boundary modular group. In contrast the bulk partition function of AdS(3) string theory is the modular-invariant partition function of the dual CFT on the boundary. This is a puzzle because AdS(3) string theory formally reduces to pure Chern-Simons theory at long distances. We study this puzzle in the context of massive Chern-Simons theory. We show that the puzzle is resolved in this context by the appearance of a chiral "spectator boson" in the boundary CFT which restores modular invariance. It couples to the conformal metric but not to the gauge field on the boundary. Consequently, we find a generalization of the standard Chern-Simons/RCFT correspondence involving "nonholomorphic conformal blocks" and nonrational boundary CFTs. These generalizations appear in the long-distance limit of AdS(3) string theory, where the role of the spectator boson is played by other degrees of freedom in the theory.

preprint2004arXiv

M theory and Singularities of Exceptional Holonomy Manifolds

M theory compactifications on G_2 holonomy manifolds, whilst supersymmetric, require singularities in order to obtain non-Abelian gauge groups, chiral fermions and other properties necessary for a realistic model of particle physics. We review recent progress in understanding the physics of such singularities. Our main aim is to describe the techniques which have been used to develop our understanding of M theory physics near these singularities. In parallel, we also describe similar sorts of singularities in Spin(7) holonomy manifolds which correspond to the properties of three dimensional field theories. As an application, we review how various aspects of strongly coupled gauge theories, such as confinement, mass gap and non-perturbative phase transitions may be given a simple explanation in M theory.

preprint2004arXiv

The Search for a Holographic Dual to AdS(3)xS(3)xS(3)xS(1)

The problem of finding a holographic CFT dual to string theory on AdS(3)xS(3)xS(3)xS(1) is examined in depth. This background supports a large N=4 superconformal symmetry. While in some respects similar to the familiar small N=4 systems on AdS(3)xS(3)xK3 and AdS(3)xS(3)xT4, there are important qualitative differences. Using an analog of the elliptic genus for large N=4 theories we rule out all extant proposals -- in their simplest form -- for a holographic duality to supergravity at generic values of the background fluxes. Modifications of these extant proposals and other possible duals are discussed.

preprint2003arXiv

Three-Dimensional Quantum Gravity, Chern-Simons Theory, and the A-Polynomial

We study three-dimensional Chern-Simons theory with complex gauge group SL(2,C), which has many interesting connections with three-dimensional quantum gravity and geometry of hyperbolic 3-manifolds. We show that, in the presence of a single knotted Wilson loop in an infinite-dimensional representation of the gauge group, the classical and quantum properties of such theory are described by an algebraic curve called the A-polynomial of a knot. Using this approach, we find some new and rather surprising relations between the A-polynomial, the colored Jones polynomial, and other invariants of hyperbolic 3-manifolds. These relations generalize the volume conjecture and the Melvin-Morton-Rozansky conjecture, and suggest an intriguing connection between the SL(2,C) partition function and the colored Jones polynomial.

preprint2002arXiv

Conifold Transitions and Five-Brane Condensation in M-Theory on Spin(7) Manifolds

We conjecture a topology changing transition in M-theory on a non-compact asymptotically conical Spin(7) manifold, where a 5-sphere collapses and a CP(2) bolt grows. We argue that the transition may be understood as the condensation of M5-branes wrapping the 5-sphere. Upon reduction to ten dimensions, it has a physical interpretation as a transition of D6-branes lying on calibrated submanifolds of flat space. In yet another guise, it may be seen as a geometric transition between two phases of type IIA string theory on a G_2 holonomy manifold with either wrapped D6-branes, or background Ramond-Ramond flux. This is the first non-trivial example of a topology changing transition with only 1/16 supersymmetry.

preprint2002arXiv

IIA String Theory on Calabi-Yau Fourfolds with Background Fluxes

Looking for string vacua with fixed moduli, we study compactifications of type IIA string theory on Calabi-Yau fourfolds in the presence of generic Ramond-Ramond fields. We explicitly derive the (super)potential induced by Ramond-Ramond fluxes performing a Kaluza-Klein reduction of the ten-dimensional effective action. This can be conveniently achieved in a formulation of the massive type IIA supergravity where all Ramond-Ramond fields appear in a democratic way. The result agrees with the general formula for the superpotential written in terms of calibrations. We further notice that for generic Ramond-Ramond fluxes all geometric moduli are stabilized and one finds non-supersymmetric vacua at positive values of the scalar potential.

preprint2001arXiv

Superstrings in 2D Backgrounds with R-R Flux and New Extremal Black Holes

The hybrid formalism is used to quantize the superstring compactified to two-dimensional target-space in a manifestly spacetime supersymmetric manner. A quantizable sigma model action is then constructed for the Type II superstring in curved two-dimensional supergravity backgrounds which can include Ramond-Ramond flux. Such curved backgrounds include Calabi-Yau four-fold compactifications with Ramond-Ramond flux, and new extremal black hole solutions in two-dimensional dilaton supergravity theory. These black hole solutions are a natural generalization of the CGHS model and might be possible to describe using a supergroup version of the SL(2,R)/U(1) WZW model. We also study some dynamical aspects of the new black holes, such as formation and evaporation.

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.

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.

preprint1997arXiv

Supersymmetric Spin Glass

The evidently supersymmetric four-dimensional Wess-Zumino model with quenched disorder is considered at the one-loop level. The infrared fixed points of a beta-function form the moduli space $M = RP^2$ where two types of phases were found: with and without replica symmetry. While the former phase possesses only a trivial fixed point, this point become unstable in the latter phase which may be interpreted as a spin glass phase.