Abstract
We prove that the oneloop deformation of any quaternionic Kähler manifold in the class of cmap spaces is locally inhomogeneous. As a corollary, we obtain that the full isometry group of the oneloop deformation of any homogeneous cmap space has precisely cohomogeneity one.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is by now well known that the supergravity cmap [FS90] and its oneloop deformation [RSV06] can be used to construct a wealth of complete quaternionic Kähler manifolds of negative scalar curvature, see [ACDM15] for a geometric construction of the relevant metrics and [CHM12, CDS17] for some completeness theorems. The local geometry of any cmap space can be encoded in a holomorphic function subject to a (nonholomorphic) nondegeneracy condition on its twojet, the socalled holomorphic prepotential of special Kähler geometry. In [CST21, CST22] it was shown that the oneloop deformation of one of the classical series of symmetric quaternionic Kähler manifolds of negative scalar curvature has precisely cohomogeneity one.
The purpose of this paper is to show that the oneloop deformation of any cmap space is locally inhomogeneous, see Theorem 3.9. As a consequence, we prove that the oneloop deformation of any homogeneous quaternionic Kähler manifold of negative scalar curvature, with exception of the quaternionic hyperbolic space (that is not a cmap space), has precisely cohomogeneity one, see Corollary 3.10. Our arguments rely on a general formula for the curvature tensor of any (possibly indefinite) hyperKähler manifold obtained from the rigid cmap, see Theorem 3.3, as well as on special properties of the curvature tensor in the case of rigid cmap spaces associated with conical affine special Kähler manifolds, see Proposition 3.5. The above information obtained for the hyperKähler manifolds in the image of the rigid cmap is transferred to crucial information about the curvature tensor of the quaternionic Kähler manifolds in the image of the oneloop deformed supergravity cmap in Proposition 3.7. Finally, this information is used in Proposition 3.8 to show that the quaternionic Kähler manifold has a nonconstant scalarvalued curvature invariant when the deformation parameter c is positive. This essentially implies the claimed inhomogeneity and cohomogeneity results.
The quaternionic Kähler metrics of the type considered in this paper appear as hypermultiplet moduli spaces in string theory, where the oneloop deformation can be interpreted as perturbative quantum correction in the string coupling in type IIB string theory. As part of what is known as the swampland program, see for example [OV07], it is expected that once all quantum corrections are included in a consistent theory of gravity at the quantum level, the maximal connected group of isometries of the moduli space should be trivial. Our results show that, already at the perturbative level in the string coupling, the isometry group is universally obstructed. More precisely, its cohomogeneity is at least 1. The bound is optimal as it is attained for the oneloop deformation of homogeneous cmap spaces.
2 Background
In this section, we will recall some relevant background material. In particular, we recall the definitions and properties of conical affine special Kähler manifolds, as well as the rigid and (deformed) local cmap constructions which assign pseudohyperKähler manifolds to affine special Kähler manifolds and a oneparameter family of quaternionic Kähler manifolds to conical affine special Kähler manifolds, respectively.
2.1 Special Kähler geometry
Definition 2.1
An affine special Kähler (ASK) manifold \((M,g,J,\omega ,\nabla )\) is a (pseudo) Kähler manifold \((M,g,J,\omega )\) endowed with a flat torsionfree connection \(\nabla \) such that \(\nabla \omega =0\) and \(\textrm{d}^\nabla J = 0\).
Definition 2.2
A conical affine special Kähler (CASK) manifold \((M,g,J,\omega ,\nabla ,\xi )\) is an ASK manifold \((M,g,J,\omega ,\nabla )\) endowed with a complete vector field \(\xi \) such that

g is negativedefinite on the span of \(\xi \) and \(J\xi \), and positivedefinite on its orthogonal complement,

\(D\xi =\nabla \xi =\textrm{id}\), where D denotes the LeviCivita associated to g.
Remark 2.3
As \(D(J\xi )= JD \xi = J\) is skewsymmetric with respect to the metric g, it follows that \(J\xi \) is a Killing vector field. Similarly, we see that \(J\xi \) is Hamiltonian.
We will only consider connected CASK manifolds, so in the following all the manifolds involved will be connected. Moreover, we will always assume that the vector fields \(\xi \) and \(J\xi \) generate a principal \(\mathbb {C}^\times \)action. The quotient manifold \({\bar{M}}\) does then inherit a (positivedefinite) Kähler metric \({\bar{g}}\) and \(({\bar{M}}, {\bar{g}})\) is called a projective special Kähler manifold. The metric is obtained by Kähler reduction exploiting the fact that \(J\xi \) is a Hamiltonian Killing vector field.
Let us define the tensor field
In \(\nabla \)affine coordinates \(q^i\), this is given by
The following three results are well known in special Kähler geometry [Fre99, ACD02].
Lemma 2.4
The tensor \(\mathcal {S}\) on an ASK manifold \((M,g,J,\nabla )\) satisfies the following properties:

(a)
\(g(\mathcal {S}_XY,Z)=g(\mathcal {S}_XZ,Y)\),

