Saturday, December 24, 2011

Asymptotical behaviour of roots of infinite Coxeter groups I



Let W be an infinite Coxeter group. We initiate the study of the set E of limit points of "normalized" positive roots (representing the directions of the roots) of W. We show that E is contained in the isotropic cone of the bilinear form B associated to a geometric representation, and illustrate this property with numerous examples and pictures in rank 3 and 4. We also define a natural geometric action of W on E, and then we exhibit a countable subset of E, formed by limit points for the dihedral reflection subgroups of W. We explain that this subset can be built from the intersection with Q of the lines passing through two positive roots, and we establish that it is dense in E.

Friday, December 23, 2011

N=2 Quantum Field Theories and Their BPS Quivers



We explore the relationship between four-dimensional N=2 quantum field theories and their associated BPS quivers. For a wide class of theories including super-Yang-Mills theories, Argyres-Douglas models, and theories defined by M5-branes on punctured Riemann surfaces, there exists a quiver which implicitly characterizes the field theory. We study various aspects of this correspondence including the quiver interpretation of flavor symmetries, gauging, decoupling limits, and field theory dualities. In general a given quiver describes only a patch of the moduli space of the field theory, and a key role is played by quantum mechanical dualities, encoded by quiver mutations, which relate distinct quivers valid in different patches. Analyzing the consistency conditions imposed on the spectrum by these dualities results in a powerful and novel mutation method for determining the BPS states. We apply our method to determine the BPS spectrum in a wide class of examples, including the strong coupling spectrum of super-Yang-Mills with an ADE gauge group and fundamental matter, and trinion theories defined by M5-branes on spheres with three punctures.

Tuesday, December 13, 2011

Equivalence of Three Wall Crossing Formulae



The wall crossing formula of Kontsevich and Soibelman gives an implicit relation between the BPS indices on two sides of the wall of marginal stability by equating two symplectomorphisms constructed from the indices on two sides of the wall. The wall crossing formulae of Manschot, Pioline and the author give two apparently different explicit expressions for the BPS index on one side of the wall in terms of the BPS indices on the other side. We prove the equivalence of all the three formulae.

Thursday, December 8, 2011

Colored BPS Pyramid Partition Functions, Quivers and Cluster Transformations



We investigate the connections between flavored quivers, dimer models, and BPS pyramids for generic toric Calabi-Yau threefolds from various perspectives. We introduce a purely field theoretic definition of both finite and infinite pyramids in terms of quivers with flavors. These pyramids are associated to the counting of BPS invariants for generic toric Calabi-Yau threefolds. We discuss how cluster transformations provide an efficient recursive method for computing pyramid partition functions and show that the recursion is equivalent to the multidimensional octahedron recurrence. Transitions between different pyramids are related to Seiberg dualities, and we offer complimentary characterizations of these transitions in terms of the motion of zonotopes and duality webs. Our methods apply to completely general geometries including those with vanishing 4-cycles, which are associated to chiral quivers, thus overcoming one of the main limitations in the existing literature. We illustrate our ideas with explicit results for the infinite family of L^{a,b,c} geometries, dP_2, pseudo-dP_2, and dP_3. The counting of pyramid partitions for dP_1 gives rise to the Somos-4 sequence, while dP_2 and pseudo-dP_2 generate the Somos-5 sequence. Our results for dP_3 reproduce and extend those previously obtained for this theory, which were originally obtained from dimer shuffling.

Friday, December 2, 2011

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.

Thursday, December 1, 2011

Large N duality, lagrangian cycles, and algebraic knots



We consider knot invariants in the context of large $N$ transitions of topological strings. In particular we consider aspects of Lagrangian cycles associated to knots in the conifold geometry. We show how these can be explicity constructed in the case of algebraic knots. We use this explicit construction to explain a recent conjecture relating study of stable pairs on algebraic curves with HOMFLY polynomials. Furthermore, for torus knots, using the explicit construction of the Lagrangian cycle, we also give a direct A-model computation and recover the HOMFLY polynomial for this case.

Monday, November 21, 2011

Line operators on S^1$\times$R^3 and quantization of the Hitchin moduli space



We perform an exact localization calculation for the expectation values of Wilson-'t Hooft line operators in N=2 gauge theories on S^1xR^3. The expectation values are naturally expressed in terms of the complexified Fenchel-Nielsen coordinates, and form a quantum mechanically deformed algebra of functions on the associated Hitchin moduli space by Moyal multiplication. We propose that these expectation values are the Weyl transform of the Verlinde operators, which act on Liouville/Toda conformal blocks as difference operators. We demonstrate our proposal explicitly in SU(N) examples.

Thursday, November 17, 2011

Topological string amplitudes for the local half K3 surface



We study topological string amplitudes for the local half K3 surface. We develop a method of computing higher genus amplitudes along the lines of the direct integration formalism, making full use of the Seiberg-Witten curve expressed in terms of modular forms and E_8-invariant Jacobi forms. The Seiberg-Witten curve was constructed previously for the low-energy effective theory of the non-critical E-string theory in R^4 x T^2. We clarify how the amplitudes are written as polynomials in a finite number of generators expressed in terms of the Seiberg-Witten curve. We determine the coefficients of the polynomials by solving the holomorphic anomaly equation and the gap condition and construct the amplitudes explicitly up to genus three. The results encompass topological string amplitudes for all local del Pezzo surfaces.

Wednesday, November 16, 2011

Vector-Valued Modular Forms from the Mumford Form, Schottky-Igusa Form, Product of Thetanullwerte and the Amazing Klein Formula



