In arXiv:0905.3629 we described a new class of N=2 topological amplitudes that depends both on vector and hypermultiplet moduli. Here we find that this class is actually a particular case of much more general topological amplitudes which appear at hi
gher loops in heterotic string theory compactified on K3 x T^2. We analyze their effective field theory interpretation and derive particular (first order) differential equations as a consequence of supersymmetry Ward identities and the 1/2-BPS nature of the corresponding effective action terms. In string theory the latter get modified due to anomalous world-sheet boundary contributions, generalizing in a non-trivial way the familiar holomorphic and harmonicity anomalies studied in the past. We prove by direct computation that the subclass of topological amplitudes studied in arXiv:0905.3629 forms a closed set under these anomaly equations and that these equations are integrable.
We describe a new class of N=2 topological amplitudes that compute a particular class of BPS terms in the low energy effective supergravity action. Specifically they compute the coupling F^2(lambdalambda)^{g-2}(dphi)^2 where F, lambda and phi are gau
ge field strengths, gaugino and holomorphic vector multiplet scalars. The novel feature of these terms is that they depend both on the vector and hypermultiplet moduli. The BPS nature of these terms implies that they satisfy a holomorphicity condition with respect to vector moduli and a harmonicity condition as well as a second order differential equation with respect to hypermultiplet moduli. We study these conditions explicitly in heterotic string theory and show that they are indeed satisfied up to anomalous boundary terms in the world-sheet moduli space. We also analyze the boundary terms in the holomorphicity and harmonicity equations at a generic point in the vector and hyper moduli space. In particular we show that the obstruction to the holomorphicity arises from the one loop threshold correction to the gauge couplings and we argue that this is due to the contribution of non-holomorphic couplings to the connected graphs via elimination of the auxiliary fields.
The holomorphicity property of N=1 superpotentials or of N=2 F-terms involving vector multiplets is generalized to the case of N=4 1/2-BPS effective operators defined in harmonic superspace. The resulting harmonicity equations are shown to control th
e moduli dependence of the couplings of higher dimensional operators involving powers of the N=4 Weyl superfield, computed by N=4 topological amplitudes. These equations can also be derived on the string side, exhibiting an anomaly from world-sheet boundary contributions that leads to recursion relations for the non-analytic part of the couplings.
