Search

The 6d (2,0) theory of $N$ M5 branes compactified on the product geometry $T^2\times S$, where $S$ is a K\"ahler 4-manifold, can be studied in two different limits. In one limit, the size of $T^2$ is taken to zero and together with a topological twist one arrives at the Vafa-Witten partition function on $S$. On the other hand, taking the size of $S$ to zero leads to a 2d $\mathcal{N}=(0,4)$ theory. This gives rise to a 2d-4d correspondence where the Vafa-Witten partition functions are identified with the characters of the 2d theory. In this paper, we test this conjecture for Hirzebruch and Del Pezzo surfaces by employing the technique of SymTFT to show that the modular transformation properties of the two sides match. Moreover, we construct modular invariant 2d absolute partition functions and verify that they are invariant under gauging of a discrete symmetry at the self-dual point in coupling space. This provides further hints for the presence of duality defects in the 2d SCFT.

In this paper, we present a geometric description of foams, which are prevalent in topological quantum field theories (TQFTs) based on quantum algebra, and reciprocally explore the geometry of Rozansky-Witten (RW) theory from an algebraic perspective. This approach illuminates various aspects of decorated TQFTs via geometry of the target space $X$ of RW theory. Through the formulation of the Knizhnik-Zamolodchikov (KZ) equation within this geometric framework, we derive the corresponding braiding and associator morphisms. We discuss applications where the target space of RW theory emerges as the Coulomb branch of a compactified 6d SCFT or Little String Theory, with the latter being particularly intriguing as it results in a compact $X$., Comment: 47 pages, 23 figures

We study duality defects in 2+1d theories with $\bZ^{(0)}_N\times\bZ^{(1)}_N$ global symmetry and trivial mixed 't Hooft anomaly. By gauging these symmetries simultaneously in half of the spacetime, we define duality defects for theories that are self-dual under gauging. We calculate the fusion rules involving duality defects and show that they obey a fusion 2-category. We also construct the corresponding symmetry topological field theory, a four-dimensional BF theory on a slab which realizes the duality defects on the boundary upon shrinking the interval. Furthermore, we provide explicit examples of such duality defects in $U(1)\times U(1)$ gauge theories and in more general product theories. Finally, we find duality defects in non-Lagrangian theories obtained by compactification of 6d $\cN=(2,0)$ SCFTs of type $A_{N-1}$ on various three-manifolds.

This work studies Liouville conformal blocks of irregular type with the insertion of at least one level-$3$ degenerate field admitting a Fibonacci fusion rule. We algebraically derive the corresponding third-order BPZ equations for regular blocks and their modifications when a rank one irregular operator is inserted. Employing Lefschetz thimbles as integration cycles, we then successively proceed to construct integral representations and prove that they satisfy the corresponding BPZ equations. Finally, we show that taking a semiclassical limit, these integral representations can be expressed in terms of Heun functions and have correct leading behaviors consistent with conformal weights and fusion rules., Comment: 25 pages, 4 figures

In this work we study Liouville conformal blocks with degenerate primaries and one operator in an irregular representation of the Virasoro algebra. Using an algebraic approach, we derive modified BPZ equations satisfied by such blocks and subsequently construct corresponding integral representations based on integration over non-compact Lefschetz cycles. The integral representations are then used to derive novel types of flat connections on the irregular conformal block bundle., Comment: 30 pages

We study topological defect lines (TDLs) in two-dimensional $\mathbb Z_N$-parafermoinic CFTs. Different from the bosonic case, in the 2d parafermionic CFTs, there exist parafermionic defect operators that can live on the TDLs and satisfy interesting fractional statistics. We propose a categorical description for these TDLs, dubbed as ``para-fusion category", which contains various novel features, including $\mathbb Z_M$ $q$-type objects for $M\vert N$, and parafermoinic defect operators as a type of specialized 1-morphisms of the TDLs. The para-fusion category in parafermionic CFTs can be regarded as a natural generalization of the super-fusion category for the description of TDLs in 2d fermionic CFTs. We investigate these distinguishing features in para-fusion category from both a 2d pure CFT perspective, and also a 3d anyon condensation viewpoint. In the latter approach, we introduce a generalized parafermionic anyon condensation, and use it to establish a functor from the parent fusion category for TDLs in bosonic CFTs to the para-fusion category for TDLs in the parafermionized ones. At last, we provide many examples to illustrate the properties of the proposed para-fusion category, and also give a full classification for a universal para-fusion category obtained from parafermionic condensation of Tambara-Yamagami $\mathbb Z_N$ fusion category., Comment: 45+4 pages

