Anti-de Sitter, plane waves and quantum field theory

Ugo Moschella

REVIEW 4 major objections 4 minor 17 references

Anti-de Sitter, plane waves and quantum field theory

T0 review · 4 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The AdS scalar two-point function can be written as an integral of plane waves over a relative homology cycle, giving a covariant momentum-space picture that was previously missing.

desk verdict A genuinely new plane-wave representation for AdS scalar Wightman functions, worth taking seriously, but the central integration cycle is asserted rather than proved. read the letter →

arxiv 2509.09257 v1 pith:ECTFVPNI submitted 2025-09-11 hep-th

Ugo Moschella This is my paper · ORCID

classification hep-th

keywords AdSplanewavesWightmanfunctionrelativehomologycycleFeynmanpropagatorLegendrefunctionsBesselWickrotationquantumfieldtheory

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper aims to give anti-de Sitter scalar quantum fields the same tool that plane waves provide in Minkowski and de Sitter spaces: a manifestly covariant integral representation of the two-point Wightman function as a superposition of simple exponentials (z·ζ)^λ. The representation is claimed to hold for all complex mass parameters and in all spacetime dimensions, and it is built on a relative homology cycle that replaces the ordinary momentum-space contour and encodes the topology of the AdS covering. From it the paper derives a new integral representation of the AdS Feynman propagator in Poincaré coordinates, which allows Euclidean and Lorentzian AdS Feynman diagrams to be linked by Wick rotation in concrete examples (banana diagrams). The same expansion yields new identities for Bessel and Legendre functions, including a multiplication formula for Legendre functions of the second kind. If correct, this closes a long-standing gap in the covariant formulation of AdS quantum field theory and opens a direct route to computing loop diagrams in real space.

What carries the argument

The central objects are the AdS plane waves φ_λ^±(z,ζ)=(z·ζ)^λ, defined as globally univalued holomorphic functions on the product of chiral tuboids and chiral cones, together with the relative homology cycle γ(z1) ∈ H_{d-1}(C^-, {ζ: ζ·z1=0}) that makes the integral AdS-invariant and convergent for Re λ > -1. The cycle carries the topological information that distinguishes AdS from dS: a full real-cone cycle overcounts momentum directions and breaks invariance for generic λ. Working in the Poincaré foliation and using the Hankel transform then converts the plane-wave integral into the Feynman-propagator representation (30).

What would settle it

Evaluate the right-hand side of Eq. (22) for a concrete case, say d=2 and λ=0 (or λ=1/2), using an explicit parametrization of a relative cycle γ(z1), and compare with the closed form in Eq. (23): a mismatch for any non-coincident pair z1,z2 would disprove the claimed plane-wave representation. Alternatively, check whether the integral's value is independent of continuous deformations of γ(z1) that keep the endpoints on the zero set; if not, the relative-homology construction fails.

Watch

Extended reading notes

Core claim

The paper establishes that the AdS scalar Wightman function W_λ^{AdS}(z1,z2), holomorphic in the chiral tuboid domain Z^- × Z^+, admits the plane-wave decomposition W_λ^{AdS}(z1,z2) = c_d(λ) ∫_{γ(z1)} (z1·ζ)^λ (z2·ζ)^{1-d-λ} dμ_γ(ζ), where γ(z1) is a relative homology cycle in the punctured chiral cone, and that this integral equals the explicit Legendre-function expression (23). This is the AdS counterpart of the dS plane-wave expansion, with the essential difference being topological: the integration cycle must be relative to the zero set ζ·z1=0 to achieve AdS invariance for generic complex λ. The paper further derives a new integral representation of the Feynman propagator in Poincaré coo

Load-bearing premise

The whole construction rests on the claim that for every z1 and Re λ > -1 there exists a relative homology cycle γ(z1) in the punctured chiral cone, with the integral convergent, independent of the choice of representative, and AdS-invariant; the paper states this but does not give a proof.

Editorial extensions

If this is right

