Non-holomorphic Modular Forms and SL(2,R)/U(1) Superconformal Field Theory

arXiv:1012.5721

T. Eguchi, Y. Sugawara

.

We study the torus partition function of the SL(2,R)/U(1) SUSY gauged WZW model coupled to N=2 U(1) current. Starting from the path-integral formulation of the theory, we introduce an infra-red regularization which preserves good modular properties and discuss the decomposition of the partition function in terms of the N=2 characters of discrete (BPS) and continuous (non-BPS) representations. Contrary to our naive expectation, we find a non-holomorphic dependence (dependence on \bar{\tau}) in the expansion coefficients of continuous representations. This non-holomorphicity appears in such a way that the anomalous modular behaviors of the discrete (BPS) characters are compensated by the transformation law of the non-holomorphic coefficients of the continuous (non-BPS) characters. Discrete characters together with the non-holomorphic continuous characters combine into real analytic Jacobi forms and these combinations exactly agree with the "modular completion" of discrete characters known in the theory of Mock theta functions \cite{Zwegers}. We consider this to be a general phenomenon: we expect to encounter "holomorphic anomaly" (\bar{\tau}-dependence) in string partition function on non-compact target manifolds. The anomaly occurs due to the incompatibility of holomorphy and modular invariance of the theory. Appearance of non-holomorphicity in SL(2,R)/U(1) elliptic genus has recently been observed by Troost \cite{Troost}.

Remarks on Wilson Loops and Seifert Loops in Chern-Simons Theory

arXiv:1012.5064

C. Beasley

.

As noted long ago by Atiyah and Bott, the classical Yang-Mills action on a Riemann surface admits a beautiful symplectic interpretation as the norm-square of a moment map associated to the Hamiltonian action by gauge transformations on the affine space of connections. Here I explain how certain Wilson loop observables in Chern-Simons gauge theory on a Seifert three-manifold can be given an analogous symplectic description. Among other results, this symplectic description implies that the stationary-phase approximation to the Wilson loop path integral is exact for torus knots, an empirical observation made previously by Lawrence and Rozansky. This article reviews selected material from the larger work "Localization for Wilson Loops in Chern-Simons Theory," arXiv:0911.2687.

Vacuum stability, string density of states and the Riemann zeta function

arXiv:1012.5091

C. Angelantonj, M. Cardella, S. Elitzur, E. Rabinovici

.

We study the distribution of graded degrees of freedom in classically stable oriented closed string vacua and use the Rankin-Selberg transform to link it to the finite one-loop vacuum energy. In particular, we find that the spectrum of physical excitations not only must enjoy asymptotic supersymmetry but actually, at very large mass, bosonic and fermionic states must follow a universal oscillating pattern, whose frequencies are related to the zeros of the Riemann zeta-function. Moreover, the convergence rate of the overall number of the graded degrees of freedom to the value of the vacuum energy is determined by the Riemann hypothesis. We discuss also attempts to obtain constraints in the case of tachyon-free open-string theories.

Modular invariant partition functions for non-compact G/Ad(H) models

arXiv:1012.3920

J. Bjornsson, J. Fjelstad

.

We propose a spectrum for a class of gauged non-compact G/Ad(H) WZNW models, including spectrally flowed images of highest, lowest, and mixed extremal weight modules. These are combined into blocks whose characters, due to the Lorentzian signature of the target space, are divergent and treated as formal expressions in need of regularisation. Assuming that this is possible, we show that these extended characters transform linearly under modular transformations, and can be used to write down modular invariant partition functions.

Tests of Seiberg-like Duality in Three Dimensions

arXiv:1012.4021

A. Kapustin, B. Willett, I. Yaakov

.

We use localization techniques to study several duality proposals for supersymmetric gauge theories in three dimensions reminiscent of Seiberg duality. We compare the partition functions of dual theories deformed by real mass terms and FI parameters. We find that Seiberg-like duality for N=3 Chern-Simons gauge theories proposed by Giveon and Kutasov holds on the level of partition functions and is closely related to level-rank duality in pure Chern-Simons theory. We also clarify the relationship between the Giveon-Kutasov duality and a duality in theories of fractional M2 branes and propose a generalization of the latter. Our analysis also confirms previously known results concerning decoupled free sectors in N=4 gauge theories realized by monopole operators.

Grothendieck-Teichmüller and Batalin-Vilkovisky

arXiv:1012.2467

S. Merkulov, T. Willwacher

.

It is proven that, for any affine supermanifold M equipped with a constant odd symplectic structure, there is a universal action (up to homotopy) of the Grothendieck-Teichm\"uller Lie algebra grt on the set of quantum BV structures (i. e., solutions of the quantum master equation) on M.

Finite Symplectic Actions on the K3 Lattice

arXiv:1012.2682

K. Hashimoto

.

In this paper, we study finite symplectic actions on K3 surfaces X, i.e. actions of finite groups G on X which act on H^{2,0}(X) trivially. We show that the action on the K3 lattice H^2(X,Z) induced by a symplectic action of G on X depends only on G up to isomorphism, except for five groups.

On a proof of the Labastida-Marino-Ooguri-Vafa conjecture

arXiv:1012.2635

K. Liu, P. Peng

.

We outline a proof of a remarkable conjecture of Labastida-Mari{\~n}o-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topological invariants. Our method is based on the cut-and-join analysis and a special rational ring characterizing the structure of the Chern-Simons partition function.

Refined matrix models from BPS counting

arXiv:1012.3228

P. Sułkowski

.

We construct a free fermion and matrix model representation of refined BPS generating functions of D2 and D0 branes bound to a single D6 brane, in a class of toric manifolds without compact four-cycles. In appropriate limit we obtain a matrix model representation of refined topological string amplitudes. We consider a few explicit examples which include a matrix model for the refined resolved conifold, or equivalently five-dimensional U(1) gauge theory, as well as a matrix representation of the refined MacMahon function. Matrix models which we construct have ordinary unitary measure, while their potentials are modified to incorporate the effect of the refinement.

Charge Orbits and Moduli Spaces of Black Hole Attractors

arXiv:1012.3559

A. Marrani

.

We report on the theory of "large" U-duality charge orbits and related "moduli spaces" of extremal black hole attractors in N = 2, d = 4 Maxwell-Einstein supergravity theories with symmetric scalar manifolds, as well as in N > 3-extended, d = 4 supergravities.

Nonassociative strict deformation quantization of C*-algebras and nonassociative torus bundles

arXiv:1012.2274

K.C. Hannabuss, V. Mathai