(b)
\(\mathcal {S}_XY=\mathcal {S}_YX\),
for all vector fields \(X,Y,Z\in \Gamma (TM)\).
Proof
Since \(\mathcal {S}=g^{1}\nabla g\), we have \(g(\mathcal {S}_XY,Z)=(\nabla _Xg)(Y,Z)\). Since \(\nabla \omega =0\) and \(g=\omega (\cdot ,J\cdot )\), we furthermore have \(g(\mathcal {S}_XY,Z)=\omega (Y,(\nabla _XJ)Z)\).
Part (a) now follows from the fact that g is symmetric. Part (b) follows from part (a), the condition \((\nabla _XJ)Z(\nabla _ZJ)X=(\textrm{d}^\nabla J)(X,Z)=0\) and the fact that g is nondegenerate. \(\square \)
Note that in particular this means that \(\nabla g\) is fully symmetric.
Proposition 2.5
Let \((M,g,J,\nabla )\) be an ASK manifold. Then we have \(D\nabla =\tfrac{1}{2}\mathcal {S}\), where D is the LeviCivita connection of g and \(\mathcal {S}=g^{1}\nabla g\).
Proof
Let \(\widetilde{D}:=\nabla +\tfrac{1}{2}\mathcal {S}\). As the LeviCivita connection is the unique torsionfree connection preserving the metric g, the result will follow if we can show that \({\widetilde{D}}\) is torsionfree and metric.
Since \(\nabla \) is torsionfree and \(\mathcal {S}_XY=\mathcal {S}_YX\), it follows that \(\widetilde{D}\) is also torsionfree. Now let us check that \(\widetilde{D}\) is metric. For \(X,Y,Z\in \Gamma (TM)\) we have
where in the last step we have used that \(\nabla g\) is fully symmetric. \(\square \)
Corollary 2.6
Let \((M,g,J,\nabla ,\xi )\) be a CASK manifold. Then for all \(X\in \Gamma (TM)\), we have
Proof
The first equation follows from \(\tfrac{1}{2}\mathcal {S}_X\xi =D_X\xi \nabla _X\xi =0\) and that \(\mathcal {S}_XY=\mathcal {S}_YX\) for all \(X,Y\in \Gamma (TM)\). For the second one, we note
where we have used \(\tfrac{1}{2}\mathcal {S}=D\nabla =\tfrac{1}{2}J\nabla J\) in the penultimate equality. \(\square \)
2.2 Rigid cmap
The rigid cmap [CFG89, ACD02] assigns to each affine special (pseudo)Kähler manifold \((M,g,J,\nabla )\) and, in particular, to any conical affine special Kähler manifold \((M,g,J,\nabla ,\xi )\) of real dimension \(2n+2\) a pseudohyperKähler manifold \((N=T^*M,g_N,I_1,I_2,I_3)\) of real dimension \(4n+4\).
Using the flat torsionfree connection \(\nabla \), we can identify
where \(\pi :N=T^*M\longrightarrow M\) is the canonical projection, \(T^\textrm{V}N=\ker (\textrm{d}\pi )\) is the vertical distribution and \(T^\textrm{H}N\) is the horizontal distribution defined by \(\nabla \). In particular, given a vector field \(X\in \Gamma (TN)\), we will think of its horizontal component \(X^\textrm{H}\) as a section of \(\pi ^*TM\) and its vertical component \(X^\textrm{V}\) as a section of \(\pi ^*T^*M\). Using these identifications, we have
In the case that M is CASK, the rigid cmap space \(N=T^*M\) enjoys some additional properties.
Proposition 2.7
([ACM13, Proposition 2]). Let \((M,g,J,\nabla ,\xi )\) be a CASK manifold and define on the associated rigid cmap space \((N=T^*M,g_N,I_1,I_2,I_3)\) the following data:
where \(\widetilde{J\xi }\) denotes the horizontal lift of \(J\xi \) with respect to \(\nabla \). Then
Note that Proposition 2.7 implies that Z is a rotating Killing vector field for the pseudohyperKähler manifold N. This means that it is a Killing vector field that preserves one of the Kähler structures \(I_1\) and rotates the other two into each other.
It will also be convenient for later purposes to introduce some notation. We denote by \(\mathbb {H}Z={{\,\textrm{span}\,}}\{Z,I_1Z,I_2Z,I_3Z\}\) the distribution generated by the quaternionic span of Z, then
The vector fields \(Z,I_1Z\in \Gamma (TN)\) are horizontal and the vector fields \(I_2Z,I_3Z\in \Gamma (TN)\) are vertical, with respect to the decomposition \(TN=T^\textrm{H}N\oplus T^\textrm{V}N\).
2.3 HK/QK correspondence, supergravity cmap, and twist construction
Suppose we are given a pseudohyperKähler manifold \((N,g_{N},I_1,I_2,I_3)\) that admits HK/QK data i.e. a tuple \((\omega _1,Z,\omega _\textrm{H},f^c_Z,f^c_\textrm{H})\) such that

\(\omega _1:=g_NI_1\) is integral,

Z is a rotating Killing vector field preserving \(\omega _1\) (assume for simplicity that Z generates a free circle action),

\(\omega _\textrm{H}:= \omega _1 + \textrm{d}\iota _{Z} g_N\),

\(f^c_Z\) is a nowhere vanishing function such that \(\iota _{Z}\omega _1 = \textrm{d}f^c_Z\),

\(f^c_\textrm{H}:= f^c_Z + g_{N}(Z,Z)\) is nowhere vanishing.
Note that there is a freedom of adding a constant to the Hamiltonian functions \(f^c_Z\) and \(f^c_\textrm{H}\), so long as the shifted Hamiltonian functions are still nowhere vanishing. This is reflected in the superscript c in \(f^c_Z\) and \(f^c_\textrm{H}\).
Given the above data, it was shown in [ACM13] generalising [Hay08] that we can construct a quaternionic pseudoKähler manifold \(({\bar{N}}^c,g^c_{{\bar{N}}},\mathcal Q^c)\) of nonzero scalar curvature with a circle action such that the given pseudohyperKähler manifold N may be retrieved as a hyperKähler reduction of the Swann bundle of \({\bar{N}}^c\) by a lift of the circle action at a nonzero level set. This construction is known as the HK/QK correspondence.
The signature of the resulting quaternionic pseudoKähler manifold and the sign of its scalar curvature depend on the signature of the pseudohyperKähler manifold N and the signs of the functions \(f_Z^c\) and \(f_\textrm{H}^c\). The cases when one obtains a (positivedefinite) quaternionic Kähler metric were specified in [ACM13] and include the case of quaternionic Kähler metrics of positive scalar curvature considered by Haydys, who started with a (positivedefinite) hyperKähler metric. In the following theorem we focus on the cases which yield a positive definite metric of negative scalar curvature, of relevance to the present paper.
Theorem 2.8
([ACM13, Corollary 2]). Let \((N,g_{N},I_1,I_2,I_3)\) be a pseudohyperKähler manifold of real dimension \(4n+4\ge 4\) equipped with HK/QK data \((Z,\omega _1,\omega _\textrm{H},f^c_Z,f^c_\textrm{H})\) and let P be a principal \(S^1\)bundle over N such that \(c_1(P)=[\omega _1]=[\omega _\textrm{H}]\). Then there is a lift of the circle action on N generated by Z to \(P\times \mathbb {H}^\times \), so that its quotient \({\hat{M}}\) by the lifted action carries a conical pseudohyperKähler structure with hyperKähler reduction \((N,g_{N},I_1,I_2,I_3)\). The conical pseudohyperKähler manifold \({\hat{M}}\) is the Swann bundle of a (positivedefinite) quaternionic Kähler manifold \(({\bar{N}}^c,g^c_{{\bar{N}}},\mathcal Q^c)\) of negative scalar curvature if and only if \(g_{N}\) is positivedefinite and \(f^c_Z>0\), or if the signature of \(g_N\) is (4n, 4) and \(f^c_Z>0\) while \(f^c_\textrm{H}<0\).^{Footnote 1}
Note that explicit expressions for all of the above data, including the quaternionic Kähler metric, are obtained in [Hay08, ACM13, ACDM15, Theorem 2]. We have however omitted these in the statement of the theorem to avoid redundancy, since we will describe the metric below using the language of Swann’s twist construction.
Moreover, since there is the freedom of adding a constant term to the Hamiltonian function \(f^c_Z\), Theorem 2.8 gives us, if necessary after restricting to open sets, a oneparameter family of quaternionic Kähler manifolds of fixed scalar curvature associated to a pseudohyperKähler manifold.
In particular, we know by Proposition 2.7 that the result of applying the rigid cmap to a CASK manifold \((M,g,J,\nabla ,\xi )\) fulfills the necessary conditions required for applying the HK/QK correspondence. In view of the results of [ACDM15], the composition of these two constructions with the choice of Hamiltonian functions \(f^c_Z:=f_Z \frac{1}{2} c\) and \(f^c_\textrm{H}:=f_\textrm{H}\frac{1}{2} c\), where \(f_Z\) and \(f_\textrm{H}\) are as in Proposition 2.7, will be called the supergravity cmap in this paper.
Note that the case \(c=0\) is distinguished and is called the undeformed supergravity cmap (corresponding to [FS90]), while the remaining cases are collectively referred to as the deformed supergravity cmap (corresponding to [RSV06]). It was shown in [CHM12, CDS17], under appropriate assumptions^{Footnote 2} on the CASK manifold, that the quaternionic Kähler metrics \(({\bar{N}}^c,g^c_{{\bar{N}}},\mathcal Q^c)\) are complete if and only if \(c\ge 0\). We will therefore be assuming \(c\ge 0\) henceforth, although our methods work more generally. Note that, for a fixed CASK manifold, all the manifolds \(({\bar{N}}^c,g^c_{{\bar{N}}})\) in the above family for different values of \(c>0\) are locally isometric (see [CDS17, Proposition 10]). For a discussion of further global properties of the deformed supergravity cmap, see [MS22].
The HK/QK correspondence, as described above, was interpreted as an instance of an even more general construction called the twist construction in [MS14]. Roughly speaking, this construction, introduced earlier by Swann, takes as input a manifold N with twist data, i.e. a triple \((\omega , Z, f)\) consisting of

