Lost Chapters in CHL Black Holes: Untwisted Quarter-BPS Dyons in the Z2 Model

arXiv:2005.07712

Fabian Fischbach, Albrecht Klemm, Christoph Nega

Motivated by recent advances in Donaldson-Thomas theory, four-dimensional N=4 string-string duality is examined in a reduced rank theory on a less studied BPS sector. For this we identify a candidate partition function of ``untwisted'' quarter-BPS dyons in the heterotic Z2 CHL model by studying the associated chiral genus two partition function, based on the M-theory lift of string webs argument by Dabholkar and Gaiotto. This yields a meromorphic Siegel modular form for the Iwahori subgroup B(2)⊂Sp4(Z) which generates BPS indices for dyons with untwisted sector electric charge, in contrast to twisted sector dyons counted by a multiplicative lift of twisted-twining elliptic genera known from Mathieu moonshine. The new partition function is shown to satisfy the expected constraints coming from wall-crossing and S-duality symmetry as well as black hole entropy based on the Gauss-Bonnet term in the effective action. In these aspects our analysis confirms and extends work of Banerjee, Sen and Srivastava, which only addressed a subset of the untwisted sector dyons considered here. Our result also agrees with a recently conjectured formula of Bryan and Oberdieck for the partition function of primitive, untwisted DT invariants of the CHL orbifold X=(K3×T2)/Z2, as demanded by string duality with type IIA theory on X.

Duality and Mock Modularity

arXiv:2004.14387

Atish Dabholkar, Pavel Putrov, Edward Witten

We derive a holomorphic anomaly equation for the Vafa-Witten partition function for twisted four-dimensional N=4 super Yang-Mills theory on CP2 for the gauge group 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 S-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) 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.