Topological defect lines (TDLs) are extended line operators which act on the Hilbert space of two-dimensional CFTs and satisfy non-trivial fusion algebras when forming junctions. Among the most interesting fusion algebras are the so-called Tambara-Yamagami (TY) fusion categories which are realized in (bosonized) Parafermionic CFTs. The corresponding TY[$\mathbb{Z}_k$]-categories have been explicitly realized for the cases $k=2$, $k=3$, and $k=4$ together with the action of the defect lines on the Hilbert space of the corresponding CFTs. For each of the cases, different methods have been used in the previous literature. In the current paper, we present a unified framework for finding the TDLs in bosonized Parafermionic CFTs. Our approach relies on combining several previously used methods and the definition of an extended $S$ matrix. We apply the method to the cases $k=2$ to $k=5$ to extract corresponding TDL fusion algebras., Comment: the version accepted by ATMP

In this work we study particular TQFTs in three dimensions, known as Symmetry Topological Field Theories (or SymTFTs), to identify line defects of two-dimensional CFTs arising from the compactification of 6d $(2,0)$ SCFTs on 4-manifolds $M_4$. The mapping class group of $M_4$ and the automorphism group of the SymTFT switch between different absolute 2d theories or global variants. Using the combined symmetries, we realize the topological defects in these global variants. Our main example is $\mathbb{P}^1 \times \mathbb{P}^1$. For $N$ M5-branes the corresponding 2d theory inherits $\mathbb{Z}_N$ $0$-form symmetries from the SymTFT. We reproduce the orbifold groupoid for theories with $\mathbb{Z}_N$ $0$-form symmetries and realize the duality defects at fixed points of the coupling constant under elements of the mapping class group. We also study other Hirzebruch surfaces, del Pezzo surfaces, as well as the connected sum of $\mathbb{P}^1 \times \mathbb{P}^1$. We find a rich network of global variants connected via automorphisms and realize more interesting topological defects. Finally, we derive the SymTFT on more general 4-manifolds and provide two examples., Comment: 41 pages

In this work we derive braid group representations and Stokes matrices for Liouville conformal blocks with one irregular operator. By employing the Coulomb gas formalism, the corresponding conformal blocks can be interpreted as wavefunctions of a Landau-Ginzburg model specified by a superpotential $\mathcal{W}$. Alternatively, these can also be viewed as wavefunctions of a 3d TQFT on a 3-ball with boundary a 2-sphere on which the operator insertions represent Anyons whose fusion rules describe novel topological phases of matter., Comment: 25 pages, 14 figures

In this work, we study compactifications of 6d $(1,0)$ SCFTs, in particular those of conformal matter type, on K\"ahler 4-manifolds. We show how this can be realized via wrapping M5 branes on 4-cycles of non-compact Calabi-Yau fourfolds with ADE singularity in the fiber. Such compactifications lead to domain walls in 3d $\mathcal{N}=2$ theories which flow to 2d $\mathcal{N}=(0,2)$ SCFTs. We compute the central charges of such 2d CFTs via 6d anomaly polynomials by employing a particular topological twist along the 4-manifold. Moreover, we study compactifications on non-compact 4-manifolds leading to coupled 3d-2d systems. We show how these can be glued together consistently to reproduce the central charge and anomaly polynomial obtained in the compact case. Lastly, we study concrete CFT proposals for some special cases., Comment: 45 pages, 7 figures and 2 tables v3: references added

In this work we present solutions to Knizhnik-Zamolodchikov (KZ) equations corresponding to conformal block wavefunctions of non-Abelian Ising- and Fibonacci-Anyons. We solve these equations around regular singular points in configuration space in terms of hypergeometric functions and derive explicit monodromy representations of the braid group action. This confirms the correct non-Abelian statistics of the solutions. One novelty of our approach is that we explicitly keep track of spin basis states and identify conformal blocks uniquely with such states at relevant points in moduli space., Comment: 39 pages, 3 figures

