arxiv: v2 [math.ag] 22 Dec 2016

Transcription

1 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT arxiv: v [mathag] Dec 016 WEI LUO, SHENGMAO ZHU Abstract We study the open string integrality invariants (LMOV invariants for toric Calabi- Yau 3-folds with Aganagic-Vafa brane (AV-brane In this paper, we focus on the case of the resolved conifold with one out AV-brane in any integer framing τ, which is the large N duality of the Chern-Simons theory for a framed unknot with integer framing τ in S 3 We compute the explicit formulas for the LMOV invariants in genus g = 0 with any number of holes, and prove their integrality For the higher genus LMOV invariants with one hole, they are reformulated into a generating function g m(q,a, and we prove that g m(q,a (q 1/ q 1/ Z[(q 1/ q 1/,a ±1/ ] for any integer m 1 As a by product, we compute the reduced open string partition function of C 3 with one AV-brane in framing τ We find that, for τ 1, this open string partition function is equivalent to the Hilbert-Poincaré series of the Cohomological Hall algebra of the τ -loop quiver It gives an open string GW/DT correspondence Contents 1 Introduction Topological strings 5 1 Closed strings and Gromov-Witten invariants 5 Open strings 6 3 Integrality 7 4 Lower genus cases 8 3 Chern-Simons theory and large N duality 9 31 Quantum invariants 9 3 Large N duality Integrality of the quantum invariants 1 4 LMOV invariants for framed unknot U τ a-deformed A-polynomial as the mirror curve 13 4 Disc countings Annulus counting Genus g=0 with more holes 1 45 Genus g 1, with one hole 1 5 An open string GW/DT correspondence 6 51 Reduced open string partition function of (C 3,D τ 6 5 Hilbert-Poincaré series of the Cohomological Hall algebra of the m-loop quiver 8 53 The correspondence 9 6 Appendix 9 References 30 1

2 WEI LUO, SHENGMAO ZHU 1 Introduction We study the integrality structures in topological string theory Let X be a Calabi-Yau 3- fold, by the work of Gopakumar and Vafa [], the closed string free energy F X, which is the generating function of Gromov-Witten invariants K g,q, has the following structure: F X = g 0 g g s K g,q e Q ω = Q 0 g 0,d 1Q 0 1 d N g,q ( sin dg s g e dq ω where N g,q are integers and vanish for large g or Q When X is a toric Calabi-Yau 3-fold, the above Gopakumar-Vafa conjecture was proved in [53, 6] In the open string case, let us consider a Calabi-Yau 3-fold X with a Lagrange submanifold D in it According to the work of Ooguri and Vafa [5], the generating function of the open Gromov-Witten invariants can also be expressed in terms of a series of new integers which were refined by Labastida, Mariño and Vafa [37, 38, 39]: (1 g 0 Q 0 = g 0 gs g +l(µ K µ,g,q e Q ω Q 0 d µ ( 1 l(µ+g l(µ i=1 µ i l(µ d l(µ 1 n µ/d,g,q (sin µ jg s (sin dg s g e dq ω These new integer n µ,g,q (here µ denote a partition of a positive integer are called the LMOV invariants in this paper Although for any toric Calabi-Yau 3-fold with Agangica-Vafa brane (AV-brane for short [1], we have the method of topological vertex [4, 33] to compute the open string partition function and furthermore the open Gromov-Witten invariants K µ,g,q, it is difficult to compute the corresponding LMOV invariants n µ,g,q at the righthand side of the formula (1 We will study these LMOV invariants n µ,g,q In this paper, we only focus on a special toric Calabi-Yau 3-fold, ie the resolved conifold ˆX with one special Lagrangian submanifold (AVbrane D τ in integer framing τ More general toric Calabi-Yau 3-fold will be discussed in a separated paper Accordingtothelarge Nduality, theopenstringtheory of( ˆX,D τ isthelarge Nduality ofthe Chern-Simons theory of (S 3,U τ, where U τ denotes a framed unknot (trivial knot with integer framing τ The large N duality of Chern-Simons and topological string theory was proposed by Witten [61], and developed further by [3, 5, 39] Later, Mariño and Vafa [49] generalized it to the case of the knot including integer framing The large N duality of ( ˆX,D τ and (S 3,U τ is expressed in terms of the following identity: ( Z (S3,U τ j=1 (q,a;x = Z ( ˆX,D τ str (g s,a;x, q = e 1g s where the explicit expressions of the above two partitions in identity ( are given by the formulas (13 and (14 respectively The identity ( implies the Mariño-Vafa formula [49, 34, 51], a very powerful Hodge integral identity, which implies various important results in intersection theory of moduli spaces of curves, see [63] for a review of the applications of Mariño-Vafa formula The identity ( was proved by J Zhou [6] based on his previous joint works with C-C Liu and K Liu [34, 36] On the other hand side, through mirror symmetry, the partition function Z ( ˆX,D τ str (g s,a;x can also be computed by B-model The mirror geometry information of ( ˆX,D τ is encoded in the mirror curve C ˆX The disc counting invariants of ( ˆX,D τ were given by the coefficients of the superpotential related to the mirror curve [1, 3], and this fact was proved in [16] Furthermore,

3 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 3 the open Gromov-Witten invariants of higher genus with more holes can be computed by the Eynard-Orantin topological recursions [1] This approach named the BKMP conjecture, was proposed by Bouchard, Klemm, Mariño and Pasquetti [7], and was fully proved in [13, 17] for any toric Calabi-Yau 3-fold with AV-brane, so we can also use the BKMP method to compute the LMOV invariants for ( ˆX,D τ In conclusion, now we have three different approaches to compute the open string partition function Z ( ˆX,D τ str (g s,a;x and their LMOV invariants n µ,g,q (τ : topological vertex [4, 33], Chern-Simons partition function (13 and the BKMP method [7] In this paper, we first compute the genus 0 LMOV invariants by BKMP method At first step, we illustrate the computations of the mirror curve of ( ˆX,D τ by using the new approach of [] It turns out that the mirror curve is given by: (3 y 1 a 1 ( 1 τ xy τ (ay 1 = 0 By using mirror curve (3, we obtain the genus 0 with one-hole LMOV invariants n m,0,l m (τ which is denoted by n m,l (τ for brevity: n m,l (τ = µ(d d cm d, l (τ, d where d m,d l c m,l (τ = ( 1mτ+m+l m We prove the integrality of the number n m,l (τ ( m l ( mτ +l 1 m 1 Theorem 11 For any τ Z, m 1,l 0, we have n m,l (τ Z For LMOV invariants of genus 0 with two holes, we study the Bergmann kernel expansion in thebkmpconstruction, andfindanexplicitformulaforthelmovinvariantsn (m1,m,0, m 1 +m (τ which is denoted by n (m1,m (τ for short, 1 n (m1,m (τ = µ(d( 1 (m1+m(τ+1/d m 1 +m d m 1,d m ( ( (m1 τ +m 1 /d 1 (m τ +m /d m 1 /d m /d Then, we prove that Theorem 1 For m 1,m 1, and τ Z, n (m1,m (τ Z For the genus 0 LMOV invariants with more than two holes, we can compute the LMOV invariant n µ,g,q (τ for general Q by using the BKMP construction But it is hard to give an explicit formula for general Q, except the case Q = µ, in which the Mariño-Vafa formula holds where K τ µ,0, µ It is clear that K τ µ,0, µ n µ,0, µ (τ = ( 1 l(µ µ(dd l(µ 1 K τ µ d,0, µ d d µ l(µ ( = ( 1 µ τ [τ(τ +1] l(µ 1 µi (τ +1 1 l(µ µ i 1 i=1 i=1 µ i l(µ 3 Z, for any τ Z and since l(µ 3, it immediately implies that:

4 4 WEI LUO, SHENGMAO ZHU Theorem 13 For a partition µ with l(µ 3 and τ Z, n µ,0, µ (τ Z Next, we study the Chern-Simons partition function Z (S3,U τ (q, a; x whose explicit formula is given in (13 Following the works of [49, 4], we formulate the LMOV conjecture for a general framed knots, see Conjectures 31 and 414 The mathematical structures of the LMOV conjecture for general link were first studied by K Liu and P Peng [40] Then we formulate the highergenusandoneholelmov invariants n m,g,q (τintoaunifiedgenerating functiong m (q,a The integrality of the LMOV invariants n m,g,q (τ is equivalent to the following theorem which will be proved in Section 45 Theorem 14 Let g m (q,a = d m µ(dz m/d(q d,a d, where Z m (q,a = ( 1 mτ ν =m 1 {mντ} {ν} a z ν {m}{mτ} {ν}, see formula (37 for the definitions of the above quantum integers For any integer m 1 and any τ Z, there exist integers n m,g,q (τ, such that g m (q,a = n m,g,q (τz g a Q z Z[z,a ±1 ], g 0 where z = q 1 q 1 = {1} Q In Section 5, we introduce the definition of the reduced open string partition function motivated bythework [] Andwecomputethereducedopenstringpartitionfunction Z (C3,D τ str (g s,x for the trivial Calabi-Yau 3-fold (C 3,D τ (see the formula (47 For brevity, we let Z τ (q,x = Z (C3,D τ str (g s,x, it turns out that Z τ (q,x = n 0 ( 1 n(τ 1 q n(n 1 τ+ n (1 q(1 q (1 q n xn By comparing with the expression of the Hilbert-Poincaré series P m (q,t (see formula (?? of the Cohomological Hall algebra [30] of the m-loop quiver [54], we obtain the following open string GW/DT correspondence: Theorem 15 For τ 1 (ie τ 1, we have Z τ (q,x = P τ (q,( 1 τ 1 xq 1 The main property of the Hilbert-Poincaré series P m (q,t is the following factorization formula: Theorem 16 (Conjecture 33 [54] or Theorem 3 [30] There exists a product expansion P m (q,( 1 m 1 t = (1 q l k t n ( 1(m 1n c n,k n 1 k 0 l 0 for nonnegative integers c n,k, such that only finitely many c n,k are nonzero for any fixed n The series DT (m n (q = k 0 c n,kq k is called the quantum Donaldson-Thomas invariant in [54] Besides, we also formulate the reduced LMOV conjecture (see conjecture 5, which can be viewed as a weak form of the LMOV conjecture due to the original work of [5] In particular, the reduced LMOV conjecture in the case of (C 3,D τ says:

5 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 5 Conjecture 17 There exist nonnegative integers N m,k (τ, and only finitely many N m,k (τ are nonzero for any fixed m 1 Such that Z τ (q,x = ( 1 q k +l x m N m,k (τ m 1 k Z l 0 Theorem 15 and Theorem 16 imply that, for τ 1, the reduced open string partition function Z τ (q,x on (C 3,D τ carries the product factorization: Z τ (q,x = (1 q n +l k x n ( 1(τ 1n c (4 n,k n 1 k 0 l 0 ItprovidesthecorrespondenceoftheOoguri-Vafainvariants(orweakLMOVinvariantsN m,k (τ and the Donaldson-Thomas invariants c n,k for τ 1 The toric diagram of the trivial Calabi-Yau 3-fold (C 3,D τ is a topological vertex with one framed leg The above open string GW/DT correspondence shows that there is a corresponding quiver with self loops Now we can ask the following questions: Questions: What is the DT correspondence for the reduced open string partition Z ( ˆX,D τ str of the resolved conifold ( ˆX,D τ? More general, we can ask, for a toric Calabi-Yau 3-fold with one out AV-brane(X, D, if there exists a corresponding quiver with self-loops, such that the reduced open partition function (X, D is equal to the Hilbert-Poincaré series of the Cohomological Hall algebra attached to this quiver? And also for a framed knot K τ, if there exits a corresponding quiver? We will study these questions in our further work The rest of this paper is organized as follow: In section, we review the definitions of topological string partition functions, free energies, and the integrality structures appearing in topological strings We introduce the definitions of Gopakumar-Vafa invariants in closed strings, and LMOV invariants in open strings In section 3, we first review the Witten s Chern- Simons theory for 3 manifolds and links, and the large N duality between the Chern-Simons theory and the topological strings Then, a basic example of for the case of framed unknot was illustrated We formulate the LMOV conjecture for the framed knot In section 4, we study the LMOV invariants for framed unknot in detail We first illustrate the computations of the mirror curve of ( ˆX,D τ by using the new approach of [] Then, we compute the explicit formulas for genus 0 LMOV invariants by using mirror curve, and prove the integrality of them Next, we formulate the higher genus with one hole LMOV invariants into a unified generating function by using LMOV conjecture for framed knot We prove the integrality of these invariants, ie this generating function lies in a certain integral ring In section 5, we introduce the definitions of the reduced partition functions and establish a correspondence of the open string on (C 3,D τ and the Cohomological Hall algebra of a quiver with self-loops In section 6, the appendix provides a proof of the integrality of the other BPS invariants obtained in [18] by our method used in this paper Acknowledgements We would like to thank Prof Kefeng Liu and Hao Xu for their interests and comments The second author appreciates the collaboration with Qingtao Chen, Kefeng Liu and Pan Peng which motivates the study of this work Topological strings 1 Closed strings and Gromov-Witten invariants Topological strings on a Calabi-Yau 3-fold X have two types, the A-models and the B-models The mathematical theory for A-model is Gromov-Witten theory Let M g,n (X,Q be the moduli space of stable maps (f,σ g,p 1,,p n, where f : Σ g X is a holomorphic map from the nodal curve Σ g to the Kähler manifold

6 6 WEI LUO, SHENGMAO ZHU X with f ([Σ g ] = β H (X,Z In general, M g,n (X,Q carries a virtual fundamental class [M g,n (X,Q] vir in the sense of [6, 44] The virtual dimension is given by: vdim[m g,n (X,Q] vir = c 1 (X+(dimX 3(1 g+n Q When X is a Calabi-Yau 3-fold, ie c 1 (X = 0, then vdim[m g (X,Q] vir = 0 The genus g, degree Q Gromov-Witten invariants of X is defined by Kg,Q X = [M g,0 (X,Q] vir 1 which is usually denoted by K g,q for brevity without any confusions In the A-model, the genus g closed free energy F X g of X is the generating function of Gromov-Witten invariants K g,q F X g = Q 0K g,q e Q ω, where ω is the Kähler class for X We define the total free energy F X and partition function Z X as F X = g 0 g g s F X g, Z X = exp(f X where g s is the string coupling constant The mathematical computations of the free energy F X is mainly by the method of localizations [5, 1] Especially, when X is a toric Calabi-Yau 3-fold, we have a more effective approach to obtain the partition function Z X by the method of topological vertex [4, 33] Usually, the Gromov-Witten invariants K g,q are rational numbers, from M-theory, Gopakumar and Vafa [] expressed the total free energy F X in terms of the generating function of the new integer number N g,q obtained by counting BPS states: F X = g 0 g g s K g,q e Q ω = Q 0 g 0,d 1Q 0 ( 1 d N g,q sin dg g s e dq ω The integrality of the Gopakumar-Vafa invariants N g,q was first proved by P Peng in the case of toric Del Pezzo surfaces [53] The proof for general toric Calabi-Yau threefolds was given by Konishi in [6] Open strings Let us now consider the open sector of topological A-model of a Calabi-Yau 3-fold X with a submanifold D with dim H 1 (D,Z = L The open sector topological A-model can be described by holomorphic maps φ from open Riemann surface of genus g with l-holes Σ g,l to X, with Dirichlet condition specified by D These holomorphic maps are called open string instantons More precisely, an open string instanton is a holomorphic map φ : Σ g,h X such that Σ g,l = l i=1 C i D X where the boundary Σ g,l of Σ g,l consists of l connected components C i mapped to Lagrangian manifold D of X Therefore, the open string instanton φ is described by the following two different kinds of data: the first is the bulk part which is given by φ [Σ g,l ] = Q H (X,L, and the second is the boundary part which is given by φ [C i ] = w α i γ α, for i = 1,l, where γ α, α = 1,,L is a basis of H 1 (D,Z and w α i Z Let w = (w 1,,w L, and where w α = (w α 1,,wα l Zl, for α = 1,,L We expect there exist the corresponding open Gromov-Witten invariants K w,g,q determined by the data w,q in the genus

7 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 7 g Now, the total free energy F (X,D str F (X,D str = g 0 l 1 is defined as gs g +l F w,g (ω 1 l! w F (X,D w,g = K w,g,q e Q ω Q 0 L l α=1 i=1 TrV wα i where ω is also the Kähler class of X, and V is a holonomy matrix of gauge group U( on the source A-brane [61] Usually, we write the total free energy F (X,D str in the form of the summation over all partitions [49] F (X,D str = g 0 F (X,D (g,l 1 Aut( µ gg +l( µ s F (X,D µ,g µ (P + L w (Z + l F (X,L p µ ( x, where p µ ( x = L α=1 p µ α(xα, and for a partition µ P +, p µ (x = h i=1 p µ i (x p n (x is the power sum symmetric function [46] given by p n (x = x n 1 +xn + Where P+ denotes the set of all the partitions of positive integers Moreover, let P = P + {0} The notations P +,P will be used frequently throughout this paper In the following, we only need to consider the case of L=1 It is useful to write the A-model generating function of F w,g (X,D in the fixed genus g as follow: = w,g x w 1 1 xw l The central problem in topological string theory is how to calculate F (X,D (g,l In particular, when X is a toric Calabi-Yau 3-fold, and D is a special Lagrangian submanifold named as Aganagic-Vafa A-brane in the sense of [1, 3] The open string partition function Z (X,D exp(f (X,D str l str = can be computed by the method of topological vertex [4, 33] However, in this case, there exists another more effective method to compute F (X,D (g,l by using the topological recursion of Eynard and Orantin [1] This approach was first proposed by MMariño [47], and developed further by Bouchard, Klemm, Mariño and Pasquetti [7], so the conjectural equivalence of these two different approaches was called the BKMP conjecture Finally, the BKMP conjecture was proved in [13, 17] 3 Integrality Let q = e 1g s, a = e ω, for the open string free energy F (X,D str, we define the generating functions f λ (q,a by the following expansion formula, F (X,D 1 str = f λ (q d,a d s λ (x d, d d=1 λ P + where s λ (x is the Schur symmetric functions Just as in the closed string case [], the open topological strings compute the partition function of BPS domain walls in a related superstring theory [5] It follows that F (X,D also has an integral expansion This integrality structure was further refined in [37, 38, 39] which showed that f λ (q,a has the following integral expansion f λ (q,a = M λµ (qn µ;g,q (q 1 q 1 g a Q, g=0 Q 0 µ = λ

8 8 WEI LUO, SHENGMAO ZHU where N µ;g,q are integers which compute the net number of BPS domain walls and M λµ (q is defined by (5 M λµ (q = µ χ λ (C ν χ µ (C ν z ν For convenience, we usually introduce the new integers n µ,g,q = ν l(ν (q νj/ q νj/ j=1 χ ν (C µ N ν,g,q Definition 1 These integers N µ,g,q and n µ,g,q are both called LMOV invariants Therefore, f λ (q,a = g 0 Q 0µ P χ λ (C µ z µ = δ µ,ν, we obtain the following multiple cov- By using the orthogonal relation λ ering formula for open string illustrated in [49]: (6 gs g +l(µ K µ,g,q a Q g 0 Q 0 = g 0 Q 0 d µ ( 1 l(µ+g l(µ i=1 µ i l(µ n µ,g,q (q µ j µ j q j=1 χ λ (C µχ λ (C ν z µ (q 1 1 q g a Q l(µ d l(µ 1 n µ/d,g,q (sin µ jg s (sin dg s g a dq Hence we have the following integrality structure conjecture which is called the Labastida- Mariño-Ooguri-Vafa (LMOV conjecture for open string Conjecture (LMOV conjecture for open string Let F (X,D µ be the generating function function defined by F (X,D str = µ j=1 F (X,D µ p µ (x, then F (X,D µ has the integral expansion as in the righthand side of the formula (6 There is no general definition for the open Gromov-Witten invariants K µ,g,q However, just as mentioned in the previous subsection, when X is a toric Calabi-Yau 3-fold, and D is the Aganagic-Vafa A-brane [1], the open string partition function Z (X,D str can be fully computed by using the method of topological vertex [4, 33] The open Gromov-Witten invariants K µ,g,q can also be computed by the topological recursion formula [7] It is natural to ask how to prove the Conjecture in the case of toric Calabi-Yau 3-fold? In this paper, we study this conjecture for the resolved conifold with one AV-brane in integer framing τ We first compute some LMOV integers as predicted by the formula (6, and then prove that they are really integers 4 Lower genus cases We illustrate some lower genus cases for the above multiple covering formula (6 By using the expansion sinx = k 1 xk 1 (k 1!, and taking the coefficients of gs g +l(µ a Q in formula (6, we obtain (7 K µ,0,q = d µ( 1 l(µ d l(µ 3 nµ, d,0,q d

9 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 9 K µ,1,q = d µ ( 1 l(µ+1 (d l(µ 1 nµ d,1,q d + ( l(µ j=1 µ j d l(µ dl(µ 1 nµ d,0,q d K µ,,q = d µ + ( 1 l(µ (d l(µ+1 nµ d,,q d + l(µ ( l(µ j=1 µ4 j 190 dl(µ 3 i<j + µ i µ j d l(µ j=1 µ j d l(µ 1 nµ 4 d,1,q d l(µ j=1 µ j d l(µ dl(µ+1 nµ d,0,q d for g = 0, g = 1 and g = respectively In fact, these formulas were firstly computed in [49] Therefore F (0,l = K µ,0,q a Q x µ 1 1 xµ l (8 l In particular (9 µ =l Q = µ =l Q µ =l d µ ( 1 l(µ d l(µ 3 nµ d,0,q d Q d 1 a Q x µ 1 1 xµ l l = ( 1 l d l 3 n µ,0,q a Q x dµ 1 1 x dµ l l F (0,1 = m 1 d 1 Q n m,0,q d a dq x dm, and for g = 1,l = 1, F (1,1 = K (m,1,q a Q x m m 0 Q = n m/d,1,q/d +( m 4 d 1 1 n m/d,0,q/d a Q x m m 0 Q d m = 1 (n m,1,q +( m d a dq x dm m 0 Q d 1 3 Chern-Simons theory and large N duality 31 Quantum invariants In the seminal paper [59], E Witten defined a topological invariant of a 3-manifold M as a partition function of quantum Chern-Simons theory Let G be a compact gauge group which is a Lie group, and M be an oriented three-dimensional manifold Let A be a g-valued connection on M where g is the Lie algebra of G The Chern-Simons [9] action is given by S(A = k Tr (A da+ 3 4π A A A M where k is an integer called the level Chern-Simons partition function is defined as the path integral in quantum field theory Z G (M;k = e is(a DA where the integral is over the space of all g-valued connections A on M Although it is not rigorous, Witten developed some techniques to calculate such invariants

10 10 WEI LUO, SHENGMAO ZHU If the 3-manifold M contains a link L, we let L be an L-component link with L = L j=1 K j Define W Rj (K j = Tr Rj Hol Kj (A = Tr Rj (P exp C j A to be the trace of holomony along K j taken in representation R j Then Witten s invariant of the pair (M,L is given by Z G (M,L;{R j };k = We often use the following normalization form L e is(a W Rj (K j DA j=1 PR(M,K;k G = ZG (M,K;R;k Z G (M;k When M = S 3 and the lie algebra of G is the semisimple lie algebra, Reshetikhin and Turaev [55, 56] developed a systematic way to constructed the above invariants by using the representation theory of quantum groups Their construction led to the definition of the colored HOMFLY- PT invariants [38, 45], which can be viewed as the large N limit of the quantum U q (sl N invariants Usually, we use the notation W λ 1,,λL(L;q,a to denote the (framing-independent colored HOMFLY-PT invariants for a (oriented link L = L j=1 K j, where each component K j is colored by an irreducible representation V λ j of U q (sl N Some basic structures for W λ 1,,λL(L;q,a were proved in [40, 41, 64] It is difficult to obtain an explicit formula of a given link for any irreducible representations λ We refer to [45] for an explicit formula for torus links, and a series of works due to Morozov et al (see for example [48] proposed many conjectural formulas for the twist knots However, in this paper, we only need the following explicit formula for a trivial knot (unknot U (for example, see formula (46 in[40] (10 W λ (U;q,a = µ χ λ (µ z µ l(µ i=1 a µ i a µ i q µ i q µ i 3 Large N duality In another fundamental work of Witten [61], the SU(N Chern-Simons gauge theory on a three-manifold M was interpreted as an open topological string theory on T M with N topological branes wrapping M inside T M Furthermore, Gopakumar and Vafa [3] conjectured that the large N limit of SU(N Chern-Simons gauge theory on S 3 is equivalent to the closed topological string theory on the resolved conifold Furthermore, Ooguri and Vafa [5] generalized the above construction to the case of a knot K in S 3 They introduced the Chern-Simons partition function Z (S3,K for (S 3,K which is the generating function of the colored HOMFLY-PT invariants in all irreducible representations (11 Z (S3,K (q,a,x = λ PW λ (L,q,as λ (x Ooguri and Vafa conjectured that for any knot K in S 3, there exists a corresponding Lagrangian submanifold D K, such that the Chern-Simons partition function Z (S3,D is equal to the open topological string partition function Z (X,D K str on (X,D K They have established this duality in the case of a trivial knot U in S 3, and the link case was further discussed in [39] In general, we first should find a way to construct the Lagrangian submanifold D L corresponding to the link L in geometry See [39, 7, 58, 10] for the constructions for some special links Furthermore, if we have found the Lagrangian submanifold, we need to compute the open sting partition function under this geometry For the trivial knot in S 3, the dual open string partition function was computed by J Li and Y Song [43] and S Katz and C-CM Liu [8]

11 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 11 On the other hand side, Aganagic and Vafa [1] introduced the special Lagrangian submanifold in toric Calabi-Yau 3-fold which we call Aganagic-Vafa A-brane (AV-brane and studied its mirror geometry, then they computed the counting of the holomorphic disc end on AV-brane by using the idea of mirror symmetry Moreover, Aganagic and Vafa surprisingly found the computation by using mirror symmetry and the result from Chern-Simons knot invariants [5] are matched Furthermore, in [3], Aganagic, Klemm and Vafa investigated the integer ambiguity appearing in the disc counting and discovered that the corresponding ambiguity in Chern-Simons theory was described by the framing of the knot They checked that the two ambiguities match for the case of the unknot, by comparing the disk amplitudes on both sides Then, Mariño and Vafa [49] generalized the large N duality to the case of knots with arbitrary framing They studied carefully and established the large N duality between a framed unknot in S 3 and the open string theory on resolved conifold with AV-brane by using the mathematical approach in [8] By comparing the coefficient of the highest degree of the Kähler parameter in this duality, they derived a remarkable Hodge integral identity which now is called the Mariño- Vafa formula Two mathematical proofs for the Mariño-Vafa formula were given in [34] and [51] respectively We describe this duality in more details For a framed knot K τ with framing τ Z, we define the framed colored HOMFLYPT invariants K τ as follow, (1 H λ (K τ,q,a = ( 1 λ τ q κ λ τ Wλ (K,q,a, where κ λ = l(λ i=1 λ i(λ i i+1 The Chern-Simon partition function for (S 3,K τ is given by (13 Z (S3,K τ (q,a;x = λ PH λ (K τ,q,as λ (x We let ˆX := O( 1 O( 1 P 1 be the resolved conifold, and D τ be the corresponding AV-brane The open string partition function for ( ˆX,D τ has the structure (g s,a;x = exp l(µ 1 (14 Fµ,g(ap τ µ (x Z ( ˆX,D τ str g 0,µ Aut(µ gg +l(µ s where Fµ,g τ (a = Q Z/ Kτ µ,g,q aq and Kµ,g,Q τ is the open Gromov-Witten invariants defined by Kµ,g,Q τ = e(v, [M g,l(µ (D,S 1 Q,µ 1,,µ l ] defined in S Katz and C-C Liu [8] In particular, when Q = µ, the computations in [8] gives (15 K τ µ,g, µ l(µ i=1 = ( 1 µ τ (τ(τ +1 l(µ 1 µi 1 j=1 (µ iτ +j (µ i 1! Λ g (1Λ g ( τ 1Λ g (τ l(µ M g,l(µ i=1 (1 µ jψ j where Λ g (τ = τg λ 1 τ g 1 + +( 1 g λ g Therefore, the large N duality in this case is given the following identity: (16 (q,a;x = Z ( ˆX,D τ str (g s,a;x Z (S3,U τ where q = e igs By taking the coefficients of a µ of the following equality: [p µ (xg g +l(µ s ]logz (S3,U τ (q,a;x = [p µ (xg g +l(µ s ]logz ( ˆX,D τ str (g s,a;x,

12 1 WEI LUO, SHENGMAO ZHU we get the Mariño-Vafa formula which is a Hodge integral identity with triple λ classes It provides a very powerful tool in studying the intersection theory of moduli space of curves From it, we can derive the Witten conjecture [60, 4], the ELSV formula [11], and various Hodge integral identities, see [35, 3, 63] Combining the duality ideas above, together with several new technical ingredients, Aganagic, Klemm, Mariño and Vafa finally developed a systematic method, gluing the topological vertex, to compute all loop topological string amplitudes on toric Calabi-Yau manifolds [5, 4] The mathematical theory for topological vertex was finally established in [33] This method give an effective way to compute both the closed and open string partition function for a toric Calabi- Yau 3-fold with AV-brane Therefore, we have an explicit formula for the partition function of resolved conifold Z ( ˆX,D τ str (g s,a, by comparting the explicit formula Z (S3,U τ (q,a of Chern- Simons partition function describe above, J Zhou proved the identity (16 in [6] based on the results of their previous works [34, 36, 33] 33 Integrality of the quantum invariants Now, let us collect the above discussions together Let L be a link in S 3, the large N duality predicts there exists a Lagrangian submanifold D L in the resolved confold ˆX, and provides us the identity (16 Since Z ( ˆX,D L str (g s,a,x has the integrality structuresby the discussionsin section 3, it implies that Z (S3,L (q, a, x also inherits the integrality structure Usually, this integrality structure is called the LMOV conjecture for link in [40] Furthermore, as mentioned previously, the large N duality was generalized to the case of framed knot K τ with framing τ Z in [49], with the Chern-Simons partition Z (S3,K τ for framed knot K τ given in formula (13 For convenience, we only formulate the LMOV conjecture for framed knot K τ in the following, although the conjecture should also holds for any framed link, see [4] Conjecture 31 (LMOV conjecture for framed knot or framed LMOV conjecture Let (q,a,x = logz (S3,K τ (q,a,x F (S3,K τ be the Chern-Simons free energy for a framed knot K τ in S 3 Then there exist functions f λ (K τ ;q,a such that F (S3,K τ 1 (q,a,x = f λ (K τ ;q d,a d s λ (x d d d=1 λ P,λ 0 Let ˆf µ (K τ ;q,a = λ f λ(k τ ;q,am λµ (q 1, where M λµ (q is defined in the formula (5 Denote z = q 1 q 1, then for any µ P +, there are integers N µ,g,q (τ such that ˆf µ (K τ ;q,a = N µ,g,q (τz g a Q z Z[z,a ±1 ] g 0 Therefore, Q z µ ĝ µ (K τ ;q,a = χ ν (C µ ˆf ν (K τ ;q,a ν = n µ,g,q (τz g a Q z Z[z,a ±1 ] g 0 where n µ,g,q (τ = ν χ ν(c µ N ν,g,q (τ Q K Liu and P Peng [40] first studied the mathematical structures of LMOV conjecture for general links (as to the Chern-Simons partition (11, which is equivalent to the framed LMOV

13 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 13 conjecture for any links in framing zero They provided a proof for this case by using cut-andjoin analysis and the cabling technique [45] Motivated by the work [49], K Liu and P Peng [4] formulated the framed LMOV conjecture for any links(as to the Chern-Simons partition function (13 In [8], the second author, together with Q Chen, K Liu and P Peng, developed the ideas in [4] to study the mathematical structures in framed LMOV and formulate congruence skein relations for colored HOMFLY-PT invariants 4 LMOV invariants for framed unknot U τ In Section 3, we have showed that, for a framed unknot U τ in S 3, the large N duality holds [6]: Z (S3,U τ (q,a;x = Z ( ˆX,D τ str (g s,a;x, q = e 1g s So one can compute LMOV invariants completely by using the colored HOMFLY-PT invariants of the framed unknot U τ On the other hand side, by using mirror symmetry, one can also compute the partition function Z ( ˆX,D τ str (g s,a;x from B-model The mirror geometry information of ( ˆX,D τ is encoded in the mirror curve C ˆX The disc counting information of ( ˆX,D τ was given by the superpotential related to the mirror curve [1, 3], and this fact was proved in [16] Furthermore, the open Gromov-Witten invariants with higher genus with more holes can be computed by the Eynard-Orantin topological recursions [1] This approach named the BKMP conjecture, was proposed by Bouchard, Klemm, Mariño and Pasquetti [7], and was fully proved in [13, 17] for any toric Calabi-Yau 3-fold with AV-brane, so we can also use the BKMP method to compute the LMOV invariants for ( ˆX,D τ To determine the mirror curve of ( ˆX,D τ, there is standard method in toric geometry However, in [], Aganagic and Vafa proposed another effective method to compute the mirror curve, their method can be applied to the more general large N geometry of any knot in S 3 The rest contents of this section will be organized as follow, we first illustrate the computations of the mirror curve of ( ˆX,D τ by using the new approach of [1] Then, we compute the explicit formulas for genus 0 LMOV invariants, and prove the integrality of them Next, we formulate the higher genus with one hole LMOV invariants into a unified generating function, and we prove this generating function lies in a certain integral ring 41 a-deformed A-polynomial as the mirror curve The method used in [] to compute the mirror curve is based on the fact that, colored HOMFLY-PT invariants colored by a partition with a single row is a q-holonomic function, this fact was conjectured and used in many literatures, such as [14, 15], and was finally proved in [0] In fact, such idea can go back to [19] Now, we illustrate the computation for the framed unknot U τ We first compute the noncommutative a-deformed A-polynomial(it is called the Q-deformed A-polynomial in [], the variable Q in[] is the variable a here for U τ By formula (10,The colored HOMFLY-PT invariants colored by partition (n for the unknot U is given by It gives the recursion W n (U;q,a = a1 a 1 q 1 q 1 q n 1 a1 a 1 q n 1 q n q n (q n+1 1W n+1 (U;q,a (a 1 q n+ 1 a 1 q 1 Wn (U;q,a = 0 By formula(1, the framed colored HOMFLY-PT invariants for the framed unknot with framing τ Z is H n (U τ ;q,a = ( 1 nτ q n(n 1 τ W n (U;q,a

14 14 WEI LUO, SHENGMAO ZHU So we get the recursion for H n (U τ ;q,a as follow (17 ( 1 τ (q n+1 1H n+1 (U τ ;q,a (a 1 q n+ 1 a 1 q 1 q nτ H n (U τ ;q,a = 0 For a general series {H n (q,a} n 0, we introduce two operators M and L act on {H n (q,a} n 0 as follow: then LM = qml MH n = q n H n, LH n = H n+1 Definition 41 The noncommutative a-deformed A-polynomial for series {H n (q,a} n 0 is a polynomial Â(M,L;q,a of operators M,L, such that Â(M,L;q,aH n (q,a = 0,for n 0 and A(M,L;a = lim q 1 Â(M,L;q,a is called the a-deformed A-polynomial Therefore, from the recursion (17, we obtain the noncommutative a-deformed A-polynomial for U τ as follow: Â Uτ (M,L,q;a = ( 1 τ (qm 1L M τ (a 1 q 1 M a 1 q 1 and the a-deformed A-polynomial is A Uτ (M,L;a = lim q 1 Â(M,L,q;a = ( 1 τ (M 1L M τ (a 1 M a 1, In order to get the mirror curve of U τ, we need the following general result which is written in the following lemma Let Z(x = k 0 H k(q,ax k be a generating function of the series {H k (q,a k 0} We also introduce two operators ˆx,ŷ act on Z(x as follow: ˆxZ(x = xz(x, ŷz(x = Z(qx then ŷˆx = qˆxŷ It is easy to obtain the following result (see Lemma 1 in [18] for the similar statement Proposition 4 Given a noncommutative A-polynomial Â(M,L,q,a = i,j c i,jm i L j for the series {H k (q,a k 0}, then we have Â(ŷ,ˆx 1,q,aZ(x = (18 H k+j q ki x k i,j Proof Since Â(ŷ,ˆx 1,q,aZ(x = i,j c i,j ŷ iˆx j Z(x j k 1 = i,j c i,j q ij x j Z(q i x = c i,j H n q (n ji x n j i,j n 0 = c i,j k+j q i,j k 0H ki x k + i,j a k+j q ki x k j k 1 and by the definitions of the operators M,L, Â(M,L,q,aH k = 0 gives c i,j q ki H k+j = 0,for k 0 We obtain the formula (18 i,j

15 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 15 Finally, the mirror curve is given by In our case, the mirror curve is: A(y,x 1 ;a = lim q 1 Â(ŷ,ˆx 1 ;q,a = 0 (19 A Uτ (y,x 1 ;a = y 1 a 1 ( 1 τ xy τ (ay 1 = 0 4 Disc countings For convenience, we let X = a 1 ( 1 τ x, and Y = 1 y, then the mirror curve (19 becomes the functional equation (0 Y = X(1 Y τ (1 a(1 Y In order to solve the above equation, we introduce the following Lagrangian inversion formula [57] Lemma 43 Let φ(λ be an invertible formal power series in the indeterminate λ Then the functional equation Y = Xφ(Y has a unique formal power series solution Y = Y(X Moreover, if f is a formal power series, then (1 f(y(x = f(0+ n 1 X n n [ ] df(λ dλ φ(λn λ n 1 Remark 44 In the following, we will frequently use the binomial coefficient ( n k for all n Z That means for n < 0, we define ( n k = ( 1 k ( n+k 1 k In our case, we take φ(y = (1 Y τ (1 a(1 Y Let f(y = 1 Y, by formula (1, we obtain y(x = 1 Y(X = 1+ X n ( ( n nτ +i ( 1 n+i a i n i n 1 n 1 i 0 since φ(λ n has the expansion φ(λ n = (1 λ nτ (1 a(1 λ n = ( n ( a i (1 λ nτ+i i i 0 = ( ( n nτ +i ( 1 i+j a i λ j i j i,j 0 Moreover, if we let f(y(x = log(1 Y(X, then [ ] df(λ dλ φ(λn = λ i 0( 1 i( n i n 1 = ( n ( 1 i i i 0 where we have used the combinatoric identity: n 1 ( m ( 1 j+1 j j=0 n 1 ( nτ +i ( 1 j+1 j j=0 ( nτ +i 1 ( 1 n a i n 1 ( m 1 = ( 1 n n 1 a i

16 16 WEI LUO, SHENGMAO ZHU Formula (1 gives ie log(y(x = log(1 Y(X = n 1 log(y(x = n 1 x n n X n n ( ( n nτ +i 1 ( 1 n+i i n 1 i 0 ( ( n nτ +i 1 ( 1 nτ+n+i i n 1 i 0 a i n By BKMP s construction in genus 0 with one hole, one obtains ( F (0,1 = log(y(x dx x = x n ( ( n nτ +i 1 n ( 1 nτ+n+i a i n i n 1 n 1 i 0 By formula (9, and if we let n m,l (τ = n m,0,l m(τ, then F (0,1 = (3 d nm d, l (τx m a l m d m 1 If we let d m,d l c m,l (τ = ( 1mτ+m+l m ( m l ( mτ +l 1 m 1 by comparing the coefficients of x m a l m in (3 and (, we have c m,l (τ = n m/d,l/d (τ d By Möbius inversion formula, d m,d l n m,l (τ = d m,d l µ(d d cm d, l (τ d Theorem 45 For any τ Z, m 1,l 0, we have n m,l (τ Z Before proving Theorem 45, we define the following function, for nonnegative integer n and prime number p, n n! f p (n = i = p [n/p] [n/p]! i=1,p i Lemma 46 For odd prime numbers p and α 1 or for p =, α, we have p α f p (p α n f p (p α n For p =,α = 1, f (n ( 1 [n/] (mod 4 Proof With α or p >, p α 1 (p 1 is even, f p (p α n f p (p α (n 1f p (p α = f p (p α (n 1 p α i=1,p i p α (n 1f p (p α (n 1f p (p α (p α (n 1+i f p (p α p α i=1,p i, 1 (mod p α i a i

17 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 17 p α (n 1f p (p α (n 1f p (p α p α (n 1f p (p α (n 1f p (p α [p α /] i=1,p i [p α /] i=1,p i ( 1 i + 1 p α i (mod p α p α i(p α 0, (mod p α i Thus the first part of the Lemma is proved by induction For p =,α = 1, the formula is straightforward Lemma 47 For odd prime number p and m = p α a,l = p β b, p a,p b, α 1,β 0, we have ( ( ( m mτ +l 1 mτ+l (4 p α p 1 l m 1 where for β = 0, the second term is defined to be zero Proof (5 ( ( m mτ +l 1 l m 1 ( mτ+l ( p 1 = = m l ( m p l p m p 1 ( m p l p ( mτ+l p m p 1 ( m p l p 1 f p (m f p (lf p (m l m p 1 f p (mτ +l f p (mf p (m(τ 1+l 1 (mτ+l p m, both are divisible by p max(α β,0 Each p Write ( m (m p p 1 (mτ+l 1 l l and p p p 1 m = m p 1 mτ+l element of {m,l,m l,mτ +l,m(τ 1+l} is divisible by p min(α,β, so by Lemma 46, (6 f p (m f p (lf p (m l f p (mτ +l f p (mf p (m(τ 1+l 1 is divisible by p min(α,β (including the case β = 0 in p-adic number field Thus (5 is divisible by p max(α β,0+min(α,β = p α Lemma 48 For m = α a,l = β b,α 1,β 0, ( ( m mτ +l 1 α ( 1 mτ+m+l l m 1 where the second term is set to zero for β = 0 ( 1 mτ+m+l ( m l ( mτ+l 1 m 1, Proof For the case α,β, both mτ +m+l and (mτ +m+l/ are even, the Lemma is proved as in Lemma 47 For the case β = 0, both ( m ( l and mτ+l 1 m 1 are divisible by α, and the Lemma is also proved For remaining cases α > β = 1 or β α = 1, we compute similarly as (5, ( ( ( m mτ +l 1 m ( mτ+l ( 1 mτ+m+l ( 1 mτ+m+l 1 l m 1 l m ( 1 m ( mτ+l ( = 1 f (m l m 1 f (lf (m l f (mτ +l (7 ( 1mτ+m+l f (m(τ 1+lf (m Both (m (mτ+l 1 l and m are divisible by α 1 1, it suffice to prove that the third factor is divisible by 4, which is, by Lemma 46, ( 1 [ l 4 ]+[m l 4 ]+[mτ+l 4 ]+[ m(τ 1+l 4 ] ( 1 mτ+m+l (mod 4

18 18 WEI LUO, SHENGMAO ZHU It is divisible by 4 if (8 [ l 4 ]+[m l mτ +l m(τ 1+l mτ +m+l ]+[ ]+[ ] is even Parity of (8 dependsonly on τ (mod For τ = 1, (8 reduces to [l/4]+[(m l/4]+ [(m+l/4]+[l/4]+l/ For τ = 0, it reduces to [l/4]+[(m l/4]+[l/4]+[(l m/4]+(m+l/ Both are obviously even Now, we can finish the proof of Theorem 45 Proof For a prime number p m, write m = p α a,p a n m,l (τ = µ(d d cm d, l (τ d (9 d m,d l = 1 m d m,d l = 1 m d m,d l,p d ( m µ(d( 1 mτ+m+l d d l µ(d ( ( 1 mτ+m+l d ( mτ+l d 1 m d d 1 ( m ( mτ+l d d l m d 1 d 1 ( 1 mτ+m+l dp ( m dp l dp ( mτ+l dp 1 m dp 1 where for pd l, second term of (9 is understood to be zero For odd prime number p, mτ+m+l d havethesameparity Sincep α m d, pα dividesthesummandin(9bylemma47 and mτ+m+l dp For p =, it is divisible by α by Lemma 48 p α divides the sum in (9 for every p α m, thus n m,l is an integer 43 Annulus counting The Bergmann kernel of the curve (0 is B(X 1,X = dy 1dY (Y 1 Y By the construction of BKMP [7], the annulus amplitude is calculated by the integral ( B(X 1,X dx ( 1dX Y (X Y 1 (X 1 (X 1 X = ln X X 1 [ ( More precisely, for m 1,m 1, the coefficients ln Y (X Y 1 (X 1 X X 1 gives the annulus ]x m 1 1 x m al Gromov-Witten invariants K (m1,m,0,l ( Let b n,i = ( 1n+i n+1 ( (n+1τ+i n+1 i n and bn = i 0 b n,ia i In particular b 0 = 1 a Then Y(X = n 1b n X n and Y (X Y 1 (X 1 X X 1 = (1 a+ n 1 b n ( n i=0 X i 1X n i Let b m,l = l i=0 b m,i and b m = l=0 b m,l a l For m 1 1,m 1, the coefficients c (m1,m of [X m 1 1 X m ] in the expansion ln 1+ ( n bn X1X i n i n 1 i=0

19 is given by INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 19 where S µ (m 1 is the set c (m1,m = ( 1l(µ 1 (l(µ 1! bµ S µ (m 1 Aut(µ µ =m 1 +m l(µ S µ (m 1 = {(i 1,,i l(µ Z l(µ i k = m 1, where 0 i k µ k, for k = 1,,l(µ}, by this definition, S µ (m 1 = S µ (m We write c (m1,m = l 0 c (m 1,m,la l, then the annulus amplitude is F (0, = ( 1 (m 1+m τ c (m1,m,la l m 1 +m m 1 1,m 1 l 0 k=1 x m 1 1 xm If we let n (m1,m,l = n (m1,m,0,l m 1 +m, the multiple covering formula (8 for l = gives 1 F (0, = d n ( m 1 d, m d, l a l m 1 +m x m 1 1 xm d we have so m 1 1,m 1 l 0 d m 1,d m,d l ( 1 (m 1+m τ c (m1,m,l = n (m1,m,l = d m 1,d m,d l d m 1,d m,d l 1 d n ( m 1 d, m d, l d µ(d ( 1(m1+mτ d c m d ( 1 d, m d, l d In particular, when l = m 1+m, we only need to consider the the curve Y = X(1 Y τ We need the following formula: Lemma 49 (Lemma 3 of [63] ( Y1 (X 1 Y (X (30 ln = X 1 X (31 We have, for m 1,m 1, c (m1,m, m 1 +m (τ = m 1,m 1 ( ( 1 m1 τ +m 1 1 m τ +m X m 1 1 X m m 1 +m m 1 τ (ln(1 Y 1 (X 1 +ln(1 Y (X 1 m 1 +m m 1 m m ( ( m1 τ +m 1 1 m τ +m For brevity, we let n (m1,m (τ := n (m1,m, m 1 +m (τ which is defined through formula (31 Then we have the following integrality result: Theorem 410 For m 1,m 1, and τ Z, n (m1,m (τ Z For nonnegative integer n and prime number q, define n n! f q (n = i = q [n/q] [n/q]! It is obvious that i=1,q i (3 f q (q α k f q (q α k ( 1 k (mod p α We introduce the following Lemma first

20 0 WEI LUO, SHENGMAO ZHU Lemma 411 If p β (a,b,p α a+b, then p α β divides ( ( aτ +a 1 bτ +b a b Proof Power of prime p in n! is k=1 [ n ] Apply this to the binomial coefficients to find that p k the power of p in ( aτ+a 1( bτ+b a b is i=1 ( aτ +a 1 bτ +b [ p i ]+[ p i ] α i=1 = α β ( [ ( (a+b(τ +1 ( p i 1 ( (a+bτ p i 1 aτ 1 p i ]+[ bτ p i] ([ ap bp i]+[ i] β ( a+b p i i=1 α i=β+1 ( a+b p i 1 where we use the fact that for k m + n + 1,k > 1, [m/k] + [n/k] = (m + n/k 1 and for k m+n,k m, [m/k]+[n/k] = (m+n/k 1 Now, we can finish the proof of Theorem 410: Proof By definition, (33 1 n (m1,m (τ = m 1 +m ( ( (m1 τ +m 1 /d 1 (m τ +m /d m 1 /d m /d d m 1,d m µ(d( 1 (m1+m(τ+1/d Let p be any prime divisor of m 1 +m, p α m 1 +m We will prove p α divides the summation in (33, thus m 1 +m also divides and n m1,m are integers If p m 1, each summand in (33 corresponds to p d, so p α (m 1 +m /d and p m 1 /d By Lemma 411 applies to a = m 1 /d,b = m /d, p α divides each summand and thus the summation If p β m 1,β 1, consider two summands in (33 corresponding to d and pd such that pd (m 1,m,µ(pd 0 When p is an odd prime or α, the sign ( 1 (m 1+m (τ+1/d and ( 1 (m 1+m (τ+1/(pd are equal When p =,α = 1, modulo the sign is irrelevant Write a = m 1 /d,b = m /d, then p α a+b,p β a ( ( ( ( aτ +a 1 bτ +b (aτ +a/p 1 (bτ +b/p a b a/p b/p ( ( ( (aτ +a/p 1 (bτ +b/p fp (aτ +af p (bτ +b = a/p b/p f p (aτf p (af p (bτf p (b 1 ( ( (aτ +a/p 1 (bτ +b/p fp (aτ +af p (bτ +b f p (aτf p (af p (bτf p (b (34 = a/p b/p f p (aτf p (af p (bτf p (b The term ( (aτ+a/p 1( (bτ+b/p a/p b/p is divisible by p α β by Lemma 411 The numerator of the fraction term in (34 is divisible by p β by (3, and the denominator is not divisible by p We proved that p α divides (34, take summation over d, we get that p α divides the summation in (33 This is true for any p m 1 +m, thus n (m1,m (τ is an integer

21 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 1 44 Genus g=0 with more holes By formula (15, we have l(µ µi 1 K τ = ( 1 µ τ [τ(τ +1] l(µ 1 a=1 (µ iτ +a Γ g (τ µ,g, µ (µ i=1 i 1! l(µ M g,l(µ i=1 (1 µ iψ i l(µ ( = ( 1 µ τ [τ(τ +1] l(µ 1 µi (τ +1 1 l(µ l(µ µ b i i µ i 1 τ bi Γ g (τ g,l(µ When g = 0 and l 3, then Γ 0 (τ = 1 and the Hodge integrals ( l 3 τ b1 τ bl 0,l = b 1,,b l Hence, we have (35 K τ µ,0, µ And by formula (7, we obtain (36 By formula (35, it is clear that K τ µ,0, µ i=1 b i 0 i=1 l(µ ( = ( 1 µ τ [τ(τ +1] l(µ 1 µi (τ +1 1 l(µ µ i 1 i=1 n µ,0, µ (τ = ( 1 l(µ µ(dd l(µ 1 K τ µ d,0, µ d d µ Theorem 41 For a partition µ with l(µ 3, 45 Genus g 1, with one hole i=1 i=1 µ i Z, and since l(µ 3, we obtain n µ µ,0, (τ Z l(µ Revist LMOV conjecture for framed knot K τ We introduce the following notations first Let n Z and λ,µ,ν denote the partitions Let (37 l(µ {n} x = x n x n, {µ}x = {µ i } x For brevity, we let {n} = {n} q and {µ} = {µ} q Let K τ be a knot with framing τ Z The framed colored HOMFLYPT invariant H(K τ ;q,a of K τ is defined in formula (1 Let Z µ (K τ = λ Then the Chern-Simons partition function is Z (S3,K τ = λ P i=1 χ λ (C µ H λ (K τ H λ (K τ s λ (x = µ P Z µ (K τ p µ (x z µ We define F µ (K τ though the expansion formula F (S3,K τ = log(z (S3,K τ = F µ (K τ p µ (x µ P + Then F µ (K τ = n 1 n i=1 νi =µ ( 1 n 1 n n i=1 Z ν i(k τ z ν i

22 WEI LUO, SHENGMAO ZHU and we introduce the notation ˆF µ (K τ = F µ(k τ {µ} Remark 413 For two partitions ν 1 and ν, the notation ν 1 ν denotes the new partition by combing all the parts in ν 1,ν For example µ = (,,1, then the set of pairs (ν 1,ν such that ν 1 ν = (,,1 is (ν 1 = (,ν = (,1, (ν 1 = (,1,ν = (, (ν 1 = (1,ν = (,, (ν 1 = (,,ν = (1, For a rational function f(q,a Q(q ±,a ±, we define the adams operator Then, we have (38 Ψ d (f(q,a = f(q d,a d ĝ µ (K τ = d µ The LMOV conjecture for framed knot K τ says: µ(d d Ψ d(ˆf µ/d (K τ Conjecture 414 For any partition µ, there exist integers n µ,g,q (τ, such that z µ ĝ µ (K τ = n µ,g,q (τz g a Q z Z[z,a ±1 ], g 0 where z = q 1 q 1 = {1} 45 Framed unknot U τ For convenience, we define the function Q φ µ,ν (x = λ By Lemma 51 in [8], for d Z +, we have χ λ (C µ χ λ (C ν x κ λ φ (d,ν (x = {dν} x {d} x By the formula of colored HOMFLYPT invariant for unknot (10, we obtain Z µ (U τ = λ χ λ (C µ H λ (U τ = ( 1 µ τ λ = ( 1 µ τ ν In particular, for µ = (m, m Z, we have χ λ (C µ q κ λ τ Z m (U τ = ( 1 mτ ν 1 z ν φ µ,ν (q τ {ν} a {ν} ν =m 1 {mντ} z ν {mτ} χ λ (C ν {ν} a z ν {ν} {ν} a {ν} For brevity, we let Z m (q,a = 1 {m} Z m(u τ = ( 1 mτ ν =m 1 {mντ} {ν} a z ν {m}{mτ} {ν} and g m (q,a = z (m ĝ m (U τ Then, by formula (38, we have (39 g m (q,a = d mµ(dz m/d (q d,a d

23 INTEGRALITY STRUCTURES IN TOPOLOGICAL STRINGS I: FRAMED UNKNOT 3 Then the integrality of the higher genus with one hole LMOV invariants is encoded in the following theorem, Theorem 415 For any integer m 1, there exist integers n m,g,q (τ, such that g m (q,a = n m,g,q (τz g a Q z Z[z,a ±1 ], g 0 where z = q 1 q 1 = {1} Q The proof of Theorem 415 is divided into several steps First, we need the following lemmas Lemma 416 Suppose k is a positive integer, then the number c m (k,y = 1 k l(λ {λ} z y λ is equal to the coefficient of t m in ( 1 t/y 1 ty k λ =m Proof Suppose the number of i s in the partition λ is a i,i = 1, Then c m (k,y = 1 a i!i a ka i (y i y i a i i iai =m i = t ij 1 j!i jkj (y i y i j i=1 j=0 [ ] = exp(t i k(y i y i /i i=1 Lemma 417 Let R = Q[q ±1/,a ±1/ ] Then {m}{mτ}g m (q,a = (40 d m is divisible by {mτ}{m}/{1} in R = [ exp(kln(1 ty 1 +kln(1 t/y ] t [ m = ( 1 t/y ] 1 ty k t m µ =m/d t m µ(d( 1 mτ/d z µ t m {mµτ} {dµ} {dµ} a Proof By the definition (39 of g m (q,a, we have the formula (40 It is clear that {m}{mτ}g m (q,a R Denote Φ n (q = d n (qd 1 µ(n/d to be the n-th cyclotomic polynomial, which is irreducible over R Then q n 1 = d n Φ d(q, and (41 {m}{mτ} = q m+mτ Φ m1 (q Φ m1 (q = q m+mτ m 1 m m 1 m Φ m1 (q m 1 mτ m 1 mτ,m 1 m Φ m1 (q (i For m 1 mτ,m 1 m, and any µ = m/d, at least one of dµ i s are not divisible by m 1, thus {mµ i τ}/{dµ i } is divisible by Φ m1 (q So Φ m1 (q divides {m}{mτ}g m (q,a

24 4 WEI LUO, SHENGMAO ZHU (ii For m 1 m and any µ = m/d, if not all dµ i are divisible by m 1, then at least two of them are not divisible Then two of corresponding {mµ i τ}/{dµ i } are divisible by Φ m1 (q We consider modulo {m 1 } in the ring R It is easy to see, for a,b 1, ( (a 1b {abm 1 } {bm 1 } a q m1/ +q m 1/ (mod {m 1 } We write x = (q m 1/ +q m 1/ /, then x 1 (mod {m 1 } Then modulo Φ m1 (q, we have (4 {m}{mτ}g m (q,a d m d m d m d m µ =m/d,m 1 dµ µ =m/d,m 1 dµ λ =m/lcm(d,m 1 µ(d( 1 mτ/d z µ µ(d( 1 mτ/d z µ µ(d( 1 mτ/d x m m 1 ( mτ {mµτ} {dµ} {dµ} a ( mτ l(µx (m µ τ d µ /m 1 {dµ} a d µ(d( 1 mτ/d x m ( mτ m 1 d 1 1 ( mτ l(λ {λ} z λ lcm(d,m 1 alcm(d,m1 d 1 ( 1 t lcm(d,m1 a lcm(d,m mτ/lcm(d,m1 1/ 1 t lcm(d,m1 a lcm(d,m 1/ For the cases m 1 with an odd prime factor p, or p = divides m 1 and 4 m, or p = divides m 1 and τ: Consider those d with µ(d 0 and p d, we have lcm(d,m 1 = lcm(pd,m 1 and parity of mτ/d equals parity of mτ/(pd, but µ(d = µ(pd Thus two terms in (4 corresponding to d and pd cancelled For the remaining case m,m 1 =, τ: Φ m1 (q = (q 1/ + q 1/ = x + Coefficients of x in (4 equals sum of terms corresponds to odd d m,µ(d 0, while constant term coefficients equals to sum of terms corresponds to d m,µ(d 0 The coefficients of term for d and d match, so (4 is divisible by x+1 In summary, we have proved that for m 1 mτ,m 1 m, Φ m1 (q divides {m}{mτ}g m (q,a; for m 1 m,m 1 1, Φ m1 (q divides {m}{mτ}g m (q,a By (41, the lemma is proved Lemma 418 For any integer m 1, we have Proof By Lemma 417, we have f(q,a := z g m (q,a = {1} {m}{mτ} g m (q,a z Q[z,a ±1 ] d m µ =m/d µ(d( 1 mτ/d z µ t m {mµτ} {dµ} {dµ} a Q[q ±1,a ±1 ] As a function of q, it is clear f(q,a admits f(q,a = f(q 1,a Furthermore, for any d m and µ = m/d, we have m µ τ d µ mτ m m τ/d mτ = mτ(m/d 1 0 (mod, which implies f(q,a = f( q,a Therefore, f(q,a = z g m (q,a Q[z,a ±1 ] The lemma is proved