The AdS scalar two-point function now has a momentum-space form as covariant as the Minkowski one, so amplitudes can be written directly in real-space AdS without first going to the Euclidean continuation.
Euclidean banana diagrams in AdS can be Wick-rotated to the Lorentzian Poincaré patch and give identical results, as shown for the one-loop and two-line examples.
The representation yields concrete new identities relating Legendre functions of the second kind to series of associated Legendre functions (Eq. 27), with analogous formulas in general dimension.
Tensorial and spinorial AdS correlation functions can be obtained by applying differential operators to the scalar plane-wave formula.
The paper conjectures, but leaves open, that Witten diagrams integrated over the Poincaré patch are AdS invariant; the mechanism shown for simple diagrams suggests a general proof may be within reach.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the relative-cycle construction is robust, it supplies a natural topological characterization of AdS momentum space: the space of momentum directions is a covering of the complex null cone, and the homology cycle encodes the covering, which may clarify why integer and half-integer mass parameters behave differently.
The propagator representation (30) could be used as a numerical tool: it reduces AdS loop integrals to Minkowski loop integrals with an additional Hankel transform, potentially making higher-loop AdS calculations tractable by computing ordinary massive Minkowski integrals.
The multiplication theorem (27) may be a special case of a larger family of identities connecting Legendre functions on different sheets of the cut plane; the plane-wave representation suggests such identities follow from the invariance of the relative cycle under deformation.
Because the λ -> (1-d-λ) symmetry is broken in AdS (unlike dS), the plane-wave expansion may help identify which values of λ correspond to stable or unitary representations, tying the topological cycle to the admissible mass spectrum.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague, here's my read on arXiv:2509.09257. The headline: this paper has a plausible and potentially important new result — a single-integral plane-wave expansion for AdS scalar Wightman functions, Eqs. (22)–(23), with a manifestly covariant kernel and a Legendre Q-function value. If it holds, it supplies the missing momentum-space tool for AdS QFT and a bridge between Euclidean and Lorentzian Feynman diagrams. The novelty is real: the earlier iϵ attempt by Gary–Giddings–Penedones is different and didn't get the single integral. The Legendre multiplication theorem (27) is a nice byproduct. The Fourier representation (29) and the Feynman propagator representation (30) are substantive, and the banana-diagram Wick rotation is a concrete payoff.

The soft spot is exactly where the stress-test pointed. The load-bearing item is the relative homology cycle γ(z1) in Eq. (22). The paper says that for Re λ > −1 the cycle 'should belong' to H_{d−1}(C^−, {ζ·z1=0}) — that's a hope, not a proof. For generic complex λ the integrand is multivalued; an ordinary relative cycle doesn't fix a branch without a covering or a twisted local-coefficients prescription. The paper itself notes the e^{−4πiλ} monodromy on the full cone, so the issue is real. Without a construction of the cycle and a check that the boundary term at ζ·z1=0 is harmless, Eq. (22) is an unproven central claim. Eqs. (29) and (30) are also announced with 'after some pain' and 'it may be deduced'; the two-line identity is 'can be shown'. For a letter that's compressed, but a referee should ask for the details. I don't think the paper is wrong — the normalization is checked against the known Wightman function and the Klein–Gordon check is explicit — but the current write-up leaves the central machinery at the level of an assertion.

Citation pattern is fine. The paper builds on the author's own dS plane-wave work and AdS analyticity results, which are independent published support. The self-citations are appropriate here.

Who it's for: AdS/CFT practitioners and anyone working on momentum-space representations in curved spacetime. Worth a serious referee: yes. The result is important enough that the gap in the cycle construction should be either fixed or formally treated in a companion paper. I'd recommend sending to peer review, with the request that the author supply the homological details or at minimum a concrete contour prescription for the integral and a proof of the propagator representation. I would not cite it yet in my own work until the cycle issue is closed.

Referee Report

4 major / 4 minor

Summary. The paper proposes a manifestly covariant plane-wave expansion for the Wightman function of a free scalar field in anti-de Sitter spacetime. The central formula, Eq. (22), represents the AdS two-point function as an integral over a relative homology cycle in a chiral null cone of products of the new AdS plane waves (z·ζ)^λ, and Eq. (23) evaluates this integral in terms of a Legendre Q-function. From this representation the author derives an integral representation of the Feynman propagator in a Poincaré patch, Eq. (30), discusses its relation to Euclidean AdS diagrams, and exhibits new identities for Legendre and Bessel functions. The paper is a letter and is largely organized around the claimed validity of Eq. (22).

Significance. If the central plane-wave expansion is established, it would be a substantive contribution: it would fill a long-standing gap in manifestly covariant momentum-space descriptions of AdS quantum fields, provide a new integral representation for the AdS Feynman propagator, and explain the relation between Euclidean and Lorentzian AdS diagrams in explicit examples. The paper also contains a number of concrete, checkable special-function identities. However, the central formula is not proved at the advertised level of rigor: the construction of the relative homology cycle is asserted rather than demonstrated, and the analyticity and branch issues for generic complex λ are not resolved. The strength of the paper's conclusions therefore currently rests on an unverified topological/analytic assumption.

major comments (4)