We discuss supersymmetric defects in 6d $\mathcal{N}=(1,0)$ SCFTs with $\mathrm{SO}(N_c)$ gauge group and $N_c-8$ fundamental flavors. The codimension 2 and 4 defects are engineered by coupling the 6d gauge fields to charged free fields in four and two dimensions, respectively. We find that the partition function in the presence of the codimension 2 defect on $\mathbb{R}^4\times \mathbb{T}^2$ in the Nekrasov-Shatashvili limit satisfies an elliptic difference equation which quantizes the Seiberg-Witten curve of the 6d theory. The expectation value of the codimension 4 defect appearing in the difference equation is an even (under reflection) degree $N_c$ section over the elliptic curve when $N_c$ is even, and an odd section when $N_c$ is odd. We also find that RG-flows of the defects and the associated difference equations in the 6d $\mathrm{SO}(2N+1)$ gauge theories triggered by Higgs VEVs of KK-momentum states provide quantum Seiberg-Witten curves for $\mathbb{Z}_2$ twisted compactifications of the 6d $\mathrm{SO}(2N)$ gauge theories.

In this work we study the quantisation of the Seiberg-Witten curve for the E-string theory compactified on a two-torus. We find that the resulting operator expression belongs to the class of elliptic quantum curves. It can be rephrased as an eigenvalue equation with eigenvectors corresponding to co-dimension 2 defect operators and eigenvalues to co-dimension 4 Wilson surfaces wrapping the elliptic curve, respectively. Moreover, the operator we find is a generalised version of the van Diejen operator arising in the study of elliptic integrable systems. Although the microscopic representation of the co-dimension 4 defect only furnishes an $\mathrm{SO}(16)$ flavour symmetry in the UV, we find an enhancement in the IR to representations in terms of affine $E_8$ characters. Finally, using the Nekrasov-Shatashvili limit of the E-string BPS partition function, we give a path integral derivation of the quantum curve., Comment: v2 typos corrected, added explanations on brane constructions, added references

We study circle compactifications of 6d superconformal field theories giving rise to 5d rank 1 and rank 2 Kaluza-Klein theories. We realise the resulting theories as M-theory compactifications on local Calabi-Yau 3-folds and match the prepotentials from geometry and field theory. One novelty in our approach is that we include explicit dependence on bare gauge couplings and mass parameters in the description which in turn leads to an accurate parametrisation of the prepotential including all parameters of the field theory. We find that the resulting geometries admit "fibre-base" duality which relates their six-dimensional origin with the purely five-dimensional quantum field theory interpretation. The fibre-base duality is realised simply by swapping base and fibre curves of compact surfaces in the local Calabi-Yau which can be viewed as the total space of the anti-canonical bundle over such surfaces. Our results show that such swappings precisely occur for surfaces with a zero self-intersection of the base curve and result in an exchange of the 6d and 5d pictures., Comment: v3: 60 pages, several typos corrected, matches JHEP version

Quantum curves arise from Seiberg-Witten curves associated to 4d $\mathcal{N}=2$ gauge theories by promoting coordinates to non-commutative operators. In this way the algebraic equation of the curve is interpreted as an operator equation where a Hamiltonian acts on a wave-function with zero eigenvalue. We find that this structure generalises when one considers torus-compactified 6d $\mathcal{N}=(1,0)$ SCFTs. The corresponding quantum curves are elliptic in nature and hence the associated eigenvectors/eigenvalues can be expressed in terms of Jacobi forms. In this paper we focus on the class of 6d SCFTs arising from M5 branes transverse to a $\mathbb{C}^2/\mathbb{Z}_k$ singularity. In the limit where the compactified 2-torus has zero size, the corresponding 4d $\mathcal{N}=2$ theories are known as class $\mathcal{S}_k$. We explicitly show that the eigenvectors associated to the quantum curve are expectation values of codimension 2 surface operators, while the corresponding eigenvalues are codimension 4 Wilson surface expectation values., Comment: 65 pages, 3 figures

Given the recent geometrical classification of 6d $(1,0)$ SCFTs, a major question is how to compute for this large class their elliptic genera. The latter encode the refined BPS spectrum of the SCFTs, which determines geometric invariants of the associated elliptic non-compact Calabi-Yau threefolds. In this paper we establish for all 6d $(1,0)$ SCFTs in the atomic classification blowup equations that fix these elliptic genera to large extent. The latter fall into two types: the unity- and the vanishing blowup equations. For almost all rank one theories, we find unity blowup equations which determine the elliptic genera completely. We develop several techniques to compute elliptic genera and BPS invariants from the blowup equations, including a recursion formula with respect to the number of strings, a Weyl orbit expansion, a refined BPS expansion and an $\epsilon_1,\epsilon_2$ expansion. For higher-rank theories, we propose a gluing rule to obtain all their blowup equations based on those of rank one theories. For example, we explicitly give the elliptic blowup equations for the three higher-rank non-Higgsable clusters, ADE chain of $-2$ curves and conformal matter theories. We also give the toric construction for many elliptic non-compact Calabi-Yau threefolds which engineer 6d $(1,0)$ SCFTs with various matter representations., Comment: 164 pages, 3 figures, 24 tables, typos corrected, refs added