Vector-valued Siegel modular forms are the natural generalization of the classical elliptic modular forms as seen by studying the cohomology of the universal abelian variety. We show that for g>=4, a new class of vector-valued modular forms, defined on the Teichmuller space, naturally appears from the Mumford forms, a question directly related to the Schottky problem. In this framework we show that the discriminant of the quadric associated to the complex curves of genus 4 is proportional to the square root of the products of Thetanullwerte \chi_{68}, which is a proof of the recently rediscovered Klein `amazing formula'. Furthermore, it turns out that the coefficients of such a quadric are derivatives of the Schottky-Igusa form evaluated at the Jacobian locus, implying new theta relations involving the latter, \chi_{68} and the theta series corresponding to the even unimodular lattices E_8\oplus E_8 and D_{16}^+. We also find, for g=4, a functional relation between the singular component of the theta divisor and the Riemann period matrix.

Tuesday, November 15, 2011

Small representations, string instantons, and Fourier modes of Eisenstein series (with an appendix by D. Ciubotaru and P. Trapa)



This paper concerns some novel features of maximal parabolic Eisenstein series at certain special values of their analytic parameter s. These series arise as coefficients in the R4 and D4R4 interactions in the low energy expansion of scattering amplitudes in maximally supersymmetric string theory reduced to D=10-d dimensions on a torus T^d, d<8. For each d these amplitudes are automorphic functions on the rank d+1 symmetry group E_d+1. Of particular significance is the orbit content of the Fourier modes of these series when expanded in three different parabolic subgroups, corresponding to certain limits of string theory. This is of interest in the classification of a variety of instantons that correspond to minimal or next-to-minimal BPS orbits. In the limit of decompactification from D to D+1 dimensions many such instantons are related to charged 1/2-BPS or 1/4-BPS black holes with euclidean world-lines wrapped around the large dimension. In a different limit the instantons give nonperturbative corrections to string perturbation theory, while in a third limit they describe nonperturbative contributions in eleven-dimensional supergravity. A proof is given that these three distinct Fourier expansions have certain vanishing coefficients that are expected from string theory. In particular, the Eisenstein series for these special values of s have markedly fewer Fourier coefficients than typical ones. The corresponding mathematics involves showing that the wavefront sets of the Eisenstein series are supported on only certain coadjoint nilpotent orbits - just the minimal and trivial orbits in the 1/2-BPS case, and just the next-to-minimal, minimal and trivial orbits in the 1/4-BPS case. Thus as a byproduct we demonstrate that the next-to-minimal representations occur automorphically for E6, E7, and E8, and hence the first two nontrivial low energy coefficients are exotic theta-functions.

Saturday, November 12, 2011

Stability spaces and quantum dilogarithms for (Calabi-Yau) Dynkin quivers



We study the spaces of stability conditions (in the sense of Bridgeland) for the bounded derived category of a Dynkin quiver Q and the finite-dimensional derived category of the Calabi-Yau-N Ginzburg algebra (a.k.a. N-preprojective algebra) associated to Q. We prove that such spaces are simply connected. In the Calabi-Yau case, we provide a topological realization of almost completed cluster tilting objects. Moreover, we give a combinatorial proof of the existence of Donanldson-Thomas invariants for Dynkin quivers.

Tuesday, November 8, 2011

Duality Invariant Actions and Generalised Geometry



We construct the non-linear realisation of the semi-direct product of E(11) and its first fundamental representation at lowest order and appropriate to spacetime dimensions four to seven. This leads to a non-linear realisation of the duality groups and introduces fields that depend on a generalised space which possess a generalised vielbein. We focus on the part of the generalised space on which the duality groups alone act and construct an invariant action.

Higher derivative type II string effective actions, automorphic forms and E11



By dimensionally reducing the ten-dimensional higher derivative type IIA string theory effective action we place constraints on the automorphic forms that appear in the effective action in lower dimensions. We propose a number of properties of such automorphic forms and consider the prospects that E11 can play a role in the formulation of the higher derivative string theory effective action.

Refined Hopf Link Revisited



We establish a relation between the refined Hopf link invariant and the S-matrix of the refined Chern-Simons theory. We show that the refined open string partition function corresponding to the Hopf link, calculated using the refined topological vertex, when expressed in the basis of Macdonald polynomials gives the S-matrix of the refined Chern-Simons theory.

Friday, October 28, 2011

Automorphic Black Holes as Probes of Extra Dimensions



Recent progress in the understanding of the statistical nature of black hole entropy shows that the counting functions in certain classes of models are determined by automorphic forms of higher rank. In this paper we combine these results with Langlands' reciprocity conjecture to view black holes as probes of the geometry of spacetime. This point of view can be applied in any framework leading to automorphic forms, independently of the degree of supersymmetry of the models. In the present work we focus on the class of Chaudhuri-Hockney-Lykken compactifications defined as quotients associated to $\mathZ_N$ groups. We show that the black hole entropy of these CHL$_N$ models can be derived from elliptic motives, thereby providing the simplest possible geometric building blocks of the Siegel type entropy count.

Wednesday, October 19, 2011

On Rademacher Sums, the Largest Mathieu Group, and the Holographic Modularity of Moonshine



Recently a conjecture has been proposed which attaches (mock) modular forms to the largest Mathieu group. This may be compared to monstrous moonshine, in which modular functions are attached to elements of the Monster group. One of the most remarkable aspects of monstrous moonshine is the following genus zero property: the modular functions turn out to be the generators for the function fields of their invariance groups. In particular, these invariance groups define genus zero quotients of the upper half plane. It is therefore natural to ask if there is an analogue of this property in the Mathieu case, and at first glance the answer appears to be negative since not all the discrete groups arising there have genus zero. On the other hand, in this article we prove that each (mock) modular form appearing in the Mathieu correspondence coincides with the Rademacher sum constructed from its polar part. This property, inspired by the AdS/CFT correspondence in physics, was shown previously to be equivalent to the genus zero property of monstrous moonshine. Hence we conclude that this "Rademacher summability" property serves as the natural analogue of the genus zero property in the Mathieu case. Our result constitutes further evidence that the Rademacher method provides a powerful framework for understanding the modularity of moonshine, and leads to interesting physical questions regarding the gravitational duals of the relevant conformal field theories.

Generating new dualities through the orbifold equivalence: a demonstration in ABJM and four-dimensional quivers



We show that the recently proposed large $N$ equivalence between ABJM theories with Chern-Simons terms of different rank and level, U(N_1)_{k_1}\times U(N_1)_{-k_1} and U(N_2)_{k_2}\times U(N_2)_{-k_2}, but the same value of N' =N_1 k_1=N_2 k_2, can be explained using planar equivalence in the mirror duals. The combination of S-dualities and orbifold equivalence can be applied to other cases as well, with very appealing results. As an example we show that two different quiver theories with k nodes can be easily shown to be Seiberg dual through the orbifold equivalence, but it requires order k^2 steps to give a proof when Seiberg duality is performed node by node.

Tuesday, October 18, 2011

ABJM theory as a Fermi gas



The partition function on the three-sphere of many supersymmetric Chern-Simons-matter theories reduces, by localization, to a matrix model. We develop a new method to study these models in the M-theory limit, but at all orders in the 1/N expansion. The method is based on reformulating the matrix model as the partition function of an ideal Fermi gas with a non-trivial, one-particle quantum Hamiltonian. This new approach leads to a completely elementary derivation of the N^{3/2} behavior for ABJM theory and other quiver Chern-Simons-matter theories. In addition, the full series of 1/N corrections to the original matrix integral can be simply determined by a next-to-leading calculation in the WKB or semiclassical expansion of the quantum gas, and we show that, for several quiver Chern-Simons-matter theories, it is given by an Airy function. This generalizes a recent result of Fuji, Hirano and Moriyama for ABJM theory. It turns out that the semiclassical expansion of the Fermi gas corresponds to a strong coupling expansion in type IIA theory, and it is dual to the genus expansion. This allows us to calculate explicitly non-perturbative effects due to D0 and D2-brane instantons in the AdS background.

A Note on the Partition Function of ABJM theory on S^3



We study the partition function Z of U(N)_k x U(N)_{-k} Chern-Simons matter theory (ABJM theory) on S^3 which is recently obtained by the localization method. We evaluate the eigenvalue integral in Z exactly for the N=2 case. We find that Z behaves differently for even k and odd k. If k is odd, Z is written as a sum of two parts, which we call the bulk part and the orbifold part. If k is even, Z has only the orbifold part. We comment on the possible implication of this result in the context of AdS/CFT correspondence.

Friday, October 14, 2011

Invariants of spectral curves and intersection theory of moduli spaces of complex curves



To any spectral curve S, we associate a topological class {\Lambda}(S) in a moduli space M^b_{g,n} of "b-colored" stable Riemann surfaces of given topology (genus g, n boundaries), whose integral coincides with the topological recursion invariants W_{g,n}(S) of the spectral curve S. This formula can be viewed as a generalization of the ELSV formula (whose spectral curve is the Lambert function and the associated class is the Hodge class), or Marino-Vafa formula (whose spectral curve is the mirror curve of the framed vertex, and the associated class is the product of 3 Hodge classes), but for an arbitrary spectral curve. In other words, to a B-model (i.e. a spectral curve) we systematically associate a mirror A-model (integral in a moduli space of "colored" Riemann surfaces). We find that the mirror map, i.e. the relationship between the A-model moduli and B-model moduli, is realized by the Laplace transform.

Thursday, October 13, 2011

Calabi-Yau Three-folds: Poincare Polynomials and Fractals



We study the Poincare polynomials of all known Calabi-Yau three-folds as constrained polynomials of Littlewood type, thus generalising the well-known investigation into the distribution of the Euler characteristic and Hodge numbers. We find interesting fractal behaviour in the roots of these polynomials in relation to the existence of isometries, distribution versus typicality, and mirror symmetry.

Dualities for 3d Theories with Tensor Matter



We study dualities for ${\cal N}=2$ 3d Chern-Simons matter theories with gauge groups U/Sp/O, matter in the two-index tensor representations (adjoint/symmetric/antisymmetric) in addition to the fundamental representation, and a superpotential. These dualities are analogous to Kutasov-Schwimmer-Seiberg dualities in 4d. We test them by computing the superconformal index and the partition function on $S^3$ for many dual pairs and find perfect agreement. In some cases we find a simple dual description for theories with tensor matter and no superpotential, thereby generalizing the "Duality Appetizer" of Jafferis and Yin to an infinite class of theories. We also investigate nonperturbative truncation of the chiral ring proposed in the context of 4d dualities.

Tuesday, October 11, 2011

Braids, Walls, and Mirrors



We construct 3d, N=2 supersymmetric gauge theories by considering a one-parameter `R-flow' of 4d, N=2 theories, where the central charges vary while preserving their phase order. Each BPS state in 4d leads to a BPS particle in 3d, and thus each chamber of the 4d theory leads to a distinct 3d theory. Pairs of 4d chambers related by wall-crossing, R-flow to mirror pairs of 3d theories. In particular, the 2-3 wall-crossing for the A_2 Argyres-Douglas theory leads to 3d mirror symmetry for N_f=1 SQED and the XYZ model. Although our formalism applies to arbitrary N=2 models, we focus on the case where the parent 4d theory consists of pairs of M5-branes wrapping a Riemann surface, and develop a general framework for describing 3d N=2 theories engineered by wrapping pairs of M5-branes on three-manifolds. Each 4d chamber, which corresponds to a dual 3d description, maps to a particular tetrahedral decomposition of the UV 3d geometry. In the IR the physics is captured by a single recombined M5-brane which is a branched double cover of the original UV three-manifold. The braiding of branch loci and the geometry of branch sheets play a key role in encoding the physics.

