A Stringy Origin of M2 Brane Chern-Simons Theories

arXiv:0905.3415
M. Aganagic
.
We show that string duality relates M-theory on a local Calabi-Yau fourfold singularity X4 to type IIA string theory on a Calabi-Yau threefold X3 fibered over a real line, with RR 2-form fluxes turned on. The RR flux encodes how the M-theory circle is fibered over the IIA geometry. The theories on N D2 branes probing X3 are the well-known quiver theories with N=2 supersymmetry in three dimensions. We show that turning on fluxes, and fibering the X3 over a direction transverse to the branes, corresponds to turning on N=2 Chern-Simons couplings. String duality implies that, in the strong coupling limit, the N D2 branes on X3 in this background become N M2 branes on X4. This provides a string theory derivation for the recently conjectured description of the M2 brane theories on Calabi-Yau fourfolds in terms of N=2 quiver Chern-Simons theories. We also provide a new N=2 Chern-Simons theory dual to AdS_4 x Q^{1,1,1}. Type IIA/M-theory duality also relates IIA string theory on X3 with only the RR fluxes turned on, to M-theory on a G2 holonomy manifold. We show that this implies that the N M2 branes probing the G2 manifold are described by the quiver Chern-Simons theory originating from the D2 branes probing X3, except that now Chern-Simons terms preserve only N=1 supersymmetry in three dimensions.

Geometric Langlands From Six Dimensions

arXiv:0905.2720
E. Witten
.
Geometric Langlands duality is usually formulated as a statement about Riemann surfaces, but it can be naturally understood as a consequence of electric-magnetic duality of four-dimensional gauge theory. This duality in turn is naturally understood as a consequence of the existence of a certain exotic supersymmetric conformal field theory in six dimensions. The same six-dimensional theory also gives a useful framework for understanding some recent mathematical results involving a counterpart of geometric Langlands duality for complex surfaces. (This article is based on a lecture at the Raoul Bott celebration, Montreal, June 2008.)

Decoupling A and B model in open string theory -- Topological adventures in the world of tadpoles

arXiv:0905.1286
G. Bonelli, A. Prudenziati, A. Tanzini, J. Yang
.
In this paper we analyze the problem of tadpole cancellation in open topological strings. We prove that the inclusion of unorientable worldsheet diagrams guarantees a consistent decoupling of A and B model for open superstring amplitudes at all genera. This is proven by direct microscopic computation in Super Conformal Field Theory. For the B-model we explicitly calculate one loop amplitudes in terms of analytic Ray-Singer torsions of appropriate vector bundles and obtain that the decoupling corresponds to the cancellation of D-brane and orientifold charges. Local tadpole cancellation on the worldsheet then guarantees the decoupling at all loops. The holomorphic anomaly equations for open topological strings at one loop are also obtained and compared with the results of the Quillen formula.

A Matrix model for plane partitions and TASEP

arXiv:0905.0535
B. Eynard
.
We construct a matrix model equivalent (exactly, not asymptotically), to the random plane partition model, with almost arbitrary boundary conditions. Equivalently, it is also a random matrix model for a (T)ASEP with arbitrary boundary conditions. Using the known solution of matrix models, this method allows to find the large size asymptotic expansion of plane partitions, to ALL orders. It also allows to describe several universal regimes.

Quiver Matrix Model and Topological Partition Function in Six Dimensions

arXiv:0905.0184
H. Awata, H. Kanno
.
We consider a topological quiver matrix model which is expected to give a dual description of the instanton dynamics of topological U(N) gauge theory on D6 branes. The model is a higher dimensional analogue of the ADHM matrix model that leads to Nekrasov's partition function. The fixed points of the toric action on the moduli space are labeled by colored plane partitions. Assuming the localization theorem, we compute the partition function as an equivariant index. It turns out that the partition function does not depend on the vacuum expectation values of Higgs fields that break U(N) symmetry to U(1)^N at low energy. We conjecture a general formula of the partition function, which reduces to a power of the MacMahon function, if we impose the Calabi-Yau condition. For non Calabi-Yau case we prove the conjecture up to the third order in the instanton expansion.

Quantum 't Hooft operators and S-duality in N=4 super Yang-Mills

arXiv:0904.4486
J. Gomis, T. Okuda, D. Trancanelli
.
We provide a quantum path integral definition of an 't Hooft loop operator, which inserts a pointlike monopole in a four dimensional gauge theory. We explicitly compute the expectation value of the circular 't Hooft operators in N=4 super Yang-Mills with arbitrary gauge group G up to next to leading order in perturbation theory. We also compute in the strong coupling expansion the expectation value of the circular Wilson loop operators. The result of the computation of an 't Hooft loop operator in the weak coupling expansion exactly reproduces the strong coupling result of the conjectured dual Wilson loop operator under the action of S-duality. This paper demonstrates - for the first time - that correlation functions in N=4 super Yang-Mills admit the action of S-duality.

More on N=8 Attractors

arXiv:0904.4506
A. Ceresole, S. Ferrara, A. Gnecchi, A. Marrani
.
We examine few simple extremal black hole configurations of N=8, d=4 supergravity. We first elucidate the relation between the BPS Reissner-Nordstrom black hole and the non-BPS Kaluza-Klein dyonic black hole. Their classical entropy, given by the Bekenstein-Hawking formula, can be reproduced via the attractor mechanism by suitable choices of symplectic frame. Then, we display the embedding of the axion-dilaton black hole into N=8 supergravity.