.

In this paper, we initiate the study of nonassociative strict deformation quantization of C*-algebras with a torus action. We shall also present a definition of nonassociative principal torus bundles, and give a classification of these as nonassociative strict deformation quantization of ordinary principal torus bundles. We then relate this to T-duality of principal torus bundles with $H$-flux. We also show that the Octonions fit nicely into our theory.

Note on refined topological vertex, Jack polynomials and instanton counting

arXiv:1012.2147

J. Wu

.

In this article, we calculated the refined topological vertex for the one parameter case using the Jack symmetric functions. Also, we obtain the partition function for elliptic N=2 models, the results coincide with those of Nekrasov instanton counting partition functions for the $N=2^{\ast}$ theories.

Unquenched flavor and tropical geometry in strongly coupled Chern-Simons-matter theories

arXiv:1011.6281

R.C. Santamaria, M. Marino, P. Putrov

.

We study various aspects of the matrix models calculating free energies and Wilson loop observables in supersymmetric Chern-Simons-matter theories on the three-sphere. We first develop techniques to extract strong coupling results directly from the spectral curve describing the large N master field. We show that the strong coupling limit of the gauge theory corresponds to the so-called tropical limit of the spectral curve. In this limit, the curve degenerates to a planar graph, and matrix model calculations reduce to elementary line integrals along the graph. As an important physical application of these tropical techniques, we study N=3 theories with fundamental matter, both in the quenched and in the unquenched regimes. We calculate the exact spectral curve in the Veneziano limit, and we evaluate the planar free energy and Wilson loop observables at strong coupling by using tropical geometry. The results are in agreement with the predictions of the AdS duals involving tri-Sasakian manifolds.

Wall-crossing, open BPS counting and matrix models

arXiv:1011.5269

P. Sułkowski

.

We consider wall-crossing phenomena associated to the counting of D2-branes attached to D4-branes wrapping lagrangian cycles in Calabi-Yau manifolds, both from M-theory and matrix model perspective. Firstly, from M-theory viewpoint, we review that open BPS generating functions in various chambers are given by a restriction of the modulus square of the open topological string partition functions. Secondly, we show that these BPS generating functions can be identified with integrands of matrix models, which naturally arise in the free fermion formulation of corresponding crystal models. A parameter specifying a choice of an open BPS chamber has a natural, geometric interpretation in the crystal model. These results extend previously known relations between open topological string amplitudes and matrix models to include chamber dependence.

Generalized matrix models and AGT correspondence at all genera

arXiv:1011.5417

G. Bonelli, K. Maruyoshi, A. Tanzini, F. Yagi

.

We study generalized matrix models corresponding to n-point Virasoro conformal blocks on Riemann surfaces with arbitrary genus g. Upon AGT correspondence, these describe four dimensional N=2 SU(2)^{n+3g-3} gauge theories with generalized quiver diagrams. We obtain the generalized matrix models from the perturbative evaluation of the Liouville correlation functions and verify the consistency of the description with respect to degenerations of the Riemann surface. Moreover, we derive the Seiberg-Witten curve for the N=2 gauge theory as the spectral curve of the generalized matrix model, thus providing a check of AGT correspondence at all genera.

Multi-Matrix Models and Tri-Sasaki Einstein Spaces

arXiv:1011.5487

C.P. Herzog, I.R. Klebanov, S.S. Pufu, T. Tesileanu

.

Localization methods reduce the path integrals in {\cal N} >= 2 supersymmetric Chern-Simons gauge theories on S^3 to multi-matrix integrals. A recent evaluation of such a two-matrix integral for the {\cal N}=6 superconformal U(N) x U(N) ABJM theory produced detailed agreement with the AdS/CFT correspondence, explaining in particular the N^{3/2} scaling of the free energy. We study a class of p-matrix integrals describing {\cal N}=3 superconformal U(N)^p Chern-Simons gauge theories. We present a simple method that allows us to evaluate the eigenvalue densities and the free energies in the large N limit keeping the Chern-Simons levels k_i fixed. The dual M-theory backgrounds are AdS_4 x Y, where Y are seven-dimensional tri-Sasaki Einstein spaces specified by the k_i. The gravitational free energy scales inversely with the square root of the volume of Y. We find a general formula for the p-matrix free energies that agrees with the available results for volumes of the tri-Sasaki Einstein spaces Y, thus providing a thorough test of the corresponding AdS_4/CFT_3 dualities. This formula is consistent with the Seiberg duality conjectured for Chern-Simons gauge theories.

A Kohno-Drinfeld theorem for the monodromy of cyclotomic KZ connections

arXiv:1011.4285

A. Brochier

.

We compute explicitly the monodromy representations of "cyclotomic" analogs of the Knizhnik--Zamolodchikov differential system. These are representations of the type B braid group $B_n^1$. We show how the representations of the braid group $B_n$ obtained using quantum groups and universal $R$-matrices may be enhanced to representations of $B_n^1$ using dynamical twists. Then, we show how these "algebraic" representations may be identified with the above "analytic" monodromy representations.

Brezin-Gross-Witten model as "pure gauge" limit of Selberg integrals

arXiv:1011.3481

A. Mironov, A. Morozov, S. Shakirov

.

The AGT relation identifies the Nekrasov functions for various N=2 SUSY gauge theories with the 2d conformal blocks, which possess explicit Dotsenko-Fateev matrix model (beta-ensemble) representations the latter being polylinear combinations of Selberg integrals. The "pure gauge" limit of these matrix models is, however, a non-trivial multiscaling large-N limit, which requires a separate investigation. We show that in this pure gauge limit the Selberg integrals turn into averages in a Brezin-Gross-Witten (BGW) model. Thus, the Nekrasov function for pure SU(2) theory acquires a form very much reminiscent of the AMM decomposition formula for some model X into a pair of the BGW models. At the same time, X, which still has to be found, is the pure gauge limit of the elliptic Selberg integral. Presumably, it is again a BGW model, only in the Dijkgraaf-Vafa double cut phase.

Conjugacy classes in Weyl groups and q-W algebras

arXiv:1011.2431

A. Sevostyanov

.

We define noncommutative deformations W_q^s(G) of algebras of regular functions on certain transversal slices to the set of conjugacy classes in an algebraic group G which play the role of Slodowy slices in algebraic group theory. The algebras W_q^s(G) called q-W algebras are labeled by (conjugacy classes) of elements s of the Weyl group of G. The algebra W_q^s(G) is a quantization of a Poisson structure defined on the corresponding transversal slice in G with the help of Poisson reduction of a Poisson bracket associated to a Poisson--Lie group G^* dual to a quasitriangular Poisson-Lie group. We also define a quantum group counterpart of the category of generalized Gelfand-Graev representations and establish an equivalence between this category and the category of representations of the corresponding q-W algebra. The algebras W_q^s(G) can be regarded as quantum group counterparts of W-algebras. However, in general they are not deformations of the usual W-algebras.

