Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/arxiv-cornell-university/knots-quivers-correspondence-ZAIXWCycWV
References
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
- ISSN
- 1095-0761
- eISSN
- ARCH-3343
- DOI
- 10.4310/ATMP.2019.v23.n7.a4
- Publisher site
- See Article on Publisher Site
Abstract
Preprint typeset in JHEP style - HYPER VERSION 1 2 3;4 1;5 Piotr Kucharski , Markus Reineke , Marko Stosic , and Piotr Su lkowski Faculty of Physics, University of Warsaw, ul. Pasteura 5, 02-093 Warsaw, Poland Faculty of Mathematics, Ruhr-Universit at Bochum, Universit atsstrasse 150, 44780 Bochum, Germany CAMGSD, Departamento de Matem atica, Instituto Superior T ecnico, Av. Rovisco Pais, 1049-001 Lisboa, Portugal Mathematical Institute SANU, Knez Mihailova 36, 11000 Beograd, Serbia Walter Burke Institute for Theoretical Physics, California Institute of Technology, Pasadena, CA 91125, USA Abstract: We introduce and explore the relation between knot invariants and quiver representation theory, which follows from the identi cation of quiver quantum mechanics in D-brane systems representing knots. We identify various structural properties of quivers associated to knots, and identify such quivers explicitly in many examples, including some in nite families of knots, all knots up to 6 crossings, and some knots with thick homology. Moreover, based on these properties, we derive previously unknown expressions for colored HOMFLY-PT polynomials and superpolynomials for various knots. For all knots, for which we identify the corresponding quivers, the LMOV conjecture for all symmetric representations (i.e. integrality of relevant BPS numbers) is automatically proved. CALT-2017-040 arXiv:1707.04017v1 [hep-th] 13 Jul 2017 Contents 1. Introduction 2 2. Knot theory and physics 5 2.1 Knot invariants and the LMOV conjecture 5 2.2 Knot homologies 8 3. Quiver moduli and Donaldson-Thomas invariants 10 4. Knot invariants from quivers 12 4.1 Main conjectures 12 4.2 Superpolynomials and quadruply-graded homology of knots from quivers 15 4.3 Consequences: proof of the LMOV conjecture, new categori cation, etc. 16 4.4 The strategy and q-identities 17 4.5 Reduced vs. unreduced invariants 19 5. Case studies 20 5.1 Unknot 20 5.2 Trefoil and cinquefoil knots 21 5.3 (2; 2p + 1) torus knots 24 5.4 (2; 2p) torus links 27 5.5 (3; p) torus knots 29 5.6 Twist knots 4 ; 6 ; 8 ; : : : 32 1 1 1 5.7 Twist knots 3 ; 5 ; 7 ; 9 ; : : : 34 1 2 2 2 5.8 6 and 6 knots 37 2 3 { 1 { 1. Introduction BPS states in supersymmetric eld theories and string theory have remarkable properties, which have been actively studied in last decades. In this paper we consider BPS states that arise in D-brane systems, which encode properties of knots. The counting of these states leads to invariants of knots, referred to as Labastida-Marino-Ooguri-V ~ afa (LMOV) invariants (or Ooguri-Vafa invariants). On the other hand, dimensional reduction of such brane systems is expected to lead to a description in terms of a supersymmetric quiver quantum mechanics. In this paper we argue that this is indeed the case, and in consequence properties of BPS states are encoded in the data of moduli spaces of quiver representations, which leads to intriguing relations between knots and quivers. We presented a general idea of this correspondence in [1]. Now, in this paper, we explain more details of the identi cation between knot invari- ants and quiver moduli spaces, which enables us to identify explicitly relevant quivers for many knots, including some in nite families of knots, all knots with up to 6 crossings, some knots with thick HOMFLY-PT homology, etc. Understanding structural properties of gener- ating series of knot polynomials also enables us to derive previously unknown expressions for colored HOMFLY-PT polynomials and superpolynomials (and their quadruply-graded gener- alizations) for several knots. More importantly, our correspondence relates generating series of colored HOMFLY-PT polynomials to motivic Donaldson-Thomas (DT) invariants, which then leads to the proof of the famous integrality of LMOV invariants, conjectured in [2{4]. We also discuss many other consequences of the relation between BPS states, knots and quivers. Both types of invariants mentioned above, i.e. LMOV invariants of knots and motivic Donaldson-Thomas invariants of quivers, are de ned through factorization of some generating series. Our results, in particular the proof of the LMOV conjecture, follow from the identi ca- tion of these series, which physically amounts to the identi cation of the corresponding BPS states. In case of knots, the series in question is the generating series of colored HOMFLY-PT polynomials, and it arises as the expectation value of the Ooguri-Vafa operator. This opera- tor characterizes the system of branes, which provide topological string theory realization of observables in Chern-Simons theory. This system consists of N A-model lagrangian branes 3 3 wrapping S in the deformed conifold T S Calabi-Yau geometry, and intersecting { along a knotted curve { an additional set of lagrangian branes [2]. Topological string amplitudes on each set of branes reduce to amplitudes in Chern-Simons theory, and the Ooguri-Vafa oper- ator captures contributions from the scalar eld describing strings stretched between these two sets of branes, whose amplitudes are identi ed with expectation values of Wilson loops in Chern-Simons theory [2, 5]. According to the seminal work of Witten, such expectation values are identi ed with colored HOMFLY-PT polynomials [6], which are then assembled into a generating series that arises as the expectation value of the Ooguri-Vafa operator. The LMOV invariants that we consider are de ned through factorization of this series [2{4]. Upon the geometric transition, N branes in the deformed conifold geometry are replaced by the resolved conifold geometry in the presence of additional lagrangian branes, which encode the topology of the original knot. Embedding this system in M-theory enables to interpret { 2 { LMOV invariants as counting open M2-branes ending on M5-branes. However, integrality of these invariants has been veri ed only in some speci c cases e.g. in [2{4, 7, 8], as well as for some in nite families of knots and representations [9, 10]. In particular, in [10] the relation of the framed unknot invariants (equivalently extremal invariants of twist knots, as well as open topological string amplitudes for branes in C geometry) to motivic Donaldson-Thomas in- variants of the m-loop quiver was found, which led to the proof of integrality of BPS numbers in those cases; this relation was then analyzed and discussed also in [11, 12]. Reducing the above mentioned open M2-brane states to their worldvolume is expected to lead to a description in terms of N = 4 supersymmetric quiver quantum mechanics. We nd this quantum mechanics description by postulating that the Ooguri-Vafa generating function should be identi ed with the motivic generating series assigned to a putative quiver. Factorization of such a series de nes motivic Donaldson-Thomas invariants, which also have an interpretation as the counts of BPS states [13, 14]. If a quiver in question indeed exists, it is natural to identify these BPS states as the e ective description of M2-M5 bound states in the Ooguri-Vafa description. As our main result { announced already in [1] { we show that the Ooguri-Vafa generating series indeed takes the form of the motivic generating series for some quiver, and we identify such quivers explicitly in various cases. For example, the quiver corresponding to the trefoil knot is shown in gure 1. BPS states that arise in the quiver description can be interpreted as elements of Coho- mological Hall Algebras [14{16], which provide prototype examples of algebras of BPS states, whose existence was postulated in [17]. These structures are intimately related to the theory of wall-crossing and associated phenomena, which led to important results both in physics and mathematics in recent years. In our work we take advantage of some of those results, as well as suggest new directions of studies. For example, it has been proved that motivic Donaldson-Thomas invariants assigned to a symmetric quiver are integer [18]. Our results lead to the identi cation of LMOV invariants with motivic Donaldson-Thomas invariants for symmetric quivers, which thus proves integrality of these LMOV invariants. More pre- cisely, for knots for which we identify the corresponding quiver, the LMOV conjecture for all symmetric representations is automatically proved. This is already an important result, Figure 1. Trefoil knot and the corresponding quiver. { 3 { Knots Quivers Homological degrees, framing Number of loops Colored HOMFLY-PT Motivic generating series LMOV invariants Motivic DT-invariants Classical LMOV invariants Numerical DT-invariants Algebra of BPS states Cohom. Hall Algebra Table 1. Identi cation of various quantities associated to knots and quivers. and we expect that such corresponding quivers exist for all knots, and a general proof of the LMOV conjecture could be conducted along these lines. Some other identi cations between quantities associated to knots and to quivers are shown in table 1. There are many other consequences and new relations that follow from our work. First, motivic Donaldson-Thomas invariants that we consider have an interpretation as certain topological characteristics of quiver moduli spaces [19, 20]. This suggests that quiver moduli spaces themselves should be interpreted as knot invariants, which leads to a novel kind of categori cation in knot theory. Second, we nd that all HOMFLY-PT polynomials, as well as superpolynomials and their quadruply-graded generalizations, colored by arbitrary symmetric representations, are determined by a nite number of parameters: the matrix C encoding the structure of the quiver corresponding to a given knot, and homological degrees of generators of the uncolored HOMFLY-PT homology. There should be a deeper reason why such limited information gives rise to rich structure and intricate properties of various in nite families of knot invariants. Third, colored HOMFLY-PT polynomials and LMOV invariants can be de ned for ar- bitrary (not only symmetric) representations and labeled by arbitrary Young diagrams. It is desirable to understand how this information is encoded in the corresponding quiver, or some generalization thereof. On the other hand, colored HOMFLY-PT polynomials labelled by symmetric representations satisfy a di erence equation (encoded in A operator), and their asymptotics is encoded in algebraic curves generalizing the A-polynomial [9, 10, 21]. Such objects should also have an interesting interpretation in the context of quivers. In fact, for the m-loop quiver analogous functional equations have been discussed in [15], and we expect that such relations should more generally play a role in quiver representation theory. Fourth, having expressed colored HOMFLY-PT polynomials in the form of the motivic generating function, it is natural to replace one generating parameter associated with sym- metric representations, by several parameters that naturally appear in motivic generating functions. This leads to a re nement of colored HOMFLY-PT polynomials, as well as LMOV invariants, and among others even stronger integrality statements. Furthermore, motivic generating functions associated to quivers, as well as { after our rewriting { the generating functions of colored HOMFLY-PT polynomials, take the form of Nahm sums (with additional generating parameters) [22, 23]. The Nahm sums have very { 4 { intriguing properties, in special cases they are modular functions and may arise as characters of rational conformal eld theories. It appears that both quiver representation theory, as well as knot theory, are rich sources of sums of this type. Our work should also be related to many other results in literature. For example, uncol- ored HOMFLY-PT polynomials were related { from a di erent perspective { to Donaldson- Thomas invariants in [24]. A class of functions encoding integrality properties analogous to our generating functions has been analyzed in [25, 26]. A detailed analysis of the LMOV conjecture was conducted in [27], and a re ned LMOV conjecture was considered in [9, 28]. This paper is organized as follows. In section 2 we present appropriate background in knot theory and its relations to physics, including issues such as colored HOMFLY-PT polynomials, LMOV invariants, and knot homologies. In section 3 we introduce motivic Donaldson-Thomas invariants and other relevant notions from quiver representation theory. In section 4 we present our main conjectures, motivated by physical interpretation of knot invariants in terms of supersymmetric quiver quantum mechanics, and relating various knot invariants to invariants of quivers. In section 5 we illustrate these conjectures in many exam- ples, including in nite families of torus and twist knots, all knots with up to 6 crossings, and examples of thick knots. Using our results we also determine previously unknown HOMFLY- PT polynomials and superpolynomials colored by arbitrary symmetric representations for 6 and 6 knots, as well as for (3; 7) torus knot. 2. Knot theory and physics Knot theory plays a prominent role in contemporary high energy and mathematical physics. As a branch of topology, it is not surprising that it is intimately related to topological eld and string theories. It is perhaps more surprising, that through these links not only physics provides an interpretation of mathematical facts, but it is also a source of new ideas, which are subsequently formalized and (hoped to be) proved by mathematicians. Examples of such ideas, relevant in the context of our work, include Labastida-Marino-Ooguri-V ~ afa (LMOV) invariants, superplynomials and HOMFLY-PT homologies, quadruply-graded homologies, etc. In this section we recall and brie y summarize all these notions and introduce notation used in what follows. 2.1 Knot invariants and the LMOV conjecture Polynomial knot invariants, including the Alexander polynomial known for almost 100 years, and the much younger Jones polynomial, form one important class of knot invariants. The Jones polynomial was subsequently generalized to the two-parameter HOMFLY-PT polyno- mial, and colored versions of these polynomials were introduced. Witten's interpretation of these polynomials as expectation values of Wilson loops in Chern-Simons theory [6] played an important role in those developments. Furthermore, the Chern-Simons interpretation was also shown to be related to topological string theory [5]. This paved the way to subsequent formulation of LMOV invariants and the famous conjecture, stating that these invariants are { 5 { integer [2{4, 29]. While this conjecture was veri ed in various speci c situations [2{4, 7{10], and some attempts of its general proof were undertaken [30], it still appears to be an open problem. One aim of our work is to provide a proof of this conjecture, at least for a large class of knots and representations. However, let us rst introduce relevant notation. As follows from [6], colored HOMFLY-PT polynomials can be interpreted as expectation values of Wilson loops in representation R in Chern-Simons theory P (a; q) = hTr Ui; (2.1) R R where U = P exp A is the holonomy of U (N ) Chern-Simons gauge eld along a knot K . Here the HOMFLY-PT polynomial is unreduced, i.e. it is normalized as P (a; q) = P P (a; q); (2.2) R R where P (a; q) is the corresponding reduced colored HOMFLY-PT polynomial (equal to 1 for the unknot), and P is the normalization factor of the unknot. As we will explain in what follows, our results depend in a crucial way on the choice of this normalization. After embedding Chern-Simons theory in string theory, as we sketched in the introduc- tion, it was shown in [2] that the following generating function { often referred to as the Ooguri-Vafa operator { is natural to consider X X n n Z (U; V ) = Tr U Tr V = exp TrU TrV ; (2.3) R R n=1 where V is interpreted as a source, and the sum runs over all representations R, i.e. all two- dimensional partitions. The expectation value of this expression is the generating function of colored HOMFLY-PT polynomials. It was postulated in [2{4, 29] that this expectation value has the following structure X XX n n n Z (U; V ) = P (a; q)Tr V = exp f (a ; q )Tr V ; (2.4) R R R R R n=1 R where the functions f (a; q) take the form i j N a q R;i;j f (a; q) = (2.5) q q i;j and encode conjecturally integer N numbers. The functions f (a; q) can be expressed R;i;j R as universal polynomials in colored HOMFLY-PT polynomials. The above statements, con- cerning the structure of Z (U; V ) and integrality of N , are referred to as the LMOV R;i;j conjecture, and N are called LMOV invariants (or Ooguri-Vafa invariants). As indicated R;i;j in the introduction, in the physics interpretation they count bound states of M2-branes ending on M5-branes. { 6 { r Of our main interest in this work is the generating function of S -colored HOMFLY-PT polynomials. It can be obtained by considering a one-dimensional source V = x. In this case r r Tr V 6= 0 only for symmetric representations R = S , and then Tr r (x) = x . Then (2.4) R S reduces to the generating function of S -colored HOMFLY-PT polynomials, and denoting the S -colored HOMFLY-PT polynomial by P (a; q) we get X X r n n nr P (x) = hZ (U; x)i = P (a; q)x = exp f (a ; q )x ; (2.6) r r r=0 r;n1 with i j N a q r;i;j f (a; q) f (a; q) = ; (2.7) r S q q i;j where LMOV invariants are denoted by N N . These functions are polynomials, r;i;j S ;i;j d d 2 2 with rational coecients, of P (a ; q ) for some d and d (with d d r): d 1 2 1 2 f (a; q) = P (a; q); 1 1 1 1 2 2 2 f (a; q) = P (a; q) P (a; q) P (a ; q ); 2 2 1 1 2 2 1 1 3 3 3 f (a; q) = P (a; q) P (a; q)P (a; q) + P (a; q) P (a ; q ); 3 3 1 2 1 1 3 3 etc. One can also rewrite (2.6) in the product form r;i;j r i j+2k+1 P (x) = 1 x a q : (2.8) r1;i;j;k0 One of our aims is to show integrality of BPS degeneracies N encoded in this product. r;i;j In the (classical) limit q ! 1, a special role is played by a subset of LMOV invariants, referred to as classical LMOV invariants. To de ne them it is useful to consider the ratio r i r+j+2k+1 Y Y P (qx) 1 x a q r;i;j r i rb =2 r;i y(x; a) = lim = lim = (1 x a ) ; r i j+2k+1 q!1 P (x) q!1 1 x a q r1;i;j;k0 r1;i (2.9) with classical LMOV invariants de ned as b = N : (2.10) r;i r;i;j It turns out that y = y(x; a) de ned above satisfy algebraic equations A(x; y) = 0 (2.11) of A-polynomial type [9, 21]. { 7 { 2.2 Knot homologies Another important class of knot invariants are knot homologies. First well understood examples of such structures are Khovanov homology [31] and Khovanov-Rozansky homol- ogy [32,33]. In our work an important role is played by their putative, highly nontrivial gener- alization, namely colored HOMFLY-PT homology H , which categori es the HOMFLY-PT i;j;k polynomial colored by symmetric representations S . It has been de ned rigorously by math- ematicians only recently [34], yet only for the unreduced version, and it is still not suitable for explicit computations (there also exist some constructions in the case of antisymmetric representations , both reduced and unreduced versions, see e.g. [35], which are conjecturally isomorphic to the homologies corresponding to the symmetric representations). Nonetheless, the conjectural Poincar e polynomial of (reduced) colored HOMFLY-PT homology, referred to as the superpolynomial i j k S P (a; q; t) = a q t dimH ; (2.12) i;j;k i;j;k can be determined for various families of knots, for example using the formalism of di erentials and the structural properties of the (colored) homologies [36{39] { the formalism that we will exploit in the present paper. It has been postulated that HOMFLY-PT homology should be identi ed with the space of BPS states in relevant brane systems [38, 40]. Superpolynomials for the unknot or the Hopf-link can be also computed by techniques of re ned topological string theory [41], and superpolynomials for torus knots can be computed by means of re ned Chern-Simons theory [42{46]. Colored superpolynomials reduce to colored HOMFLY-PT polynomials upon the substitution t = 1. As we will see, one interesting result of our work is an explicit relation between colored HOMFLY-PT polynomials and the (uncolored) superpolynomial. Let us brie y present structural properties of the reduced S -colored HOMFLY-PT ho- mologies H of a given knot [38, 47]. First, for a given knot, for every k = 0; : : : ; r 1, there exists a (positive, vertical) colored di erential d on H , of (a; q; t)-degree ( 2; 2 2k; 1), 1 k r k S S such that the homology of H with respect to d is isomorphic to H . Second, for ev- 1 k ery k = 0; : : : ; r 1 there is another set of (negative, vertical) colored di erentials d r k r r S S on H (K ), of (a; q; t)-degree ( 2; 2r 2k; 3), such that the homology of H (K ) with respect to d is isomorphic to H . Third, there is a universal colored di erential d of r k 2!1 2 2 S S degree (0; 2; 0) on the homology H (K ), such that the homology of H with respect to d 2!1 is isomorphic to the uncolored homology H . All these di erentials relate homology theo- ries with di erent values of r. The uncolored homology, corresponding to r = 1, supposedly categori es the reduced HOMFLY-PT polynomial, and its Poincar e polynomial is simply the original (uncolored) superpolynomial introduced in [36]. Furthermore, HOMFLY-PT homologies of a large class of knots satisfy the re ned expo- nential growth, which implies the following relation for their colored superpolynomials P (a; q = 1; t) = (P (a; q = 1; t)) ; (2.13) { 8 { see also [35]. Properties of colored di erentials, together with the assumption of the exponen- tial growth, enable to determine an explicit form of the colored superpolynomial P (a; q; t) for various knots [38, 45, 48]. For example, colored superpolynomials for the trefoil knot 3 take the form [45, 48] r k 2r X Y a r 2k(r+1) 2k 2 2(i 2) P (a; q; t) = q t (1 + a q t); (2.14) 2r q k k=0 i=1 where 2 2 r (q ; q ) = ; (2.15) 2 2 2 2 k (q ; q ) (q ; q ) k r k and the q-Pochhammer symbol is de ned as r 1 1 Y Y k k (x; q) = (1 xq ); (x; q) = (1 xq ) : (2.16) r 1 k=0 k=0 For t = 1, (2.14) specializes to the reduced colored HOMFLY-PT polynomial for trefoil knot, while in the uncolored case (i.e. for r = 1), (2.14) reduces to 2 2 2 4 3 P (a; q; t) = + a q t + a t : (2.17) The monomials in this expression correspond to generators of the HOMFLY-PT homology, and powers of t in each monomial { in this example taking values (0; 2; 3) { are referred to as homological degrees. It is convenient to present the structure of (colored) HOMFLY-PT homology in terms of diagrams on a two-dimensional lattice. Each homology generator is represented by a dot at position (i; j) in such a lattice, with i and j representing respectively q-degree and a-degree of this generator, and whose t-degree can in addition be written explicitly in the diagram as label of a corresponding dot. In addition, di erentials acting between pairs of generators 4 2 1 0 1 0 2 2 0 2 0 2 2 0 2 Figure 2. Diagrams of the reduced uncolored HOMFLY-PT homology of the trefoil (left) and the gure-eight knot (right). { 9 { can be represented by arrows in the diagram. In gure 2 are presented the diagrams of the reduced uncolored HOMFLY-PT homologies of the trefoil and the gure-eight knot. The structure of di erentials implies that in the case of the uncolored homologies (the ones that are of our main interest in the paper) the generators must form two larger structures, which we call a zig-zag and a diamond. A zig-zag is a string of an odd number of generators, and a diamond consists of four generators (as the name indicates, distributed in the form of a diamond). For each knot, its HOMFLY-PT homology must contain precisely one zig-zag (possibly of length one, i.e. consisting of a single generator), and an arbitrary number of diamonds. For example, in the case of the diagrams in gure 2, the diagram of the trefoil knot consists of a single zig-zag of length three, while the diagram for the gure-eight knot consists of a zig-zag of length one (only the generator in the middle of the diagram with the label 0), and one diamond formed by the remaining four generators. The ( nite-dimensional) homology of a link has as many zig-zags as the number of its components. The structure of colored HOMFLY-PT homology was further generalized to quadruply- graded homology, which has a richer structure of di erentials [47]. The Poincar e polynomial of this quadruply-graded homology P (a; Q; t ; t ) depends on four parameters a; Q; t and t , r r c r c and specializes to the colored superpolynomial upon the identi cation P (a; q; t) = P (a; Q = q; t = tq ; t = q); (2.18) r r r c and to the colored HOMFLY-PT polynomial upon P (a; q) = P (a; Q = q; t = q ; t = q): (2.19) r r r c Quadruply-graded homologies for a large class of knots satisfy the re ned exponential growth, which implies the following relation for the corresponding Poincar e polynomials P (a; Q; t ; t = 1) = P (a; Q; t ; t = 1) : (2.20) r r c 1 r c 3. Quiver moduli and Donaldson-Thomas invariants In this section we present basic properties of quivers and moduli spaces of their representa- tions, which will be crucial in the rest of the paper. Moduli spaces of quiver representations have a rich structure, which among others provides a natural playground for the theory of (motivic) Donaldson-Thomas invariants, Cohomological Hall Algebras, etc. A quiver Q is an oriented graph with a nite set of vertices Q and nitely many arrows between vertices : i ! j, for i; j 2 Q . On ZQ , we de ne the Euler form of Q by 0 0 X X hd; ei = d e d e : (3.1) i i i j i2Q :i!j A quiver representation assigns to each vertex i 2 Q a vector space of dimension d , and a 0 i linear map between two such spaces to each arrow. The vector d = (d ; : : : ; d ) is referred 1 m to as the dimension vector. { 10 { As we will see, quivers which appear in relation to knot invariants are symmetric, meaning that for any pair of their vertices i and j, the number of arrows from i to j is equal to the number of arrows from j to i. While explicit expressions for invariants describing moduli spaces of quiver representations are hard to nd in general, they are quite well understood in the case of symmetric quivers [14, 18{20]. An important information about the moduli space of representations of a symmetric quiver is encoded in the following generating series X Y Y hd;di d P (x) = ( q) x (3.2) 2j 1 q d2NQ i2Q j=1 0 0 d i where x = x . In particular, motivic Donaldson-Thomas invariants d;j d ;:::;d ;j i2Q i 1 assembled into (q) = ( q) ; (3.3) d d;j are de ned once (3.2) is rewritten as P (x) = Exp( (q)x ); (3.4) Q d q q d6=0 where Exp is the plethystic exponential de ned by Exp(f + g) = Exp(f ) Exp(g) and i d 1 Exp(q x ) = for i 2 Z and d 2 NQ . This plethystic exponential form can be written i d 0 1 q x equivalently as a product decomposition Y Y Y j d j+2k+1 d;j P (x) = 1 ( 1) x q : (3.5) d6=0 j2Z k0 Two geometric interpretations of invariants (q), either as the intersection Betti numbers of the moduli space of all semisimple representations of Q of dimension vector d, or as the Chow-Betti numbers of the moduli space of all simple representations of Q of dimension vector d, were provided in [19, 20]. It was also proved these invariants are positive integers [18]. One of our aims in this paper is to relate these invariants to LMOV invariants of knots. One can also introduce numerical Donaldson-Thomas invariants of a quiver. To this end, for a vector n 2 NQ , we denote by P (q x) the series arising from P (x) by replacing every 0 Q Q d nd d x by q x , where n d = n d . Then i i i2Q n nd nd P (( q) x) ( q) ( q) = Exp( (q)x ); (3.6) n 1 P (( q) x) ( q) ( q) d6=0 and in this equation we can specialize q to 1. By [49], the left hand side specializes then to the generating series of the Euler characteristic of certain Hilbert schemes Hilb (Q) attached to d;n the quiver (these numbers admit a combinatorial interpretation by counting certain kinds of trees), so that we get X X Y d d d (nd) (1) (Hilb (Q))x = Exp( (n d) (1)x ) = (1 x ) : (3.7) d;n d d2NQ d6=0 d6=0 These (1) are the (numerical) Donaldson-Thomas invariants of the quiver. { 11 { 4. Knot invariants from quivers In this section we rst present our main claim, relating various knot invariants to quivers. We also discuss its various implications, and develop a formalism facilitating computations and enabling to determine quivers associated to knots. Our claim takes form of the following conjectures. We show that these conjectures are correct in many explicit and nontrivial examples in section 5. 4.1 Main conjectures Conjecture 4.1 For a given knot, the generating function of its (appropriately normalized, as explained in detail in section 4.5) colored HOMFLY-PT polynomials (2.6) can be written in the form l d a d t d X X i i i i i i q a ( 1) r d +:::+d C d d 1 m i;j i j i=1 i;j P (x) = P (a; q)x = x q (4.1) r m 2 2 (q ; q ) i=1 r=0 d ;:::;d 0 1 m where C is a (symmetric) m m matrix, and l ; a and t are xed integers. Note that i i i terms proportional to x , with xed r, arise from sets of fd g such that r = d + : : : + d . i 1 m Remarkably, (4.1) has the same form as the motivic generating function (3.2) of a symmetric quiver determined by the matrix C , up to the identi cation q 7! q and the specialization of variables a l 1 t i i i x = xa q ( 1) : (4.2) The number of vertices m of such a quiver is given by the size of C , and the number of arrows between vertices i and j is given by the matrix element C (in particular C denotes the i;j i;i number of loops at vertex i). It follows that to a given knot one can assign a quiver, so that various invariants of this knot are encoded in the data of moduli spaces of quiver representations of this corresponding quiver. Moreover, all this information is encoded in a nite set of parameters that determine (4.1): the matrix C , as well as integers l ; a ; t that are encoded in the (uncolored, reduced) i i i superpolynomial of the knot in question. Recall that the uncolored, reduced superpolynomial a q t i i i for a given knot is a sum of monomials of the form a q t , which correspond to generators of the HOMFLY-PT homology. Conjecture 4.2 The size of the matrix C (the number of vertices in the corresponding quiver) is equal to the number of generators of uncolored HOMFLY-PT homology. Further- more, with appropriate ordering of vertices, t in (4.1) agree with homological degrees of generators of HOMFLY-PT homology, diagonal elements of C are also equal to homological degrees, i.e. C = t , coecients of linear powers of q take the form l = q t , and a are i;i i i i i i equal to a-degrees of generators of uncolored HOMFLY-PT homology. An additional minus sign in (4.1) comes with the power determined by t , so that it is relevant only for generators with odd t-grading. { 12 { Note that it follows that homological degrees t can be identi ed (as diagonal elements of matrix C ) after rewriting the generating series (2.6) in the quiver-like form, and they are given by the number of loops in the corresponding quiver. This means, that the uncolored superpolynomial is encoded in the form of colored HOMFLY-PT polynomials, which is quite a surprising observation. For knots that satisfy the re ned exponential growth (2.13) it is not hard to see where the coecients of linear terms in d , in powers of q; a and ( 1) in (4.1), come from. In general, in expressions for quadruply-graded superpolynomials, t does not appear in powers which are linear in summation variables, so { if (2.20) holds { linear powers of other parameters can be identi ed upon specialization t = 1. Furthermore, recall that colored superpolynomials arise upon the substitution (2.18), and colored HOMFLY-PT polynomials upon (2.19). It follows that for arbitrary color r = d + : : : + d , a linear term in the exponent of q takes the form 1 m (q t )d ; (4.3) i i i where the sum is over all generators i of the uncolored homology, q and t are their q- i i and t-degrees, and d is the corresponding summation index. Analogously, linear powers of P P parameters a and ( 1) in (4.1) must, respectively, take the form a d and t d . The i i i i i i same formulas are valid for the unreduced homology, since the re ned exponential growth holds for the unreduced homology of the unknot. Note that one can also focus on those parts of colored HOMFLY-PT polynomials or superpolynomials which are proportional to the highest or lowest power of the variable a [9,47]. The corresponding generators of HOMFLY-PT homology lie respectively in the top or bottom row of the homology diagram, so such invariants are often referred to as top/bottom row invariants, or extremal invariants. For a large class of knots satisfying the exponential growth property (2.13), the generating function of their colored extremal reduced HOMFLY-PT polynomials also takes a universal form (4.1), however with the dependence on a suppressed P P P (q t )d t d X i i i i i i i q ( 1) C d d bottom=top d +:::+d 1 m i;j i j i;j P (x) = x q : (4.4) 2 2 (q ; q ) i=1 i d +d ++d 0 1 2 m Here m is the dimension of the fundamental homology corresponding to the bottom/top row, and q and t , i = 1; : : : ; m, are q-degrees and t-degrees of these m generators. In this case i i the matrix C encodes a quiver which is a subquiver (capturing only extremal a-dependence) of the full quiver associated to a given knot. The conjecture 4.2 relates various quantities associated to knots to those of quiver moduli. Note that other relations of this type also follow { one another example of such a relation is the dependence on framing. The operation of framing by f 2 Z changes the colored HOMFLY-PT polynomial by a factor, which for the symmetric representation S takes the form 2fr f r(r 1) a q : (4.5) { 13 { From the viewpoint of the quiver generating function (4.1), the term with quadratic (in r) power of q P P 2 2 fr f ( d ) f d d i j i i;j q = q = q (4.6) shifts all elements of the matrix C by f 2 3 1 1 1 6 7 1 1 1 6 7 6 7 C 7! C + f (4.7) . . . 6 7 . . . . . . . 4 5 1 1 1 which in the quiver interpretation corresponds to adding f loops at each vertex and f pairs of oppositely-oriented arrows between all pairs of vertices. Note that, while in the context of quivers all entries of a matrix C should be nonnegative, in some examples coming from knots we nd matrices C with negative entries. In this case a change of framing can be used to shift such negative values, and make all entries of C nonnegative; such a modi ed matrix still describes the same knot. Furthermore, we can also characterize the structure of the matrix C in more detail. Conjecture 4.3 For a given knot, the matrix C has a block structure 2 3 b b 1;1 1;k 6 7 . . . . . 7 . . 6 7 C = 6 7 6 7 b b k;k 1;k 4 5 . . Diagonal blocks b correspond to structural elements of the HOMFLY-PT homology, intro- k;k duced in section 2.2. One of those blocks (in case of knots; or as many blocks as the number of components of a link) corresponds to the zig-zag element of length 2p + 1, and it has the same form (up to some permutation of homology generators, and up to an overall shift by a constant matrix with integer coecients as in (4.7), corresponding to framing) as the ma- trix C for the (2; 2p + 1) torus knot (5.24). All other diagonal block elements correspond to diamonds and (up to a permutation of homology generators) take the form 2 3 k k k + 1 k + 1 6 7 k k + 1 k + 2 k + 2 6 7 (4.8) 6 7 4 k + 1 k + 2 k + 3 k + 35 k + 1 k + 2 k + 3 k + 4 for a xed k (which may be di erent for each block). The structure of other blocks b for l;k l 6= k depends only on the structural elements corresponding to diagonal blocks b and b . l;l k;k { 14 { 4.2 Superpolynomials and quadruply-graded homology of knots from quivers In the above conjectures we related generating functions of colored HOMFLY-PT polynomials to the motivic generating series of some quiver. However, in addition we postulate that the same quiver encodes also generating functions of colored superpolynomials, as well as Poincar e polynomials of quadruply-graded HOMFLY-PT homology. Conjecture 4.4 Consider a knot satisfying the exponential growth property (2.20), with the corresponding quiver { determined as explained above { represented by a matrix C , the size of the reduced colored homology denoted by m, and (a; q; t)-degrees of its generators denoted by (a ; q ; t ). Then, the Poincar e polynomial of the reduced quadruply-graded S -colored ho- i i i mology is also determined by the quiver matrix C , and it takes a universal form 2 2 (t ; t ) c c P (a; Q; t ; t ) = r r c 2 2 2 2 2 2 (t ; t ) (t ; t ) (t ; t ) d d d c c 1 c c 2 c c m d +d +:::+d =r 1 2 m P P m m m C d d t d i;j i j i i a d q d i;j=1 i i i i i=1 i=1 i=1 a Q t t : (4.9) r c 2 2 The generating function of such Poincar e polynomials, normalized by (t ; t ) , c c P (x) = P (a; Q; t ; t ) ; (4.10) r r c 2 2 (t ; t ) c c r=0 can also be obtained as a specialization of (3.2), with appropriate choice of x , which then gives rise to linear (in d ) powers of a; Q and t . Therefore the product decomposition (3.5) i r leads to re ned (quadruply-graded) LMOV invariants. Furthermore, (4.9) can be reduced to the generating function of colored superpolynomials upon the identi cation of variables given in (2.18), and the corresponding re ned LMOV invariants can be identi ed (note that LMOV invariants, re ned in the sense of including t-dependence, were also discussed in [9, 28]). The expression (4.9) can also be reduced to the case of extremal powers of a (i.e. top/bottom row). Let now m denote the size of such a bottom or top row uncolored reduced homology, and denote (q; t)-degrees of its generators by (q ; t ). The Poincar e polynomial of i i the bottom (or top) row of the reduced quadruply-graded S -colored homology is then given by 2 2 X P m m C d d (t ; t ) t d i;j i j bottom=top q d i i i;j=1 c c i i i=1 i=1 P (Q; t ; t ) = Q t t : r c r c 2 2 2 2 (t ; t ) (t ; t ) d d c c 1 c c m d +d +:::+d =r 1 2 m (4.11) In this case we suppressed the a-dependence, since the entire bottom (or top) row homology is characterized by the same a-degree. The matrix C in (4.11) coincides with the one in (4.4) and it encodes a subquiver (representing only the extremal a-dependence) of the full quiver associated to a given knot. Specializing the product decomposition (3.5) results in re ned (quadruply-graded), extremal LMOV invariants. Moreover (4.11) can be reduced to { 15 { the generating function of (extremal) colored superpolynomials upon the identi cation of variables given in (2.18), which then encodes re ned extremal LMOV invariants. We stress that integrality of various re ned (or quadruply-graded) LMOV invariants mentioned above follows automatically from the fact that the corresponding generating series arise as specializations of (3.5), whose product decomposition is proved to give rise to integer invariants in general. 4.3 Consequences: proof of the LMOV conjecture, new categori cation, etc. Our conjectures imply that various knot invariants can be expressed in terms of invariants characterizing quiver moduli spaces. More generally, these conjectures imply that there are various { unexpected, and highly nontrivial { relations between knot theory and quiver rep- resentation theory; some of those relations are listed in table 1. We now brie y discuss some of these consequences, and we will illustrate them in various examples in the next section. First, the fact that { under appropriate specialization { the motivic generating series of a quiver agrees with the generating function of colored HOMFLY-PT polynomials also means, that the product decomposition (3.5) is identi ed with the product decomposition (2.8). This implies that the LMOV invariants N take the form of linear combinations r;i;j (with integer coecients) of motivic Donaldson-Thomas invariants . The d;j d ;:::;d ;j 1 m motivic Donaldson-Thomas invariants for symmetric quivers are proved to be integer [18], which therefore implies that the corresponding LMOV invariants are also integer { which then proves the LMOV conjecture. Therefore, once a quiver corresponding to a given knot is identi ed (which we will do in many examples in the rest of the paper), it automatically follows that LMOV invariants for this knot, labeled by symmetric representations, are integer. Second, quiver invariants automatically provide a re nement of knot invariants { once a quiver is identi ed, its motivic generating series (3.2) involves several generating parameters x ; : : : ; x , encoding \re ned" invariants , and \re ned" HOMFLY-PT polynomi- 1 m d ;:::;d ;j 1 m als. It is desirable to understand the meaning of those re ned invariants from the knot theory perspective. Third, we nd that in some cases to a given knot one may assign several quivers, which give rise to the same generating function of HOMFLY-PT polynomials { even though their original motivic generating series, without imposing the specialization (4.2), are di erent. Such quivers di er by some permutation of their elements, as we will illustrate in various examples. Moreover, the limit q ! 1 of the motivic generating series immediately implies integrality of classical LMOV invariants (2.10), which are expressed in terms of (integer) numerical Donaldson-Thomas invariants de ned in (3.7). Furthermore, the fact that (generating functions of ) colored HOMFLY-PT polynomials and LMOV invariants are expressed in terms of motivic Donaldson-Thomas invariants { which arise as certain Betti numbers of quiver moduli spaces { provides a novel categori cation of these knot invariants. Namely, quiver moduli spaces themselves can be regarded as new invariants of knots. { 16 { While, on one hand, knot invariants appear as specializations of invariants of quiver moduli spaces, on the other hand knot invariants (HOMFLY-PT polynomials, or LMOV invariants) can be de ned in more general families, labeled by arbitrary Young diagrams (not just symmetric Young diagrams, which appear in (4.1)). It is desirable to understand how such more general invariants are related to, or could be extracted from, the data of quiver moduli spaces. We also note that, as argued in [14], the Cohomological Hall Algebra associated to a quiver should be identi ed with the algebra of BPS states [17]. Furthermore, the generating functions (4.1) take the form of products of q-series that appear in Nahm conjectures [22], which suggests their relation to conformal eld theories and integrability. All these issues are worth thorough further investigation. 4.4 The strategy and q-identities In order to determine a quiver corresponding to a given knot, we have to rewrite the gener- ating function of colored HOMFLY-PT polynomials of this knot in the form (4.1). Colored HOMFLY-PT polynomials, which are known for various knots, can be written in terms of sums involving q-Pochhammer and q-binomial symbols [45, 48], as e.g. in the expression (5.15). However, in general in such expressions the number of summations is smaller than the number of terms in the superpolynomial, and it is not obvious that such sums can be rewritten in the form (4.1), which involves as many summations as the number of terms in the superpolynomial. Therefore some algebraic manipulations are necessary in order to rewrite such formulas in the form that involves an appropriate number of additional summations, and in addition includes appropriate q-Pochhammer symbols in the denominator. To achieve this we take advantage of the following lemmas. Lemma 4.5 For any d ; : : : ; d 0, we have: X X X (x; q) 1 d +:::+d (q; q) (q; q) (q; q) (q; q) (q; q) (q; q) d d 1 k 1 k 1 k + =d + =d + =d 1 1 1 2 2 2 k k k 1 k 1 1 2 2 +:::+ ( +:::+ ) (d +:::+d ) ( +:::+ ) 1 k i+1 1 i 1 k 1 k i=1 2 2 ( x) q q q : (4.12) Proof: First, note that d d +d d +:::+d 1 1 2 1 k 1 (x; q) = (x; q) (xq ; q) (xq ; q) : : : (xq ; q) : (4.13) d +:::+d d d d d 1 k 1 2 3 k By expanding each of k q-Pochhammers on the right hand side by using the quantum binomial identity X X 1 (q; q) 1 (q; q) n n ( 1) ( 1) 2 2 (x; q) = ( x) q = ( x) q ; (4.14) (q; q) (q; q) (q; q) (q; q) =0 + =n { 17 { we obtain X X X (q; q) (q; q) (q; q) d d d 1 2 (x; q) = d +:::+d 1 k (q; q) (q; q) (q; q) (q; q) (q; q) (q; q) 1 1 2 2 k k + =d + =d + =d 1 1 1 2 2 2 k k k 1 k 1 2 2 +:::+ ( +:::+ ::: ) (d +:::+d ) 1 k 1 k i+1 1 i 1 k i=1 ( x) q q (4.15) which proves the lemma. Lemma 4.5 enables rewriting the expression of the form (x; q) d +:::+d 1 k (4.16) (q; q) (q; q) d d 1 k as a sum of terms (4.17) (q; q) (q; q) (q; q) (q; q) 1 k 1 k weighted simply by linear and quadratic powers of q. In this way (at least in some cases) we can introduce additional summations in expressions for colored HOMFLY-PT polynomials, in order to bring them into the form of the quiver generating series (4.1). In more complicated situations, generalizing the relation (x; q) = (x; q) (xq ; q) ; (4.18) a+b a b we can take advantage of the following lemma which enables rewriting certain q-binomial coef- 2 2 (q ;q ) n n cients. Recall that throughout the paper we are using the convention = , 2 2 2 2 (q ;q ) (q ;q ) k n k cf. (2.15). Lemma 4.6 For nonnegative integers a; b and k we have a + b a b 2(a i)(k i) = q : (4.19) k i j i+j=k More generally, let a ; : : : ; a , m 1, and k ; : : : ; k , p 1, be nonnegative integers. Then 1 m 1 p X X X a + a k k a i i a j j 1 2 1 p 1 1 1 p 1 2 1 p 1 k k k i i i j j j 1 2 p 1 2 p 1 2 p i +j =k i +j =k i +j =k 1 1 1 2 2 2 p p p 2((a i )(k i )+(i i )(k i )+:::+(i i )(k i )) p p p 1 1 1 1 1 2 2 2 p 1 q ; (4.20) a + a + : : : + a a a a 1 2 m 1 2 m k i i i 1 2 m i +i +:::+i =k 1 2 m 2((a i )(k i )+(a i )(k i i )+:::+(a i )(k i i ::: i )) 1 1 1 2 2 1 2 m m 1 2 m q : (4.21) { 18 { Furthermore a + a + : : : + a k k 1 2 m 1 p 1 k k k 1 2 p X X X 1 1 2 p 1 p X (a;i ;k )+X (i ;i ;k )+:::+X (i ;i ;k ) 1 2 p = q (4.22) p p 1 1 2 2 i +:::+i =k i +:::+i =k i +:::+i =k m 1 m 2 m 1 1 1 1 2 1 2 m m i i a i a i a i i 1 2 m p 1 p 1 1 1 1 p 1 1 1 2 2 m m m 1 2 i i i i i i i i i 1 2 p 1 2 p 1 2 where X (a; i; k) = 2 ((a i )(k i ) + (a i )(k i i ) + : : : + (a i )(k i i : : : i )); 1 1 1 2 2 1 2 m m 1 2 m for sequences a = (a ; : : : ; a ) and i = (i ; : : : ; i ). 1 m 1 m Proof: These relations follow after straightforward calculations. For example, from the q-Pochhammer relation (4.18) we get a+b a b X X X 2 a + b 2 a 2 b k k k i i i j 2aj j j ( x) q = ( x) q ( x) q q : (4.23) k i j k=0 i=0 j=0 By matching the powers of x on both sides of this equation we get the relation (4.19). The remaining three equalities can now be obtained by induction, using (4.19). One can use the above lemma for example after rewriting the following product of bino- mial coecients in terms of the q-Pochhammer symbols 2 2 a k k (q ; q ) 1 p 1 a = : (4.24) 2 2 2 2 2 2 2 2 k k k (q ; q ) (q ; q ) (q ; q ) (q ; q ) 1 2 p a k k k k k k p p 1 1 2 p 1 The right hand side is the quotient of the q-Pochhammer of length a by the product of p q-Pochhammers, whose lengths sum up also to a. As we explained above, this can be further transformed into a sum involving q-Pochhammers only in the denominator, weighted only by linear and quadratic powers of q, which is then of the required quiver form (4.1). 4.5 Reduced vs. unreduced invariants The values of parameters l ; a and C in (4.1) depend on the choice of normalization of i i i;i P (a; q). The values mentioned in Conjecture 4.2 arise when the normalization includes only 2 2 the denominator (q ; q ) of the colored HOMFLY-PT polynomial of the unknot, i.e. P (a; q) P (a; q) = : (4.25) 2 2 (q ; q ) In this case the values of l ; a and C are related to reduced and uncolored HOMFLY- i i i;i PT homology and superpolynomial. On the other hand, a more familiar normalization that involves the full unknot polynomial (5.1) 2 2 (a ; q ) r r P (a; q) = a q P (a; q) (4.26) r r 2 2 (q ; q ) { 19 { leads to a twice larger quiver, which encodes information about unreduced HOMFLY-PT ho- mology, whose Poincar e polynomial is obtained by multiplying the (reduced) superpolynomial 1 2 by a q(1 + a t). Suppose that colored polynomials normalized as in (4.25) lead to a quiver r r 2 2 encoded in a matrix C . Multiplying (4.25) by an additional factor a q (a ; q ) , we can 2 2 use (4.12) to deal with the additional q-Pochhammer (a ; q ) . Introducing new summation variables and , such that d = + , the expression (4.1) is replaced by another sum- i i i i i mation which is also of the required form (4.1), which however involves summations over and with summands involving the following factors of q in quadratic powers of summation variables P P 2 2 m 1 C ( + )( + ) +::: 2 (d +:::d ) i;j i i j j 1 i;j m i+1 i 1 i=1 q q q : (4.27) The exponent of q in this expression can be rewritten as X X X X C + (C + 1) + 2 C + 2 (C + 1) : (4.28) i;j i j i;j i j i;j i j i;j i j i;j i;j ij i>j This expression also encodes a quiver, which is however twice larger than C , and which decomposes into two parts: one which looks like the original quiver encoded in C (determined by the rst term C ), and another one which looks like the original quiver framed by i;j i j i;j 1 (as determined by the second term (C + 1) ). These two subquivers are connected i;j i j i;j by arrows, whose structure is given by the last two summations in (4.28). 5. Case studies In this section we illustrate our claims and conjectures in various examples. We show how to rewrite generating functions of known colored HOMFLY-PT polynomials in the form (4.1) and identify corresponding quivers. In particular this automatically proves the LMOV conjecture (for symmetric representations) for the knots under consideration. Furthermore, assuming that generating functions of colored HOMFLY-PT polynomials should be of the form (4.1), we derive previously unknown formulas for such polynomials for 6 and 6 knots, as well as 2 3 for (3; 7) torus knot. 5.1 Unknot The (unreduced) colored HOMFLY-PT polynomial for the unknot takes the form 2 2 (a ; q ) r r P (a; q) = a q : (5.1) 2 2 (q ; q ) First, consider just the denominator of this expression, which includes a single q-Pochhammer. This is equivalent to the simpler (reduced) normalization discussed in section 4.5, and up to the q factor it agrees with the extremal (bottom row) unknot HOMFLY-PT polynomial. More generally, the generating series of the reduced colored HOMFLY-PT polynomials of the f -framed unknot takes the form 1 2 f (r r) P (x) = x ; (5.2) 2 2 (q ; q ) r=0 { 20 { which essentially agrees with the motivic generating series associated to a quiver consisting of one vertex and f loops, shown in gure 3. These are prototype and important examples of quivers, and properties of their moduli spaces were discussed in [15, 16]. The relation of this family of quivers to LMOV invariants of framed unknot (equivalently extremal invariants of twist knots, or open topological string amplitudes for branes in C geometry) was presented in [10], and discussed also in [11, 12]. Consider now the generating function of the full unknot invariants (5.1) { or equivalently open topological string amplitudes for branes in the resolved conifold geometry. Using (4.14), this generating function can be rewritten as 1 1 2 2 d d d d +d X X 1 1 2 2 (a ; q ) ( 1) a q r r r d +d 1 2 P (x) = x a q = x = 2 2 2 2 2 2 (q ; q ) (q ; q ) (q ; q ) r d d 1 2 r=0 d ;d =0 1 2 1 2 1 d d d d d 2 X 1 1 X 2 2 ( 1) a q a q (xaq; q ) d d 1 2 = x x = : (5.3) 2 2 2 2 2 (q ; q ) (q ; q ) (xq=a; q ) d d 1 1 2 d =0 d =0 1 2 From the expression in the rst line, or simply taking advantage of (4.28), we nd that the corresponding quiver can be interpreted as a twice larger quiver associated to (5.2); this larger quiver consists of two disconnected vertices, with a single loop associated to one vertex (labeled by d ). The nal factorization into the ratio of two quantum dilogarithms means that there are only two non-zero LMOV (or motivic Donaldson-Thomas) invariants, which is a well known statement for the unknot [2, 10]. More generally, including the framing dependence (4.5) in (5.3) results in a quiver with additional loops and arrows, as in (4.7). Contrary to the unframed case (5.3), such expressions do not factorize into a nite number of quantum dilogarithms, and they would encode an in nite number of LMOV invariants. 5.2 Trefoil and cinquefoil knots We now illustrate how to identify a quiver corresponding to a knot in the example of the trefoil Figure 3. Quiver with one vertex and f loops, encoding extremal framed unknot invariants (equivalently open topological string amplitudes for branes in C geometry). { 21 { knot, i.e. the (2; 3) torus knot (also denoted T or 3 ), whose reduced colored HOMFLY-PT 2;3 1 polynomials arise by setting t = 1 in (2.14) r k 2r X Y a r 2k(r+1) 2 2(i 2) P (a; q) = q (1 a q ); (5.4) 2r q k i=1 k=0 with the q-binomial given in (2.15). Using (4.14), the q-binomial together with the last product in (5.4) take the form k 2 2 i(i 1) X (q ; q ) q r 2 r a ; q = : 2 k 2 2 2 2 2 2 k q (q ; q ) (q ; q ) (q ; q ) r k k i i=0 Introducing r = d + d + d ; k = d + d ; i = d ; (5.5) 1 2 3 2 3 3 2 2 with d 0, and normalizing P (a; q) by (q ; q ) , the generating function (2.6) takes the i r r form P T 2;3 C d d 2d 3d i j 1 3 d 2d +2d +4d X X i;j 3 1 2 3 i;j P (a; q) q ( 1) a r d +d +d 1 2 3 P (x) = x = x ; (5.6) 2 2 2 2 2 2 2 2 (q ; q ) (q ; q ) (q ; q ) (q ; q ) d d d 1 2 3 r=0 d ;d ;d 0 1 2 3 where 2 3 0 1 1 6 7 2;3 C = 1 2 2 (5.7) 4 5 1 2 3 The expression (5.6) is indeed of the form (4.1), with the corresponding quiver shown in gure 1. Vertices of this quiver, as stated in the previous section, correspond to generators of HOMFLY-PT homology. The diagonal elements (0; 2; 3) of the matrix C (representing numbers of loops at vertices of the quiver) indeed agree with homological degrees encoded in the uncolored superpolynomial (2.17), coecients l = 2; 0; 3 of linear terms in d in the i i power of q in (5.6) are given by l = q t , coecients a = 2; 2; 4 in the power of a agree with i i i i a-degrees of generators of HOMFLY-PT homology, and the additional minus sign ( 1) is determined by just one generator with odd t-degree t = 3 (which is manifest in gure 2). Let us also discuss the normalization of the colored HOMFLY-PT polynomials by the full unknot invariant, following section 4.5. Multiplying each summand in (5.6) proportional r r r 2 2 to x by a q (a ; q ) and taking advantage of (4.12), we get the generating function 1 2 2 2 + + d + (d +d ) X X 2 1 3 1 2 1 2 3 1 2 3 q q q P (x) = x 2 2 2 2 2 2 2 2 2 2 2 2 (q ; q ) (q ; q ) (q ; q ) (q ; q ) (q ; q ) (q ; q ) 1 2 3 1 2 3 r=0 + + + + + =r 1 2 3 1 2 3 2 2 d d +d +3d d +d 2d 2d +3d +2(d d +d d +2d d ) 2 + + 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 3 2 3 ( 1) a q q ( a ) ; (5.8) where d = + , i = 1; 2; 3. The form of the corresponding quiver can be read o from i i i powers of q in this generating function, or simply from the transformation (4.28) applied to { 22 { the quiver (5.7). Ultimately we nd a quiver with 6 nodes, whose structure, in the basis ordered as ( ; ; ; ; ; ), is encoded in the matrix of the form 1 1 2 2 3 3 2 3 0 0 1 2 1 2 6 7 0 1 1 2 1 2 6 7 6 7 1 1 2 2 2 3 T 6 7 2;3 C = 6 7 (5.9) unreduced 6 7 2 2 2 3 2 3 6 7 4 5 1 1 2 2 3 3 2 2 3 3 3 4 As expected, the information about unreduced HOMFLY-PT homology is encoded in this quiver and the expression (5.8). For the trefoil this homology has 6 generators (obtained 1 2 by multiplying the reduced superpolynomial by a q(1 + a t)), with t-degrees 0; 1; 2; 3; 3; 4, which indeed appear as diagonal elements in (5.9). More generally, (q; t)-degrees of these six generators are ( 1; 0); ( 1; 1); (3; 2); (3; 3); (1; 3); (1; 4), and the di erences q t in (4.3) also i i match the coecients of the linear term in the power of q in (5.8), which are of the form 2 + 2 3 . 1 1 2 3 3 Let us consider a more involved example of the cinquefoil (2; 5) torus knot (also denoted T or 5 ). Its colored HOMFLY-PT polynomials are obtained as the p = 2 case of (5.15) 2;5 1 2 2 and their generating function, normalized by (q ; q ) , takes the form r 4r 4r X X x a q r k 2(2r+1)(k +k ) 2rk 2k k 2 2 2 1 2 1 1 2 P (x) = q (a q ; q ) : (5.10) 2 2 (q ; q ) k k r 1 2 r=0 0k k r 2 1 Rewriting the last q-Pochhammer symbol in this expression using (4.14), and then taking advantage of (4.19), we get X X X x r k k 1 1 P (x) = 2 2 (q ; q ) k k r 1 2 1 r=0 0k k r 0 k 2 1 1 1 2 +4r 2(2r+1)(k +k ) 2rk 2k k + 3 4r 1 1 1 2 1 1 2 1 ( 1) a q = X X X X x r k k 1 1 1 1 2 2 (q ; q ) k k r 1 1 2 2 2 r=0 0k k r 0 k 0 k 2 1 1 1 2 2 4r+2 4r+2(2r+1)(k +k ) 2rk 2k k + 3 +2( )(k ) 1 1 1 2 1 1 2 1 1 2 2 2 ( 1) a q (5.11) (with the condition ; k k ). After the change of variables 2 1 2 2 1 1 d = r k ; d = k (k ); d = ; d = k ; d = ; (5.12) 1 1 2 1 1 2 2 3 1 2 4 2 2 5 2 we nally get P d +d ++d X 2;5 1 2 5 C d d i j i;j i;j P (x) = q (5.13) 2 2 2 2 2 2 (q ; q ) (q ; q ) (q ; q ) d d d 1 2 5 d ;d ;:::;d 0 1 2 5 d +d 4d +4d +6d +4d +6d 4d 2d 5d 3d 3 5 1 2 3 4 5 1 2 3 5 ( 1) a q ; { 23 { where the matrix 2 3 0 1 1 3 3 6 7 1 2 2 3 3 6 7 6 7 2;5 C = 6 1 2 3 4 4 7 (5.14) 6 7 4 5 3 3 4 4 4 3 3 4 4 5 represents the quiver corresponding to the (2; 5) torus knot. 5.3 (2; 2p + 1) torus knots Colored HOMFLY-PT polynomials for (2; 2p + 1) torus knots (also denoted T ) can be 2;2p+1 obtained as the t = 1 specialization of the following colored superpolynomials, determined in [43, 48] r k k 2;2p+1 1 p 1 2pr 2pr P (a; q; t) =a q k k k 1 2 p 0k :::k k r p 2 1 P Y 2 ((2r+1)k k k ) 2(k +k +:::+k ) 2 2(i 2) i i 1 i 1 2 p i=1 q t 1 + a q t : (5.15) i=1 These expressions can be transformed to the form (4.1) recursively, generalizing the step between trefoil and cinquefoil knots presented in the previous section. In order to determine the form of the generating function (4.1) and the quiver for arbitrary (2; 2p + 1) torus knot, we analyze rst the following three modi cations in the expression for colored HOMFLY-PT polynomials, when p is changed to p + 1 2pr 2pr 2(p+1)r 2(p+1)r a q 7! a q (5.16) X X r k r k p 1 p 7! (5.17) k k k k 1 p 1 p+1 0k :::k r 0k :::k r p 1 p+1 1 P P p p 2 [(2r+1)k k k ] 2 [(2r+1)k k k ]+2(2r+1)k 2k k i i 1 i i i 1 i p+1 p+1 i=1 i=1 q 7! q (5.18) These transformations generalize the relation between trefoil and cinquefoil knots, which we discussed in section 5.2, and which corresponds to changing p = 1 to p = 2. The rst modi cation (5.16) only a ects the change of variables leading to the generating function of the quiver, but not the form of the quiver. In the second transformation (5.17) a new variable k and an additional q-binomial p+1 are introduced. Let us discuss rst the special p = 1 case of trefoil and cinquefoil p+1 knots. As already analyzed above, in this case, in the generating series for the cinquefoil { 24 { k k k p 1 p p p knot, we split into and changed variables accordingly k k p+1 2 p+1 p+1 p+1 d = r k d = r k 1 1 1 1 d = k 7 ! d = k (k ) 2 1 1 2 1 1 2 2 d = d = (5.19) 3 1 3 1 2 d = k 4 2 2 d = 5 2 This is equivalent to the following modi cation of summation variables in the quiver gener- ating series r = d + d + d r = d + (d + d ) + (d + d ) 1 2 3 1 2 4 3 5 k = d + d 7 ! k = (d + d ) + (d + d ) (5.20) 1 2 3 1 2 4 3 5 = d = (d + d ) 1 3 1 3 5 which means that the matrix representing the cinquefoil quiver is obtained from the one for the trefoil quiver by copying the rst and the second column and row, respectively, into k k 1 p p p the third and the fourth column and row. In addition, changing into k k 2 p+1 p+1 p+1 introduces a new term in C d d of the form 2( )(k ) = 2d d , which means i;j i j 1 2 2 2 3 4 i;j that the matrix elements C and C are increased by 1. 3;4 4;3 k k p p p p Generalizing the above transformation and splitting into for ar- k k p+1 p+1 p+1 p+1 bitrary p, the relation (5.20) is replaced by r = d + d : : : + d + d r = d + d : : : + (d + d ) + (d + d ) 1 2 2p 2p+1 1 2 2p 2p+2 2p+1 2p+3 k = d + : : : + d + d k = d + : : : + (d + d ) + (d + d ) 1 2 2p 2p+1 1 2 2p 2p+2 2p+1 2p+3 k = d + : : : + d + d k = d + : : : + (d + d ) + (d + d ) 2 4 2p 2p+1 2 4 2p 2p+2 2p+1 2p+3 . . . . . . k = d + d 7 ! k = (d + d ) + (d + d ) p 2p 2p+1 p 2p 2p+2 2p+1 2p+3 = d + d + : : : + d = d + d + : : : + (d + d ) 1 3 5 2p+1 1 3 5 2p+1 2p+3 = d + : : : + d = d + : : : + (d + d ) 2 5 2p+1 2 5 2p+1 2p+3 . . . . . . (5.21) = d = (d + d ) p 2p+1 p 2p+1 2p+3 so that columns and rows of number 2p and 2p + 1 are copied respectively to those of number 2p + 2 and 2p + 3, and matrix elements C and C are increased by 1. 2p+1;2p+2 2p+2;2p+1 Finally, the third transformation (5.18) modi es the change of variables and adds 4rk p+1 2k k to the sum C d d . In the special case of p = 1 we have p p+1 i;j i;j i j 4rk 2k k = 4(r k )k + 2(k k )k + 2k = 2 1 2 1 2 1 2 2 = 4d (d + d ) + 2 (d + d ) (d + d ) + 2 (d + d ) ; (5.22) 1 4 5 2 3 4 5 4 5 { 25 { which means that C ; C ; C (and transposed matrix elements) and C , C increase by 1;4 1;5 4;5 4;4 5;5 2, and C ; C ; C and C (and transposed elements) increase by 1. For general p 2;4 2;5 3;4 3;5 4rk 2k k = 4(r k )k + 2(k k )k + 2k = p+1 p p+1 p p+1 p p+1 p+1 p+1 = 4 (d + : : : + d ) (d + d ) + (5.23) 1 2p 1 2p+2 2p+3 + 2 (d + d ) (d + d ) + 2 (d + d ) ; 2p 2p+1 2p+2 2p+3 2p+2 2p+3 which means increasing C ; : : : ; C , C ; : : : ; C , C (and trans- 1;2p+2 2p 1;2p+2 1;2p+3 2p 1;2p+3 2p+2;2p+3 posed elements) and C , C by 2, as well as increasing C , C , 2p+2;2p+2 2p+3;2p+3 2p;2p+2 2p+1;2p+2 C , C (and transposed elements) by 1. 2p;2p+3 2p+1;2p+3 2;2p+1 To sum up, once we know a matrix C representing a quiver for the (2; 2p + 1) torus 2;2p+3 knot, the matrix C for a quiver associated to the (2; 2p + 3) torus knot is obtained by copying columns and rows of the number 2p and 2p + 1 to 2p + 2 and 2p + 3 respectively, and increasing elements in the last two columns (and rows) by 2, except for C , C , and 2p;2p+2 2p;2p+3 C (and transposed elements) that are increased by 1. The solution of this recursion, 2p+1;2p+3 for an arbitrary (2; 2p + 1) torus knot, takes the form 2 3 F F F F F F 0 1 2 3 p 1 p 6 7 F D U U U U 1 2 3 p 1 p 6 1 7 6 7 T T F U D U U U 6 7 2 3 p 1 p 2 2 6 7 T T T 2;2p+1 6 7 F U U D U U C = 3 p 1 p (5.24) 3 3 3 6 7 6 . . . . . . 7 . . . . . . . 6 . . . . . . 7 6 7 T T T T 4 5 F U U U D U p 1 p p 1 p 1 p 1 p 1 T T T T T F U U U U D p p p p p with the following block entries " # " # h i 2k 2k 2k 1 2k 1 F = [0] ; F = 2k 1 2k 1 ; D = ; U = 0 k k k 2k 2k + 1 2k 2k The homological diagram for the (2; 2p + 1) torus knot consists of a single zig-zag, which is a building block of homologies for more complicated knots (as stated in Conjecture 4.3), and the above matrix represents the corresponding quiver. It is also interesting that, while increasing p, all previously determined entries of the matrix (5.24) remain unchanged, so that it makes sense to consider the limit p ! 1 of an in nite quiver. Furthermore, from (5.21) we nd parameters that determine (4.1), which are indeed consistent with our conjectures. In particular = d +d +: : : +d gives rise to the minus 1 3 5 2p+1 t d 1 i i sign ( 1) in (4.1), which is consistent with the sign ( 1) determined by homological degrees t , encoded in the diagonal of (5.24) (t ) = (0; 2; 3; 4; 5; : : : ; 2p; 2p + 1): (5.25) In addition, the parameters a and l (and so q ) in (4.1) are determined by i i i a d = 2pr + 2 = 2p(d + d + d + : : : + d ) + 2(p + 1)(d + d + : : : + d ); (5.26) i i 1 1 2 4 2p 3 5 2p+1 { 26 { X l d = 2pr + 2(k + k + : : : + k ) 3 = i i 1 2 p 1 = 2pd + 2(1 p)d + 2(1 p) 3 d + 1 2 3 + 2(2 p)d + 2(2 p) 3 d + 4 5 . (5.27) + 2(p 1 p)d + 2(p 1 p) 3 d + 2(p 1) 2(p 1)+1 + 2(p p)d + 2(p p) 3 d : 2p 2p+1 As a con rmation, for trefoil and cinquefoil knots, restricting (5.24) to p = 1 and p = 2, we reproduce respectively (5.7) and (5.14) 2 3 0 1 1 3 3 2 3 2 3 6 7 " # 0 1 1 F F F 1 2 2 3 3 0 1 2 6 7 F F 6 7 6 7 6 7 0 1 T T 2;3 2;5 T C = = C = = 4 1 2 2 5 4 F D U 5 6 1 2 3 4 4 7 1 2 6 7 F D 1 T T 4 5 1 2 3 F U D 3 3 4 4 4 2 2 3 3 4 4 5 (5.28) 5.4 (2; 2p) torus links In general, the analysis of HOMFLY-PT homology of links is more involved. However if all components of a link are colored by the same representation, they have properties analogous to knots. In particular colored HOMFLY-PT polynomials for (2; 2p) torus links, with all components colored by the same symmetric representation S , take the form [39] 2;2p 2pr 2pr 2 2 2 2 2 P (a; q) = a q (a q ; q ) (q ; q ) s r s p 1 [r] 0s :::s s =r 1 p p+1 i+1 4s 2s 2rs s s i i i i i+1 q ( q) q : (5.29) i=1 This expression corresponds to the so-called " nite-dimensional" version, which is a suitably normalized reduced colored HOMFLY-PT polynomial, that is actually a polynomial. It can be also rewritten as r k k 2;2p 1 p 1 2pr 2pr P (a; q) = a q [r] k k k 1 2 p 0k :::k k =r p 1 0 2 ((2r+1)k k k ) 2 2 2 2 2 i i 1 i i=1 q (a q ; q ) (q ; q ) : (5.30) k r k 1 p Following analogous manipulations as in section 5.3 we nd that this expression can be further { 27 { rewritten in the form (4.1), with the corresponding quiver encoded in the matrix 2 3 F F F F F F 0 1 2 3 p 1 6 T e 7 F D U U U U 1 2 3 p 1 6 1 p 7 6 7 T T e F U D U U U 6 7 2 3 p 1 2 2 p 6 7 T T T e 2;2p 6 7 F U U D U U 3 p 1 C = (5.31) 3 3 3 p 6 7 . . . . . . 6 . 7 . . . . . . . 6 . . . . . . 7 6 7 T T T T e 4 5 F U U U D U p 1 p 1 p 1 p 1 p 1 p eT eT eT eT eT e F U U U U D p p p p p p Apart from the last column and row, the block entries take the form " # " # 0 0 2k 1 2k 1 2k 1 2k 1 F = ; F = ; (5.32) 0 k 0 1 2k 2k 2k 2k and 2 3 2 3 2k + 1 2k + 1 2k 2k + 1 2k 2k 2k 2k 6 7 6 7 2k + 1 2k + 2 2k 2k + 1 2k + 1 2k + 1 2k + 1 2k + 1 6 7 6 7 D = 6 7 ; U = 6 7 (5.33) k k 4 2k 2k 2k 2k 5 4 2k 1 2k 1 2k 1 2k 1 5 2k + 1 2k + 1 2k 2k + 1 2k 2k 2k 2k In addition, the terms in the last column and row take the form 2 3 2p 2p " # " # 6 7 2p 1 2p 1 2p + 1 2p 2p 2p 6 7 e e e F = ; D = ; U = (5.34) 6 7 p p p 2p 1 2p 1 2p 2p 4 2p 1 2p 1 5 2p 1 2p 1 The matrix (5.31), being assigned to a link with two components, in fact represents a combi- nation of two (appropriately shifted) zig-zags (5.24). Furthermore, the linear terms that determine (4.1) take the form t d (d +d )+(d +d )+:::+(d +d )+2(d +d +:::+d ) i i 3 4 7 8 4p 1 4p 5 9 4p+1 ( 1) = ( 1) ; a d = 2p d + (d + d ) + (d + d ) + : : : + (d + d ) + d + i i 1 2 3 6 7 4(p 1) 2 4(p 1) 1 4p+1 + 2(p + 1) (d + d ) + (d + d ) + : : : + (d + d ) ; (5.35) 4 5 8 9 4(p 1) 4(p 1)+1 l d = ( 2p)d + ( 2p)d + ( 1 2p)d + ( 1 2p)d + ( 2 2p)d + i i 1 2 3 4 5 + (2 2p)d + (1 2p)d + (1 2p)d + ( 2p)d + 6 7 8 9 + (4 2p)d + (3 2p)d + (3 2p)d + (2 2p)d + 10 11 12 13 . (5.36) 4d 5d 5d 6d + 4(p 1) 2 4(p 1) 1 4(p 1) 4(p 1)+1 2d 3d 3d : 4p 2 4p 1 4p { 28 { Specializing (5.31) we nd, for example, that quivers for the Hopf link (p = 1) and the T link (p = 2) are represented by matrices 2;4 2 3 0 0 1 1 1 1 3 3 6 7 0 1 2 2 2 2 3 3 6 7 2 3 6 7 2 3 0 0 1 1 6 1 2 3 3 2 3 4 4 7 " # e 6 7 F F F 6 7 0 1 6 7 F F 0 1 1 1 1 2 3 4 2 3 4 4 0 6 7 6 7 T 1 T T e 2;2 2;4 6 7 C = = C = F D U = 6 7 4 5 1 2 eT e 6 7 F D 4 1 1 3 2 5 1 2 2 2 2 2 3 3 6 7 1 1 eT eT e F U D 6 7 2 2 2 1 1 2 2 6 1 2 3 3 2 3 3 3 7 6 7 4 5 3 3 4 4 3 3 5 4 3 3 4 4 3 3 4 4 (5.37) 2;2 The matrix C for the Hopf-link represents two zig-zags, respectively of length 3 (which is identical to a matrix for the trefoil knot (5.7)) and of length 1 (representing a single homology 2;4 generator of t-degree 1). The matrix C for the T link consists of one zig-zag of length 5 2;4 (identical to a matrix for the 5 knot (5.14)), and another zig-zag of length 3 (identical to a matrix for the trefoil knot, but with all elements shifted by 1, with (1; 3; 4) on the diagonal). 5.5 (3; p) torus knots We discuss now torus knots from the (3; p) family, which enables us to present other interesting aspects of the duality with quivers. Properties of these knots are much more involved than for (2; 2p + 1) torus knots, in particular their homology is thick. General formulas for colored superpolynomials for arbitrary (3; p) torus knot are unknown. Although there are explicit expressions for the colored HOMFLY-PT polynomials of arbitrary colors for torus knots, via Rosso-Jones formula [50], the formulas involve di erent plethysm coecients, that are changing with the colors. In such a way they are not suitable for obtaining explicit expressions for arbitrary symmetric color and consequently for obtaining the explicit generating function of colored HOMFLY-PT polynomials for general torus knots that we need for our main Conjecture 4.1. However colored superpolynomials for the special cases of (3; 4) and (3; 5) torus knots (equivalently, respectively, 8 and 10 knots) were determined in [39]. In 19 124 what follows we show, rst, that these formulas can be rewritten in the general quiver form, and we identify corresponding quivers. Second, we show that such quivers are determined not uniquely, but only up to a permutation of some of their entries, which indicates some symmetry of the corresponding quiver moduli spaces. Furthermore, by simply assuming that there should exist a corresponding quiver, we nd explicit formulas for colored HOMFLY- PT polynomials of (3; 7) torus knot, which have not been known before, and which nicely illustrate the power of our formalism. Here we focus only on (3; p) knots, rather than links, so p cannot be a multiple of 3. The case of p = 1 is the framed unknot, and p = 2 represents the trefoil, already analyzed in section 5.2. Therefore the rst nontrivial examples involve p = 3; 4 and 7. Moreover, as computations become more involved and technical, in this section we only consider extremal (bottom row) { 29 { invariants (4.4); with some patience, and taking advantage of structural properties presented in Conjecture 4.3, these results can be generalized to the full a-dependence. Let us consider the (3; 4) torus knot rst. Its quadruply-graded Poincar e polynomial determined in [39] reads r r r r X X X X 2 j r 6r 6r 6r 6r 2(j ) P (a; Q; t ; t ) = a Q t t a r r c c r 2 2 2 2 t t t t c c c c =0 = = j= 2 2 2 2 4 4 +4 8j 2( + + ) 2(j )( + + ) (j ) 2( + + ) (j ) Q t t (5.38) c r 2 2 2 3 2r+1 2 ; t a Q t t ; t ; r c c a t t j r c 2 2 (t ;t ) c c where now we denote = . Upon the identi cation of variables (2.19), 2 2 2 2 c (t ;t ) (t ;t ) c c c c and extracting the terms at the lowest powers of a, we nd that that extremal (bottom row) colored HOMFLY-PT polynomials for the (3; 4) torus knot take form r r r r 2 2 2 ( +j+1) 2 (j+1)+2 2j(r+2) X X X X 2 (q ; q ) q bottom 6r P (q) = q ; (5.39) 2 2 2 2 2 2 2 2 2 2 (q ; q ) (q ; q ) (q ; q ) (q ; q ) (q ; q ) j r j =0 = = j= while its uncolored HOMFLY-PT homology has 5 generators in the bottom row, whose q- degrees and t-degrees are (q ; q ; q ; q ; q ) = ( 6; 2; 0; 2; 6); 1 2 3 4 5 (5.40) (t ; t ; t ; t ; t ) = (0; 2; 4; 6; 8): 1 2 3 4 5 Manipulating the expression (5.39) we nd that the corresponding quiver is represented by the following matrix 2 3 0 1 2 3 5 6 7 1 2 3 3 5 6 7 6 7 3;4 C = 6 2 3 4 4 5 7 (5.41) 6 7 4 5 3 3 4 4 5 5 5 5 5 6 This quiver, together with q-degrees and t-degrees of 5 bottom row generators in (5.40), encode all extremal (bottom row) colored HOMFLY-PT polynomials for the (3; 4) torus knot, which can be reconstructed from (4.4). Moreover, simply the fact that we are able to identify this quiver proves the LMOV conjecture for all symmetric representations for this 3;4 knot. Furthermore, the matrix C captures the structure of the bottom row generators of HOMFLY-PT homology for the (3; 4) torus knot, which consists of one zig-zag (the same as for the (2; 7) torus knot) and one diamond. The part of the matrix with (0; 2; 4; 6) on the diagonal represents the bottom row of the zig-zag, and an additional 4 on the diagonal is the bottom row of the diamond (4.8). { 30 { The next knot in this series is the (3; 5) torus knot. Its HOMFLY-PT homology and colored superpolynomials were also considered in [39]. For brevity, we just recall that colored superpolynomials for this knot take form r j k k k r j 1 2 3 2(i+2j k k k k +2r) 1 2 3 4 X X X X X X 8r P (a; q; t) = a (5.42) j=0 k =0 k =0 k =0 k =0 i=0 1 2 3 4 2(k k +k k +k k +2(k +k +k +k )+r+(k +k +k +k )r 2r i(2+k +r) j(5+k +k +k +2r) 1 2 2 3 3 4 1 2 3 4 1 2 3 4 1 2 3 4 j k k k r j 1 2 3 2 2 2 2 2 2j+2r 2 2 2r 3 2 ( a tq ; q ) ( a q ; q ) ( a q t ; q ) : r j k j r j k k k k i 1 2 3 4 Setting t = 1 and extracting coecients of minimal powers of a reveals the form of extremal (bottom row) colored HOMFLY-PT polynomials j r j r k k k 1 2 3 X X X X X X bottom 2 2 P (q) = (q ; q ) (5.43) j=0 k =0 k =0 k =0 k =0 i=0 1 2 3 4 2(k +k +k ) 2(k +k k +k k +k k ) 6r 2(k +k +k +k )r+4r +2i(1+k +r)+2j(3+k +k +k +2r) 2 3 4 1 1 2 2 3 3 4 1 2 3 4 1 2 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 (q ; q ) (q ; q ) (q ; q ) (q ; q ) (q ; q ) (q ; q ) (q ; q ) i r j i j k k k k k k k k 1 1 2 2 3 3 4 4 Furthermore, the HOMFLY-PT homology for (3; 5) torus knot has 7 generators in the bottom row, with the following q-degrees and t-degrees (q ; q ; : : : ; q ) = ( 8; 4; 2; 0; 2; 4; 8); 1 2 7 (5.44) (t ; t ; : : : ; t ) = (0; 2; 4; 4; 6; 6; 8): 1 2 7 Manipulating the above expressions we nd, surprisingly, that there are two quivers which re- produce the same extremal (bottom row) colored HOMFLY-PT polynomials via (4.4). These two quivers are very similar, and their matrices di er only by a permutation of a few entries. They take the following form; the permuted entries are underlined in the second matrix 2 3 2 3 0 1 2 3 4 5 7 0 1 2 3 4 5 7 6 7 6 7 1 2 3 3 5 5 7 1 2 3 3 5 5 7 6 7 6 7 6 7 6 7 6 7 6 7 2 3 4 4 5 5 7 2 3 4 4 5 5 6 6 7 6 7 T T 3;5 3;5 6 7 e 6 7 C = C = (5.45) 3 3 4 4 6 5 7 3 3 4 4 6 5 7 6 7 6 7 6 7 6 7 4 5 5 6 6 6 7 4 5 5 6 6 7 7 6 7 6 7 6 7 6 7 4 5 5 5 5 6 6 7 5 4 5 5 5 5 7 6 7 5 7 7 7 7 7 7 8 7 7 6 7 7 7 8 Again let us stress, that the quiver represented by either of the above matrcies, together with q-degrees and t-degrees in (5.44), encode all extremal colored HOMFLY-PT polynomials for (3; 5) torus knot, which can be reconstructed from (4.4). The fact that we are able to identify these quivers also proves the LMOV conjecture for all symmetric representations for this knot. The next knot we consider is the (3; 7) torus knot. Its colored superpolynomials, or even explicit, closed-form expressions of HOMFLY-PT polynomials colored by arbitrary symmet- ric representations, have not been known before. However, based on the structure (4.4), { 31 { and by comparing the results with the Rosso-Jones formula for the rst several symmetric representations, we are able to reconstruct the corresponding quiver, which then encodes HOMFLY-PT polynomials colored by arbitrary symmetric representations, and correspond- ing integral LMOV invariants. The homology of the bottom row of the (3; 7) torus knot has 12 generators with the following q-degrees and t-degrees (q ; q ; : : : ; q ) = ( 12; 8; 6; 4; 2; 0; 0; 2; 4; 6; 8; 12); 1 2 12 (5.46) (t ; t ; : : : ; t ) = (0; 2; 4; 4; 6; 6; 8; 8; 8; 10; 10; 12); 1 2 12 and we nd that the corresponding quiver is encoded in a matrix 2 3 0 1 2 3 4 5 5 6 7 8 9 11 6 7 1 2 3 3 5 5 6 7 7 9 9 11 6 7 6 7 6 2 3 4 4 5 6 6 7 8 9 10 11 7 6 7 6 7 3 3 4 4 5 5 7 7 7 9 9 11 6 7 6 7 4 5 5 5 6 6 7 7 8 9 10 11 6 7 6 7 5 5 6 5 6 6 8 7 7 9 9 11 6 7 3;7 C = 6 7 : (5.47) 6 5 6 6 7 7 8 8 8 9 9 10 11 7 6 7 6 7 6 7 7 7 7 7 8 8 8 9 10 11 6 7 6 7 7 7 8 7 8 7 9 8 8 9 9 11 6 7 6 7 6 8 9 9 9 9 9 9 9 9 10 10 11 7 6 7 4 5 9 9 10 9 10 9 10 10 9 10 10 11 11 11 11 11 11 11 11 11 11 11 11 12 In this case we also nd other quivers, whose matrices di er from the above one by permuta- tion of several entries, and yet encode the same generating series (4.4). 5.6 Twist knots 4 ; 6 ; 8 ; : : : 1 1 1 Another in nite family of knots that we consider are twist knots, which are labelled by an integer p. Negative values of this parameter, i.e. p = 1; 2; 3; : : : ; correspond to 4 ; 6 ; 8 ; : : : knots; these are simply (2jpj + 2) knots, which are also denoted TK . The 1 1 1 1 2jpj+2 colored HOMFLY-PT polynomials for these knots are determined in [48, 51] and they take the form TK r k k 2jpj+2 1 jpj 1 P (a; q) = k k k 1 2 jpj 0k :::k k r jpj 2 1 P P jpj jpj 2 k 2 k k 2 2 2 2 2r 2 i ( i) i=1 i i=1 a q (a q ; q ) (a q ; q ) : (5.48) k k 1 1 Following manipulations similar to the previous examples, we nd that the quiver correspond- { 32 { ing to a given p < 0, i.e. to a given TK knot, is encoded in the matrix 2jpj+2 2 3 F F F F F F 6 7 6 F D R R R R 7 1 1 1 1 1 6 7 T T 6 7 F R D R R R 2 2 2 2 6 7 T T T 6 7 TK 2jpj+2 F R R D R R 3 3 3 C = 1 2 (5.49) 6 7 6 7 . . . . . . . . . . . . . 6 7 . . . . . . 6 7 6 7 T T T T F R R R D R 4 jpj 1 jpj 1 5 1 2 3 T T T T T F R R R R D jpj 1 2 3 jpj 1 where h i F = [0] F = (5.50) 0 1 0 1 and 2 3 2 3 2k 2k 2 2k 1 2k 3 2k 2k 2 2k 1 2k 3 6 7 6 7 2k 2 2k 3 2k 2 2k 4 2k 1 2k 3 2k 2 2k 4 6 7 6 7 D = 6 7 R = 6 7 (5.51) k k 4 5 4 5 2k 1 2k 2 2k 1 2k 3 2k 2k 1 2k 1 2k 3 2k 3 2k 4 2k 3 2k 4 2k 2 2k 3 2k 2 2k 4 The element F represents a zig-zag of length 1, corresponding to a single homology generator, while the diagonal blocks D represent (up to a permutation of homology generators, and an overall shift) diamonds (4.8). Note that in this case it also makes sense to consider the p ! 1 limit, and the corresponding in nite quiver. The other parameters that determine the form of the generating series (4.1) for the TK knot take the form 2jpj+2 p d (d +d )+(d +d )+:::+(d +d )+2(d +d +:::+d ) i i 3 4 7 8 5 9 i 4jpj 1 4jpj 4jpj+1 ( 1) = ( 1) ; a d = 2d + 0d + 0d 2d + i i 2 3 4 5 + 4d + 2d + 2d + 0d + (5.52) 6 7 8 9 + 2jpjd + (2jpj 2) d + (2jpj 2) d + (2jpj 4) d ; 4jpj 2 4jpj 1 4jpj 4jpj+1 l d = 2d d + d + 2d + i i 2 3 4 5 4d 3d 1d + 0d + 6 7 8 9 . (5.53) 2jpjd + (1 2jpj) d + (3 2jpj) d + (4 2jpj) d : 4jpj 2 4jpj 1 4jpj 4jpj+1 { 33 { For example, the quiver for the p = 1 case, i.e. the gure-eight knot 4 , whose homology diagram is shown in gure 2, is represented by the matrix 2 3 0 0 1 0 1 " # 6 7 0 2 0 1 1 6 7 F F 0 6 7 TK C = = 6 1 0 1 0 2 7 (5.54) F D 6 7 4 5 0 1 0 1 1 1 1 2 1 2 This matrix is consistent with Conjecture 4.3: the top left entry 0 represents the zig-zag of length 1, and the remaining diagonal block of size 4 4 represents a diamond and agrees (up to a permutation of homology generators, and corresponding rows and columns) with (4.8) for k = 2. For p = 2, i.e. the 6 knot, the quiver is represented by the following matrix 2 3 0 0 1 0 1 0 1 0 1 6 7 0 2 0 1 1 2 0 1 1 6 7 6 7 1 0 1 0 2 1 1 0 2 6 7 2 3 6 7 6 7 F F F 0 1 0 1 1 2 1 1 1 6 7 6 7 TK 6 T 6 7 C = F D R = 1 1 2 1 2 0 1 0 2 (5.55) 4 5 1 1 6 7 6 7 T T F R D 0 2 1 2 0 4 2 3 1 2 6 7 6 7 6 1 0 1 1 1 2 1 2 0 7 6 7 4 5 0 1 0 1 0 3 2 3 1 1 1 2 1 2 1 0 1 0 Note that in these examples some entries of matrices C are negative. In order to have a proper quiver representation theory interpretation, we can change the framing (4.7) to shift all values of these matrices by a constant and make them nonnegative. 5.7 Twist knots 3 ; 5 ; 7 ; 9 ; : : : 1 2 2 2 Another class of twist knots is characterized by p > 0, which are respectively 3 ; 5 ; 7 ; 9 ; : : : 1 2 2 2 knots, which have 2p + 1 crossings, and are also denoted TK . Their superpolynomials 2p+1 take the form [51] 2 2 2 ( a tq ; q ) TK p 2p+1 n+1 2s 2 2n 2 2 3 2n 2 2 P (a; q; t) = ( t) q (q ; q ) ( a t q ; q ) s s n 1 p p S 2 2 (q ; q ) 0s :::s <1 1 p p 1 i+1 4s 2 2 s 2s (s 1) i i i i q (a t ) q : (5.56) i=1 Here we can illustrate another subtlety, which is the fact that sometimes { in particular for TK knots { more general quivers can be assigned to a given knot, which are however 2p+1 { 34 { not consistent with our conjectures. For example, setting p = 1 and t = 1 in (5.56), we nd the following representation of the colored HOMFLY-PT polynomials for the trefoil knot TK s 2s r+s +s 2 2 2 2 2r 2 3 1 1 1 P (a; q) = ( 1) q (a q ; q ) (a q ; q ) : (5.57) r s s S 1 1 0s r This expression is equal to (5.4), however its naive rewriting in the form (4.1) leads to the quiver represented by the following matrix 2 3 0 1 0 1 0 6 7 1 1 0 1 0 6 7 6 7 (5.58) 6 0 0 2 1 2 7 6 7 4 5 1 1 1 0 1 0 0 2 1 3 The last three rows and columns of this matrix contain the trefoil quiver matrix (5.7) that we found earlier, however now we nd two additional rows and columns. In fact the same issue arises for all twist knots TK in this series. Moreover, the structure of terms with linear 2p+1 powers of d in the generating series that determines such enlarged quivers, is also not quite consistent with the structure of the parameters in (4.1) and their relation to homological degrees. Nonetheless, we can get rid of these additional rows and columns, at the same time xing terms with linear powers of d , by taking advantage of the following lemma. Lemma 5.1 Consider a generating function (not necessarily related to a knot) of the form (4.1), determined by a quiver C of size n n. Up to appropriate adjustment of terms with with linear powers of d , the same generating function is assigned to the modi ed quiver 2 3 1 + 0 0 1 2 n 1 n 6 7 0 0 1 2 n 1 n 6 7 6 7 6 7 1 1 6 7 6 7 2 2 C = (5.59) 6 7 . . 6 7 . . 6 . . C 7 6 7 4 5 n 1 n 1 n n for every ; ; : : : ; 2 Z. 0 1 n Proof: Note that, for m 1, using (4.14), we have 2 2 2 (q ; q ) 2 b b +b 2ab 0 = (1; q ) = ( 1) q : (5.60) 2 2 2 2 (q ; q ) (q ; q ) a b a+b=m { 35 { It follows that, for arbitrary ; ; : : : ; ; d ; : : : ; d 2 Z, 0 1 n 1 n 2 (1; q ) ( +1)m +2( d + d +:::+ d )m m 0 1 1 2 2 n n 1 = q x = 2 2 (q ; q ) m0 a+b 2 2 x b b +b 2ab+( +1)(a+b) +2( d + d +:::+ d )(a+b) 0 1 1 2 2 n n = ( 1) q : (5.61) 2 2 2 2 (q ; q ) (q ; q ) a;b0 Therefore, if P is a generating function determined by a quiver C , then b a+b 2 2 ( 1) x b +b 2ab+( +1)(a+b) +2( d + d +:::+ d )(a+b) n n 0 1 1 2 2 P + = q P (5.62) C C 2 2 2 2 (q ; q ) (q ; q ) a b a;b0 is a generating function determined by a quiver C in (5.59), and from (5.61) we clearly see that P + = P , which completes the proof. C C Having in mind the above subtlety, in order to nd a quiver representation consistent with our conjectures, we rewrite the colored HOMFLY-PT polynomials (5.56) in the form r k k TK 1 p 1 2p+1 P (a; q) = k k k 1 2 p 0k :::k k r p 2 1 P P p p 2 2 2 k 2k r+k +k +2 k k 2 2 2 2 2r 2 i 1 1 ( i) i=2 1 i=2 i a q (a q ; q ) (a q ; q ) : (5.63) k k 1 1 Following manipulations analogous to the previous sections, we now nd that the generating series (4.1) for TK knot is determined by a quiver whose matrix takes the form 2p+1 2 3 D R R R R R 1 1 1 1 1 1 6 7 R D R R R R 2 2 2 2 2 6 1 7 6 7 T T R R D R R R 6 7 3 3 3 3 1 2 6 7 T T T TK 2p+1 6 7 R R R D R R C = 4 4 4 (5.64) 1 2 3 6 7 6 . . . . . . 7 . . . . . . . 6 . . . . . . 7 6 7 T T T T 4 5 R R R R D R p 1 p 1 1 2 3 4 T T T T T R R R R R D 1 2 3 4 p 1 where the block elements in the rst row and column are 2 3 2 3 2 1 2 1 2 1 2 6 7 6 7 D = 1 0 1 R = 0 2 0 1 (5.65) 4 5 4 5 1 1 2 1 3 1 3 2 3 and all other elements, for k > 1, take the form 2 3 2 3 2k 3 2k 2 2k 3 2k 2 2k 3 2k 2 2k 3 2k 2 6 7 6 7 2k 2 2k 2k 1 2k 2k 1 2k 2k 1 2k 6 7 6 7 D = 6 7 R = 6 7 k k 4 2k 3 2k 1 2k 2 2k 1 5 4 2k 2 2k 2k 2 2k 1 5 2k 2 2k 2k 1 2k + 1 2k 1 2k + 1 2k 2k + 1 (5.66) { 36 { In this case D represents a zig-zag of the same form as for the trefoil knot (5.7), and the D 1 k (for k > 1) represent (up to a permutation of homology generators and an overall constant shift) the diamonds (4.8). The other parameters that determine (4.1), now with vertices of a quiver (or homology generators), and thus also the summation variables d numbered from 3 to 4p + 1 (after removing d and d using the above lemma), take the form 1 2 4p+1 t d (d +d )+(d +d )+:::+(d +d )+2(d +d +:::+d ) i i 3 4 7 8 4p 1 4p 5 9 4p+1 i=3 ( 1) = ( 1) 4p+1 a d = 2(d + d ) + 4d + i i 3 4 5 i=3 + 2d + 4d + 4d + 6d + (5.67) 6 7 8 9 + 4d + 6d + 6d + 8d + 10 11 12 13 + 2(p 1)d + 2pd + 2pd + 2(p + 1)d 4p 2 4p 1 4p 4p+1 4p l d = 2d 3d + i i 4 5 i=2 d 2d 4d 5d + 6 7 8 9 3d 4d 6d 7d + 10 11 12 13 . (5.68) + (1 2p)d + (2 2p)d + ( 2p)d + ( 1 2p)d : 4p 2 4p 1 4p 4p+1 For example, for p = 1, which represents simply the trefoil knot, the quiver matrix (5.64) consists only of the element D in (5.65), and up to permutation of vertices it is equivalent to (5.7). For p = 2, i.e. for the knot 5 , from (5.64) we obtain a quiver represented by the matrix 2 3 2 1 2 1 2 1 2 6 7 6 1 0 1 0 2 0 1 7 2 3 6 7 6 7 D R R 2 1 3 1 3 2 3 1 1 1 6 7 6 7 TK T 5 6 7 C = R D R = 1 0 1 1 2 1 2 (5.69) 4 5 2 2 6 7 6 7 T T R R D 2 2 3 2 4 3 4 3 6 7 1 2 6 7 1 0 2 1 3 2 3 4 5 2 1 3 2 4 3 5 5.8 6 and 6 knots 2 3 Finally we discuss knots with six crossings, 6 and 6 (the third prime knot with six crossings 2 3 is the twist knot 6 , whose quiver we already identi ed in (5.55)). Explicit expressions for colored polynomials for those knots have not been known before. Assuming that they are { 37 { consistent with our conjectures, we are able to determine such expressions, as being encoded in the corresponding quivers. This again shows the power of our formalism. Let us consider 6 knot rst. Its uncolored HOMFLY-PT homology has 11 generators, which have the following degrees (a ; : : : ; a ) = (0; 2; 2; 0; 2; 2; 2; 4; 4; 2; 4); 1 11 (5.70) (q ; : : : ; q ) = ( 2; 4; 2; 2; 0; 0; 2; 2; 0; 4; 2); 1 11 (t ; : : : ; t ) = ( 2; 1; 0; 0; 1; 1; 2; 2; 3; 3; 4): 1 11 Assuming that the generating series of colored HOMFLY-PT polynomials takes the form (4.1), and comparing that generating series with several rst such polynomials obtained using the Rosso-Jones formula, we nd that the corresponding quiver is encoded in the following matrix 2 3 2 2 1 1 1 1 0 1 1 1 1 6 7 2 1 1 0 0 0 1 0 1 2 2 6 7 6 7 6 7 1 1 0 1 0 0 1 0 1 2 2 6 7 6 7 1 0 1 0 0 0 1 0 2 1 1 6 7 6 7 1 0 0 0 1 1 1 1 2 2 2 6 7 6 7 C = 6 1 0 0 0 1 1 1 1 2 2 2 7 (5.71) 6 7 6 7 0 1 1 1 1 1 2 1 2 2 2 6 7 6 7 1 0 0 0 1 1 1 2 2 3 3 6 7 6 7 1 1 1 2 2 2 2 2 3 3 3 6 7 6 7 4 1 2 2 1 2 2 2 3 3 3 3 5 1 2 2 1 2 2 2 3 3 3 4 In this matrix one can identify diagonal blocks, one corresponding to a zig-zag of the same form as in the trefoil quiver (5.7), and two diamonds of the form (4.8). Analogously we analyze the generating series for the 6 knot, whose uncolored HOMFLY- PT homology has 13 generators of the following degrees (a ; : : : ; a ) = (0; 2; 0; 0; 2; 2; 0; 0; 2; 2; 0; 0; 2); 1 13 (q ; : : : ; q ) = (0; 2; 0; 4; 2; 0; 2; 2; 0; 2; 4; 0; 2); (5.72) 1 13 (t ; : : : ; t ) = (0; 1; 0; 2; 3; 2; 1; 1; 2; 3; 2; 0; 1): 1 13 Similarly, comparing rst few colored HOMFLY-PT polynomials from (4.1) with the Rosso- { 38 { Jones formula, we nd the corresponding quiver 2 3 0 0 0 1 1 0 0 1 1 0 0 1 1 6 7 0 1 0 1 2 1 0 1 2 1 1 0 1 6 7 6 7 0 0 0 1 2 1 0 0 2 1 1 0 0 6 7 6 7 6 7 1 1 1 2 3 0 1 2 3 1 0 2 2 6 7 6 7 1 2 2 3 3 1 1 2 3 1 1 2 2 6 7 6 7 0 1 1 0 1 2 1 0 1 2 1 1 1 6 7 6 7 C = (5.73) 6 0 0 0 1 1 1 1 0 1 2 1 1 0 7 6 7 6 7 1 1 0 2 2 0 0 1 2 0 0 1 2 6 7 6 7 1 2 2 3 3 1 1 2 2 0 1 1 2 6 7 6 7 0 1 1 1 1 2 2 0 0 3 2 1 0 6 7 6 7 6 0 1 1 0 1 1 1 0 1 2 2 1 0 7 6 7 4 5 1 0 0 2 2 1 1 1 1 1 1 0 1 1 1 0 2 2 1 0 2 2 0 0 1 1 In this matrix one can identify diagonal blocks, one corresponding to a zig-zag of length 1 (representing a homology generator with t-degree 0), and three diamonds of the form (4.8). We checked that the above results agree with those obtained using the formalism of di erentials, presented in [52]. Acknowledgments We thank Sergei Gukov, Satoshi Nawata, Mi losz Pan l, Yan Soibelman, Richard Thomas, Cumrun Vafa, and Paul Wedrich for comments and discussions. We are grateful to the American Institute of Mathematics (San Jose), the Isaac Newton Institute for Mathematical Sciences (Cambridge University), and Institut Henri Poincar e (Paris) for hospitality. The last author thanks the California Institute of Technology, the Matrix Institute (University of Melbourne, Creswick), University of California Davis, and the Isaac Newton Institute for Mathematical Sciences (Cambridge University) for hospitality and opportunity to present the results of this work during seminars and conferences within the last year. This work is sup- ported by the ERC Starting Grant no. 335739 \Quantum elds and knot homologies" funded by the European Research Council under the European Unions Seventh Framework Pro- gramme, and the Foundation for Polish Science. M.S. is partially supported by the Ministry of Science of Serbia, project no. 174012. { 39 { References [1] P. Kucharski, M. Reineke, M. Stosic and P. Sulkowski, BPS states, knots and quivers, 1707.02991. [2] H. Ooguri and C. Vafa, Knot invariants and topological strings, Nucl.Phys. B577 (2000) 419{438, [hep-th/9912123]. [3] J. M. F. Labastida and M. Marino, Polynomial invariants for torus knots and topological strings, Commun. Math. Phys. 217 (2001) 423{449, [hep-th/0004196]. [4] J. M. F. Labastida, M. Marino and C. Vafa, Knots, links and branes at large N, JHEP 11 (2000) 007, [hep-th/0010102]. [5] E. Witten, Chern-Simons gauge theory as a string theory, Prog. Math. 133 (1995) 637{678, [hep-th/9207094]. [6] E. Witten, Quantum eld theory and the Jones polynomial, Comm. Math. Phys. 121 (1989) 351{399. [7] P. Ramadevi and T. Sarkar, On link invariants and topological string amplitudes, Nucl. Phys. B600 (2001) 487{511, [hep-th/0009188]. [8] A. Mironov, A. Morozov, A. Morozov, P. Ramadevi, V. K. Singh and A. Sleptsov, Checks of integrality properties in topological strings, 1702.06316. [9] S. Garoufalidis, P. Kucharski and P. Sulkowski, Knots, BPS states, and algebraic curves, Commun. Math. Phys. 346 (2016) 75{113, [1504.06327]. [10] P. Kucharski and P. Sulkowski, BPS counting for knots and combinatorics on words, JHEP 11 (2016) 120, [1608.06600]. [11] W. Luo and S. Zhu, Integrality structures in topological strings I: framed unknot, 1611.06506. [12] S. Zhu, Topological strings, quiver varieties and Rogers-Ramanujan identities, 1707.00831. [13] M. Kontsevich and Y. Soibelman, Stability structures, motivic Donaldson-Thomas invariants and cluster transformations, 0811.2435. [14] M. Kontsevich and Y. Soibelman, Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants, Commun. Num. Theor. Phys. 5 (2011) 231{352, [1006.2706]. [15] M. Reineke, Cohomology of quiver moduli, functional equations, and integrality of donaldsonthomas type invariants, Compositio Mathematica 147 (5, 2011) 943{964. [16] M. Reineke, Degenerate Cohomological Hall algebra and quantized Donaldson-Thomas invariants for m-loop quivers, Doc. Math. 17 (2012) 1, [1102.3978]. [17] J. A. Harvey and G. W. Moore, On the algebras of BPS states, Commun. Math. Phys. 197 (1998) 489{519, [hep-th/9609017]. [18] A. I. E mov, Cohomological hall algebra of a symmetric quiver, Compositio Mathematica 148 (2012) 1133{1146. [19] S. Meinhardt and M. Reineke, Donaldson-Thomas invariants versus intersection cohomology of quiver moduli, 1411.4062. { 40 { [20] H. Franzen and M. Reineke, Semi-Stable Chow-Hall Algebras of Quivers and Quantized Donaldson-Thomas Invariants, 1512.03748. [21] M. Aganagic and C. Vafa, Large n duality, mirror symmetry, and a q-deformed a-polynomial for knots, 1204.4709. [22] W. Nahm, Conformal eld theory and torsion elements of the Bloch group, hep-th/0404120. [23] S. Garoufalidis and T. T. L^ e, Nahm sums, stability and the colored jones polynomial, Research in the Mathematical Sciences 2 (2015) 1. [24] D.-E. Diaconescu, Z. Hua and Y. Soibelman, HOMFLY polynomials, stable pairs and motivic Donaldson-Thomas invariants, 1202.4651. [25] A. Schwarz, V. Vologodsky and J. Walcher, Framing the Di-Logarithm (over Z), Proc. Symp. Pure Math. 90 (2015) 113{128, [1306.4298]. [26] A. Schwarz, V. Vologodsky and J. Walcher, Integrality of Framing and Geometric Origin of 2-functions, 1702.07135. [27] M. Dedushenko and E. Witten, Some Details On The Gopakumar-Vafa and Ooguri-Vafa Formulas, Adv. Theor. Math. Phys. 20 (2016) 1{133, [1411.7108]. [28] M. Kameyama and S. Nawata, Re ned large N duality for knots, 1703.05408. [29] J. M. F. Labastida and M. Marino, A new point of view in the theory of knot and link invariants, J. Knot Theory Rami cations 11 (2002) 173{197, [math/0104180]. [30] K. Liu and P. Peng, Proof of the Labastida-Mario-Ooguri-Vafa conjecture, J. Di . Geom. 85 (2010) 479{525, [0704.1526]. [31] M. Khovanov, A categori cation of the Jones polynomial, Duke Math. J. 101 (2000) 359426, [math/9908171]. [32] M. Khovanov and L. Rozansky, Matrix factorizations and link homology, Fund. Math. 199 (2008) 1{91, [math/0401268]. [33] M. Khovanov and L. Rozansky, Matrix factorizations and link homology II, Geom. & Topol. 12 (2008) 1387{1425, [math/0505056]. [34] S. Cautis, Remarks on coloured triply graded link invariants, 1611.09924. [35] P. Wedrich, Exponential growth of colored HOMFLY-PT homology, 1602.02769. [36] N. M. Dun eld, S. Gukov and J. Rasmussen, The superpolynomial for knot homologies, Experiment. Math. 15 (2006) 129{159, [math/0505662]. [37] J. Rasmussen, Some di erentials on Khovanov-Rozansky homology, Geom. Topol. 19 (2010) 3031{3104, [math/0607544]. [38] S. Gukov and M. Stosic, Homological Algebra of Knots and BPS States, Proc. Symp. Pure Math. 85 (2012) 125{172, [1112.0030]. [39] S. Gukov, S. Nawata, I. Saberi, M. Stosic and P. Sulkowski, Sequencing BPS Spectra, JHEP 03 (2016) 004, [1512.07883]. [40] S. Gukov, A. Schwarz and C. Vafa, Khovanov-rozansky homology and topological strings, Lett. Math. Phys. 74 (2005) 53{74, [hep-th/0412243]. { 41 { [41] S. Gukov, A. Iqbal, C. Kozcaz and C. Vafa, Link Homologies and the Re ned Topological Vertex, Commun. Math. Phys. 298 (2010) 757{785, [0705.1368]. [42] M. Aganagic and S. Shakirov, Knot Homology and Re ned Chern-Simons Index, Commun. Math. Phys. 333 (2015) 187{228, [1105.5117]. [43] H. Awata, S. Gukov, P. Sulkowski and H. Fuji, Volume Conjecture: Re ned and Categori ed, Adv. Theor. Math. Phys. 16 (2012) 1669{1777, [1203.2182]. [44] P. Dunin-Barkowski, A. Mironov, A. Morozov, A. Sleptsov and A. Smirnov, Superpolynomials for toric knots from evolution induced by cut-and-join operators, JHEP 03 (2013) 021, [1106.4305]. [45] H. Fuji, S. Gukov and P. Sulkowski, Super-A-polynomial for knots and BPS states, Nucl. Phys. B867 (2013) 506{546, [1205.1515]. [46] H. Itoyama, A. Mironov, A. Morozov and A. Morozov, HOMFLY and superpolynomials for gure eight knot in all symmetric and antisymmetric representations, JHEP 07 (2012) 131, [1203.5978]. [47] E. Gorsky, S. Gukov and M. Stosic, Quadruply-graded colored homology of knots, 1304.3481. [48] H. Fuji, S. Gukov, M. Stosic and P. Sulkowski, 3d analogs of Argyres-Douglas theories and knot homologies, JHEP 01 (2013) 175, [1209.1416]. [49] J. Engel and M. Reineke, Smooth models of quiver moduli, Mathematische Zeitschrift 262 (2009) 817{848. [50] M. Rosso and J. V., On the invariants of torus knots derived from quantum groups, J. Knot Theory Ramif. 2 (1993) 97{112. [51] S. Nawata, P. Ramadevi, Zodinmawia and X. Sun, Super-A-polynomials for Twist Knots, JHEP 11 (2012) 157, [1209.1409]. [52] S. Nawata and A. Oblomkov, Lectures on knot homology, Contemp. Math. 680 (2016) 137, [1510.01795]. { 42 {
Journal
Mathematics – arXiv (Cornell University)
Published: Jul 13, 2017