an integral closed twoform \(\omega \),

a vector field Z generating a circle action which is Hamiltonian with respect to \(\omega \),

a choice of nowhere vanishing Hamiltonian function f,
and gives as output a new manifold \({\bar{N}}\) with a circle action (and in fact, “dual” twist data, but this will not be important for our purposes). Furthermore, it also gives a bijective correspondence called \(\mathcal H\)relatedness between tensor fields of the same type on N and \({\bar{N}}\) which are invariant under the respective circle actions. In particular, if two functions \(f\in C^\infty (N)\) and \({\bar{f}}\in C^\infty ({\bar{N}})\) are invariant under the respective circle actions and \(\mathcal H\)related, then they are either both constant or both nonconstant.
We refer the reader to [Swa10, MS14, CST21, CST22] for the details, and only summarize some of the conclusions obtained from this perspective that we will be relying on for our results.
Note that HK/QK data on a pseudohyperKähler manifold N automatically give rise to twist data \((\omega _\textrm{H},Z,f^c_\textrm{H})\) on N. In fact, Macia and Swann prove the following.
Theorem 2.9
([MS14, Theorem 1]). Let \((N,g_{N},I_1,I_2,I_3)\) be a pseudohyperKähler manifold equipped with HK/QK data \((Z,\omega _1,\omega _\textrm{H},f^c_Z,f^c_\textrm{H})\). Then the quaternionic Kähler manifold \(({\bar{N}}^c, g^c_{{\bar{N}}},\mathcal Q^c)\) given by the HK/QK correspondence is obtained by performing the twist construction with respect to twist data \((\omega _\textrm{H},Z,f^c_\textrm{H})\). In particular, \(\mathcal Q^c\) is \(\mathcal H\)related to \({{\,\textrm{span}\,}}\{I_1,I_2,I_3\}\) and \(g^c_{{\bar{N}}}\) is \(\mathcal H\)related to the metric
where K is a nonzero constant of the same sign as \(f^c_Z\).
Taking K to have the same sign as \(f^c_Z\) gives a quaternionic Kähler metric \(g^c_{{\bar{N}}}\) that is positivedefinite whenever the given pseudohyperKähler metric \(g_N\) is positivedefinite when restricted to \((\mathbb {H}Z)^\perp \). The reduced scalar curvature of \(g^c_{{\bar{N}}}\) is then given by \(\nu = \frac{1}{8K}\). Thus, the sign of \(f^c_Z\) determines the sign of the scalar curvature (they are opposite) while the choice of constant K determines its magnitude. In particular, for the supergravity cmap, \(f^c_Z\) is taken to be positive, so we may set \(K=1\). This gives us a positivedefinite supergravity cmap metric of reduced scalar curvature \(\frac{1}{8}\).
The twist construction was furthermore used in [CST22] to obtain a tensor \({\widetilde{{{\,\textrm{Rm}\,}}}}\in \Gamma \big ((T^* N)^{\otimes 4}\big )\) on the pseudohyperKähler manifold N to which the (lowered) Riemann curvature \({{\,\textrm{Rm}\,}}_{{\bar{N}}}\in \Gamma \big ((T^*{\bar{N}}^c)^{\otimes 4}\big )\) of the quaternionic Kähler metric \(g^c_{{\bar{N}}}\) is \(\mathcal H\)related. In order to state the result, we will first need to introduce some notation.
Definition 2.10

(i)
We define the Kulkarni–Nomizu map
by setting
for arbitrary vector fields A, B, C, X.

