Boson-fermion correspondence and holomorphic anomaly equation in 2d Yang-Mills theory on torus

Recently, Okuyama and Sakai proposed a novel holomorphic anomaly equation for the partition function of 2d Yang-Mills theory on a torus, based on an anholomorphic deformation of the propagator in the bosonic formulation. Using the boson-fermion correspondence, we derive the formula for the deformed partition function in fermionic description and give a proof of the holomorphic anomaly equation.

Gauge theories on compact toric manifolds

We compute the $$\mathcal{N}=2$$ N = 2 supersymmetric partition function of a gauge theory on a four-dimensional compact toric manifold via equivariant localization. The result is given by a piecewise constant function of the Kähler form with jumps along the walls where the gauge symmetry gets enhanced. The partition function on such manifolds is written as a sum over the residues of a product of partition functions on $$\mathbb {C}^2$$ C 2 . The evaluation of these residues is greatly simplified by using an “abstruse duality” that relates the residues at the poles of the one-loop and instanton parts of the $$\mathbb {C}^2$$ C 2 partition function. As particular cases, our formulae compute the SU(2) and SU(3) equivariant Donaldson invariants of $$\mathbb {P}^2$$ P 2 and $$\mathbb {F}_n$$ F n and in the non-equivariant limit reproduce the results obtained via wall-crossing and blow up methods in the SU(2) case. Finally, we show that the U(1) self-dual connections induce an anomalous dependence on the gauge coupling, which turns out to satisfy a $$\mathcal {N}=2$$ N = 2 analog of the $$\mathcal {N}=4$$ N = 4 holomorphic anomaly equations.

Towards refining the topological strings on compact Calabi-Yau 3-folds

We make a proposal for calculating refined Gopakumar-Vafa numbers (GVN) on elliptically fibered Calabi-Yau 3-folds based on refined holomorphic anomaly equations. The key examples are smooth elliptic fibrations over (almost) Fano surfaces. We include a detailed review of existing mathematical methods towards defining and calculating the (unrefined) Gopakumar-Vafa invariants (GVI) and the GVNs on compact Calabi-Yau 3-folds using moduli of stable sheaves, in a language that should be accessible to physicists. In particular, we discuss the dependence of the GVNs on the complex structure moduli and on the choice of an orientation. We calculate the GVNs in many instances and compare the B-model predictions with the geometric calculations. We also derive the modular anomaly equations from the holomorphic anomaly equations by analyzing the quasi-modular properties of the propagators. We speculate about the physical relevance of the mathematical choices that can be made for the orientation.

Curves on K3 surfaces in divisibility 2

We prove a conjecture of Maulik, Pandharipande and Thomas expressing the Gromov–Witten invariants of K3 surfaces for divisibility 2 curve classes in all genera in terms of weakly holomorphic quasi-modular forms of level 2. Then we establish the holomorphic anomaly equation in divisibility 2 in all genera. Our approach involves a refined boundary induction, relying on the top tautological group of the moduli space of smooth curves, together with a degeneration formula for the reduced virtual fundamental class with imprimitive curve classes. We use double ramification relations with target variety as a new tool to prove the initial condition. The relationship between the holomorphic anomaly equation for higher divisibility and the conjectural multiple cover formula of Oberdieck and Pandharipande is discussed in detail and illustrated with several examples.

Holomorphic anomaly equation for and the Nekrasov-Shatashvili limit of local

