Pith. sign in

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 →

arxiv 2512.07752 v2 pith:XUU5GX2V submitted 2025-12-08 hep-th

Chern-Simons propagators in AdS₃

classification hep-th PACS 11.15.-q11.25.Tq
keywords Chern-Simons theoryAdS3propagatorsparity-odd harmonicsembedding formalismspin-1 harmonic functionssplit representationboundary conformal field theory
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper claims that in AdS3 there exist parity-odd, divergence-free spin-1 harmonic functions, missing from earlier constructions, and that they are related to the known parity-even harmonics by a Chern-Simons operator D = *d. Because D squares to the Laplacian on this function space, a specific linear combination Ω(e) + (1/ν)Ω(o) is a simultaneous eigenfunction of both operators, providing a complete spectral basis. Using this basis, the paper solves the pure abelian Chern-Simons propagator equation in a covariant gauge and obtains an explicit position-space Green function, whose boundary limit reproduces the expected holomorphic current two-point function. The same construction yields propagators for massive and Maxwell-Chern-Simons theories, and a split representation for loop computations. A sympathetic reader would care because this supplies the missing parity-odd tool needed for perturbative studies of parity-violating QFTs on AdS3.

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.

Watch this falsifier — get emailed when new claim-graph text bears on it.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

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

Referee Report

