pith. machine review for the scientific record. sign in

arxiv: 2505.01246 · v1 · submitted 2025-05-02 · ✦ hep-th · hep-ph

Recognition: 4 theorem links

· Lean Theorem

Perturbative LVS and Inflation: A Review of Volume Modulus and Fibre Scenarios

George K. Leontaris , Pramod Shukla
Authors on Pith no claims yet

Pith reviewed 2026-05-06 20:25 UTC · model claude-opus-4-7

classification ✦ hep-th hep-ph
keywords type IIB string compactificationLarge Volume Scenariomoduli stabilizationCalabi-Yau orientifoldinflection point inflationfibre inflationlogarithmic loop correctionsKähler moduli
0
0 comments X

The pith

Logarithmic string-loop corrections alone can stabilize the extra-dimensional volume in type IIB and host two viable inflation models on a single Calabi–Yau orientifold.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The review argues that the standard recipe for stabilizing the size of the extra dimensions in type IIB string theory — combining an α'^3 correction with a non-perturbative superpotential from instantons or gaugino condensation — can be replaced by a purely perturbative recipe in which a logarithmic string-loop correction to the Kähler potential plays the role of the non-perturbative term. The volume of the compact space is still pinned exponentially large, but no rigid del Pezzo divisor and no Swiss-cheese geometry are required. The authors then show that this "perturbative LVS" naturally hosts two inflationary scenarios on a single explicit Calabi–Yau orientifold with three Kähler moduli and a toroidal-looking volume form. In one, the overall volume modulus itself rolls down a near-inflection-point potential built from the same BBHL plus log-loop terms. In the other, an internal K3 fibre modulus drives a Starobinsky-shaped large-field inflation, and crucially escapes the field-range bound that the exceptional divisor of standard LVS would impose. Both models reproduce the observed scalar amplitude and spectral index, with tensor-to-scalar ratios r≈10^{-5} and r≈7×10^{-3} respectively.

Core claim

The paper consolidates a version of the Large Volume Scenario in type IIB string compactifications that does not rely on non-perturbative superpotential terms. Combining the standard higher-derivative correction to the Kähler potential with a logarithmic string-loop correction is enough to fix the overall internal volume at exponentially large values. Inside that perturbative setting, two inflationary models are realized concretely on a specific K3-fibred Calabi-Yau orientifold whose volume form mimics a torus: (i) a small-field "inflection point" inflation driven by the volume modulus itself, and (ii) a fibre inflation in which the K3 fibre modulus rolls without being squeezed by the Kähler

What carries the argument

