Quaternionic K\"ahler metrics associated to special K\"ahler manifolds with mutually local variations of BPS structures

We construct a quaternionic-K\"ahler manifold from a conical special K\"ahler manifold with a certain type of mutually-local variation of BPS structures. We give global and local explicit formulas for the quaternionic-K\"ahler metric, and specify under which conditions it is positive-definite. Locally, the metric is a deformation of the 1-loop corrected Ferrara-Sabharval metric obtained via the supergravity c-map. The type of quaternionic-K\"ahler metrics we obtain are related to work in the physics literature by S. Alexandrov and S. Banerjee, where they discuss the hypermultiplet moduli space metric of type IIA string theory, with mutually local D-instanton corrections.


Introduction
The supergravity c-map arises in the physics literature in the context of Calabi-Yau compactifications of type IIA and type IIB string theories. Given a fixed Calabi-Yau 3-fold X, the supergravity c-map takes the vector multiplet moduli space M IIA/B VM (X) to the hypermultiplet moduli space M IIB/A HM (X) with its string-tree-level metric g 0 FS . The metric g 0 FS is known as the Ferrara-Sabharwal metric [CFG89,FS90], and receives both perturbative and non-perturbative quantum corrections. After including the perturbative corrections, one obtains the 1-loop corrected Ferrara-Sabharwal metric g c FS [RLSV06,Ale07]. Mathematically, the 1-loop corrected c-map can be understood as a way of producing a 1-parameter family of quaternionic-Kähler (QK) manifolds {(N c , g c FS )} c∈R from a projective special Kähler manifold (PSK) [ACDM15]. When one sets the one loop parameter c ∈ R to c = 0, the tree-level metric is recovered.
On the other hand, there is the much simpler rigid c-map [CFG89], which arises in the context of 4d N = 2 theories compactified on S 1 . Mathematically, the rigid c-map can be understood as a way of producing a hyperkähler (HK) manifold from an affine special Kähler (ASK) manifold [Fre99,ACD02]. The HK metric one obtains is sometimes referred to as the "semi-flat" metric [GW00].
The rigid and the supergravity c-map have been studied in both the mathematics and physics literature, and they can be related via the so-called HK-QK correspondence [Hay08,ACM13,ACDM15,APP11]. The HK-QK correspondence takes as input an HK manifold with a rotating S 1 -action and a certain hyperholomorphic circle bundle; and produces a 1-parameter family of QK manifolds of the same dimension as the HK manifold. By rotating S 1 -action we mean that it acts by isometries, rotates two of the complex structures, and fixes the remaining complex structure.
On the other hand, the QK metric g c FS on M IIA/B HM (X) obtained via the 1-loop corrected c-map is expected to receive several non-perturbative quantum corrections in the form of D-instanton and NS5instanton corrections, preserving the QK property. The inclusion of all such corrections has not been fully understood, but a lot of progress has been made in the physics literature via the use of twistor space methods (see for example the extensive reviews [Ale13,AMPP15] and the references therein). In particular, the inclusion of D-instanton corrections on the type IIA side can be found in [APSV09,APP11].
When considering only the so-called "mutually-local" D-instantons, the instanton corrected QK metric on M IIA HM (X) has been computed in [AB15]. Their computation uses the description of the twistor space of a QK manifold given in [APSV10], together with the description of D-instanton corrections in twistor space given in [APSV09]. Some work is then needed to extract the QK metric from the twistor space data. On the other hand, in [APP11] the twistorial construction of the QK metric with D-instanton corrections was related via QK/HK correspondence to the twistorial construction of the instanton corrected HK metric of the Coulomb branch of N = 2 gauge theories on R 3 × S 1 , given in [GMN10]. In particular, one should be able to describe the case of mutually-local D-instanton corrections from [AB15] in terms of a semi-flat HK geometry corrected by mutually local instanton corrections, together with an appropriate hyperholomorphic line bundle. The description of the instanton corrected HK geometry in [GMN10] relies on a set of integral equations, determining the Darboux coordinates of the twistor family of holomorphic symplectic forms of the HK manifold. In the case of mutually local instanton corrections, the integral equations reduce to integral formulas, allowing for an explicit study of this case.
The main objective of this work is to give a mathematical treatment of QK metrics involving a mathematical notion of "mutually local D-instanton corrections". Our methods are based on a direct approach to the QK metric avoiding the use of twistor space and, thus, the technical difficulties arising in the latter framework. More specifically: • We will start with an integral conical affine special Kähler (CASK) manifold (M, g M , ω M , ∇, ξ, Λ) (see Definitions 2.4 and 2.6) and a mutually-local variation of BPS structures (M, Λ, Z, Ω) (see Definition 3.1 and 3.6), where (M, Λ, Z) is determined by the data of the integral CASK manifold. The notion of variation of BPS structures [Bri19] is the part of the data that will be used to implement the physical notion of "D-instanton corrections" to the QK metric.
As we mentioned before, the fact that the variation of BPS structures is mutually local circumvents the need of solving the "GMN integral equations" (since in this case they become integral formulas) and dealing with wall-crossing behavior. Our attitude will be to take the formulas (3.10) and (3.11) defining the candidate Kähler forms ω α for α = 1, 2, 3 as an ansatz, and explicitly state under which conditions they define an HK structure without using twistor space arguments. A key notion will be a non-degeneracy condition of a certain tensor field T involving the ASK metric g M and the BPS indices Ω, that will guarantee the non-degeneracy of ω α for α = 1, 2, 3 (see Definition 3.12).
The main result of Section 3 is Theorem 3.13. This theorem applies to ASK manifolds admitting a central charge (see Definition 2.14), which includes the CASK case, where there is a canonical choice of central charge (see Proposition 2.15): Theorem 3.13: Consider an integral ASK manifold (M, g M , ω M , ∇, Λ) admitting a central charge Z, together with a mutually local variation of BPS structures (M, Λ, Z, Ω). Then the triple (ω 1 , ω 2 , ω 3 ) of real 2-forms on N given in (3.10) and (3.11) defines a pseudo-HK structure on N if and only if the tensor field T on N given in (3.14) is horizontally non-degenerate with respect to the canonical projection π : N → M .
• Restricting back to the CASK case, if J is the complex structure on M and ξ the Euler vector field, it was shown in [ACM13] that one can lift Jξ to N , giving an infinitesimal rotating circle action for the semi-flat HK metric. We will show that the same lift also defines an infinitesimal rotating circle action for the instanton corrected HK structure (N, g N , ω 1 , ω 2 , ω 3 ), see Proposition 3.20. This, together with the construction of the appropriate hyperholomorphic circle bundle over N in Section 4 will allow us to apply the explicit formulas of [ACDM15, Theorem 2] for the HK-QK correspondence, and hence obtain an "instanton corrected" QK manifold (N , g N ). The main result of Section 4 is Theorem 4.10: Theorem 4.10: Let (M, g M , ω M , ∇, ξ, Λ) be a connected integral CASK manifold together with a mutually local (M, Λ, Z, Ω), where Z is the canonical central charge of a CASK manifold. Assume that T is horizontally non-degenerate and that the flow of ξ generates a free-action of the monoid R ≥1 . Furthermore, let (N, g N , ω 1 , ω 2 , ω 3 ) be the associated pseudo-HK manifold; (P → N, η) the associated hyperholomorphic circle bundle; N ′ ⊂ N the (non-empty) open subset defined in (4.26) and θ P i ∈ Ω 1 (P ), g P ∈ Sym 2 (P ), X P 1 ∈ Γ(T P ), f ∈ C ∞ (P ) the associated objects defined in Section 4.2. If N ⊂ P | N ′ is any submanifold transversal to X P 1 , then is a pseudo-QK metric on N . Furthermore, if N ′ + ⊂ N ′ is as in Lemma 4.8 and N is picked to also satisfy N + := N ∩ N ′ + = ∅, then g N is positive definite on N + .
• In Section 5 we apply Theorem 4.10 to the case of a CASK domain, and describe the resulting (N , g N ) in coordinates that realize g N as a deformation of the 1-loop corrected Ferrara-Sabharval metric g c FS , see Theorem 5.4. We furthermore show in Proposition 5.6 that the subset N + where g N is positive definite in never empty (for our choice of N ), and say something about the fate of the Peccei-Quinn symmetries after instanton corrections in Corollary 5.7.
• Finally, in Section 5.2 we give a simple example of our constructions. In this example, we consider a CASK domain whose associated PSK manifold is the complex hyperbolic space CH n with the Bergman metric. If ρ denotes the usual dilaton coordinate, our example then gives a deformation g N of g c F S in a neighborhood of ρ = ∞, where both g N and g c F S are defined and positive definite (see Corollary 5.10). In particular, when n = 0, we obtain an instanton deformation of the universal hypermultiplet, near its infinite end of finite volume (see Corollary 5.11).
Regarding our results and the related work [AB15] in the physics literature: • The argument we follow is similar in spirit to the one in [APP11], and gives a formal mathematical proof that the final metric is QK. Furthermore, we obtain a global formula for the QK metric (1.1), while in [AB15] only a local formula is found.
• In the local case of a CASK domain, the coordinate expression of g N in Theorem 5.4 should be compared with the corresponding expression in [AB15]. In our case, g N turns out to be completely explicit, avoiding the use of the implicitly defined R-parameter in [AB15]. We do however express everything in terms of "classical coordinates", whereas in [AB15] a "quantum corrected" dilaton coordinate is used. See also Section 5.1 for some further comments on this.
• On the other hand, some effort has been made in indicating which expressions are due to "instanton corrections". This allows for a direct comparison with the usual 1-loop corrected Ferrara-Sabharval metric g c FS , and realize the QK metric we obtain in the case of a CASK domain as deformations of g c FS .
Acknowledgements: This work was supported by the Deutsche Forschungsgemeinschaft (German Research Foundation) under Germany's Excellence Strategy -EXC 2121 "Quantum Universe" -390833306. The idea for this work originated from discussions within our Swampland seminar, which is part of the Cluster of Excellence Quantum Universe. The authors would like to thank Murad Alim, Jörg Teschner, Timo Weigand and Alexander Westphal for the aforementioned discussions. Furthermore, the authors would like to thank Danu Thung for comments on the draft.