Wall Crossing from Boltzmann Black Hole Halos

arXiv:1011.1258

J. Manschot, B. Pioline, A. Sen

.

A key question in the study of N=2 supersymmetric string or field theories is to understand the decay of BPS bound states across walls of marginal stability in the space of parameters or vacua. By representing the potentially unstable bound states as multi-centered black hole solutions in N=2 supergravity, we provide two fully general and explicit formulae for the change in the (refined) index across the wall. The first, "Higgs branch" formula relies on Reineke's results for invariants of quivers without oriented loops, specialized to the Abelian case. The second, "Coulomb branch" formula results from evaluating an integral over the classical phase space of multi-centered solutions by localization. We provide extensive evidence that these new formulae agree with each other and with the mathematical results of Kontsevich and Soibelman (KS) and Joyce and Song (JS). The main physical insight behind our results is that the Bose-Fermi statistics of individual black holes participating in the bound state can be traded for Maxwell-Boltzmann statistics, provided the (integer) index \Omega(\gamma) of the internal degrees of freedom carried by each black hole is replaced by an effective (rational) index \bar\Omega(\gamma)= \sum_{m\gamma} \Omega(\gamma/m)/m^2. A similar map also exists for the refined index. This observation provides a physical rationale for the appearance of the rational Donaldson-Thomas invariant \bar\Omega(\gamma) in the works of KS and JS. The simplicity of the wall crossing formula for rational invariants allows us to generalize the "semi-primitive wall-crossing formula" to arbitrary decays of the type \gamma\to M\gamma_1+N\gamma_2 with M=2,3.

Fivebrane instantons, topological wave functions and hypermultiplet moduli spaces

arXiv:1010.5792

S. Alexandrov, D. Persson, B. Pioline

.

We investigate quantum corrections to the hypermultiplet moduli space M in Calabi-Yau compactifications of type II string theories, with particular emphasis on instanton effects from Euclidean NS5-branes. Based on the consistency of D- and NS5-instanton corrections, we determine the topology of the hypermultiplet moduli space at fixed string coupling and Calabi-Yau metric, as previewed in arXiv:1009.3026. On the type IIB side, we compute corrections from (p,k)-fivebrane instantons to the metric on M (specifically, the correction to the complex contact structure on its twistor space Z) by applying S-duality to the D-instanton sum. For fixed fivebrane charge k, the corrections can be written as a non-Gaussian theta series, whose summand for k=1 reduces to the topological A-model amplitude. By mirror symmetry, instanton corrections induced from the chiral type IIA NS5-brane are similarly governed by the wave function of the topological B-model. In the course of this investigation we clarify charge quantization for coherent sheaves and find hitherto unnoticed corrections to the Heisenberg, monodromy and S-duality actions on M, as well as to the mirror map for Ramond-Ramond fields and D-brane charges.

T-Branes and Monodromy

arXiv:1010.5780

S. Cecotti, C. Cordova, J.J. Heckman, C. Vafa

.

We introduce T-branes, or "triangular branes," which are novel non-abelian bound states of branes characterized by the condition that on some loci, their matrix of normal deformations, or Higgs field, is upper triangular. These configurations refine the notion of monodromic branes which have recently played a key role in F-theory phenomenology. We show how localized matter living on complex codimension one subspaces emerge, and explain how to compute their Yukawa couplings, which are localized in complex codimension two. Not only do T-branes clarify what is meant by brane monodromy, they also open up a vast array of new possibilities both for phenomenological constructions and for purely theoretical applications. We show that for a general T-brane, the eigenvalues of the Higgs field can fail to capture the spectrum of localized modes. In particular, this provides a method for evading some constraints on F-theory GUTs which have assumed that the spectral equation for the Higgs field completely determines a local model.

Non-Perturbative Topological Strings And Conformal Blocks

arXiv:1010.4573

M.C.N. Cheng, R. Dijkgraaf, C. Vafa

.

We give a non-perturbative completion of a class of closed topological string theories in terms of building blocks of dual open strings. In the specific case where the open string is given by a matrix model these blocks correspond to a choice of integration contour. We then apply this definition to the AGT setup where the dual matrix model has logarithmic potential and is conjecturally equivalent to Liouville conformal field theory. By studying the natural contours of these matrix integrals and their monodromy properties, we propose a precise map between topological string blocks and Liouville conformal blocks. Remarkably, this description makes use of the light-cone diagrams of closed string field theory, where the critical points of the matrix potential correspond to string interaction points.

The Volume Conjecture, Perturbative Knot Invariants, and Recursion Relations for Topological Strings

arXiv:1010.4542

R. Dijkgraaf, H. Fuji, M. Manabe

.

We study the relation between perturbative knot invariants and the free energies defined by topological string theory on the character variety of the knot. Such a correspondence between SL(2;C) Chern-Simons gauge theory and the topological open string theory was proposed earlier on the basis of the volume conjecture and AJ conjecture. In this paper we discuss this correspondence beyond the subleading order in the perturbative expansion on both sides. In the computation of the perturbative invariants for the hyperbolic 3-manifold, we adopt the state integral model for the hyperbolic knots, and the factorized AJ conjecture for the torus knots. On the other hand, we iteratively compute the free energies on the character variety using the Eynard-Orantin topological recursion relation. We check the correspondence for the figure eight knot complement and the once punctured torus bundle over S^1 with the holonomy L^2R up to the fourth order. For the torus knots, we find trivial the recursion relations on both sides.

Shift versus Extension in Refined Partition Functions

arXiv:1010.2635

D. Krefl, J. Walcher

.

We have recently shown that the global behavior of the partition function of N=2 gauge theory in the general Omega-background is captured by special geometry in the guise of the (extended) holomorphic anomaly equation. We here analyze the fate of our results under the shift of the mass parameters of the gauge theory. The preferred value of the shift, noted previously in other contexts, restores the Z_2 symmetry of the instanton partition function under inversion of the Omega-background, and removes the extension. We comment on various connections.

Modular realizations of hyperbolic Weyl groups

arXiv:1010.2212

A. Kleinschmidt, H. Nicolai, J. Palmkvist

.