Tuesday, October 4, 2011

Twisted modules for N=2 supersymmetric vertex operator superalgebras arising from finite automorphisms of the N=2 Neveu-Schwarz algebra



Twisted modules for N=2 supersymmetric vertex operator superalgebras are studied for the vertex operator superalgebra automorophisms which are lifts of a finite automorphism of the N=2 Neveu-Schwarz Lie superalgebra representation. Such vertex operator superalgebra automorphisms exist for free and lattice N=2 vertex operator superalgebras, and twisted sectors corresponding to these vertex operator superalgebra automorphisms are constructed for all of the N=2 Neveu-Schwarz Lie superalgebra automorphisms of finite order. These include the Ramond-twisted sectors and mirror-twisted sectors for N=2 vertex operator superalgebras, as well as twisted modules related to more general "spectral flow" representations of the N=2 Neveu-Schwarz algebra. As a consequence, we also construct the Ramond-twisted sectors for N=1 supersymmetric vertex operator superalgebras. We show that the lifting of the mirror automorphism for the N=2 Neveu-Schwarz algebra to an N=2 vertex operator superalgebra is not unique and that different mirror map vertex operator superalgebra automorphisms of an N=2 vertex operator superalgebra can lead to non-isomorphic mirror-twisted modules, as in the case of free and lattice N=2 vertex operator superalgebras.

