Pith. sign in

REVIEW 2 major objections 7 minor 34 references

A toroidal Wilson surface's holographic one-point functions vanish in the OPE limit and diverge when the local operator lies on the surface.

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 →

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

T0 review · deepseek-v4-flash

2026-08-02 17:35 UTC pith:2LDY2KIK

load-bearing objection New toroidal/cylindrical Wilson-surface one-point functions are computed cleanly, but the only results that actually depend on the moduli-space average (Y5/Y6) rest on an assumed uniform measure, and the numerics are not reproducible. the 2 major comments →

arxiv 2603.22711 v2 pith:2LDY2KIK submitted 2026-03-24 hep-th

Wilson Surface One-Point Functions: A Case Study

Long-Fu Zhang , Jun-Bao Wu This is my paper
classification hep-th
keywords Wilson surface(2,0) superconformal theoryAdS7/CFT6M2-branemoduli-space averageone-point functionchiral primary operatortoroidal Wilson surface
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.

This paper computes holographic one-point functions of a Wilson surface whose shape is not fixed by symmetry: the 1/8-BPS toroidal Wilson surface in the six-dimensional (2,0) superconformal theory. Using the AdS7/CFT6 correspondence, the authors model the surface operator as a collection of M2-branes and average over the S^2 moduli space of embeddings. They find that the normalized one-point function with a chiral primary operator vanishes when the operator sits at the origin of the R^4 containing the torus, and also vanishes in the OPE limit L >> R_i, while at generic placements it is nonzero and singular when the operator lies on the surface. The cylindrical limit inherits the same structure. If correct, this demonstrates that shape-dependent Wilson-surface correlators are computable in AdS7/CFT6, and that the moduli-space average is an essential part of the dictionary for such operators.

Core claim

On the paper's own terms, the central discovery is that the holographic one-point function of a 1/8-BPS toroidal Wilson surface with a chiral primary operator is governed by the moduli-space average over M2-brane embeddings, and that this average produces a clean dichotomy: the correlator vanishes exactly when the local operator is at the center of the torus's R^4 and in the OPE limit, while at generic positions it is nonzero and diverges as the operator approaches the surface. The paper supports this with analytic cancellations (B = C-tilde = 0) and with explicit numerical evaluations for k=2, R1=2R2 and R1=R2, as well as analytic results for the cylindrical limit.

What carries the argument

The central object is the orbit-averaged probe M2-brane: because an individual brane solution breaks the SO(3) symmetry of the (n3,n4,n5) space to SO(2), the surface operator's dual is taken to be the uniform average over the S^2 moduli space parameterized by (alpha0, beta0). This average restores the symmetry and is applied to the variation of the membrane action. The computation also relies on the simplification that the coefficient N1 multiplying the leading bulk-to-boundary propagator G_Delta vanishes for these surfaces, leaving only subleading powers G^{1+1/Delta} and G^{1+2/Delta}; and on the identities B = C-tilde = 0 when the operator is at the origin of the surface's R^4.

Load-bearing premise

The load-bearing premise is that the holographic dual of the toroidal Wilson surface is the uniform average over the S^2 moduli space of M2-brane embeddings parameterized by (alpha0, beta0); if the correct dual is a single brane or uses a different weight, every computed one-point function changes.

What would settle it

A direct field-theory computation of the same one-point function — for instance via supersymmetric localization of the (2,0) theory on S^1 x S^5, or a bootstrap bound — that yields a nonzero value in the OPE limit, or a nonzero value when the operator is at the origin of the R^4, would falsify the paper's central claim. More narrowly, recomputing with a non-uniform weight over the (alpha0, beta0) moduli space and finding different correlators would show the averaging prescription is wrong.

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

If this is right

  • If the paper is correct, the OPE-limit vanishing means the toroidal Wilson surface's leading conformal block with a chiral primary operator is absent, distinguishing it from planar and spherical surfaces.
  • The moduli-space average is not a technical detail: without it, individual brane results would break the SO(3) symmetry of the correlator, so the average is necessary for a consistent holographic dictionary.
  • The cylindrical Wilson surface inherits the same vanishing and singularity structure, giving a one-parameter family of shape-dependent one-point functions that could be compared with other methods.
  • The explicit numerical results for k=2, R1=2R2 and R1=R2 provide concrete predictions for the (2,0) theory that are sharp enough to test against localization or bootstrap computations.