Review of special Kähler manifolds and the rigid c-map
In this section we collect a few facts about affine special Kähler (ASK) manifolds, the rigid c-map, conical affine special Kähler (CASK) manifolds and projective special Kähler (PSK) manifolds. Our main references are [Fre99,ACD02,CM09].
In the final subsection 2.4 we give a description of the semi-flat hyperkähler metric in terms of the notion of central charges. This description will be convenient for the constructions of the later sections.
• ∇ is a flat, torsion-free connection on M . The fact that ∇ is flat and torsion-free, together with ∇ω = 0, implies that we can find ∇-flat Darboux coordinates (x i , y i ) for ω, i.e: (2.1) Definition 2.2. Coordinates (x i , y i ) in an ASK manifold satisfying (2.1) are called affine special coordinates.
On the other hand, the torsion free condition can be written as d ∇ (Id) = 0 where Id ∈ Ω 1 M (T M ) is the identity map. Together with d ∇ J = 0, this implies that the projection π 1,0 = 1 2 (Id − iJ) satisfies By the Poincaré lemma, we can locally find a complex vector field ξ 1,0 on M such that Consider a local flat Darboux frame ( γ i , γ i ) with respect to ω. We can then write and obtain local complex valued functions z i and w i on M . The flatness of ( γ i , γ i ) together with ∇ξ 1,0 = π 1,0 imply that z i and w i must be holomorphic. Furthermore, if we define x i := Re(z i ) and y i := −Re(w i ), then using the fact that 2Re(∇ξ 1,0 ) = 2Re(π 1,0 ) = Id, we find that (x i , y i ) is a local coordinate system and that ∂ x i = γ i , ∂ yi = γ i . In particular (x i , y i ) is an affine special coordinate system and (z i ), (w i ) are systems of holomorphic coordinates. With respect to the special holomorphic coordinates z i (or w i ), one can locally describe the ASK geometry in terms of a holomorphic function F(z i ) (usually known as the holomorphic prepotential) satisfying The function F locally describes the ASK geometry in the sense that (2.6) We will also make frequent use of the following additional data: Definition 2.4. An integral ASK manifold is a tuple (M, g, ω, ∇, Λ) such that: • Around any p ∈ M , Λ → M admits a Darboux frame with respect to ω.

The rigid c-map
Given an ASK manifold (M, g, ω, ∇) of signature (n, m), the rigid c-map associates to it a pseudohyperkähler (HK) structure of signature (2n, 2m) on the cotangent bundle (T * M, g sf , I 1 , I 2 , I 3 ). We use the superscript sf since the metric is "semi-flat" in the sense that it restricts to a flat metric on the fibers.
The HK structure is defined as follows. Let π : T * M → M be the canonical projection, then the connection ∇ allows us to do a splitting where T h (T * M ) ∼ = π * T M and T v (T * M ) = Ker(dπ) ∼ = π * T * M . With respect to this splitting we have where in the definition of I 1 we think of ω as a map ω : T M → T * M . We remark that the fact that this defines an actual HK structure on T * M really uses all the special Kähler conditions (see e.g. [Fre99, Section 2] or [ACD02, Theorem 11]). The numbering of the I α is set to match our later conventions.
The vector fields ξ and Jξ satisfy the following identities with the Lie derivative: L ξ J = L Jξ J = 0, L ξ g = 2g, L Jξ g = 0, and L ξ Jξ = 0 [CM09]. In other words, ξ is holomorphic and homothetic, Jξ is holomorphic and Killing, and they commute.
In some cases we will assume that the holomorphic Killing vector Jξ generates a free S 1 -action on M , and that the holomorphic homothetic vector ξ generates a free R >0 -action on M . Under such a condition, the function µ := r 2 /2 where r := g(ξ, ξ), is a moment map for the S 1 -action, and if we define (2.10) We then have (2.11) Definition 2.7. A projective special Kähler (PSK) manifold is a Kähler manifold (M , g M , ω M ) obtained from a CASK manifold by the Kähler quotient from before.
Given a CASK manifold (M, g, ω, ∇, ξ) we can locally find a special affine coordinate system (x i , y i ) such that [CM09]: (2.12) Definition 2.8. A special affine coordinate system (x i , y i ) satisfying (2.12) is called a conical special affine coordinate system.
Definition 2.9. When (z i ) and (w i ) are defined by (2.14) using the globally defined ξ 1,0 = 1 2 (ξ − iJξ) we will call (z i ) and (w i ) a conjugate system of conical special holomorphic coordinates.
If (z i ) and (w i ) are a conjugate system of conical special holomorphic coordinates, then they are homogeneous of degree 1 with respect to the (local) C × -action generated by {ξ, Jξ} (i.e. L ξ z j = z j , L Jξ z j = iz j , L ξ w j = w j , L Jξ w j = iw j ). In particular, this implies that L ξ 1,0 z i = z i , so that (2.15) If we define τ ij by the relation dw i = τ ij dz j , then a consequence of (2.14) and (2.15) is that w i = τ ij z j . This furthermore implies that F(z i ) := 1 2 τ ij z i z j is a holomorphic prepotential for the CASK geometry.
Finally, we remark that for a CASK manifold, the map r := g(ξ, ξ) gives a global Kähler potential for ω: ω = i 2 ∂∂r 2 . (2.16) In conical holomorphic special coordinates (z i ), this follows from ∂τij ∂z k z j = 0 (which in turn follows from the CASK relation w i = τ ij z j ) together with r 2 = Im(τ ij )z i z j .

