M2 brane $S^3/\mathbb Z_k$ instanton partition function in ${\rm AdS}_4\times S^7/\mathbb Z_k$: 2-loop correction
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.