(ii)
We define a second map
by setting
For (0, 2)tensors \(\alpha \) and \(\beta \), we set and analogously define . Taking \(\alpha \) and \(\beta \) symmetric one recovers the wellknown KulkarniNomizu product , which is an abstract curvature tensor, i.e. (0, 4)tensor with the symmetries of the (lowered) Riemann curvature tensor. Taking \(\alpha \) and \(\beta \) skewsymmetric, is precisely six times the natural projection of the tensor \(\frac{1}{2} (\alpha \otimes \beta + \beta \otimes \alpha ) \in \Gamma \big (\textrm{Sym}^2\bigwedge ^2T^*N \big )\) to the subspace consisting of abstract curvature tensors.
Theorem 2.11
([CST22, Theorem 3.4]). Let \((N,g_{N},I_1,I_2,I_3)\) be a pseudohyperKähler manifold equipped with HK/QK data \((Z,\omega _1,\omega _\textrm{H},f^c_Z,f^c_\textrm{H})\) and let \(({\bar{N}}^c, g^c_{{\bar{N}}},\mathcal Q^c)\) be the quaternionic Kähler manifold given by the HK/QK correspondence. Then the (lowered) Riemann curvature \({{\,\textrm{Rm}\,}}_{{\bar{N}}}\) of the metric \(g^c_{{\bar{N}}}\) is \(\mathcal H\)related to the tensor
where \({{\,\textrm{Rm}\,}}_\textrm{HK}\) and \({{\,\textrm{Rm}\,}}_{\mathbb {H}\textrm{P}}\) are defined to be
Note that (3) reflects a refinement of the Alekseevsky decomposition of the curvature of a quaternionic Kähler manifold of reduced scalar curvature \(\frac{1}{8}\) arising from the HK/QK correspondence. The first two terms on the right corresponds to the part of hyperKähler type, while the last term corresponds to \(\frac{1}{8}\) times the curvature of the quaternionic projective space of unit reduced scalar curvature. In particular, it follows that both \({{\,\textrm{Rm}\,}}_N\) and \({{\,\textrm{Rm}\,}}_\textrm{HK}\) are separately \(g_\textrm{H}^c\)orthogonal to \({{\,\textrm{Rm}\,}}_{\mathbb {H}\textrm{P}}\).
As an application of Theorem 2.11, we see that the norm of the curvature tensor \({{\,\textrm{Rm}\,}}_{{\bar{N}}}\) of the metric \(g^c_{{\bar{N}}}\) on the quaternionic Kähler side is not constant if the norm of \({\widetilde{{{\,\textrm{Rm}\,}}}}\) on the pseudohyperKähler side is not constant. We will indeed proceed by specialising this argument to the case of the deformed supergravity cmap in the next section.
3 Curvature Formulas
3.1 Curvature of special Kähler manifolds
We now proceed to compute the curvature of ASK manifolds.
Proposition 3.1
Let \((M,g,J,\omega ,\nabla )\) be an affine special Kähler manifold. Then the curvature R of the LeviCivita connection D is \(R(X,Y)=\frac{1}{4} [\mathcal {S}_X,\mathcal {S}_Y]\).
Proof
Since the LeviCivita connection D is \(\nabla + \frac{1}{2} \mathcal {S}\), the curvature is
where we have used that \(\nabla \) is flat. On the other hand, we have \(\mathcal {S}_X=g^{1}\nabla _X g\) so
where we have used that \(\nabla \) is flat once again in the penultimate step. Putting everything together we obtain
\(\square \)
As a consistency check, we obtain as an immediate consequence of the above formula and Corollary 2.6, the wellknown result that the Riemann curvature of any Kähler cone vanishes when applied to vector fields generating the \(\mathbb {C}^\times \)action.
Corollary 3.2
Let \((M,g,J,\nabla ,\xi )\) be a conical affine special Kähler manifold. Then

(a)
\(R(\xi ,\cdot )\cdot =R(\cdot ,\xi )\cdot =R(\cdot ,\cdot )\xi =0\).