Central charges and the semi-flat metric
Let (M, g, ω, ∇, Λ) be an integral ASK manifold. Here we present another description of the associated semi-flat HK metric (N = T * M/Λ * , g sf , ω 1 , ω 2 , ω 3 ). This description is closer to the language of 4d N = 2 SUSY theories, and will be more useful when we include the "instanton corrections" in the form of variations of BPS structures [GMN10,Nei14].
Definition 2.10. Given an integral ASK manifold (M, g, ω, ∇, Λ), ω| Λ×Λ defines an integral skew pairing on Λ that we will denote by −, − := ω| Λ×Λ : Λ × Λ → Z . (2.17) By the definition of an integral ASK manifold, −, − admits local Darboux frames ( γ i , γ i ). Our convention will be that γ i , γ j = δ j i . Let ( γ i , γ i ) be a Darboux frame of Λ over U ⊂ M . By possibly restricting U we can find a local complex vector field ξ 1,0 on U such that ∇ξ 1,0 = π 1,0 , and consider the corresponding system of conjugate special holomorphic coordinates (z i ) and (w i ) determined by Definition 2.11. A conjugate system of holomorphic special coordinates (z i ), (w i ) defined by (2.18) with respect to a local Darboux frame of Λ will be called a conjugate system of integral holomorphic special coordinates.
Two such overlapping systems of conjugate holomorphic special coordinates are related by a (constant) transformation in C 2n ⋊ Sp(2n, Z) (the C 2n factor is there because we can always shift ξ 1,0 by a complex parallel vector field when solving ∇ξ 1,0 = π 1,0 ).
• There is a holomorphic section Z of Λ * ⊗ C → M such that for any local Darboux frame ( γ i , γ i ) of Λ, the holomorphic functions (Z γ i ) and (Z γi ) give a conjugate system of integral holomorphic special coordinates.
Remark 2.13. In the above proposition Λ * → M denotes the dual of Λ → M . Furthermore, for γ a section Λ over U ⊂ M , Z γ : U → C denotes the corresponding holomorphic function obtained by contracting with γ.
Proof. Consider (U α , {z i α }, {w i,α }) for some α, and the corresponding Darboux frame ( γ i,α , γ i α ) of Λ over U α ⊂ M . We locally define Z : U α → Λ * ⊗ C as follows: given a section γ of Λ| Uα we can write γ = n i γ i,α + n i γ i α , and then define The fact that the conjugate systems of holomorphic special coordinates are related by a transformation in Sp(2n, Z) then implies that the local definitions of Z glue together into a holomorphic section Z : so {Z γ i } and {Z γi } give a conjugate system of integral holomorphic special coordinates.
On the other hand, it is clear that if Z : M → Λ * ⊗ C exists, then the required cover exists.
For future reference we note that the section Z of Λ * ⊗ C has the following expansion in the dual Darboux frame It is related to ξ 1,0 via ω(ξ 1,0 , −)| Λ = 1 2 Z.
Definition 2.14. We will say that an integral ASK manifold (M, g, ω, ∇, Λ) admits a central charge homomorphism if it has a holomorphic section Z : M → Λ * ⊗ C satisfying the condition of Proposition 2.12.
Proposition 2.15. An integral CASK manifold (M, g, ω, ∇, ξ, Λ) has a canonical central charge homomorphism Z : M → Λ * ⊗ C, which is unique up to the action of the group of global sections of Sp(Λ). If ( γ i , γ i ) is a Darboux frame of Λ, then (Z γ i ) and (Z γi ) gives a conjugate system of integral, conical, holomorphic special coordinates.
Proof. In the CASK case we have a global and canonical complex vector field ξ 1,0 := 1 2 (ξ −iJξ) satisfying ∇ξ 1,0 = π 1,0 . Any two conjugate systems of integral holomorphic coordinates defined by this ξ 1,0 are related by a transformation in Sp(2n, Z). This allows us to produce the required cover of Proposition 2.12 and hence a canonical central charge homomorphism. The fact that (Z γ i ) and (Z γi ) are conical is clear from the fact that we are using 1 2 (ξ − iJξ) to define Z. We are now ready to give the description of g sf that will be useful for the following sections.
Proposition 2.16. Let (M, g, ω, ∇, Λ) be an integral ASK manifold admitting a central charge Z : M → Λ * ⊗ C, and let (N = T * M/Λ * , g sf , I 1 , I 2 , I 3 ) be the associated semi-flat HK manifold. Furthermore, consider the torus bundle N → M defined by (2.22) Then N → M is canonically isomorphic to N → M . Furthermore, by using the induced 1 pairing −, − on Λ * and the evaluation map θ : N → Λ * ⊗ R/2πZ, we can write the Kähler forms ω sf α := g sf (I α −, −) as follows (see [Nei14]): (2.23) Proof. Consider the natural projection p : R → R/2πZ, then the bundle isomorphism N ∼ = N is given by To check the claim on the Kähler forms, it is enough to show that in local coordinates we recover the usual expressions. Fix a local Darboux frame ( γ i , γ i ) of Λ over U , and consider the local coordinates where we used dZ γi = τ ij dZ γ j . Similarly, using that τ ij must be symmetric (since (Z γi ) and (Z γ i ) are a conjugate system of holomorphic special coordinates), we find (2.26) Under our identification, and up to an overall normalization of the metric, these expressions reproduce the usual formulas of the semi-flat HK metric (see for example [ACDM15, Proposition 3], while keeping in mind the different sign conventions for special coordinates).
Note that 1 4 dZ ∧ dZ = i 2 ∂∂r 2 is precisely the Kähler form of the affine special Kähler manifold, where r 2 = − i 2 Z,Z . In the case of a conical affine special Kähler manifold, we can write this Kähler potential as r 2 = g(ξ, ξ), cf. (2.21).

