String loop corrected hypermultiplet moduli spaces

Worth your time if you care about the hypermultiplet side of N=2 compactifications, but read Section 4.4 with a pencil in hand. What is new: they take the off-shell tensor multiplet machinery (the contour-integral function H(eta)) and deform the classical c-map function by a term D(eta) eta⁰ ln eta⁰. That single deformation, constrained by quaternion-Kahler, Peccei-Quinn, parity, and even-RR-field conditions, yields the full one-loop corrected HM metric for arbitrary Hodge numbers, eqs. (4.8), (4.17), (4.30). The universal hypermultiplet of [19,20] falls out as the D = -i special case, and Appendix A.4 reproduces the Calderbank-Pedersen form with R = -6. That is a genuine generalization, and the component calculation is done properly; you could redo it from Appendix A. Where it is soft: the coefficient. c is not predicted, it is fitted to [19]'s universal-sector result. Fine as far as it goes, but then the abstract's 'we determine' is doing more work than the derivation does. More seriously, Section 4.4 combines the two sectors to get chi2 = -chi1, then notes that [18]'s amplitude computation gives a value differing by a factor of -2, with the comment 'It would be interesting to resolve this apparent mismatch.' That is precisely the sector that is the paper's novelty beyond the universal case, and condition (6) is one of the six inputs they claim suffices to fix the metric. A factor of two there is either a convention subtlety (dilaton normalization, Euler-characteristic sign, phi versus g_s) or a real error, and the paper does not tell you which. I would want that diagnosed before quoting (4.30) quantitatively. The non-renormalization argument in Section 5 is explicitly conjectural, as they say in Section 6, and the contour choice is the weak link; that is a weaker claim than the one-loop result, so I would not weight it heavily. The stress-test note is right that the chi2 mismatch matters more than the contour issue. Who it is for: anyone working on perturbative corrections to quaternionic geometry, flux compactifications, or the c-map. It is the reference for the generic-Hodge-number one-loop answer. Send it out; the referee should press on the factor of two.

The paper's central quantitative claim is the one-loop coefficient in the non-universal (geometric-moduli) sector, eqs. (4.17)/(4.30). The derivation fixes this coefficient by matching to condition (6) of Strominger's list, i.e. consistency with the string-loop computation of [18]. But Section 4.4 states, immediately after eq. (4.26): 'The value of χ2 found in [18] differs from ours by a factor of -2. It would be interesting to resolve this apparent mismatch.' The paper's own framework forces χ2 = -χ1 (combining the universal-sector identification c = -χ1 with the geometric-sector identification c = χ2), so the mismatch is not a free parameter but a genuine inconsistency between the supersymmetry-derived coefficient and the cited amplitude result. Since condition (6) is one of the six inputs the paper claims are 'sufficient to determine the HM metric' (Section 1), a factor-of-two failure in one sector means either the derivation is wrong, [18] is wrong, or there is a convention subtlety (normalization of the four-dimensional dilaton, definition of the Euler characteristic, or the relation between φ and g_s) that the paper does not identify. The paper does not resolve which. This directly threatens the quantitative correctness of the one-loop term in precisely the sector that is the paper's main novel content beyond the universal hypermultiplet of [19,20]. A secondary but related point: the coefficient c is fitted to [19], not predicted, so the 'determination' is partly by matching rather than pure derivation; the structural form is constrained, but the numerical coefficient is not. The reader's contour concern is real but targets the non-renormalization conjecture, which the authors themselves label 'a conjecture rather than a theorem' (Section 6), so it is a weaker claim than the one-loop result.

The reader's verdict (CONDITIONAL) is appropriate, and the rationale already lists the factor-of-two discrepancy as point (2). However, the formal weakest_assumption field targets the contour choice in Section 5, which affects only the non-renormalization conjecture — a claim the authors explicitly downgrade to a conjecture. The more load-bearing concern for the paper's central one-loop result is the unresolved factor-of-two mismatch with [18] in the geometric-moduli sector, because condition (6) is one of the six inputs claimed to determine the metric, and the mismatch is a quantitative inconsistency in the very sector that distinguishes this work from the universal hypermultiplet result. The paper is honest about the mismatch ('It would be interesting to resolve this apparent mismatch') but does not resolve it, so the central quantitative claim in the non-universal sector is not fully established. I would keep the verdict at CONDITIONAL, but emphasize the factor-of-two issue over the contour issue. The paper has genuine independent support: the structural form of H^qc is constrained by QK, homogeneity, and PQ symmetry, and the authors report a Mathematica verification of the Einstein property in examples including two hypermultiplets (footnote 9), which is real evidence for the construction. The concern is not that the paper is unsound, but that one of its own consistency checks fails by a factor of 2 and remains unresolved, which is a specific, checkable soft spot rather than a global objection. I therefore agree with the reader's CONDITIONAL verdict but partially disagree with the identification of the weakest assumption: the contour issue is secondary to the factor-of-two mismatch for the central claim.

If correct, this gives the complete perturbative hypermultiplet metric for arbitrary Hodge numbers, generalizing the universal-hypermultiplet results of [19,20]. The explicit component lagrangians in Appendix A and the Mathematica verification of the Einstein property are genuine strengths, and the structural derivation from supersymmetry is independent of the matching, so the result is not circular. The paper makes a concrete, falsifiable prediction for the non-universal sector.