In this work, the capability of restricted Boltzmann machines (RBMs) to find solutions for the Kitaev honeycomb model with periodic boundary conditions is investigated. The measured groundstate (GS) energy of the system is compared and, for small lattice sizes (e.g. $3 \times 3$ with $18$ spinors), shown to agree with the analytically derived value of the energy up to a deviation of $0.09\%$. Moreover, the wave-functions we find have $99.89\%$ overlap with the exact ground state wave-functions. Furthermore, the possibility of realizing anyons in the RBM is discussed and an algorithm is given to build these anyonic excitations and braid them for possible future applications in quantum computation. Using the correspondence between topological field theories in (2+1)d and 2d CFTs, we propose an identification between our RBM states with the Moore-Read state and conformal blocks of the $2$d Ising model., Comment: (15+5) pages, 11 figures, 5 tables: Minor journal revisions and additions. + Journal ref

We establish the elliptic blowup equations for E-strings and M-strings and solve elliptic genera and refined BPS invariants from them. Such elliptic blowup equations can be derived from a path integral interpretation. We provide toric hypersurface construction for the Calabi-Yau geometries of M-strings and those of E-strings with up to three mass parameters turned on, as well as an approach to derive the perturbative prepotential directly from the local description of the Calabi-Yau threefolds. We also demonstrate how to systematically obtain blowup equations for all rank one 5d SCFTs from E-string by blow-down operations. Finally, we present blowup equations for E-M and M string chains., Comment: 54 pages, 10 tables, references added

Compactifications of 6d N=(1,0) SCFTs give rise to new 4d N=1 SCFTs and shed light on interesting dualities between such theories. In this paper we continue exploring this line of research by extending the class of compactified 6d theories to the D-type case. The simplest such 6d theory arises from D5 branes probing D-type singularities. Equivalently, this theory can be obtained from an F-theory compactification using "-2"-curves intersecting according to a D-type quiver. Our approach is two-fold. We start by compactifying the 6d SCFT on a Riemann surface and compute the central charges of the resulting 4d theory by integrating the 6d anomaly polynomial over the Riemann surface. As a second step, in order to find candidate 4d UV Lagrangians, there is an intermediate 5d theory that serves to construct 4d domain walls. These can be used as building blocks to obtain torus compactifications. In contrast to the A-type case, the vanishing of anomalies in the 4d theory turns out to be very restrictive and constraints the choices of gauge nodes and matter content severely. As a consequence, in this paper one has to resort to non-maximal boundary conditions for the 4d domain walls. However, the comparison to the 6d theory compactified on the Riemann surface becomes less tractable., Comment: v2: 33 pages, 4 figures, 3 tables, added discussion of unitarity violating gauge invariant operators, typos corrected, matches JHEP version

We propose quantum states for Little String Theories (LSTs) arising from M5 branes probing A- and D-type singularities. This extends Witten's picture of M5 brane partition functions as theta functions to this more general setup. Compactifying the world-volume of the five-branes on a two-torus, we find that the corresponding theta functions are sections of line bundles over complex 4-tori. This formalism allows us to derive Seiberg-Witten curves for the resulting four-dimensional theories. Along the way, we prove a duality for LSTs observed by Iqbal, Hohenegger and Rey., Comment: 27 pages, 1 Figure. v3: included further explanations and corrected typos. This the version published in JHEP

We propose novel functional equations for the BPS partition functions of 6d (1,0) SCFTs, which can be regarded as an elliptic version of Gottsche-Nakajima-Yoshioka's K-theoretic blowup equations. From the viewpoint of geometric engineering, these are the generalized blowup equations for refined topological strings on certain local elliptic Calabi-Yau threefolds. We derive recursion formulas for elliptic genera of self-dual strings on the tensor branch from these functional equations and in this way obtain a universal approach for determining refined BPS invariants. As examples, we study in detail the minimal 6d SCFTs with SU(3) and SO(8) gauge symmetry. In companion papers, we will study the elliptic blowup equations for all other non-Higgsable clusters., Comment: 52 pages, 3 figures

