arxiv: v1 [math.gt] 13 Dec 2010

Transcription

1 M ath. Res. Lett. 00 (0000, no. 00, c International Press ON A PROOF OF THE LABASTIDA-MARIÑO-OOGURI-VAFA CONJECTURE Kefeng Liu and Pan Peng arxiv: v1 [math.gt] 13 Dec 2010 Abstract. We outline a proof of a remarkable conjecture of Labastida-Mariño-Ooguri- Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topological invariants. Our method is based on the cut-andjoin analysis and a special rational ring characterizing the structure of the Chern-Simons partition function. 1. Introduction For decades, we have witnessed the great development of string theory and its powerful impact on the development of mathematics. There have been a lot of marvelous results revealed by string theory, which deeply relate different aspects of mathematics. All these mysterious relations are connected by a core idea in string theory called duality. It was found that string theory on Calabi-Yau manifolds provided new insight in geometry of these spaces. The existence of a topological sector of string theory leads to a simplified model in string theory, the topological string theory. A major problem in topological string theory is how to compute Gromov-Witten invariants. There are two major methods widely used: mirror symmetry in physics and localization in mathematics. Both methods are effective when genus is low while having trouble in dealing with higher genera due to the rapidly growing complexity during computation. However, when the target manifold is Calabi-Yau threefold, large N Chern-Simons/topological string duality opens a new gate to a complete solution of computing Gromov-Witten invariants at all genera. The study of large N Chern-Simons/topological string duality was originated in physics by an idea that gauge theory should have a string theory explanation. In 1992, Witten [28] related topological string theory of T M of a three dimensional manifold M to Chern-Simons gauge theory on M. In 1998, Gopakumar and Vafa [4] conjecturedthat, at largen, open topologicala-modelofn D-braneson T S 3 is dual to topological closed string theory on resolved conifold O( 1 O( 1 P 1. Later, Ooguri and Vafa [21] showed a picture on how to describe Chern-Simons invariants of a knot by open topological string theory on resolved conifold paired with lagrangian associated with the knot. Though large N Chern-Simons/topological string duality still remains open, there have been a lot of progress in this direction demonstrating the power of this idea. Even for the simplest knot, the unknot, Mariño-Vafa formular [19, 15] gives a beautiful closed formula for Hodge integral up to three Chern classes of Hodge bundle. Furthermore, using topological vertex theory [1, 16, 13], one is able to compute Gromov- Witten invariants of any toric Calabi-Yau threefold by reducing the computation to 0

2 ON A PROOF OF THE LABASTIDA-MARIÑO-OOGURI-VAFA CONJECTURE 1 a gluing algorithm of topological vertex. This thus leads to a closed formula of topological string partition function, a generating function of Gromov-Witten invariants, in all genera for any toric Calabi-Yau threefolds. On the other hand, after Jones famous work on polynomial knot invariants, there had been a series of polynomial invariants discovered (for example, [8, 3, 9], the generalization of which was provided by quantum group theory [25] in mathematics and by Chern-Simons path integral with the gauge group SU(N [27] in physics. Based on the large N Chern-Simons/topological string duality, Ooguri and Vafa [21] reformulated knot invariants in terms of new integral invariants capturing the spectrum of M2 branes ending on M5 branes embedded in the resolved conifold. Later, Labastida, Mariño and Vafa [12, 10] refined the analysis of [21] and conjectured the precise integrality structure for open Gromov-Witten invariants. This conjecture predicts a remarkable new algebraic structure for the generating series of general link invariants and the integrality of infinite family of new topological invariants. In string theory, this is a striking example that two important physical theories, topological string theory and Chern-Simons theory, exactly agree up to all orders. In mathematics this conjecture has interesting applications in understanding the basic structure of link invariants and three manifold invariants, as well as the integrality structure of open Gromov-Witten invariants. Recently, X.S. Lin and H. Zheng [14] verified LMOV conjecture in several lower degree cases for some torus links. In this paper, we describe an outline of the proof of Labastida-Mariño-Ooguri-Vafa conjecture for any link. The details of the proofs are given in [17]. 2. The Labastida-Mariño-Ooguri-Vafa conjecture 2.1. Quantum group invariants of links. Let L be a link with L components K α, α = 1,...,L,representedbytheclosureofanelementofbraidgroupB m. Weassociate to each K α an irreducible representation R α of quantized universal enveloping algebra U q (sl(n,c 1, labeled by its highest weight Λ α. Denote the corresponding module by V Λα. The j-th strand in the braid will be associated with the irreducible module V j = V Λα, if this strand belongs to the component K α. The braiding is defined through the following universal R-matrix of U q (sl N R = q 1 2 i,j C 1 ij Hi Hj positive root β exp q [(1 q 1 E β F β ]. Here {H i,e i,f i } are the generators of U q (sl N, (C ij is the Cartan matrix and exp q (x = q 1 4 k(k+1 x k {k} q!, where k=0 {k} q = q k/2 q k/2 q 1/2 q 1/2, {k} q! = Define braiding by Ř = P 12R, where P 12 (v w = w v. 1 Later, we simply write Uq(sl N. k {j} q. j=1

3 2 Kefeng Liu and Pan Peng Now for a given link L of L components, one chooses a closed braid representative in braid group B m whose closure is L. In the case of no confusion, we also use L to refer its braid representative in B m. We will assign each crossing by the braiding as follows. Let U, V be two U q (sl N -modules labeling two outgoing strands of the crossing, the braiding ŘU,V (resp. Ř 1 V,U is assigned as in Figure 1. U V U V Ř U,V Ř 1 V,U Figure 1. Assign crossing by Ř. The above assignment will give a representation of B m on U q (g-module V 1 V m. Namely, for any generator, σ i B m, define 2 h(σ i = id V1 ŘV i,v i+1 id VN. Therefore, any link L will provide an isomorphism h(l End Uq(sl N(V 1 V m. Let K 2ρ be the enhancement of Ř in the sense of [24], where ρ is the half-sum of all positive roots of sl N. The irreducible representation R α is labeled by the corresponding partition A α. Definition 2.1. Given L labeling partitions A 1,...,A L, the quantum group invariant of L is defined as follows: where d(l = 1 2 W (A 1,...,A L (L = q d(l tr V1 V m (K 2ρ h(l, L ω(k α (Λ α,λ α +2ρ+ 1 lk(k α,k β A α A β, N and lk(k α,k β is the linking number of components K α and K β. A substitution of t = q N is used to give a two-variable framing independent link invariant Labastida-Mariño-Ooguri-Vafa conjecture. Let L be a link with L components and P be the set of all partitions. The Chern-Simons partition function of L is a generating function of quantum group invariants of links given by Z CS (L; q,t = (2.1 W A (L; q,t s A α(x α A P L for any arbitrarily chosen sequence of variables 2 In the case of σ 1 i, use Ř 1 V i+1,v i instead. α<β x α = (x α 1,x α 2,...,.

4 ON A PROOF OF THE LABASTIDA-MARIÑO-OOGURI-VAFA CONJECTURE 3 In (2.1, A = (A 1,...,A L P L and s A α(x α is the Schur function. Free energy is defined to be F = logz CS. Use plethystic exponential, one can obtain (2.2 F = where d=1 A 0 1 d f A (q d,t d s A α( (x α d, (x α d = ( (x α 1 d,(x α 2 d,.... Based on the duality between Chern-Simons gauge theory and topological string theory, Labastida, Mariño, Ooguri,Vafaconjecturedthat f A havethe followinghighly nontrivial structures. For any A, B P, define the following function (2.3 M AB (q = µ χ A (C µ χ B (C µ z µ Conjecture (LMOV. For any A P L, (i. there exist P B (q,t for B P L, such that (2.4 f A (q,t = B α = A α P B (q,t l(µ (q µj/2 q µj/2. j=1 M A α B α(q. Furthermore, P B (q,t has the following expansion (2.5 P B (q,t = N B;g,Q (q 1/2 q 1/2 2g 2 t Q. (ii. N B;g,Q are integers. g=0 Q Z/ Related notations. For a given link L of L components, we will fix the following notations in this paper. Given λ P, A = (A 1,...,A L, µ = (µ 1,...,µ L P L. Let x = (x 1,...,x L where x α is a set of variables x α = (x α 1,xα 2,. The following notations will be used throughout the paper. l(λ [n] q = q n n 2 q 2, [λ]q = [λ j ] q, z µ = A = ( A 1,..., A L, A = j=1 A t = ( (A 1 t,...,(a L t, χ A ( µ = z µ α, L A α, l( µ = χ A α(c µ α, s A (x = L l(µ α, s A α(x α.

5 4 Kefeng Liu and Pan Peng One can define an order on P L lexicographically. Therefore, one can generalize the concept of partition from the set of all non-negative integers to P L. We denote by P(P L the set of all partitions on P L. Given Λ P(P L, the following quantity θ Λ = ( 1l(Λ 1 (l(λ 1! AutΛ plays an important role in the relationship of topological string partition function and free energy. Rewrite free energy as (2.6 F = logz = µ =0F µ p µ (x. Here in the similar usage of notation, p µ (x = p µ α(x α. We also rewrite Chern-Simons partition function as Z CS (L = 1+ µ =0Z µ p µ (x. 3. Sketch of the proof In this section we will give an outline of the proof of Labastida-Mariño-Ooguri- Vafa conjecture 3 which contains two parts in correspondence of (i and (ii in the description of LMOV conjecture: the existence and integrality Existence of the algebraic structure. The existence of the algebraic structure (2.5 includes the following two steps: The symmetry of q and q 1 in P B (q,t. The pole structure of P B. The symmetry of q and q 1 in P B (q,t can be obtained from the lemma. Lemma 3.1. W A t(q,t = ( 1 A W A (q 1,t. To prove the existence of the pole structure, we will consider the following framed generating series. Substitute W A (L; q,t,τ = W A (L; q,t q L κ A ατ/2 in the Chern-Simons partition function, we have the following framed partition function Z(L; q,t,τ = 1+ A 0 W A (L; q,t,τ s A (x. Similarly, framed free energy 3 Briefly, we call it LMOV conjecture. F(L; q,t,τ = logz(l; q,t,τ.

6 ON A PROOF OF THE LABASTIDA-MARIÑO-OOGURI-VAFA CONJECTURE 5 It satisfies the following cut-and-join equation F(L; q,t,τ = u L ( ijp α 2 F i+j τ 2 p α +(i+jp α i pα i p α j j i,j 1 Restrict the equation to µ, we have F µ (3.1 τ = u ( 2 ν = µ, l( ν=l( µ±1 F F F p α +ijp α i+j i+j p α i p α j α µ ν F ν +nonlinear terms, where α µ ν is some constant. Denote by deg u the lowest degree of u in a Laurent polynomial of u. The pole structure of P B follows from the following degree lemma: Lemma 3.2. deg u F µ l( µ 2. Let be the unknot. Given any A = (A 1,...,A L P L, we will obtain the following limit behavior of quantum group invariants of links at q 1. W A (L; q,t L (3.2 lim q 1 W A ( L ; q,t = ξ Kα (t dα, where A α = d α, K α is the α-th component of L, and ξ Kα (t, α = 1,...,L, are independent of A. The following cut-and-join analysis will give the desired results. If µ = 1, it can be verified through the degree of u in HOMFLY polynomial. If µ > 1, by (3.2 We can prove that ( F µ deg u = deg τ u F µ. Suppose Lemma 3.2 holds for any ν < d. Now, consider S = { ν : ν = d}, where d = (d 1,...,d L and L dα = d. If µ S, one important fact is that the degree of u in the nonlinear terms in (3.1 is no less than l( µ 3. We will prove Lemma 3.2 holds for µ S by contradiction. Denote by S r = { ν : ν S and l( ν = r} S and D r = min{deg u F µ : µ S r }. Assume k is the smallest integer such that there exists a ν S k satisfying deg u F ν < l( ν 2 = k 2. Choose µ S k such that deg u F µ = D k. Rewrite (3.1 into three parts F µ (3.3 τ = u α µ ν F ν + u α µ ν F ν ν = µ, l( ν=l( µ 1 ν = µ, l( ν=l( µ+1 where represents the nonlinear part and deg u = k 2. Here in the equation, ν runs in S..

7 6 Kefeng Liu and Pan Peng However, F µ deg u τ = deg uf µ = D k < k 2. D k 1 (k 1 2, sothefirstpartofthesumsinther.h.sof(3.3isofthelowestorder of u at least k 2 and the lowest order of u in F µ τ must come from the summation over l( ν = l( µ+1. Then we have (3.4 1+D k+1 D k, and D k+1 D k 1 < k 2 1 < (k Choose ξ S k+1 such that deg u F ξ = D K+1, run the similar analysis as above. Since (3.4, one will get Thus we obtain 1+D k+2 D k+1. D k > D k+1 > D k+2 >...D d 1 > D d. Remember that there is still one last equation we have not used yet. Consider the cut-and-join equation for the following partition η = ( (1 d1,...,(1 dl S d. Note that this partition has the longest length in S, there will be only the first summand in (3.3 left. In particular, no non-linear terms will appear in the equation. Therefore, F η τ = u α η ν F ν. 2 This implies l( ν=d 1 D d D d 1 +1, which contradicts with D d 1 > D d.this gives a proof of the existence of (2.5. Define where F µ = F µ φ µ (q, Z µ = Z µ φ µ (q. φ µ (q = Lemma 3.2 directly implies the following: l(µ α [µ α j ]. j=1 Corollary 3.3. For any µ, F µ is of the following form: a α (t F µ (q,t = [n α ] 2 + polynomial. finitely many n α

8 ON A PROOF OF THE LABASTIDA-MARIÑO-OOGURI-VAFA CONJECTURE 7 Let L be the closure of a braid β with writhe number 0. Cable the i-th component of β, β i, by substituting l(µ i parallel strands for each strand of β i and the l(µ i parallel components are colored by partitions (µ i 1,...,(µi l(µ i. We take the closure of this new braid and obtain a new link, denoted by L µ. Let µ i = (µ i 1,,µi l i. We use symbol Ẑ µ = Z µ z µ ; ˆF µ = F µ z µ. Notice the following fact from the definition of quantum group invariants: (3.5 (3.6 Ẑ (µ 1,,µ L (L = Ẑ(µ 1 1,,(µ1 l 1,,(µ L 1,,(µL l L (L µ, ˆF (µ1,,µ L (L = ˆF (µ 1 1,,(µ 1 l 1,,(µ L 1,,(µL l L (L µ. Consider δ n = σ 1 σ n 1. Let S A be the minimal projection of the Hecke algebra H n H A, and P µ = A χ A (C µ S A. We will apply a lemma of Aiston-Morton [2] in the following computation: Let d = ( (d 1,...,(d L, δ n n S A = q 1 2 κa S A. 1 ( 1 d = 1,...,. d 1 d L Due to the cabling formula to the length of partition (3.5 and (3.6, we can simply dealwithallthe colorofonerowwithoutlossofgenerality. Takeframingτ α = n α + 1 d α and choose a braid group representative of L such that the writhe number of L α is n α. Denote by τ = (τ 1,...,τ L, Ẑ d (L;q,t; τ = χ A (C d W A (L;q,tq 1 L 2 κ A (n α α+ 1 dα A = t 1 2 = t 1 2 = t 1 2 α dαnα Tr (L d A χ A (C d q 1 2 α κα 1 dα α S A α α dαnα Tr (L d χ A (C d (δ d1 δ dl A α ( α dαnα Tr L d L δ dα P (d1 (1 P (dl (1. S A α Here, P (dα (1 means that in the projection, we use q dα,t dα instead of using q,t. If we denote by we have (3.7 L Q d = L d δ d P (d1 (1 P (dl (1, Ẑ d ( L;q,t; 1 d = H(L Q d.

9 8 Kefeng Liu and Pan Peng Here H is the homfly polynomial which is normalized as H(unknot = t1 2 t 1 2. q 1 2 q 1 2 With the above normalization, for any given link L, we have [1] L H(L Q [ [1] 2,t ±1 2]. Substituting q by q dα in the corresponding component, it leads to the following: [d α ] Ẑ d (L;q,t; τ Q [ (3.8 [1] 2,t 2] ±1. On the other hand, given any frame ω = (ω 1,...,ω L, Ẑ µ (L; q,t; ω = A χ A (C µ W A (L; q,t; ω = A χ A (C µ ν χ A (C ν Ẑ ν (L; q,tq 1 2 α κ A αωα. z ν Exchange the order of summation, we have the following convolution formula: Ẑ µ (L; q,t; ω = Ẑ ν (L; q,t χ A (C µ χ A (C ν q 1 2 α κ A (3.9 αωα. z ν ν This property holds for arbitrary choice of n α, α = 1,...,L. The coefficients of possible other poles vanish for arbitrary integer n α. q nα is involved through certain polynomial relation, which implies the coefficients for other possible poles are simply zero. Therefore, (3.8 holds for any frame. Now instead of canceling all the poles of Ẑ(L according to (3.8, we consider [c]ẑ(c, d, which is equivalent to consider [c]2 Z(c, d. Let K be the knot labeled by [c]. Multiplying Z by [c] 2 cancels all the poles related to K according to (3.7. Therefore, [c] 2 Z(c, d has the same principle part as Z d except for multiplying by an element in Q [ [1] 2,t ±1 2]. Note that Z µ = Λ µ A F Λ Aut Λ. [c] 2 ( Z (c, d F (c, d contains all the principle terms from L omitting K. Therefore, [c] 2 F(c, d Q [ [1] 2,t ±1 2]. In the above discussion, K can be chosen to be any component of L. We thus proved the following proposition: Proposition 3.4. Notation as above, we have: (3.10 [d α ] Ẑ d (L;q,t Q[[1] 2,t ±1 2 ]; (3.11 [d α ] 2 F d (L;q,t Q [ [1] 2,t ±1 2], α.

10 ON A PROOF OF THE LABASTIDA-MARIÑO-OOGURI-VAFA CONJECTURE 9 Similarly, We can obtain (3.12 F d (L;q,t = H d/d d (t D d D d [D d ] 2 +polynomial in [D d ] 2 and t ±1 2 D d. Once again, due to arbitrary choice of n α, we know the above pole structure of F d holds for any frame. Proposition 3.5. Notations are as above. Assume L is labeled by the color µ = (µ 1,...,µ L. Denote by D µ is the greatest common divisor of {µ 1 1,...,µ1 l(µ 1,..., µ i j,...,µl l(µ L }. F µ has the following structure: F µ (q,t = H µ/d µ (t D µ D µ [D µ ] 2 +f(q,t, where H µ/d µ (t only depends on µ/d µ and L, f(q,t Q [ [1] 2,t ±1 2]. Remark 3.6. In Proposition 3.5, it is very interesting to interpret in topological string side that H µ/d µ (t only depends on µ/d µ and L. The principle term is generated due to summation of counting rational curves and independent choice of k in the labeling color k µ/d µ. This phenomenon simply tells us that contributions of counting rational curves in the labeling color k µ/d µ are through multiple cover contributions of µ/d µ Integrality. By the definition of P B (q,t, comparing with Proposition 3.5, we have the following computation: P B (q,t = χ B ( µ π(d φ µ (q d F µ/d(q d,t d µ = µ d µ χ B ( µ d µ µ(d d F µ/d (q d,t d = µ = µ χ B ( µ d D µ µ(d d H µ/d µ (t D µ D µ/d [D µ ] 2 +polynomial χ B ( µδ 1,D µ H µ/d µ (t D µ D µ [D µ ] 2 +polynomial, where δ 1,n equals 1 if n = 1 and 0 otherwise. It implies that P B is a rational function which only has pole at q = 1. In the above computation, we used a fact of Möbius inversion, µ(d = δ 1,n. d n Therefore, for each B, N B;g,Q (q 1/2 q 1/2 2g t Q Q[(q 1/2 q 1/2 2,t ±1 2 ]. g=0 Q Z/2 The integrality of N B;g,Q can be derived from the following theorem:

11 10 Kefeng Liu and Pan Peng Theorem 1. We have (3.13 N B;g,Q (q 1/2 q 1/2 2g t Q Z[(q 1/2 q 1/2 2,t ±1/2 ]. g=0 Q Z Remark 3.7. The above theorem also implies the refined integral invariants N B;g,Q vanish at large genera (also for large Q. Define y = (y 1,y 2,...,y L where y α = (y α 1,y α 2,... is a set of arbitrarily chosen variables. Denote by Ω(y the set of all symmetric function in (y 1,y 2,...,y L with integral coefficients. We start by defining the following special ring which characterizing the algebraic structure of Chern-Simons partition function. { a(y;q,t R(y;q,t = : a(y;q,t Ω(y[[1] 2 q b(q,t±1/2 ], b(q = } [n k ] 2 q Z[[1]2 q ]. n k Given f(y;q,t b(q R(y; q,t, if f(y; q,t is a primitive polynomial in terms of q ±1/2, t ±1/2 and Schur functions of y, we call f(y;q,t b(q is primitive. Given any r sh(y; q,t where h(y; q,t R(y; q,t is primitive, define ( r ( r Ord p s h(y; q,t = Ord p s for any prime number p. We will consider the following generating series T d = s B (yp B (q,t After some calculations, we have B = d (3.14 T d = q d k d µ(k k A P(P n, A = d/k l(a θ A j=1 W Aj (q k,t k s Aj ((z k Proposition 3.8. T d (y; q,t R(y;v,t. Proposition 3.8 implies q = 0 is a pole of T d. Since T d can be written as ( T d = N B;g,Q s B (y (q 1/2 q 1/2 2g 2 t Q g=0 Q Z/2 B = d by the existence of (2.5. If there are infinitely many N B;g,Q nonzero, q = 0 is then an essential singularity point of T d, which is a contradiction. Therefore, for each B, N B;g,Q (q 1/2 q 1/2 2g t Q Q[(q 1/2 q 1/2 2,t ±1 2 ]. g=0 Q Z/2

12 ON A PROOF OF THE LABASTIDA-MARIÑO-OOGURI-VAFA CONJECTURE 11 On the other hand, by Proposition 3.8, T d R(y; v,t and Ord p T d 0 for any prime number p. We have N B;g,Q s B (y Ω(y, B = d which implies N B;g,Q Z. Combining the above discussions, we have N B;g,Q (q 1/2 q 1/2 2g t Q Z[(q 1/2 q 1/2 2,t ±1/2 ]. g=0 Q Z/2 To prove Proposition 3.8, we combine the study of multi-cover contribution and p-adic argument. For any give prime number p, the following observation is important for the p-adic argument { B : l(b j=1 } B j = pd and Ord p (θ B < 0 = { A (p : l(a j=1 } A j = d. Matching the following terms, finally we have (3.15 Ord p (θ A (pw A (p(q,ts A (p(z 1 p θ AW A (q p,t p s A (z p 0. Let Φ d (y; q,t = A P(P n, A = d The following inequality can be obtained from (3.15: Therefore, This implies T d = q d k d = q d θ A W A (q,ts A (z. Ord p ( Φp d (y; q,t 1 p Φ d (y p ;q p,t p 0. k d,p k µ(k k µ(k k A P(P L, A = d/k (3.16 Ord p T d 0. θ A W A (q k,t k s A (z k ( Φ d/k (y k ; q k,t k 1 p Φ d/(pk (y pk ; q pk,t pk Combining with (2.5, we thus prove Proposition Concluding remarks In this section, we briefly discuss some interesting problems related to string duality which may be approached through the techniques developed in this paper. Let p = (p 1,...,p L, where p α = (p α 1,p α 2,...,. Defined the following generating series of open Gromov-Witten invariants F g, µ (t,τ = K β g, µ (τe β ω β.

13 12 Kefeng Liu and Pan Peng where ω is the Kähler class of the resolved conifold, τ is the framing parameter and t = e P 1 ω, and e β ω = t Q. Consider the following generating function F(p; u,t; τ = u 2g 2+l( µ F g, µ (t; τ g=0 It satisfies the log cut-and-join equation F(p; u,t; τ τ µ = u 2 p α µ. α L L α F(p; u,t; τ. Therefore, duality between Chern-Simons theory and open Gromov-Witten theory reduces to verifying the uniqueness of the solution of cut-and-join equation. Cut-and-join equation for Gromov-Witten side comes from the degeneracy and gluing procedure while uniqueness of cut-and-join system should in principle be obtained from the verification at some initial value. However, it seems very difficult to find a suitable initial value. A new hope might be found in our development of cut-and-join analysis. In the log cut-and-join equation the non-linear terms reveals the important recursion structure. For the uniqueness of cut-and-join equation, it will appear as the vanishing of all non-linear terms. We will put this in our future research. Our proof of the LMOV conjecture has shed new light on the famous volume conjecture. See for example the discussions in [6]. The cut-and-join analysis we developed in this paper combined with rank-level duality in Chern-Simons theory seems to provide a new way to prove the existence of the limits of quantum invariants. There are also other open problems related to LMOV conjecture. For example, quantum group invariants satisfy skein relation which must have some implications on topological string side as mentioned in [10]. One could also rephrase a lot of unanswered questions in knot theory in terms of open Gromov-Witten theory. We hope that the relation between knot theory and open Gromov-Witten theory will be explored much more in detail in the future. This will definitely open many new avenues for future research. References [1] M. Aganagic, A. Klemm, M. Mariño and C. Vafa, The topological vertex, arxiv.org: hepth/ [2] A.K. Aiston and H.R. Morton, Idempotents of Hecke algebra of type A, J. Knot theory Ramif. 7 (1998, [3] P. Freyd, D. Yetter, J. Hoste, W.B.R. Lickorish, K. Millet and A. Ocneanu, A new polynomial invariant of knots and links, Bull. Amer. Math. Soc. 12 ( [4] R. Gopakumar and C. Vafa, On the gauge theory/geometry correspondence, Adv. Theor. Math. Phys. 3 ( [5] I.P. Goulden, A differential operator for symmetric functions and the combinatorics of multiplying transpositions, Trans. Amer. math. Soc. 344 (1994, 421. [6] S. Gukov, Three-dimensional quantm gravity, Chern-Simons theory, and the A-polynomial, Comm. Math. Phys. 255 (2005, no. 3, 577. [7] A. Gyoja, A q-analogue of Young symmetrisers, Oska J. Math. 23 (1996, 841. [8] V.F.R Jones, Hecke algebras representations of braid groups and link polynomials, Ann. of Math. 126 (

14 ON A PROOF OF THE LABASTIDA-MARIÑO-OOGURI-VAFA CONJECTURE 13 [9] L.H. Kauffman, An invariant of regular isotopy, Trans. Amer. Math. Soc. 318 ( [10] J.M.F.Labastida and M.Mariño, A new point of view in the ehory of knot and link invariants, J. Knot Theory Ramif. 11 (2002, 173. [11] J.M.F. Labastida and M. Mariño, Polynomial invariants for torus knots and topological strings, Comm. Math. Phys. 217 (2001, no. 2, 423. [12] J.M.F. Labastida, M. Marino and C. Vafa, Knots, links and branes at large N, J. High Energy Phys. 2000, no. 11, Paper 7. [13] J. Li, C.-C. Liu, K. Liu and J. Zhou, A mathematical theory of the Topological Vertex, math.ag/ [14] X.-S. Lin and H. Zheng, On the Hecke algebra and the colored HOMFLY polynomial, math.qa/ [15] C.-C. Liu, K. Liu and J. Zhou, A proof of a conjecture of Mariño-Vafa on Hodge integrals, J. Differential Geom. 65 (2003, no. 2, 289. [16] C.-C. Liu, K. Liu and J. Zhou, A formula of two-partition Hodge integrals, J. Amer. Math. Soc. 20 (2007, no. 1, 149. [17] K. Liu and P. Peng, Proof of the Labastida-Marino-Ooguri-Vafa Conjecture, arxiv: [18] I. G. MacDonald, Symmetric Functions and Hall Polynomials, 2nd edition, Clarendon Press, [19] M. Mariño and C. Vafa, Framed knots at large N, Orbifolds in mathematics and physics (Madison, WI, 2001, , Contemp. Math., 310, Amer. Math. Soc., Providence, RI, [20] O. Ogievetsky and P. Pyatov, Lecture on Hecke algebras, Lectures notes at the International School Symmetries and Integrable Systems, Dubna, [21] H. Ooguri and C. Vafa, Knot invariants and topological strings, Nucl. Phys. B 577 (2000, 419. [22] P. Peng, A simple proof of Gopakumar-Vafa conjecture for local toric Calabi-Yau manifolds, to appear, Commun. Math. Phys. [23] P. Peng, Integrality structure in Gromov-Witten theory, Preprint. [24] M. Rosso and V. Jones, On the invariants of torus knots derived from quantum groups, J. Knot Theory Ramifications 2 (1993, 97. [25] V. G. Turaev, The Yang-Baxter equation and invariants of links, Invent. Math. 92 (1988, 527. [26] V.A. Vassiliev, Cohomology of knot spaces, Theory of singularities and its applications, Advances in Soviet Mathematics, vol. 1, Amer. Math. Soc., Providence, RI, 1990, 23. [27] E. Witten, Quantum field theory and the Jones polynomial, Commun. Math. Phys. 121 ( [28] E. Witten, Chern-Simons gauge theory as a string theory, arxiv.org: hel-th/ , in The Floer memorial volume, The Floer memorial volume, 637, Progr. Math., 133, Birkhäuser, Basel, Center of Mathematical Science, Zhejiang University, Box , Hangzhou, China address: liu@cms.zju.edu.cn Department of Mathematics, UCLA, Box , Los Angeles, CA, address: liu@math.ucla.edu Department Of Mathematics, University of Arizona, 617 N. Santa Rita Ave, Tucson, AZ, address: ppeng@math.arizona.edu