Friday, September 30, 2011

Bound States of String Theory and Beyond



All bound states of fundamental strings, D-branes and NS-branes of string theory, both type-IIA and type-IIB, which may be described by a null geodesic motion on the coset G/K(G) where G is a group of type A, D or E embedded within E(11) are presented.

Monday, September 26, 2011

BPS Quivers and Spectra of Complete N=2 Quantum Field Theories



We study the BPS spectra of N=2 complete quantum field theories in four dimensions. For examples that can be described by a pair of M5 branes on a punctured Riemann surface we explain how triangulations of the surface fix a BPS quiver and superpotential for the theory. The BPS spectrum can then be determined by solving the quantum mechanics problem encoded by the quiver. By analyzing the structure of this quantum mechanics we show that all asymptotically free examples, Argyres-Douglas models, and theories defined by punctured spheres and tori have a chamber with finitely many BPS states. In all such cases we determine the spectrum.

Sunday, September 25, 2011

BPS invariants of semi-stable sheaves on the projective plane and its blow-up



BPS invariants capture topological invariants of moduli spaces of sheaves. This article computes generating functions of the BPS invariants of semi-stable sheaves with rank 3 on the rationally ruled surface X and on the projective plane. To this end, a formula is proposed which counts the set of semi-stable sheaves on X whose restriction to the fibre is semi-stable. From this formula one can obtain the BPS invariants using filtrations of unstable sheaves. The calculations allow an iterative generalization to any rank >3.

Sunday, September 18, 2011

The Prime ideal Stratification and The Automorphism Group of $U^{+}_{r,s}(B_{2})$



Let ${\mathfrak g}$ be a finite dimensional complex simple Lie algebra, and let $r,s\in \mathbb{C}^{\ast}$ be transcendental over $\mathbb{Q}$ such that $r^{m}s^{n}=1$ implies $m=n=0$. We will obtain some basic properties of the two-parameter quantized enveloping algebra $U_{r,s}^{+}(\mathfrak g)$. In particular, we will verify that the algebra $U_{r,s}^{+}(\mathfrak g)$ satisfies many nice properties such as having normal separation, catenarity and Dixmier-Moeglin equivalence. We shall study a concrete example, the algebra $U_{r,s}^{+}(B_{2})$ in detail. We will first determine the normal elements, prime ideals and primitive ideals for the algebra $U_{r,s}^{+}(B_{2})$, and study their stratifications. Then we will prove that the algebra automorphism group of the algebra $U_{r,s}^{+}(B_{2})$ is isomorphic to $(\mathbb{C}^{\ast})^{2}$.

Comments on Non-holomorphic Modular Forms and Non-compact Superconformal Field Theories



We extend our previous work arXiv:1012.5721 [hep-th] on the non-compact N=2 SCFT_2 defined as the supersymmetric SL(2,R)/U(1)-gauged WZW model. Starting from path-integral calculations of torus partition functions of both the axial-type (`cigar') and the vector-type (`trumpet') models, we study general models of the Z_M-orbifolds and M-fold covers with an arbitrary integer M. We then extract contributions of the degenerate representations (`discrete characters') in such a way that good modular properties are preserved. The `modular completion' of the extended discrete characters introduced in arXiv:1012.5721 [hep-th] are found to play a central role as suitable building blocks in every model of orbifolds or covering spaces. We further examine a large M-limit (the `continuum limit'), which `deconstructs' the spectral flow orbits while keeping a suitable modular behavior. The discrete part of partition function as well as the elliptic genus is then expanded by the modular completions of irreducible discrete characters, which are parameterized by both continuous and discrete quantum numbers modular transformed in a mixed way. This limit is naturally identified with the universal cover of trumpet model. We finally discuss a classification of general modular invariants based on the modular completions of irreducible characters constructed above.

Monday, September 5, 2011

On Three-Dimensional Mirror Symmetry



Mirror Symmetry for a large class of three dimensional $\mathcal{N}=4$ supersymmetric gauge theories has a natural explanation in terms of M-theory compactified on a product of $\text{ALE}$ spaces. A pair of such mirror duals can be described as two different deformations of the eleven-dimensional supergravity background $\mathcal{M}=\mathbb{R}^{2,1} \times \text{ALE}_{1} \times \text{ALE}_{2}$, to which they flow in the deep IR. Using the $A-D-E$ classification of $\text{ALE}$ spaces, we present a neat way to catalogue dual quiver gauge theories that arise in this fashion. In addition to the well-known examples studied in \cite{Intriligator:1996ex}, \cite{deBoer:1996mp}, this procedure leads to new sets of dual theories. For a certain subset of dual theories which arise from the aforementioned M-theory background with an $A$-type $\text{ALE}_{1}$ and a $D$-type $\text{ALE}_2$, we verify the duality explicitly by a computation of partition functions of the theories on $S^3$, using localization techniques . We derive the relevant mirror map and discuss its agreement with predictions from the Type IIB brane construction for these theories.

4d Index to 3d Index and 2d TQFT



We compute the 4d superconformal index for N=1, 2 gauge theories on S^1 x L(p,q), where L(p,q) is a lens space. We find that the 4d N=1, 2 index on S^1 x L(p,1) reduces to a 3d N=2,4 index on S^1 x S^2 in the large p limit, and the 4d index on S^1 x L(p,q) to a 3d partition function on a squashed L(p,q) when the size of temporal S^1 shrinks to zero. As an application of our index, we study 4d N=2 superconformal field theories arising from the 6d (2,0) theory on a punctured Riemann surface, and conjecture the existence of a 2d TQFT on the Riemann surface whose correlation function coincides with the 4d N =2 index on S^1 x L(p,q).

Sunday, September 4, 2011

