• 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.


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


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,075 questions , 2,226 unanswered
5,347 answers , 22,749 comments
1,470 users with positive rep
818 active unimported users
More ...

  What is the mathematical basis for the Gopakumar-Vafa gauge/geometry correspondence?

+ 6 like - 0 dislike

I am a mathematician trying to understand the reasoning behind the proposed duality between large-N Chern-Simons on $S^3$ and the closed string A model on the resolved conifold. This was established by Gopakumar-Vafa in http://arxiv.org/abs/hep-th/9811131 where both theories were matched at the level of the partition function (Gromov-Witten potential in the case of the A model). Later, Ooguri-Vafa extended the computation to Wilson loop observables. To recap, the argument for the duality goes something like this: Witten demonstrated an equivalence between large N Chern-Simons on $S^3$ and the open string A model on $T^*S^3$ (the deformed conifold). This involves an appropriate choice of boundary conditions (i.e. introduction of D-branes) on the Lagrangian $S^3$ and therefore an identity with open Gromov-Witten theory. Loseley, the Gopakumar-Vafa conjecture is therefore that open Gromov-Witten theory on the deformed conifold is equivalent to closed Gromov-Witten theory on the resolved conifold. The explanation for this, as presented in thier paper, relies heavily on an analogy with the AdS/CFT  correspondence and how the large N limit of branes relates to the conifold transition. I understand little of these topics (AdS/CFT and D-brane dynamics) and so was hoping for a mathematical explanation for why the two theories should be equivalent.

asked Apr 23, 2015 in Mathematics by anonymous [ revision history ]
edited Apr 23, 2015 by 40227

2 Answers

+ 3 like - 0 dislike

I don't think that there is a known nice mathematical explanation in the sense I guess you would like, i.e. different from simply computing both sides and checking that they match. To support this point of view: at the beginning of the following video

Kontsevich explains that the large $N$ asymptotics of the volumes of the unitary groups $U(N)$ can be naturally expressed in terms of Euler characteristics of moduli spaces of Riemann surfaces and claims that there is no known intrinsic satisfactory explanation. Such relation is a special case of the Gopakumar-Vafa correspondence and of course Kontsevich is aware of that and so what he is asking for is something more and I don't think that someone knows the answer.

Nevertheless, for someone not comfortable with the AdS/CFT point of view, they are maybe more approachable explanations in the physics context. For example, in this paper:


Ooguri and Vafa give a physical derivation of the correspondence from the worldsheet point of view whereas in this paper:


Atiyah, Maldacena and Vafa give a physical derivation from the "dual" point of view, i.e. from the spacetime point of view. This paper tries to reduce the correspondence to a geometric statement (a flop in 7 dimensions) and so is maybe more accessible to a mathematician.

answered Apr 23, 2015 by 40227 (5,140 points) [ revision history ]
edited Apr 23, 2015 by 40227

Thanks, that's useful stuff. I have just come across a 2004 paper by Liu and Yau (http://arxiv.org/abs/math/0411038 ) that treats the correspondence from an entirely mathematical point of view but they do little other than check agreement between open/closed computations. I guess you're right and I will need to learn some AdS/CFT!

+ 1 like - 0 dislike

There is now a rigorous mathematical explanation for why the knot invariants are computed by holomorphic curve counts in the resolved conifold. 

Basically the point is that the skein relations (universal identities between Wilson lines in Chern-Simons theory) turn out to be identical with the boundary terms obstructing the definition of open Gromov-Witten theory.  Thus it is possible to `couple' these and cancel the boundary terms by defining a skein-valued holomorphic curve count. Combined with standard methods in symplectic geometry for carrying holomorphic curves across the conifold transition, one can show that the HOMFLYPT polynomial is a count of curves in the resolved conifold. 

Some further work on this gives the calculation for a single toric brane and the total contribution of a string stretching between two branes.

What we are still missing is an explanation of how to think of the partition function of Chern-Simons theory (i.e. without any knots) in terms of holomorphic curves before the geometric transition, i.e. in the cotangent bundle.   

Said differently, we understand why open strings stretching from some other lagrangian L and the zero section S become, across the conifold transition, open strings stretching from L to itself.  What we don't understand is why open strings stretching from S to itself become closed strings on the other side.  This is because we don't have a sensible definition of a moduli space of open strings stretching from S to itself -- there are no nonconstant holomorphic curves in a cotangent bundle.  Likely if we had any definition at all, we could apply the same ideas.

answered Feb 5, 2021 by Vivek (10 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:
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