We study the recently discovered isomorphisms between hyperbolic Weyl groups and unfamiliar modular groups. These modular groups are defined over integer domains in normed division algebras, and we focus on the cases involving quaternions and octonions. We outline how to construct and analyse automorphic forms for these groups; their structure depends on the underlying arithmetic properties of the integer domains. We also give a new realization of the Weyl group W(E8) in terms of unit octavians and their automorphism group.

The uses of the refined matrix model recursion

arXiv:1010.1210

A. Brini, M. Marino, S. Stevan

.

We study matrix models in the beta ensemble by building on the refined recursion relation proposed by Chekhov and Eynard. We present explicit results for the first beta-deformed corrections in the one-cut and the two-cut cases, as well as two applications to supersymmetric gauge theories: the calculation of superpotentials in N=1 gauge theories, and the calculation of vevs of surface operators in superconformal N=2 theories and their Liouville duals. Finally, we study the beta deformation of the Chern-Simons matrix model. Our results indicate that this model does not provide an appropriate description of the Omega-deformed topological string on the resolved conifold, and therefore that the beta-deformation might provide a different generalization of topological string theory in toric Calabi-Yau backgrounds.

Polynomial Roots and Calabi-Yau Geometries

arXiv:1010.0656

Y.-H. He

.

The examination of roots of constrained polynomials dates back at least to Waring and to Littlewood. However, such delicate structures as fractals and holes have only recently been found. We study the space of roots to certain integer polynomials arising naturally in the context of Calabi-Yau spaces, notably Poincare and Newton polynomials, and observe various salient features and geometrical patterns.

Refined Wall-Crossing, Free Fermions and Crystal Melting

arXiv:1010.0348

H. Liu, J. Yang

.

In this paper, we use an M-theory model to conjecture the refined OSV formulas connecting the refined topological string partition function with the refined BPS states partition function for the toric Calabi-Yau threefolds without any compact four cycles. Further, we show how to use the vertex operators in 2d free fermions to reproduce the refined BPS states partition function for the $\mathbb{C}^3$ case and the wall-crossing formulas of the refined BPS states partition function for the resolved conifold and $\mathcal{O}(-2)\oplus\mathcal{O}\rightarrow \mathbb{P}^1$ cases.

A note on the automorphism group of the root lattice of the U-dual modular group

arXiv:1009.6069

M. Steiner

.

We study the inclusion system of the quantum deformed 2 dimensional Yang-Mills root module to the graded root module of the U-dual modular group. The irreducible representation of the U-dual modular group is the quantum deformed black brane throat. We expose the isomorphism between coherent superposition of the topological amplitude and the space of the automorphic forms of the U-dual modular group.

An $E_8$-approach to the moonshine vertex operator algebra

arXiv:1009.4752

H. Shimakura

.

In this article, we study the moonshine vertex operator algebra starting with the tensor product of three copies of the vertex operator algebra $V_{\sqrt2E_8}^+$, and describe it by the quadratic space over $\F_2$ associated to $V_{\sqrt2E_8}^+$. Using quadratic spaces and orthogonal groups, we show the transitivity of the automorphism group of the moonshine vertex operator algebra on the set of all full vertex operator subalgebras isomorphic to the tensor product of three copies of $V_{\sqrt2E_8}^+$, and determine the stabilizer of such a vertex operator subalgebra. Our approach is a vertex operator algebra analogue of "An $E_8$-approach to the Leech lattice and the Conway group" by Lepowsky and Meurman. Moreover, we find new analogies among the moonshine vertex operator algebra, the Leech lattice and the extended binary Golay code.

Logarithmic potential beta-ensembles and Feynman graphs

arXiv:1009.5940

L. Chekhov

.

We present the diagrammatic technique for calculating the free energy of the matrix eigenvalue model (the model with arbitrary power beta by the Vandermonde) to all orders of 1/N expansion in the case where the limiting eigenvalue distribution spans arbitrary (but fixed) number of disjoint intervals (curves) and when logarithmic terms are present. This diagrammatic technique is corrected and refined as compared to our first paper with B.Eynard of year 2006.

Topological expansion of beta-ensemble model and quantum algebraic geometry in the sectorwise approach

arXiv:1009.6007

L.O. Chekhov, B. Eynard, O. Marchal

.

We solve the loop equations of the $\beta$-ensemble model analogously to the solution found for the Hermitian matrices $\beta=1$. For \beta=1$, the solution was expressed using the algebraic spectral curve of equation $y^2=U(x)$. For arbitrary $\beta$, the spectral curve converts into a Schr\"odinger equation $((\hbar\partial)^2-U(x))\psi(x)=0$ with $\hbar\propto (\sqrt\beta-1/\sqrt\beta)/N$. This paper is similar to the sister paper~I, in particular, all the main ingredients specific for the algebraic solution of the problem remain the same, but here we present the second approach to finding a solution of loop equations using sectorwise definition of resolvents. Being technically more involved, it allows defining consistently the B-cycle structure of the obtained quantum algebraic curve (a D-module of the form $y^2-U(x)$, where $[y,x]=\hbar$) and to construct explicitly the correlation functions and the corresponding symplectic invariants $F_h$, or the terms of the free energy, in 1/N^2$-expansion at arbitrary $\hbar$. The set of "flat" coordinates comprises the potential times $t_k$ and the occupation numbers \widetilde{\epsilon}_\alpha$. We define and investigate the properties of the A- and B-cycles, forms of 1st, 2nd and 3rd kind, and the Riemann bilinear identities. We use these identities to find explicitly the singular part of $\mathcal F_0$ that depends exclusively on $\widetilde{\epsilon}_\alpha$.

A New Look At The Path Integral Of Quantum Mechanics

arXiv:1009.6032

E. Witten

.

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.

Spontaneous supersymmetry breaking in matrix models from the viewpoints of localization and Nicolai mapping

arXiv:1009.6097

T. Kuroki, F. Sugino

.

In the previous work, it was shown that, in supersymmetric (matrix) discretized quantum mechanics, inclusion of an external field twisting the boundary condition of fermions enables us to discuss spontaneous breaking of supersymmetry (SUSY) in the path-integral formalism in a well-defined way. In the present work, we continue investigating the same systems from the points of view of localization and Nicolai mapping. The localization is studied by changing of integration variables in the path integral, which is applicable whether or not SUSY is explicitly broken. We examine in detail how the integrand of the partition function with respect to the integral over the auxiliary field behaves as the auxiliary field vanishes, which clarifies a mechanism of the localization. In SUSY matrix models, we obtain a matrix-model generalization of the localization formula. In terms of eigenvalues of matrix variables, we observe that eigenvalues' dynamics is governed by balance of attractive force from the localization and repulsive force from the Vandermonde determinant. The approach of the Nicolai mapping works even in the presence of the external field. It enables us to compute the partition function of SUSY matrix models for finite N (N is the rank of matrices) with arbitrary superpotential at least in the leading nontrivial order of an expansion with respect to the small external field. We confirm the restoration of SUSY in the large-N limit of a SUSY matrix model with a double-well scalar potential observed in the previous work.

