# What evidence do we have for S-duality in N=4 Super-Yang-Mills?

+ 6 like - 0 dislike
99 views

Do we have anything resembling a proof*? Or is it just a collection of "coincidences"?

Also, do we have evidence from lattice gauge theory computations?

*Of course I'm not talking about a proof in the mathematical sense, only a compelling albeit heuristic argument e.g. an argument involving formal manipulations with path integrals.

This post has been migrated from (A51.SE)

retagged Apr 19, 2014
Just a quick feedback: I doubt there is something resembling a proof in a mathematical sense of anything at all for a fully fledged QFT (which has infinitely many states and divergences -- leading to non-trivial critical exponents), so I am not sure this is productive. Asking for evidence seems interesting though a bit broad, maybe there is a place to add some motivation. I am also not sure by what you mean by “numerical” and why you single out such evidence.

This post has been migrated from (A51.SE)
Thanks, much better.

This post has been migrated from (A51.SE)

+ 11 like - 0 dislike

There is a "proof" of S-duality in free abelian gauge theory. See, for example, Witten's On S-Duality in Abelian Gauge Theory or his IAS lecture. Morally, you should think of this as a Fourier transform. The non-Abelian version, of course, is much harder and requires N=4 SUSY. But this isn't a surprise as the non-Abelian Fourier transform is a tricky thing.

Now, at least from the math side, you should be thinking about Geometric Langlands which is pretty closely related and has the same distinction between the Abelian case (which I understand to reduce to some class field theory stuff) and the more difficult non-Abelian version. Long before Kapustin-Witten and all that has come after, this connection was first shown in Harvey, Moore and Strominger and Bershadsky, Johansen, Sadov and Vafa.

There is, of course, a long, long list of "coincidences", too.

This post has been migrated from (A51.SE)
answered Oct 27, 2011 by (420 points)
Geometric Langlands is very close to being proved nowadays. However, it only has to do with the topological part of the gauge theory - I don't think there is a mathematical approach to non-supersymmetric observables.

This post has been migrated from (A51.SE)
Definitely (and other topological twists also evince S-duality, i.e., Vafa and Witten's hep-th/9408074). The point was to draw the analogy between the Abelian and non-Abelian Fourier transform as the desired heuristic.

This post has been migrated from (A51.SE)
Welcome, Aaron!

This post has been migrated from (A51.SE)
I must be thoroughly confused. Isn't the Abelian case just ordinary electric-magnetic duality? If so, it just acts as the Hodge star on the field strength tensor. How does Fourier transform enter the picture?

This post has been migrated from (A51.SE)
The complex coupling goes from g->-1/g. It's much the same as the R->1/R T-duality.

This post has been migrated from (A51.SE)
 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): Email me at this address if my answer is selected or commented on: 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$\hbar\varnothing$sicsOverflowThen 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). To avoid this verification in future, please log in or register.