Recognition: 3 theorem links
· Lean TheoremJordan Frame in Supergravity and Cosmology
Pith reviewed 2026-05-06 04:33 UTC · model claude-opus-4-7
The pith
Jordan- and Einstein-frame inflation are two gauges of the same superconformal supergravity, giving new ξ-attractors equivalent to α-attractors with ξ = 1/(6α).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Within N=1 supergravity obtained by gauge-fixing SU(2,2|1) superconformal theory, the Jordan and Einstein frames are simply two different gauge choices of the same superconformal action, parameterised by an independent frame function Ω(z,z̄) and Kähler potential K(z,z̄). Choosing Ω = 1 + ξ(TT̄)^(n/2) together with a hyperbolic or polynomial Kähler metric produces inflationary models with non-minimal coupling ξT^n R that, after a Weyl gauge change, are identical to known exponential and polynomial α-attractors under the identification ξ = 1/(6α). Consequently, in the strong-coupling limit ξ → ∞ the tensor-to-scalar ratio r → 0, unlike old ξ-attractors which froze at α = 1. The paper also argu
What carries the argument
The two-function Jordan-frame supergravity action L_J = √−g_J [Ω R/2 − (Ω K_{zz̄} − 3 Ω_z Ω_z̄/Ω) ∂z∂z̄ − Ω² V_E + …], obtained by gauge-fixing SU(2,2|1) superconformal theory, with the new choice Ω = 1 + ξ(TT̄)^(n/2) paired with a hyperbolic Kähler metric g_{TT̄} = 1/(2ξ(T+T̄)²) (n=2) or its polynomial generalisation. The Weyl gauge change Ω → 1 maps these Jordan-frame models onto α-attractors with α = 1/(6ξ), making the ξ–α correspondence an algebraic identity between two gauges of one action.
If this is right
- Cosmological ξ-attractors with non-minimal coupling now predict r ≈ 2/(ξ N²), so a future measurement of primordial gravitational waves would directly determine the non-minimal coupling ξ, equivalently the Kähler curvature −2/(3α) of the underlying hyperbolic moduli space.
- The strong-coupling regime ξ → ∞ no longer freezes at α = 1 but yields r → 0, opening access to the small-α / high-Kähler-curvature corner of α-attractor predictions through models with very large ξ.
- Polynomial ξ-attractors with ξT^n coupling are equivalent to KKLTI-type attractors under n = 2(k+1)/k for n>2 or n = 2k/(2+k) for n<2 with ξ = k²/μ², giving a supergravity realisation of polynomial α-attractors in the Jordan frame.
- Cosmological models built on Palatini gravity with non-minimal scalar–gravity coupling cannot be supersymmetrised at the level of supergravity coupled to chiral matter; their ultraviolet completion must abandon either the Palatini connection or the standard superconformal embedding.
- Choosing inflationary models in supergravity should start from the Kähler potential K and frame function Ω, not from the Jordan kinetic term K_J, since the supergravity-allowed K_J is determined by Ω and K via K_J = K_E Ω − (3/2)(Ω′)²/Ω.
Where Pith is reading between the lines
- If forthcoming CMB tensor-mode bounds tighten r below ~10⁻³, this construction reads it as a lower bound on ξ rather than as a tension with attractor inflation, since the same data simply select the small-α (large-ξ) branch.
- The argument against Palatini supergravity rests on the standard off-shell multiplet structure; an attempt to build Palatini supergravity in a first-order superspace formalism, or with a modified compensator sector, would be the natural place for proponents to push back.
- Because Jordan and Einstein frames are exhibited here as gauge-equivalent classically, any frame-dependence claimed at the quantum level (e.g. in renormalisation or non-Gaussianities) must come from gauge-fixing or measure choices, not from physically inequivalent theories.
- The same two-function (Ω, K) structure could be used to engineer ξ-attractor versions of singular α-attractors and of multi-field hyperbolic models, extending the dictionary beyond the single-field exponential and polynomial cases worked out here.
Load-bearing premise
That any supergravity embedding of a non-minimally coupled scalar must inherit the same superconformal off-shell constraint structure used here, which forces the spin connection to be built from the vierbein; if a different off-shell formulation balanced bosons and fermions another way, the no-go for Palatini supergravity would not apply.
What would settle it
Explicitly construct an internally consistent N=1 supergravity action coupled to a chiral scalar multiplet in which the spin (or affine) connection is an independent field — i.e. genuine Palatini supergravity with scalars — with matching off-shell boson/fermion degrees of freedom and a closed local supersymmetry algebra. Such a construction would directly contradict the paper's exclusion argument and undermine the claim that Jordan/Einstein frames are the only available gauges.
read the original abstract
The superconformal action can be gauge-fixed in a gauge where is leads to the Einstein frame supergravity defined by a \K potential $\mathcal{K}(z, \bar z)$, or in a gauge where it leads to a Jordan frame supergravity defined by the frame function $\Omega(z, \bar z)$, in addition to $\mathcal{K}(z, \bar z)$. We present {\it new supergravity $\xi$-attractor models with non-minimal coupling to gravity}, which offer some advantages over the previously known $\xi$-attractors. New attractors include exponential and polynomial $\xi$-attractors and have some features similar to those of the Palatini attractors. However, we show that the Palatini gravity with nonminimal scalar coupling and an independent affine connection has no supergravity embedding.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript revisits the gauge-fixing of N=1, SU(2,2|1) superconformal theory, emphasising that Poincaré supergravity admits two independent functions Ω(z,z̄) and K(z,z̄) (eq. 1.4, eq. 3.4) corresponding to Jordan- and Einstein-frame gauges. Using this freedom, the author constructs a new family of "ξ-attractors" with Ω = 1 + ξ(TT̄)^(n/2) and Kähler metric of the hyperbolic (n=2) or polynomial (n≠2) type, and shows that in the Einstein gauge they reduce to standard exponential and polynomial α-attractors / KKLTI models with the identifications ξ = 1/(6α) and ξ = k²/μ². A salient phenomenological consequence is that the strong-coupling limit ξ→∞ now implies r→0 (eq. 7.11), in contrast with the old ξ-attractors [16,17] where r→12/N². Appendix B argues that Palatini gravity coupled to scalars cannot be promoted to supergravity, in particular refuting the relation R̂ = −(N/Ω)R used in [25].
Significance. If correct, the construction provides a clean supergravity embedding of both exponential and polynomial α-attractors as Jordan-frame ξ-attractors, with a parameter map (ξ↔α, ξ↔(k,μ)) that is algebraically simple and a falsifiable signature: r→0 at strong non-minimal coupling, opposite to the well-known r=12/N² of the [16,17] models. The Palatini-vs-supergravity discussion (§2, App. B) is also useful: the local result that R_{μν}(P^a)=0 forces ω = ω(e,b,ψ) (eq. 2.8), combined with eq. (B.6), gives a concrete obstruction to identifying the affine connection with an independent Palatini connection inside the standard SU(2,2|1) calculus. The paper is short, self-contained, and connects directly to current CMB-data discussions [20,23]. The construction is explicit enough to be checked and embedded in subsequent phenomenology.
major comments (3)
- [§6.2, eqs. (6.19), (6.20); §6.3, eqs. (6.52)–(6.53)] There is an internal sign-of-exponent inconsistency in the stated Kähler potentials. Differentiating K = (μ²/2)(TT̄)^{1/k} gives K_{TT̄} = (μ²/(2k²))(TT̄)^{(1-k)/k}, i.e. (TT̄)^{-(k-1)/k}, whereas eq. (6.20) states g_{TT̄} = (μ²/(2k²))(TT̄)^{-(k+1)/k}. Consistency requires K = (μ²/2)(TT̄)^{-1/k} (exponent negated). The same flip is needed in (6.52) (the exponent should read (2−n)/2, not (n−2)/2) and in (6.53) (exponent (n−2)/(2n), not (2−n)/(2n)). The downstream metrics (6.28), (6.37) and the field redefinitions (6.34), (6.43) are consistent with the corrected K. The fix is local and does not affect the identification with KKLTI, but the formulas as printed do not produce the metrics they are paired with and should be corrected before publication.
- [§2 and Appendix B (claim around eq. 1, abstract; (B.7)–(B.8))] The headline statement that 'Palatini gravity with non-minimal scalar coupling has no supergravity embedding' is broader than what is actually established. What §2 demonstrates is: within the SU(2,2|1) superconformal calculus of [3–5,15], imposing R_{μν}(P^a)=0 to enforce off-shell boson–fermion balance forces ω^{ab}_μ = ω(e,b,ψ) (eq. 2.8), and via (B.6) the affine connection inherits metric dependence; this correctly refutes the homogeneous Weyl rescaling R̂ = −(N/Ω)R used in [25]. The argument does not, however, exhaust alternative off-shell auxiliary structures (new-minimal, 20+20, superspace formulations beyond footnote 1) where boson–fermion counting could be balanced without R_{μν}(P^a)=0 as the constraint that fixes ω. I recommend the abstract and the closing paragraph of App. B be rephrased to scope the no-go to 'the standard SU(2,2|1) gauge-fixing of [3,4]/[15] coupled to chiral
- [§7, eqs. (7.7)–(7.11)] The contrast between α = 1/(6ξ) (this work, r→0 at strong coupling) and α = 1 + 1/(6ξ) (refs. [16,17], r→12/N²) is the central phenomenological claim, but the paper does not articulate which physical input distinguishes them beyond the choice of the order K(z,z̄)→K_E→K_J versus K_J→K_E. Since both orderings are formally allowed by the superconformal gauge-fixing, the claim that the new construction is the 'natural' supergravity choice would be strengthened by showing that the [16,17] choice (A.1)–(A.2) is not reproducible by any K(z,z̄), or by giving the K(z,z̄) that would reproduce it and explaining why it is excluded. As written, the difference reads as a model choice rather than as a supergravity selection rule, which weakens the framing of (7.10)–(7.11).
minor comments (7)
- [Abstract] Typo: 'in a gauge where is leads to' → 'in a gauge where it leads to'.
- [§5.1, eq. (5.1)] The Lagrangian (5.1) is missing a factor of √(−g_J) in the kinetic term written as a density; clarify that the 1/2 Ω(ϕ)R term is multiplied by √(−g_J), as in eq. (4.2). This is a minor presentation issue but the equation as displayed mixes density and non-density forms.
- [§6.1, eq. (6.13)] The variable in the second and third potentials is given as φ on the left-hand side but T on the right-hand side ('V^{T model}_E(φ) = V_0[(1−T)/(1+T)]^{2m}'). Replace φ by T (or vice versa) for consistency.
- [§6, footnote 5] The restriction to even k for the polynomial potential could be made explicit in eq. (6.5) as well, not only at (6.23); a reader following §6.1 will not see the subtlety.
- [§1, eq. (1.6)] Stray comma: 'n=2(k+1)/k > 2, , n=2k/(2+k) < 2'.
- [App. A, footnote 6] The footnote 'It is not clear how to promote the one real scalar model of special attractors in [17] to supergravity level' is a strong statement; either drop it or reference where this is shown / argued.
- [References] Ref. [25] (2602.05623), [32] (2511.15815), [34] (2512.02969), [38] (2602.09664), [41] (2604.09843) are arXiv numbers in a range that may need verification; please confirm at proof stage.
Simulated Author's Rebuttal
We thank the referee for a careful and constructive report and for recommending minor revision. The three major comments are well-taken, and we will incorporate all of them in the revised version. Specifically: (1) we will correct the sign-of-exponent typos in eqs. (6.19), (6.20), (6.52), (6.53); the corrected K=(μ²/2)(TT̄)^{-1/k} reproduces the metrics (6.28), (6.37) and field redefinitions (6.34), (6.43) as printed, so no downstream result is affected. (2) We will rescope the no-go statement in the abstract and the closing of Appendix B to make explicit that it applies within the standard SU(2,2|1) superconformal calculus of [3,4,15] coupled to chiral multiplets — this is in fact what §2 establishes — and we will note that we do not claim to exhaust new-minimal, 20+20, or non-standard superspace formulations. The critique of [25] is unchanged, since [25] works within the same calculus. (3) We will expand §7 to articulate why starting from K(z,z̄) is the supergravity-natural input: the [16,17] choice can be reproduced (and we exhibit the corresponding K via (A.1)), but only by a Kähler potential whose sole purpose is to enforce K_J=1, with no independent geometric content. Once K is fixed to the standard hyperbolic/polynomial α-attractor geometry, α=1/(6ξ) and r→0 at strong coupling follow as a selection rule, not a model choice. We believe these revisions strengthen the paper while preserving its scope and conclusions.
read point-by-point responses
-
Referee: Sign-of-exponent inconsistency in eqs. (6.19)/(6.20) and (6.52)/(6.53). Differentiating K=(μ²/2)(TT̄)^{1/k} gives K_{TT̄}=(μ²/(2k²))(TT̄)^{-(k-1)/k}, not (TT̄)^{-(k+1)/k}. Consistency requires K=(μ²/2)(TT̄)^{-1/k}; the same flip is needed in (6.52) and (6.53).
Authors: The referee is correct, and we thank them for the careful check. Direct computation indeed gives ∂_T∂_{T̄}[(μ²/2)(TT̄)^{-1/k}] = (μ²/(2k²))(TT̄)^{-(k+1)/k}, which is the exponent stated in (6.20). The downstream metrics (6.28), (6.37), the field redefinitions (6.34), (6.43), the Einstein-frame Lagrangians, and the identification with KKLTI all assume this corrected K. We will revise the manuscript as follows: (i) eq. (6.19) → K(T,T̄)=(μ²/2)(TT̄)^{-1/k}; (ii) eq. (6.52) exponent of (TT̄) corrected to (2−n)/2; (iii) eq. (6.53) exponent corrected to (n−2)/(2n); and we will also adjust the prefactors in (6.52)–(6.53) accordingly so that the second derivative reproduces (6.28) and (6.37). As the referee notes, this is a local fix that does not affect the identification with KKLTI or any of the conclusions in §6 or §7. revision: yes
-
Referee: The headline claim that 'Palatini gravity with non-minimal scalar coupling has no supergravity embedding' is broader than what is established. §2 actually shows that within the SU(2,2|1) superconformal calculus of [3–5,15], the constraint R_{μν}(P^a)=0 forces ω=ω(e,b,ψ); this refutes the homogeneous Weyl rescaling R̂=−(N/Ω)R used in [25] but does not exhaust alternative off-shell auxiliary structures (new-minimal, 20+20, superspace beyond footnote 1).
Authors: We accept this point. Our argument is, strictly, a no-go within the standard old-minimal SU(2,2|1) superconformal calculus of [3,4,5,15] coupled to chiral multiplets, where boson–fermion balance is enforced precisely by R_{μν}(P^a)=0 and consequently ω=ω(e,b,ψ). We have not analysed new-minimal, 20+20, or fully superspace formulations, and we agree it is in principle possible that an alternative off-shell structure could redistribute the constraints differently. We will rephrase the abstract ("...has no supergravity embedding" → "...has no embedding in the standard SU(2,2|1) supergravity calculus of [3,4,15]") and the closing paragraph of Appendix B to scope the statement accordingly. We will add a sentence noting that we make no claim about new-minimal or non-standard auxiliary-field formulations, and that the obstruction we exhibit is specifically that the off-shell counting which fixes ω(e,b,ψ) is incompatible with treating the affine connection as Palatini-independent within this calculus. The criticism of the rescaling R̂=−(N/Ω)R used in [25] is unaffected by this rescoping, since [25] works within the same calculus. revision: yes
-
Referee: The contrast between α=1/(6ξ) (this work) and α=1+1/(6ξ) ([16,17]) is the central phenomenological claim, but it is not articulated which physical input distinguishes them beyond the ordering K→K_E→K_J vs K_J→K_E. The claim that the new construction is the 'natural' supergravity choice would be strengthened by showing that the [16,17] choice cannot be reproduced by any K(z,z̄), or by exhibiting that K and explaining why it is excluded.
Authors: We agree the framing deserves to be sharpened, and we will expand §7 (and slightly Appendix A) to do so. The point is not that the old [16,17] construction lies outside supergravity — it does not, and indeed Appendix A exhibits the K(Φ,Φ̄)=−3 log Ω(Φ,Φ̄) with Ω given by (A.1) that reproduces it. Rather, the distinction is which datum is taken as fundamental. In supergravity the Kähler potential K(z,z̄) is the geometric input: the Einstein-frame kinetic term is K_{z z̄}, the F-term potential is built from K, and superconformal gauge-fixing then determines the Jordan-frame kinetic function (g_J)_{z z̄}=ΩK_{z z̄}−3Ω_z Ω_{z̄}/Ω as a derived object. The [16,17] choice instead specifies K_J(ϕ) directly (e.g. K_J=1) and back-solves for K_E, which forces the non-geometric K of (A.1)–(A.2) — a Kähler potential whose only role is to undo the chosen K_J. We will make this explicit in §7 by (i) writing the K(z,z̄) corresponding to (A.1) as the unique K reproducing K_J=1 at the slice, (ii) noting that this K has no independent geometric motivation, and (iii) emphasizing that α=1/(6ξ) follows once one fixes K to be the standard hyperbolic (or polynomial) Kähler potential of α-attractors. Thus the difference is a selection rule on the Kähler geometry, not merely a model choice, and the r→0 vs r→12/N² dichotomy reflects which geometry is held fixed at strong coupling. revision: yes
Circularity Check
Equivalences ξ=1/(6α) and ξ=k²/μ² are algebraic identifications of coefficients between two chosen Kähler metrics; otherwise the derivation rests on standard superconformal calculus, not on self-citation chains.
specific steps
-
renaming known result
[§6.1, eqs. (6.1), (6.8), (6.15)–(6.18)]
"we can choose ... g_{TT̄} = 1/(2ξ) · 1/(T+T̄)^2 ... L_E/√−g = R/2 − 1/(2ξ) ∂T∂T̄/(T+T̄)^2 − V_E. ... It is easy to see that the theory of new ξ-attractors in the Einstein gauge in the form (6.15) coincides with the α-attractors in eq. (6.2) under condition that ξ = 1/(6α)."
Both metrics are of the form c/(T+T̄)^2 with c=3α in the α-attractor case (eq. 6.1) and c=1/(2ξ) in the new construction (eq. 6.8). Equating the two by hand gives ξ=1/(6α) algebraically. The 'finding' is a coefficient match between two ansätze chosen by the author, not an independent prediction.
-
renaming known result
[§6.2, eqs. (6.19)–(6.20), (6.27)–(6.30), (6.36)]
"Here we replace (k+1)/k in eq. (6.20) by n/2 and μ^2/k^2 by 1/ξ and the Kähler metric follows g_{TT̄} = 1/(2ξ) · 1/(TT̄)^{n/2}. ... new polynomial ξ-attractors ... are equivalent to a general KKLTI-type attractor [26–28] defined by (μ,k) under condition that k = 2/(n−2), μ^2 = k^2/ξ, n = 2(k+1)/k > 2."
The map between (n,ξ) and (k,μ) is constructed by literally substituting one parametrization of the Kähler metric exponent and prefactor into the other ("replace (k+1)/k by n/2 and μ^2/k^2 by 1/ξ"). The 'equivalence with KKLTI' is therefore identical, by construction, to the substitution made; it is a renaming of the same Einstein-frame Lagrangian in two coordinate/parameter conventions.
-
ansatz smuggled in via citation
[§7, eq. (7.7) and surrounding text]
"using the process in eq. (7.5) we came up, naturally, to a choice of ξ-attractors relation to exponential and polynomial α-attractors under condition that α = 1/(6ξ)."
The 'natural' arrival at α=1/(6ξ) follows automatically from the author's choice of K (and hence g_{TT̄}) in §6, which was selected precisely to reproduce the α-attractor kinetic term up to a scalar factor. Calling the resulting coefficient identification a derived relation overstates its content beyond a parametrization choice; however, the paper does state explicitly that the two are 'different gauges of the superconformal theory', mitigating the circularity.
full rationale
The paper's central technical content is two algebraic results: (i) a new family of Jordan-frame supergravities defined by Ω=1+ξ(TT̄)^{n/2} together with a hand-picked Kähler metric g_{TT̄}=1/(2ξ(T+T̄)²) (or its polynomial analogues) is, in the Einstein gauge, equivalent to existing α-attractors / KKLTI models, and (ii) Palatini-type SUGRA with metric-independent affine connection is incompatible with the SU(2,2|1) superconformal gauge-fixing of [3,4,5,15]. Result (ii) is supported by genuinely external, decades-old superconformal-calculus results [6–13,15] (the constraint R_{μν}(P^a)=0 forcing ω=ω(e,b,ψ) is textbook). The self-citations [3,4,5] add the matter-coupled construction but the load-bearing geometric content is the standard Weyl-multiplet constraint structure, which is independently verifiable. So this is not a self-citation circularity in the sense the rubric targets; the at-most weakness is scope (the no-go is tight only for that gauge-fixing route), which is a correctness/completeness concern, not a circularity one. Result (i) has a mild "renaming" flavor: in §6.1 the author chooses g_{TT̄}=1/(2ξ(T+T̄)²) (eq. 6.8) and Ω=1+ξTT̄ and then "finds" that this is equivalent to α-attractors with K=−3α log(T+T̄), g_{TT̄}=3α/(T+T̄)² provided ξ=1/(6α) (eq. 6.18). Since both metrics are of the form const/(T+T̄)², equating coefficients gives 6αξ=1 by construction; the "discovery" is the matching of two prefactors picked by the author. The polynomial case (§6.2) is analogous: g_{TT̄}=1/(2ξ(TT̄)^{n/2}) is matched to the KKLTI K-metric μ²/(2k²)(TT̄)^{−(k+1)/k}, yielding ξ=k²/μ² and n=2(k+1)/k by coefficient/exponent identification (eqs. 6.20, 6.27, 6.36). The paper is largely candid about this — it explicitly says these are "different gauges of the superconformal theory under conditions (1.5) and (1.6)" — so the framing is honest, but the abstract still presents the relations as findings rather than tautologies of the chosen ansatz. Net: one moderate "renaming-of-known-result-via-ansatz-matching" pattern; no fitted-input-as-prediction; no load-bearing self-citation chain; no smuggled uniqueness theorem. Score 3.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith.Cost.FunctionalEquation (washburn_uniqueness_aczel)washburn_uniqueness unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We presented {\it new supergravity ξ-attractor models with non-minimal coupling to gravity}... ξ-attractors relation to exponential and polynomial α-attractors under condition that α = 1/(6ξ).
-
IndisputableMonolith.Foundation.PhiForcingphi_forced unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Ω = 1 + ξ(T T̄)^{n/2}, ξ = k²/μ², n = 2(k+1)/k > 2 or n = 2k/(2+k) < 2
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
-
New Exponential and Polynomial $\xi$-attractors
New family of ξ-attractors yields ns in the interval 1-2/N ≤ ns < 1-1/N with r approaching zero as ξ grows large, plus a supergravity embedding.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.