Classical theta constants vs. lattice theta series, and super string partition functions

arXiv:1009.4133

F.D. Piazza, D. Girola, S.L. Cacciatori

.

Recently, various possible expressions for the vacuum-to-vacuum superstring amplitudes has been proposed at genus $g=3,4,5$. To compare the different proposals, here we will present a careful analysis of the comparison between the two main technical tools adopted to realize the proposals: the classical theta constants and the lattice theta series. We compute the relevant Fourier coefficients in order to relate the two spaces. We will prove the equivalence up to genus 4. In genus five we will show that the solutions are equivalent modulo the Schottky form and coincide if we impose the vanishing of the cosmological constant.

Permutation Weights and Modular Poincare Polynomials for Affine Lie Algebras

arXiv:1009.3347

M. Gungormez, H.R. Karadayi

.

Poincare Polynomial of a Kac-Moody Lie algebra can be obtained by classifying the Weyl orbit $W(\rho)$ of its Weyl vector $\rho$. A remarkable fact for Affine Lie algebras is that the number of elements of $W(\rho)$ is finite at each and every depth level though totally it has infinite number of elements. This allows us to look at $W(\rho)$ as a manifold graded by depths of its elements and hence a new kind of Poincare Polynomial is defined. We give these polynomials for all Affine Kac-Moody Lie algebras, non-twisted or twisted. The remarkable fact is however that, on the contrary to the ones which are classically defined,these new kind of Poincare polynomials have modular properties, namely they all are expressed in the form of eta-quotients. When one recalls Weyl-Kac character formula for irreducible characters, it is natural to think that this modularity properties could be directly related with Kac-Peterson theorem which says affine characters have modular properties. Another point to emphasize is the relation between these modular Poincare Polynomials and the Permutation Weights which we previously introduced for Finite and also Affine Lie algebras. By the aid of permutation weights, we have shown that Weyl orbits of an Affine Lie algebra are decomposed in the form of direct sum of Weyl orbits of its horizontal Lie algebra and this new kind of Poincare Polynomials count exactly these permutation weights at each and every level of weight depths.

E11, generalised space-time and IIA string theory

arXiv:1009.2624

P. West

.

As advocated in hep-th/0307098 we construct the non-linear realisation of the semi-direct product of E11 and its first fundamental representation at lowest level from the IIA viewpoint. We find a theory that is SO(10,10)x GL(1) invariant and contains the fields of gravity, a two form and a dilaton but which depend on coordinates which belong to the vector representation of SO(10,10). The resulting Lagrangian agrees that of recent work on the so called doubled field theory. However, the construction given in this paper is straightforward and systematic. It also reveals the relevant underlying symmetries and opens the way to include the Ramond-Ramond, and higher level, fields together with additional coordinates of the generalised space-time.

Large deviations of the maximal eigenvalue of random matrices

arXiv:1009.1945

G. Borot, B. Eynard, S. Majumdar, C. Nadal

.

We present detailed computations of the 'at least finite' terms (three dominant orders) of the free energy in a one-cut matrix model with a hard edge a, in beta-ensembles, with any polynomial potential. beta is such that Re(beta) > 0, so not restricted to the standard values beta = 1 (hermitian matrices), beta = 1/2 (symmetric matrices), beta = 2 (quaternionic self-dual matrices). This model allows to study the statistic of the maximum eigenvalue of random matrices. We compute the large deviation function to the left of the expected maximum. We specialize our results to the gaussian beta-ensembles and check them numerically. Our method is based on general results and procedures already developed in the literature to solve the Pastur equations (also called "loop equations"). It allows to compute the left tail of the analog of Tracy-Widom laws for any beta, including the constant term.

N = 1 SCFTs from Brane Monodromy

arXiv:1009.0017

J.J. Heckman, Y. Tachikawa, C. Vafa, B. Wecht

.

We present evidence for a new class of strongly coupled N = 1 superconformal field theories (SCFTs) motivated by F-theory GUT constructions. These SCFTs arise from D3-brane probes of tilted seven-branes which undergo monodromy. In the probe theory, this tilting corresponds to an N = 1 deformation of an N = 2 SCFT by a matrix of field-dependent masses with non-trivial branch cuts in the eigenvalues. Though these eigenvalues characterize the geometry, we find that they do not uniquely specify the holomorphic data of the physical theory. We also comment on some phenomenological aspects of how these theories can couple to the visible sector. Our construction can be applied to many N = 2 SCFTs, resulting in a large new class of N = 1 SCFTs.

Note on Twisted Elliptic Genus of K3 Surface

arXiv:1008.4924

T. Eguchi, K. Hikami

.

We discuss the possibility of Mathieu group M24 acting as symmetry group on the K3 elliptic genus as proposed recently by Ooguri, Tachikawa and one of the present authors. One way of testing this proposal is to derive the twisted elliptic genera for all conjugacy classes of M24 so that we can determine the unique decomposition of expansion coefficients of K3 elliptic genus into irreducible representations of M24. In this paper we obtain all the hitherto unknown twisted elliptic genera and find a strong evidence of Mathieu moonshine.

Mathieu Moonshine in the elliptic genus of K3

arXiv:1008.3778

M.R. Gaberdiel, S. Hohenegger, R. Volpato

.

It has recently been conjectured that the elliptic genus of K3 can be written in terms of dimensions of Mathieu group M24 representations. Some further evidence for this idea was subsequently found by studying the twining genera that are obtained from the elliptic genus upon replacing dimensions of Mathieu group representations by their characters. In this paper we find explicit formulae for all (remaining) twining genera by making an educated guess for their general modular properties. This allows us to identify the decomposition of all expansion coefficients in terms of dimensions of M24-representations. For the first 500 coefficients we verify that the multiplicities with which these representations appear are indeed all non-negative integers. This represents very compelling evidence in favour of the conjecture.

The Orbifold Topological Vertex

arXiv:1008.4205

J. Bryan, C. Cadman, B. Young

.