(b)
\(R(J\xi ,\cdot )\cdot =R(\cdot ,J\xi )\cdot =R(\cdot ,\cdot )J\xi =0\).
As noted earlier, the tangent space \(TN=T(T^*M)\) of the total space of the cotangent bundle \(N=T^*M\) of an ASK manifold M can be identified, using the flat connection \(\nabla \), with \(\pi ^*TM \oplus \pi ^*T^*M\). This allows us to relate the Riemann curvature of \(g_N\) to pullbacks of tensor fields defined on the base M.
Theorem 3.3
Let \((M,g,J,\nabla )\) be an ASK manifold and \((N=T^*M,g_N,I_1,I_2,I_3)\) the pseudohyperKähler manifold given by the rigid cmap. Then the curvature tensor \({{\,\textrm{Rm}\,}}_N\) of N is given by
where \(A,B,C,X\in T_pN\), \(p\in N\), and \(X^\textrm{H}\in T^\textrm{H}_pN\), \(X^\textrm{V}\in T^\textrm{V}_pN\) are, respectively, horizontal and vertical components. Moreover, on the righthand side of these formulas, horizontal and vertical vectors are identified with elements of \(T_{\pi (p)}M\) and \(T^*_{\pi (p)}M\), respectively, and \(\alpha ^\sharp \in T_{\pi (p)}M\) denotes the metric dual of \(\alpha \in T_{\pi (p)}^*M\).
Proof
This general result is obtained from a straightforward but tedious computation in local coordinates \(\{q^i,p_j\}\) on N induced by local \(\nabla \)affine coordinates \(\{q^i\}\) on M. First one computes the Christoffel symbols of \((N,g_N)\) in terms of the Christoffel symbols of (M, g) given in (1). Then one computes the curvature tensor of \((N,g_N)\) in terms of the tensor \(\mathcal S\) and the curvature tensor of (M, g), given in Proposition 3.1 also in terms of \(\mathcal S\). One concludes by expressing the final result in a coordinate independent way using only the above intrinsic identifications and basic properties of ASK manifolds (such as the complete symmetry of \(\nabla g\)). \(\square \)
Note that the remaining components of the Riemann curvature follow from the above by symmetries of the curvature tensor and that \(\nabla ^2g\) coincides with \(\nabla S\), where S is the totally symmetric (0, 3)tensor which corresponds to the (1, 2)tensor \(\mathcal {S}\).
Remark 3.4
If the ASK manifold M satisfies that \(\nabla \) coincides with the LeviCivita connection, then \({{\,\textrm{Rm}\,}}_M=0\) (since \(\nabla \) is flat by definition) and hence \({{\,\textrm{Rm}\,}}_N=0\) by Theorem 3.3.
In the case where the ASK manifold M is furthermore CASK, we can say something additional.
Proposition 3.5
Let \((M,g,J,\nabla ,\xi )\) be a CASK manifold and \((N=T^*M,g_N,I_1,I_2,I_3)\) the pseudohyperKähler manifold given by the rigid cmap. Denote by \(\mathcal {Z}:=(\mathbb {H}Z)^*\) and by \(\mathcal {Z}^\perp :=((\mathbb {H}Z)^\perp )^*\). Then the curvature tensor \({{\,\textrm{Rm}\,}}_N\) is a section of the subbundle
where we are using the isomorphism \(T^*N\cong (\mathbb {H}Z)^* \oplus ((\mathbb {H}Z)^\perp )^*\) corresponding to (2) and \(\vee \) denotes the symmetric tensor product. In particular, \({{\,\textrm{Rm}\,}}_N(A,B,C,X)=0\) if at least two of the vectors A, B, C, X belong to \(\mathbb {H}Z\).
Proof
We have seen that the curvature of N is completely determined by tensors on the base M. Under the identifications \(T_p^\textrm{H}N\cong T_{\pi (p)}M\) and \(T_p^\textrm{V}N \cong T^*_{\pi (p)}M\) the horizontal vector fields \(Z,I_1Z\) on N are identified with the vector fields \(J\xi ,\xi \) on M, and the vertical vector fields \(I_2Z,I_3Z\) with the oneforms \(\xi ^\flat ,(J\xi )^\flat \) (with the convention \(\omega =g(J\cdot ,\cdot )\)). Every term in Theorem 3.3 can be expressed in terms of the tensor \(\mathcal {S}\). From Corollary 2.6 we know that \(\mathcal {S}\) vanishes on \(\xi \) and \(J\xi \), therefore all the curvature elements are zero taking into account that S and \(\nabla ^2g\) are totally symmetric. In fact, the total symmetry of \(S=\nabla g\) was stated in Lemma 2.4 and implies that of \(\nabla S=\nabla ^2\,g\) using that \(\nabla ^2_{A,B}g=\nabla ^2_{B,A}g\) since \(\nabla \) is flat.\(\square \)
3.2 Norm of the curvature tensor
Let us start by defining what is a locally homogeneous manifold.
Definition 3.6
A Riemannian manifold (M, g) of dimension n is called locally homogeneous if for all \(p\in M\) there exist n Killing vector fields defined in a neighborhood of p which are linearly independent at p.
Note that a function on a connected locally homogeneous Riemannian manifold which is invariant under any locally defined isometry is necessarily constant.
We will now finally show that the curvature norm of the (deformed) local cmap metric \(g^c_{\bar{N}}\) associated to a CASK manifold M is not constant on the manifold \({\bar{N}}^c\) unless \(c=0\). We had already argued in Sect. 2.3 that this is equivalent to showing that the norm \(\Vert \widetilde{{{\,\textrm{Rm}\,}}} \Vert _{g^c_\textrm{H}}^2\) of \(\widetilde{{{\,\textrm{Rm}\,}}}\) with respect to \(g^c_\textrm{H}\), is not constant on the rigid cmap space \(N=T^*M\).
In order to compute this norm, we work in a \(g_N\)orthonormal frame \(\{e_i,\epsilon _\mu \}\) of TN that is adapted to the quaternionic distribution \(\mathbb {H}Z\). This means that \(e_i\) span the distribution \(\mathbb {H}Z\) and \(\epsilon _\mu \) span the orthogonal complement \((\mathbb {H}Z)^\perp \).
In terms of this frame, the norm of an abstract (0, 4)curvature tensor \(\mathcal C\) with respect to the metric \(g^c_\textrm{H}\) is given by
where \({\hat{g}}^c_\textrm{H}:=\big ((g^c_\textrm{H})^{1}\big )^{\otimes 4}\) denotes the metric on the bundle \((T^*N)^{\otimes 4}\) induced by \(g^c_\textrm{H}\).
Let us now specialize Theorem 2.11 to the case of the deformed supergravity cmap. Since the decomposition between the hyperKähler part and the projective quaternionic space part is orthogonal, we have
The final term \(\frac{1}{64}\Vert {{\,\textrm{Rm}\,}}_{\mathbb {H}\textrm{P}} \Vert _{g^c_\textrm{H}}^2\) is a constant depending only on the dimension. Meanwhile the remaining terms can be computed to be
In the above, we have introduced the notation
The terms of the form \(R^\textrm{HK}\) and \(R^{\mathrm C}\) (where C stands for “crossterms”) are defined in a similar way, for example, \(R^{\mathrm C}_0:=\sum {{\,\textrm{Rm}\,}}_N(e_i,e_j,e_k,e_\ell ){{\,\textrm{Rm}\,}}_{\textrm{HK}}(e_i,e_j,e_k,e_\ell )\). In particular, all the terms \(R^N\) and \(R^\textrm{HK}\) are nonnegative functions since they are sums of squares, and by virtue of Proposition 3.5, \(R^N_I=R^{\mathrm C}_I=0\) for \(I=0,1,2\textrm{a},2\textrm{b}\).
We can now express the derivative of the function \(\Vert \widetilde{{{\,\textrm{Rm}\,}}} \Vert _{g^c_\textrm{H}}^2\) in terms of the “curvature functions” \(R^N, R^\textrm{HK}, R^{\mathrm C}\) above.
Proposition 3.7
Let \((M,g,J,\nabla ,\xi )\) be a CASK manifold and \((N=T^*M,g_N,I_1,I_2,I_3)\) the pseudohyperKähler manifold given by the rigid cmap. Let \(\Xi \) be the natural lift of \(\xi \) to \(T^*M\) given in local \(\nabla \)affine coordinates \(\{q^i,p_j\}\) by
Then, the derivative of the function \(\Vert \widetilde{{{\,\textrm{Rm}\,}}} \Vert _{g^c_\textrm{H}}^2\) along \(\Xi \) is given by
where the (cindependent) functions \(\widetilde{\Omega }_k\) are given in terms of the functions \(R^N, R^\textrm{HK}, R^{\mathrm C}\) defined above by
Proof
Working in the local coordinates, we see that the vector field \(\Xi \) satisfies
Since we have \(f^c_Z = f_Z \frac{1}{2} c\) and \(f^c_\textrm{H}=f_\textrm{H}\frac{1}{2} c=f^c_Zc\), it follows that
Note in particular that \(\Xi \) generates homotheties with respect to the metric \(g_N\). Using the general fact that any homothety of a pseudoRiemannian manifold is affine with respect to the LeviCivita connection and hence preserves its curvature, we have \(\mathcal {L}_\Xi {{\,\textrm{Rm}\,}}_N=2{{\,\textrm{Rm}\,}}_N\). A straightforward computation using these observations and the Leibniz rule then yields the desired result. \(\square \)
Proposition 3.8
Let \((M,g,J,\nabla ,\xi )\) be a CASK manifold and \((N=T^*M,g_N,I_1,I_2,I_3)\) the pseudohyperKähler manifold given by the rigid cmap. The norm \(\Vert \widetilde{{{\,\textrm{Rm}\,}}} \Vert _{g^c_\textrm{H}}^2\) of \(\widetilde{{{\,\textrm{Rm}\,}}}\) with respect to \(g^c_\textrm{H}\) as defined in (3) is not constant on N when \(c>0\).
Proof
We prove it by contradiction. Let \(F^c{:=}\Vert \widetilde{{{\,\text {Rm}\,}}} \Vert _{g^c_\text {H}}^2\in C^\infty (N)\) and \(\bar{F}^c{:=}\Vert {{\,\text {Rm}\,}}_{\bar{N}} \Vert _{g_{\bar{N}}^c}^2\in C^\infty ({\bar{N}})\). Suppose that \(F^c\) is constant for some \(c>0\). Since they are \(\mathcal {H}\)related, \(F^c\) is constant if and only if \(\bar{F}^c\) is constant. We know that for \(c,c'>0\), the quaternionic Kähler manifolds \((\bar{N},g_{\bar{N}}^c)\) and \((\bar{N},g_{\bar{N}}^{c'})\) are locally isometric.
Since there exists a (local) diffeomorphism \(\varphi :\bar{N}\longrightarrow \bar{N}\) such that \(\varphi ^*\bar{F}^c=\bar{F}^{c'}\), it follows that \(\bar{F}^c\) is constant if and only if \(\bar{F}^{c'}=\varphi ^*\bar{F}^c\) is constant. This implies that \(\bar{F}^c\) is constant for all \(c>0\). By \(\mathcal {H}\)relatedness, \(F^c\) is also constant for all \(c>0\). Then \(\mathcal {L}_\Xi F^c=0\) for all \(c>0\) and, by (4), this implies that \(\widetilde{\Omega }_k\equiv 0\) for \(k=1,\ldots ,9\).
By (5a), \(\widetilde{\Omega }_9\equiv 0\) implies that
but both functions are nonnegative, so this means that \(R^N_3\equiv R^N_4\equiv 0\). Recall that \(R^N_4\) is a sum of squares, so each of the individual terms must vanish separately, i.e. \({{\,\textrm{Rm}\,}}_N(\epsilon _\mu ,\epsilon _\nu ,\epsilon _\lambda ,\epsilon _\sigma )\equiv 0\). This shows that \({{\,\textrm{Rm}\,}}_N\equiv 0\), which implies \(R^{\textrm{C}}_3\equiv 0\) and \(R^{\textrm{C}}_4\equiv 0\).
Now, by (5i), \(\widetilde{\Omega }_1\equiv 0\) implies that
but, as before, all these functions are nonnegative, so all of them vanish identically. Thus, we find that \({{\,\textrm{Rm}\,}}_{\textrm{HK}}\equiv 0\), but this is a contradiction, since for a rigid cmap space we have \({{\,\textrm{Rm}\,}}_{\textrm{HK}}(Z,I_1Z,Z,I_1Z)=g_N(Z,Z)^2>0\). Hence we can conclude that \(\mathcal {L}_\Xi \Vert \widetilde{{{\,\textrm{Rm}\,}}} \Vert _{g^c_\textrm{H}}^2\not \equiv 0\) and therefore \(\Vert \widetilde{{{\,\textrm{Rm}\,}}} \Vert _{g^c_\textrm{H}}^2\) is not a constant function. \(\square \)
As a consequence, we obtain our main theorem.
Theorem 3.9
Let \((M,g,J,\nabla ,\xi )\) be a CASK manifold and \(({\bar{N}}^c,g^c_{{\bar{N}}},\mathcal Q^c)\) the quaternionic Kähler manifold given by the deformed supergravity cmap. Then, for any \(c>0\), \(({\bar{N}}^c,g^c_{{\bar{N}}})\) is not locally homogeneous.
By the results of [CST21, CRT21, MS22], given a CASK manifold \((M,g,J,\omega ,\nabla ,\xi )\) of real dimension 2n with automorphism group \({{\,\textrm{Aut}\,}}(M)\), by which we mean that \({{\,\textrm{Aut}\,}}(M)\) is the group of isometries of (M, g) preserving the full CASK data, the associated supergravity cmap spaces \(({\bar{N}}^c,g^c_{{\bar{N}}},\mathcal Q^c)\) are isometrically acted on by the group \({{\,\textrm{Aut}\,}}(M) < imes {{\,\textrm{Heis}\,}}_{2n+1}\), provided that the underlying projective special Kähler manifold \(({\bar{M}}, g_{{\bar{M}}})\) is simply connected.^{Footnote 3} In particular, when \({{\,\textrm{Aut}\,}}(M)\) acts transitively on the underlying projective special Kähler manifold \({\bar{M}}\), we obtain an action of \({{\,\textrm{Aut}\,}}(M) < imes {{\,\textrm{Heis}\,}}_{2n+1}\) that is transitive on the level sets of the norm of the quaternionic moment map associated to the circle action on \({\bar{N}}\). Thus, as a corollary of our main theorem, we have the following generalisation of a result in [CST22] concerning the supergravity cmap space associated to a flat CASK manifold.
Corollary 3.10
Let \((M,g,J,\omega ,\nabla ,\xi )\) be a CASK manifold fibering over a simply connected projective special Kähler manifold \(({\bar{M}}, g_{{\bar{M}}})\). Assume that its automorphism group \({{\,\textrm{Aut}\,}}(M)\) acts transitively on \({\bar{M}}\). Then the associated supergravity cmap space \(({\bar{N}}^c,g^c_{{\bar{N}}},\mathcal Q^c)\) is a complete quaternionic Kähler manifold of cohomogeneity exactly one when \(c>0\).
Proof
Before beginning the proof we give an overview of its steps. First we explain that under the above transitivity assumption on \({{\,\textrm{Aut}\,}}(M)\) the corresponding undeformed cmap space \({\bar{N}}\) is complete. Using this property, we show then that \({\bar{N}}\) is homogeneous. As a third step we prove that \({\bar{N}}\) is an Alekseevsky space. Therefore \({\bar{N}}\) is either a qmap space associated with a homogeneous projective special real manifold, a symmetric space of noncompact type dual to a complex Grassmannian of 2planes or a quaternionic hyperbolic space. In the fourth step of the proof we show that the oneloop deformation \({\bar{N}}^c\), \(c>0\), is complete in the first two cases. The third case is excluded in the fifth step of the proof, in which we show that the quaternionic hyperbolic space is not a cmap space. Finally, we conclude the proof in step 6 using Theorem 3.9 together with the fact that \({\bar{N}}^c\) admits a group of isometries acting with cohomogeneity one.

