Recognition: 2 theorem links
· Lean TheoremWilson loop in AdS₃ times S³ times T⁴ from quantum M2 brane
Pith reviewed 2026-05-15 00:30 UTC · model grok-4.3
The pith
The one-loop M2-brane partition function for the AdS3 Wilson loop equals κ over the square root of 2 pi.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We compute the 1-loop contribution Z1 to the M2 brane partition function and find that it is given solely by the leading string-theory contribution Z1 = κ / √(2π) where κ ∼ √Q5, in contrast to the ABJM case where Z1 contains an infinite series of higher-genus corrections. The setup uses the uplift of the type IIA string theory on the near-horizon D2-D4 geometry to eleven-dimensional M-theory on AdS3 times S3 times T5, so that the M2-brane partition function captures non-planar corrections in the dual (4,4) supersymmetric 2d CFT. The result extends straightforwardly to the mixed flux case from the eleven-dimensional perspective.
What carries the argument
M2-brane partition function expanded around the AdS2 × S1 minimal surface, whose one-loop determinant supplies the correction factor.
If this is right
- The Wilson-loop expectation value receives a multiplicative correction proportional to sqrt(Q5) from the M2-brane.
- Non-planar corrections in the dual 2d CFT become accessible through the M-theory description.
- The same simplification holds for the mixed-flux generalization without additional higher-genus terms at one loop.
- The absence of an infinite series distinguishes this duality from the ABJM case at the same perturbative order.
Where Pith is reading between the lines
- Higher-loop M2-brane contributions may vanish or remain suppressed, keeping the result exact at this order.
- The same uplift technique could be applied to other line defects or correlation functions in the 2d CFT.
- Comparison with integrability methods or exact CFT computations at small Q5 would test the range of validity.
Load-bearing premise
The T-duality and uplift from type IIA to M-theory preserve the supersymmetric Wilson-loop observable so the M2-brane partition function captures the non-planar corrections.
What would settle it
An independent computation of the same Wilson-loop expectation value directly in the 2d CFT at finite Q5 that disagrees with the predicted value of κ over square root of 2 pi would falsify the claim.
Figures
read the original abstract
Type IIB string theory on AdS$_3 \times S^3\times T^4$ with RR flux as the near-horizon limit of the D1-D5 solution is expected to be dual to a (4,4) supersymmetric 2d CFT parametrized by the integers $Q_1,Q_5$ and other moduli. It is related by T-duality to type IIA string theory in the near-horizon limit of the D2-D4 solution which admits an uplift to the 11d AdS$_3 \times S^3\times T^5$ background which is the near-horizon limit of the M2-M5 solution. We point out that this relation allows one to use the quantum M2-brane description to probe ``non-planar'' corrections in the dual 2d CFT, in close analogy with the ABJM theory case (described by M-theory on AdS$_4 \times S^7/\mathbb{Z}_k$). We consider an analog of a supersymmetric Wilson loop (line defect) expectation value represented by type IIA string partition function expanded around AdS$_2\subset $AdS$_3$ minimal surface. Its M-theory analog is the M2 brane partition function expanded near AdS$_2\times S^1$. We compute the 1-loop contribution $Z_1$ to the M2 brane partition function and find that in contrast to the ABJM case in arXiv:2303.15207 (where $Z_1= (2\sin{\frac{2\pi}{ k}})^{-1} = \frac{k}{ 4 \pi} +\frac{\pi}{ 6k} +...$ contains an infinite series of higher genera string corrections, $k^{-1} \sim \frac{g_s}{ \sqrt {\rm T}}$), here it is given solely by the leading string-theory contribution $Z_1= \frac{\kappa}{ \sqrt{2\pi}}$ where $\kappa \sim \sqrt{Q_5}$ plays a role analogous to $k$. We also discuss a generalization to the mixed flux case which is straightforward from the 11d perspective.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper argues that T-duality from the D1-D5 near-horizon IIA background to the M2-M5 11d uplift allows the supersymmetric Wilson loop (line defect) in the dual 2d CFT to be computed from the M2-brane partition function expanded around AdS2 × S1. It reports an explicit one-loop computation of this partition function yielding the exact result Z1 = κ / √(2π) with κ ∼ √Q5, containing only the leading string contribution and no higher-genus corrections (in contrast to the ABJM case). A brief discussion of the mixed-flux generalization is included.
Significance. If the T-duality/uplift mapping and the one-loop determinant evaluation are correct, the result supplies a simple, closed-form leading non-planar correction to the Wilson-loop expectation value controlled solely by the background flux parameter κ. This would provide a concrete, falsifiable prediction for the 2d CFT that differs structurally from the infinite series found in ABJM, potentially clarifying the role of compactification in controlling higher-genus effects.
major comments (2)
- [Introduction and Section 2] The central identification of the M2-brane 1-loop determinant with the type-IIA string partition function around AdS2 relies on the T-duality and 11d uplift preserving the supersymmetric line defect without extra zero modes or measure factors. No explicit check of Killing spinors, RR-flux components, or T4→T5 compactification directions is supplied; this assumption is load-bearing for the claim that Z1 reduces exactly to the leading term κ/√(2π).
- [Section 4] §4 (or the section containing the fluctuation analysis): the one-loop determinant computation is stated to yield Z1 = κ/√(2π) after regularization, but no explicit regularization scheme, zero-mode counting, or error-bar analysis is provided. Without these details it is impossible to confirm that no additional constant or κ-dependent factors arise.
minor comments (2)
- [Introduction] The notation for the parameter κ (defined as ∼√Q5) should be introduced with an explicit equation relating it to the background fluxes before its use in the final expression for Z1.
- [Introduction] A reference to the precise ABJM computation (arXiv:2303.15207) should be given when contrasting the presence versus absence of higher-genus terms.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting the load-bearing assumptions in the T-duality/uplift argument and the one-loop computation. We address both major comments below by clarifying the underlying reasoning and committing to targeted revisions that supply the requested explicit checks and technical details.
read point-by-point responses
-
Referee: [Introduction and Section 2] The central identification of the M2-brane 1-loop determinant with the type-IIA string partition function around AdS2 relies on the T-duality and 11d uplift preserving the supersymmetric line defect without extra zero modes or measure factors. No explicit check of Killing spinors, RR-flux components, or T4→T5 compactification directions is supplied; this assumption is load-bearing for the claim that Z1 reduces exactly to the leading term κ/√(2π).
Authors: We agree that the preservation of the supersymmetric line defect under the T-duality and 11d uplift is central and that an explicit verification strengthens the argument. The manuscript relies on the standard fact that the D1-D5 near-horizon geometry is T-dual to the D2-D4 geometry whose uplift yields the M2-M5 background, with the line defect (wrapping the AdS2 minimal surface) mapping to the M2-brane configuration without introducing additional zero modes; this follows from the known supersymmetry preservation in the D1-D5 system and the fact that the T4 directions are transverse to the defect. To make this fully explicit, we will add a short subsection in Section 2 that (i) recalls the Killing spinor equations for the line defect in the IIA background, (ii) shows their compatibility with the T-duality transformation rules for RR fluxes, and (iii) confirms that the T4→T5 compactification does not generate extra fermionic zero modes or modify the measure factor beyond the standard κ rescaling. This addition will directly support the reduction of Z1 to the reported leading term. revision: yes
-
Referee: [Section 4] §4 (or the section containing the fluctuation analysis): the one-loop determinant computation is stated to yield Z1 = κ/√(2π) after regularization, but no explicit regularization scheme, zero-mode counting, or error-bar analysis is provided. Without these details it is impossible to confirm that no additional constant or κ-dependent factors arise.
Authors: We acknowledge that the one-loop determinant evaluation in Section 4 would benefit from a more detailed presentation of the regularization procedure. The computation proceeds by expanding the M2-brane action to quadratic order around the AdS2 × S1 embedding, obtaining a set of bosonic and fermionic fluctuation operators whose determinants are evaluated via zeta-function regularization after subtracting the contribution of the translational and supersymmetry zero modes (which are factored out to obtain the normalized partition function). The resulting finite part yields precisely Z1 = κ / √(2π) with no additional constant or κ-dependent terms. In the revised manuscript we will add an appendix that (i) lists the explicit fluctuation operators, (ii) describes the zeta-function regularization scheme including the subtraction of zero modes, and (iii) provides a brief error estimate confirming the absence of further corrections at this order. This will allow independent verification that the result contains only the leading string contribution. revision: yes
Circularity Check
M2-brane 1-loop determinant computation is self-contained
full rationale
The paper motivates the M2-brane setup via T-duality and uplift from the known IIA D1-D5 near-horizon background, then computes the 1-loop partition function Z1 directly as the fluctuation determinant around AdS2 × S1. This yields Z1 = κ / √(2π) with κ identified geometrically as ∼ √Q5. No step reduces a prediction to a fitted parameter by construction, renames a known result, or relies on a self-citation chain for the central claim; the ABJM contrast is drawn from external literature without load-bearing dependence. The derivation therefore remains independent of its inputs.
Axiom & Free-Parameter Ledger
free parameters (1)
- kappa
axioms (1)
- domain assumption The near-horizon limit of the D1-D5 solution is dual to the (4,4) 2d CFT and admits the stated T-duality and 11d uplift.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We compute the 1-loop contribution Z1 to the M2 brane partition function and find that ... it is given solely by the leading string-theory contribution Z1= κ / √(2π) where κ ∼ √Q5
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the AdS3×S3×T5 background which is the near-horizon limit of the M2-M5 solution
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
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]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[2]
Large N Field Theories, String Theory and Gravity
O. Aharony, S. S. Gubser, J. M. Maldacena, H. Ooguri and Y. Oz,Large N field theories, string theory and gravity,Phys. Rept.323(2000) 183 [hep-th/9905111]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[3]
N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals
O. Aharony, O. Bergman, D. L. Jafferis and J. Maldacena,N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals,JHEP10(2008) 091 [0806.1218]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[4]
S. Giombi and A. A. Tseytlin,Wilson Loops at Large N and the Quantum M2-Brane,Phys. Rev. Lett.130 (2023) 201601 [2303.15207]
-
[5]
M. Beccaria, S. Giombi and A. A. Tseytlin,Instanton contributions to the ABJM free energy from quantum M2 branes,JHEP10(2023) 029 [2307.14112]
- [6]
-
[7]
M. Beccaria and A. A. Tseytlin,Non-planar corrections to ABJM Bremsstrahlung function from quantum M2 brane,J. Phys. A58(2025) 175401 [2501.06858]
-
[8]
M. Beccaria, S. A. Kurlyand and A. A. Tseytlin,On non-planar ABJM anomalous dimensions from M2 branes inAdS 4×S7/Zk,JHEP05(2025) 187 [2503.09360]
- [9]
- [10]
-
[11]
On The Conformal Field Theory Of The Higgs Branch
E. Witten,On the conformal field theory of the Higgs branch,JHEP07(1997) 003 [hep-th/9707093]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[12]
Integrability and the Conformal Field Theory of the Higgs branch
O. Ohlsson Sax, A. Sfondrini and B. Stefanski,Integrability and the Conformal Field Theory of the Higgs branch,JHEP06(2015) 103 [1411.3676]. 26
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[13]
The D1/D5 System And Singular CFT
N. Seiberg and E. Witten,The D1/D5 system and singular CFT,JHEP04(1999) 017 [hep-th/9903224]. J. R. David, G. Mandal and S. R. Wadia,Microscopic formulation of black holes in string theory,Phys. Rept. 369(2002) 549 [hep-th/0203048]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[14]
O. Aharony and E. Y. Urbach,Type II string theory on AdS3xS3xT4 and symmetric orbifolds,Phys. Rev. D 110(2024) 046028 [2406.14605]
-
[15]
Integrability and the AdS(3)/CFT(2) correspondence
A. Babichenko, B. Stefanski, Jr. and K. Zarembo,Integrability and the AdS(3)/CFT(2) correspondence,JHEP 03(2010) 058 [0912.1723]. S. Demulder, S. Driezen, B. Knighton, G. Oling, A. L. Retore, F. K. Seibold et al.,Exact approaches on the string worldsheet,J. Phys. A57(2024) 423001 [2312.12930]. S. Frolov, D. Polvara and A. Sfondrini,Dressing Factors and Mi...
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[16]
M. R. Gaberdiel, D. Kempel and B. Nairz,AdS3×S3 magnons in the symmetric orbifold,JHEP05(2025) 229 [2412.02741]. S. M. Chester and D.-l. Zhong,AdS3×S3 Virasoro-Shapiro Amplitude with Ramond-Ramond Flux,Phys. Rev. Lett.134(2025) 151602 [2412.06429]. H. Jiang and D.-l. Zhong,AdS3×S3 Virasoro-Shapiro amplitude with KK modes,JHEP02(2026) 071 [2508.06039]. H. ...
-
[17]
M. Henningson and K. Skenderis,The Holographic Weyl anomaly,JHEP07(1998) 023 [hep-th/9806087]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[18]
Supergravity one-loop corrections on AdS_7 and AdS_3, higher spins and AdS/CFT
M. Beccaria, G. Macorini and A. A. Tseytlin,Supergravity one-loop corrections on AdS7 and AdS3, higher spins and AdS/CFT,Nucl. Phys. B892(2015) 211 [1412.0489]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[19]
Higher spins in AdS_5 at one loop: vacuum energy, boundary conformal anomalies and AdS/CFT
M. Beccaria and A. A. Tseytlin,Higher spins in AdS5 at one loop: vacuum energy, boundary conformal anomalies and AdS/CFT,JHEP11(2014) 114 [1410.3273]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[20]
Green-Schwarz String in AdS_5 x S^5: Semiclassical Partition Function
N. Drukker, D. J. Gross and A. A. Tseytlin,Green-Schwarz string in AdS5×S5: Semiclassical partition function,JHEP04(2000) 021 [hep-th/0001204]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[21]
S. Giombi and A. A. Tseytlin,Strong coupling expansion of circular Wilson loops and string theories in AdS5×S5 and AdS4×CP3,JHEP10(2020) 130 [2007.08512]
- [22]
-
[23]
A. A. Tseytlin,Harmonic superpositions of M-branes,Nucl. Phys. B475(1996) 149 [hep-th/9604035]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[24]
Semiclassical Analysis of M2-brane in AdS_4 x S^7 / Z_k
M. Sakaguchi, H. Shin and K. Yoshida,Semiclassical Analysis of M2-brane inAdS4×S7/Zk,JHEP12(2010) 012 [1007.3354]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[25]
J. K. Erickson, G. W. Semenoff and K. Zarembo,Wilson loops in N=4 supersymmetric Yang-Mills theory, Nucl. Phys. B582(2000) 155 [hep-th/0003055]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[26]
An Exact Prediction of N=4 SUSYM Theory for String Theory
N. Drukker and D. J. Gross,An Exact prediction of N=4 SYM theory for string theory,J. Math. Phys.42 (2001) 2896 [hep-th/0010274]. 27
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[27]
From weak to strong coupling in ABJM theory
N. Drukker, M. Marino and P. Putrov,From weak to strong coupling in ABJM theory,Commun. Math. Phys. 306(2011) 511 [1007.3837]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[28]
E. Bergshoeff, E. Sezgin and P. K. Townsend,Supermembranes and Eleven-Dimensional Supergravity,Phys. Lett. B189(1987) 75
work page 1987
-
[29]
ABJM Wilson loops in the Fermi gas approach
A. Klemm, M. Marino, M. Schiereck and M. Soroush,Aharony–Bergman–Jafferis–Maldacena Wilson Loops in the Fermi Gas Approach,Z. Naturforsch. A68(2013) 178 [1207.0611]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[30]
M. J. Duff, P. S. Howe, T. Inami and K. S. Stelle,Superstrings in D=10 from Supermembranes in D=11, Phys. Lett. B191(1987) 70
work page 1987
-
[31]
G. Papadopoulos and P. K. Townsend,Intersecting M-branes,Phys. Lett. B380(1996) 273 [hep-th/9603087]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[32]
Closed Strings and Moduli in $AdS_3/CFT_2$
O. Ohlsson Sax and B. Stefański,Closed strings and moduli in AdS3/CFT2,JHEP05(2018) 101 [1804.02023]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[33]
D. Pajer,On quantum corrections to BPS Wilson loops in superstring theory onAdS3×S3×T4 with mixed flux,2109.11318
-
[34]
M. Beccaria, S. A. Kurlyand and A. A. Tseytlin,2-loop free energy of M2 brane in AdS7×S4 and surface defect anomaly in (2,0) theory,2511.22306. M. Beccaria, S. A. Kurlyand and A. A. Tseytlin,Strong coupling expansion of1 2 BPS Wilson loop in SYM theory and 2-loop Green-Schwarz string in AdS5×S5,2601.08809
-
[35]
N. Sakai and Y. Tanii,Supersymmetry in two-dimensional anti-de Sitter space,Nucl. Phys. B258(1985) 661
work page 1985
-
[36]
E. I. Buchbinder and A. A. Tseytlin,1/N correction in the D3-brane description of a circular Wilson loop at strong coupling,Phys. Rev. D89(2014) 126008 [1404.4952]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[37]
F. W. J. Olver, ed.,NIST Handbook of Mathematical Functions. Cambridge University Press, New York, 2010
work page 2010
-
[38]
M. Beccaria and A. A. Tseytlin,Comments on ABJM free energy on S3 at large N and perturbative expansions in M-theory and string theory,Nucl. Phys. B994(2023) 116286 [2306.02862]
-
[39]
Duality in the Type--II Superstring Effective Action
E. Bergshoeff, C. M. Hull and T. Ortin,Duality in the type II superstring effective action,Nucl. Phys. B451 (1995) 547 [hep-th/9504081]
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[40]
Six-Dimensional Supergravity on S^3 X AdS_3 and 2d Conformal Field Theory
J. de Boer,Six-dimensional supergravity on S3×AdS(3) and 2-D conformal field theory,Nucl. Phys. B548 (1999) 139 [hep-th/9806104]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[41]
Wilson lines as superconformal defects in ABJM theory: a formula for the emitted radiation
L. Bianchi, L. Griguolo, M. Preti and D. Seminara,Wilson lines as superconformal defects in ABJM theory: a formula for the emitted radiation,JHEP10(2017) 050 [1706.06590]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[42]
L. Bianchi, G. Bliard, V. Forini, L. Griguolo and D. Seminara,Analytic bootstrap and Witten diagrams for the ABJM Wilson line as defect CFT1,JHEP08(2020) 143 [2004.07849]. N. Gorini, L. Griguolo, L. Guerrini, S. Penati, D. Seminara and P. Soresina,Constant primary operators and where to find them: the strange case of BPS defects in ABJ(M) theory,JHEP02(20...
-
[43]
J. H. Schwarz,An SL(2,Z) multiplet of type IIB superstrings,Phys. Lett. B360(1995) 13 [hep-th/9508143]
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[44]
P. S. Aspinwall,Some relationships between dualities in string theory,Nucl. Phys. B Proc. Suppl.46(1996) 30 [hep-th/9508154]. J. H. Schwarz,The power of M theory,Phys. Lett. B367(1996) 97 [hep-th/9510086]. E. Witten,Bound states of strings and p-branes,Nucl. Phys. B460(1996) 335 [hep-th/9510135]. 28
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[45]
J. G. Russo and A. A. Tseytlin,Waves, boosted branes and BPS states in M theory,Nucl. Phys. B490(1997) 121 [hep-th/9611047]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[46]
A. A. Tseytlin,Composite BPS configurations of p-branes in ten-dimensions and eleven-dimensions,Class. Quant. Grav.14(1997) 2085 [hep-th/9702163]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[47]
A. A. Tseytlin,Extreme dyonic black holes in string theory,Mod. Phys. Lett. A11(1996) 689 [hep-th/9601177]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[48]
C. G. Callan and J. M. Maldacena,D-brane approach to black hole quantum mechanics,Nucl. Phys. B472 (1996) 591 [hep-th/9602043]
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[49]
On string theory on AdS_3 x S^3 x T^4 with mixed 3-form flux: tree-level S-matrix
B. Hoare and A. A. Tseytlin,On string theory onAdS3×S3×T4 with mixed 3-form flux: tree-level S-matrix, Nucl. Phys. B873(2013) 682 [1303.1037]. B. Hoare, F. K. Seibold and A. A. Tseytlin,Integrable supersymmetric deformations of AdS3×S3×T4,JHEP 09(2022) 018 [2206.12347]. 29
work page internal anchor Pith review Pith/arXiv arXiv 2013
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.