We define Donaldson-Thomas invariants of Calabi-Yau orbifolds and we develop a topological vertex formalism for computing them. The basic combinatorial object is the orbifold vertex, a generating function for the number of 3D partitions asymptotic to three given 2D partitions and colored by representations of a finite Abelian group G acting on C^3. In the case where G=Z_n acting on C^3 with transverse A_{n-1} quotient singularities, we give an explicit formula for the vertex in terms of Schur functions. We discuss applications of our formalism to the Donaldson-Thomas Crepant Resolution Conjecture and to the orbifold Donaldson-Thomas/Gromov-Witten correspondence. We also explicitly compute the Donaldson-Thomas partition function for some simple orbifold geometries: the local football and the local BZ_2 gerbe.

How Do Black Holes Predict the Sign of the Fourier Coefficients of Siegel Modular Forms?

arXiv:1008.4209

A. Sen

.

Single centered supersymmetric black holes in four dimensions have spherically symmetric horizon and hence carry zero angular momentum. This leads to a specific sign of the helicity trace index associated with these black holes. Since the latter are given by the Fourier expansion coefficients of appropriate meromorphic modular forms of Sp(2,Z) or its subgroup, we are led to a specific prediction for the signs of a subset of these Fourier coefficients which represent contributions from single centered black holes only. We explicitly test these predictions for the modular forms which compute the index of quarter BPS black holes in heterotic string theory on T^6, as well as in Z_N CHL models for N=2,3,5,7.

New recursive residue formulas for the topological expansion of the Cauchy Matrix Model

arXiv:0912.2984

A.P. Ferrer

.

In a recent work [1] we consider the topological expansion for the non-mixed observables (including the free energy) for the formal Cauchy matrix model. The only restriction in [1] was the fact that all the branch points have to be simple. This excludes a very interesting situation not encountered in the literature before, namely the case in which two branch points merge in such a way that no cycle is pinched. In this work we focus on this situation and derive new formulas that apply to non-simple and non-singular branch-points.

Affine sl(N) conformal blocks from N=2 SU(N) gauge theories

arXiv:1008.1412

C. Kozcaz, S. Pasquetti, F. Passerini, N. Wyllard

.

Recently Alday and Tachikawa proposed a relation between conformal blocks in a two-dimensional theory with affine sl(2) symmetry and instanton partition functions in four-dimensional conformal N=2 SU(2) quiver gauge theories in the presence of a certain surface operator. In this paper we extend this proposal to a relation between conformal blocks in theories with affine sl(N) symmetry and instanton partition functions in conformal N=2 SU(N) quiver gauge theories in the presence of a surface operator. We also discuss the extension to non-conformal N=2 SU(N) theories.

Localization with a Surface Operator, Irregular Conformal Blocks and Open Topological String

arXiv:1008.0574

H. Awata, H. Fuji, H. Kanno, M. Manabe, Y. Yamada

.

We compute the instanton partition function in the presence of the surface operator by the localization formula on the moduli space, which is called the affine Laumon space in mathematics. For SU(2) theories we find an exact agreement with CFT correlation functions with a degenerate operator insertion, which enables us to work out the decoupling limit of the superconformal theory with four flavors to asymptotically free theories at the level of differential equations for CFT correlation functions (irregular conformal blocks). We also argue that the K theory (or five dimensional) lift of these computations gives open topological string amplitudes on local Hirzebruch surface and its blow ups, which is regarded as a geometric engineering of the surface operator. By computing the amplitudes in both A and B models we collect convincing evidences of the agreement of the instanton partition function with surface operator and the partition function of open topological string.

U-dual fluxes and Generalized Geometry

arXiv:1007.5509

G. Aldazabal, E. Andres, P.G. Camara, M. Graña

.

We perform a systematic analysis of generic string flux compactifications, making use of Exceptional Generalized Geometry (EGG) as an organizing principle. In particular, we establish the precise map between fluxes, gaugings of maximal 4d supergravity and EGG, identifying the complete set of gaugings that admit an uplift to 10d heterotic or type IIB supegravity backgrounds. Our results reveal a rich structure, involving new deformations of 10d supergravity backgrounds, such as the RR counterparts of the $\beta$-deformation. These new deformations are expected to provide the natural extension of the $\beta$-deformation to full-fledged F-theory backgrounds. Our analysis also provides some clues on the 10d origin of some of the particularly less understood gaugings of 4d supergravity. Finally, we derive the explicit expression for the effective superpotential in arbitrary N = 1 heterotic or type IIB orientifold compactifications, for all the allowed fluxes.

Eisenstein type series for Calabi-Yau varieties

arXiv:1007.4181

H. Movasati

.

In this article we introduce an ordinary differential equation associated to the one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of smooth quintic three folds. It is satisfied by seven functions written in the $q$-expansion form and the Yukawa coupling turns out to be rational in these functions. This is a generalization of the Ramanujan differential equation satisfied by three Eisenstein series.

On braided zeta functions

arXiv:1007.5084

S. Majid, I. Tomasic

.

We propose a ribbon braided category approach to zeta-functions in $q$-deformed geometry. As a proof of concept we compute $\zeta_t(C^n)$ where $C^n$ is viewed as the standard representation in the category of modules of $U_q(sl_n)$. We conjecture that the same $\zeta_t(C^n)$ is obtained for the $n$-dimensional representation in the category of $U_q(sl_2)$ modules. We show that this implies the generating function for the decomposition into irreducibles of the symmetric tensor products $S^j(V)$ for $V$ an irreducible representation of $sl_2$. We discuss $\zeta_t(C_q(S^2))$ for the standard $q$-deformed sphere.

Genus Two Partition and Correlation Functions for Fermionic Vertex Operator Superalgebras I

arXiv:1007.5203

M.P. Tuite, A. Zuevsky

.

We define the partition and $n$-point correlation functions for a vertex operator superalgebra on a genus two Riemann surface formed by sewing two tori together. For the free fermion vertex operator superalgebra we obtain a closed formula for the genus two continuous orbifold partition function in terms of an infinite dimensional determinant with entries arising from torus Szeg\"o kernels. We prove that the partition function is holomorphic in the sewing parameters on a given suitable domain and describe its modular properties. Using the bosonized formalism, a new genus two Jacobi product identity is described for the Riemann theta series. We compute and discuss the modular properties of the generating function for all $n$-point functions in terms of a genus two Szeg\"o kernel determinant. We also show that the Virasoro vector one point function satisfies a genus two Ward identity.

$E_{11}$, Borcherds algebras and maximal supergravity