[Eqs. (21)-(23)] The central identity (22)-(23) is load-bearing and is not established. The cycle γ(z1) is introduced only by the statement that for Re λ > -1 it 'should belong' to a relative homology class in H_{d-1}(C−, {ζ:ζ·z1=0}). No proof is given that such a cycle exists, that the integral converges, that the result is independent of the representative and of z1, or that it is AdS-invariant. Moreover, for generic complex λ the integrand (z1·ζ)^λ(z2·ζ)^{1-d-λ} is multivalued; an ordinary relative homology cycle does not select a branch. A twisted relative homology construction or an explicit covering must be specified, and the boundary contribution at ζ·z1=0 must be analyzed. Since Eq. (23), Eq. (25), and all subsequent applications depend on Eq. (22), this missing proof is a major obstacle.
[Eq. (25)] The odd-dimensional formula (25) is announced without derivation. It cannot be obtained by simply substituting d=2n+1 into Eq. (22) because the prefactor in (22) contains 1/cos(πd/2), which vanishes for odd d. The author does not explain how the logarithmic term arises as a limit or regulated version of the relative-cycle integral, nor which branch of the logarithm is used. Since AdS3 and AdS5 are the physically most relevant odd-dimensional cases, this is not a minor omission.
[Eqs. (29)-(30)] The Feynman propagator representation (30) is deduced from Eq. (29), but the deduction is only described as 'after some pain'. The paper does not show the Fourier transform calculation or the analytic continuation that turns the Wightman function into the Feynman propagator; in particular, the iε prescription and the contour deformation are not specified. This matters because the advertised applications to Wick rotation of Euclidean diagrams rely on (30). A complete proof or a reference with the full calculation is needed.
[Diagrammatic applications, after Eq. (33)] The two-line diagram identity below Eq. (33) is asserted to be 'shown at first for p²>0' by using Eq. (23) and the Euclidean version of Eq. (30), but the actual verification is not presented. Since the coincidence of Euclidean and Lorentzian banana diagrams is one of the main claimed applications, the reader cannot check the argument from the letter as written. The one-line integral (32) is explicit and helpful, but the two-line case needs a detailed derivation or a clear reference.

minor comments (4)

[Throughout] There are numerous typographical and formatting issues: missing spaces ('dimensiond', 'AdSd'), inconsistent accents ('Poincar´ e' vs 'Poincaré'), and 'Bunch-Davis' should probably be 'Bunch-Davies'. These should be corrected in a revision.
[Eq. (24)] The shadow representation (24) is said to follow from (22) by letting z2 tend to the boundary. This limiting procedure is not explained; either provide the derivation or state it as a conjecture.
[Eq. (27)] The multiplication theorem (27) is called 'perhaps unknown'. The author should either provide a proof or a precise reference; the domain of validity in x and λ should also be stated.
[End of paper] The final conjecture about Witten diagrams is clearly labelled as open, which is appropriate. However, the wording could be tightened to distinguish proved statements from conjectural ones in the diagrammatic section.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the plane-wave expansion is a consistency-checked representation of known AdS Wightman functions, not a prediction from fitted inputs.

full rationale

The paper's central identity (22)-(23) proposes an integral representation of the known AdS scalar Wightman function. The coefficient in (22) is fixed by 'canonical normalization' to match the standard Q-function expression (23); this is a consistency check for a representation, not a derivation of the target from itself. No free parameter is fitted to data, and no prediction reduces to an input. The reliance on the author's prior work [5] for global analyticity and uniqueness of two-point functions is background: it identifies the object being represented, but the plane-wave expansion itself is not forced by that citation, and the cited theorem is an external published result with proofs. The unproved relative-homology cycle γ(z1) in Eq. (22) is a mathematical rigor gap, not a circular step; it does not make the formula equivalent to its assumptions by construction. Eq. (30) is deduced from Eq. (29) and verified via (31) using standard Hankel inversion; it does not assume the conclusion. New special-function identities such as (27) follow from equating representations, which is a legitimate operation. Overall, the derivation chain is self-contained and non-circular, with only minor background self-citations that are not load-bearing in a circular sense.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No numbers are fitted to data; the mass parameter λ is a physical input. The main load-bearing assumptions are the analyticity structure from prior work and, most importantly, the unproved relative homology cycle construction. No new physical entities are introduced; the AdS plane waves are mathematical tools, not new particles or forces.

assumptions (4)

domain assumption The two-point function of AdS scalar fields is the boundary value of a function holomorphic in eZ− × eZ+, following the analyticity structure established in [5].
The paper relies on [5] for the global analyticity of AdS correlation functions; the plane-wave construction is defined on the covering chiral tuboids and loses its domain if this fails.
ad hoc to paper For Re λ > -1, there exists a relative homology cycle γ(z1) in H_{d-1}(C−, {ζ:ζ·z1=0}) such that the integral in (22) is convergent, independent of the choice of cycle, and AdS-invariant.
This is asserted near Eq. (22) without proof; it is central to the normalization and invariance of the expansion, and it is the weakest premise in the derivation.
domain assumption The de Sitter two-point function representation (10) and its evaluation as a Legendre function (11) are valid.
Used as the analog starting point and for comparison; taken from the author's prior work [1,2].
standard math The inverse Hankel transform theorem of Bateman-Erdélyi [12] applies to the integrals in (29)-(31).
Used in Eq. (31) to show that the proposed Feynman propagator has the correct delta-function normalization.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Anti-de Sitter, plane waves and quantum field theory." pith.science (2026). https://pith.science/paper/ECTFVPNI

