The project was able to advance the state of the art of the field in several important directions.
1. By computing the quantum entropy function for a class of supersymmetric black holes, we could find a partial match with microscopic predictions for the entropy of these black holes. The mismatch appears when we push the comparison to an extremely fine grained level, incorporating contributions to the entropy which are almost vanishingly small. Nonetheless the matching should be exact, as a consequence of AdS/CFT duality. We expect that this is an important issue to address within string theory.
2. By computing the on-shell action of supersymmetric black holes in AdS(4) in the supergravity approximation, we provided an extremely universal derivation of the Bekenstein-Hawking formula for entropy for these black holes within the context of the AdS/CFT correspondence. This is particularly important in view of recent results where the entropy for these black holes is computed in the dual CFT. Our result is a single computation which contains in its ambit an extremely wide class, and indeed almost the entire set, of known black hole solutions in AdS(4), and clarifies many conceptual issues in matching gravity results with holographic predictions from the CFT.
3. Further, the computations of logarithmic corrections provided an important insight into the degrees of freedom contained in the event horizon of the black hole. This conclusively demonstrated an important qualitative difference between black holes in AdS(4) and black holes in Minkowskii space, the subject of previous similar analyses in string theory. Namely, that in AdS(4), the degrees of freedom living outside the event horizon contribute significantly to the black hole entropy. This would be an important factor in further developing microscopic descriptions of black holes in Anti-de Sitter space.
4. Further, the subject of constructing interacting higher-spin theories, and tensionless string theory, is a long-standing and difficult problem. It may be expected that if this theory is defined in AdS space, then there would be a dual description of the theory in terms of a CFT. Since typically the CFT description of such theories is easier to construct, it has long been expected that this may be a simpler way to formulate these theories. Our computations represent a concrete application of this approach to study higher-spin theories and tensionless strings at the quantum level.
5. The computations of one-loop free energy for higher-spin/CFT dualities shed important new light on their validity at the quantum level. In particular, having defined an AdS/CFT duality at the classical level, we would like to formulate consistency criteria for its validity at the quantum level. We investigated such criteria in the context of higher-spin/CFT dualities and found that for most well-studied dualities, they are satisfied. Importantly, we found examples where they are violated, signalling an inconsistency for these theories at the quantum level. This firstly emphasizes that these criteria are indeed non-trivial, in the sense that not every duality will pass them. Secondly, we found that these criteria are indeed satisfied by supersymmetric theories. We expect that these results will be of interest to researchers looking to formulate quantum gravity by means of holography in non-supersymmetric settings, an important area of research in its own right.