Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Mathematics of AdS/CFT

+ 7 like - 0 dislike
1672 views

To date, what is the most mathematically precise formulation of the AdS/CFT correspondence, and what are the most robust tests of the conjecture?


This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user Eric Zaslow

asked Nov 14, 2010 in Theoretical Physics by Eric Zaslow (385 points) [ revision history ]
edited Apr 1, 2014 by dimension10
+1 great question. Maybe it could even be two great questions (one for the formulation of the correspondence, and another about its tests).

This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user David Z

3 Answers

+ 7 like - 0 dislike

I'm not sure what you have in mind with "mathematically precise"; as with almost anything involving quantum field theory or string theory, there's no rigorous definition of the theories involved in the duality. But, if you grant me their existence, I would say the sharpest statement is still the early formulation by Gubser, Klebanov, and Polyakov and by Witten, i.e. that the partition function of the CFT in the presence of external sources for single-trace operators is the same as that for string theory in AdS with boundary conditions determined by the sources.

The most detailed computational checks of the correspondence are probably those that use integrability to compute anomalous dimensions of operators over the full range from weak to strong coupling. I'm not an expert on this, but I'll point you to one fairly recent paper that contains some of the major references to get you started.

From a more global perspective, though, gauge/gravity duality extends well beyond the original case of ${\cal N}=4$ SYM and $AdS_5 \times S^5$, to any theory that meets the two requirements of having a large-$N$ expansion and a large 't Hooft coupling. The important ideas, again, were mostly there in the very early papers, but I would say they've been put on a somewhat more solid footing. The key point is that the bulk theory is tractable in the case when only a few fields are involved and curvatures are weak. This condition, translated to a statement about the dual field theory, is that most of the single-trace operators acquire very large anomalous dimensions (which is natural in very strongly coupled theories). Recently there has been some progress in formulating a bottom-up argument from the opposite direction, i.e. starting with the assumption that a large-$N$ conformal field theory includes few low-dimensional single-trace operators and arguing that this implies the existence of a bulk dual theory. See this paper of Heemskerk et al..

I don't know if any of this is what you would think of as "mathematics"....

This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user Matt Reece
answered Nov 14, 2010 by Matt Reece (1,630 points) [ no revision ]
Thanks, Matt. I have accepted this answer. The fact that the results from '98 seem to still be at the forefront only convinces me that turning AdS/CFT into mathematics (which is still making its way through topological field theory) will be monstrously difficult.

This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user Eric Zaslow
Well, I would say that turning CFTs into mathematics is, as far as I know, still for the most part an open question, and it would seem like a necessary prerequisite for turning AdS/CFT into mathematics. Maybe it would be possible to take field theories that are better understood mathematically (topological field theories, or maybe rational CFTs?) and see if one can tease out an AdS-like structure. But things that really look like classical gravity require rather special field theories (large N, large anom. dimensions), which might not occur in those QFTs that are understood mathematically.

This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user Matt Reece
Eric, you might want to look at a huge review of integrability in AdS/CFT that just appeared today. arxiv.org/abs/1012.3982

This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user pho
Gopakumar-Vafa is essentially an example of that, and it is well-studied (and extremely interesting!). @Jeff, thanks for the reference! I have been reading it. So the name of the game is that "integrability" (a loaded word) allows one to predict that there should be functional equations describing the weights of the superconformal primary fields, which can be checked for certain classes of operators (in SYM) <---> string solutions (in $AdS_5\times S^5$), using very clever arguments. There is a great deal of complexity, meaning agreements are not coincidental; evidence is convincing.

This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user Eric Zaslow
+ 4 like - 0 dislike

when one talks about "truly rigorous" mathematical physics, there is really no good treatment of ordinary quantum field theory yet. So of course, there is no "truly rigorous" framework to discuss AdS/CFT whose one side is a quantum field theory and another side is something even more complicated - a description of a quantum gravity theory in terms of string/M-theory.

At the physics level, nothing has changed since 1997 or early 1998: the claim was known in the right form from the very beginning. The string theory dynamics in the AdS space is exactly equivalent to the dynamics of the field theory on the boundary. While the field theory may be defined by the lattice - up to some issues with adjusting supersymmetry at long distances - the gravitating string theory side is only known from various limiting descriptions, including perturbative string theory, Matrix theory, and other dual descriptions, besides various terms calculable from SUSY etc. But there is no counterpart of the "lattice" that would allow us to define string theory "completely exactly" in any background.

Nathan Berkovits has made the longest steps to prove AdS/CFT in a Gopakumar-Vafa way, using his pure spinors etc: the world sheet of string theory directly degenerates into Feynman diagrams in the right limit. However, no physicist is too curious about such things because the map clearly works. I believe that the tests derived from the BMN-pp-wave duality - which show that even all strings and their interactions on the AdS side exactly match to the boundary CFT side - are among the most stringent tests of the AdS/CFT correspondence - especially for the canonical background AdS5 x S5 of type IIB related to N=4 SYM in d=4.

This industry has transformed to the integrability business in recent years and increasingly began to overlap with the research of the people who study N=4 SYM scattering amplitudes via twistors although the role of the AdS gravity in the latter remains largely invisible.

Best wishes Lubos

This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user Luboš Motl
answered Jan 14, 2011 by Luboš Motl (10,278 points) [ no revision ]
Dear Lubos, thanks for the summary. Though I can't follow everything you write, I am immediately drawn to this, your boldest remark: "which show that even all strings and their interactions on the AdS side exactly match to the boundary CFT side." Can you elaborate on this claim?

This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user Eric Zaslow
+ 3 like - 0 dislike

The most robust experimental test of AdS/CFT so far is the measurement of the viscosity of the quark-gluon plasma formed in the aftermath of collisions between heavy atoms. There is a nice paper on arXiv about AdS-CFT and the RHIC fireball, where RHIC is the relativistic heavy ion collider at Brookhaven. And another nice review paper on the underlying physics by Son and Starinets. You might also find stimulating Subir Sachdev's work relating AdS/CFT to problems in condensed matter.

                              All the best,
This post imported from StackExchange Physics at 2014-04-01 16:49 (UCT), posted by SE-user user346
answered Nov 14, 2010 by Deepak Vaid (1,985 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\varnothing$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...