REVIEW 3 major objections 3 minor 25 references
A Note on the AdS/CFT Equivalence Transformation for Galileons in General Dimensions
T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read In odd dimensions, the AdS galileon tadpole is not a Wess-Zumino term.
desk verdict The odd-dimensional Wess-Zumino resolution is a real question, but the central identity (2.13) does not follow from the displayed equations and needs a corrected derivation before the paper can be trusted. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machine is the matrix $(D\Lambda)^\mu_{\ \nu} = \hat g^{\mu\rho}D_\rho\Lambda_\nu$, built from the brane's extrinsic curvature, together with the symmetric polynomials $S_n[M]$ of a $D\times D$ matrix. Under the AdS/CFT equivalence transformation the matrix maps as $D\xi = D\Lambda/(1+L^2 D\Lambda)$, and the volume element picks up the determinant $\det(1+L^2 D\Lambda)$. Combining these with the shifting and determinant identities for $S_n$ turns every symmetric polynomial on one side into a finite sum of symmetric polynomials on the other; the tadpole identity (2.13) is the candidate non-polynomial term fed through this same machinery, which decides whether it is a genuine Wess-Zumino term or not.
What would settle it
Recompute (3.7) directly in a low odd dimension such as $D=3$: substitute the inverse map into $L^{-D}\frac{1}{D}e^{D\phi}$, include the full Jacobian determinant, and compare term by term with the right-hand side. Any mismatch of coefficients, especially the $n=D$ term, would falsify (2.13) and undo the odd-dimensional resolution.
Extended reading notes
Core claim
The central claim is identity (2.13): for odd $D$, $L^{-D}\frac{1}{D}e^{D\phi}$ equals $\sqrt{-\hat g}\sum_{n=0}^{D}\frac{n!}{D}(1-\tfrac{D}{2})_n L^{2n-D}S_n[D\Lambda]$ up to total derivatives, where $S_n$ are the symmetric polynomials of the matrix built from the brane's extrinsic curvature. Since these polynomials are the standard invariant building blocks of the AdS realisation, the tadpole term is not a Wess-Zumino term in odd $D$. The same direct transformation (3.7), carried out in even $D$, has a divergence at $n=D/2$; taking the finite part after stripping the factor $(D-2n)$ reproduces the Weyl Wess-Zumino term. Thus the paper resolves the odd-dimensional puzzle and establishes that Wess-Zumino character is an even-dimensional phenomenon, matching the count of galileons on the Weyl side.
Load-bearing premise
The load-bearing premise is the unshown algebraic identity behind (3.7): after the field redefinition, the AdS tadpole term expands exactly into the claimed sum of symmetric polynomials with coefficients $(-1)^n/(D-2n)\,L^{2n-D}S_n[D\xi]$.
Editorial extensions
If this is right
- Up to total derivatives, the odd-dimensional AdS tadpole is an ordinary invariant built from symmetric polynomials, so the full set of AdS galileons in odd $D$ has the same form as the Weyl set.
- In every dimension, the Weyl and AdS galileon realisations are related by the same invertible AdS/CFT field redefinition, with symmetric-polynomial actions mapped by (3.6).
- In even $D$, the Weyl Wess-Zumino term is the finite residue of the divergent middle term in the direct transformation of the tadpole, so the single Wess-Zumino galileon is realization-independent.
- The absence of a Wess-Zumino term in odd $D$ is consistent with the absence of conformal anomalies in odd dimensions, because the Weyl Wess-Zumino term is tied to the $a$-type anomaly.
Reading between the lines
- Check the coefficient pattern explicitly in $D=3$ and $D=5$, where (2.13) is a short sum; a direct expansion would test the unshown computation behind (3.7) without relying on the general proof.
- The same ratio-symmetric coefficient structure might be derivable purely from the symmetric-polynomial identities plus the map (3.5), which would turn the unshown computation into a theorem; the paper does not attempt this.
- If the equivalence is S-matrix preserving as claimed, the odd-dimensional tadpole term can be reinterpreted as a boundary-type Lovelock contribution, which may change how holographic RG-flow actions are counted in odd $D$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends the Bellucci–Ivanov–Krivonos AdS/CFT equivalence transformation to the galileon bases of the Weyl-dilaton and AdS-brane realizations in general spacetime dimension D. After reviewing the symmetric-polynomial bases from the coset construction, the authors claim that the odd-D 'puzzle' of the AdS tadpole term is resolved by Eq. (2.13), which expresses L^{-D}(1/D)e^{D\phi} as a combination of symmetric polynomials S_n[D\Lambda], so that no Wess–Zumino term exists in odd D. For even D they use the direct transformation (3.7) and the prescription (3.8) to map the tadpole onto the middle Weyl galileon. The central new result is the odd-D identity (2.13).
Significance. If Eq. (2.13) were correct, the note would establish a clean all-dimensions statement: the two realizations of the galileon EFT are equivalent, with Wess–Zumino terms appearing only in even D. The paper is clearly written, the four-dimensional map is reviewed carefully, and the symmetric-polynomial technology is appropriate. However, the central odd-D identity is not only underived but, on direct expansion, incorrect; the main claimed resolution therefore fails. The paper could still be useful as a review of the known D=4 map, but its advertised extension to general D is not supported.
major comments (3)
- [§3, Eqs. (3.6), (3.7), (2.13)] Eq. (2.13) is stated to follow from Eq. (3.7) by applying the map (3.6). A term-by-term application gives, for the coefficient of S_m[L^2 D\Lambda], A_m = \sum_{n=0}^m \binom{m}{n} (-1)^n/(D-2n), whereas Eq. (2.13) prints B_m = (m!/D)(1-D/2)_m. For D=3 these disagree already at m=1: A_1 = -2/3 versus B_1 = -1/6, and at m=2: A_2 = -8/3 versus B_2 = -1/6. Thus the claimed derivation does not produce the displayed formula. Since (2.13) is the unique load-bearing result of the odd-D section, this is a serious gap.
- [§2, Eq. (2.13)] Independent of the derivation, the identity is inconsistent with a derivative-counting expansion. With D\Lambda defined in (2.9), a small-field expansion gives S_1[D\Lambda] = \mathrm{tr}\,D\Lambda = -\frac12 \Box\phi + \frac{D}{4}(\partial\phi)^2 + \cdots. The left-hand side of (2.13) has no derivative terms at order \phi^2, while the right-hand side contains (1/D)(1-D/2)L^{2-D} S_1[D\Lambda], whose (\partial\phi)^2 part is not a total derivative. Since no other term in the sum is of the same derivative order for D>2, no choice of the higher coefficients can cancel this term; (2.13) cannot hold as an identity up to total derivatives. This is not a mere normalization issue.
- [§3, Eq. (3.7)] The direct transformation of e^{D\phi} is asserted without displaying the algebra, and the subsequent inconsistency of (2.13) with (3.7) and (3.6) means Eq. (3.7) itself must be checked independently. As it stands, the paper does not provide a verifiable computation for either (3.7) or (2.13), both of which are load-bearing for the claimed odd-D resolution.
minor comments (3)
- [§2, after Eq. (2.13)] The sentence 'we find this using the AdS/CFT equivalence relation transformation rules' is the only derivation offered for the central identity; a displayed calculation is needed, especially since the formula does not follow from the cited equations as written.
- [§1, Eqs. (1.8)–(1.9)] The normalization factors in the four-dimensional Lagrangians differ between (1.8)/(1.9) and the barred versions used later; this is probably intentional but should be stated explicitly to avoid confusion.
- [§2, Eqs. (2.11)–(2.12)] The derivation of the total-derivative identity in even D would benefit from one intermediate line showing how the Lovelock invariant is expressed in terms of S_n[D\Lambda]; the current jump from the invariant to the Pochhammer-weighted sum is hard to verify.
Circularity Check
No circularity found: Eq. (2.13) is presented as a derived consequence of the AdS/CFT map, not assumed as an input, and self-citations are limited to conventions and background.
full rationale
The paper's central claim, Eq. (2.13), is derived in Section 3 from the AdS/CFT equivalence transformation: (3.2) directly transforms e^{D phi} into the combination (3.7), and the symmetric-polynomial map (3.6), itself an algebraic consequence of (3.3)-(3.5), then yields the odd-D reduction. None of these steps assumes the target equality; each is a transformation identity applied to a known function. The even-D statement (2.12) is obtained from the Lovelock identity (2.11), which is computed explicitly in the text, not imported from a self-citation. Self-citations to [1] and [5] are used for conventions and for the coset-construction background that the galileon basis consists of symmetric polynomials; they are not invoked as a uniqueness theorem to force the odd-D result, and the central algebra is otherwise self-contained. A possible arithmetic mismatch between the coefficients generated by applying (3.6) to (3.7) and those printed in (2.13) would be a correctness concern, not a circularity, and no step in the claimed derivation chain reduces by construction to its own input.
Assumptions & free parameters
assumptions (5)
- domain assumption The galileon terms in D dimensions are exactly the symmetric polynomials S_n[D xi] or S_n[D Lambda] (n=0..D for odd D; with middle WZ term for even D).
- domain assumption The AdS/CFT equivalence transformation (3.1)-(3.2) is invertible and local order-by-order in field expansion.
- domain assumption The dimensional continuation definition of the Wess-Zumino term (2.7) and the substitution (3.8) is the correct regularization.
- standard math Properties of symmetric polynomials (2.4) and (2.5), including the shifting and determinant identities.
- standard math The Gauss-Codazzi relation (1.6) expressing the intrinsic curvature of the brane in terms of extrinsic curvature.
Cite this review
Pith. "Pith review of A Note on the AdS/CFT Equivalence Transformation for Galileons in General Dimensions." pith.science (2026). https://pith.science/paper/EIFLTIJQ
@misc{pith2026250722970,
author = {Pith},
title = {Pith review of: A Note on the AdS/CFT Equivalence Transformation for Galileons in General Dimensions},
year = {2026},
howpublished = {\url{https://pith.science/paper/EIFLTIJQ}},
note = {Machine review of arXiv:2507.22970}
}
read the original abstract
The AdS/CFT equivalence transformation is a field redefinition that relates the Weyl dilaton and AdS brane realizations of broken conformal symmetry. Acting on theories with second order equations of motion, it maps the conformal galileons to the DBI galileons for a flat brane probing an AdS bulk. Here we extend this map to arbitrary dimensions and resolve an apparent puzzle regarding the Wess-Zumino terms in odd dimensions.
Reference graph
Works this paper leans on
-
[1]
Equivalence of EFTs and Time-Like Extra Dimensions
K. Hinterbichler and S. Saha, “Equivalence of EFTs and timelike extra dimensions,” Phys. Rev. D 109 (2024) no. 6, 065019, arXiv:2312.02262 [hep-th]
work page Pith review arXiv 2024
-
[2]
Symmetries for Galileons and DBI scalars on curved space,
G. Goon, K. Hinterbichler, and M. Trodden, “Symmetries for Galileons and DBI scalars on curved space,” JCAP 07 (2011) 017, arXiv:1103.5745 [hep-th]
arXiv 2011
-
[3]
A New Class of Effective Field Theories from Embedded Branes,
G. Goon, K. Hinterbichler, and M. Trodden, “A New Class of Effective Field Theories from Embedded Branes,” Phys. Rev. Lett. 106 (2011) 231102, arXiv:1103.6029 [hep-th]
arXiv 2011
-
[4]
M. Trodden and K. Hinterbichler, “Generalizing Galileons,” Class. Quant. Grav. 28 (2011) 204003, arXiv:1104.2088 [hep-th]. 10
arXiv 2011
-
[5]
Galileons as Wess-Zumino Terms,
G. Goon, K. Hinterbichler, A. Joyce, and M. Trodden, “Galileons as Wess-Zumino Terms,” JHEP 06 (2012) 004, arXiv:1203.3191 [hep-th]
arXiv 2012
-
[6]
AdS/CFT Equivalence Transformation
S. Bellucci, E. Ivanov, and S. Krivonos, “AdS / CFT equivalence transformation,” Phys. Rev. D 66 (2002) 086001, arXiv:hep-th/0206126. [Erratum: Phys.Rev.D 67, 049901 (2003)]
work page Pith review arXiv 2002
-
[7]
M´ emoires sur les ´ equations diff´ erentielles, relatives au probl` eme des isop´ erim` etres,
M. Ostrogradsky, “M´ emoires sur les ´ equations diff´ erentielles, relatives au probl` eme des isop´ erim` etres,”Mem. Acad. St. Petersbourg 6 (1850) no. 4, 385–517
-
[8]
Ostrogradski formalism for higher derivative scalar field theories,
F. J. de Urries and J. Julve, “Ostrogradski formalism for higher derivative scalar field theories,” J. Phys. A 31 (1998) 6949–6964, arXiv:hep-th/9802115
arXiv 1998
Show all 25 references
-
[9]
DBI and the Galileon reunited,
C. de Rham and A. J. Tolley, “DBI and the Galileon reunited,” JCAP 05 (2010) 015, arXiv:1003.5917 [hep-th]
2010 arXiv
-
[10]
The Einstein tensor and its generalizations,
D. Lovelock, “The Einstein tensor and its generalizations,” J. Math. Phys. 12 (1971) 498–501
1971
-
[11]
Action Integrals and Partition Functions in Quantum Gravity,
G. W. Gibbons and S. W. Hawking, “Action Integrals and Partition Functions in Quantum Gravity,” Phys. Rev. D 15 (1977) 2752–2756
1977
-
[12]
Role of conformal three geometry in the dynamics of gravitation,
J. W. York, Jr., “Role of conformal three geometry in the dynamics of gravitation,” Phys. Rev. Lett. 28 (1972) 1082–1085
1972
-
[13]
Higher Derivative Gravity, Surface Terms and String Theory,
R. C. Myers, “Higher Derivative Gravity, Surface Terms and String Theory,” Phys. Rev. D 36 (1987) 392
1987
-
[14]
Boundary Terms, Variational Principles and Higher Derivative Modified Gravity,
E. Dyer and K. Hinterbichler, “Boundary Terms, Variational Principles and Higher Derivative Modified Gravity,” Phys. Rev. D 79 (2009) 024028, arXiv:0809.4033 [gr-qc]
2009 arXiv
-
[15]
The Galileon as a local modification of gravity,
A. Nicolis, R. Rattazzi, and E. Trincherini, “The Galileon as a local modification of gravity,” Phys. Rev. D 79 (2009) 064036, arXiv:0811.2197 [hep-th]
2009 arXiv
-
[16]
Non-linear Representations of the Conformal Group and Mapping of Galileons,
P. Creminelli, M. Serone, and E. Trincherini, “Non-linear Representations of the Conformal Group and Mapping of Galileons,” JHEP 10 (2013) 040, arXiv:1306.2946 [hep-th]
2013 arXiv
-
[17]
On Renormalization Group Flows in Four Dimensions,
Z. Komargodski and A. Schwimmer, “On Renormalization Group Flows in Four Dimensions,” JHEP 12 (2011) 099, arXiv:1107.3987 [hep-th]. 11
2011 arXiv
-
[18]
The Constraints of Conformal Symmetry on RG Flows,
Z. Komargodski, “The Constraints of Conformal Symmetry on RG Flows,” JHEP 07 (2012) 069, arXiv:1112.4538 [hep-th]
2012 arXiv
-
[19]
On renormalization group flows and the a-theorem in 6d,
H. Elvang, D. Z. Freedman, L.-Y. Hung, M. Kiermaier, R. C. Myers, and S. Theisen, “On renormalization group flows and the a-theorem in 6d,” JHEP 10 (2012) 011, arXiv:1205.3994 [hep-th]
2012 arXiv
-
[20]
RG flows in d dimensions, the dilaton effective action, and the a-theorem,
H. Elvang and T. M. Olson, “RG flows in d dimensions, the dilaton effective action, and the a-theorem,” JHEP 03 (2013) 034, arXiv:1209.3424 [hep-th]
2013 arXiv
-
[21]
Nonlinear realizations of symmetries and unphysical Goldstone bosons,
I. N. McArthur, “Nonlinear realizations of symmetries and unphysical Goldstone bosons,” JHEP 11 (2010) 140, arXiv:1009.3696 [hep-th]
2010 arXiv
-
[22]
Non-linear Realizations of Conformal Symmetry and Effective Field Theory for the Pseudo-Conformal Universe,
K. Hinterbichler, A. Joyce, and J. Khoury, “Non-linear Realizations of Conformal Symmetry and Effective Field Theory for the Pseudo-Conformal Universe,” JCAP 06 (2012) 043, arXiv:1202.6056 [hep-th]
2012 arXiv
-
[23]
Amplitudes and 4D Gauss-Bonnet Theory,
J. Bonifacio, K. Hinterbichler, and L. A. Johnson, “Amplitudes and 4D Gauss-Bonnet Theory,” Phys. Rev. D 102 (2020) no. 2, 024029, arXiv:2004.10716 [hep-th]
2020 arXiv
-
[24]
A new gravitational action for the trace anomaly,
G. Gabadadze, “A new gravitational action for the trace anomaly,” Phys. Lett. B 843 (2023) 138031, arXiv:2301.13265 [hep-th]
2023 arXiv
-
[25]
Weakly-Coupled Trace Anomaly Action for Gravity,
G. Gabadadze and G. Tukhashvili, “Weakly-Coupled Trace Anomaly Action for Gravity,” arXiv:2505.11397 [hep-th]. 12
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.