1.
Since the Riemannian manifold \(({\bar{M}}, g_{{\bar{M}}})\) is complete, the corresponding undeformed cmap space \(({\bar{N}},g_{{\bar{N}}})=({\bar{N}}^0,g^0_{{\bar{N}}})\) is complete in virtue of [CHM12, Theorem 10]. Next, we will show that \(({\bar{N}},g_{{\bar{N}}})\) is not only complete but is in fact homogeneous.

2.
The group of isometries \({{\,\textrm{Aut}\,}}({\bar{M}})\subset {{\,\textrm{Isom}\,}}({\bar{M}})\) induced by \({{\,\textrm{Aut}\,}}(M)\) extends canonically to a group of isometries of \(({\bar{N}},g_{{\bar{N}}})\). This is stated in [CDJL21, Proposition 26] for CASK domains but holds in general as a consequence of [CHM12, Lemma 4]. It can be also seen as a special case (\(c=0\)) of the results of [CST21, CRT21, MS22] mentioned above. The group \({{\,\textrm{Aut}\,}}({\bar{M}})\) acts transitively on the base of the fiber bundle \({\bar{N}} \longrightarrow {\bar{M}}\) mapping fibers to fibers. In addition, there is a fiberpreserving isometric action of the solvable Iwasawa subgroup \(G_{2n+2}\) of \(\textrm{SU}(1,n+1)\) on \({\bar{N}}_{{\bar{U}}}\) [CHM12, Theorem 5] for every domain \(U\subset M\), which is isomorphic to a CASK domain, where \({\bar{U}}\) denotes the image of U under the projection \(M\longrightarrow {\bar{M}}\). (Recall that every CASK manifold is locally isomorphic to a CASK domain.) Note that \(\dim G_{2n+2}=2n+2\), where \(\dim {\bar{M}} = 2n2\). This solvable group action on \({\bar{N}}_{{\bar{U}}}\) is simply transitive on each fiber. In particular, for every such \({\bar{U}}\) there is a Lie algebra \(\mathfrak {g}_{{\bar{U}}}\cong \mathfrak {g}_{2n+2}= \textrm{Lie}(G_{2n+2})\) of Killing fields of \({\bar{N}}_{{\bar{U}}}\) transitive on each fiber. Moreover, \(\mathfrak {g}_{{\bar{U}}}\) can be identified with the space of parallel sections over \({\bar{U}}\) of a flat symplectic vector bundle over \({\bar{M}}\) (with Lie algebras as fibers), compare [CHM12, Theorem 9]. Since M is simply connected the above vector bundle has a global parallel frame. Thus we obtain a globally defined Lie algebra of Killing fields \(\mathfrak {g}\cong \mathfrak {g}_{2n+2}\) of \({\bar{N}}\), which restricts to \(\mathfrak {g}_{{\bar{U}}}\) on the domain \({\bar{N}}_{{\bar{U}}}\subset {\bar{N}}\). Since \({\bar{N}}\) is complete, there is a corresponding Lie group G acting on \({\bar{N}}\), which together with \({{\,\textrm{Aut}\,}}({\bar{M}})\) generates a transitive group of isometries of \({\bar{N}}\).