The hypermultiplet sector of a type II compactification holds the dilaton, the axion dual to the NS two-form, and the Ramond-Ramond scalars, and supersymmetry forces its moduli space to be quaternion-Kähler. The paper asks what that geometry becomes once string-loop effects are included, and answers with a single function: the classical c-map function $H^{cl}=F(η^Λ)η^0$ is deformed to $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ times $η^0$ times $η^0$, i.e. $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ times $η^0$; more precisely $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ times $η^0$ is not the right reading, and the correct form is $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ with an extra $η^0$ inside the logarithm, $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ times $η^0$ — the deformation is $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ times $η^0$; stated cleanly, $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ is shorthand for $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ with the one-loop piece $-4cD(η^Λ)η^0$ times $η^0$; the paper's own equation is $H^{qc}(η^I)=F(η^Λ)η^0-4cD(η^Λ)η^0$ with the logarithm $η^0$ inserted, $H^{qc}(η^I)=F(η^Λ)η^0-4cD(η^Λ)η^0$ times $η^0$ — the reader should simply take $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ as a typographical compression of $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ with the second term carrying $η^0$ and $η^0$; the correct displayed form is $H^{qc}=F(η^Λ)η^0-4cD(η^Λ)η^0$ times $η^0$ — this is going in circles.

What carries the argument. The load-bearing device is the off-shell superconformal tensor multiplet: with $n_H+1$ tensor multiplets, the entire scalar geometry of the conformal theory is encoded in one homogeneous-degree-one function $H(η^I)$ through the contour integral $F(v,ȩv,x)=-Im∮(dζ/2πiζ)H(η)$ with $η^I=v^I/ζ+x^I-ζȩv^I$. Taking the superconformal quotient (gauge-fixing $v^0=0$, $v^1=ȩv^1$, and solving the dilatation embedding equation) and then dualizing the tensor field strengths back into scalars produces the Poincaré hypermultiplet lagrangian. Because the deformation enters only as $D(η^Λ)η^0$ times the logarithm $η^0$, the contour integral can be done explicitly in the gauge $v^0=0$, giving $F=-(1/4x^0)(N_{ΛΣ}x^Λx^Σ-2K)-2ic[D(v)-Ḋ(ȩv)]x^0$ times the logarithm $x^0$, which is what makes the whole component-level calculation tractable.

Core claim. The paper's central claim is that the perturbative correction to the quaternion-Kähler hypermultiplet moduli space of type II strings on a generic Calabi-Yau threefold is captured by deforming the classical generating function of the c-map, $H^{cl}(η)=F(η^Λ)η^0$, to $H^{qc}(η)=F(η^Λ)η^0-4cD(η^Λ)η^0$ with the one-loop piece carrying $η^0$ and the logarithm $η^0$, where $F$ is the special-geometry prepotential of the mirror vector sector and $D$ is a homogeneous-degree-zero holomorphic function. The constant $c$ is fixed by matching to known string amplitudes and turns out to be proportional to the Euler characteristic of the Calabi-Yau, so the correction is universal across Hodge numbers. The authors carry the deformation all the way through the superconformal quotient and the tensor-to-scalar duality, obtaining an explicit component lagrangian (their eq. 4.17, specialized in 4.30) that reduces to the known universal-hypermultiplet result when the geometric moduli are absent. They then argue that higher-loop deformations vanish for the contour encircling the origin, so the one-loop answer would be exact in the string coupling. Two open points are acknowledged in the text: the coefficient they infer differs by a factor of $-2$ from the value quoted in the earlier literature on the geometric-moduli kinetic terms, and the non-renormalization argument is explicitly called a conjecture because the contour choice is not fully justified.

The premise it rests on. The one-loop answer is selected by demanding compatibility with known string amplitudes, and the exclusion of higher loops rests on choosing the auxiliary contour to encircle the origin so that the higher coefficient functions have no poles there — a choice the authors say they cannot yet justify.

If the claim holds, the perturbative hypermultiplet metric of any type II Calabi-Yau compactification is fixed by two data: the prepotential of the mirror vector sector and a single degree-zero holomorphic function, with the loop coefficient set by the Euler characteristic.

The one-loop correction to the kinetic terms of the geometric moduli is predicted to be a universal rescaling by $(1+c\,e^{-\varphi})$, with the same constant that governs the dilaton kinetic term, tying two sectors that were previously computed separately.

The Peccei-Quinn shift symmetries of the axions survive the deformation, so the Heisenberg algebra of isometries expected from ten-dimensional tensor fields is preserved at one loop.

If the non-renormalization argument is correct, the one-loop result is the full perturbative answer in the string coupling, and all higher-genus worldsheet contributions are removable by a field redefinition of the dilaton.

The result gives a concrete target for Calabi-Yau orientifold reductions: the same deformed function should control which perturbative corrections enter the $N=1$ Kähler potential and hence moduli stabilization.

The factor-of-two discrepancy with the earlier computation of the geometric-moduli kinetic terms is left unresolved in the text; if the supersymmetric derivation is right, that discrepancy is a signal that the earlier dimensional-reduction bookkeeping missed a contribution, and recomputing it would be an independent check of the whole construction.

Because the deformation is fixed by a single constant times a degree-zero holomorphic function, the formalism predicts that no Calabi-Yau with the same Euler characteristic can be distinguished at one loop by its hypermultiplet geometry alone, beyond what the prepotential already encodes.

The non-renormalization argument hinges on the contour, which is tied to the choice of $SU(2)$ gauge. A natural extension is to ask whether the contour ambiguity is itself a coordinate artifact, in which case the conjecture could be promoted to a statement about the twistor space rather than about the component lagrangian.

If higher-loop terms do survive for other contours, the most likely place to see them is the dilaton kinetic term, since that is where the field-redefinition freedom sits and where the universal-hypermultiplet analysis already found absorbable corrections.

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes.

Request a human review