Beta-ensembles for toric orbifold partition function



We investigate combinatorics of the instanton partition function for the generic four dimensional toric orbifolds. It is shown that the orbifold projection can be implemented by taking the inhomogeneous root of unity limit of the q-deformed partition function. The asymptotics of the combinatorial partition function yields the multi-matrix model for a generic \beta, which is essential for the application to the AGT relation.

Monday, August 22, 2011

Instanton counting and wall-crossing for orbifold quivers



We summarize the main aspects of our recent construction of noncommutative Donaldson-Thomas invariants for abelian orbifold singularities via the enumeration of instanton solutions in a six-dimensional noncommutative N=2 gauge theory; this construction is based on the generalized McKay correspondence and identifies the instanton counting with the counting of framed representations of a quiver which is naturally associated to the geometry of the singularity. We extend these constructions to compute BPS partition functions for higher-rank refined and motivic noncommutative Donaldson-Thomas invariants in the Coulomb branch in terms of gauge theory variables and orbifold data. We introduce the notion of virtual instanton quiver associated with the natural symplectic charge lattice which governs the quantum wall-crossing behaviour of BPS states in this context. The McKay correspondence naturally connects our formalism with other approaches to wall-crossing based on quantum monodromy operators and cluster algebras.

Tuesday, August 16, 2011

On a proof of the Bouchard-Sulkowski conjecture



In this short note, we give a proof of the free energy part of the BKMP conjecture of C^3 proposed by Bouchard and Sulkowski [4]. Hence the proof of the full BKMP conjecture for the case of C^3 has been finished.

Monday, August 15, 2011

The remodeling conjecture and the Faber-Pandharipande formula



In this note, we prove that the free energies F_g constructed from the Eynard-Orantin topological recursion applied to the curve mirror to C^3 reproduce the Faber-Pandharipande formula for genus g Gromov-Witten invariants of C^3. This completes the proof of the remodeling conjecture for C^3.

Friday, August 5, 2011

BPS Saturated String Amplitudes: K3 Elliptic Genus and Igusa Cusp Form chi_{10}



We study BPS saturated one-loop amplitudes in type II string theory compactified on K3 x T^2. The classes of amplitudes we consider are only sensitive to the very basic topological data of the internal K3 manifold. As a consequence, the integrands of the former are related to the elliptic genus of K3, which can be decomposed into representations of the internal N=4 superconformal algebra. Depending on the precise choice of external states these amplitudes capture either only the contribution of the short multiplets or the full series including intermediate multiplets. In the latter case we can define a generating functional for the whole class, which we show is given by the weight ten Igusa cusp form chi_{10} of Sp(4,Z). We speculate on possible algebraic implications of our result on the BPS states of the N=4 type II compactification.

Moulting Black Holes



We find a family of novel supersymmetric phases of the D1-D5 CFT, which in certain ranges of charges have more entropy than all known ensembles. We also find bulk BPS configurations that exist in the same range of parameters as these phases, and have more entropy than a BMPV black hole; they can be thought of as coming from a BMPV black hole shedding a "hair" condensate outside of the horizon. The entropy of the bulk configurations is smaller than that of the CFT phases, which indicates that some of the CFT states are lifted at strong coupling. Neither the bulk nor the boundary phases are captured by the elliptic genus, which makes the coincidence of the phase boundaries particularly remarkable. Our configurations are supersymmetric, have non-Cardy-like entropy, and are the first instance of a black hole entropy enigma with a controlled CFT dual. Furthermore, contrary to common lore, these objects exist in a region of parameter space (between the "cosmic censorship bound" and the "unitarity bound") where no black holes were thought to exist.

Thursday, July 28, 2011

The heterotic string at high temperature (or with strong supersymmetry breaking)



Perturbative heterotic string theory develops a single complex tachyonic mode beyond the Hagedorn temperature. We calculate the quartic effective potential for this tachyonic mode at the critical temperature. Equivalently, we determine the quartic effective potential for strong supersymmetric breaking via anti-perdiodic boundary conditions for fermions on a small circle. We give many details of the heterotic tachyon scattering amplitudes, including a unitarity check to fix all normalization constants. We discuss difficulties in obtaining an effective action valid at all radii. We argue that in certain variables, the quartic term in the potential is radius independent. Speculations on the properties of a new strongly curved phase that could occur after tachyon condensation are offered.

Wednesday, July 27, 2011

Mirror of the refined topological vertex from a matrix model



We find an explicit matrix model computing the refined topological vertex, starting from its representation in terms of plane partitions. We then find the spectral curve of that matrix model, and thus the mirror symmetry of the refined vertex. With the same method we also find a matrix model for the strip geometry, and we find its mirror curve. The fact that there is a matrix model shows that the refined topological string amplitudes also satisfy the remodeling the B-model construction.

Affine SU(N) algebra from wall-crossings



We study the relation between the instanton counting on ALE spaces and the BPS state counting on a toric Calabi-Yau three-fold. We put a single D4-brane on a divisor isomorphic to A_{N-1}-ALE space in the Calabi-Yau three-fold, and evaluate the discrete changes of BPS partition function of D4-D2-D0 states in the wall-crossing phenomena. In particular, we find that the character of affine SU(N) algebra naturally arises in wall-crossings of D4-D2-D0 states. Our analysis is completely based on the wall-crossing formula for the d=4, N=2 supersymmetric theory obtained by dimensionally reducing the Calabi-Yau three-fold.

Gauge Theories on ALE Space and Super Liouville Correlation Functions



We present a relation between N=2 quiver gauge theories on the ALE space O_{P^1}(-2) and correlators of N=1 super Liouville conformal field theory, providing checks in the case of punctured spheres and tori. We derive a blow-up formula for the full Nekrasov partition function and show that, up to a U(1) factor, the N=2^* instanton partition function is given by the product of the character of \hat{SU}(2)_2 times the super Virasoro conformal block on the torus with one puncture.

Friday, July 22, 2011

Invariants of Toric Seiberg Duality