M5 branes probing D-type singularities give rise to 6d (1,0) SCFTs with $SO \times SO$ flavor symmetry known as D-type conformal matter theories. Gauging the diagonal $SO$-flavor symmetry leads to a little string theory with an intrinsic scale which can be engineered in F-theory by compactifying on a doubly-elliptic Calabi-Yau manifold. We derive Seiberg-Witten curves for these little string theories which can be interpreted as mirror curves for the corresponding Calabi-Yau manifolds. Under fiber-base duality these models are mapped to D-type quiver gauge theories and we check that their Seiberg-Witten curves match. By taking decompactification limits, we construct the curves for the related 6d SCFTs and connect to known results in the literature by further taking 5d and 4d limits., Comment: 34 pages, 5 figures

A general Boltzmann machine with continuous visible and discrete integer valued hidden states is introduced. Under mild assumptions about the connection matrices, the probability density function of the visible units can be solved for analytically, yielding a novel parametric density function involving a ratio of Riemann-Theta functions. The conditional expectation of a hidden state for given visible states can also be calculated analytically, yielding a derivative of the logarithmic Riemann-Theta function. The conditional expectation can be used as activation function in a feedforward neural network, thereby increasing the modelling capacity of the network. Both the Boltzmann machine and the derived feedforward neural network can be successfully trained via standard gradient- and non-gradient-based optimization techniques., Comment: 29 pages, 11 figures, final version published in Neurocomputing

This is a review article on mirror symmetry and aspects of it related to the theory of modular forms. We describe this topic along its historical development and connect to some more recent results toward the end. The article is for publication in a special issue of ICCM Notices., Comment: 18 pages, v2 references added

6d superconformal field theories (SCFTs) are the SCFTs in the highest possible dimension. They can be geometrically engineered in F-theory by compactifying on non-compact elliptic Calabi-Yau manifolds. In this paper we focus on the class of SCFTs whose base geometry is determined by $-2$ curves intersecting according to ADE Dynkin diagrams and derive the corresponding mirror Calabi-Yau manifold. The mirror geometry is uniquely determined in terms of the mirror curve which has also an interpretation in terms of the Seiberg-Witten curve of the four-dimensional theory arising from torus compactification. Adding the affine node of the ADE quiver to the base geometry, we connect to recent results on SYZ mirror symmetry for the $A$ case and provide a physical interpretation in terms of little string theory. Our results, however, go beyond this case as our construction naturally covers the $D$ and $E$ cases as well., Comment: version 2: typos corrected, 30 pages, 8 figures

We initiate the study of M-strings in the thermodynamic limit. In this limit the BPS partition function of M5 branes localizes on configurations with a large number of strings which leads to a reformulation of the partition function in terms of a matrix model. We solve this matrix model and obtain its spectral curve which can be interpreted as the Seiberg-Witten curve associated to the compactified M5 brane theory., Comment: 12 pages, 4 figures

We study the limit of Calabi-Yau modular forms, and in particular, those resulting in classical modular forms. We then study two parameter families of elliptically fibred Calabi-Yau fourfolds and describe the modular forms arising from the degeneracy loci. In the case of elliptically fibred Calabi-Yau threefolds our approach gives a mathematical proof of many observations about modularity properties of topological string amplitudes starting with the work of Candelas, Font, Katz and Morrison. In the case of Calabi-Yau fourfolds we derive new identities not computed before., Comment: 24 pages

We study 5d supersymmetric black holes which descend from strings of generic $\mathcal{N}=(1,0)$ supergravity in 6d. These strings have an F-theory realization in 6d as D3 branes wrapping smooth genus $g$ curves in the base of elliptic 3-folds. They enjoy $(0,4)$ worldsheet supersymmetry with an extra $SU(2)_L$ current algebra at level $g$ realized on the left-movers. When the smooth curves degenerate they lead to multi-string branches and we find that the microscopic worldsheet theory flows in the IR to disconnected 2d CFTs having different central charges. The single string sector is the one with maximal central charge, which when wrapped on a circle, leads to a 5d spinning BPS black hole whose horizon volume agrees with the leading entropy prediction from the Cardy formula. However, we find new phenomena where this branch meets other branches of the CFT. These include multi-string configurations which have no bound states in 6 dimensions but are bound through KK momenta when wrapping a circle, as well as loci where the curves degenerate to spheres. These loci lead to black hole configurations which can have total angular momentum relative to a Taub-Nut center satisfying $J^2 > M^3$ and whose number of states, though exponentially large, grows much slower than those of the large spinning black hole., Comment: 60 pages, 9 figures. v3: meaning of "CCB violating states" clarified, typos corrected, acknowledgements added

