Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence Motivic generating series and DT invariants Motivic generating series encodes information about moduli spaces of representations of Q | Q 0 | x d i P Q ( x , q ) = ( − q ) ∑ 1 ≤ i , j ≤| Q 0 | C i , j d i d j ∑ ∏ i ( q 2 ; q 2 ) d i d 1 ,..., d | Q 0 | ≥ 0 i = 1 � Ω Q ( x , q ) � 1 = Exp 1 − q 2 2 Ω Q ( x , q ) is a generating function of motivic � 1 � 0 Donaldson-Thomas (DT) invariants 0 0 ( q 2 ; q 2 ) d i is the q-Pochhammer symbol r − 1 � 1 − zq 2 � ... ( 1 − zq 2 ( r − 1 ) ) ( z ; q 2 ) r := ∏ ( 1 − zq 2 i ) = ( 1 − z ) i = 0 P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence Motivic generating series and DT invariants Motivic generating series encodes information about moduli spaces of representations of Q | Q 0 | x d i ( − q ) ∑ 1 ≤ i , j ≤| Q 0 | C i , j d i d j P Q ( x , q ) = ∑ ∏ i ( q 2 ; q 2 ) d i d 1 ,..., d | Q 0 | ≥ 0 i = 1 � Ω Q ( x , q ) � 1 = Exp 1 − q 2 2 Example from the picture � 1 � 0 x d 1 x d 2 P Q ( x 1 , x 2 , q ) = ∑ ( − q ) d 2 1 2 0 0 1 ( q 2 ; q 2 ) d 1 ( q 2 ; q 2 ) d 2 d 1 , d 2 ≥ 0 � − qx 1 + x 2 � = Exp 1 − q 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence Outline Introduction 1 Knots Quivers Knots-quivers correspondence Physics and geometry of KQ correspondence 2 General idea Physics Geometry Summary 3 P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence Knots-quivers correspondence 1 2 Knots-quivers (KQ) correspondence is an equality � � P K ( x , a , q ) = P Q K ( x , q ) � x i = a ai q qi − Cii x P K ( x , a , q ) – HOMFLY-PT generating series of knot K P Q K ( x , q ) – motivic generating series of respective quiver Q K x i = a a i q q i − C ii x is a change of variables P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence Knots-quivers correspondence 1 2 Knots-quivers (KQ) correspondence is an equality � � P K ( x , a , q ) = P Q K ( x , q ) � x i = a ai q qi − Cii x P K ( x , a , q ) – HOMFLY-PT generating series of knot K P Q K ( x , q ) – motivic generating series of respective quiver Q K x i = a a i q q i − C ii x is a change of variables P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence Knots-quivers correspondence 1 2 Knots-quivers (KQ) correspondence is an equality � � P K ( x , a , q ) = P Q K ( x , q ) � x i = a ai q qi − Cii x P K ( x , a , q ) – HOMFLY-PT generating series of knot K P Q K ( x , q ) – motivic generating series of respective quiver Q K x i = a a i q q i − C ii x is a change of variables P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence Knots-quivers correspondence 1 2 Knots-quivers (KQ) correspondence is an equality � � P K ( x , a , q ) = P Q K ( x , q ) � x i = a ai q qi − Cii x P K ( x , a , q ) – HOMFLY-PT generating series of knot K P Q K ( x , q ) – motivic generating series of respective quiver Q K x i = a a i q q i − C ii x is a change of variables P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence KQ correspondence - unknot example ∞ ( a 2 ; q 2 ) r P 0 1 ( x , a , q ) = x r ∑ ( q 2 ; q 2 ) r r = 0 = 1 + 1 − a 2 1 − q 2 x + ... x d 1 x d 2 P Q 01 ( x 1 , x 2 , q ) = ∑ ( − q ) d 2 1 2 1 1 ( q 2 ; q 2 ) d 1 ( q 2 ; q 2 ) d 2 d 1 , d 2 ≥ 0 = 1 + − qx 1 + x 2 + ... 2 1 − q 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence KQ correspondence - unknot example 1 2 We can check that � � P 0 1 ( x , a , q ) = P Q 01 ( x 1 , x 2 , q ) � x 1 = a 2 q − 1 x , x 2 = x � 1 + 1 − a 2 � 1 − q 2 x + ... = 1 + − qx 1 + x 2 � + ... � 1 − q 2 x 1 = a 2 q − 1 x , x 2 = x Comparing with x i = a a i q q i − C ii x we get ( a 1 , a 2 ) = ( 2 , 0 ) ( q 1 , q 2 ) = ( 0 , 0 ) P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence KQ correspondence - unknot example 1 2 We can check that � � P 0 1 ( x , a , q ) = P Q 01 ( x 1 , x 2 , q ) � x 1 = a 2 q − 1 x , x 2 = x � 1 + 1 − a 2 � 1 − q 2 x + ... = 1 + − qx 1 + x 2 � + ... � 1 − q 2 x 1 = a 2 q − 1 x , x 2 = x Comparing with x i = a a i q q i − C ii x we get ( a 1 , a 2 ) = ( 2 , 0 ) ( q 1 , q 2 ) = ( 0 , 0 ) P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence KQ correspondence and BPS states 1 2 We can also look at the level of BPS states: � N K ( x , a , q ) � � Ω Q K ( x , q ) �� � = P K = P Q K = Exp � Exp � 1 − q 2 1 − q 2 x i = a ai q qi − Cii x � � N K ( x , a , q ) = Ω Q K ( x , q ) � x i = a ai q qi − Cii x Integrality of DT invariants for symmetric quivers [Kontsevich-Soibelman, Efimov] implies LMOV conjecture P. Kucharski Physics and geometry of KQ correspondence
Introduction Knots Physics and geometry of KQ correspondence Quivers Summary Knots-quivers correspondence KQ correspondence and BPS states 1 2 We can also look at the level of BPS states: � N K ( x , a , q ) � � Ω Q K ( x , q ) �� � = P K = P Q K = Exp � Exp � 1 − q 2 1 − q 2 x i = a ai q qi − Cii x � � N K ( x , a , q ) = Ω Q K ( x , q ) � x i = a ai q qi − Cii x Integrality of DT invariants for symmetric quivers [Kontsevich-Soibelman, Efimov] implies LMOV conjecture P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Outline Introduction 1 Knots Quivers Knots-quivers correspondence Physics and geometry of KQ correspondence 2 General idea Physics Geometry Summary 3 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry KQ correspondence discussed so far Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series Physics P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Towards physics of KQ correspondence Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ Physics P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Towards physics of KQ correspondence Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ Physics 3d N = 2 T [ L K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Missing element Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ ↓ Physics 3d N = 2 T [ L K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Missing element Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ ↓ Physics 3d N = 2 T [ L K ] 3d N = 2 T [ Q K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Missing element Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ ↓ Physics 3d N = 2 T [ L K ] → 3d N = 2 T [ Q K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Geometric interpretations Knots Quivers Math HOMFLY-PT gen. series Motivic gen. series տ ր Geometric interpretations ւ ց Physics 3d N = 2 T [ L K ] 3d N = 2 T [ Q K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Outline Introduction 1 Knots Quivers Knots-quivers correspondence Physics and geometry of KQ correspondence 2 General idea Physics Geometry Summary 3 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Construction of knot complement theory We can construct 3d N = 2 knot complement theory T [ M K ] basing on large colour and classical limit of HOMFLY-PT polynomial [Fuji, Gukov, Sułkowski] � 1 �� � h → 0 ¯ � P K r ( a , q ) q 2 r fixed exp − → W T [ M K ] + O (¯ h ) 2 ¯ h � W T [ M K ] is a twisted superpotential Li 2 ( ... ) ← → chiral field κ 2 log ( ... ) log ( ... ) ← → CS coupling P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Recall: what is T [ L K ] T [ L K ] : 3d N = 2 eff. theory on R 1 , 2 Partition function=generating function of Labastida-Marino-Ooguri-Vafa invariants N K r , i , j � � ∑ r , i , j N K r , i , j x r a i q j Z = Exp 1 − q 2 R 1 , 2 M5 brane M2 branes BPS states BPS states are counted by LMOV invariants ⇒ LMOV integrality conjecture P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Recall: what is T [ L K ] T [ L K ] : 3d N = 2 eff. theory on R 1 , 2 Partition function=generating function of Labastida-Marino-Ooguri-Vafa invariants N K r , i , j � � ∑ r , i , j N K r , i , j x r a i q j Z = Exp 1 − q 2 R 1 , 2 M5 brane M2 branes BPS states BPS states are counted by LMOV invariants ⇒ LMOV integrality conjecture P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Construction of T [ L K ] theory Idea We construct T [ L K ] analogously to T [ M K ] , but using P K ( x , a , q ) � 1 �� � � h → 0 ¯ � P K ( x , a , q ) − → dy exp W T [ L K ] + O (¯ h ) 2 ¯ h q 2 r → y W T [ L K ] = � � W T [ M K ] + log x log y � dy means that U ( 1 ) symmetry Integral corresponding to fugacity y is gauged We have the same matter content with just extra CS coupling with background field P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Construction of T [ L K ] theory Idea We construct T [ L K ] analogously to T [ M K ] , but using P K ( x , a , q ) � 1 �� � � h → 0 ¯ � P K ( x , a , q ) − → dy exp W T [ L K ] + O (¯ h ) 2 ¯ h q 2 r → y W T [ L K ] = � � W T [ M K ] + log x log y � dy means that U ( 1 ) symmetry Integral corresponding to fugacity y is gauged We have the same matter content with just extra CS coupling with background field P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Construction of T [ L K ] theory Idea We construct T [ L K ] analogously to T [ M K ] , but using P K ( x , a , q ) � 1 �� � � h → 0 ¯ � P K ( x , a , q ) − → dy exp W T [ L K ] + O (¯ h ) 2 ¯ h q 2 r → y W T [ L K ] = � � W T [ M K ] + log x log y � dy means that U ( 1 ) symmetry Integral corresponding to fugacity y is gauged We have the same matter content with just extra CS coupling with background field P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Construction of T [ L K ] theory Idea We construct T [ L K ] analogously to T [ M K ] , but using P K ( x , a , q ) � 1 �� � � h → 0 ¯ � P K ( x , a , q ) − → dy exp W T [ L K ] + O (¯ h ) 2 ¯ h q 2 r → y W T [ L K ] = � � W T [ M K ] + log x log y � dy means that U ( 1 ) symmetry Integral corresponding to fugacity y is gauged We have the same matter content with just extra CS coupling with background field P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: T [ L 0 1 ] For the unknot we have � 1 �� � � h → 0 ¯ � P 0 1 ( x , a , q ) − → dy exp W T [ L 01 ] + O (¯ h ) 2 ¯ h q 2 r → y � y − 1 a − 2 � � W T [ L 01 ] = Li 2 ( y )+ Li 2 + log x log y T [ L 0 1 ] is a U ( 1 ) gauge theory (fugacity y ) with one fundamental and one antifundamental chiral Antifundamental chiral is charged under the U ( 1 ) a global symmetry arising from S 2 in the conifold P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: T [ L 0 1 ] For the unknot we have � 1 �� � � h → 0 ¯ � P 0 1 ( x , a , q ) − → dy exp W T [ L 01 ] + O (¯ h ) 2 ¯ h q 2 r → y � y − 1 a − 2 � � W T [ L 01 ] = Li 2 ( y )+ Li 2 + log x log y T [ L 0 1 ] is a U ( 1 ) gauge theory (fugacity y ) with one fundamental and one antifundamental chiral Antifundamental chiral is charged under the U ( 1 ) a global symmetry arising from S 2 in the conifold P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: T [ L 0 1 ] For the unknot we have � 1 �� � � h → 0 ¯ � P 0 1 ( x , a , q ) − → dy exp W T [ L 01 ] + O (¯ h ) 2 ¯ h q 2 r → y � y − 1 a − 2 � � W T [ L 01 ] = Li 2 ( y )+ Li 2 + log x log y T [ L 0 1 ] is a U ( 1 ) gauge theory (fugacity y ) with one fundamental and one antifundamental chiral Antifundamental chiral is charged under the U ( 1 ) a global symmetry arising from S 2 in the conifold P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Recall of general idea - now we are here Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ Physics 3d N = 2 T [ L K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry We look for the missing element Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ ↓ Physics 3d N = 2 T [ L K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry We look for the missing element Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ ↓ Physics 3d N = 2 T [ L K ] 3d N = 2 T [ Q K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Missing element: T [ Q K ] theory Idea Consider large colour and classical limit of motivic generating series! � 1 �� � � h → 0 P Q K ( x , q ) ¯ � ∏ − → dy i exp W T [ Q K ] + O (¯ h ) 2 ¯ h q 2 di → y i i C i , j W T [ Q K ] = ∑ � [ Li 2 ( y i )+ log x i log y i ]+ ∑ 2 log y i log y j , i i , j Gauge group: U ( 1 ) #vertices Matter content: one chiral for each vertex CS couplings given by C i , j = #arrows P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Missing element: T [ Q K ] theory Idea Consider large colour and classical limit of motivic generating series! � 1 �� � � h → 0 P Q K ( x , q ) ¯ � ∏ − → dy i exp W T [ Q K ] + O (¯ h ) 2 ¯ h q 2 di → y i i C i , j W T [ Q K ] = ∑ � [ Li 2 ( y i )+ log x i log y i ]+ ∑ 2 log y i log y j , i i , j Gauge group: U ( 1 ) #vertices Matter content: one chiral for each vertex CS couplings given by C i , j = #arrows P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Missing element: T [ Q K ] theory Idea Consider large colour and classical limit of motivic generating series! � 1 �� � � h → 0 P Q K ( x , q ) ¯ � ∏ − → dy i exp W T [ Q K ] + O (¯ h ) 2 ¯ h q 2 di → y i i C i , j W T [ Q K ] = ∑ � [ Li 2 ( y i )+ log x i log y i ]+ ∑ 2 log y i log y j , i i , j Gauge group: U ( 1 ) #vertices Matter content: one chiral for each vertex CS couplings given by C i , j = #arrows P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Missing element: T [ Q K ] theory Idea Consider large colour and classical limit of motivic generating series! � 1 �� � � h → 0 P Q K ( x , q ) ¯ � ∏ − → dy i exp W T [ Q K ] + O (¯ h ) 2 ¯ h q 2 di → y i i C i , j W T [ Q K ] = ∑ � [ Li 2 ( y i )+ log x i log y i ]+ ∑ 2 log y i log y j , i i , j Gauge group: U ( 1 ) #vertices Matter content: one chiral for each vertex CS couplings given by C i , j = #arrows P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Missing element: T [ Q K ] theory Idea Consider large colour and classical limit of motivic generating series! � 1 �� � � h → 0 P Q K ( x , q ) ¯ � ∏ − → dy i exp W T [ Q K ] + O (¯ h ) 2 ¯ h q 2 di → y i i C i , j W T [ Q K ] = ∑ � [ Li 2 ( y i )+ log x i log y i ]+ ∑ 2 log y i log y j , i i , j Gauge group: U ( 1 ) #vertices Matter content: one chiral for each vertex CS couplings given by C i , j = #arrows P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: T [ Q 0 1 ] For the unknot quiver we have � 1 �� � � ¯ h → 0 � P Q 01 ( x 1 , x 2 , q ) − → dy 1 dy 2 exp W T [ Q 01 ] + O (¯ h ) 2 ¯ h q 2 di → y i W T [ Q 01 ] = Li 2 ( y 1 )+ Li 2 ( y 2 )+ log x 1 log y 1 + log x 2 log y 2 + 1 � 2 log y 1 log y 1 T [ Q 0 1 ] is a U ( 1 ) ( 1 ) × U ( 1 ) ( 2 ) gauge theory with one chiral field for each group 1 CS level one for U ( 1 ) ( 1 ) , consistent with � 1 � 0 C 0 1 = 0 0 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: T [ Q 0 1 ] For the unknot quiver we have � 1 �� � � ¯ h → 0 � P Q 01 ( x 1 , x 2 , q ) − → dy 1 dy 2 exp W T [ Q 01 ] + O (¯ h ) 2 ¯ h q 2 di → y i W T [ Q 01 ] = Li 2 ( y 1 )+ Li 2 ( y 2 )+ log x 1 log y 1 + log x 2 log y 2 + 1 � 2 log y 1 log y 1 T [ Q 0 1 ] is a U ( 1 ) ( 1 ) × U ( 1 ) ( 2 ) gauge theory with one chiral field for each group 1 CS level one for U ( 1 ) ( 1 ) , consistent with � 1 � 0 C 0 1 = 0 0 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: T [ Q 0 1 ] For the unknot quiver we have � 1 �� � � ¯ h → 0 � P Q 01 ( x 1 , x 2 , q ) − → dy 1 dy 2 exp W T [ Q 01 ] + O (¯ h ) 2 ¯ h q 2 di → y i W T [ Q 01 ] = Li 2 ( y 1 )+ Li 2 ( y 2 )+ log x 1 log y 1 + log x 2 log y 2 + 1 � 2 log y 1 log y 1 T [ Q 0 1 ] is a U ( 1 ) ( 1 ) × U ( 1 ) ( 2 ) gauge theory with one chiral field for each group 1 CS level one for U ( 1 ) ( 1 ) , consistent with � 1 � 0 C 0 1 = 0 0 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Recall of general idea - now we are here Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ ↓ Physics 3d N = 2 T [ L K ] 3d N = 2 T [ Q K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry We want the physical interpretation of KQ correspondence Knots Quivers Math HOMFLY-PT gen. series → Motivic gen. series ↓ ↓ Physics 3d N = 2 T [ L K ] → 3d N = 2 T [ Q K ] P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Duality Physical meaning of the knots-quivers correspondence is a duality between two 3d N = 2 theories: T [ L K ] ← → T [ Q K ] We already know that Z ( T [ L K ]) = P K ( x , a , q ) We can calculate the partition function of T [ Q K ] and indeed Z ( T [ Q K ]) = P Q K ( x , q ) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Duality Physical meaning of the knots-quivers correspondence is a duality between two 3d N = 2 theories: T [ L K ] ← → T [ Q K ] We already know that Z ( T [ L K ]) = P K ( x , a , q ) We can calculate the partition function of T [ Q K ] and indeed Z ( T [ Q K ]) = P Q K ( x , q ) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Duality Physical meaning of the knots-quivers correspondence is a duality between two 3d N = 2 theories: T [ L K ] ← → T [ Q K ] We already know that Z ( T [ L K ]) = P K ( x , a , q ) We can calculate the partition function of T [ Q K ] and indeed Z ( T [ Q K ]) = P Q K ( x , q ) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Outline Introduction 1 Knots Quivers Knots-quivers correspondence Physics and geometry of KQ correspondence 2 General idea Physics Geometry Summary 3 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes extracted from motivic generating series Let’s look at motivic generating series restricted to | d | = 1 ( − q ) C ii x i | d | = 1 ( x , q ) = ∑ P Q K 1 − q 2 i ∈ Q 0 Every vertex ( i ∈ Q 0 ) contributes once No interactions between different nodes What is the meaning of P Q K | d | = 1 ( x , q ) ? P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes extracted from motivic generating series Let’s look at motivic generating series restricted to | d | = 1 ( − q ) C ii x i | d | = 1 ( x , q ) = ∑ P Q K 1 − q 2 i ∈ Q 0 Every vertex ( i ∈ Q 0 ) contributes once No interactions between different nodes What is the meaning of P Q K | d | = 1 ( x , q ) ? P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes extracted from motivic generating series Let’s look at motivic generating series restricted to | d | = 1 ( − q ) C ii x i | d | = 1 ( x , q ) = ∑ P Q K 1 − q 2 i ∈ Q 0 Every vertex ( i ∈ Q 0 ) contributes once No interactions between different nodes What is the meaning of P Q K | d | = 1 ( x , q ) ? P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes extracted from motivic generating series Let’s look at motivic generating series restricted to | d | = 1 ( − q ) C ii x i | d | = 1 ( x , q ) = ∑ P Q K 1 − q 2 i ∈ Q 0 Every vertex ( i ∈ Q 0 ) contributes once No interactions between different nodes What is the meaning of P Q K | d | = 1 ( x , q ) ? P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as homology generators Let’s apply KQ change of variables � � P Q K x i = a ai q qi − Cii x = P K | d | = 1 ( x , q ) 1 ( a , q ) x � P K 1 ( a , q ) is an Euler characteristic of HOMFLY-PT homology H ( K ) with set of generators G ( K ) , so � � = ∑ i ∈ G ( K ) a a i q q i ( − 1 ) C ii ( − q ) C ii x i � ∑ � x 1 − q 2 1 − q 2 � i ∈ Q 0 x i = a ai q qi − Cii x Each vertex corresponds to the homology generator KQ change of variables is encoded in homological degrees P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as homology generators Let’s apply KQ change of variables � � P Q K x i = a ai q qi − Cii x = P K | d | = 1 ( x , q ) 1 ( a , q ) x � P K 1 ( a , q ) is an Euler characteristic of HOMFLY-PT homology H ( K ) with set of generators G ( K ) , so � � = ∑ i ∈ G ( K ) a a i q q i ( − 1 ) C ii ( − q ) C ii x i � ∑ � x 1 − q 2 1 − q 2 � i ∈ Q 0 x i = a ai q qi − Cii x Each vertex corresponds to the homology generator KQ change of variables is encoded in homological degrees P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as homology generators Let’s apply KQ change of variables � � P Q K x i = a ai q qi − Cii x = P K | d | = 1 ( x , q ) 1 ( a , q ) x � P K 1 ( a , q ) is an Euler characteristic of HOMFLY-PT homology H ( K ) with set of generators G ( K ) , so � � = ∑ i ∈ G ( K ) a a i q q i ( − 1 ) C ii ( − q ) C ii x i � ∑ � x 1 − q 2 1 − q 2 � i ∈ Q 0 x i = a ai q qi − Cii x Each vertex corresponds to the homology generator KQ change of variables is encoded in homological degrees P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as homology generators Let’s apply KQ change of variables � � P Q K x i = a ai q qi − Cii x = P K | d | = 1 ( x , q ) 1 ( a , q ) x � P K 1 ( a , q ) is an Euler characteristic of HOMFLY-PT homology H ( K ) with set of generators G ( K ) , so � � = ∑ i ∈ G ( K ) a a i q q i ( − 1 ) C ii ( − q ) C ii x i � ∑ � x 1 − q 2 1 − q 2 � i ∈ Q 0 x i = a ai q qi − Cii x Each vertex corresponds to the homology generator KQ change of variables is encoded in homological degrees P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as BPS states Generators of uncoloured homology correspond to BPS states [Gukov, Schwarz, Vafa] Quiver nodes correspond to BPS states of T [ L K ] counted by LMOV invariants � � ( − q ) C ii x i = N K 1 ( a , q ) � ∑ 1 − q 2 x � 1 − q 2 � i ∈ Q 0 x i = a ai q qi − Cii x ...or BPS states of T [ Q K ] counted by DT invariants Ω Q K | d | = 1 ( x , q ) ( − q ) C ii x i ∑ = 1 − q 2 1 − q 2 i ∈ Q 0 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as BPS states Generators of uncoloured homology correspond to BPS states [Gukov, Schwarz, Vafa] Quiver nodes correspond to BPS states of T [ L K ] counted by LMOV invariants � � ( − q ) C ii x i = N K 1 ( a , q ) � ∑ 1 − q 2 x � 1 − q 2 � i ∈ Q 0 x i = a ai q qi − Cii x ...or BPS states of T [ Q K ] counted by DT invariants Ω Q K | d | = 1 ( x , q ) ( − q ) C ii x i ∑ = 1 − q 2 1 − q 2 i ∈ Q 0 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as BPS states Generators of uncoloured homology correspond to BPS states [Gukov, Schwarz, Vafa] Quiver nodes correspond to BPS states of T [ L K ] counted by LMOV invariants � � ( − q ) C ii x i = N K 1 ( a , q ) � ∑ 1 − q 2 x � 1 − q 2 � i ∈ Q 0 x i = a ai q qi − Cii x ...or BPS states of T [ Q K ] counted by DT invariants Ω Q K | d | = 1 ( x , q ) ( − q ) C ii x i ∑ = 1 − q 2 1 − q 2 i ∈ Q 0 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as holomorphic disks Recall: M2 branes are BPS states on the flat side and holomorphic disks on the Calabi-Yau side We can reinterpret topological data of KQ change of variables in the language of disks: power r in x r − → #windings around L K power a i in a a i − → #wrappings around base S 2 power q i in q q i − → invariant self-linking# C ii = t i − → linking# between disk and its small shift Quiver nodes correspond to basic disks – holomorphic curves that wind around L K once ( r = 1) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as holomorphic disks Recall: M2 branes are BPS states on the flat side and holomorphic disks on the Calabi-Yau side We can reinterpret topological data of KQ change of variables in the language of disks: power r in x r − → #windings around L K power a i in a a i − → #wrappings around base S 2 power q i in q q i − → invariant self-linking# C ii = t i − → linking# between disk and its small shift Quiver nodes correspond to basic disks – holomorphic curves that wind around L K once ( r = 1) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as holomorphic disks Recall: M2 branes are BPS states on the flat side and holomorphic disks on the Calabi-Yau side We can reinterpret topological data of KQ change of variables in the language of disks: power r in x r − → #windings around L K power a i in a a i − → #wrappings around base S 2 power q i in q q i − → invariant self-linking# C ii = t i − → linking# between disk and its small shift Quiver nodes correspond to basic disks – holomorphic curves that wind around L K once ( r = 1) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as holomorphic disks Recall: M2 branes are BPS states on the flat side and holomorphic disks on the Calabi-Yau side We can reinterpret topological data of KQ change of variables in the language of disks: power r in x r − → #windings around L K power a i in a a i − → #wrappings around base S 2 power q i in q q i − → invariant self-linking# C ii = t i − → linking# between disk and its small shift Quiver nodes correspond to basic disks – holomorphic curves that wind around L K once ( r = 1) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as holomorphic disks Recall: M2 branes are BPS states on the flat side and holomorphic disks on the Calabi-Yau side We can reinterpret topological data of KQ change of variables in the language of disks: power r in x r − → #windings around L K power a i in a a i − → #wrappings around base S 2 power q i in q q i − → invariant self-linking# C ii = t i − → linking# between disk and its small shift Quiver nodes correspond to basic disks – holomorphic curves that wind around L K once ( r = 1) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as holomorphic disks Recall: M2 branes are BPS states on the flat side and holomorphic disks on the Calabi-Yau side We can reinterpret topological data of KQ change of variables in the language of disks: power r in x r − → #windings around L K power a i in a a i − → #wrappings around base S 2 power q i in q q i − → invariant self-linking# C ii = t i − → linking# between disk and its small shift Quiver nodes correspond to basic disks – holomorphic curves that wind around L K once ( r = 1) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver nodes as holomorphic disks Recall: M2 branes are BPS states on the flat side and holomorphic disks on the Calabi-Yau side We can reinterpret topological data of KQ change of variables in the language of disks: power r in x r − → #windings around L K power a i in a a i − → #wrappings around base S 2 power q i in q q i − → invariant self-linking# C ii = t i − → linking# between disk and its small shift Quiver nodes correspond to basic disks – holomorphic curves that wind around L K once ( r = 1) P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: unknot quiver vertices and homology For the unknot quiver we have | d | = 1 ( x , q ) = − qx 1 + x 2 Q 01 P 1 − q 2 1 H ( 0 1 ) has two generators with degrees ( a 1 , a 2 ) = ( 2 , 0 ) , ( q 1 , q 2 ) = ( 0 , 0 ) 2 ( t 1 , t 2 ) = ( 1 , 0 ) = ( C 11 , C 22 ) Generators correspond to quiver vertices and their degrees encode KQ change of variables x 1 = a 2 q − 1 x , x 2 = x giving = ∑ i ∈ G ( 0 1 ) a a i q q i ( − 1 ) C ii 1 ( a , q ) x = − a 2 x + x P 0 1 x 1 − q 2 1 − q 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: unknot quiver vertices and homology For the unknot quiver we have | d | = 1 ( x , q ) = − qx 1 + x 2 Q 01 P 1 − q 2 1 H ( 0 1 ) has two generators with degrees ( a 1 , a 2 ) = ( 2 , 0 ) , ( q 1 , q 2 ) = ( 0 , 0 ) 2 ( t 1 , t 2 ) = ( 1 , 0 ) = ( C 11 , C 22 ) Generators correspond to quiver vertices and their degrees encode KQ change of variables x 1 = a 2 q − 1 x , x 2 = x giving = ∑ i ∈ G ( 0 1 ) a a i q q i ( − 1 ) C ii 1 ( a , q ) x = − a 2 x + x P 0 1 x 1 − q 2 1 − q 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: unknot quiver vertices and homology For the unknot quiver we have | d | = 1 ( x , q ) = − qx 1 + x 2 Q 01 P 1 − q 2 1 H ( 0 1 ) has two generators with degrees ( a 1 , a 2 ) = ( 2 , 0 ) , ( q 1 , q 2 ) = ( 0 , 0 ) 2 ( t 1 , t 2 ) = ( 1 , 0 ) = ( C 11 , C 22 ) Generators correspond to quiver vertices and their degrees encode KQ change of variables x 1 = a 2 q − 1 x , x 2 = x giving = ∑ i ∈ G ( 0 1 ) a a i q q i ( − 1 ) C ii 1 ( a , q ) x = − a 2 x + x P 0 1 x 1 − q 2 1 − q 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: unknot quiver vertices and BPS states Two generators of H ( 0 1 ) correspond to two BPS states BPS states of T [ L 0 1 ] are counted by LMOV invariants 1 N 0 1 1 ( a , q ) = 1 − a 2 2 BPS states of T [ Q 0 1 ] are counted by DT invariants Q 01 Ω | d | = 1 ( x , q ) = − qx 1 + x 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: unknot quiver vertices and BPS states Two generators of H ( 0 1 ) correspond to two BPS states BPS states of T [ L 0 1 ] are counted by LMOV invariants 1 N 0 1 1 ( a , q ) = 1 − a 2 2 BPS states of T [ Q 0 1 ] are counted by DT invariants Q 01 Ω | d | = 1 ( x , q ) = − qx 1 + x 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: unknot quiver vertices and BPS states Two generators of H ( 0 1 ) correspond to two BPS states BPS states of T [ L 0 1 ] are counted by LMOV invariants 1 N 0 1 1 ( a , q ) = 1 − a 2 2 BPS states of T [ Q 0 1 ] are counted by DT invariants Q 01 Ω | d | = 1 ( x , q ) = − qx 1 + x 2 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: unknot quiver vertices and holomorphic disks Two BPS states on the flat side ← → two holomorphic disks on the Calabi-Yau side For the first we have the following intepretation of topological data in KQ change of variables: r = 1 − → winding around L K → wrappings around base S 2 a 1 = 2 − 1 q 1 = 0 − → invariant self-linking C 11 = 1 − → linking between disk and its 2 small shift P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: unknot quiver vertices and holomorphic disks Two BPS states on the flat side ← → two holomorphic disks on the Calabi-Yau side For the first we have the following intepretation of topological data in KQ change of variables: r = 1 − → winding around L K → wrappings around base S 2 a 1 = 2 − 1 q 1 = 0 − → invariant self-linking C 11 = 1 − → linking between disk and its 2 small shift P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Example: unknot quiver vertices and holomorphic disks Two BPS states on the flat side ← → two holomorphic disks on the Calabi-Yau side For the second we have the following intepretation of topological data in KQ change of variables: r = 1 − → winding around L K → wrappings around base S 2 a 2 = 0 − 1 q 2 = 0 − → invariant self-linking C 22 = 0 − → linking between disk and its 2 small shift P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver arrows extracted from motivic generating series Let’s look closer at motivic generating series | Q 0 | x d i ( − q ) ∑ 1 ≤ i , j ≤| Q 0 | C i , j d i d j P Q ( x , q ) := ∑ ∏ i ( q 2 ; q 2 ) d i d 1 ,..., d | Q 0 | ≥ 0 i = 1 Dimension d i encodes the number of factors corresponding to i -th vertex #arrows C i , j encodes interactions between vertices i & j Motivic generating series counts all objects that can be made from basic ones (nodes) according to quiver arrows P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver arrows extracted from motivic generating series Let’s look closer at motivic generating series | Q 0 | x d i ( − q ) ∑ 1 ≤ i , j ≤| Q 0 | C i , j d i d j P Q ( x , q ) := ∑ ∏ i ( q 2 ; q 2 ) d i d 1 ,..., d | Q 0 | ≥ 0 i = 1 Dimension d i encodes the number of factors corresponding to i -th vertex #arrows C i , j encodes interactions between vertices i & j Motivic generating series counts all objects that can be made from basic ones (nodes) according to quiver arrows P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver arrows extracted from motivic generating series Let’s look closer at motivic generating series | Q 0 | x d i ( − q ) ∑ 1 ≤ i , j ≤| Q 0 | C i , j d i d j P Q ( x , q ) := ∑ ∏ i ( q 2 ; q 2 ) d i d 1 ,..., d | Q 0 | ≥ 0 i = 1 Dimension d i encodes the number of factors corresponding to i -th vertex #arrows C i , j encodes interactions between vertices i & j Motivic generating series counts all objects that can be made from basic ones (nodes) according to quiver arrows P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver arrows extracted from motivic generating series Let’s look closer at motivic generating series | Q 0 | x d i ( − q ) ∑ 1 ≤ i , j ≤| Q 0 | C i , j d i d j P Q ( x , q ) := ∑ ∏ i ( q 2 ; q 2 ) d i d 1 ,..., d | Q 0 | ≥ 0 i = 1 Dimension d i encodes the number of factors corresponding to i -th vertex #arrows C i , j encodes interactions between vertices i & j Motivic generating series counts all objects that can be made from basic ones (nodes) according to quiver arrows P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver arrows as disk intersections Geometrically P Q ( x , q ) counts all holomorphic curves that can be made from basic disks according to quiver arrows Dimension vector d i − → #copies of the disk #arrows C i , j − → disk boundaries linking# Example: one pair of arrows corresponds to two bagel disk boundaries with linking# = 1 P. Kucharski Physics and geometry of KQ correspondence
Introduction General idea Physics and geometry of KQ correspondence Physics Summary Geometry Quiver arrows as disk intersections Geometrically P Q ( x , q ) counts all holomorphic curves that can be made from basic disks according to quiver arrows Dimension vector d i − → #copies of the disk #arrows C i , j − → disk boundaries linking# Example: one pair of arrows corresponds to two bagel disk boundaries with linking# = 1 P. Kucharski Physics and geometry of KQ correspondence
Recommend
More recommend