Three-branes at a given toric Calabi-Yau singularity lead to different phases of the conformal field theory related by toric (Seiberg) duality. Using the dimer model/brane tiling description in terms of bipartite graphs on a torus, we find a new invariant under Seiberg duality, namely the Klein j-invariant of the complex structure parameter in the distinguished isoradial embedding of the dimer, determined by the physical R-charges. Additional number theoretic invariants are described in terms of the algebraic number field of the R-charges. We also give a new compact description of the a-maximization procedure by introducing a generalized incidence matrix.

Wednesday, July 20, 2011

The overarching finite symmetry group of Kummer surfaces in the Mathieu group M_24



We construct a bijection between the full integral homology lattice of K3 and a Niemeier lattice, which is simultaneously compatible with the finite symplectic automorphism groups of several different Kummer K3 surfaces. Thereby we develop a device which allows us to express symplectic automorphisms of K3 surfaces explicitly as elements of the Mathieu group M_24, and to combine groups of symmetries from different K3 surfaces to larger groups by means of their simultaneous action on the Niemeier lattice. With this technique we generate the semidirect product group of C_2^4 and A_7, which is the overarching finite symmetry group of all Kummer surfaces, as the maximal subgroup of M_23 that preserves a specific octad. This group has order 40320, thus surpassing the size of the largest finite symplectic automorphism group of a K3 surface by orders of magnitude. The method used is based on Nikulin's lattice gluing techniques, and it identifies the symplectic automorphisms of Kummer surfaces as permutations of 24 elements preserving the Golay code. The examples of Kummer surfaces whose underlying complex tori are constructed from the D_4 and the square lattice are treated in detail, confirming the existence proofs of Mukai and Kondo, that their finite groups of symplectic automorphisms are subgroups of one of eleven subgroups of M_23. The framework presented here provides a line of attack to unravel the role of M_24 in the context of strings compactified on K3 surfaces.

Monday, July 18, 2011

Finite Time Vacuum Survival Amplitude and Vacuum Energy Decay



The problem of the vacuum energy decay is studied for both signs of the cosmological constant, through the analysis of the vacuum survival amplitude, defined in terms of the {\em conformal time}, $z$, by ${\mathcal A}(z,z^\prime)\equiv <\text{vac}\,z\text{vac}\,z^\prime>$. Transition amplitudes are computed for finite time-span, $Z\equiv z^\prime-z$, and their {\em late time} behavior (directly related to the putative decay width of the state) as well as the transients are discussed up to first order in the coupling constant, $\lambda$.

Thursday, July 14, 2011

Enhanced Gauge Groups in N=4 Topological Amplitudes and Lorentzian Borcherds Algebras



We continue our study of algebraic properties of N=4 topological amplitudes in heterotic string theory compactified on T^2, initiated in arXiv:1102.1821. In this work we evaluate a particular one-loop amplitude for any enhanced gauge group h \subset e_8 + e_8, i.e. for arbitrary choice of Wilson line moduli. We show that a certain analytic part of the result has an infinite product representation, where the product is taken over the positive roots of a Lorentzian Kac-Moody algebra g^{++}. The latter is obtained through double extension of the complement g= (e_8 + e_8)/h. The infinite product is automorphic with respect to a finite index subgroup of the full T-duality group SO(2,18;Z) and, through the philosophy of Borcherds-Gritsenko-Nikulin, this defines the denominator formula of a generalized Kac-Moody algebra G(g^{++}), which is an 'automorphic correction' of g^{++}. We explicitly give the root multiplicities of G(g^{++}) for a number of examples.

Thursday, June 30, 2011

Unravelling Mathieu Moonshine



