Quaternionic Kähler Metrics Associated to Special Kähler Manifolds with Mutually Local Variations of BPS Structures

We construct a quaternionic Kähler manifold from a conical special Kähler manifold with a certain type of mutually local variation of BPS structures. We give global and local explicit formulas for the quaternionic Kähler metric and specify under which conditions it is positive-definite. Locally, the metric is a deformation of the 1-loop corrected Ferrara–Sabharwal metric obtained via the supergravity c-map. The type of quaternionic Kähler metrics we obtain is 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 threefold 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 [14,19], 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 [5,27]. 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) [3]. 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 [14], 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 [2,18]. The HK metric one obtains is sometimes referred to as the "semi-flat" metric [21].
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 [3,4,9,22]. 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 NS5-instanton 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 [6,8] and the references therein). In particular, the inclusion of D-instanton corrections on the type IIA side can be found in [9,10].
When considering only the so-called "mutually local" D-instantons, the instanton corrected QK metric on M IIA HM (X) has been computed in [1]. Their computation uses the description of the twistor space of a QK manifold given in [11], together with the description of D-instanton corrections in twistor space given in [10]. Some work is then needed to extract the QK metric from the twistor space data. On the other hand, in [9] 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 [20]. In particular, one should be able to describe the case of mutually local D-instanton corrections from [1] 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 [20] 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 Definitions 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 [12] is the part of the data that will be used to implement the physical notion of "D-instanton corrections" to the QK metric. • Following [20], we will explicitly describe an HK structure (N := T * M/Λ * , g N , ω 1 , ω 2 , ω 3 ) built out of (M, g M , ω M , ∇, ξ, Λ) and Ω, and refer to it as the "instanton corrected" HK structure. 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 Sect. 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 nondegenerate 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 [4] 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 Sect. 4 will allow us to apply the explicit formulas of [3,Theorem 2] for the HK-QK correspondence, and hence obtain an "instanton corrected" QK manifold (N, g N ). The main result of Sect. 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 Sect. 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 Sect. 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-Sabharwal 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 Sect. 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 [1] in the physics literature: • The argument we follow is similar in spirit to the one in [9], 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 [1] 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 [1]. In our case, g N turns out to be completely explicit, avoiding the use of the implicitly defined R-parameter in [1]. We do however express everything in terms of "classical coordinates", whereas in [1] a "quantum corrected" dilaton coordinate is used. See also Sect. 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-Sabharwal metric g c FS , and realize the QK metric we obtain in the case of a CASK domain as deformations of g c FS .

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 [2,15,18]. In the final Sect. 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.
to higher degree forms, and we think of J as an element of Ω 1 M (T 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.

Definition 2.3.
A pair of holomorphic coordinate systems (z i ) and (w i ) satisfying (2.4) is called a conjugate system of special 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 pseudo-hyperkä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 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. [18,Sect. 2] or [2,Theorem 11]). The numbering of the I α is set to match our later conventions. If (M, g, ω, ∇, Λ) is an integral ASK manifold, then the dual lattice Λ * ⊂ T * M is Lagrangian with respect to the canonical holomorphic symplectic form on T * M (which coincides with ω sf 1 + iω sf 2 = g sf (I 1 −, −) + ig sf (I 2 −, −)), and we have:
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 [15]. 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 We then have Given a CASK manifold (M, g, ω, ∇, ξ) we can locally find a special affine coordinate system (x i , y i ) such that [15]: (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.
On the other hand, the global complex vector field [15]. By picking a local flat Darboux frame ( γ i , γ i ) for ω we can write and obtain holomorphic coordinate systems (z i ) and (w i ). It is easy to check that (x i := Re(z i ), y i := −Re(w i )) give a system of conical special affine coordinates.
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 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 ω: 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 [20,26]. 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.
• 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 : M → Λ * ⊗ C. Furthermore, given any other Darboux frame ( 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.
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.
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 [26]): (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 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 [3,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 [20,26].
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 [3,4]. 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 Sect. 3.1 the inclusion of instanton corrections according to the work in the physics literature of [20]. Section 3.1 is only meant as a motivation for the formulas appearing in Sect. 3.2. In Sect. 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 [12]. • Λ → M is a local system of lattices Λ p ∼ = Z r with a covariantly constant, skew, integer-valued pairing −, − . • Z is a holomorphic section of Λ * ⊗ C → M .
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 .

Remark 3.3.
• The support property implies that if γ ∈ Supp(Ω), then Z γ = 0. Furthermore, for any R > 0 and p ∈ M , there can only be finitely many Z γ with γ ∈ Λ p ∩ Supp(Ω) and |Z γ | < R. In particular, we • The convergence property is stronger than the one on [12]. 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 [1,6,8] are not expected to satisfy even the weaker convergence condition on [12].
We will only consider variation of BPS structures over an ASK manifold that are "adapted" to the ASK structure in the following sense:

4)
Remark 3.5. The reason for considering twisted characters has to do with implementing the wall-crossing formalism from [25]. We remark that M and N (see (2.22)) can be locally identified (non-canonically), but they might differ topologically (see [20] for a discussion on this).
In [20,26], 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 wallcrossing 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 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 ( 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 [20,Sects. 4.3 and 5.6]). . 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.
Consider (M, g M , ω M , ∇, Λ) with a mutually local variation of BPS structures Ω. Following, [20, Sects. 4.3 and 5.6], we define the following forms on N = T * M/Λ * (we will omit from the notation pullbacks by the canonical projection π : N → M ): where K 0 and K 1 are modified Bessel functions of the second kind. Then Proof. The convergence of the two series on the right-hand side of (3.9) is compact normal on the set {p ∈ π −1 (U ) | Z γ (π(p)) = 0}, thanks to the On the other hand, by the support property (3.2) and our assumption that γ ∈ Supp(Ω), we must have {p ∈ π −1 (U ) | Z γ (π(p)) = 0} = π −1 (U ). Hence, as a consequence of compact convergence V inst γ defines a smooth function on π −1 (U ) and A inst γ defines a smooth 1-form on π −1 (U ).
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: 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. Lemma 3.14. Let Λ be a rank 2n lattice with a skew pairing ω : Λ × Λ → Z admitting a Darboux basis, and let S ⊂ Λ be a subset such that γ, γ ∈ S implies ω(γ, γ ) = 0. Then there is a Darboux basis 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. Now let {α i } i=1,..,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 Defining we then see that ω( α 1 , α 1 ) = 1. We set γ 1 := α 1 and γ 1 := α 1 . Assume by induction that we have found , ω( γ i , γ j ) = 0 and such that span(γ 1 , . . . γ r ) = span (α 1 , . . . , α r ) ⊂ L. If r = n = rank(L) we are done. Otherwise, pick α r+1 and define Then ω(γ r+1 , γ i ) = 0, ω(γ r+1 , γ i ) = 0 and span(γ 1 , . . . , γ r+1 ) = span (α 1 , . . . , α r+1 ). Furthermore, by (3.16) and the fact that L is maximal isotropic, we again have that γ r+1 is primitive. We then use the Darboux frame ( β i , β i ) and the Bezout identity the same way as before to find α r+1 such that ω( α r+1 , γ r+1 ) = 1. Define we then have ω( γ r+1 , γ r+1 ) = 1 and for i = 1, ..., r we have ω( γ r+1 , ..., α r+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.14), we write γ = n i (γ)γ i for γ ∈ Supp(Ω) and define the complex 1-forms on N

3.19)
We then have

20)
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 V inst 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: (3.23) 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 so that (3.21) holds.
Proof. (of Theorem 3.13) We start by showing that the compatibility assumption (3.14) implies the non-degeneracy 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 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) 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, 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 Lemma 3.15). We consider the dual frame of vector fields Using (3.20) and (3.21) we find the following identities 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 α −, −) = ω α (−, −). Hence, we conclude that (N, g N , I 1 , I 2 , I 3 ) is almost pseudo-hyperkähler, with dω α = 0. By Hitchin's lemma [23, Lemma 6.8], (N, g N , I 1 , I 2 , I 3 ) is then pseudo-hyperkähler.
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.
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 ij are not basic. Moreover, the metric on the fibers is no longer translational invariant and the coordinate vector fields ∂ 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.
Definition 3.19. Let (N, g N , ω 1 , ω 2 , ω 3 ) be a pseudo-HK manifold. An infinitesimal rotating circle action is a Killing vector field V on N such that In [4,Sect. 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 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. • The angle coordinates θ γ are invariant by (3.37), i.e L V θ γ = 0.
From the previous two points and (3.9) we conclude that L V V inst γ = 0 and L V A inst γ = 0. Hence, from (3.10) and (3.11) we see that L V = i while L V ω 3 = 0. This implies that L V g N = 0 by differentiating the identity g N = ω 3 • ω −1 1 • ω 2 and using the skew-symmetry of ω −1 α • ω β in the indices (α, β). We conclude that V defines an infinitesimal rotating circle action for the HK structure (N, g N , ω 1 , ω 2 , ω 3 ).
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: We consider the ∇-horizontal lift of ξ to N . Such a lift generates a free R ≥1action 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 [3,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

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.
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): 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 has curvature 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". Proposition 4.6. The hyperholomorphic connection η on π N : P → N can be written as Furthermore, if Ω = 0 then η inst = 0.

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 [3, 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 [3, 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 Furthermore, if Proof. We start by proving that df = −4πι V ω 3 . Using conical holomorphic special coordinates Z i we have the local expression 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 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 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 [3, 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).
[3, 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 [4, 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 Sect. 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 [3, 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 + ( [4, 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.
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 , ∇, ξ) [2] 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 [3,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 . On M we have the local coordinates r = g M (ξ, ξ) = N ij z i z j > 0, φ := Arg(z 0 ), X i := z i /z 0 for i = 1, 2, ..., n . (5.4) As in [3], we will replace r with ρ = 2πr 2 − c, the later coordinate representing the dilaton coordinate for g c FS . We then have on N the local coordinates ρ, X i (for i = 1, 2, ..n), θ i := θ ∂ x i , θ i := θ ∂y i and σ. The coordinates ρ and X i are global on N , while the others satisfy that if δ ∈ Λ * and θ → θ + 2πδ, then σ → σ + 1 2 δ, θ (see Proposition 4.2). We will furthermore use the following "normalized" central charge X γ := Z γ /z 0 . In particular, for γ ∈ Supp(Ω) with γ = n i (γ)∂ yi , we have X γ = n i (γ)X i where X 0 := 1 and X i for i = 1, 2, . . . , n are as before.  Remark 5.5. By setting Ω = 0 in (5.5) all the instanton terms vanish, and we recover g c FS : Indeed, by scaling ρ → ρ/π, c → c/π, σ → −σ/4π, and θ i → −θ i , together with [3,Equation 4.12] and the fact that N ij from [3] differs by a factor of 2 with respect to our N ij ; we obtain [3,Equation 4.11].
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, 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 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 [1].
• 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 [1,6,8] 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 [7]).
In the twistor approach of [1], 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 Rfunction 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 (5.5). 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 [1] 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 [1] an analogous conclusion is obtained in terms of f = ρ + f inst .
• The symplectic invariance that needs to be checked in [1] is automatic from our construction. Indeed, all the objects of Sects. 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 In particular, we obtain a CASK manifold (M, g M , ω M , ∇, ξ) where ∇ = D = d and: A global conjugate system of conical special holomorphic coordinates is given by 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. The associated PSK manifold (M, g M , ω M ) is described as follows: • We have M = M/C × . If n = 0 then M is just a point; otherwise M = {(X 1 , ..., X n ) ∈ C n | n i=1 |X i | 2 < 1} with projection π M : M → M given by π(z 0 , z 1 , ..., z n ) = (z 1 /z 0 , ..., z n /z 0 ).
• 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 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).
Notice that the tensor field does not satisfy the compatibility condition for all points in N = T * M/Λ * ∼ = M × (S 1 ) 2n+2 unless Ω = 0. However, due to the exponential decay of the Bessel functions in V inst γ 0 in the variable |z 0 |, this can be fixed by restricting M to the domain M K := {(z 0 , ..., z n ) ∈ M | |z 0 | > K > 0} for K > 0 sufficiently big. M K carries a free S 1 -action generated by Jξ, and a free action generated by ξ of the monoid R ≥1 ⊂ C × . In particular, M K ⊂ M is an open subset of the form M ∞ considered in the first part of Sect. 5, so we can apply Theorem 5.4 to obtain a QK metric (N, g N ) associated to the PSK manifold (CH n , g M , ω M ), and given by (5.5). We then obtain the following immediate corollary using Proposition 5.6: Corollary 5.10. There is a neighborhood N ∞ ⊂ N + of ρ = ∞, where both QK metrics g c FS and g N associated to (CH n , g M ) are defined and positive definite. In particular g N gives a deformation of g c FS on N ∞ .
An interesting and simpler case is given by taking n = 0, where M = C × and M = CH 0 = { * } reduces to a point. The 1-loop corrected Ferrara-Sabharwal metric g c FS associated to this case is known as the universal hypermultiplet. For c ≥ 0 it is a complete QK metric [13,Corollary 15] on where Heis(Λ * ) → C × and its fiber-wise action on T * C × × R σ → C × is as in the proof of Proposition 4.2, and R ρ>0 = {z 0 ∈ C × | ρ = 2π|z 0 | 2 − c > 0, Arg(z 0 ) = 0}. N UH has only one non-compact direction given by ρ, and hence two infinite ends corresponding to ρ → ∞ and ρ → 0. In [17,Theorem 4.6] it is shown that for ρ 0 > 0, the subset {ρ > ρ 0 } ⊂ N UH has finite volume, while {0 < ρ < ρ 0 } ⊂ N UH has infinite volume. Hence, we obtain: Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/ licenses/by/4.0/.
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

FS
In this appendix we prove Theorem 5.4.
Proof. (of Theorem 5.4) We start computing − 1 f g P , where and then deal with the restriction to N , giving g N = − 1 f g P | N . To ease the notations, we will omit pullbacks by projections. Furthermore, we denote Z i := Z ∂y i = z i .
We will use the following expressions for θ P i , which follow from their definition (4.31) together with the formulas for η, f and ω α given in (4.12), (4.20) and (3.20), respectively: We start by computing while using (2.11) and omitting in the notation pullbacks by projections we have (A.10) Using the "dilaton" coordinate ρ = 2πr 2 − c we obtain: where we combined the dρ 2 terms coming from 2πdr 2 and df 2 . The change to ρ is done to compare more easily with g c FS . Finally, since θ P 2 and θ P 3 are the real and imaginary part of the same complex form, we get 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 ).