Track the frontier, from condensed matter to cosmology.
Search papers, labs, and topics across Lattice.
The authors compute the 2-loop quantum correction to the partition function of an M2 brane instanton wrapping $S^3/\mathbb{Z}_k$ in $\mathrm{AdS}_4\times S^7/\mathbb{Z}_k$, which describes non-perturbative large-$N$ corrections to the ABJM 3-sphere free energy. Evaluating this correction provides a precision test of the AdS/CFT correspondence against boundary supersymmetric localization predictions in the presence of bosonic and fermionic zero modes. They find that for $k>2$ the transcendental 4-vertex contribution is canceled by the collective-coordinate Jacobian—with residual rational terms vanishing under supersymmetry—indicating that the instanton partition function is 1-loop exact.
Non-perturbative M2 brane instanton partition functions turn out to be 1-loop exact, as non-trivial collective-coordinate Jacobians precisely cancel 2-loop quantum corrections in $\mathrm{AdS}_4\times S^7/\mathbb{Z}_k$.
As was shown in arXiv:2609.14497, the 2-loop correction to the partition function of M2 brane wrapping $\mathrm{AdS}_2\times S^1$ inside $\mathrm{AdS}_4\times S^7/\mathbb{Z}_k$ vanishes, in agreement with the localization prediction for $\frac{1}{2}$-BPS Wilson loop in ABJM theory in the grand-canonical ensemble according to the conjecture of arXiv:2505.21633. Here we study the 2-loop correction in the case of the M2 brane instanton $S^3/\mathbb Z_k\subset S^7/\mathbb Z_k$ dual to non-perturbative large $N$ contribution to ABJM free energy on 3-sphere. The 1-loop instanton contribution was shown in arXiv:2307.14112 to match the localization prediction. The 2-loop computation is complicated by the presence of bosonic and fermionic zero modes, which require using projected Green's functions and accounting for the collective-coordinate Jacobian. The Jacobian provides a non-trivial 2-loop contribution in addition to the one of the 4-vertex in the M2 brane action. We find that for $k>2$ the transcendental $k$-dependence of the 4-vertex contribution is cancelled by the Jacobian for any choice of the separation of the fermionic zero modes from the quantum fields. The residual rational term vanishes for the separation selected by the supersymmetry, under which the collective coordinates and the quantum fields form separate supermultiplets. We conjecture that the remaining integral over the collective coordinates contributes only to an overall normalization of the partition function, so it is 1-loop exact. For $k=1$ the quartic vertex contribution reduces to equation-of-motion terms as in the case of ${\rm AdS}_3 \subset { \rm AdS}_7 \times S^4$ in arXiv:2511.22306 related to $S^3 \subset {\rm AdS}_4 \times S^7$ case by a formal analytic continuation.