Where Pith is reading between the lines

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

  • The same moduli-space-averaging mechanism may extend to other surface operators whose dual brane preserves less symmetry than the surface, such as higher-genus or knotted surfaces, yielding computable one-point functions.
  • The vanishing at the origin of the surface's R^4 may be a general feature for any surface with constant sum of squared embedding coordinates, potentially organizing the OPE of surface operators beyond the torus.
  • The singularity structure when the operator approaches the surface is a holographic prediction that could be compared with a field-theoretic OPE calculation, giving a sharp test of the averaging prescription.
  • If a non-uniform weight over the (alpha0, beta0) moduli space were imposed by a more fundamental derivation, the entire shape dependence of these correlators would change, making the averaging prescription a sensitive probe of the M-theory dual.

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

2 major / 7 minor

Summary. The paper computes holographic one-point functions of chiral primary operators in the presence of a 1/8-BPS toroidal Wilson surface in the 6d (2,0) theory, using a probe M2-brane in AdS7×S4. The authors review the M2-brane embeddings from [13], which form an S2 moduli space parameterized by (α0,β0), and adopt the prescription that the dual of the toroidal Wilson surface is the uniform average over this moduli space. They derive a general expression for the one-point function in terms of bulk-to-boundary propagators and show that the coefficient of the leading propagator GΔ vanishes (N1=0), leading to vanishing in the OPE limit. For a CPO placed at the origin of the R4 containing the torus, the correlator vanishes exactly; for generic placements it is nonzero and diverges when the operator lies on the surface. Analytic and numerical results are given for R1=2R2 and R1=R2, for the SO(3)-invariant harmonics Y1,Y2 and for the non-invariant harmonics Y5,Y6, where the moduli-space average is nontrivial. A cylindrical Wilson surface is treated in an analogous fashion.

Significance. If the averaging prescription is accepted, this is a nontrivial extension of Wilson-surface one-point computations beyond planar/spherical surfaces, showing that shape and position dependence can be extracted holographically. The derivation is explicit and contains no free parameters: the cancellation N1=0 and the identity in Eq. (3.55) are analytic and appear correct. The paper also makes a clean observation that the leading OPE term vanishes and that the correlator diverges when the local operator hits the surface. However, the load-bearing input—the uniform average over the M2-brane moduli space—is imported from prior work and is only actually tested by the Y5/Y6 subsection. The lack of an independent check or of a clear statement of conditionality weakens the central claim of the paper.

major comments (2)
  1. [Sec. 3.2, Eq. (3.17)] The dual of the toroidal Wilson surface is taken to be the uniform average over the S2 of M2 embeddings with dμ=sinα0 dα0 dβ0. This is assumed, not derived. SO(3)_345 invariance of the surface makes a group average plausible and, once the collection prescription is accepted, transitivity fixes the measure on the orbit; but the prescription itself—that the dual is the collection rather than a single brane with α0=0—is not established in this paper. This matters because the only results that genuinely change under the average are Eqs. (3.76)-(3.81) for Y5,Y6; the Y1,Y2 results and the zero/singularity features are independent of the average. Please provide a derivation of the collection prescription (e.g., from the M2-brane path integral on this moduli space) or explicitly state that the Y5,Y6 results are conditional on this assumption.
  2. [Sec. 3.6, Eq. (3.19)] The cylinder is presented as the R1→∞ limit of the torus, but the coordinate mapping is not supplied. The torus (2.1) is a product of two circles; locally it approaches a straight line tangent to the large circle, at a distance R1 from the origin in the original coordinates. The cylinder (3.19) is placed at x1=v, x2=0, which requires a rotation/translation (e.g., near φ1=π/2 and shifting x2 by R1), and that operation also shifts the CPO. Because this mapping is absent, the relation between the torus and cylinder 'first kind' placements is ambiguous, and the statement that the cylindrical case inherits the torus features is not justified. Please give the precise limiting map, or treat the cylinder as an independent example and moderate the inheritance claim.
minor comments (7)
  1. [Sec. 2] Typo: 'hologrphaic' should be 'holographic'.
  2. [Eqs. (3.36)-(3.55)] The notation c−1/∆ and c−2/∆ should be c^{-1/Δ} and c^{-2/Δ}, and the quantities G^{1+1/Δ}, G^{1+2/Δ} should be defined before first use. The identity in (3.55) is correct, but a short derivation would help the reader.
  3. [Eqs. (3.17), (3.32), (3.56)] 'Z µ(S2)' should be '∫ dµ(S2)'; the measure symbol is missing in these displayed equations.
  4. [Table 1] The header 'Y^I k ⟨W(S)O_Δ⟩/⟨W(S)⟩' is garbled; the column structure should be made explicit.
  5. [Eqs. (3.76)-(3.77)] The notation (θ1 + iθ_{3,4,5}) is unclear. Please spell out the symmetric traceless tensor contraction, as in Appendix A.
  6. [Ref. [20]] The author list 'A. Strominger and M. Dine' for 'Open p-branes' appears incorrect; the paper is by A. Strominger alone (hep-th/9512059).
  7. [Figures 1-8] Please add axis labels, specify the values of the remaining coordinates (e.g., v0, y3, γ3) used in each plot, and state the numerical integration method/accuracy.