The D1-D5-KK-p system naturally provides an infinite dimensional module graded by the dyonic charges whose dimensions are counted by the Igusa cusp form, Phi_{10}(Z)$. We show that the Mathieu group, M_{24}, acts on this module by recovering the Siegel modular forms that count twisted dyons as a trace over this module. This is done by recovering Borcherds product formulae for these modular forms using the M_{24} action. This establishes the correspondence (`moonshine') proposed in arXiv:0907.1410 that relates conjugacy classes of M_{24} to Siegel modular forms. This also, in a sense that we make precise, subsumes existing moonshines for M_{24} that relates its conjugacy classes to eta-products and Jacobi forms.

Tuesday, June 28, 2011

BPS states, crystals and matrices



We review free fermion, melting crystal and matrix model representations of wall-crossing phenomena on local, toric Calabi-Yau manifolds. We consider both unrefined and refined BPS counting of closed BPS states involving D2 and D0-branes bound to a D6-brane, as well as open BPS states involving open D2-branes ending on an additional D4-brane. Appropriate limit of these constructions provides, among the others, matrix model representation of refined and unrefined topological string amplitudes.

Sunday, June 26, 2011

Matter and singularities



We analyze the structure of matter representations arising from codimension two singularities in F-theory, focusing on gauge groups SU(N). We give a detailed local description of the geometry associated with several types of singularities and the associated matter representations. We also construct global F-theory models for 6D and 4D theories containing these matter representations. The codimension two singularities encountered include examples where the apparent Kodaira singularity type does not need to be completely resolved to produce a smooth Calabi-Yau, examples with rank enhancement by more than one, and examples where the 7-brane configuration is singular. We identify novel phase transitions, in some of which the gauge group remains fixed but the singularity type and associated matter content change along a continuous family of theories. Global analysis of 6D theories on P^2 with 7-branes wrapped on curves of small degree reproduces the range of 6D supergravity theories identified through anomaly cancellation and other consistency conditions. Analogous 4D models are constructed through global F-theory compactifications on P^3, and have a similar pattern of SU(N) matter content. This leads to a constraint on the matter content of a limited class of 4D supergravity theories containing SU(N) as a local factor of the gauge group.

Knot Invariants from Four-Dimensional Gauge Theory



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

Tuesday, June 21, 2011

|Z_{Kup}|=|Z_{Henn}|^2} for Lens spaces



M.\ Hennings and G.\ Kuperberg defined quantum invariants Z_{Henn} and Z_{Kup} of oriented 3-manifolds based on certain Hopf algebras, respectively. We prove that Z_{Kup}=Z_{Henn}^2 for lens spaces when both invariants are based on factorizable finite dimensional ribbon Hopf algebras. Recently a fermionic generalization of the Turaev-Viro state sum TQFTs is proposed using Grassmann variables. We conjecture that the Kuperberg invariants for non-semisimple Hopf algebras are the partition functions of such "TQFTs for fermion systems".

Adelization of Automorphic Distributions and Mirabolic Eisenstein Series



Automorphic representations can be studied in terms of the embeddings of abstract models of representations into spaces of functions on Lie groups that are invariant under discrete subgroups. In this paper we describe an adelic framework to describe them for the group GL(n,R), and provide a detailed analysis of the automorphic distributions associated to the mirabolic Eisenstein series. We give an explicit functional equation for some distributional pairings involving this mirabolic Eisenstein distribution, and the action of intertwining operators.

Categorification of highest weight modules over quantum generalized Kac-Moody algebras



Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(\Lambda)$ be the integrable highest weight $U_q(\g)$-module with highest weight $\Lambda$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^\Lambda$ provides a categorification of $V(\Lambda)$.

Tuesday, June 14, 2011

Partition Functions of Holographic Minimal Models



The partition function of the W_N minimal model CFT is computed in the large N 't Hooft limit and compared to the spectrum of the proposed holographic dual, a 3d higher spin gravity theory coupled to massive scalar fields. At finite N, the CFT contains additional light states that are not visible in the perturbative gravity theory. We carefully define the large N limit, and give evidence that, at N = infinity, the additional states become null and decouple from all correlation functions. The surviving states are shown to match precisely (for all values of the 't Hooft coupling) with the spectrum of the higher spin gravity theory. The agreement between bulk and boundary is partially explained by symmetry considerations involving the conjectured equivalence between the W_N algebra in the large N limit and the higher spin algebra of the Vasiliev theory.

Thursday, June 9, 2011

An(1) Affine Quiver Matrix Model



We introduce An(1) (n=1,2,...) affine quiver matrix model by simply adopting the extended Cartan matrices as incidence matrices and study its finite N Schwinger-Dyson equations as well as their planar limit. In the case of n=1, we extend our analysis to derive the cubic planar loop equation for one-parameter family of models labelled by alpha: alpha=1 and alpha=2 correspond to the non-affine A2 case and the affine A1(1) case respectively. In the case of n=2, we derive three sets of constraint equations for the resolvents which are quadratic, cubic and quartic respectively.

Wednesday, June 8, 2011

BKM superalgebras from counting dyons in N=4 supersymmetric type II compactifications



We study the degeneracy of quarter BPS dyons in N =4 type II compactifications of string theory. We find that the genus-two Siegel modular forms generating the degeneracies of the quarter BPS dyons in the type II theories can be expressed in terms of the genus-two Siegel modular forms generating the degeneracies of quarter BPS dyons in the CHL theories and the heterotic string. This helps us in understanding the algebra structure underlying the degeneracy of the quarter BPS states. The Conway group, Co_1, plays a role similar to Mathieu group, M_{24}, in the CHL models with eta quotients appearing in the place of eta products. We construct BKM Lie superalgebra structures corresponding to Z_N (for N=2,3,4) orbifolds of the type II string compactified on a six-torus.

Friday, June 3, 2011

Loop equations and topological recursion for the arbitrary-$\beta$ two-matrix model



We write the loop equations for the $\beta$ two-matrix model, and we propose a topological recursion algorithm to solve them, order by order in a small parameter. We find that to leading order, the spectral curve is a "quantum" spectral curve, i.e. it is given by a differential operator (instead of an algebraic equation for the hermitian case). Here, we study the case where that quantum spectral curve is completely degenerate, it satisfies a Bethe ansatz, and the spectral curve is the Baxter TQ relation.

Wednesday, June 1, 2011

Matrix model from N = 2 orbifold partition function



The orbifold generalization of the partition function, which would describe the gauge theory on the ALE space, is investigated from the combinatorial perspective. It is shown that the root of unity limit of the q-deformed partition function plays a crucial role on the orbifold projection. Then starting from the combinatorial representation of the partition function, a new type of multi-matrix model is derived by considering its asymptotic behavior. It is also shown that Seiberg-Witten curve for the corresponding gauge theory arises from the spectral curve of this multi-matrix model.

Friday, May 27, 2011

Knot Homology from Refined Chern-Simons Theory



We formulate a refinement of SU(N) Chern-Simons theory on a three-manifold via the refined topological string and the (2,0) theory on N M5 branes. The refined Chern-Simons theory is defined on any three-manifold with a semi-free circle action. We give an explicit solution of the theory, in terms of a one-parameter refinement of the S and T matrices of Chern-Simons theory, related to the theory of Macdonald polynomials. The ordinary and refined Chern-Simons theory are similar in many ways; for example, the Verlinde formula holds in both. We obtain new topological invariants of Seifert three-manifolds and torus knots inside them. We conjecture that the knot invariants we compute are the Poincare polynomials of the sl(n) knot homology theory. The latter includes the Khovanov-Rozansky knot homology, as a special case. The conjecture passes a number of nontrivial checks. We show that, for a large number of torus knots colored with the fundamental representation of SU(N), our knot invariants agree with the Poincare polynomials of Khovanov-Rozansky homology. As a byproduct, we show that our theory on S^3 has a large-N dual which is the refined topological string on X=O(-1)+O(-1)->P^1; this supports the conjecture by Gukov, Schwarz and Vafa relating the spectrum of BPS states on X to sl(n) knot homology. We also provide a matrix model description of some amplitudes of the refined Chern-Simons theory on S^3.

Wednesday, May 25, 2011

3d Partition Function as Overlap of Wavefunctions



We compute the partition function on S^3 of 3d N=4 theories which arise as the low-energy limit of 4d N=4 super Yang-Mills theory on a segment or on a junction, and propose its 1d interpretation. We show that the partition function can be written as an overlap of wavefunctions determined by the boundary conditions. We also comment on the connection of our results with the 4d superconformal index and the 2d q-deformed Yang-Mills theory.

Monday, May 23, 2011

Duality for Topological Modular Forms



It has been observed that certain localizations of the spectrum of topological modular forms $ tmf $ are self-dual (Mahowald-Rezk, Gross-Hopkins). We provide an integral explanation of these results that is internal to the geometry of the (compactified) moduli stack of elliptic curves $ \M $, yet is only true in the derived setting. When $ 2 $ is inverted, choice of level-$ 2 $-structure for an elliptic curve provides a geometrically well-behaved cover of $ \M $, which allows one to consider $ tmf $ as the homotopy fixed points of $ tmf(2) $, topological modular forms with level-$ 2 $-structure, under a natural action by $ GL_2(\Z/2) $. As a result of Grothendieck-Serre duality, we obtain that $ tmf(2) $ is self-dual. The vanishing of the associated Tate spectrum then makes $ tmf $ itself Anderson self-dual.

Sunday, May 15, 2011

On Hilbert-Polya conjecture: Hermitian operator naturally associated to L-functions



Using as starting point a classical integral representation of a L-function we define a familly of two variables extended functions which are eigenfunctions of a Hermitian operator (having imaginary part of zeros as eigenvalues). This Hermitian operator can take also other forms, more symetric. In the case of particular L-functions, like Zeta function or Dirichlet L-functions, the eigenfunctions defined for this operator have symmetry properties. Moreover, for s zero of Zeta function (or Dirichlet L-function), the associated eigenfunction has a specific property (a part of eigenfunction is cancelled). Finding such an eigenfunction, square integrable due to this "cancellation effect", would lead to Riemann Hypothesis using Hilbert-Polya idea.

Saturday, May 14, 2011

3D-partition functions on the sphere: exact evaluation and mirror symmetry



We study N = 4 quiver theories on the three-sphere. We compute partition functions using the localisation method by Kapustin et al. solving exactly the matrix integrals at finite N, as functions of mass and Fayet-Iliopoulos parameters. We find a simple explicit formula for the partition function of the quiver tail T(SU(N)). This formula opens the way for the analysis of star-shaped quivers and their mirrors (that are the Gaiotto-type theories arising from M5 branes on punctured Riemann surfaces). We provide non-perturbative checks of mirror symmetry for infinite classes of theories and find the partition functions of the TN theory, the building block of generalised quiver theories.

Thursday, May 12, 2011

Topological recursion and mirror curves



We study the constant contributions to the free energies obtained through the topological recursion applied to the complex curves mirror to toric Calabi-Yau threefolds. We show that the recursion reproduces precisely the corresponding Gromov-Witten invariants, which can be encoded in powers of the MacMahon function. As a result, we extend the scope of the "remodeling conjecture" to the full free energies, including the constant contributions. In the process we study how the pair of pants decomposition of the mirror curves plays an important role in the topological recursion. We also show that the free energies are not, strictly speaking, symplectic invariants, and that the recursive construction of the free energies does not commute with certain limits of mirror curves.

Torus knots and mirror symmetry



We propose a spectral curve describing torus knots and links in the B-model. In particular, the application of the topological recursion to this curve generates all their colored HOMFLY invariants. The curve is obtained by exploiting the full Sl(2, Z) symmetry of the spectral curve of the resolved conifold, and should be regarded as the mirror of the topological D-brane associated to torus knots in the large N Gopakumar-Vafa duality. Moreover, we derive the curve as the large N limit of the matrix model computing torus knot invariants.

Wednesday, May 4, 2011

Quantum Geometry of Refined Topological Strings



We consider branes in refined topological strings. We argue that their wave-functions satisfy a Schr\"odinger equation depending on multiple times and prove this in the case where the topological string has a dual matrix model description. Furthermore, in the limit where one of the equivariant rotations approaches zero, the brane partition function satisfies a time-independent Schroedinger equation. We use this observation, as well as the back reaction of the brane on the closed string geometry, to offer an explanation of the connection between integrable systems and N=2 gauge systems in four dimensions observed by Nekrasov and Shatashvili.

Tuesday, May 3, 2011

An exact formula relating lattice points in symmetric spaces to the automorphic spectrum



We extract an exact formula relating the number of lattice points in an expanding region of a complex semi-simple symmetric space and the automorphic spectrum from a spectral identity, which is obtained by producing two expressions for the automorphic fundamental solution of the invariant differential operator (Delta - lambda_z)^N. On one hand, we form a Poincare series from the solution to the corresponding differential equation on the free space G/K, which is obtained using the harmonic analysis of bi-K-invariant functions. On the other hand, a suitable global automorphic Sobolev theory, developed in this paper, enables us to use the harmonic analysis of automorphic forms to produce a solution in terms of the automorphic spectrum.

A note on the generalized q-Bernoulli measures with weight a



In this paper we consider the generalized q-Bernoulli measures with weight alpha. From those measures, we derive some interesting properties on the generalized q-Bernoulli numbers with weight alpha attached to chi.

Twisted K-theory, K-homology and (dual) Chern-Connes character of some infinite dimensional spaces



We study the twisted K-theory and K-homology of some infinite dimensional spaces, like SU(\infty), in the framework of operator K-theory. We use bivariant K-theory for locally convex algebras, specialized to K-theory, to study the twisted K-theory of such spaces. We also investigate the twisted periodic cyclic homology via locally convex algebras and the local cyclic homology via C*-algebras (in the compact case). There is a general procedure to construct bivariant K-theories, which is due to Cuntz. We apply his formalism to the category of separable sigma-C*-algebras and construct a bivariant Chern-Connes type character taking values in Puschnigg's bivariant local cyclic homology. Finally we focus on the dual Chern-Connes character from (analytic) K-homology to local cyclic cohomology and analyse its structure under some reasonable hypotheses.

Saturday, April 30, 2011

Cohomological localization of Chern-Simons theory

arXiv:1104.5353
J. Kallen
We generalize the framework introduced by Kapustin et al. for doing path integral localization in Chern-Simons theory to work on any Seifert manifold. This is done by topologically twisting the supersymmetric theory considered by Kapustin et al., after which the theory takes a cohomological form. We also consider Wilson loops which wrap the fiber directions and compute their expectation values. We discuss the relation with other approaches to exact path integral calculations in Chern-Simons theory.