We consider bound states of strings which arise in 6d (1,0) SCFTs that are realized in F-theory in terms of linear chains of spheres with negative self-intersections 1,2, and 4. These include the strings associated to N small E8 instantons, as well as the ones associated to M5 branes probing A and D type singularities in M-theory or D5 branes probing ADE singularities in Type IIB string theory. We find that these bound states of strings admit (0,4) supersymmetric quiver descriptions and show how one can compute their elliptic genera., Comment: 35+1 pages, 15 figures; typos fixed and clarifications added to Section 5

We show how recent progress in computing elliptic genera of strings in six dimensions can be used to obtain expressions for elliptic genera of strings in five-dimensional field theories which have a six-dimensional parent. We further connect our results to recent mathematical results about sheaf counting on ruled surfaces., Comment: 17 pages, 4 figures. v3: Definitions clarified, Section "Concluding Thoughts" added

We study strings associated with minimal 6d SCFTs, which by definition have only one string charge and no Higgs branch. These theories are labelled by a number n with 1 <= n <= 8 or n = 12. Quiver theories have previously been proposed which describe strings of SCFTs for n = 1, 2. For n > 2 the strings interact with the bulk gauge symmetry. In this paper we find a quiver description for the n = 4 string using Sen's limit of F-theory and calculate its elliptic genus with localization techniques. This result is checked using the duality of F-theory with M-theory and topological string theory whose refined BPS partition function captures the elliptic genus of the SCFT strings. We use the topological string theory to gain insight into the elliptic genus for other values of n., Comment: 50+1 pages, 8 figures

E-strings arise from M2 branes suspended between an M5 brane and an M9 plane. In this paper we obtain explicit expressions for the elliptic genus of two E-strings using a series of string dualities. Moreover we show how this can be used to recover the elliptic genus of two $E_8\times E_8$ heterotic strings using the Horava-Witten realization of heterotic strings in M-theory. This involves highly non-trivial identities among Jacobi forms, and is remarkable in light of the fact that E-strings are 'sticky' and form bound states whereas heterotic strings do not form bound states., Comment: 38+1 pages, 6 figures; minor corrections

We consider M-theory in the presence of M parallel M5-branes probing a transverse A_{N-1} singularity. This leads to a superconformal theory with (1,0) supersymmetry in six dimensions. We compute the supersymmetric partition function of this theory on a two-torus, with arbitrary supersymmetry preserving twists, using the topological vertex formalism. Alternatively, we show that this can also be obtained by computing the elliptic genus of an orbifold of recently studied M-strings. The resulting 2d theory is a (4,0) supersymmetric quiver gauge theory whose Higgs branch corresponds to strings propagating on the moduli space of SU(N)^{M-1} instantons on R^4 where the right-moving fermions are coupled to a particular bundle., Comment: 40 pages, 14 figures

