HOMFLY and superpolynomials for figure eight knot in all symmetric and antisymmetric representations

Explicit answer is given for the HOMFLY polynomial of the figure eight knot $4_1$ in arbitrary symmetric representation R=[p]. It generalizes the old answers for p=1 and 2 and the recently derived results for p=3,4, which are fully consistent with the Ooguri-Vafa conjecture. The answer can be considered as a quantization of the \sigma_R = \sigma_{[1]}^{|R|} identity for the "special" polynomials (they define the leading asymptotics of HOMFLY at q=1), and arises in a form, convenient for comparison with the representation of the Jones polynomials as sums of dilogarithm ratios. In particular, we construct a difference equation ("non-commutative A-polynomial") in the representation variable p. Simple symmetry transformation provides also a formula for arbitrary antisymmetric (fundamental) representation R=[1^p], which also passes some obvious checks. Also straightforward is a deformation from HOMFLY to superpolynomials. Further generalizations seem possible to arbitrary Young diagrams R, but these expressions are harder to test because of the lack of alternative results, even partial.Comment: 14 page

Character expansion for HOMFLY polynomials. III. All 3-Strand braids in the first symmetric representation

We continue the program of systematic study of extended HOMFLY polynomials. Extended polynomials depend on infinitely many time variables, are close relatives of integrable tau-functions, and depend on the choice of the braid representation of the knot. They possess natural character decompositions, with coefficients which can be defined by exhaustively general formula for any particular number m of strands in the braid and any particular representation R of the Lie algebra GL(\infty). Being restricted to "the topological locus" in the space of time variables, the extended HOMFLY polynomials reproduce the ordinary knot invariants. We derive such a general formula, for m=3, when the braid is parameterized by a sequence of integers (a_1,b_1,a_2,b_2,...), and for the first non-fundamental representation R=[2]. Instead of calculating the mixing matrices directly, we deduce them from comparison with the known answers for torus and composite knots. A simple reflection symmetry converts the answer for the symmetric representation [2] into that for the antisymmetric one [1,1]. The result applies, in particular, to the figure eight knot 4_1, and was further extended to superpolynomials in arbitrary symmetric and antisymmetric representations in arXiv:1203.5978.Comment: 22 pages + Tables of knot polynomial

On 3d extensions of AGT relation

An extension of the AGT relation from two to three dimensions begins from connecting the theory on domain wall between some two S-dual SYM models with the 3d Chern-Simons theory. The simplest kind of such a relation would presumably connect traces of the modular kernels in 2d conformal theory with knot invariants. Indeed, the both quantities are very similar, especially if represented as integrals of the products of quantum dilogarithm functions. However, there are also various differences, especially in the "conservation laws" for integration variables, which hold for the monodromy traces, but not for the knot invariants. We also discuss another possibility: interpretation of knot invariants as solutions to the Baxter equations for the relativistic Toda system. This implies another AGT like relation: between 3d Chern-Simons theory and the Nekrasov-Shatashvili limit of the 5d SYM.Comment: 23 page