Instanton corrected HK structures
Consider an integral ASK manifold (M, g M , ω M , ∇, Λ). We seek to include the data of a variation of BPS structures over M , to get an "instanton corrected" pseudo-hyperkähler metric on N = T * M/Λ * , following [GMN10,Nei14].
On the other hand, it is known that the semi-flat HK metric on N coming from the CASK manifold M has an infinitesimal rotating circle action [ACM13,ACDM15]. We wish to show that this infinitesimal rotating action survives the instanton corrections coming from a mutually local variation of BPS structures, with the aim of applying the HK-QK correspondence in the next sections.
We start by quickly reviewing in Section 3.1 the inclusion of instanton corrections according to the work in the physics literature of [GMN10]. Section 3.1 is only meant as a motivation for the formulas appearing in Section 3.2. In Section 3.2 we restrict to the simpler case of mutually local corrections, and prove under which conditions we obtain an "instanton corrected" HK structure (see Theorem 3.13). The proof is direct and explicit, avoiding the use of twistor space methods.

Variations of BPS structures and instanton corrected HK metrics
To explain what we will mean by an instanton correction of the semi-flat HK structure, we will require the notion of variations of BPS structures [Bri19].
Remark 3.2. We will not need to fully state the KS wall-crossing formula, but will only mention some consequences that this condition has on Ω. Consider the real codimension 1 subset W ⊂ M defined by where Supp(Ω) := {γ ∈ Λ | Ω(γ) = 0}. The fact that Ω satisfies the wall-crossing formula implies that for a local section γ of Λ, Ω(γ) is locally constant on M \W. Furthermore, the discontinuity at the "wall" W is completely determined by the wall-crossing formula, and Ω is monodromy invariant (i.e. if γ p has monodromy A · γ p for A ∈ Sp(Λ p , −, − ) around a loop, then Ω(γ p ) = Ω(A · γ p )).
The tuple (M, Λ, Z, Ω) should furthermore satisfy the following two properties: • Support property: given a compact set K ⊂ M and a choice of covariantly constant norm | · | on Λ| K ⊗ Z R, there should be a constant C > 0 such that for any γ ∈ Λ| K ∩ Supp(Ω) • Convergence property: for any R > 0 the series converges normally on compact subsets of M .
• The convergence property is stronger than the one on [Bri19]. However, it will simplify technical details of convergence and term by term differentiation of sums that will appear below in the case that Supp(Ω) is infinite. We remark that the BPS indices appearing in the string theory setting of [Ale13, AMPP15, AB15] are not expected to satisfy even the weaker convergence condition on [Bri19].
We will only consider variation of BPS structures over an ASK manifold that are "adapted" to the ASK structure in the following sense: Remark 3.5. The reason for considering twisted characters has to do with implementing the wallcrossing formalism from [KS08]. We remark that M and N (see (2.22)) can be locally identified (noncanonically), but they might differ topologically (see [GMN10] for a discussion on this).
In [GMN10,Nei14], the proposed intanton corrected HK structure on M is then described as follows: first one must find locally defined functions X γ : U ⊂ M × C × → C × , labeled by local sections γ of Λ| π(U) , and satisfying the "GMN equations": For a fixed θ ∈ M, the functions X γ (θ, ζ) have discontinuities in ζ along the rays R − Z γ with γ ∈ Supp(Ω) (the so-called BPS rays). Furthermore, a consequence of satisfying (3.5) is that X γ+γ ′ = (−1) γ,γ ′ X γ X γ ′ , which is related to the twist in the unitary characters, and important for the wall-crossing formalism.
Then one defines the following C × -family of complex 2-forms on M: where d differentiates only in the M directions. The discontinuities of X γ (ζ) in ζ turn out to not affect ̟(ζ). Moreover, the KS wall-crossing formula is used to argue that ̟(ζ) is actually well-defined over W ⊂ M , where the BPS indices Ω(γ) jump.
Finally, they argue that there is a hyperkähler twistor space structure on M × CP 1 , whose O(2)twisted family of holomorphic symplectic forms is given by ζ̟(ζ) ⊗ ∂ ζ . In particular, if we expand ζ̟(ζ) in ζ, we obtain an expression of the form where ̟ and ω 3 give a holomorphic symplectic form and Kähler form with respect to one of the complex structures; and Re(̟), Im(̟) and ω 3 give a triple of Kähler forms for the hyperkähler structure.

