We define composite DAHA-superpolynomials of torus knots, depending on pairs of Young diagrams and generalizing the composite HOMFLY-PT polynomials in the theory of the skein of the annulus. We provide various examples. Our superpolynomials extend the DAHA-Jones (refined) polynomials and satisfy all standard symmetries of the DAHA-superpolynomials of torus knots. The latter are conjecturally related to the HOMFLY-PT homology; such a connection is a challenge in the theory of the annulus. At the end, we construct two DAHA-hyperpolynomials extending the DAHA-Jones polynomials of type E and closely related to the exceptional Deligne-Gross series of root systems; this theme is of experimental nature.
DAHA-Jones polynomials of torus knots $T(r,s)$ are studied systematically for reduced root systems and in the case of $C^\vee C_1$. We prove the polynomiality and evaluation conjectures from the author's previous paper on torus knots and extend the theory by the color exchange and further symmetries. DAHA-Jones polynomials for $C^\vee C_1$ depend on $5$ parameters. Their surprising connection to the DAHA-superpolynomials (type $A$) for the knots $T(2p+1,2)$ is obtained, a remarkable combination of the color exchange conditions and the author's duality conjecture (justified by Gorsky and Negut)…
We study a topological aspect of rank-1 double affine Hecke algebra (DAHA). Clarified is a relationship between the DAHA of A1-type (resp. CC1-type) and the skein algebra on a once-punctured torus (resp. a 4-punctured sphere), and the SL(2;Z) actions of DAHAs are identified with the Dehn twists on the surfaces. Combining these two types of DAHA, we construct the DAHA representation for the skein algebra on a genus-two surface, and we propose a DAHA polynomial for a double-torus knot, which is a simple closed curve on a genus two Heegaard surface in S3. Discussed is a relationship between the D…
We suggest a new construction for the Quantum Groups - Jones polynomials of torus knots in terms of the PBW theorem of DAHA for any root systems and weights (justified for type A). The main focus is on the DAHA super-polynomials, a stable 3-parametric type A variant of this construction. A connection is expected with the approach to super-polynomials due to Aganagic and Shakirov via the Macdonald polynomials at roots of unity and the Verlinde algebra. The duality conjecture for the DAHA super-polynomials is stated, essentially matching that due to Gukov and Stosic. A link to Khovanov-Rozansky …
The theory of DAHA-Jones polynomials is extended from torus knots to their arbitrary iterations (for any reduced root systems and weights), which incudes the polynomiality, duality and other properties of the DAHA superpolynomials. Presumably they coincide with the reduced stable Khovanov-Rozansky polynomials in the case of non-negative coefficients. The new theory matches well the classical theory of algebraic knots and (unibranch) plane curve singularities; the Puiseux expansion naturally emerges. The corresponding DAHA superpolynomials are expected to coincide with the reduced ones in the O…
We suggest a relatively simple and totally geometric conjectural description of uncolored DAHA superpolynomials of arbitrary algebraic knots (conjecturally coinciding with the reduced stable Khovanov-Rozansky polynomials) via the flagged Jacobian factors (new objects) of the corresponding unibranch plane curve singularities. This generalizes the Cherednik-Danilenko conjecture on the Betti numbers of Jacobian factors, the Gorsky combinatorial conjectural interpretation of superpolynomials of torus knots and that by Gorsky-Mazin for their constant term. The paper mainly focuses on non-torus alge…
We extend the construction of the DAHA-Jones polynomials for any reduced root systems and DAHA-superpolynomials in type A from the iterated torus knots (our previous paper) to links, including arbitrary algebraic links. Such a passage essentially corresponds to the usage of the products of Macdonald polynomials and is directly connected to the so-called splice diagrams. The specialization t=q of our superpolynomials conjecturally results in the HOMFLY-PT polynomials. The relation of our construction to the stable Khovanov-Rozansky polynomials and the so-called ORS-polynomials of the correspond…
Stable Khovanov-Rozansky polynomials of algebraic knots are expected to coincide with certain generating functions, superpolynomials, of nested Hilbert schemes and flagged Jacobian factors of the corresponding plane curve singularities. Also, these 3 families conjecturally match the DAHA superpolynomials. These superpolynomials can be considered as singular counterparts and generalizations of the Hasse-Weil zeta-functions. We conjecture that all $a$-coefficients of the DAHA superpolynomials upon the substitution $q\mapsto qt$ satisfy the Riemann Hypothesis for sufficiently small $q$ for uncolo…
The goal of this article is twofold. First, we find a natural home for the double affine Hecke algebras (DAHA) in the physics of BPS states. Second, we introduce new invariants of torus knots and links called "hyperpolynomials" that address the "problem of negative coefficients" often encountered in DAHA-based approaches to homological invariants of torus knots and links. Furthermore, from the physics of BPS states and the spectra of singularities associated with Landau-Ginzburg potentials, we also describe a rich structure of differentials that act on homological knot invariants for exception…
We generalize the construction of geometric superpolynomials for unibranch plane curve singularities from our prior paper from rank one to any ranks. The new feature is the definition of counterparts of Jacobian factors (directly related to compactified Jacobians) for higher ranks, which is parallel to the classical passage from invertible bundles to vector bundles over algebraic curves. This is an entirely local theory, connected with affine Springer fibers for non-reduced (germs of) spectral curves. We conjecture and justify numerically the connection of our geometric polynomials in arbitrar…
The amplitudes of refined Chern-Simons (CS) theory, colored by antisymmetric (or symmetric) representations, conjecturally generate the Lambda^r- (or S^r-) colored triply graded homology of (n,m) torus knots. This paper is devoted to the generalization of Rosso-Jones formula to refined amplitudes, that involves non-trivial Gamma-factors -- expansion coefficients in the Macdonald basis. We derive from refined CS theory a linear recursion w.r.t. transformations (n,m) -> (n, n+m) and (n,m) -> (m,-n) that fully determines these factors. Applying this recursion to (n,nk+1) torus knots colored by an…
The generalized volume conjecture relates asymptotic behavior of the colored Jones polynomials to objects naturally defined on an algebraic curve, the zero locus of the A-polynomial $A(x,y)$. Another "family version" of the volume conjecture depends on a quantization parameter, usually denoted $q$ or $\hbar$; this quantum volume conjecture (also known as the AJ-conjecture) can be stated in a form of a q-difference equation that annihilates the colored Jones polynomials and $SL(2,\C)$ Chern-Simons partition functions. We propose refinements / categorifications of both conjectures that include a…
We introduce and compute a 2-parameter family deformation of the A-polynomial that encodes the color dependence of the superpolynomial and that, in suitable limits, reduces to various deformations of the A-polynomial studied in the literature. These special limits include the t-deformation which leads to the "refined A-polynomial" introduced in the previous work of the authors and the Q-deformation which leads, by the conjecture of Aganagic and Vafa, to the augmentation polynomial of knot contact homology. We also introduce and compute the quantum version of the super-A-polynomial, an operator…
We review a construction of a new class of algebraic curves, called super-A-polynomials, and their quantum generalizations. The super-A-polynomial is a two-parameter deformation of the A-polynomial known from knot theory or Chern-Simons theory with SL(2,C) gauge group. The two parameters of the super-A-polynomial encode, respectively, the t-deformation which leads to the "refined A-polynomial", and the Q-deformation which leads to the augmentation polynomial of knot contact homology. For a given knot, the super-A-polynomial encodes the asymptotics of the corresponding S^r-colored HOMFLY homolo…
Weaving knots $W(p, n)$ of type $(p, n)$ denote an infinite family of hyperbolic knots which have not been addressed by the knot theorists as yet. Unlike the well-known $(p,n)$ torus knots, we do not have a closed-form expression for HOMFLY-PT and the colored HOMFLY-PT for $W(p,n)$. In this paper, we confine to a hybrid generalization of $W(3,n)$ which we denote as $\hat{W}_3(m,n)$ and obtain a closed-form expression for HOMFLY-PT using the Reshitikhin and Turaev method involving $\mathcal R$-matrices. Further, we also compute $[r]$-colored HOMFLY-PT for $W(3,n)$. Surprisingly, we observe that…
The colored Jones polynomial is a knot invariant that plays a central role in low dimensional topology. We give a simple and an efficient algorithm to compute the colored Jones polynomial of any knot. Our algorithm utilizes the walks along a braid model of the colored Jones polynomial that was refined by Armond from the work of Huynh and Lê. The walk model gives rise to ordered words in a $q$-Weyl algebra which we address and study from multiple perspectives. We provide a highly optimized Mathematica implementation that exploits the modern features of the software. We include a performance ana…
We make a new attempt at the recently suggested program to express knot polynomials through topological vertices, which can be considered as a possible approach to the tangle calculus: we discuss the Macdonald deformation of the relation between the convolution of two topological vertices and the HOMFLY-PT invariant of the 4-component link $L_{8n8}$, which both depend on four arbitrary representations. The key point is that both of these are related to the Hopf polynomials in composite representations, which are in turn expressed through composite Schur functions. The latter are further expres…