A modified overall-volume function Y = V + (ξ/2)e^{-3φ/2} + e^{φ/2} f(V) with f(V) = σ + η ln V, where ξ tracks the (α')^3 (BBHL) correction and η the log-loop correction. The competition of these two perturbative terms produces an AdS minimum at ⟨V⟩ ∼ exp(ζ(3)/(2 ζ(2) g_s^2)+7/3), without any non-perturbative superpotential. On a specific h^{1,1}=3 K3-fibred Calabi–Yau with intersection 2 D1 D2 D3 and toroidal-like volume V = √(τ1 τ2 τ3)/√2, the residual flat directions become inflaton candidates: the canonical combination of all three τ's drives inflection-point inflation, while a D-term locking τ1=τ2 leaves the K3 fibre to drive a Starobinsky-shaped fibre inflation.

If this is right

  • Moduli stabilization in type IIB can proceed without instanton or gaugino-condensate superpotentials
  • removing the need for rigid del Pezzo divisors and the "Witten unit arithmetic genus" condition.
  • Fibre inflation can be embedded without a Swiss-cheese Calabi–Yau
  • evading the geometric upper bound on the inflaton field range that arises from the exceptional shrinking divisor in the standard construction.
  • An explicit h^{1
  • 1}=3 Calabi–Yau orientifold (intersection 2 D1 D2 D3
  • χ=−224) provides a concrete global model where D7 tadpoles cancel on three K3 stacks and D3 tadpole gives N3=44
  • constraining the flux superpotential to |Ŵ0|≲6.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The use of a Calabi–Yau whose volume form mimics T^6 is doing more work than advertised: the log-loop correction is currently justified mainly in toroidal computations
  • so picking a "toroidal-like" geometry is what makes importing those corrections defensible. A genuinely non-toroidal Calabi–Yau may not inherit them.
  • The inflection-point model needs a tuning of an uplift parameter (here x=10^{-4}) to bring the inflaton near an inflection — this is the usual fine-tuning cost of small-field stringy inflation and is not removed by going perturbative.
  • Fibre inflation here gives modest ⟨V⟩ ∼ 10^3–10^4 and small (even fractional) τ_fibre
  • so the supergravity expansion is only marginally controlled
  • tightening the mass hierarchy m_{3/2} < M_KK already constrains |Ŵ0| more than the D3 tadpole does.
  • Because perturbative LVS dispenses with the rigid divisor
  • it should also reopen Calabi–Yau geometries previously excluded from LVS model-building for failing Witten's arithmetic-genus condition

Load-bearing premise

The whole construction rests on importing a logarithmic string-loop correction to the Kähler potential whose form has been computed in toroidal setups but not yet derived directly on a Calabi–Yau; the chosen geometry is engineered to look "toroidal enough" for that import to be plausible.

What would settle it

A direct Calabi–Yau (non-toroidal) computation of the logarithmic string-loop correction to the Kähler potential, plus the winding-type loop corrections used here, that returns coefficients with different sign or scaling than assumed would invalidate both the AdS volume minimum and the inflaton potentials; the authors acknowledge such a first-principles derivation is still missing.

read the original abstract

In type IIB superstring compactifications, incorporating log-loop corrections and higher-derivative ${(\alpha^\prime)}^3$-corrections can stabilize the overall volume of the compact internal space at exponentially large values. This mechanism forms the basis of the perturbative Large Volume Scenario (LVS). In this report, we briefly review two inflationary models realized within the perturbative LVS framework. The first one is the volume modulus inflation (also known as inflection point inflation) and the second one is popularly known as fibre inflation. Using an explict Calabi-Yau orientifold, some concrete global embeddings of both models are also discussed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

4 major / 7 minor

Summary. This is a conference proceedings (Corfu 2024) review of two inflationary scenarios realized in the "perturbative LVS" framework, in which the overall Kähler modulus V is stabilized using BBHL α'^3 corrections together with logarithmic string-loop ("log-loop") corrections to the Kähler potential, without invoking non-perturbative superpotential terms. After recalling the standard LVS and its perturbative variant (§2), the authors present an explicit h^{1,1}=3 K3-fibred Calabi–Yau orientifold (polytope 249) whose intersection structure mimics T^6 in the sense that V ∝ √(τ_1 τ_2 τ_3) and the three basis divisors are K3 surfaces meeting pairwise on T^2 (§3). They then review (i) volume-modulus / inflection-point inflation driven by the BBHL+log-loop combination (§4.1), and (ii) a fibre-inflation realisation (§4.2) where V is frozen by perturbative LVS and a D-term constraint from worldvolume flux reduces the remaining dynamics to a single canonical field. Numerical benchmark models are quoted that satisfy current CMB observables.

Significance. As a review aimed at conference proceedings, the paper provides a useful, compact synthesis of recent work by the authors and collaborators (refs. [49,54,55]) on embedding inflationary dynamics into the perturbative LVS framework. The strengths are: (a) an explicit global CY orientifold construction with brane/flux content and tadpole bookkeeping (Eqs. 3.10–3.14), making the discussion concrete rather than purely effective; (b) explicit treatment of robustness against winding-loop and F^4 corrections (Eqs. 3.16, 3.17) within the same global model, which is unusual in the inflationary string-cosmology literature; and (c) clear numerical benchmarks (Eqs. 4.20, 4.27) with mass-hierarchy checks (Eq. 4.30). The framework's main novelty relative to standard LVS — bypassing the rigid-divisor / non-perturbative-superpotential requirement — is well motivated. As a proceedings review, originality is not the metric; expository value and accuracy are.

major comments (4)
  1. [§2.2, Eqs. (2.8)–(2.11) and §5] The entire perturbative LVS minimum, and hence both inflationary models reviewed, rest on the specific functional form Y_1 ∝ e^{φ/2}(σ + η ln V) and on the identifications σ = -η = -χ(CY)ζ(2)/(2(2π)^3) imported from toroidal results [46–48]. The authors themselves acknowledge in the conclusions that 'a direct computation of these corrections for the CY orientifold case is still missing.' Since the basis divisors here are K3 (not T^4), with non-vanishing second Chern number Π=24 (Eq. 3.8), the toroidal derivation does not obviously carry over. The review would be substantially strengthened by an explicit discussion of (i) which features of the toroidal derivation are expected to survive (e.g., the χ(CY) proportionality vs. a sum of divisor-dependent logs ln τ_α), and (ii) what parametric uncertainty in σ, η would qualitatively change the location of ⟨V⟩ in (2.11) or destroy the inflection
  2. [§4.1, Eqs. (4.14)–(4.20)] The inflection-point construction relies on a fine balance between BBHL/log-loop, winding-loop and F^4 contributions, controlled by the parameter x introduced via a_1 ≡ e^{-a_2-1-x} with x=10^{-4} (Eq. 4.17). The benchmark (4.20) gives ⟨V⟩≈743 — moderate, not exponentially large — and η_*=−0.02, ε_*~10^{-7}, with N_e≈97 and r~10^{-5}. It would help readers to (a) state explicitly the degree of tuning in x required to keep the inflection point, (b) clarify why the benchmark sits at such modest volume given that perturbative LVS is advertised as producing exponentially large V, and (c) discuss how sensitive (n_s, r, N_e) are to O(1) variation of C_w (the text notes C_w ≳ 10^{-4} breaks single-field validity — this should be quantified).
  3. [§4.2, Eqs. (4.21)–(4.30)] The fibre-inflation reduction uses the FI-vanishing condition (4.21) to lock τ_1 = q τ_2, leaving an effectively single-field potential. For the stringy benchmark (4.27) the authors find ⟨φ⟩=−3 and τ_str^{1/4}≈0.3, which they note is only marginally above 1/(2π). Given that the entire EFT validity rests on this inequality, please justify more carefully why a divisor whose Einstein-frame size yields τ_str^{1/4} barely above the string scale should be trusted within supergravity, especially since α' corrections to the Kähler metric on this divisor are then not parametrically suppressed. A short statement of the regime of validity, or a benchmark with comfortably larger τ_str, would address this.
  4. [§3.2, Eq. (3.13)] The brane configuration places three D7-stacks on the three K3 divisors D_1, D_2, D_3 with the involution x_7 → −x_7, but Eq. (3.13) writes 8[O7] = 8([D_1]+[D'_1]) + …, which appears to satisfy the D7-tadpole only schematically since the stated involution should map each D_a to itself (or to a specific image) — please clarify the involution action on D_1, D_2, D_3 and justify the multiplicities. Relatedly, the D3-tadpole bound N_flux ≤ 88 limits |Ŵ_0| ≲ 6, which in §4.2 (Eq. 4.27) is saturated; the implication for control over the flux landscape should be stated.
minor comments (7)
  1. [Typography throughout] The arXiv source appears to have been processed with a font/encoding that produced many spurious '/u1D…' Unicode escapes in the text (visible in the rendered manuscript shown to the referee). If this is also present in the final PDF, the publisher should be asked to fix the symbol substitution; if it is only an artefact of source extraction, please disregard.
  2. [§1, list of LVS inflation classes] Consider adding one sentence distinguishing the present 'perturbative-LVS volume-modulus inflation' from the recently proposed 'loop blow-up inflation' [24], since both rely solely on string-loop effects to source the inflaton potential.
  3. [§3.1, Table 1] The notation H_g for curves with h^{1,0}=g is introduced in the caption; it would help to remind the reader in the main text that all pairwise K3∩K3 intersections being T^2 is the geometric input feeding the log-loop ansatz.
  4. [Eqs. (2.9)] The relation σ = −η is stated as an identification. A one-line reminder of where it comes from in [46–48] (Eisenstein-series structure on T^6) would orient readers unfamiliar with that derivation, and would also frame the major comment above.
  5. [§4.1, Eq. (4.20)] Reporting r ≈ 1.1×10^{-5} as a 'prediction' is fine, but please mention that for a small-field model this is below realistic near-future sensitivity, so this benchmark is essentially indistinguishable from many other small-field scenarios on r alone.
  6. [§4.2, after Eq. (4.25)] The statement that R_2 can be 'taken as constant' for analytic purposes is reasonable, but the φ-dependence in Eq. (4.28) is not entirely negligible at the 10^{-7} level once one tracks N_e at the percent level; a brief comment on how the cited n_s, r are affected when the full R_2[φ] is used would be welcome.
  7. [References] Several arXiv numbers in the bibliography are rendered with the same '/u1D…' artefacts as the body text (e.g. refs. [1], [2], [9]), which will hinder readers trying to follow the literature. Please verify the final-typeset bibliography.

Simulated Author's Rebuttal

4 responses · 1 unresolved

We thank the referee for a careful and constructive reading of this proceedings review and for endorsing minor revision. The four major comments all concern points where the manuscript would benefit from sharper qualifications rather than substantive technical corrections, and we agree with each of them. In the revised version we will: (1) expand §2.2 and §5 to make explicit which features of the toroidal log-loop derivation are inherited by the polytope-249 K3-fibred CY and which are assumptions, including a quantitative estimate of the sensitivity of ⟨V⟩ to the σ/η ratio; (2) augment §4.1 with explicit statements of the tuning of x, of the reason the benchmark sits at moderate ⟨V⟩ (the D3-tadpole budget of this particular CY combined with the choice of g_s and |W_0|), and of the (n_s, r) drift with C_w; (3) supplement the borderline §4.2 benchmark with a second, more comfortably controlled benchmark and state the EFT validity criterion τ_str^{1/4}≫1/(2π) explicitly; (4) clarify the involution action on the basis divisors in (3.13) and discuss the implications of saturating |Ŵ_0|≲6 for flux-landscape control. None of these revisions alter the conclusions of the review, but they make the assumptions and regime of validity more transparent, in line with the referee's concerns.

read point-by-point responses

  1. Referee: Reliance on toroidal-derived form of log-loop corrections (Y_1 ∝ e^{φ/2}(σ+η ln V)) and σ=-η identification, despite K3 (not T^4) basis divisors with Π=24; need explicit discussion of which features survive and parametric sensitivity.

    Authors: We agree this is the most important conceptual caveat, and we already flagged it in the conclusions. In the revised version we will expand §2.2 and §5 to make explicit: (i) the toroidal derivation of [46–48] relies on the existence of large transverse bulk directions and on intersection patterns (pairwise T^2 intersections, common transverse modulus) that the polytope-249 CY genuinely shares (Table 1 and Eq. 3.7), which is why we restricted to this geometry; (ii) what is *not* automatically inherited is the precise overall coefficient, in particular whether the log-loop term is controlled by χ(CY) globally or by a sum of divisor-local contributions ∝ ln τ_α with χ(D_α)-dependent coefficients. We will add a short discussion noting that for the symmetric point τ_1≈τ_2≈τ_3 used in §4.1 the two forms collapse to the same effective ln V dependence up to a redefinition of σ, but generically differ off the symmetric locus. (iii) Regarding sensitivity: from Eq. (2.11), ⟨V⟩=exp(a/g_s^2+b) with a=ζ(3)/(2ζ(2))≈0.365, so an O(1) rescaling of the ratio σ/η shifts ln⟨V⟩ by O(1/g_s^2) — i.e. the *existence* of an exponentially large minimum is robust, but the numerical value is highly sensitive. We will add this estimate explicitly. The non-trivial Π=24 of the K3 divisors (vs. Π=0 for T^4) is in fact already used in §3.3 to motivate including the F^4 piece (3.17) — this will be stated more sharply. revision: yes

  2. Referee: §4.1: quantify tuning of x in a_1=e^{-a_2-1-x}; explain why benchmark ⟨V⟩≈743 is moderate rather than exponentially large; quantify (n_s, r, N_e) sensitivity to C_w.

    Authors: These are fair points and we will expand §4.1 accordingly. (a) The parameter x measures the deviation of the uplift from the value that would place the extremum exactly at the inflection point; for the inflection-point regime to persist one needs roughly |x| ≲ 10^{-3}–10^{-4}, so the tuning is at the 10^{-4} level, comparable to other inflection-point models in the literature. We will state this explicitly and add a short comment that this tuning is the price paid for small-field inflation at large N_e. (b) The benchmark (4.20) chose g_s=1/3 and |W_0|=0.038 specifically to match the COBE normalisation P_s≃2.1×10^{-9} together with N_e≳60 within the available D3-tadpole budget of the polytope-249 model (N_3≤44, hence |Ŵ_0|≲6); these constraints push the volume down. ⟨V⟩≈743 is still 'exponentially large' in the technical sense ⟨V⟩∝e^{a/g_s^2}, just evaluated at moderate g_s. We will add a paragraph clarifying this, and indicating that geometries with larger N_3 (e.g. those of refs. [58,59]) admit benchmarks with substantially larger ⟨V⟩. (c) On C_w sensitivity: as stated, C_w≃5×10^{-5} keeps the winding correction at the few-percent level relative to the BBHL/log-loop piece, while C_w≳10^{-4} promotes the second heavy modulus mass to the same order as m_φ and breaks the single-field truncation. We will add a small table or figure showing how (n_s, r) drift with C_w within the single-field regime. revision: yes

  3. Referee: §4.2: stringy benchmark (4.27) gives τ_str^{1/4}≈0.3, only marginally above 1/(2π); EFT validity rests on this inequality, so α' corrections to the divisor Kähler metric are not parametrically suppressed. Justify or provide a benchmark with larger τ_str.

    Authors: The referee is right that the benchmark (4.27) sits at the edge of the controlled regime; this was a deliberate choice to display the most stringent case allowed by the polytope-249 D3-tadpole. We will (i) state explicitly in §4.2 that (4.27) is a borderline benchmark whose role is illustrative rather than fully controlled, and (ii) add a second benchmark with comfortably larger τ_str (achievable by trading off |Ŵ_0| against ⟨V⟩, at the cost of reducing the D-term uplift), making the EFT regime manifest. We will also note that — as discussed for fibre inflation in [18] — the underlying tension between large ⟨V⟩, small g_s, and bounded N_3 is a generic feature of fibre-inflation global embeddings, not specific to perturbative LVS, and that geometries with larger D3 charge (refs. [58,59]) relax it. The α' corrections to the divisor Kähler metric on K3 are governed by string-frame volume; we will add the inequality τ_str^{1/4} ≫ 1/(2π) as the explicit validity criterion and indicate the corresponding window in (g_s, |W_0|) space. revision: yes

  4. Referee: §3.2 Eq. (3.13): clarify involution action on D_1, D_2, D_3 (whether each D_a is mapped to itself or to an image) and justify multiplicities in 8[O7]=8Σ([D_a]+[D'_a]); also state implications of the |Ŵ_0|≲6 saturation in (4.27) for flux-landscape control.

    Authors: We thank the referee for catching this presentational issue. The involution x_7→−x_7 fixes the divisor D_7 pointwise (giving the single O7) and acts on the basis divisors D_1, D_2, D_3 by mapping each D_a to a homologically equivalent image D'_a (the involution exchanges members of the linear system but preserves the cohomology class), so [D_a]+[D'_a]=2[D_a] in cohomology. The schematic Eq. (3.13) should be read class-wise, and the multiplicity 8 then follows from saturating 8[O7] with three stacks contributing equally. We will rewrite (3.13) to make the cohomological identification explicit and add a sentence clarifying the involution action on each D_a, including a remark on whether D_a is point-wise fixed or set-wise fixed (we believe it is set-wise, with image in the same class). On the second point: yes, the benchmark (4.27) saturates |Ŵ_0|≃6, which sits at the upper edge of what the D3-tadpole budget N_3=44 of polytope 249 allows in the Denef–Douglas estimate [75,76]. This means the model lives in a sparse corner of the flux landscape and a statistical argument for tunability is weak; we will add a paragraph stating this honestly and pointing to the larger-N_3 geometries of [58,59] where this saturation is relaxed. revision: yes

standing simulated objections not resolved
  • A first-principles derivation of the log-loop Kähler potential correction directly in the Calabi–Yau orientifold (rather than imported from toroidal results) is not available and is beyond the scope of this proceedings; we can only argue plausibility based on shared geometric features and acknowledge this limitation in the conclusions, as already noted.

Circularity Check

4 steps flagged

Perturbative LVS minimum and both inflationary scenarios rest on a log-loop Kähler correction whose form (and its η = −σ ∝ χ(CY)ζ(2) identification) is imported by self-citation from toroidal setups; the paper itself admits the CY-orientifold derivation is missing.

specific steps
  1. ansatz smuggled in via citation [Eq. 2.8–2.9 (Section 2.2, Perturbative LVS)]
    "Y_1 = e^{(1/2)φ} f(V) = ((S − S̄)/2i)^{−1/2}(σ + η ln V). Here one has the following correlations among the various coefficients, ξ, σ and η, ξ = −χ(CY)ζ[3]/(2(2π)^3), σ = −χ(CY)ζ[2]/(2(2π)^3) = −η"

    The functional form e^{φ/2}(σ + η ln V) and the closed-form identification σ = −η ∝ χ(CY)ζ(2) are not derived in this paper for the CY at hand; they are imported from refs [46–48] (Antoniadis–Chen–Leontaris), which derived them in toroidal setups where divisors are T⁴. Every downstream conclusion (⟨V⟩ in Eq. 2.11, inflection-point inflation, fibre inflation V-stabilization) depends on this exact form.

  2. self citation load bearing [Conclusions (§5), final paragraph]
    "all the string-loop corrections used for these models, i.e. the KK/Winding type [33, 34, 36, 60, 61] and the lop-loop type [46–48, 50–52], are motivated by the toroidal results. … a direct computation of these corrections for the CY orientifold case is still missing, and further work is required to guarantee the viability of such inflationary models."

    The authors themselves concede that the load-bearing log-loop correction has not been computed on the CY orientifold used in §3–§4. Yet the entire perturbative LVS minimum (Eq. 2.11) and the two inflationary models hinge on its toroidal-form coefficients being valid. The justification chain therefore reduces to self-citations [46–48, 50–52] of toroidal derivations extrapolated by analogy.

  3. uniqueness imported from authors [Section 3.3 and Eq. 3.16–3.17 vs. toroidal motivation]
    "These symmetries are consistent with the basic requirement for generating logarithmic string-loop effects as elaborated in [46–48, 50–53]. … although this CY have several properties like a toroidal case, the divisor being K3 implies that Π = 24. This is unlike the six-torus case where the T^4 divisor has a vanishing Π, and hence no higher derivative F^4 effects."

    The paper notes that the K3 divisors differ topologically from the T⁴ divisors of the toroidal motivation (Π = 24 vs Π = 0), introducing F⁴ corrections that were absent in the source. Despite this acknowledged divisor-topology change, the σ, η coefficients are imported unchanged from the toroidal computation. The 'toroidal-like' geometric symmetry is offered as sufficient justification, but no independent CY-side calculation or error estimate is provided.

  4. self citation load bearing [Numerical models, Eq. 4.20 and Eq. 4.27 (referencing [54, 55])]
    "These arguments are demonstrated in a numerical model given as below [55] … (4.20). … [54] … Since perturbative LVS does not require such exceptional divisors, it naturally circumvents this field-range problem"

    The two benchmark inflationary constructions are taken from refs [54, 55] (Bera–Chakraborty–Leontaris–Shukla), which themselves use the same imported toroidal ansatz for σ, η. Thus the 'global embedding' demonstrations do not provide independent verification of the log-loop form; they reuse it.

full rationale

This is a review, so most of the derivation chain is openly inherited. The circularity concern is concentrated at one load-bearing junction. The entire perturbative-LVS minimum (Eq. 2.10–2.11) and both inflationary models (Eq. 4.1, §4.1, §4.2) depend on the specific ansatz Y₁ = e^{φ/2}(σ + η ln V) with σ = −η = −χ(CY)ζ(2)/(2(2π)³) (Eq. 2.9). This functional form, including the χ(CY) proportionality and the equality |σ| = |η|, is taken from refs [46–48] (Antoniadis–Chen–Leontaris) — self-citations by one of the present authors — where it was derived in toroidal compactifications whose divisors are T⁴ (vanishing second Chern class). The authors then transplant it to a Calabi–Yau whose three relevant divisors are K3 surfaces with Π = 24 (Eq. 3.8), introducing additional F⁴ corrections (Eq. 3.17) absent in the toroidal source. In the conclusions they explicitly write: "a direct computation of these corrections for the CY orientifold case is still missing, and further work is required to guarantee the viability of such inflationary models." So the load-bearing input — the precise form of the log-loop correction on the CY — is not derived; it is asserted by analogy and citation to authors' own toroidal work. The minimum location ⟨V⟩ ∝ exp(ζ[3]/(2ζ[2] g_s²)) (Eq. 2.11), the existence of an inflection point in §4.1, and the V-stabilization that allows τ_f to drive fibre inflation in §4.2 all inherit this assumption. The "global embedding" content (§3) — the toroidal-like CY with V ∝ √(τ₁τ₂τ₃) — is presented as evidence the toroidal symmetries survive, but this is geometric motivation, not a derivation of σ, η. The further self-citations [49, 54, 55] (Leontaris–Shukla) build the inflationary models on the same imported ansatz. This is a textbook "ansatz smuggled in via citation" pattern at one critical step, partially mitigated by the paper being an honest review that flags the gap. Score 5–6: not a fitting tautology, but the central quantitative result is forced by an unverified self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Model omitted the axiom ledger; defaulted for pipeline continuity.

pith-pipeline@v0.9.0 · 9414 in / 6160 out tokens · 96536 ms · 2026-05-06T20:25:20.039004+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On Global Embedding of Assisted Fibre Inflation

    hep-th 2026-04 unverdicted novelty 3.0

    Assisted multi-fibre inflation distributes the required field range across several moduli in global CY orientifolds, overcoming single-field Kähler cone obstructions to realize viable inflation.