We prove a higher genus version of the genus $0$ local-relative correspondence of van Garrel-Graber-Ruddat: for $(X,D)$ a pair with X a smooth projective variety and D a nef smooth divisor, maximal contact Gromov-Witten theory of $(X,D)$ with $\lambda _g$ -insertion is related to Gromov-Witten theory of the total space of ${\mathcal O}_X(-D)$ and local Gromov-Witten theory of D. Specializing to $(X,D)=(S,E)$ for S a del Pezzo surface or a rational elliptic surface and E a smooth anticanonical divisor, we show that maximal contact Gromov-Witten theory of $(S,E)$ is determined by the Gromov-Witten theory of the Calabi-Yau 3-fold ${\mathcal O}_S(-E)$ and the stationary Gromov-Witten theory of the elliptic curve E. Specializing further to $S={\mathbb P}^2$ , we prove that higher genus generating series of maximal contact Gromov-Witten invariants of $({\mathbb P}^2,E)$ are quasimodular and satisfy a holomorphic anomaly equation. The proof combines the quasimodularity results and the holomorphic anomaly equations previously known for local ${\mathbb P}^2$ and the elliptic curve. Furthermore, using the connection between maximal contact Gromov-Witten invariants of $({\mathbb P}^2,E)$ and Betti numbers of moduli spaces of semistable one-dimensional sheaves on ${\mathbb P}^2$ , we obtain a proof of the quasimodularity and holomorphic anomaly equation predicted in the physics literature for the refined topological string free energy of local ${\mathbb P}^2$ in the Nekrasov-Shatashvili limit.

Refinement and modularity of immortal dyons

Extending recent results in $$ \mathcal{N} $$ N = 2 string compactifications, we propose that the holomorphic anomaly equation satisfied by the modular completions of the generating functions of refined BPS indices has a universal structure independent of the number $$ \mathcal{N} $$ N of supersymmetries. We show that this equation allows to recover all known results about modularity (under SL(2, ℤ) duality group) of BPS states in $$ \mathcal{N} $$ N = 4 string theory. In particular, we reproduce the holomorphic anomaly characterizing the mock modular behavior of quarter-BPS dyons and generalize it to the case of non-trivial torsion invariant.

Quasi-Jacobi forms, elliptic genera and strings in four dimensions

We investigate the interplay between the enumerative geometry of Calabi-Yau fourfolds with fluxes and the modularity of elliptic genera in four-dimensional string theories. We argue that certain contributions to the elliptic genus are given by derivatives of modular or quasi-modular forms, which may encode BPS invariants of Calabi-Yau or non-Calabi-Yau threefolds that are embedded in the given fourfold. As a result, the elliptic genus is only a quasi-Jacobi form, rather than a modular or quasi-modular one in the usual sense. This manifests itself as a holomorphic anomaly of the spectral flow symmetry, and in an elliptic holomorphic anomaly equation that maps between different flux sectors. We support our general considerations by a detailed study of examples, including non-critical strings in four dimensions.For the critical heterotic string, we explain how anomaly cancellation is restored due to the properties of the derivative sector. Essentially, while the modular sector of the elliptic genus takes care of anomaly cancellation involving the universal B-field, the quasi-Jacobi one accounts for additional B-fields that can be present.Thus once again, diverse mathematical ingredients, namely here the algebraic geometry of fourfolds, relative Gromow-Witten theory pertaining to flux backgrounds, and the modular properties of (quasi-)Jacobi forms, conspire in an intriguing manner precisely as required by stringy consistency.

Duality and mock modularity

We derive a holomorphic anomaly equation for the Vafa-Witten partition function for twisted four-dimensional \mathcal{N} =4𝒩=4 super Yang-Mills theory on \mathbb{CP}^{2}ℂℙ2 for the gauge group SO(3)SO(3) from the path integral of the effective theory on the Coulomb branch. The holomorphic kernel of this equation, which receives contributions only from the instantons, is not modular but ‘mock modular’. The partition function has correct modular properties expected from SS-duality only after including the anomalous nonholomorphic boundary contributions from anti-instantons. Using M-theory duality, we relate this phenomenon to the holomorphic anomaly of the elliptic genus of a two-dimensional noncompact sigma model and compute it independently in two dimensions. The anomaly both in four and in two dimensions can be traced to a topological term in the effective action of six-dimensional (2,0)(2,0) theory on the tensor branch. We consider generalizations to other manifolds and other gauge groups to show that mock modularity is generic and essential for exhibiting duality when the relevant field space is noncompact.