Mutually local variations of BPS structures and the instanton corrected HK structure
One of the main issues in describing the instanton corrected HK structure lies in solving the equations (3.5). Below, we will restrict to a case where the integral equations (3.5) reduce to integral formulas, and write down the candidate ̟ and ω 3 . We will then show in Theorem 3.13 under what conditions they define a HK structure on N = T * M/Λ * .
• The mutually local condition implies W = ∅, and hence no wall-crossing occurs for the BPS indices Ω(γ). In particular, given a local section γ of Λ, Ω(γ) is a locally constant function on M .
• On the other hand, given (M, g M , ω M , ∇, Λ) with an adapted mutually local variation of BPS structures, the mutually local condition implies that we can find a local Darboux frame ( γ i , γ i ) of Λ such that Supp(Ω) ⊂ span Z {γ i } (see Lemma 3.14 below). It is then easy to see that the GMN equations (3.5) for {X γi (ζ), X γ i (ζ)} reduce from integral equations to integral formulas. In Lemma 3.10 below we write down the corresponding candidate ̟ and ω 3 obtained from the explicit formulas for {X γi (ζ), X γ i (ζ)} (see also [GMN10, section 4.3 and 5.6]).
Remark 3.8. For the rest of the paper we will only consider adapted variations of mutually local BPS structures over an integral ASK manifold (M, g M , ω M , ∇, Λ) admitting a central charge (recall Propositions 2.12, 2.15, and Definition 3.4). For simplicity, we will denote them just by Ω and refer to them as mutually local variations of BPS structures, omitting the word "adapted". In the CASK case we always use the canonical central charge.
Remark 3.11. Notice that the sums over γ in the definitions of ̟ and ω 3 are monodromy invariant due to the monodromy invariance of Ω (see Remark 3.2), so they make global sense.
Proof. If Supp(Ω) is finite, then clearly ̟ and ω 3 define smooth forms on N by the previous lemma. Otherwise, consider a compact set K ⊂ N such that we have a frame ( γ i , γ i ) of Λ| π(K) , and a covariantly constant choice of norm for Λ| π(K) . Writing (3.10) and (3.11) with respect to dZ γi dZ γ i , dθ γi and dθ γ i , we can use the support property (3.2) to reduce the question of convergence of (3.10) and (3.11) to the convergence of sums of the form where ν = 0, 1. By the use of the asymptotics of the Bessel functions and the support property (3.2), it is then easy to check that for any 0 < ǫ < 1 we can find C 1 > 0 and C 2 > 0 such for |γ| > C 1 we have (recall that by the support property |Z γ | → ∞ uniformly over K as |γ| → ∞ with γ ∈ Supp(Ω)). By the convergence property (3.3), we then see that the infinite sums (3.12) converge normally over compact subsets of N , and hence the (3.10) and (3.11) define smooth forms on N .
The reality of ω 3 follows from the identities V inst The key notion that will guarantee that the triple (ω 1 := Re(̟), ω 2 := Im(̟), ω 3 ) defines a HK structure on N is the following: Definition 3.12. Let π : N → M be the canonical projection, where N = T * M/Λ * . We will say that (M, g M , ω M , ∇, Λ) and a mutually local Ω are compatible if the tensor field (3.14) on N is horizontally non-degenerate, i.e. T is non-degenerate on the normal bundle of the fibers. Before doing the proof of Theorem 3.13, we will need two lemmas. Lemma 3.14 is a technical result needed for Lemma 3.15; while Lemma 3.15 collects some useful expressions needed for the proof of Theorem 3.13.
Proof. Let L be a maximal isotropic subgroup of Λ such that S ⊂ L. Since Λ is a finitely generated free abelian group, the same is true for L, and rk(L) ≤ rk(Λ) = 2n. We claim that rk(L) = n. To see this, we consider the map ψ ω : Λ → Hom(L, Z) given by γ → ω(γ, −)| L . Because ω admits a Darboux basis, ψ ω : Λ → Hom(L, Z) is surjective. Here we use that L is primitive (by maximality) and thus the natural map Hom(Λ, Z) → Hom(L, Z) is surjective. This in turn follows from the fact that every primitive system of vectors in a lattice can be extended to a basis. Hence, if we denote L ω := Ker(ψ ω ), we obtain rk(L ω ) = rk(Λ) − rk(L). On the other hand, L ⊂ L ω implies that rk(L) ≤ rk(L ω ), and since L is a maximal isotropic sublattice containing S, we must have rk(L) = rk(L ω ). It follows that rk(L) = n.
.,n be a basis for L. Using again that L is a maximal isotropic sublattice, we have that α 1 is primitive in Λ. Now let ( β i , β i ) be a Darboux basis of (Λ, ω). Writing α 1 = b i β i + b i β i and using the fact that α 1 is primitive, we must have gcd{b we then see that ω( α 1 , α 1 ) = 1. We set γ 1 := α 1 and γ 1 := α 1 .
At the n-th step we then have a Darboux frame { γ i , γ i } of Λ such that S ⊂ L = span(γ 1 , ..., γ n ), which is what we wanted.
Lemma 3.15. Let (M, g M , ω M , ∇, Λ) and Ω be as before. Given a local Darboux frame ( γ i , γ i ) for Λ such that Supp(Ω) ⊂ span Z {γ i } (see Lemma 3.14), we write γ = n i (γ)γ i for γ ∈ Supp(Ω) and define the complex 1-forms on N where dZ γi = τ ij dZ γ j . Furthermore, we define the matrices We then have and assuming Ω is compatible with the ASK manifold, (3.21) Remark 3.16. Note that the symmetric matrix M ij is real, in virtue of the property Ω(−γ) = Ω(γ) and On the other hand, the fact that M ij is invertible follows from the compatibility condition (3.14) written with respect to ( γ i , γ i ).
On the other hand, to see that (3.21) holds it is easy to check that: while for the second term, after expanding the terms in Y i , using the fact that M ij is symmetric, and reorganizing terms we obtain (3.24) so that (3.21) holds.
Proof. (of Theorem 3.13) We start by showing that the compatibility assumption (3.14) implies the nondegeneracy of the ω α forms. We fix a local Darboux frame ( γ i , γ i ) with Supp(Ω) ⊂ span{γ i } and denote for simplicity Z i := Z γ i . We work locally with the real frame ∂ ∂ θ i := ∂ θ γ i and ∂ θi := ∂ θ γ i and recall that the compatibility condition (3.14) implies the invertibility of the matrix M ij .
• Non-degeneracy of ω 1 : we write below relations that are sufficient to deduce non-degeneracy. Using (3.18) and (3.20) we obtain (3.25) So ω 1 is represented by a block triangular matrix (with respect to the second diagonal) with invertible diagonal blocks. Hence, we conclude that ω 1 is non-degenerate.
• Non-degeneracy of ω 2 : as before, we write below sufficient relations to deduce non-degeneracy. Using (3.18) and (3.20) (3.26) So ω 2 is represented by a block triangular matrix with invertible diagonal blocks (of size 2 dim R (M ) on the second diagonal). This shows that ω 2 is nondegenerate.
• Non-degeneracy of ω 3 : using (3.11) and (3.19) we obtain the following sufficient relations to show non-degeneracy (3.27) Using the block structure of the representing matrix we see that it can be transformed to block diagonal form with invertible diagonal blocks using row and column operations. This proves that it has maximal rank. Now we check that dω α = 0 α = 1, 2, 3 . (3.28) For α = 1, 2 it is enough to check that d̟ = 0, since ̟ = ω 1 + iω 2 , and ω 1 and ω 2 are real. Using (3.10), and the fact that the semi-flat part is closed, we have where we used that K ′ 0 = −K 1 . On the other hand, using (3.11) and the fact that the semi-flat part is closed, we obtain where we used the identity (xK 1 (x)) ′ = −xK 0 (x).
We now define three endomorphism fields by where (α, β, γ) are cyclically ordered. We will compute their action on a local frame of T N ⊗ C and check that I 1 I 2 = I 3 and I 2 α = −1.
We have a local frame of T * N ⊗ C given by {dZ i , dZ i , Y i , Y i } (see Lemma 3.15). We consider the dual frame of vector fields {A i , A i , B i , B i }. Using (3.20) and (3.21) we find the following identities (3.32) The evaluation on the conjugate elements of the frame give the conjugate of the corresponding expressions (recall that (M ij ) is a real symmetric matrix).
This allows us to compute the action of I α on the frame, giving the following where again the value on the conjugate elements is given by taking conjugates on the RHS of the above equalities. From (3.33) it is clear that so each I α defines an almost complex structure on N , and they satisfy the quaternion relations. These relations imply that the tensor field ω α • I α = ω α (I α −, −) is independent of α and that the pseudo-Riemannian metric g N := −ω α • I α satisfies I * α g N = g N and g N (I α −, −) = ω α (−, −).
We have shown the sufficiency of the compatibility condition (3.14). The necessity follows from the previous identities used to show non-degeneracy of ω α . Indeed, if T in (3.14) is horizontally degenerate for some p ∈ N , then with respect to a Darboux frame ( γ i , γ i ) of Λ around π(p) ∈ M with Supp(Ω) ⊂ span{γ i } the corresponding M ij is not invertible at p, and then the forms ω α can be shown to be degenerate at p.
Corollary 3.17. Let (N, g N , I 1 , I 2 , I 3 ) and {dZ γ i , dZ γ i , Y i , Y i } be the pseudo-HK manifold and local frame of T * N ⊗ C from the previous theorem. Then in such a frame the metric g N has the local form (3.35) Proof. The first equality follows from (3.21) together with the fact that dZ γ i and Y i are (1, 0) forms with respect to I 3 due to (3.33). The second equality follows from the formulas in Lemma 3.15.
Remark 3.18. the semi-flat HK metric corresponds in this case to This expression shows that the torus bundle π : (N, g sf ) → (M, g M ) is a Riemannian submersion with totally geodesic horizontal distribution and flat fibers. Due to the latter property, the metric g sf is called semi-flat.
This picture is lost when including the instanton corrections. Indeed, the horizontal part of the metric g N is no longer basic, since the functions N inst perpendicular to the fibers.

The CASK case and the rotating action
We now assume that we start with an integral CASK manifold (M, g M , ω M , ∇, ξ, Λ), together with a compatible, mutually-local Ω. We denote by (N, g N , ω 1 , ω 2 , ω 3 ) the corresponding pseudo-HK manifold from Theorem 3.13.
In [ACM13, Section 3] it is shown that one can lift Jξ from M to N , in such a way we get an infinitesimal rotating circle action for the semi-flat HK structure on N . The lift V of Jξ is defined as follows: if q i are special affine coordinates for M and (π * q i , p i ) the corresponding coordinates on T * M , then Proposition 3.20. The vector field V defines an infinitesimal rotating circle action for the instanton corrected HK structure (N, g N , ω 1 , ω 2 , ω 3 ).
Proof. The vector field V of N satisfies the following: • The central charge Z satisfies L V π * Z γ = L Jξ Z γ = iZ γ (recall Proposition 2.15 and the remark below Definition 2.9). Here and in the following we have omitted π * on the right-hand side for ease of notation, identifying function on M with functions on N via pull-back.
Using our local expression (3.35) of g N , we see that we can write g N in the local real frame dx i := Re(dZ γ i ), du i := Im(dZ γ i ), α i := Re(Y i ) and β i := Im(Y i ) as In particular, we see that if the (real) matrix M ij has signature (n, m) then g has signature σ(g) = (4n, 4m). In the CASK case we can say more: Proposition 3.21. Let (N, g N , ω 1 , ω 2 , ω 3 ) be an instanton corrected HK metric associated to a connected integral CASK manifold (M, ω, g M , ∇, ξ, Λ) with a compatible Ω. If the flow of ξ induces a free-action on M of the (multiplicative) monoid R ≥1 , then σ(g) = σ(g sf ) = (4, 4n), where dim C (M ) = n + 1.
Proof. By the connectedness assumption, it is enough to check the signature at a single point. We fix p ∈ M and consider the ray l p := R ≥1 · p ⊂ M obtained by the free R ≥1 -action on M , and a Darboux frame ( γ i , γ i ) of Λ with Supp(Ω) ⊂ span{γ i } along l p . With respect to this frame we have the matrix M ij controlling σ(g): We consider the ∇-horizontal lift of ξ to N . Such a lift generates a free R ≥1 -action on π −1 (l p ) ⊂ N that scales Z γ and leaves θ γ invariant. The term N ij = Im(τ ij ) is invariant under the R ≥1 -action scaling the central charge (since M is CASK), while the terms V inst γ are exponentially decreasing as we act with a sufficiently big t ∈ R ≥1 (due to the asymptotics of the Bessel functions). Hence, by the use of the convergence property (3.3) and the R ≥1 -action we can make M ij as close as we want to N ij for an appropriate point in π −1 (l p ). Hence, σ(g N ) = σ(g sf ) = 2σ(g M ) = (4, 4n).

HK-QK correspondence for the corrected HK metric
Consider an integral CASK manifold (M, g M , ω M , ∇, ξ, Λ) together with a compatible, mutually local Ω. From the results of Theorem 3.13 and Proposition 3.20 we obtain an HK manifold (N, g N , ω 1 , ω 2 , ω 3 ) with an infinitesimal rotating action given by the vector field V . In this section we apply to (N, g N , ω 1 , ω 2 , ω 3 ) the explicit description of the HK-QK correspondence found in [ACDM15, Theorem 2], to obtain a possibly indefinite QK manifold (N , g N ).
One of the things that we will require in order to apply the HK-QK correspondence to (N, g N , ω 1 , ω 2 , ω 3 ), is an S 1 -principal bundle π N : P → N having a connection η ∈ Ω 1 (P ) with curvature F ∈ Ω 2 (N ) satisfying (4.1) Remark 4.1. One can show that F is of type (1, 1) with respect to the triple of complex structures I α for α = 1, 2, 3 (see for example [Hit13, Proposition 1]). Hence, the principal circle bundle (π N : P → N, η) is hyperholomorphic, in the sense that the complex line bundle associated to the defining representation of U (1) is holomorphic for all three I α .
After constructing the required hyperholomorphic circle bundle in Section 4.1, we apply the HK-QK correspondence in Section 4.2. The main result of this section is Theorem 4.10.

The hyperholomorphic circle bundle
In this section we construct the hyperholomorphic bundle (π N : P → N, η). We use the notation π M : N → M for the natural projection.
Proposition 4.2. There exists an S 1 -principal bundle π N : P → N with connection Θ having curvature Proof. We start by considering the trivial R-principal bundle T * M × R → T * M . We denote by p : T * M → Λ * ⊗ R the evaluation map. Hence, if we are given a local trivialization ( γ i , γ i ) of Λ, then (p γi , p γ i ) gives coordinates for the fibers of T * M . On T * M × R → T * M we define the connection where σ is a global coordinate on the R-fiber.
The following lemma gives an expression for ω 3 that will be convenient for defining the connection η on π N : P → N with curvature (4.1).
Proof. Since M is a CASK manifold, we have from (2.16): (4.10) On the other hand, using the identity (xK 1 (x)) ′ = −xK 0 (x) we see that the instanton correction terms of ω 3 satisfy where we used that compact normal convergence (3.3) lets us interchange sums and derivatives. The formula (4.9) then follows by comparison with (3.11).
Corollary 4.5. Let π N : P → N and Θ be as in Proposition 4.2. Then the connection η ∈ Ω 1 (P ) given by . (4.13) Proof. The fact that dη = π * N F follows from the equations (4.2) and (4.9). The following proposition characterizes the part of η containing the "instanton corrections".

HK-QK correspondence
From the data of an integral CASK manifold (M, g M , ω M , ∇, ξ, Λ) with a compatible Ω, we have obtained a pseudo-HK manifold (N, g N , I 1 , I 2 , I 3 ) with an infinitesimal rotating circle action V and a hyperholomorphic circle bundle (π N : P → N, η). We now wish to apply [ACDM15, Theorem 2] to obtain a pseudo-QK manifold. In order to match their conventions, we will need to consider 2πg N instead of g N , and take X = 2V , so that X satisfies L X I 1 = −2I 2 , L X I 2 = 2I 1 , L X I 3 = 0, L X g N = 0. On the other hand, in order to directly apply [ACDM15, Theorem 2], we will need to define several other pieces of data associated to (N, 2πg N , I 1 , I 2 , I 3 ) and (π N : P → N, η). This are given in Lemmas 4.7 and 4.8, and in Definition 4.9 below.
Lemma 4.7. Let c ∈ R and let f, f 1 ∈ C ∞ (N ) be defined by (4.20) Then f and f 1 satisfy then Proof. We start by proving that df = −4πι V ω 3 . Using conical holomorphic special coordinates Z i we have the local expression (4.23) On the other hand we have the identity Z i ∂τij ∂Z k = 0 as a consequence of the CASK condition. It is then easy to check that From the same arguments of Proposition 3.20, it follows that L V η inst γ = 0. We then have is not empty. In particular, the open subset N ′ + := {f > 0, f 1 < 0} ⊂ N ′ is not empty.
Proof. The proof is similar to Proposition 3.21. Indeed, fix p ∈ N with π M (p) = q, consider the ray l q := R ≥1 · q ⊂ M , and pick some Darboux frame ( γ i , γ i ) of Λ along the ray l q with Supp(Ω) ⊂ span{γ i }. By consider the ∇-flat lift of ξ to N , we obtain a R ≥1 -action on π −1 M (l q ) ⊂ N that rescales Z γ , and leaves invariant θ γ . Writing f inst , f inst 1 with respect to ( γ i , γ i ) and using the asymptotics of the Bessel functions together with the convergence property, it is easy to see that given any ǫ > 0 the following holds for sufficiently big t ∈ R ≥1 where in the last inequality we used the fact that g N (X, X) − π * M g M (X, X) only contains instanton correction terms (see (3.35) and (4.23)).
Definition 4.9. Let N ′ ⊂ N be as in Lemma 4.8. On the total space of (π N : P | N ′ → N ′ , η) we define the following objects: • We endow P | N ′ with the pseudo-Riemannian metric: and the vector field where X denotes the horizontal lift of X and ∂ σ the generator of the S 1 -principal action.
• Finally, we define the following 1-forms on P | N ′ : We can now state the main theorem of this section: Theorem 4.10. Let (M, g M , ω M , ∇, ξ, Λ) be a connected integral CASK manifold with a compatible mutually local Ω, and assume that the flow of ξ generates a free-action of the monoid R ≥1 . Furthermore, let (N, g N , I 1 , I 2 , I 3 ) be the associated pseudo-HK manifold; (P → N, η) the associated hyperholomorphic circle bundle; and θ P i , g P , X P 1 , f and N ′ ⊂ N as before. If N ⊂ P | N ′ is any submanifold transversal to X P 1 , then is a pseudo-QK metric on N . Furthermore, if N is picked to also satisfy N + := N ∩ N ′ + = ∅, then g N is positive definite on N + .
Proof. We have set everything up so that we can apply the explicit formulas of the HK-QK correspondence in [ACDM15, Theorem 2] to the pseudo-HK manifold (N ′ , 2πg N , I 1 , I 2 , I 3 ) with the vector field X = 2V and the hyperholomorphic circle bundle (P | N ′ → N ′ , η) (notice that we restricted to N ′ of Lemma 4.8). [ACDM15, Theorem 2] then guarantees that is a pseudo-QK metric on N . Hence, g N = −2sign(f )g ′ is also a pseudo-QK metric on N .
By Proposition 3.21 we know that g N has signature (4, 4n), so by [ACM13, Corollary 1] we conclude from the conditions f > 0, f 1 < 0 that g ′ = − sign(f ) 2 g N = − 1 2 g N is negative definite on N + , and hence g N is positive definite on N + .
Remark 4.11. Let us make a few comments on the assumption in Theorem 4.10 that the flow of ξ generates a free-action of the monoid R ≥1 : • On one hand, this assumption is satisfied if one starts with a CASK domain (see Definition 5.1), since in this case M ⊂ C n+1 − {0} is a C × -invariant domain, and ξ corresponds to the infinitesimal action of the rescaling action R >0 ⊂ C × (and hence, in particular, to the monoid action R ≥1 ⊂ R >0 ). The case of the CASK domain will be important below, since it gives rise to an instanton deformation of the 1-loop corrected Ferrara-Sabharwal metric, to be discussed below in Section 5.
• The assumption on ξ is not always satisfied from the conditions of Definition 2.6. Indeed, it fails if one starts from the previous case of a CASK domain M , and a point from a R ≥1 -orbit is removed. It also fails if we remove a whole neighborhood of ∞ of the C × -invariant domain M . In both cases one obtains a CASK manifold according to Definition 2.6 that does not satisfy the above condition on ξ.
• On the other hand, this assumption is needed for two key points. First to guarantee that the open subset N ′ ⊂ N where we can apply the HK-QK correspondence is non-empty (Lemma 4.8 and [ACDM15, Theorem 2]). And second, to guarantee that the HK metric g N has the appropriate signature (Proposition 3.21) in order for g N to be positive definite on N + ([ACM13, Corollary 1]).

Instanton deformations of the 1-loop corrected Ferrara-Sabharwal metric
In this section we wish to compute a coordinate expression for the QK metric g N of Theorem 4.10 in the case of an integral CASK domain with a compatible mutually local Ω. This will allow us to see g N as a deformation of the 1-loop corrected Ferrara-Sabharwal metric g c FS (see Theorem 5.4). Furthermore, we specify in Proposition 5.6 when the QK metric is positive definite, and we discuss the fate of certain Peccei-Quinn symmetries in Corollary 5.7.
• F : M → C is a holomorphic function, homogeneous of degree 2 with respect to the natural C × -action on M .
• The matrix has signature (1, n) and N ij z i z j > 0 for all z ∈ M .
To any CASK domain (M, F) we can associate a CASK manifold (M, g M , ω M , ∇, ξ) [ACD02] where z i and w i = ∂F ∂z i (z i ) form a global system of conjugate conical holomorphic special coordinates. If x i := Re(z i ) and y i := −Re(w i ), then ∇ is defined such that dx i and dy i are flat. Furthermore We wish to compute the pseudo-QK metric g N from Theorem 4.10 associated to (M ∞ , g M , ω M , ∇, ξ, Λ) and Ω, when we take [ACDM15,Theorem 5] it was shown that the case with Ω = 0 gives the 1-loop corrected Ferrara-Sabharwal metric g c FS , so the case where Ω = 0 will give a deformation of g c FS .
Theorem 5.4. Consider an integral CASK domain (M, F, Λ) and let (M , g M ) be the associated PSK manifold. Furthermore, let (M ∞ , g M , ω M , ∇, ξ, Λ) be as before with a compatible mutually local Ω satisfying Supp(Ω) ⊂ span Z {∂ yi }. Taking N as in (5.3), the expression for the QK metric g N of Theorem 4.10 in the coordinates ρ, X i , θ i , θ i and σ takes the form: is a Kähler potential for g M , η inst ± are given by and Furthermore, the forms 1-forms W inst i | N and η inst ± | N do not have dρ components. Proof. The proof is given in appendix A. Furthermore, coordinate expressions for df inst | N and W inst i | N are given in (A.22) and (A.25); while coordinate expressions for η inst ± | N can be found using (A.26).
Proposition 5.6. The subset N + = {f > 0, f 1 < 0} ⊂ N is non-empty, and g N is positive-definite on N + . Furthermore, there is a non-empty neighborhood of N ∞ ⊂ N + of ρ = ∞ where g c FS is defined and positive definite. In particular, g N gives a deformation of g c The key observation is that with respect to our coordinates f inst , f inst 1 → 0 as ρ → ∞, due to the exponential decay of the Bessel functions as ρ → ∞ and the convergence property (3.3). This follows from the dependence of the Bessel functions on |Z γ | and the identity Hence, for sufficiently big ρ we have f = ρ + f inst > 0 and f 1 = −ρ − 2c + f inst 1 < 0, and hence (ρ, X i , θ i , θ i , σ) ∈ N + . By Theorem 4.10 it then follows that g N is positive definite on N + .
We finish this section with a few words about the Heisenberg group of isometries for certain lifts of g c FS and g N . Consider the trivial bundle of Heisenberg groups M × R ρ>0 × Heis 2n+3 (R), where we identify Heis 2n+3 (R) ∼ = R 2(n+1)+1 and suggestively denote a point of R 2(n+1)+1 by ( θ i , θ i , σ) = (θ, σ). The group structure is given by (θ, σ) · (θ ′ , σ ′ ) = (θ + θ ′ , σ + σ ′ + 1 4π θ, θ ′ ) . (5.10) Both metrics g N and g c FS lift to an open subset of M × R ρ>0 × Heis 2n+3 (R). Indeed, we just take the same formulas (5.5) and (5.8) as before, where now ( θ i , θ i , σ) are global coordinates of R 2(n+1)+1 . Then we can explicitly check that Heis 2n+3 (R) acts by isometries on g c FS , while for g N we have the following: Proof. This follows from the explicit formula (5.5), together with the fact that in all the instanton correction terms the coordinates ( θ i , θ i ) only enter in terms of functions of the form e imθγ = e imnj (γ)θ j with m ∈ Z and γ ∈ Supp(Ω), breaking the allowed shifts of θ j to discrete shifts. In particular, if j is such that {n j (γ)} γ∈Supp(Ω) = 0, then a shift in θ j must preserve e inj (γ)θ j for all γ ∈ Supp(Ω), which implies that the allowed shifts of θ j must lie in 2πZ/d j .
Remark 5.8. In the physics parlance, the previous corollary says that including "mutually local instanton corrections" break the allowed shifts of the "electric" angles θ j to discrete shifts. Non-mutually local instanton corrections are expected to further break down the allowed shifts of the "magnetic" angles θ j to discrete shifts.

Comments on the metric
We make some comments on our expression (5.5) compared to the one obtained in (3.6) of [AB15].
• The function f = ρ + f inst that appears as the Hamiltonian for the infinitesimal rotating action of (N, g N , ω 1 , ω 2 , ω 3 ) with respect ω 3 can be thought as a "quantum corrected" dilaton coordinate. Indeed, in [Ale13, AMPP15, AB15] the dilaton coordinate is built out of what they call a "contact potential" of the QK twistor space, and this contact potential can be related to a Hamiltonian for the infinitesimal rotating action (see for example the end remarks of [AMNP15]).
In the twistor approach of [AB15], it seems that the natural coordinate to consider is the quantum corrected dilaton f instead of ρ. The fact that they use f as a coordinate is what gives rise to their implicitly defined R-function in their expression for the instanton corrected metric (see their equations (3.6) and (3.7)).
• We have an "S 1 -bundle term" or "NS-axion bundle term", given by . Since dσ appears only in this term, g N has an S 1 -action by isometries (as expected from HK-QK correspondence). Furthermore, by using the expression (A.26) we see that the connection form of the circle bundle does not have a dρ component. In [AB15] an analogous conclusion is reached in terms of the quantum corrected dilaton direction df .
• In the case of g c FS the dilaton coordinate ρ is orthogonal to the rest of the coordinates. This is not the case when including the instanton corrections, due the non-trivial mixing of dρ with dX i , dθ i and d θ i in (5.5). However, by the previous comment there is no mixing between dρ and dσ, so these two directions remain orthogonal. As in the previous point, in [AB15] an analogous conclusion is obtained in terms of f = ρ + f inst .
• The symplectic invariance that needs to be checked in [AB15] is automatic from our construction.
Indeed, all the objects of Section 3 and 4 involved in the construction of g N do not depend on the choice of any Darboux frame, so the (non-explicit) symplectic invariance of formula (5.5) follows automatically.

An example
Here we present a simple example of our previous constructions where the PSK manifold associated to the CASK manifold is the complex hyperbolic space CH n . The choice of variation of mutually local BPS structures that we will take will be due to its mathematical simplicity, rather than its physical significance. We remark, however, that in the case n = 0 where the PSK manifold reduces to a point (i.e. CH 0 = { * }), the example will give an instance of an instanton deformation of the universal hypermultiplet metric near its infinite end of finite volume, obtained after taking a quotient by a lattice in the Heisenberg group (see Corollary 5.11 below).
We start with a CASK domain (M, F) given as follows: • The holomorphic prepotential is given by (5.12) In particular, we obtain a CASK manifold (M, g M , ω M , ∇, ξ) where ∇ = D = d and: (5.13) A global conjugate system of conical special holomophic coordinates is given by z i , w i = τ ij z j , (5.14) where τ ij = diag(i, −i, ..., −i). In the corresponding global conical affine special coordinates (x i , y i ) = (Re(z i ), −Re(w i )) we set Λ = Span Z {∂ x i , ∂ yi }, so that (M, F, Λ) is an integral CASK domain.
• Setting X i = z i /z 0 for i = 0, 1, ..., n, the Kähler potential for g M is given by which gives the metric (5.16) This identifies (M , g M , ω M ) as the complex hyperbolic space CH n .
In the global Darboux frame ( γ i , γ i ) := (∂ x i , ∂ yi ) of Λ, we consider a mutually local variation of BPS structures with Supp(Ω) = {±γ 0 } and Ω(±γ 0 ) = m for some m ∈ Z − {0}. We remark that Z γ 0 = z 0 does not vanish on M , and hence Ω satisfies the support property. The rest of the properties required by a mutually local variation of BPS structures are trivial to check.
Remark 5.9. One can of course consider more complicated mutually local variations of BPS structures. The one chosen above is only to simplify the argument below regarding the non-degeneracy of the tensor T (recall Definition 3.12).
Finally, since θ P 2 and θ P 3 are the real and imaginary part of the same complex form, we get (A.12) Combining the results (A.7), (A.11), (A.12); writing the coefficients in terms of ρ, the constant c and instanton correction terms; and using the notation we obtain (A.14) Now we wish to restrict the previous expression to N and use the coordinates ρ, X i (for i = 1, 2, ..., n), θ i , θ i and σ previously defined before Theorem 5.4. We also recall the normalized central charge X γ = Z γ /z 0 . In particular, for γ ∈ Supp(γ) with γ = n i (γ)∂ yi we have X γ = n i (γ)X i with X 0 = 1.
With respect to these coordinates, where K is a Kähler potential for the PSK metric g M given by K = − log(N ij X i X j ).