One-loop divergences for KK theories on AdStimes S spaces; a reanalysis of AdS₄ times S⁷\,big/ ABJM precision holography
Pith reviewed 2026-06-28 16:50 UTC · model grok-4.3
The pith
The logarithmic divergence in one-loop 11d supergravity on AdS4 x S7 arises solely from the 2-form ghost mode after Kaluza-Klein reduction.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By expanding the kinetic operators of 11d supergravity fields in S7 spherical harmonics, the (11-dimensional) spectral problem reduces to an infinite tower of 4d AdS4 determinants whose logarithmic divergences are isolated via zeta-function regularization; after the Kaluza-Klein sum and zero-mode subtraction, the only surviving log divergence comes from the 2-form AdS mode in the ghost sector, yielding exactly the 1/4 log N correction to the ABJM free energy.
What carries the argument
Spherical-harmonic expansion of higher-dimensional operators that converts the AdS x S spectral problem into a sum of AdS determinants, followed by zeta-function extraction of the log divergence with explicit zero-mode handling.
If this is right
- The same reduction applies to one-loop determinants on AdS_dA x S_dS spaces of any dimension.
- All bosonic and fermionic modes in the 11d supergravity multiplet on AdS4 x S7 cancel except the indicated ghost 2-form.
- The resulting 1/4 log N matches the value obtained by supersymmetric localization on the boundary.
- The framework supplies a four-dimensional language for precision holography checks that avoids direct eleven-dimensional regularization.
Where Pith is reading between the lines
- The same reduction technique could be applied to other compactifications such as AdS5 x S5 to check one-loop corrections in N=4 SYM.
- If the zero-mode subtraction procedure remains consistent at two loops, the method might constrain higher-order terms in the holographic free energy.
- The isolation of the divergence to a single ghost mode suggests that gauge-fixing choices in the bulk may control the entire logarithmic piece in related theories.
Load-bearing premise
The zero-mode contributions on the sphere can be isolated as extra AdS determinants and subtracted after the Kaluza-Klein sum without leaving behind scheme-dependent pieces or missing finite terms.
What would settle it
An explicit computation of the full Kaluza-Klein sum that produces a non-zero logarithmic divergence from any mode other than the 2-form ghost, or that leaves a residual scheme-dependent log term after zero-mode subtraction.
read the original abstract
We provide a systematic framework for computing the logarithmically divergent part of one-loop partition functions on product spaces $\mathrm{AdS}_{d_A} \times S^{d_S}$ of arbitrary dimension. By expanding the higher-dimensional kinetic operators in spherical harmonics, we reduce the ($d_A+d_S$)-dimensional spectral problem to an infinite tower of $d_A$-dimensional determinants, which are then represented via spectral $\zeta$-function methods. We isolate the logarithmic divergences arising from the interplay between the individual AdS determinants and the infinite Kaluza-Klein sum, carefully accounting for the contributions of zero modes on the sphere that produce additional AdS determinants. We test this framework on different fields and apply it to the complete multiplet of 11-dimensional supergravity on $\mathrm{AdS}_4 \times S^7$. We recover in a 4d language the result of arXiv:1210.6057, namely that the only non-vanishing logarithmic divergence originates entirely from the 2-form AdS mode in the ghost sector, reproducing the well-known $\frac{1}{4}\log N$ correction to the ABJM free energy predicted by supersymmetric localization.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a systematic framework for extracting the logarithmically divergent part of one-loop partition functions on AdS_{d_A} × S^{d_S} spaces. It expands higher-dimensional operators in S^{d_S} harmonics to reduce the problem to an infinite tower of AdS_{d_A} determinants, evaluates these via spectral zeta functions, and subtracts zero-mode contributions on the sphere. Applied to the complete 11d supergravity multiplet on AdS_4 × S^7, the paper concludes that the only surviving logarithmic divergence arises from the 2-form mode in the ghost sector, reproducing the 1/4 log N correction to the ABJM free energy.
Significance. If the zero-mode handling is robust, the work supplies a concrete 4d language for one-loop KK computations on AdS × S backgrounds and provides an independent check of the supersymmetric localization result for ABJM. The explicit reduction to AdS determinants and the isolation of a single contributing mode are potentially reusable for other precision holography calculations.
major comments (2)
- [§4.2] §4.2 (zero-mode subtraction procedure): the claim that additional AdS determinants from sphere zero modes can be subtracted without residual scheme-dependent log terms or finite pieces after the KK sum is load-bearing for the central assertion that every multiplet except the ghost 2-form cancels. No explicit check is given that the subtraction commutes with the log-extraction step for different regulators (e.g., hard cutoff on KK level versus analytic continuation of the spectral zeta).
- [§5.3] §5.3 (application to 11d SUGRA multiplet): while the final coefficient is stated to match 1/4, the manuscript supplies no tabulated breakdown of the log-divergent contributions from each field in the multiplet (or even a summary of which cancel). This omission makes it impossible to verify that the cancellation is complete and that the ghost 2-form alone produces the quoted result.
minor comments (2)
- [Abstract] The abstract states the framework applies to 'arbitrary dimension' yet the only concrete application is d_A=4, d_S=7; a brief remark on the obstacles for other (d_A, d_S) pairs would clarify the scope.
- [§3] Notation for the AdS determinants after KK reduction (e.g., the precise definition of the shifted mass parameters m_{k,ℓ}) is introduced without a compact summary table, forcing the reader to hunt through multiple equations.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive comments, which help clarify the robustness of our framework. We address the two major points below and will incorporate revisions to improve transparency and verification.
read point-by-point responses
-
Referee: [§4.2] §4.2 (zero-mode subtraction procedure): the claim that additional AdS determinants from sphere zero modes can be subtracted without residual scheme-dependent log terms or finite pieces after the KK sum is load-bearing for the central assertion that every multiplet except the ghost 2-form cancels. No explicit check is given that the subtraction commutes with the log-extraction step for different regulators (e.g., hard cutoff on KK level versus analytic continuation of the spectral zeta).
Authors: We agree that an explicit cross-check between regulators would strengthen the central claim. While the zeta-function approach is analytic and the logarithmic terms are expected to be regulator-independent once zero modes are properly subtracted, we will add a short appendix in the revised manuscript that performs the comparison with a hard KK cutoff (truncated at large level and extrapolated). This will explicitly confirm that no additional scheme-dependent logarithms survive after subtraction and that the procedure commutes with the log extraction. revision: yes
-
Referee: [§5.3] §5.3 (application to 11d SUGRA multiplet): while the final coefficient is stated to match 1/4, the manuscript supplies no tabulated breakdown of the log-divergent contributions from each field in the multiplet (or even a summary of which cancel). This omission makes it impossible to verify that the cancellation is complete and that the ghost 2-form alone produces the quoted result.
Authors: We accept that a tabulated breakdown would make the cancellation pattern verifiable at a glance. In the revised manuscript we will insert a new table (or compact summary table) in §5.3 that lists the logarithmic coefficient for every field in the 11d supergravity multiplet, grouped by type (metric, 3-form, gravitino, etc.), showing the individual contributions before and after zero-mode subtraction and highlighting that all cancel except the ghost 2-form mode. revision: yes
Circularity Check
Derivation is self-contained; no load-bearing reductions to inputs
full rationale
The paper develops a general framework reducing (dA+dS)-dimensional operators to towers of dA-dimensional determinants via spherical harmonics, then extracts log divergences with zeta functions while isolating zero-mode AdS determinants. This procedure is applied to the full 11d supergravity multiplet on AdS4×S7, yielding the result that only the ghost 2-form contributes. The reproduction of the known 1/4 log N (from arXiv:1210.6057) is presented as an output of the calculation rather than an input; no equations or steps are shown to be equivalent to the target by construction, and the zero-mode handling is described as part of the systematic subtraction without reference to fitting the final coefficient. The framework is tested on multiple fields independently of the ABJM case.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Spectral zeta-function regularization correctly isolates the logarithmic divergences after the KK sum.
- domain assumption Zero modes on the sphere generate additional AdS determinants whose divergences can be subtracted cleanly.
Reference graph
Works this paper leans on
-
[1]
S. Bhattacharyya, A. Grassi, M. Marino and A. Sen,A One-Loop Test of Quantum Supergravity,Class. Quant. Grav.31(2014) 015012 [1210.6057]
Pith/arXiv arXiv 2014
-
[2]
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
-
[3]
S. S. Gubser, I. R. Klebanov and A. M. Polyakov,Gauge theory correlators from noncritical string theory, Phys. Lett. B428(1998) 105 [hep-th/9802109]
Pith/arXiv arXiv 1998
-
[4]
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]
Pith/arXiv arXiv 1998
-
[5]
Pestun,Localization of gauge theory on a four-sphere and supersymmetric Wilson loops,Commun
V. Pestun,Localization of gauge theory on a four-sphere and supersymmetric Wilson loops,Commun. Math. Phys.313(2012) 71 [0712.2824]
Pith/arXiv arXiv 2012
-
[6]
Pestun et al.,Localization techniques in quantum field theories,J
V. Pestun et al.,Localization techniques in quantum field theories,J. Phys. A50(2017) 440301 [1608.02952]
Pith/arXiv arXiv 2017
- [7]
-
[8]
F. F. Gautason, V. G. M. Puletti and J. van Muiden,Quantized strings and instantons in holography, JHEP08(2023) 218 [2304.12340]
arXiv 2023
-
[9]
F. F. Gautason and V. G. M. Puletti,Precision holography for 5D Super Yang-Mills,JHEP03(2022) 018 [2111.15493]
arXiv 2022
-
[10]
M. Beccaria, S. Giombi and A. A. Tseytlin,Instanton contributions to the ABJM free energy from quantum M2 branes,JHEP10(2023) 029 [2307.14112]
arXiv 2023
-
[11]
Tseytlin,AdS/CFT, Wilson loops and M2-branes,PoSICPPCRubakov2023(2024) 008
A. Tseytlin,AdS/CFT, Wilson loops and M2-branes,PoSICPPCRubakov2023(2024) 008
2024
-
[12]
M. Beccaria, L. Casarin and A. A. Tseytlin,Semiclassical quantization of M5 brane probes wrapped on AdS3×S 3 and defect anomalies,JHEP01(2025) 088 [2411.11626]
arXiv 2025
-
[13]
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]
Pith/arXiv arXiv 2014
-
[14]
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]
Pith/arXiv arXiv 2008
-
[15]
M. Marino and P. Putrov,ABJM theory as a Fermi gas,J. Stat. Mech.1203(2012) P03001 [1110.4066]
Pith/arXiv arXiv 2012
-
[16]
H. Fuji, S. Hirano and S. Moriyama,Summing Up All Genus Free Energy of ABJM Matrix Model,JHEP 08(2011) 001 [1106.4631]
Pith/arXiv arXiv 2011
- [17]
- [18]
-
[19]
N. Bobev, P.-J. De Smet, J. Hong, V. Reys and X. Zhang,An Airy tale at large N,JHEP07(2025) 123 [2502.04606]
arXiv 2025
-
[20]
N. Drukker, M. Marino and P. Putrov,From weak to strong coupling in ABJM theory,Commun. Math. Phys.306(2011) 511 [1007.3837]
Pith/arXiv arXiv 2011
-
[21]
D. L. Jafferis, I. R. Klebanov, S. S. Pufu and B. R. Safdi,Towards the F-Theorem: N=2 Field Theories on the Three-Sphere,JHEP06(2011) 102 [1103.1181]
Pith/arXiv arXiv 2011
-
[22]
F. Benini, K. Hristov and A. Zaffaroni,Black hole microstates in AdS 4 from supersymmetric localization, JHEP05(2016) 054 [1511.04085]. 36
Pith/arXiv arXiv 2016
-
[23]
S. M. Hosseini and A. Zaffaroni,LargeNmatrix models for 3dN= 2theories: twisted index, free energy and black holes,JHEP08(2016) 064 [1604.03122]
Pith/arXiv arXiv 2016
-
[24]
F. Azzurli, N. Bobev, P. M. Crichigno, V. S. Min and A. Zaffaroni,A universal counting of black hole microstates in AdS4,JHEP02(2018) 054 [1707.04257]
Pith/arXiv arXiv 2018
-
[25]
Zaffaroni,AdS black holes, holography and localization,Living Rev
A. Zaffaroni,AdS black holes, holography and localization,Living Rev. Rel.23(2020) 2 [1902.07176]
arXiv 2020
- [26]
- [27]
-
[28]
N. Bobev and P. Bomans,Spin structures and AdS 4 holography,JHEP02(2022) 052 [2112.10532]
arXiv 2022
-
[29]
Bobev,Notes on AdS 4 Holography and Higher-Derivative Supergravity,Springer Proc
N. Bobev,Notes on AdS 4 Holography and Higher-Derivative Supergravity,Springer Proc. Math. Stat.396 (2022) 89
2022
-
[30]
Sen,Entropy Function and AdS(2) / CFT(1) Correspondence,JHEP11(2008) 075 [0805.0095]
A. Sen,Entropy Function and AdS(2) / CFT(1) Correspondence,JHEP11(2008) 075 [0805.0095]
Pith/arXiv arXiv 2008
-
[31]
S. Banerjee, R. K. Gupta and A. Sen,Logarithmic Corrections to Extremal Black Hole Entropy from Quantum Entropy Function,JHEP03(2011) 147 [1005.3044]
Pith/arXiv arXiv 2011
-
[32]
S. Banerjee, R. K. Gupta, I. Mandal and A. Sen,Logarithmic Corrections to N=4 and N=8 Black Hole Entropy: A One Loop Test of Quantum Gravity,JHEP11(2011) 143 [1106.0080]
Pith/arXiv arXiv 2011
-
[33]
A. Sen,Logarithmic Corrections to Schwarzschild and Other Non-extremal Black Hole Entropy in Different Dimensions,JHEP04(2013) 156 [1205.0971]
Pith/arXiv arXiv 2013
-
[34]
Sen,Logarithmic Corrections to N=2 Black Hole Entropy: An Infrared Window into the Microstates, Gen
A. Sen,Logarithmic Corrections to N=2 Black Hole Entropy: An Infrared Window into the Microstates, Gen. Rel. Grav.44(2012) 1207 [1108.3842]
Pith/arXiv arXiv 2012
-
[35]
Sen,Logarithmic Corrections to Rotating Extremal Black Hole Entropy in Four and Five Dimensions, Gen
A. Sen,Logarithmic Corrections to Rotating Extremal Black Hole Entropy in Four and Five Dimensions, Gen. Rel. Grav.44(2012) 1947 [1109.3706]
Pith/arXiv arXiv 2012
-
[36]
J. T. Liu and W. Zhao,One-loop supergravity onAdS 4×S7/Zk and comparison with ABJM theory, JHEP11(2016) 099 [1609.02558]
Pith/arXiv arXiv 2016
-
[37]
J. T. Liu, L. A. Pando Zayas, V. Rathee and W. Zhao,Toward Microstate Counting Beyond Large N in Localization and the Dual One-loop Quantum Supergravity,JHEP01(2018) 026 [1707.04197]
Pith/arXiv arXiv 2018
-
[38]
J. T. Liu, L. A. Pando Zayas, V. Rathee and W. Zhao,One-Loop Test of Quantum Black Holes in anti–de Sitter Space,Phys. Rev. Lett.120(2018) 221602 [1711.01076]
Pith/arXiv arXiv 2018
-
[39]
D. Gang, N. Kim and L. A. Pando Zayas,Precision Microstate Counting for the Entropy of Wrapped M5-branes,JHEP03(2020) 164 [1905.01559]
arXiv 2020
- [40]
-
[41]
L. A. Pando Zayas and Y. Xin,Universal logarithmic behavior in microstate counting and the dual one-loop entropy ofAdS 4 black holes,Phys. Rev. D103(2021) 026003 [2008.03239]
arXiv 2021
-
[42]
K. Hristov and V. Reys,Factorization of log-corrections in AdS 4/CFT3 from supergravity localization, JHEP12(2021) 031 [2107.12398]
arXiv 2021
- [43]
-
[44]
S. Karan and G. S. Punia,Logarithmic correction to black hole entropy in universal low-energy string theory models,JHEP03(2023) 028 [2210.16230]
arXiv 2023
- [45]
-
[46]
I. Jeon, A. Kar, B. Panda and A. Shaikh,Moduli-dependent one-loop entropy of hyperbolic BPS black hole in AdS4,2602.18070
-
[47]
D. V. Vassilevich,Heat kernel expansion: User’s manual,Phys. Rept.388(2003) 279 [hep-th/0306138]
Pith/arXiv arXiv 2003
-
[48]
P. B. Gilkey,The Spectral geometry of a Riemannian manifold,J. Diff. Geom.10(1975) 601
1975
-
[49]
A. O. Barvinsky and G. A. Vilkovisky,The Generalized Schwinger-Dewitt Technique in Gauge Theories and Quantum Gravity,Phys. Rept.119(1985) 1
1985
-
[50]
S. Giombi and A. A. Tseytlin,Wilson Loops at Large N and the Quantum M2-Brane,Phys. Rev. Lett. 130(2023) 201601 [2303.15207]
arXiv 2023
-
[51]
S. W. Hawking,Zeta Function Regularization of Path Integrals in Curved Space-Time,Commun. Math. Phys.55(1977) 133
1977
-
[52]
Camporesi,zeta function regularization of one loop effective potentials in anti-de Sitter space-time, Phys
R. Camporesi,zeta function regularization of one loop effective potentials in anti-de Sitter space-time, Phys. Rev. D43(1991) 3958
1991
-
[53]
Camporesi and A
R. Camporesi and A. Higuchi,Arbitrary spin effective potentials in anti-de Sitter space-time,Phys. Rev. D47(1993) 3339
1993
-
[54]
Camporesi and A
R. Camporesi and A. Higuchi,Spectral functions and zeta functions in hyperbolic spaces,J. Math. Phys. 35(1994) 4217
1994
-
[55]
R. Camporesi and A. Higuchi,On the Eigen functions of the Dirac operator on spheres and real hyperbolic spaces,J. Geom. Phys.20(1996) 1 [gr-qc/9505009]
Pith/arXiv arXiv 1996
-
[56]
Camporesi and A
R. Camporesi and A. Higuchi,The plancherel measure for p-forms in real hyperbolic spaces,Journal of Geometry and Physics15(1994) 57
1994
-
[57]
S. Adhikari, J. Hong, C. Joung and G. Lee,Type IIB Supergravity Action and Holography,2603.18248
-
[58]
E. S. Fradkin and A. A. Tseytlin,One Loop Effective Potential in Gauged O(4) Supergravity,Nucl. Phys. B234(1984) 472
1984
-
[59]
A. A. Tseytlin,On partition function and Weyl anomaly of conformal higher spin fields,Nucl. Phys. B 877(2013) 598 [1309.0785]
Pith/arXiv arXiv 2013
-
[60]
Ray and I
D. Ray and I. Singer,R-torsion and the laplacian on riemannian manifolds,Advances in Mathematics7 (1971) 145
1971
-
[61]
V. P. Gusynin,Seeley-gilkey Coefficients for the Fourth Order Operators on a Riemannian Manifold, Nucl. Phys. B333(1990) 296
1990
-
[62]
L. Casarin and A. A. Tseytlin,One-loopβ-functions in 4-derivative gauge theory in 6 dimensions,JHEP 08(2019) 159 [1907.02501]
arXiv 2019
-
[63]
Casarin,Quantum aspects of classically conformal theories in four and six dimensions, Ph.D
L. Casarin,Quantum aspects of classically conformal theories in four and six dimensions, Ph.D. thesis, Humboldt U., Berlin, 2021. Available athttps://doi.org/10.18452/23043. 10.18452/23043
-
[64]
Casarin,Conformal anomalies in 6D four-derivative theories: A heat-kernel analysis,Phys
L. Casarin,Conformal anomalies in 6D four-derivative theories: A heat-kernel analysis,Phys. Rev. D 108(2023) 025014 [2306.05944]
arXiv 2023
-
[65]
E. S. Fradkin and A. A. Tseytlin,Renormalizable asymptotically free quantum theory of gravity,Nucl. Phys.B201(1982) 469
1982
-
[66]
I. G. Avramidi,Heat kernel and quantum gravity,Lect. Notes Phys. Monogr.64(2000) 1
2000
-
[67]
L. Casarin, C. Kennedy and G. Tartaglino-Mazzucchelli,Conformal anomalies for (maximal) 6d conformal supergravity,JHEP10(2024) 227 [2403.07509]
arXiv 2024
-
[68]
S. M. Christensen and M. J. Duff,Quantizing Gravity with a Cosmological Constant,Nucl. Phys. B170 (1980) 480. 38
1980
-
[69]
A. A. Tseytlin,Weyl anomaly of conformal higher spins on six-sphere,Nucl. Phys. B877(2013) 632 [1310.1795]
Pith/arXiv arXiv 2013
-
[70]
Sezgin,The Spectrum of the Eleven-dimensional Supergravity Compactified on the Round Seven Sphere,Phys
E. Sezgin,The Spectrum of the Eleven-dimensional Supergravity Compactified on the Round Seven Sphere,Phys. Lett. B138(1984) 57
1984
-
[71]
Biran, A
B. Biran, A. Casher, F. Englert, M. Rooman and P. Spindel,The Fluctuating Seven Sphere in Eleven-dimensional Supergravity,Phys. Lett. B134(1984) 179
1984
-
[72]
Casher, F
A. Casher, F. Englert, H. Nicolai and M. Rooman,The Mass Spectrum of Supergravity on the Round Seven Sphere,Nucl. Phys. B243(1984) 173
1984
-
[73]
Castellani, R
L. Castellani, R. D’Auria, P. Fre, K. Pilch and P. van Nieuwenhuizen,The Bosonic Mass Formula for Freund-rubin Solutions ofd= 11Supergravity on General Coset Manifolds,Class. Quant. Grav.1(1984) 339
1984
-
[74]
M. J. Duff, B. E. W. Nilsson and C. N. Pope,Kaluza-Klein Supergravity,Phys. Rept.130(1986) 1
1986
-
[75]
Cremmer, B
E. Cremmer, B. Julia and J. Scherk,Supergravity Theory in 11 Dimensions,Phys. Lett. B76(1978) 409
1978
-
[76]
D. Z. Freedman and A. Van Proeyen,Supergravity. Cambridge Univ. Press, Cambridge, UK, 5, 2012, 10.1017/CBO9781139026833
-
[77]
P. G. O. Freund and M. A. Rubin,Dynamics of Dimensional Reduction,Phys. Lett. B97(1980) 233
1980
-
[78]
Thierry-Mieg,BRS Structure of the Antisymmetric Tensor Gauge Theories,Nucl
J. Thierry-Mieg,BRS Structure of the Antisymmetric Tensor Gauge Theories,Nucl. Phys. B335(1990) 334
1990
-
[79]
Siegel,Hidden Ghosts,Phys
W. Siegel,Hidden Ghosts,Phys. Lett. B93(1980) 170
1980
-
[80]
E. J. Copeland and D. J. Toms,Quantized Antisymmetric Tensor Fields and Self-consistent Dimensional Reduction in Higher Dimensional Space-times,Nucl. Phys. B255(1985) 201
1985
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.