Recognition: 3 theorem links
· Lean TheoremHow to deal with conformal and pure scale-invariant theories of gravity in d dimensions?
Pith reviewed 2026-05-10 16:26 UTC · model grok-4.3
The pith
Scale and conformal invariance produce distinct gravity theories in dimensions above four.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Imposing invariance under scale transformations or under the full conformal group on gravitational theories in d dimensions gives rise to structures whose properties differ sharply from their four-dimensional analogues, and these theories admit an elegant formulation that makes their study tractable.
What carries the argument
An elegant formulation of the gravitational actions that enforces either pure scale invariance or full conformal invariance while remaining well-defined for arbitrary d.
If this is right
- Scale-invariant and conformally invariant gravity theories become inequivalent once the spacetime dimension exceeds four.
- The higher-dimensional versions require additional care in the choice of curvature invariants to preserve the desired symmetry.
- The elegant formulation makes it possible to derive the field equations and study solutions without encountering the obstructions typical of naive higher-dimensional extensions.
- Results obtained in four dimensions cannot be directly extrapolated to d greater than four without accounting for the new symmetry constraints.
Where Pith is reading between the lines
- The distinction may affect attempts to embed such theories into string or M-theory compactifications on manifolds of dimension greater than four.
- One could test whether the same split between scale and conformal versions appears in matter-coupled or supersymmetric extensions.
- The formulation might simplify the search for exact solutions that are invariant under the respective symmetry groups in d=5 or d=6.
Load-bearing premise
The proposed elegant formulation remains consistent and free of hidden extra constraints when applied to general metrics and curvature terms in d dimensions.
What would settle it
An explicit construction or consistency check performed in five dimensions that either reproduces the four-dimensional behavior or exhibits the claimed new properties would test the central distinction.
read the original abstract
Conformally-invariant and pure, scale-invariant theories of gravity are particularly interesting in four or higher dimensions. Yet, in contrast to their four-dimensional counterparts, theories in higher dimensions are significantly more difficult to study. In these proceedings, following our recent work, we will formulate such theories in d dimensions, present an elegant way to handle them, and show that imposing invariance under scale or conformal transformations gives rise to entirely different properties when compared to their four-dimensional analogues.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript formulates conformally-invariant and purely scale-invariant theories of gravity in arbitrary d dimensions. It presents an elegant handling method for these theories and claims to demonstrate that the resulting properties under scale or conformal invariance differ substantially from the four-dimensional analogues.
Significance. If the formulation is internally consistent and free of unstated constraints, the work would supply a practical framework for analyzing higher-dimensional gravity models that are otherwise intractable. The explicit contrast with d=4 behavior could inform studies of symmetry-protected gravitational dynamics in quantum gravity, cosmology, or modified-gravity scenarios.
major comments (1)
- The central claim rests on the assertion that the proposed d-dimensional formulation is consistent and free of additional hidden constraints on the metric or curvature terms. Explicit verification—e.g., a concrete consistency check or derivation for a specific d>4 case—is required to substantiate this, as the provided abstract and high-level description do not contain the necessary derivations or checks.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive major comment. We address the point below and agree that an explicit verification strengthens the presentation.
read point-by-point responses
-
Referee: The central claim rests on the assertion that the proposed d-dimensional formulation is consistent and free of additional hidden constraints on the metric or curvature terms. Explicit verification—e.g., a concrete consistency check or derivation for a specific d>4 case—is required to substantiate this, as the provided abstract and high-level description do not contain the necessary derivations or checks.
Authors: We thank the referee for highlighting the need for explicit verification. The manuscript develops the general formulation for arbitrary d using a method that ensures the required transformation properties by construction, without introducing unstated constraints. However, we acknowledge that a concrete d>4 example would make this clearer. In the revised version we will add a dedicated subsection deriving the pure scale-invariant action for d=5, explicitly computing the curvature terms, confirming scale invariance of the action, and verifying that the resulting equations of motion remain consistent with no additional metric or curvature constraints beyond those stated in the general setup. This example will also illustrate the structural differences from the d=4 case. revision: yes
Circularity Check
No significant circularity; derivation self-contained
full rationale
The provided abstract and context describe a formulation of scale- and conformally-invariant gravity theories in d dimensions, presented as an extension of prior work with the claim that higher-d properties differ from d=4. No load-bearing step is quoted that reduces a prediction to a fitted input by construction, invokes a self-citation as the sole justification for a uniqueness theorem, or renames a known result as new unification. The central claim rests on the asserted consistency of the new formulation itself rather than on any internal reduction to its own inputs. This matches the default expectation of no circularity (score 0) when the paper remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
pure, scale-invariant gravity... S=β_d ∫ d^d x √-g R^{d/2}
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
conformal gravity in d dimensions... (Weyl-tensor)^{d/4}
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.
Reference graph
Works this paper leans on
-
[1]
Kaluza, Zum Unit¨ atsproblem der Physik, Sitzungsber
T. Kaluza, Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys. )1921, 966-972 (1921) doi:10.1142/S0218271818700017 [arXiv:1803.08616 [physics.hist-ph]]
-
[2]
Klein, Quantum Theory and Five-Dimensional Theory of Relativity, Z
O. Klein, Z. Phys.37, 895-906 (1926) doi:10.1007/BF01397481
-
[3]
N. Arkani-Hamed, S. Dimopoulos and G. R. Dvali, Phys. Rev. D59, 086004 (1999) doi:10.1103/PhysRevD.59.086004 [arXiv:hep-ph/9807344 [hep-ph]]
-
[4]
N. Arkani-Hamed, S. Dimopoulos and G. R. Dvali, Phys. Lett. B429, 263-272 (1998) doi:10.1016/S0370-2693(98)00466-3 [arXiv:hep-ph/9803315 [hep-ph]]
-
[5]
I. Antoniadis, N. Arkani-Hamed, S. Dimopoulos and G. R. Dvali, Phys. Lett. B436, 257-263 (1998) doi:10.1016/S0370-2693(98)00860-0 [arXiv:hep-ph/9804398 [hep-ph]]
-
[6]
A Large Mass Hierarchy from a Small Extra Dimension
L. Randall and R. Sundrum, Phys. Rev. Lett.83, 3370-3373 (1999) doi:10.1103/PhysRevLett.83.3370 [arXiv:hep-ph/9905221 [hep-ph]]
work page internal anchor Pith review doi:10.1103/physrevlett.83.3370 1999
-
[7]
L. Randall and R. Sundrum, Phys. Rev. Lett.83, 4690-4693 (1999) doi:10.1103/PhysRevLett.83.4690 [arXiv:hep-th/9906064 [hep-th]]
-
[8]
M. B. Green, J. H. Schwarz and E. Witten, 1988, ISBN 978-0-521-35752-4
1988
-
[9]
R. Blumenhagen, D. Lüst and S. Theisen, Springer, 2013, ISBN 978-3-642-29496-9 doi:10.1007/978-3-642-29497-6
-
[10]
G. R. Dvali, G. Gabadadze and M. Porrati, Phys. Lett. B485, 208-214 (2000) doi:10.1016/S0370-2693(00)00669-9 [arXiv:hep-th/0005016 [hep-th]]
-
[11]
C. Deffayet, Phys. Lett. B502, 199-208 (2001) doi:10.1016/S0370-2693(01)00160-5 [arXiv:hep-th/0010186 [hep-th]]
-
[12]
C. Deffayet, G. R. Dvali and G. Gabadadze, Phys. Rev. D65, 044023 (2002) doi:10.1103/PhysRevD.65.044023 [arXiv:astro-ph/0105068 [astro-ph]]
-
[13]
C. Deffayet, G. R. Dvali, G. Gabadadze and A. I. Vainshtein, Phys. Rev. D65, 044026 (2002) doi:10.1103/PhysRevD.65.044026 [arXiv:hep-th/0106001 [hep-th]]
-
[14]
C. Deffayet, S. J. Landau, J. Raux, M. Zaldarriaga and P. Astier, Phys. Rev. D66, 024019 (2002) doi:10.1103/PhysRevD.66.024019 [arXiv:astro-ph/0201164 [astro-ph]]
-
[15]
D. Lüst, E. Palti and C. Vafa, Phys. Lett. B797, 134867 (2019) doi:10.1016/j.physletb.2019.134867 [arXiv:1906.05225 [hep-th]]
-
[16]
M. Montero, C. Vafa and I. Valenzuela, JHEP02, 022 (2023) doi:10.1007/JHEP02(2023)022 [arXiv:2205.12293 [hep-th]]
-
[17]
L. A. Anchordoqui, I. Antoniadis and D. Lüst, PoSCORFU2023, 215 (2024) doi:10.22323/1.463.0215 [arXiv:2405.04427 [hep-th]]. 10 How to deal with conformal and pure scale-invariant theories of gravity in d dimensions?Anamaria Hell
-
[18]
A.HellandD.Lüst,JHEP09(2025),202doi:10.1007/JHEP09(2025)202[arXiv:2506.18775 [hep-th]]
-
[19]
S. L. Adler, Rev. Mod. Phys.54, 729 (1982) [erratum: Rev. Mod. Phys.55, 837 (1983)] doi:10.1103/RevModPhys.54.729
-
[20]
G. ’t Hooft, Found. Phys.41, 1829-1856 (2011) doi:10.1007/s10701-011-9586-8 [arXiv:1104.4543 [gr-qc]]
-
[21]
K. S. Stelle, Phys. Rev. D16, 953-969 (1977) doi:10.1103/PhysRevD.16.953
-
[22]
K. S. Stelle, Gen. Rel. Grav.9, 353-371 (1978) doi:10.1007/BF00760427
-
[23]
J. Julve and M. Tonin, Nuovo Cim. B46, 137-152 (1978) doi:10.1007/BF02748637
-
[24]
E. S. Fradkin and A. A. Tseytlin, Nucl. Phys. B201, 469-491 (1982) doi:10.1016/0550- 3213(82)90444-8
-
[25]
G. Dvali, Fortsch. Phys.58, 528-536 (2010) doi:10.1002/prop.201000009 [arXiv:0706.2050 [hep-th]]
-
[26]
G. Dvali and M. Redi, Phys. Rev. D77, 045027 (2008) doi:10.1103/PhysRevD.77.045027 [arXiv:0710.4344 [hep-th]]
-
[27]
G. Dvali and D. Lüst, Fortsch. Phys.58, 505-527 (2010) doi:10.1002/prop.201000008 [arXiv:0912.3167 [hep-th]]
- [28]
-
[29]
G. Dvali, C. Gomez and D. Lüst, Fortsch. Phys.61, 768-778 (2013) doi:10.1002/prop.201300002 [arXiv:1206.2365 [hep-th]]
-
[30]
D. van de Heisteeg, C. Vafa, M. Wiesner and D. H. Wu, Beijing J. Pure Appl. Math.1, no.1, 1-41 (2024) doi:10.4310/bpam.2024.v1.n1.a1 [arXiv:2212.06841 [hep-th]]
-
[31]
N. Cribiori, D. Lüst and G. Staudt, Phys. Lett. B844, 138113 (2023) doi:10.1016/j.physletb.2023.138113 [arXiv:2212.10286 [hep-th]]
-
[32]
J. Calderón-Infante, A. Castellano and A. Herráez, SciPost Phys.19, no.4, 096 (2025) doi:10.21468/SciPostPhys.19.4.096 [arXiv:2501.14880 [hep-th]]
-
[33]
Weyl, Sitzungsber
H. Weyl, Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys. )1918, 465 (1918)
1918
-
[34]
Weyl, Annalen Phys.59, 101-133 (1919) doi:10.1002/andp.19193641002
H. Weyl, Annalen Phys.59, 101-133 (1919) doi:10.1002/andp.19193641002
-
[35]
Ostrogradsky, Mem
M. Ostrogradsky, Mem. Acad. St. Petersbourg6, no.4, 385-517 (1850)
- [36]
-
[37]
G. Anastasiou and R. Olea, Phys. Rev. D94, no.8, 086008 (2016) doi:10.1103/PhysRevD.94.086008 [arXiv:1608.07826 [hep-th]]. 11 How to deal with conformal and pure scale-invariant theories of gravity in d dimensions?Anamaria Hell
-
[38]
G. Anastasiou, I. J. Araya and R. Olea, JHEP01, 134 (2021) doi:10.1007/JHEP01(2021)134 [arXiv:2010.15146 [hep-th]]
-
[39]
A. Hell, D. Lüst and G. Zoupanos, JHEP08, 168 (2023) doi:10.1007/JHEP08(2023)168 [arXiv:2306.13714 [hep-th]]
-
[40]
A. Hell, D. Lüst and G. Zoupanos, JHEP02, 039 (2024) doi:10.1007/JHEP02(2024)039 [arXiv:2311.08216 [hep-th]]
-
[41]
L.Alvarez-Gaume,A.Kehagias,C.Kounnas,D.LüstandA.Riotto,Fortsch.Phys.64,no.2-3, 176-189 (2016) doi:10.1002/prop.201500100 [arXiv:1505.07657 [hep-th]]
-
[42]
A.Golovnev,Ukr.J.Phys.69,no.7,456(2024)doi:10.15407/ujpe69.7.456[arXiv:2405.14184 [gr-qc]]
-
[43]
G. K. Karananas, Phys. Rev. D111, no.4, 044068 (2025) doi:10.1103/PhysRevD.111.044068 [arXiv:2407.09598 [hep-th]]
- [44]
-
[46]
J. M. Bardeen, Phys. Rev. D22, 1882-1905 (1980) doi:10.1103/PhysRevD.22.1882
-
[47]
V. F. Mukhanov, H. A. Feldman and R. H. Brandenberger, Phys. Rept.215, 203-333 (1992) doi:10.1016/0370-1573(92)90044-Z
-
[48]
P. Teyssandier and P. Tourrenc, J. Math. Phys.24, 2793 (1983) doi:10.1063/1.525659
-
[49]
B. Whitt, Phys. Lett. B145, 176-178 (1984) doi:10.1016/0370-2693(84)90332-0
-
[50]
J. D. Barrow and S. Cotsakis, Phys. Lett. B214, 515-518 (1988) doi:10.1016/0370- 2693(88)90110-4
-
[51]
D.Wands,Class.Quant.Grav.11,269-280(1994)doi:10.1088/0264-9381/11/1/025[arXiv:gr- qc/9307034 [gr-qc]]
-
[52]
A.HellandD.Lüst,JHEP12,091(2025)doi:10.1007/JHEP12(2025)091[arXiv:2509.20217 [hep-th]]
-
[53]
N. Boulanger and J. Erdmenger, Class. Quant. Grav.21(2004) no.18, 4305-4316 [erratum: Class. Quant. Grav.39(2022) no.3, 039501] doi:10.1088/0264-9381/21/18/003 [arXiv:hep- th/0405228 [hep-th]]
-
[54]
G. Paci and O. Zanusso, JHEP03(2025), 111 doi:10.1007/JHEP03(2025)111 [arXiv:2411.03842 [hep-th]]
-
[55]
C. van de Bruck, M. Dorca, R. H. Brandenberger and A. Lukas, Phys. Rev. D62, 123515 (2000) doi:10.1103/PhysRevD.62.123515 [arXiv:hep-th/0005032 [hep-th]]. 12 How to deal with conformal and pure scale-invariant theories of gravity in d dimensions?Anamaria Hell
-
[56]
A. Hell, E. G. M. Ferreira, D. Lüst and M. Sasaki, JHEP03, 235 (2026) doi:10.1007/JHEP03(2026)235 [arXiv:2601.10288 [hep-th]]. 13
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.