M2 branes suspended between adjacent parallel M5 branes lead to light strings, the `M-strings'. In this paper we compute the elliptic genus of M-strings, twisted by maximally allowed symmetries that preserve 2d (2,0) supersymmetry. In a codimension one subspace of parameters this reduces to the elliptic genus of the (4,4) supersymmetric A_{n-1} quiver theory in 2d. We contrast the elliptic genus of N M-strings with the (4,4) sigma model on the N-fold symmetric product of R^4. For N=1 they are the same, but for N>1 they are close, but not identical. Instead the elliptic genus of (4,4) N M-strings is the same as the elliptic genus of (4,0) sigma models on the N-fold symmetric product of R^4, but where the right-moving fermions couple to a modification of the tangent bundle. This construction arises from a dual A_{n-1} quiver 6d gauge theory with U(1) gauge groups. Moreover we compute the elliptic genus of domain walls which separate different numbers of M2 branes on the two sides of the wall., Comment: 75 pages, 16 figures. Minor corrections to the paper, references added

Three-dimensional N=2 superconformal field theories are constructed by compactifying M5-branes on three-manifolds. In the infrared the branes recombine, and the physics is captured by a single M5-brane on a branched cover of the original ultraviolet geometry. The branch locus is a tangle, a one-dimensional knotted submanifold of the ultraviolet geometry. A choice of branch sheet for this cover yields a Lagrangian for the theory, and varying the branch sheet provides dual descriptions. Massless matter arises from vanishing size M2-branes and appears as singularities of the tangle where branch lines collide. Massive deformations of the field theory correspond to resolutions of singularities resulting in distinct smooth manifolds connected by geometric transitions. A generalization of Reidemeister moves for singular tangles captures mirror symmetries of the underlying theory yielding a geometric framework where dualities are manifest., Comment: 80 pages, 48 figures

We propose a correspondence between two-dimensional (0,4) sigma models with target space the moduli spaces of r monopoles, and four-dimensional N=4, U(r) Yang-Mills theory on del Pezzo surfaces. In particular, the two- and four-dimensional BPS partition functions are argued to be equal. The correspondence relies on insights from five-dimensional supersymmetric gauge theory and its geometric engineering in M-theory, hence the name "5d/2d/4d correspondence". We provide various tests of our proposal. The most stringent ones are for r=1, for which we prove the equality of partition functions., Comment: 39 pages, final version

We study five-dimensional minimally supersymmetric gauge theory compactified on a torus down to three dimensions, and its embedding into string/M-theory using geometric engineering. The moduli space on the Coulomb branch is hyperkaehler equipped with a metric with modular transformation properties. We determine the one-loop corrections to the metric and show that they can be interpreted as worldsheet and D1-brane instantons in type IIB string theory. Furthermore, we analyze instanton corrections coming from the solitonic BPS magnetic string wrapped over the torus. In particular, we show how to compute the path-integral for the zero-modes from the partition function of the M5 brane, or, using a 2d/4d correspondence, from the partition function of N=4 SYM theory on a Hirzebruch surface., Comment: 30 pages, 2 figures; v2: typos corrected, added references, JHEP version

Using wall-crossing formulae and the theory of mock modular forms we derive a holomorphic anomaly equation for the modified elliptic genus of two M5-branes wrapping a rigid divisor inside a Calabi-Yau manifold. The anomaly originates from restoring modularity of an indefinite theta-function capturing the wall-crossing of BPS invariants associated to D4-D2-D0 brane systems. We show the compatibility of this equation with anomaly equations previously observed in the context of N=4 topological Yang-Mills theory on P^2 and E-strings obtained from wrapping M5-branes on a del Pezzo surface. The non-holomorphic part is related to the contribution originating from bound-states of singly wrapped M5-branes on the divisor. We show in examples that the information provided by the anomaly is enough to compute the BPS degeneracies for certain charges. We further speculate on a natural extension of the anomaly to higher D4-brane charge., Comment: 45 p

We present solutions of the holomorphic anomaly equations for compact two-parameter Calabi-Yau manifolds which are hypersurfaces in weighted projective space. In particular we focus on K3-fibrations where due to heterotic type II duality the topological invariants in the fibre direction are encoded in certain modular forms. The formalism employed provides holomorphic expansions of topological string amplitudes everywhere in moduli space., Comment: 60 pages, 1 figure, With an appendix by Sheldon Katz

We show that modularity and the gap condition make the holomorphic anomaly equation completely integrable for non-compact Calabi-Yau manifolds. This leads to a very efficient formalism to solve the topological string on these geometries in terms of almost holomorphic modular forms. The formalism provides in particular holomorphic expansions everywhere in moduli space including large radius points, the conifold loci, Seiberg-Witten points and the orbifold points. It can be also viewed as a very efficient method to solve higher genus closed string amplitudes in the $\frac{1}{N^2}$ expansion of matrix models with more then one cut., Comment: 47 pages, 3 figures; v2: fixed typos, added journal-ref

We present solutions for the higher genus topological string amplitudes on Calabi-Yau-manifolds, which are realized as complete intersections in Grassmannians. We solve the B-model by direct integration of the holomorphic anomaly equations using a finite basis of modular invariant generators, the gap condition at the conifold and other local boundary conditions for the amplitudes. Regularity of the latter at certain points in the moduli space suggests a CFT description. The A-model amplitudes are evaluated using a mirror conjecture for Grassmannian Calabi-Yau by Batyrev, Ciocan-Fontanine, Kim and Van Straten. The integrality of the BPS states gives strong evidence for the conjecture., Comment: 36 pages, 1 eps figure