3.
Now that we know that \(({\bar{N}},g_{{\bar{N}}})\) is a homogeneous quaternionic Kähler manifold of negative scalar curvature, we can apply the following arguments to show that it belongs to the class of Alekseevsky spaces. First of all, in virtue of the resolution of the Alekseevsky conjecture about the structure of homogeneous Einstein manifolds of negative scalar curvature by Böhm and Lafuente [BL23], we know that \(({\bar{N}},g_{{\bar{N}}})\) admits a simply transitive solvable Lie group of isometries. Then, by a result of Lauret [Lau10], it is a standard Einstein solvmanifold in the sense of Heber [Heb98]. Finally, by [Heb98, Theorem B] such a manifold admits a simply transitive completely solvable group of isometries. Quaternionic Kähler manifolds with that property were classified by Alekseevsky [Ale75, Cor96].

4.
We claim that the oneloop deformation of any cmap space which is an Alekseevsky space is complete if the deformation parameter c is positive (for \(c=0\) it holds by homogeneity). First we note that all of the Alekseevsky spaces with exception of the quaternionic hyperbolic spaces and the Hermitian symmetric spaces of noncompact type dual to complex Grassmannians of 2planes can be represented as qmap spaces [dWP92], a special class of cmap spaces. By [CDS17, Theorem 27] the oneloop deformation of a complete qmap space is complete if \(c>0\). In particular, the oneloop deformed Alekseevsky qmap spaces with \(c>0\) are complete. Furthermore, the Hermitian symmetric Alekseevsky spaces were shown to have regular boundary behavior, implying the completeness of their oneloop deformation for \(c>0\) [CDS17, Example 14 and Theorem 13].

5.
Finally, we are left with the quaternionic hyperbolic spaces \(\mathbb {H}\textrm{H}^n\). We claim that these cannot be represented as cmap spaces and hence cannot occur in our setting. This can be seen by looking at totally geodesic Kähler submanifolds compatible with the quaternionic structure. Thanks to [AM01] we know that the maximal possible dimension of a Kähler submanifold compatible with the quaternionic structure of a quaternionic Kähler manifold of dimension 4n is 2n. In the case of \(\mathbb {H}\textrm{H}^n\) the only totally geodesic Kähler submanifolds of (real) dimension 2n compatible with the quaternionic structure are the complex hyperbolic subspaces \(\mathbb {C}\textrm{H}^n\) (up to isometries of the ambient space). On the other hand, any cmap space of dimension 4n has a totally geodesic Kähler submanifold compatible with the quaternionic structure of the form \(\mathbb {C}\textrm{H}^1\times {\bar{M}}\), where \({\bar{M}}\) is the underlying projective special Kähler manifold of dimension \(2n2\). In fact, the submanifold \(\mathbb {C}\textrm{H}^1 \times {\bar{M}}\subset {\bar{N}}\) is obtained as the fixed point set of the isometric involution expressed in standard fiber coordinates \((\rho , {\tilde{\phi }}, {\tilde{\zeta }}_i,\zeta ^i)\), \(i=1,\ldots ,2n\), [CHM12] by \((\rho , {\tilde{\phi }}, {\tilde{\zeta }}_i,\zeta ^i)\longmapsto (\rho , {\tilde{\phi }}, {\tilde{\zeta }}_i,\zeta ^i)\). Since \(\mathbb {C}\textrm{H}^n\) is irreducible, we see that \(\mathbb {H}\textrm{H}^n\) is not a cmap space if \(n>1\). The case \(n=1\) is also excluded, since the cmap space associated with a projective special Kähler manifold reduced to a point is \(\mathbb {C}\textrm{H}^2\) (belonging to the Hermitian symmetric series) and not \(\mathbb {H}\textrm{H}^1\). This finishes the proof of the completeness of \(({\bar{N}}^c,g^c_{{\bar{N}}})\) for \(c>0\).