Circularity Check

0 steps flagged

No significant circularity: the holographic one-point function computations are self-contained given the stated M2-moduli-space prescription; citations to prior work are background, not load-bearing.

full rationale

The paper's derivation chain is: assume the toroidal Wilson surface is dual to a collection of M2-brane embeddings parameterized by (α0, β0) with uniform S^2 measure (Eq. (3.17)); use the standard AdS7/CFT6 dictionary (Eq. (3.56)) to compute ⟨W O⟩/⟨W⟩ as an average of δS_M2; evaluate the induced-metric quantities N1, B, and C̃; then derive the OPE-limit vanishing, the generic nonzero values, and the singularities. Each step is a genuine computation rather than a restatement of the target result. N1=0 is an algebraic identity from the explicit embedding (3.12)–(3.13), not an input defining the one-point function. The vanishing in the OPE limit follows from N1=0 plus the suppression of the subleading G^{1+1/Δ} and G^{1+2/Δ} terms, and the singularity at the surface position follows from the bulk-to-boundary propagator; neither is assumed as the conclusion. The uniform S^2 measure is imported from the external reference [13] (Drukker–Trépanier) and is also motivated in the text by the symmetry argument that an individual brane breaks SO(3)_345 while the orbit preserves it; this is an unproven physical assumption, but it is not equivalent to the target one-point function. For the SO(3)-invariant harmonics Y1,Y2 the averaging is trivial, so all nonzero output is carried by the integrals themselves; for non-invariant Y5,Y6 the averaging is an explicit computation (Eqs. (3.76)–(3.81)) rather than a restatement of the result. The self-citations [10,18,27] are cited for background or as examples of orbit averaging; the central derivation does not reduce to any of them. The moduli-space prescription could be challenged on physical grounds, but that is an assumption/correctness concern, not circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

No new particles, forces, or dimensions are introduced. The computation leans on standard AdS/CFT assumptions and prior results for membrane solutions and supergravity modes; the only conceptually loaded input is the orbit-average prescription for the moduli space of M2-branes.

