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.

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.

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.

Double genus expansion for general Ω background

We will show how the refined holomorphic anomaly equation obeyed by the Nekrasov partition function at generic [Formula: see text], [Formula: see text] values becomes compatible, in a certain two-parameter expansion, with the assumption that both parameters are associated to genus counting. The underlying worldsheet theory will be analyzed and constrained in various ways, and we will provide both physical interpretation and some alternative evidence for this model. Finally, we will use the Gopakumar–Vafa formulation for the refined topological string in order to give a more quantitative description.