REVIEW 3 major objections 5 minor 40 references
The paper claims that parity-odd spin-1 harmonic functions in AdS3, related to parity-even ones by a Chern-Simons operator *d, yield explicit position-space propagators for Chern-Simons theories and their boundary holographic current correl
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-03 17:52 UTC pith:XUU5GX2V
load-bearing objection Solid, useful paper: parity-odd AdS3 spin-1 harmonics and explicit Chern-Simons propagators with split representations; the PV prescription needs a proper derivation, but the core construction holds up. the 3 major comments →
Chern-Simons propagators in AdS₃
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On the space of divergence-free one-forms on AdS3, the Chern-Simons operator D = *d squares to the Laplacian. Acting on the transverse parity-even spin-1 harmonics Ω(e), D produces a previously unknown parity-odd family Ω(o), with D Ω(e) = Ω(o) and D Ω(o) = ν² Ω(e). The combination Ξ = Ω(e) + (1/ν)Ω(o) is therefore a simultaneous eigenfunction of the Laplacian and D, and these Ξ functions form a complete basis for transverse vector propagators. The paper uses this basis to solve the covariant-gauge propagator equation for pure abelian Chern-Simons theory, obtaining the explicit position-space Green function Gμν = (1/4π) ερσμ (∂u/∂xρ)(∂²u/∂xσ∂yν) (u+1)/(u(u+2))^{3/2}. Its boundary limit gives
What carries the argument
The Chern-Simons operator Dαβ(...) = εασβ ∇σ(...), the Hodge-dual of the exterior derivative acting on one-forms. On divergence-free one-forms in AdS3, D² equals the (shifted) Laplacian, so D relates parity-even and parity-odd harmonic functions and lets the paper build simultaneous eigenfunctions of the Laplacian and D. This operator is the central mechanism that turns known parity-even spectral representations into explicit parity-odd propagators.
Load-bearing premise
The principal-value prescription for the 1/ν spectral integrals is assumed to encode the correct boundary condition, but it is not derived from an explicit iε prescription or a stated boundary condition for the propagator.
What would settle it
Compute the boundary limit of the bulk-to-bulk propagator with a different pole prescription (e.g., explicit iε or a Dirichlet boundary condition) and check whether the parity-even part vanishes and whether the boundary current two-point function remains (3.10). If a non-zero parity-even term or a different correlator appears, the PV choice is not the physical one and (3.4) would need modification.
If this is right
- If correct, the pure abelian Chern-Simons propagator in AdS3 is now known in explicit position space (3.4), not just as a formal spectral integral.
- The boundary limit of this propagator reproduces the expected holomorphic boundary current two-point function, providing a direct holographic check of the construction.
- The same simultaneous-eigenfunction basis yields explicit bulk-to-boundary propagators for massive Chern-Simons and Maxwell-Chern-Simons theories, with boundary conformal dimension determined by the mass and the Chern-Simons level.
- The split representation (5.6) expresses the Chern-Simons propagator as a boundary integral of bulk-to-boundary propagators, making loop Witten diagrams in parity-violating theories more tractable.
- The generalization of the Chern-Simons operator to arbitrary spin (2.26) suggests the construction applies to parity-odd higher-spin fields as well.
Where Pith is reading between the lines
- The principal-value prescription for the 1/ν integrals is the load-bearing choice that kills the parity-even part of the pure Chern-Simons propagator; the paper notes this encodes the right boundary condition but does not derive it. If a different pole prescription were used, the propagator would acquire a parity-even contact term and the boundary current correlator would shift.
- The m→0 limit of the massive Chern-Simons propagator does not reduce to the pure Chern-Simons answer, which the paper traces to the same PV-versus-iε distinction. This suggests the topological pure theory and the massive theory correspond to different boundary conditions, a point worth resolving.
- The embedding-space operator (4.27) that lifts the Chern-Simons operator to M4 could be used to write parity-odd propagators for any spin-J and Δ, potentially connecting to higher-spin Chern-Simons theories.
- The split representation is a natural starting point for one-loop computations in Chern-Simons-matter theories, which may test non-supersymmetric dualities in AdS.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs parity-odd transverse spin-1 harmonic functions on AdS3 and relates them to the known parity-even harmonics through the Chern-Simons operator D = *d. It then forms the combination Ξ = Ω(e) + (1/ν)Ω(o), claims it is a simultaneous eigenfunction of the Laplacian and D, and uses it to solve the propagator equations of pure abelian Chern-Simons theory, massive Chern-Simons theory, and Maxwell-Chern-Simons theory in a covariant gauge. The authors also embed these results in the embedding formalism, write parity-odd bulk-to-boundary and boundary-to-boundary propagators, and derive a split representation for the Chern-Simons propagator, with direct verification of the split identities in Appendix A.
Significance. If the technical concerns below are resolved, this is a useful and timely contribution. The paper fills a concrete gap in the spectral / embedding-formalism literature for parity-violating theories in AdS3, and it provides explicit, parameter-free expressions that can be used in perturbative holographic computations. The Appendix A direct verification of the split representations is a genuine strength, as are the explicit checks of the completeness and orthogonality relations. The overall logic is coherent and the paper is written in a way that separates the AdS3 coordinate calculation from the embedding-space technology.
major comments (3)
- [Sec. 3.3, Eqs. (3.32)-(3.34)] The principal-value (PV) prescription for the 1/ν spectral integral is the single most load-bearing step in the paper, but it is only asserted. In Eq. (3.3) the parity-even part of ∫dν (1/ν)Ξ is dropped by taking PV of 1/ν; this is what turns the solution (3.2) into the purely parity-odd propagator (3.4) and, through the boundary limit, into the boundary two-point function (3.9)-(3.10). Footnote 6 says the PV prescription is 'related to the right boundary condition' used to solve (3.1), but no boundary condition or iε prescription is stated. Since (3.1) is a first-order differential equation, the Green function is not unique until such a prescription is given. The authors should derive the PV prescription from an explicit iε choice or from a stated boundary condition on the bulk-to-bulk propagator, and explain why this is the physical one.
- [Sec. 2.2.3, Eq. (2.22)] The ambiguity of the PV prescription is made concrete by the authors' own result. The m→0+ limit of the massive Chern-Simons bulk-to-boundary propagator (3.32) does not reduce to the pure Chern-Simons propagator (3.4); as the authors explain, the parity-even part survives. Their illustrative integral (3.33)-(3.34) shows that PV and the m→0+ limit differ. This means the PV choice is not the unique 'massless limit' of a regulated theory and carries physical content. If the correct boundary condition instead corresponds to m→0+, the pure-CS propagator acquires a parity-even contact term and the boundary two-point function (3.9)-(3.10) shifts. The paper needs to specify the physical boundary condition and justify the PV choice; otherwise the central result (3.4) is underdetermined.
- [Sec. 5, footnote 15] The relation D^σ_α Ω(e)_{σβ} = Ω(o)_{αβ} and D^σ_α Ω(o)_{σβ} = ν² Ω(e)_{αβ} is the algebra that underpins the simultaneous eigenfunctions Ξ and therefore almost every later result. It is introduced as an 'observation' and no explicit computation is shown. While the relation is plausible and consistent with the direct checks in Appendix A, it is load-bearing and should be proven directly from the explicit expressions (2.10), (2.14), (2.15) (or from the embedding operator (4.27) with a clear derivation of (4.28)). The authors should include this derivation in the main text or an appendix.
minor comments (5)
- [Sec. 4.2, Eq. (4.34)] There are frequent typographical errors ('presciption', 'boudnary', 'corrdinate', 'harmoic', 'evalue', 'assymptotically', etc.). A careful proofread is needed.
- [Sec. 5, Eq. (5.3)] The prefactors in the bulk-to-boundary propagators (3.32) and (3.43) contain (2(ũ+1))^{2+m} or (2(ũ+1))^{2+bκ} while the stated conformal dimension is Δ = 1+m or Δ = 1+bκ. The overall power counting is not transparent; please reconcile with the canonical form (4.19) and state explicitly how the factors of (2(ũ+1)) distribute between the prefactor and the tensor structures.
- [Sec. 4.2, Eq. (4.27)] Footnote 15 states that the Chern-Simons operator commutes with the boundary limit. This is used in constructing the odd bulk-to-boundary quantity (5.3). Appendix A verifies the final split identities directly, so this is not an obstruction, but a brief justification of the limit interchange would improve the presentation.
- [Sec. 1, 'Note added'] The embedding-space Chern-Simons operator (4.27) is introduced rather tersely. The action of D on the three structures in (4.28) is stated without derivation; a few lines showing how the derivatives act would make the embedding formalism section self-contained.
- The overlap with [27] is mentioned only in a 'Note added'. Since the two papers may have overlapping results in Section 3.3, the authors should spell out more concretely what is new here relative to [27].
Circularity Check
No circularity: the odd harmonics, Chern-Simons operator relations, and propagators are derived from independent prior results and direct computation; the underived PV prescription is a boundary-condition ambiguity, not circularity.
full rationale
The derivation chain is self-contained rather than circular. The parity-odd harmonics (2.14) are explicit functions with Omega3 = d_u Omega (2.16), and the key relations (2.22) are stated as verified properties of the Chern-Simons operator D = *d; they are not definitions of the odd harmonics in terms of the desired propagator. The simultaneous eigenfunction Xi (2.23) is a direct consequence, and the propagator (3.2) is checked against the equation of motion (3.1) using the completeness relation (2.33) and spectral identities. The boundary two-point function (3.9)-(3.10) is computed from the bulk result, not used as an input to determine it. The split representation (5.6) is built from (5.1)-(5.4) and independently verified in Appendix A. Reliance on [16] and [4] is external prior work; the only self-citations ([21], [25], etc.) appear in motivation/outlook and are not load-bearing. The one weakness is not circularity: the principal-value prescription in (3.3) (footnote 6) is load-bearing but underived, and the authors themselves show the m->0 limit of the massive theory does not reproduce it ((3.33)-(3.34)). That is a physical boundary-condition/regularization ambiguity and a correctness risk, not an equivalence-by-construction of output to input.
Axiom & Free-Parameter Ledger
axioms (6)
- domain assumption Parity-even spin-1 harmonic completeness and orthogonality from [16] (Eqs. 2.31, 2.34) are valid and sufficient for the spin-1 two-point sector.
- domain assumption The scalar harmonic split representation (A.1) from [4] holds.
- standard math On AdS3, R_μν = -2g_μν, and for divergence-free one-forms D² ≡ (∗d)² = -(∇²+2) (Eq. 2.21); the sign conventions for ε and D are consistent throughout.
- domain assumption The set {Ξ_αβ(ν)} ∪ {Σ_αβ(ν)} is complete for the propagators studied; the odd-harmonic integral (2.32) vanishes by oddness in ν.
- ad hoc to paper The principal-value prescription for 1/ν integrals gives the physical Chern-Simons propagator boundary conditions.
- ad hoc to paper The Chern-Simons operator commutes with the boundary limit.
read the original abstract
We introduce parity-odd spin-1 harmonic functions in AdS$_3$ and study their properties. We demonstrate that such parity-odd harmonics are related to their parity-even counterparts through the action of a `Chern-Simons operator', which we present as a novelty in this paper. This relation leads to the construction of simultaneous eigen-functions of the Laplacian and the Chern-Simons operators. Subsequently, these harmonic functions are employed to construct propagators in pure abelian Chern-Simons theory as well as Maxwell-Chern-Simons theory in a covariant gauge. We demonstrate the consistency of the Chern-Simons propagator with the expected two-point function of the boundary currents. Our results are built upon the embedding formalism, which we modify suitably to incorporate parity-odd structures. This formalism also readily helps us write down parity odd structures for the propagators of higher-spin fields. Finally, we construct a split representation for the parity-odd harmonic functions, which may be useful to compute Witten diagrams with loops. Our results are expected to be useful in perturbative studies of parity violating QFTs on AdS$_3$.
Reference graph
Works this paper leans on
-
[1]
J. M. Maldacena,The LargeNlimit of superconformal field theories and supergravity,Adv. Theor. Math. Phys.2(1998) 231 [hep-th/9711200]
Pith/arXiv arXiv 1998
-
[2]
Witten,Anti de Sitter space and holography,Adv
E. Witten,Anti de Sitter space and holography,Adv. Theor. Math. Phys.2(1998) 253 [hep-th/9802150]
Pith/arXiv arXiv 1998
-
[3]
O. Aharony, M. Berkooz and S.-J. Rey,Rigid holography and six-dimensionalN= (2,0) theories on AdS 5 ×S 1,JHEP03(2015) 121 [1501.02904]
Pith/arXiv arXiv 2015
-
[4]
D. Carmi, L. Di Pietro and S. Komatsu,A Study of Quantum Field Theories in AdS at Finite Coupling,JHEP01(2019) 200 [1810.04185]
Pith/arXiv arXiv 2019
-
[5]
Ankur, D. Carmi and L. Di Pietro,Scalar QED in AdS,JHEP10(2023) 089 [2306.05551]
Pith/arXiv arXiv 2023
-
[6]
D. Carmi,Loops in AdS: From the Spectral Representation to Position Space,JHEP06 (2020) 049 [1910.14340]
Pith/arXiv arXiv 2020
-
[7]
Carmi,Loops in AdS: from the spectral representation to position space
D. Carmi,Loops in AdS: from the spectral representation to position space. Part II,JHEP 07(2021) 186 [2104.10500]
Pith/arXiv arXiv 2021
-
[8]
Carmi,Loops in AdS: from the spectral representation to position space
D. Carmi,Loops in AdS: from the spectral representation to position space. Part III,JHEP 08(2024) 193 [2402.02481]
Pith/arXiv arXiv 2024
-
[9]
R. N. Moga and K. Skenderis,Bulk-to-bulk photon propagator in AdS,2510.23770
-
[10]
M. Ba˜ nados, E. Bianchi, I. Mu˜ noz and K. Skenderis,Bulk renormalization and the AdS/CFT correspondence,Phys. Rev. D107(2023) L021901 [2208.11539]. – 32 –
Pith/arXiv arXiv 2023
-
[11]
Mikhailov,Notes on higher spin symmetries,hep-th/0201019
A. Mikhailov,Notes on higher spin symmetries,hep-th/0201019
-
[12]
T. Biswas and W. Siegel,Radial dimensional reduction: Anti-de Sitter theories from flat, JHEP07(2002) 005 [hep-th/0203115]
Pith/arXiv arXiv 2002
-
[13]
M. S. Costa, J. Penedones, D. Poland and S. Rychkov,Spinning Conformal Correlators, JHEP11(2011) 071 [1107.3554]
Pith/arXiv arXiv 2011
-
[14]
M. S. Costa, J. Penedones, D. Poland and S. Rychkov,Spinning Conformal Blocks,JHEP 11(2011) 154 [1109.6321]
Pith/arXiv arXiv 2011
-
[15]
J. Penedones,Writing CFT correlation functions as AdS scattering amplitudes,JHEP03 (2011) 025 [1011.1485]
Pith/arXiv arXiv 2011
-
[16]
M. S. Costa, V. Gon¸ calves and J. Penedones,Spinning AdS Propagators,JHEP09(2014) 064 [1404.5625]
Pith/arXiv arXiv 2014
-
[17]
Sleight,Metric-like Methods in Higher Spin Holography,PoSModave2016(2017) 003 [1701.08360]
C. Sleight,Metric-like Methods in Higher Spin Holography,PoSModave2016(2017) 003 [1701.08360]
Pith/arXiv arXiv 2017
-
[18]
E. Parisini, K. Skenderis and B. Withers,The ambient space formalism,JHEP05(2024) 296 [2312.03820]
Pith/arXiv arXiv 2024
-
[19]
D. Z. Freedman, S. D. Mathur, A. Matusis and L. Rastelli,Correlation functions in the CFT(d) / AdS(d+1) correspondence,Nucl. Phys. B546(1999) 96 [hep-th/9804058]
Pith/arXiv arXiv 1999
-
[20]
Jensen,Chiral anomalies and AdS/CMT in two dimensions,JHEP01(2011) 109 [1012.4831]
K. Jensen,Chiral anomalies and AdS/CMT in two dimensions,JHEP01(2011) 109 [1012.4831]
Pith/arXiv arXiv 2011
-
[21]
S. Giombi, S. Minwalla, S. Prakash, S. P. Trivedi, S. R. Wadia and X. Yin,Chern-Simons Theory with Vector Fermion Matter,Eur. Phys. J. C72(2012) 2112 [1110.4386]
Pith/arXiv arXiv 2012
-
[22]
O. Aharony, G. Gur-Ari and R. Yacoby,d=3 Bosonic Vector Models Coupled to Chern-Simons Gauge Theories,JHEP03(2012) 037 [1110.4382]
Pith/arXiv arXiv 2012
-
[23]
O. Aharony, G. Gur-Ari and R. Yacoby,Correlation Functions of Large N Chern-Simons-Matter Theories and Bosonization in Three Dimensions,JHEP12(2012) 028 [1207.4593]
Pith/arXiv arXiv 2012
-
[24]
O. Aharony, S. Giombi, G. Gur-Ari, J. Maldacena and R. Yacoby,The Thermal Free Energy in Large N Chern-Simons-Matter Theories,JHEP03(2013) 121 [1211.4843]
Pith/arXiv arXiv 2013
-
[25]
S. Jain, S. Minwalla, T. Sharma, T. Takimi, S. R. Wadia and S. Yokoyama,Phases of large Nvector Chern-Simons theories onS 2 ×S 1,JHEP09(2013) 009 [1301.6169]
Pith/arXiv arXiv 2013
-
[26]
O. Aharony, S. Jain and S. Minwalla,Flows, Fixed Points and Duality in Chern-Simons-matter theories,JHEP12(2018) 058 [1808.03317]
Pith/arXiv arXiv 2018
-
[27]
R. Bhat, J. R. David and S. Dutta,Precision tests of bulk entanglement: AdS3 vectors, 2511.13549
-
[28]
Allen and T
B. Allen and T. Jacobson,Vector Two Point Functions in Maximally Symmetric Spaces, Commun. Math. Phys.103(1986) 669
1986
-
[29]
E. D’Hoker, D. Z. Freedman, S. D. Mathur, A. Matusis and L. Rastelli,Graviton and gauge boson propagators in AdS(d+1),Nucl. Phys. B562(1999) 330 [hep-th/9902042]
Pith/arXiv arXiv 1999
-
[30]
A. Naqvi,Propagators for massive symmetric tensor and p forms in AdS(d+1),JHEP12 (1999) 025 [hep-th/9911182]. – 33 –
Pith/arXiv arXiv 1999
-
[31]
T. Leonhardt, R. Manvelyan and W. Ruhl,The Group approach to AdS space propagators, Nucl. Phys. B667(2003) 413 [hep-th/0305235]
Pith/arXiv arXiv 2003
-
[32]
T. Leonhardt, W. Ruhl and R. Manvelyan,The Group approach to AdS space propagators: A Fast algorithm,J. Phys. A37(2004) 7051 [hep-th/0310063]
Pith/arXiv arXiv 2004
-
[33]
S. Datta and J. R. David,Higher Spin Quasinormal Modes and One-Loop Determinants in the BTZ black Hole,JHEP03(2012) 079 [1112.4619]
Pith/arXiv arXiv 2012
-
[34]
J. R. David, B. Sahoo and A. Sen,AdS(3), black holes and higher derivative corrections, JHEP07(2007) 058 [0705.0735]
Pith/arXiv arXiv 2007
-
[35]
P. Kraus and F. Larsen,Partition functions and elliptic genera from supergravity,JHEP01 (2007) 002 [hep-th/0607138]
Pith/arXiv arXiv 2007
-
[36]
S. Giombi, C. Sleight and M. Taronna,Spinning AdS Loop Diagrams: Two Point Functions, JHEP06(2018) 030 [1708.08404]
Pith/arXiv arXiv 2018
-
[37]
A. L. Fitzpatrick, J. Kaplan, J. Penedones, S. Raju and B. C. van Rees,A Natural Language for AdS/CFT Correlators,JHEP11(2011) 095 [1107.1499]
Pith/arXiv arXiv 2011
-
[38]
C. Sleight and M. Taronna,Feynman rules for higher-spin gauge fields on AdS d+1,JHEP01 (2018) 060 [1708.08668]
Pith/arXiv arXiv 2018
-
[39]
A. Gadde and T. Sharma,A scattering amplitude for massive particles in AdS,JHEP09 (2022) 157 [2204.06462]
Pith/arXiv arXiv 2022
-
[40]
I. V. Tyutin and M. A. Vasiliev,Lagrangian formulation of irreducible massive fields of arbitrary spin in (2+1)-dimensions,Teor. Mat. Fiz.113N1(1997) 45 [hep-th/9704132]. – 34 –
Pith/arXiv arXiv 1997
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.