axioms (5)
  • domain assumption AdS7/CFT6 correspondence for the AN-1 (2,0) theory
    The entire computation relies on the standard holographic dictionary; invoked in Sec. 1.
  • domain assumption The 1/8-BPS toroidal Wilson surface is dual to a collection of M2-brane solutions averaged uniformly over the S^2 moduli space (α0, β0)
    Adopted from [13] in Sec. 3.2 (Eq. 3.17); the central physical assumption on which the one-point functions depend.
  • domain assumption The supergravity fluctuation modes (3.26)-(3.28) correctly represent the dual of the chiral primary operator O_Δ
    Taken from [21-24] and used as the starting point for the correlator computation in Sec. 3.3.
  • domain assumption The one-point function formula (3.32) with the normalization constant N^I from [17] is correct
    This normalization is imported from prior work and fixes the coefficient of the two-point function; used in Sec. 3.4.
  • standard math The algebraic identity A^μ A^ν g_{μν} = z^2(z^2+|x-x'|^2)
    Used in the derivation of Eq. (3.38) and in the simplification leading to Eq. (3.55).

pith-pipeline@v1.3.0-alltime-deepseek · 14576 in / 19976 out tokens · 187950 ms · 2026-08-02T17:35:05.400173+00:00 · methodology

0 comments
read the original abstract

We compute holographic one-point functions for Wilson surfaces in the case of a toroidal surface operator. Compared to the cases of a planar or spherical surface operator, these one-point functions exhibit a more intricate dependence on the shape and position of both the surface and the local operators. Averaging over the moduli space of membranes dual to the surface operator plays a key role in the computations. We obtain both analytical and numerical results. The case of a cylindrical surface operator is also studied.

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

34 extracted references · 34 linked inside Pith

  1. [1]

    Townsend,The eleven-dimensional supermembrane revisited,Phys

    P.K. Townsend,The eleven-dimensional supermembrane revisited,Phys. Lett. B350(1995) 184 [hep-th/9501068]. – 19 –

    Pith/arXiv arXiv 1995

  2. [2]

    Witten,String theory dynamics in various dimensions,Nucl

    E. Witten,String theory dynamics in various dimensions,Nucl. Phys. B443(1995) 85 [hep-th/9503124]

    Pith/arXiv arXiv 1995

  3. [3]

    Aharony, O

    O. Aharony, O. Bergman, D.L. Jafferis and J. Maldacena,N= 6superconformal Chern-Simons-matter theories, M2-branes and their gravity duals,JHEP10(2008) 091 [0806.1218]

    Pith/arXiv arXiv 2008

  4. [4]

    Douglas,On D=5 super Yang-Mills theory and (2,0) theory,JHEP02(2011) 011 [1012.2880]

    M.R. Douglas,On D=5 super Yang-Mills theory and (2,0) theory,JHEP02(2011) 011 [1012.2880]

    Pith/arXiv arXiv 2011

  5. [5]

    Lambert, C

    N. Lambert, C. Papageorgakis and M. Schmidt-Sommerfeld,M5-Branes, D4-Branes and Quantum 5D super-Yang-Mills,JHEP01(2011) 083 [1012.2882]

    Pith/arXiv arXiv 2011

  6. [6]

    Maldacena,The LargeNlimit of superconformal field theories and supergravity,Adv

    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

  7. [7]

    Drukker and M

    N. Drukker and M. Trépanier,Observations on BPS observables in 6d,J. Phys. A54(2021) 20 [2012.11087]

    Pith/arXiv arXiv 2021

  8. [8]

    Maldacena,Wilson loops in large N field theories,Phys

    J.M. Maldacena,Wilson loops in large N field theories,Phys. Rev. Lett.80(1998) 4859 [hep-th/9803002]

    Pith/arXiv arXiv 1998

  9. [9]

    Lunin,1/2-BPS states in M theory and defects in the dual CFTs,JHEP10(2007) 014 [0704.3442]

    O. Lunin,1/2-BPS states in M theory and defects in the dual CFTs,JHEP10(2007) 014 [0704.3442]

    Pith/arXiv arXiv 2007

  10. [10]

    B. Chen, W. He, J.-B. Wu and L. Zhang,M5-branes and Wilson Surfaces,JHEP08(2007) 067 [0707.3978]

    Pith/arXiv arXiv 2007

  11. [11]

    D’Hoker, J

    E. D’Hoker, J. Estes, M. Gutperle and D. Krym,Exact Half-BPS Flux Solutions in M-theory. I: Local Solutions,JHEP08(2008) 028 [0806.0605]

    Pith/arXiv arXiv 2008

  12. [12]

    D’Hoker, J

    E. D’Hoker, J. Estes, M. Gutperle and D. Krym,Exact Half-BPS Flux Solutions in M-theory II: Global solutions asymptotic toAdS7 ×S 4,JHEP12(2008) 044 [0810.4647]

    Pith/arXiv arXiv 2008

  13. [13]

    Drukker and M

    N. Drukker and M. Trepanier,M2-doughnuts,JHEP02(2022) 071 [2111.09385]

    Pith/arXiv arXiv 2022

  14. [14]

    Zarembo,Supersymmetric Wilson loops,Nucl

    K. Zarembo,Supersymmetric Wilson loops,Nucl. Phys. B643(2002) 157 [hep-th/0205160]

    Pith/arXiv arXiv 2002

  15. [15]

    Medina-Rincon, A.A

    D. Medina-Rincon, A.A. Tseytlin and K. Zarembo,Precision matching of circular Wilson loops and strings inAdS5 ×S 5,JHEP05(2018) 199 [1804.08925]

    Pith/arXiv arXiv 2018

  16. [16]

    Berenstein, R

    D.E. Berenstein, R. Corrado, W. Fischler and J.M. Maldacena,The Operator product expansion for Wilson loops and surfaces in the large N limit,Phys. Rev. D59(1999) 105023 [hep-th/9809188]

    Pith/arXiv arXiv 1999

  17. [17]

    Corrado, B

    R. Corrado, B. Florea and R. McNees,Correlation functions of operators and Wilson surfaces in thed= 6,(0,2)theory in the large N limit,Phys. Rev. D60(1999) 085011 [hep-th/9902153]

    Pith/arXiv arXiv 1999

  18. [18]

    Chen, C.-Y

    B. Chen, C.-Y. Liu and J.-B. Wu,Operator Product Expansion of Wilson surfaces from M5-branes,JHEP01(2008) 007 [0711.2194]

    Pith/arXiv arXiv 2008

  19. [19]

    Alday and A.A

    L.F. Alday and A.A. Tseytlin,On strong-coupling correlation functions of circular Wilson loops and local operators,J. Phys. A44(2011) 395401 [1105.1537]

    Pith/arXiv arXiv 2011

  20. [20]

    Strominger and M

    A. Strominger and M. Dine,Open p-branes,Phys. Lett. B383(1996) 44 [hep-th/9512059]

    Pith/arXiv arXiv 1996

  21. [21]

    Aharony, Y

    O. Aharony, Y. Oz and Z. Yin,M theory on AdS(p) x S(11-p) and superconformal field theories,Phys. Lett. B430(1998) 87 [hep-th/9803051]. – 20 –

    Pith/arXiv arXiv 1998

  22. [22]

    Minwalla,Particles on AdS(4/7) and primary operators on M(2)-brane and M(5)-brane world volumes,JHEP10(1998) 002 [hep-th/9803053]

    S. Minwalla,Particles on AdS(4/7) and primary operators on M(2)-brane and M(5)-brane world volumes,JHEP10(1998) 002 [hep-th/9803053]

    Pith/arXiv arXiv 1998

  23. [23]

    Leigh and M

    R.G. Leigh and M. Rozali,The Large N limit of the (2,0) superconformal field theory,Phys. Lett. B431(1998) 311 [hep-th/9803068]

    Pith/arXiv arXiv 1998

  24. [24]

    Halyo,Supergravity on AdS(4/7) x S(7/4) and M branes,JHEP04(1998) 011 [hep-th/9803077]

    E. Halyo,Supergravity on AdS(4/7) x S(7/4) and M branes,JHEP04(1998) 011 [hep-th/9803077]

    Pith/arXiv arXiv 1998

  25. [25]

    Drukker, J

    N. Drukker, J. Plefka and D. Young,Wilson loops in 3-dimensionalN= 6supersymmetric Chern-Simons Theory and their string theory duals,JHEP11(2008) 019 [0809.2787]

    Pith/arXiv arXiv 2008

  26. [26]

    Bajnok, R.A

    Z. Bajnok, R.A. Janik and A. Wereszczyński,HHL correlators, orbit averaging and form factors,JHEP09(2014) 050 [1404.4556]

    Pith/arXiv arXiv 2014

  27. [27]

    P. Yang, Y. Jiang, S. Komatsu and J.-B. Wu,D-branes and orbit average,SciPost Phys.12 (2022) 055 [2103.16580]

    Pith/arXiv arXiv 2022

  28. [28]

    Lewkowycz and J

    A. Lewkowycz and J. Maldacena,Exact results for the entanglement entropy and the energy radiated by a quark,JHEP05(2014) 025 [1312.5682]

    Pith/arXiv arXiv 2014

  29. [29]

    Drukker, D.J

    N. Drukker, D.J. Gross and H. Ooguri,Wilson loops and minimal surfaces,Phys. Rev. D60 (1999) 125006 [hep-th/9904191]

    Pith/arXiv arXiv 1999

  30. [30]

    Correa, V.I

    D.H. Correa, V.I. Giraldo-Rivera and G.A. Silva,Supersymmetric mixed boundary conditions in AdS2 and DCFT1 marginal deformations,JHEP03(2020) 010 [1910.04225]

    Pith/arXiv arXiv 2020

  31. [31]

    Lee and S

    K.-M. Lee and S. Lee,1/2-BPS Wilson Loops and Vortices in ABJM Model,JHEP09 (2010) 004 [1006.5589]

    Pith/arXiv arXiv 2010

  32. [32]

    Mori and S

    H. Mori and S. Yamaguchi,M5-branes and Wilson surfaces in AdS7/CFT6 correspondence, Phys. Rev. D90(2014) 026005 [1404.0930]

    Pith/arXiv arXiv 2014

  33. [33]

    Kim and S

    H.-C. Kim and S. Kim,M5-branes from gauge theories on the 5-sphere,JHEP05(2013) 144 [1206.6339]

    Pith/arXiv arXiv 2013

  34. [34]

    H.-C. Kim, J. Kim and S. Kim,Instantons on the 5-sphere and M5-branes,1211.0144. – 21 –

    Pith/arXiv arXiv