6.
Now the corollary follows from the fact that \(({\bar{N}}^c,g^c_{{\bar{N}}})\) has a group of isometries acting with cohomogeneity one but no such group acting with cohomogeneity 0.
\(\square \)
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
The assumption of simply connectedness can be dropped if M is a CASK domain.
References
Alekseevsky, D.V., Cortés, V., Devchand, C.: Special complex manifolds. J. Geom. Phys. 42, 85–105 (2002)
Alekseevsky, D.V., Cortés, V., Dyckmanns, M., Mohaupt, T.: Quaternionic Kähler metrics associated with special Kähler manifolds. J. Geom. Phys. 92, 271–287 (2015)
Alekseevsky, D.V., Cortés, V., Mohaupt, T.: Conification of Kähler and hyperKähler manifolds. Commun. Math. Phys. 324(2), 637–655 (2013)
Alekseevskiĭ, D.V.: Classification of quaternionic spaces with a transitive solvable group of motions. Izv. Akad. Nauk SSSR Ser. Mat. 39, 297–339 (1975)
Alekseevsky, D.V., Marchiafava, S.: Hermitian and Kähler submanifolds of a quaternionic Kähler manifold. Osaka J. Math. 38, 869–904 (2001)
Böhm, C., Lafuente, R.A.: Noncompact Einstein manifolds with symmetry. J. Amer. Math. Soc. 36(3), 591–651 (2023)
Cortés, V., Dyckmanns, M., Jüngling, M., Lindemann, D.: A class of cubic hypersurfaces and quaternionic Kähler manifolds of cohomogeneity one. Asian J. Math. 25(1), 1–30 (2021)
Cortés, V., Dyckmanns, M., Suhr, S.: Completeness of projective special Kähler and quaternionic Kähler manifolds. In: Special metrics and group actions in geometry. volume 23 of Springer INdAM series, pp. 81–106. Springer, Cham (2017)
Cecotti, S., Ferrara, S., Girardello, L.: Geometry of type II superstrings and the moduli of superconformal field theories. Int. J. Mod. Phys. A 4(10), 2475–2529 (1989)
Cortés, V., Han, X., Mohaupt, T.: Completeness in supergravity constructions. Commun. Math. Phys. 311(1), 191–213 (2012)
Cortés, V.: Alekseevskian spaces. Diff. Geom. Appl. 6, 129–168 (1996)
Cortés, V., Röser, M., Thung, D.: Complete quaternionic Kähler manifolds with finite volume ends. Annales de l’Institut Fourier, accepted December 16, 2022, arXiv:2105.00727, (2021)
Cortés, V., Saha, A., Thung, D.: Symmetries of quaternionic Kähler manifolds with \(S^1\)symmetry. Trans. London Math. Soc. 8(1), 95–119 (2021)
Cortés, V., Saha, A., Thung, D.: Curvature of quaternionic Kähler manifolds with \(S^1\)symmetry. Manuscripta Math. 168, 35–64 (2022)
de Wit, B., Van Proeyen, A.: Special geometry, cubic polynomials and homogeneous quaternionic spaces. Commun. Math. Phys. 149, 307–333 (1992)
Freed, D.S.: Special Kähler manifolds. Commun. Math. Phys. 203(1), 31–52 (1999)
Ferrara, S., Sabharwal, S.: Quaternionic manifolds for type II superstring vacua of CalabiYau spaces. Nucl. Phys. B 332(2), 317–332 (1990)
Haydys, A.: HyperKähler and quaternionic Kähler manifolds with \(S^1\)symmetries. J. Geom. Phys. 58(3), 293–306 (2008)
Heber, J.: Noncompact homogeneous Einstein spaces. Invent. math. 133, 279–352 (1998)
Lauret, J.: Einstein solvmanifolds are standard. Ann. Math. 172(3), 1859–1877 (2010)
Macia, O., Swann, A.: Elementary deformations and the hyperKählerquaternionic Kähler correspondence. In: Real and complex submanifolds. volume 106 of Springer proceedings in mathematics & statistics, pp. 339–347. Springer, Tokyo (2014)
Mantegazza, M., Saha, A.: The cmap as a functor on certain variations of Hodge structure. Geom. Dedicata 216(3), 32 (2022)
Ooguri, H., Vafa, C.: On the geometry of the string landscape and the swampland. Nucl. Phys. B 766, 21–33 (2007)
Robles Llana, D., Saueressig, F., Vandoren, S.: String loop corrected hypermultiplet moduli spaces. J. High Energy Phys. 2006(3), 081 (2006)
Swann, A.: Twisting Hermitian and hypercomplex geometries. Duke Math. J. 155(2), 403–431 (2010)
Acknowledgements
We thank Danu Thung for comments and suggestions regarding an earlier draft of this paper. We also thank the anonymous referee for the helpful feedback and remarks.
Funding
Open Access funding enabled and organized by Projekt DEAL. V. C. and A. G. are supported by the German Science Foundation (DFG) under Germany’s Excellence Strategy – EXC 2121 “Quantum Universe” – 390833306. A. S. is supported by the Spanish Ministry of Science and Innovation, through the ‘Severo Ochoa Programme for Centres of Excellence in R &D’ (CEX2019000904S), as well as the Proyectos de I+D+i grant PID2019109339GAC32 and Europa Excelencia grant EUR2020112265.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or nonfinancial interests to disclose.
Additional information
Communicated by R. Seiringer.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative 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/.
About this article
Cite this article
Cortés, V., GilGarcía, A. & Saha, A. A Class of Locally Inhomogeneous Complete Quaternionic Kähler Manifolds. Commun. Math. Phys. 403, 1611–1626 (2023). https://doi.org/10.1007/s00220023048306
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220023048306