@misc{pith2026250909257,
  author       = {Pith},
  title        = {Pith review of: Anti-de Sitter, plane waves and quantum field theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ECTFVPNI}},
  note         = {Machine review of arXiv:2509.09257}
}

read the original abstract

We present a new plane-wave expansion of the Wightman functions of anti de Sitter scalar fields and showcase its conceptual and technical importance in AdS quantum field theory. We deduce from it a new integral representation of the Feynman propagator which helps in clarifying the relation between AdS Euclidean and Lorentzian Feynman diagrams in concrete examples. The plane-wave expansion makes it possible also to demonstrate numerous new nontrivial formulas for Bessel and Legendre functions, and we provide two examples.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 1 linked inside Pith

[1]

J. Bros, U. Moschella and J. P. Gazeau, Phys. Rev. Lett. 73, 1746-1749 (1994)

1994
[2]

Bros and U

J. Bros and U. Moschella, Rev. Math. Phys. 8, 327 ( 1996)

1996
[3]

S. J. Avis, C. J. Isham and D. Storey, Phys. Rev. D18, 3565 (1978)

1978
[4]

Breitenlohner and D

P. Breitenlohner and D. Z. Freedman, Annals Phys.144, 249 (1982)

1982
[5]

J. Bros, H. Epstein and U. Moschella, Commun. Math. Phys.231, 481-528 (2002)

2002
[6]

PCT, spin and statistics, and all that,

R. F. Streater and A. S. Wightman, “PCT, spin and statistics, and all that,” Princeton Univ. Press (2000)

2000
[7]

Osterwalder and R

K. Osterwalder and R. Schrader, Commun. Math. Phys. 31, 83-112 (1973)

1973
[8]

Cacciatori, V

S. Cacciatori, V. Gorini, A. Kamenshchik and U. Moschella, Class. Quant. Grav.25, 075008 (2008)

2008

Show all 17 references

[9]

G. W. Gibbons, [arXiv:1110.1206 [hep-th]]

arXiv
[10]

M. Gary, S. B. Giddings and J. Penedones, Phys. Rev. D 80, 085005 (2009)

2009
[11]

Bertola, J

M. Bertola, J. Bros, V. Gorini, U. Moschella and R. Scha- effer, Nucl. Phys. B581, 575-603 (2000)

2000
[12]

and Erd´ elyi, A

Bateman, H. and Erd´ elyi, A. (1954) Tables of Integral Transforms, Vol. II. McGraw-Hill, New York

1954
[13]

Leonhardt, W

T. Leonhardt, W. Ruhl and R. Manvelyan, J. Phys. A 37, 7051 (2004)

2004
[14]

Penedones, JHEP 03 (2011), 025 5

J. Penedones, JHEP 03 (2011), 025 5

2011
[15]

M. S. Costa, V. Gon¸ calves and J. Penedones, JHEP09, 064 (2014)

2014
[16]

S. L. Cacciatori, H. Epstein and U. Moschella, JHEP08, 109 (2024)

2024
[17]

Maldacena, D

J. Maldacena, D. Simmons-Duffin and A. Zhiboedov, JHEP01, 013 (2017)

2017

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.

[1] [1]

J. Bros, U. Moschella and J. P. Gazeau, Phys. Rev. Lett. 73, 1746-1749 (1994)

1994

[2] [2]

Bros and U

J. Bros and U. Moschella, Rev. Math. Phys. 8, 327 ( 1996)

1996

[3] [3]

S. J. Avis, C. J. Isham and D. Storey, Phys. Rev. D18, 3565 (1978)

1978

[4] [4]

Breitenlohner and D

P. Breitenlohner and D. Z. Freedman, Annals Phys.144, 249 (1982)

1982

[5] [5]

J. Bros, H. Epstein and U. Moschella, Commun. Math. Phys.231, 481-528 (2002)

2002

[6] [6]

PCT, spin and statistics, and all that,

R. F. Streater and A. S. Wightman, “PCT, spin and statistics, and all that,” Princeton Univ. Press (2000)

2000

[7] [7]

Osterwalder and R

K. Osterwalder and R. Schrader, Commun. Math. Phys. 31, 83-112 (1973)

1973

[8] [8]

Cacciatori, V

S. Cacciatori, V. Gorini, A. Kamenshchik and U. Moschella, Class. Quant. Grav.25, 075008 (2008)

2008