Asymptotics of Nahm sums at roots of unity

We give a formula for the radial asymptotics to all orders of the special $q$-hypergeometric series known as Nahm sums at complex roots of unity. This result is used in~\cite{CGZ} to prove one direction of Nahm's conjecturerelating the modularity of Nahm sums to the vanishing of a certain invariant in $K$-theory. The power series occurring in our asymptotic formula are identical to the conjectured asymptotics of the Kashaev invariant of a knot once we convert Neumann-Zagier data into Nahm data, suggesting a deep connectionbetween asymptotics of quantum knot invariants and asymptotics of Nahm sumsthat will be discussed further in a subsequent publication.<br

A diagrammatic approach to the AJ Conjecture

The AJ Conjecture relates a quantum invariant, a minimal order recursion for the colored Jones polynomial of a knot (known as the $\hat{A}$ polynomial), with a classical invariant, namely the defining polynomial $A$ of the \psl character variety of a knot. More precisely, the AJ Conjecture asserts that the set of irreducible factors of the $\hat{A}$-polynomial (after we set $q=1$, and excluding those of $L$-degree zero) coincides with those of the $A$-polynomial. In this paper, we introduce a version of the $\hat{A}$-polynomial that depends on a planar diagram of a knot (that conjecturally agrees with the $\hat{A}$-polynomial) and we prove that it satisfies one direction of the AJ Conjecture. Our proof uses the octahedral decomposition of a knot complement obtained from a planar projection of a knot, the $R$-matrix state sum formula for the colored Jones polynomial, and its certificate

The resurgent structure of quantum knot invariants

The asymptotic expansion of quantum knot invariants in complex Chern-Simons theory gives rise to factorially divergent formal power series. We conjecture that these series are resurgent functions whose Stokes utomorphism is given by a pair of matrices of $q$-series with integer coefficients, which are determined explicitly by the fundamental solutions of a pair of linear $q$-difference equations. We further conjecture that for a hyperbolic knot, a distinguished entry of those matrices equals to the Dimofte-Gaiotto-Gukov 3D-index, and thus is given by a counting of BPS states. We illustrate our conjectures explicitly by matching theoretically and numerically computed integers for the cases of the $4_1$ and the $5_2$ knots

Alexander quandle lower bounds for link genera

We denote by Q_F the family of the Alexander quandle structures supported by finite fields. For every k-component oriented link L, every partition P of L into h:=|P| sublinks, and every labelling z of such a partition by the natural numbers z_1,...,z_n, the number of X-colorings of any diagram of (L,z) is a well-defined invariant of (L,P), of the form q^(a_X(L,P,z)+1) for some natural number a_X(L,P,z). Letting X and z vary in Q_F and among the labellings of P, we define a derived invariant A_Q(L,P)=sup a_X(L,P,z). If P_M is such that |P_M|=k, we show that A_Q(L,P_M) is a lower bound for t(L), where t(L) is the tunnel number of L. If P is a "boundary partition" of L and g(L,P) denotes the infimum among the sums of the genera of a system of disjoint Seifert surfaces for the L_j's, then we show that A_Q(L,P) is at most 2g(L,P)+2k-|P|-1. We set A_Q(L):=A_Q(L,P_m), where |P_m|=1. By elaborating on a suitable version of a result by Inoue, we show that when L=K is a knot then A_Q(K) is bounded above by A(K), where A(K) is the breadth of the Alexander polynomial of K. However, for every g we exhibit examples of genus-g knots having the same Alexander polynomial but different quandle invariants A_Q. Moreover, in such examples A_Q provides sharp lower bounds for the genera of the knots. On the other hand, A_Q(L) can give better lower bounds on the genus than A(L), when L has at least two components. We show that in order to compute A_Q(L) it is enough to consider only colorings with respect to the constant labelling z=1. In the case when L=K is a knot, if either A_Q(K)=A(K) or A_Q(K) provides a sharp lower bound for the knot genus, or if A_Q(K)=1, then A_Q(K) can be realized by means of the proper subfamily of quandles X=(F_p,*), where p varies among the odd prime numbers.Comment: 36 pages; 16 figure

Super-A-polynomials for Twist Knots

We conjecture formulae of the colored superpolynomials for a class of twist knots $K_p$ where p denotes the number of full twists. The validity of the formulae is checked by applying differentials and taking special limits. Using the formulae, we compute both the classical and quantum super-A-polynomial for the twist knots with small values of p. The results support the categorified versions of the generalized volume conjecture and the quantum volume conjecture. Furthermore, we obtain the evidence that the Q-deformed A-polynomials can be identified with the augmentation polynomials of knot contact homology in the case of the twist knots.Comment: 22+16 pages, 16 tables and 5 figures; with a Maple program by Xinyu Sun and a Mathematica notebook in the ancillary files linked on the right; v2 change in appendix B, typos corrected and references added; v3 change in section 3.3; v4 corrections in Ooguri-Vafa polynomials and quantum super-A-polynomials for 7_2 and 8_1 are adde

Analyticity of the Free Energy of a Closed 3-Manifold

The free energy of a closed 3-manifold is a 2-parameter formal power series which encodes the perturbative Chern-Simons invariant (also known as the LMO invariant) of a closed 3-manifold with gauge group U(N) for arbitrary N. We prove that the free energy of an arbitrary closed 3-manifold is uniformly Gevrey-1. As a corollary, it follows that the genus g part of the free energy is convergent in a neighborhood of zero, independent of the genus. Our results follow from an estimate of the LMO invariant, in a particular gauge, and from recent results of Bender-Gao-Richmond on the asymptotics of the number of rooted maps for arbitrary genus. We illustrate our results with an explicit formula for the free energy of a Lens space. In addition, using the Painlevé differential equation, we obtain an asymptotic expansion for the number of cubic graphs to all orders, stengthening the results of Bender-Gao-Richmond

Quantum curves for Hitchin fibrations and the Eynard-Orantin theory

We generalize the topological recursion of Eynard-Orantin (2007) to the family of spectral curves of Hitchin fibrations. A spectral curve in the topological recursion, which is defined to be a complex plane curve, is replaced with a generic curve in the cotangent bundle $T^*C$ of an arbitrary smooth base curve $C$. We then prove that these spectral curves are quantizable, using the new formalism. More precisely, we construct the canonical generators of the formal $\hbar$-deformation family of $D$-modules over an arbitrary projective algebraic curve $C$ of genus greater than $1$, from the geometry of a prescribed family of smooth Hitchin spectral curves associated with the $SL(2,\mathbb{C})$-character variety of the fundamental group $\pi_1(C)$. We show that the semi-classical limit through the WKB approximation of these $\hbar$-deformed $D$-modules recovers the initial family of Hitchin spectral curves.Comment: 34 page

Bubbling Calabi-Yau geometry from matrix models

We study bubbling geometry in topological string theory. Specifically, we analyse Chern-Simons theory on both the 3-sphere and lens spaces in the presence of a Wilson loop insertion of an arbitrary representation. For each of these three manifolds we formulate a multi-matrix model whose partition function is the vev of the Wilson loop and compute the spectral curve. This spectral curve is the reduction to two dimensions of the mirror to a Calabi-Yau threefold which is the gravitational dual of the Wilson loop insertion. For lens spaces the dual geometries are new. We comment on a similar matrix model which appears in the context of Wilson loops in AdS/CFT.Comment: 30 pages; v.2 reference added, minor correction