arXiv:1007.5241

M. Henneaux, B.L. Julia, J. Levie

.

The dynamical $p$-forms of torus reductions of maximal supergravity theory have been shown some time ago to enjoy remarkable algebraic structures. The set (``dynamical spectrum") of propagating $p$-forms has been described by a (truncation of a) real Borcherds superalgebra $\mf{V}_D$ that is characterized concisely by a Cartan matrix which has been constructed explicitly for each spacetime dimension $11 \geq D \geq 3$. A slightly milder truncation of the Borcherds superalgebra enables one to predict also the ``spectrum'' of the non-dynamical $(D-1)$ and $D$-forms. The maximal supergravity $p$-form spectra were reanalyzed more recently by truncation of the field spectrum of $E_{11}$ to the $p$-forms relevant after reduction from $11$ to $D$ dimensions. We show in this paper how the Borcherds description can be systematically derived from the split ("maximally non compact") real form of $E_{11}$ for $D \geq 1$. This explains not only why both structures lead to the same propagating p-forms and their duals for $p\leq (D-2)$, but also why one obtains the same $(D-1)$-forms and top $D$-forms. The Borcherds symmetries $\mf{V}_2$ and $\mf{V}_1$ are new too.

Wall-crossing of D4-D2-D0 and flop of the conifold

arXiv:1007.2731

T. Nishinaka, S. Yamaguchi

.

We discuss the wall-crossing of the BPS bound states of a non-compact holomorphic D4-brane with D2 and D0-branes on the conifold. We use the Kontsevich-Soibelman wall-crossing formula and analyze the BPS degeneracy in various chambers. In particular we obtain a relation between BPS degeneracies in two limiting attractor chambers related by a flop transition. Our result is consistent with known results and predicts BPS degeneracies in all chambers.

Equidistribution rates, genus $g$ closed string amplitudes, and the Riemann Hypothesis

arXiv:1007.3717

S.L. Cacciatori, M. Cardella

.

Equidistribution of unipotent averages of $Sp(2g,\mathbb{R})$ automorphic forms is discussed by using analytic methods. We find that certain values of the equidistribution convergence rates are only compatible with the Riemann Hypothesis. These results have applications in String Theory by using modular functions appearing in recently proposed genus $g \ge 2$ closed string amplitudes. The Potential mathematical advantages of obtaining a mapping of the equidistribution convergence rates into corresponding quantities appearing in String Theory is also outlined.

From weak to strong coupling in ABJM theory

arXiv:1007.3837

N. Drukker, M. Marino, P. Putrov

.

The partition function of N=6 supersymmetric Chern-Simons-matter theory (known as ABJM theory) on S^3, as well as certain Wilson loop observables, are captured by a zero dimensional super-matrix model. This super-matrix model is closely related to a matrix model describing topological Chern-Simons theory on a lens space. We explore further these recent observations and extract more exact results in ABJM theory from the matrix model. In particular we calculate the planar free energy, which matches at strong coupling the classical IIA supergravity action on AdS_4 x CP^3 and gives the correct N^{3/2} scaling for the number of degrees of freedom of the M2 brane theory. Furthermore we find contributions coming from world-sheet instanton corrections in CP^3. We also calculate non-planar corrections, both to the free energy and to the Wilson loop expectation values. This matrix model appears also in the study of topological strings on a toric Calabi-Yau manifold, and an intriguing connection arises between the space of couplings of the planar ABJM theory and the moduli space of this Calabi-Yau. In particular it suggests that, in addition to the usual perturbative and strong coupling (AdS) expansions, a third natural expansion locus is the line where one of the two 't Hooft couplings vanishes and the other is finite. This is the conifold locus of the Calabi-Yau, and leads to an expansion around topological Chern-Simons theory. We present some explicit results for the partition function and Wilson loop observables around this locus.

A matrix model for the topological string II: The spectral curve and mirror geometry

arXiv:1007.2194

B. Eynard, A.-K. Kashani-Poor, O. Marchal

.

In a previous paper, we presented a matrix model reproducing the topological string partition function on an arbitrary given toric Calabi-Yau manifold. Here, we study the spectral curve of our matrix model and thus derive, upon imposing certain minimality assumptions on the spectral curve, the large volume limit of the BKMP "remodeling the B-model" conjecture, the claim that Gromov-Witten invariants of any toric Calabi-Yau 3-fold coincide with the spectral invariants of its mirror curve.

Surface Operator, Bubbling Calabi-Yau and AGT Relation

arXiv:1007.2524

M. Taki

.

Surface operators in $\mathcal{N}=2$ four-dimensional gauge theories are interesting half-BPS objects. These operators succeed to the mysterious connection with the Liouville conformal field theory, which was discovered by Alday, Gaiotto and Tachikawa. Moreover it has been proposed that toric branes in the A-model topological strings lead to surface operators via the geometric engineering. We analyze the surface operators by making good use of topological string theory. Starting from this point of view, we propose that the wave-function behavior of the topological open string amplitudes geometrically engineers the surface operator partition functions and the Gaiotto curves of corresponding gauge theories. We then study a peculiar feature that the surface operator corresponds to the insertion of the degenerate fields in the conformal field theory side. We show that this aspect can be realized as the geometric transition in topological string theory, and the insertion of a surface operator leads to the bubbling of the toric Calabi-Yau geometry.

Orthogonal Quantum Group Invariants of Links

arXiv:1007.1656

L. Chen, Q. Chen

.

We study the Chern-Simons partition function of orthogonal quantum group invariants, and propose a new orthogonal Labastida-Mari\~{n}o-Ooguri-Vafa conjecture as well as degree conjecture for free energy associated to the orthogonal Chern-Simons partition function. We prove the degree conjecture and some interesting cases of orthogonal LMOV conjecture. In particular, We provide a formula of colored Kauffman polynomials for torus knots and links, and applied this formula to verify certain case of the conjecture at roots of unity except $1$. We also derive formulas of Lickorish-Millett type for Kauffman polynomials and relate all these to the orthogonal LMOV conjecture.

An Exceptional Sector for F-theory GUTs

arXiv:1006.5459

J.J. Heckman, C. Vafa

.

D3-branes are often a necessary ingredient in global compactifications of F-theory. In minimal realizations of flavor hierarchies in F-theory GUT models, suitable fluxes are turned on, which in turn attract D3-branes to the Yukawa points. Of particular importance are ``E-type'' Yukawa points, as they are required to realize a large top quark mass. In this paper we study the worldvolume theory of a D3-brane probing such an E-point. D3-brane probes of isolated exceptional singularities lead to strongly coupled N = 2 CFTs of the type found by Minahan and Nemeschansky. We show that the local data of an E-point probe theory determines an N = 1 deformation of the original N = 2 theory which couples this strongly interacting CFT to a free hypermultiplet. Monodromy in the seven-brane configuration translates to a novel class of deformations of the CFT. We study how the probe theory couples to the Standard Model, determining the most relevant F-term couplings, the effect of the probe on the running of the Standard Model gauge couplings, as well as possible sources of kinetic mixing with the Standard Model.

Mass Equidistribution for Automorphic Forms of Cohomological Type on GL_2

arXiv:1006.3305

S. Marshall

.

We extend Holowinsky and Soundararajan's proof of quantum unique ergodicity for holomorphic Hecke modular forms on SL(2,Z), by establishing it for automorphic forms of cohomological type on GL_2 over an arbitrary number field which satisfy the Ramanujan bounds. In particular, we have uncondtional theorems over totally real and imaginary quadratic fields. In the totally real case we show that our result implies the equidistribution of the zero divisors of holomorphic Hecke modular forms, generalising a result of Rudnick over Q.

Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants

arXiv:1006.2706

M. Kontsevich, Y. Soibelman

.

We define a new type of Hall algebras associated e.g. with quivers with polynomial potentials. The main difference with the conventional definition is that we use cohomology of the stack of representations instead of constructible sheaves or functions. In order to take into account the potential we introduce a generalization of theory of mixed Hodge structures, related to exponential integrals. Generating series of our Cohomological Hall algebra is a generalization of the motivic Donaldson-Thomas invariants introduced in arXiv:0811.2435. Also we prove a new integrality property of motivic Donaldson-Thomas invariants.

R-Twisting and 4d/2d Correspondences

arXiv:1006.3435

S. Cecotti, A. Neitzke, C. Vafa

.

We show how aspects of the R-charge of N=2 CFTs in four dimensions are encoded in the q-deformed Kontsevich-Soibelman monodromy operator, built from their dyon spectra. In particular, the monodromy operator should have finite order if the R-charges are rational. We verify this for a number of examples including those arising from pairs of ADE singularities on a Calabi-Yau threefold (some of which are dual to 6d (2,0) ADE theories suitably fibered over the plane). In these cases we find that our monodromy maps to that of the Y-systems, studied by Zamolodchikov in the context of TBA. Moreover we find that the trace of the (fractional) q-deformed KS monodromy is given by the characters of 2d conformal field theories associated to the corresponding TBA (i.e. integrable deformations of the generalized parafermionic systems). The Verlinde algebra gets realized through evaluation of line operators at the loci of the associated hyperKahler manifold fixed under R-symmetry action. Moreover, we propose how the TBA system arises as part of the N=2 theory in 4 dimensions. Finally, we initiate a classification of N=2 superconformal theories in 4 dimensions based on their quiver data and find that this classification problem is mapped to the classification of N=2 theories in 2 dimensions, and use this to classify all the 4d, N=2 theories with up to 3 generators for BPS states.

BKM Lie superalgebras from counting twisted CHL dyons

arXiv:1006.3472

S. Govindarajan

.

Following Sen[arXiv:0911.1563], we study the counting of (`twisted') BPS states that contribute to twisted helicity trace indices in four-dimensional CHL models with N=4 supersymmetry. The generating functions of half-BPS states, twisted as well as untwisted, are given in terms of multiplicative eta products with the Mathieu group, M_{24}, playing an important role. These multiplicative eta products enable us to construct Siegel modular forms that count twisted quarter-BPS states. The square-roots of these Siegel modular forms turn out be precisely a special class of Siegel modular forms, the dd-modular forms, that have been classified by Clery and Gritsenko[arXiv:0812.3962]. We show that each one of these dd-modular forms arise as the Weyl-Kac-Borcherds denominator formula of a rank-three Borcherds-Kac-Moody Lie superalgebra. The walls of the Weyl chamber are in one-to-one correspondence with the walls of marginal stability in the corresponding CHL model for twisted dyons as well as untwisted ones. This leads to a periodic table of BKM Lie superalgebras with properties that are consistent with physical expectations.

Wall Crossing, Quivers and Crystals

arXiv:1006.2113

M. Aganagic, K. Schaeffer

.

We study the spectrum of BPS D-branes on a Calabi-Yau manifold using the 0+1 dimensional quiver gauge theory that describes the dynamics of the branes at low energies. The results of Kontsevich and Soibelman predict how the degeneracies change. We argue that Seiberg dualities of the quiver gauge theories, which change the basis of BPS states, correspond to crossing the "walls of the second kind." There is a large class of examples, including local del Pezzo surfaces, where the BPS degeneracies of quivers corresponding to one D6 brane bound to arbitrary numbers of D4, D2 and D0 branes are counted by melting crystal configurations. We show that the melting crystals that arise are a discretization of the Calabi-Yau geometry. The shape of the crystal is determined by the Calabi-Yau geometry and the background B-field, and its microscopic structure by the quiver Q. We prove that the BPS degeneracies computed from Q and Q' are related by the Kontsevich Soibelman formula, using a geometric realization of the Seiberg duality in the crystal. We also show that, in the limit of infinite B-field, the combinatorics of crystals arising from the quivers becomes that of the topological vertex. We thus re-derive the Gromov-Witten/Donaldson-Thomas correspondence.

Knot Invariants and New Weight Systems from General 3D TFTs

arXiv:1006.1240

J. Qiu, M. Zabzine

.

We introduce and study the Wilson loops in a general 3D topological field theories (TFTs), and show that the expectation value of Wilson loops also gives knot invariants as in Chern-Simons theory. We study the TFTs within the Batalin-Vilkovisky (BV) and Alexandrov-Kontsevich-Schwarz-Zaboronsky (AKSZ) framework, and the Ward identities of these theories imply that the expectation value of the Wilson loop is a pairing of two dual constructions of (co)cycles of certain extended graph complex (extended from Kontsevich's graph complex to accommodate the Wilson loop). We also prove that there is an isomorphism between the same complex and certain extended Chevalley-Eilenberg complex of Hamiltonian vector fields. This isomorphism allows us to generalize the Lie algebra weight system for knots to weight systems associated with any homological vector field and its representations. As an example we construct knot invariants using holomorphic vector bundle over hyperKahler manifolds.

Vortex Counting and Lagrangian 3-manifolds

arXiv:1006.0977

T. Dimofte, S. Gukov, L. Hollands

.

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.