3 major / 5 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. [Sec. 4.2, Eq. (4.34)] There are frequent typographical errors ('presciption', 'boudnary', 'corrdinate', 'harmoic', 'evalue', 'assymptotically', etc.). A careful proofread is needed.
  2. [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.
  3. [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.
  4. [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.
  5. 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

0 steps flagged

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

0 free parameters · 6 axioms · 0 invented entities

No free parameters are fitted; κ, e², M², and ξ are theory inputs, and m=2πM²/κ and bκ=κe²/2π are derived combinations. The only new object is the Chern-Simons operator D=∗d, a mathematical operator rather than a new physical entity. The main burden in the ledger is the PV boundary-condition assumption and the unproved commutation with the boundary limit.

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.
    The new odd harmonics inherit their completeness and normalization from these prior relations; they are not independently proven from first principles.
  • domain assumption The scalar harmonic split representation (A.1) from [4] holds.
    Used to evaluate the odd/even split-representation integrals in Appendix A.
  • 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.
    This is the algebraic core of the Chern-Simons operator relation; it is standard differential geometry on maximally symmetric spaces.
  • domain assumption The set {Ξ_αβ(ν)} ∪ {Σ_αβ(ν)} is complete for the propagators studied; the odd-harmonic integral (2.32) vanishes by oddness in ν.
    Completeness (2.33) is assembled from [16] plus the oddness of Ω(o)/ν; no independent proof for the parity-odd sector is given.
  • ad hoc to paper The principal-value prescription for 1/ν integrals gives the physical Chern-Simons propagator boundary conditions.
    Footnote 6 states the PV prescription is 'related to the right boundary condition', but it is not derived from an iε prescription; footnote 10 shows the m→0+ limit of the massive propagator differs from the PV pure-CS result.
  • ad hoc to paper The Chern-Simons operator commutes with the boundary limit.
    Footnote 15 asserts 'We have checked' but no derivation is shown; this commutation is needed for the split representation (5.2)-(5.6).

pith-pipeline@v1.3.0-alltime-deepseek · 28102 in / 17817 out tokens · 163633 ms · 2026-08-03T17:52:05.896349+00:00 · methodology

0 comments
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$.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

40 extracted references · 39 linked inside Pith

  1. [1]

    J. M. Maldacena,The LargeNlimit of superconformal field theories and supergravity,Adv. Theor. Math. Phys.2(1998) 231 [hep-th/9711200]

  2. [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]

  3. [3]

    Aharony, M

    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]

  4. [4]

    Carmi, L

    D. Carmi, L. Di Pietro and S. Komatsu,A Study of Quantum Field Theories in AdS at Finite Coupling,JHEP01(2019) 200 [1810.04185]

  5. [5]

    Carmi and L

    Ankur, D. Carmi and L. Di Pietro,Scalar QED in AdS,JHEP10(2023) 089 [2306.05551]

  6. [6]

    Carmi,Loops in AdS: From the Spectral Representation to Position Space,JHEP06 (2020) 049 [1910.14340]

    D. Carmi,Loops in AdS: From the Spectral Representation to Position Space,JHEP06 (2020) 049 [1910.14340]

  7. [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]

  8. [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]

  9. [9]

    R. N. Moga and K. Skenderis,Bulk-to-bulk photon propagator in AdS,2510.23770

  10. [10]

    Ba˜ nados, E

    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 –

  11. [11]

    Mikhailov,Notes on higher spin symmetries,hep-th/0201019

    A. Mikhailov,Notes on higher spin symmetries,hep-th/0201019

  12. [12]

    Biswas and W

    T. Biswas and W. Siegel,Radial dimensional reduction: Anti-de Sitter theories from flat, JHEP07(2002) 005 [hep-th/0203115]

  13. [13]

    M. S. Costa, J. Penedones, D. Poland and S. Rychkov,Spinning Conformal Correlators, JHEP11(2011) 071 [1107.3554]

  14. [14]

    M. S. Costa, J. Penedones, D. Poland and S. Rychkov,Spinning Conformal Blocks,JHEP 11(2011) 154 [1109.6321]

  15. [15]

    Penedones,Writing CFT correlation functions as AdS scattering amplitudes,JHEP03 (2011) 025 [1011.1485]

    J. Penedones,Writing CFT correlation functions as AdS scattering amplitudes,JHEP03 (2011) 025 [1011.1485]

  16. [16]

    M. S. Costa, V. Gon¸ calves and J. Penedones,Spinning AdS Propagators,JHEP09(2014) 064 [1404.5625]

  17. [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]

  18. [18]

    Parisini, K

    E. Parisini, K. Skenderis and B. Withers,The ambient space formalism,JHEP05(2024) 296 [2312.03820]

  19. [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]

  20. [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]

  21. [21]

    Giombi, S

    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]

  22. [22]

    Aharony, G

    O. Aharony, G. Gur-Ari and R. Yacoby,d=3 Bosonic Vector Models Coupled to Chern-Simons Gauge Theories,JHEP03(2012) 037 [1110.4382]

  23. [23]

    Aharony, G

    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]

  24. [24]

    Aharony, S

    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]

  25. [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]

  26. [26]

    Aharony, S

    O. Aharony, S. Jain and S. Minwalla,Flows, Fixed Points and Duality in Chern-Simons-matter theories,JHEP12(2018) 058 [1808.03317]

  27. [27]

    R. Bhat, J. R. David and S. Dutta,Precision tests of bulk entanglement: AdS3 vectors, 2511.13549

  28. [28]

    Allen and T

    B. Allen and T. Jacobson,Vector Two Point Functions in Maximally Symmetric Spaces, Commun. Math. Phys.103(1986) 669

  29. [29]

    D’Hoker, D

    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]

  30. [30]

    Naqvi,Propagators for massive symmetric tensor and p forms in AdS(d+1),JHEP12 (1999) 025 [hep-th/9911182]

    A. Naqvi,Propagators for massive symmetric tensor and p forms in AdS(d+1),JHEP12 (1999) 025 [hep-th/9911182]. – 33 –

  31. [31]

    Leonhardt, R

    T. Leonhardt, R. Manvelyan and W. Ruhl,The Group approach to AdS space propagators, Nucl. Phys. B667(2003) 413 [hep-th/0305235]

  32. [32]

    Leonhardt, W

    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]

  33. [33]

    Datta and J

    S. Datta and J. R. David,Higher Spin Quasinormal Modes and One-Loop Determinants in the BTZ black Hole,JHEP03(2012) 079 [1112.4619]

  34. [34]

    J. R. David, B. Sahoo and A. Sen,AdS(3), black holes and higher derivative corrections, JHEP07(2007) 058 [0705.0735]

  35. [35]

    Kraus and F

    P. Kraus and F. Larsen,Partition functions and elliptic genera from supergravity,JHEP01 (2007) 002 [hep-th/0607138]

  36. [36]

    Giombi, C

    S. Giombi, C. Sleight and M. Taronna,Spinning AdS Loop Diagrams: Two Point Functions, JHEP06(2018) 030 [1708.08404]

  37. [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]

  38. [38]

    Sleight and M

    C. Sleight and M. Taronna,Feynman rules for higher-spin gauge fields on AdS d+1,JHEP01 (2018) 060 [1708.08668]

  39. [39]

    Gadde and T

    A. Gadde and T. Sharma,A scattering amplitude for massive particles in AdS,JHEP09 (2022) 157 [2204.06462]

  40. [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 –