BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Stavros Garoufalidis

Stavros Garoufalidis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GThep-thmath.QAmath.COmath.AGmath.CAgr-qcmath-phmath.MPSymbolic Computationhep-phmath.GRmath.NTq-algquant-ph

Catalog footprint

What is connected

65works
15topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

65 published item(s)

preprint2026arXiv

A relation between the Baseilhac-Benedetti and the Bonahon-Liu-Wong-Yang invariants

Baseilhac-Benedetti, following ideas of Kashaev, introduced invariants of pseudo-Anosov homeomorphisms of punctured hyperbolic surfaces that depend on a complex root of unity of odd order. Around the same time, Bonahon-Liu introduced another set of invariants of pseudo-Anosov homeomorphisms at roots of unity. A little later, Dimofte and the first author introduced invariants of cusped hyperbolic 3-manifolds at roots of unity using their geometric representation. In another effort, Bonahon-Wong-Yang introduced another set of invariants of pseudo-Anosov homeomorphisms at roots of unity. All these invariants are conjecturally closely related, and our aim is to prove a precise relation between the Baseilhac-Benedetti invariants, the Bonahon-Liu-Wong-Yang and the lesser-known abelian $\mathfrak{gl}_1$-invariants.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Counting essential surfaces in 3-manifolds

We consider the natural problem of counting isotopy classes of essential surfaces in 3-manifolds, focusing on closed essential surfaces in a broad class of hyperbolic 3-manifolds. Our main result is that the count of (possibly disconnected) essential surfaces in terms of their Euler characteristic always has a short generating function and hence has quasi-polynomial behavior. This gives remarkably concise formulae for the number of such surfaces, as well as detailed asymptotics. We give algorithms that allow us to compute these generating functions and the underlying surfaces, and apply these to almost 60,000 manifolds, providing a wealth of data about them. We use this data to explore the delicate question of counting only connected essential surfaces and propose some conjectures. Our methods involve normal and almost normal surfaces, especially the work of Tollefson and Oertel, combined with techniques pioneered by Ehrhart for counting lattice points in polyhedra with rational vertices. We also introduce a new way of testing if a normal surface in an ideal triangulation is essential that avoids cutting the manifold open along the surface; rather, we use almost normal surfaces in the original triangulation.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Modular $q$-holonomic modules

We introduce the notion of modular $q$-holonomic modules whose fundamental matrices define a cocycle with improved analyticity properties and show that the generalised $q$-hypergeometric equation, as well as three key $q$-holonomic modules of complex Chern--Simons theory are modular. This notion explains conceptually recent structural properties of quantum invariants of knots and 3-manifolds, and of exact and perturbative Chern--Simons theory, and in addition provides an effective method to solve the corresponding linear $q$-difference equations. An alternative title of our paper, emphasising the equations rather than the modules, is: Modular linear $q$-difference equations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the Quantum K-Theory of the Quintic

Quantum K-theory of a smooth projective variety at genus zero is a collection of integers that can be assembled into a generating series $J(Q,q,t)$ that satisfies a system of linear differential equations with respect to $t$ and $q$-difference equations with respect to $Q$. With some mild assumptions on the variety, it is known that the full theory can be reconstructed from its small $J$-function $J(Q,q,0)$ which, in the case of Fano manifolds, is a vector-valued $q$-hypergeometric function. On the other hand, for the quintic 3-fold we formulate an explicit conjecture for the small $J$-function and its small linear $q$-difference equation expressed linearly in terms of the Gopakumar-Vafa invariants. Unlike the case of quantum knot invariants, and the case of Fano manifolds, the coefficients of the small linear $q$-difference equations are not Laurent polynomials, but rather analytic functions in two variables determined linearly by the Gopakumar-Vafa invariants of the quintic. Our conjecture for the small $J$-function agrees with a proposal of Jockers-Mayr.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Peacock patterns and resurgence in complex Chern-Simons theory

The partition function of complex Chern-Simons theory on a 3-manifold with torus boundary reduces to a finite dimensional state-integral which is a holomorphic function of a complexified Planck's constant $τ$ in the complex cut plane and an entire function of a complex parameter $u$. This gives rise to a vector of factorially divergent perturbative formal power series whose Stokes rays form a peacock-like pattern in the complex plane. We conjecture that these perturbative series are resurgent, their trans-series involve two non-perturbative variables, their Stokes automorphism satisfies a unique factorization property and that it is given explicitly in terms of a fundamental matrix solution to a (dual) linear $q$-difference equation. We further conjecture that entries of the Stokes automorphism matrix are the 3D-indices of Dimofte-Gaiotto-Gukov. We provide proofs of our statements regarding the $q$-difference equations and their properties of their fundamental solutions and illustrate our conjectures regarding the Stokes matrices with numerical calculations for the two simplest hyperbolic $4_1$ and $5_2$ knots.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Periods, the meromorphic 3D-index and the Turaev--Viro invariant

The 3D-index of Dimofte-Gaiotto-Gukov is an interesting collection of $q$-series with integer coefficients parametrised by a pair of integers and associated to a 3-manifold with torus boundary. In this note, we explain the structure of the asymptotic expansions of the 3D-index when $q=e^{2πiτ}$ and $τ$ tends to zero (to all orders and with exponentially small terms included), and discover two phenomena: (a) when $τ$ tends to zero on a ray near the positive real axis, the horizontal asymptotics of the meromorphic 3D-index match to all orders with the asymptotics of the Turaev-Viro invariant of a knot, in particular explaining the Volume Conjecture of Chen-Yang from first principles, (b) when $τ\to 0$ on the positive imaginary axis, the vertical asymptotics of the 3D-index involves periods of a plane curve (the $A$-polynomial), as opposed to algebraic numbers, explaining some predictions of Hodgson-Kricker-Siejakowski and leading to conjectural identities between periods of the $A$-polynomial of a knot and integrals of the Euler beta-function.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The descendant colored Jones polynomials

We discuss two realizations of the colored Jones polynomials of a knot, one from an unnoticed work of the second author in 1994 on quantum R-matrices at roots of unity obtained from solutions of the pentagon identity, and another one from recent work of D. Zagier and the first author regarding the Refined Quantum Modularity Conjecture, more precisely, the mysterious top row of a matrix of conjectured knot invariants.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The descendants of the 3d-index

In the study of 3d-3d correspondence occurs a natural $q$-Weyl algebra associated to an ideal triangulation of a 3-manifold with torus boundary components, and a module of it. We study the action of this module on the (rotated) 3d-index of Dimofte-Gaiotto-Gukov and we conjecture some structural properties: bilinear factorization in terms of holomorphic blocks, pair of linear $q$-difference equations, the determination of the 3d-index in terms of a finite size matrix of rational functions and the asymptotic expansion of the $q$-series as $q$ tends to 1 to all orders. We illustrate our conjectures with computations for the case of the three simplest hyperbolic knots.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The ADO Invariants are a q-Holonomic Family

We investigate the $q$-holonomic properties of a class of link invariants based on quantum group representations with vanishing quantum dimensions, motivated by the search for the invariants' realization in physics. Some of the best known invariants of this type, constructed from `typical' representations of the unrolled quantum group $\mathcal U^H_{ζ_{2r}}(\mathfrak{sl}_2)$ at a $2r$-th root of unity, were introduced by Akutsu-Deguchi-Ohtsuki (ADO). We prove that the ADO invariants for $r\geq 2$ are a $q$-holonomic family, implying in particular that they satisfy recursion relations that are independent of $r$. In the case of a knot, we prove that the $q$-holonomic recursion ideal of the ADO invariants is contained in the recursion ideal of the colored Jones polynomials, the subject of the celebrated AJ Conjecture. (Combined with a recent result of S. Willetts, this establishes an isomorphism of the ADO and Jones recursion ideals. Our results also confirm a recent physically-motivated conjecture of Gukov-Hsin-Nakajima-Park-Pei-Sopenko.)

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The FKB invariant is the 3d index

We identify the q-series associated to an 1-efficient ideal triangulation of a cusped hyperbolic 3-manifold by Frohman and Kania-Bartoszynska with the 3D-index of Dimofte-Gaiotto-Gukov. This implies the topological invariance of the $q$-series of Frohman and Kania-Bartoszynska for cusped hyperbolic 3-manifolds. Conversely, we identify the tetrahedron index of Dimofte-Gaiotto-Gukov as a limit of quantum 6j-symbols.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A construction of the graphic matroid from the lattice of integer flows

The lattice of integer flows of a graph is known to determine the graph up to 2-isomorphism (work of Su--Wagner and Caporaso--Viviani). In this paper we give an algorithmic construction of the graphic matroid $\calM(G)$ of a graph $G$, given its lattice of integer flows $\calF(G)$. The algorithm can then be applied to compute any other 2-isomorphism invariants (that is, matroid invariants) of $G$ from $\calF(G)$. Our method is based on a result of Amini which describes the relationship between the geometry of the Voronoi cell of $\calF(G)$ and the structure of $G$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Constructing 1-cusped isospectral non-isometric hyperbolic 3-manifolds

We construct infinitely many examples of pairs of isospectral but non-isometric $1$-cusped hyperbolic $3$-manifolds. These examples have infinite discrete spectrum and the same Eisenstein series. Our constructions are based on an application of Sunada's method in the cusped setting, and so in addition our pairs are finite covers of the same degree of a 1-cusped hyperbolic 3-orbifold (indeed manifold) and also have the same complex length-spectra. Finally we prove that any finite volume hyperbolic 3-manifold isospectral to the figure-eight knot complement is homeomorphic to the figure-eight knot complement.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Non-peripheral ideal decompositions of alternating knots

An ideal triangulation $\mathcal{T}$ of a hyperbolic 3-manifold $M$ with one cusp is non-peripheral if no edge of $\mathcal{T}$ is homotopic to a curve in the boundary torus of $M$. For such a triangulation, the gluing and completeness equations can be solved to recover the hyperbolic structure of $M$. A planar projection of a knot gives four ideal cell decompositions of its complement (minus 2 balls), two of which are ideal triangulations that use 4 (resp., 5) ideal tetrahedra per crossing. Our main result is that these ideal triangulations are non-peripheral for all planar, reduced, alternating projections of hyperbolic knots. Our proof uses the small cancellation properties of the Dehn presentation of alternating knot groups, and an explicit solution to their word and conjugacy problems. In particular, we describe a planar complex that encodes all geodesic words that represent elements of the peripheral subgroup of an alternating knot group. This gives a polynomial time algorithm for checking if an element in an alternating knot group is peripheral. Our motivation for this work comes from the Volume Conjecture for knots.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Quadratic integer programming and the slope conjecture

The Slope Conjecture relates a quantum knot invariant, (the degree of the colored Jones polynomial of a knot) with a classical one (boundary slopes of incompressible surfaces in the knot complement). The degree of the colored Jones polynomial can be computed by a suitable (almost tight) state sum and the solution of a corresponding quadratic integer programming problem. We illustrate this principle for a 2-parameter family of 2-fusion knots. Combined with the results of Dunfield and the first author, this confirms the Slope Conjecture for the 2-fusion knots.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The 3D-index and normal surfaces

Dimofte, Gaiotto and Gukov introduced a powerful invariant, the 3D-index, associated to a suitable ideal triangulation of a 3-manifold with torus boundary components. The 3D-index is a collection of formal power series in $q^{1/2}$ with integer coefficients. Our goal is to explain how the 3D-index is a generating series of normal surfaces associated to the ideal triangulation. This shows a connection of the 3D-index with classical normal surface theory, and fulfills a dream of constructing topological invariants of 3-manifolds using normal surfaces.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Evaluation of state integrals at rational points

Multi-dimensional state-integrals of products of Faddeev's quantum dilogarithms arise frequently in Quantum Topology, quantum Teichmüller theory and complex Chern--Simons theory. Using the quasi-periodicity property of the quantum dilogarithm, we evaluate 1-dimensional state-integrals at rational points and express the answer in terms of the Rogers dilogarithm, the cyclic (quantum) dilogarithm and finite state-sums at roots of unity. We illustrate our results with the evaluation of the state-integrals of the $4_1$, $5_2$ and $(-2,3,7)$ pretzel knots at rational points.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Exact computation of the n-loop invariants of knots

The loop invariants of Dimofte-Garoufalidis is a formal power series with arithmetically interesting coefficients that conjecturally appears in the asymptotics of the Kashaev invariant of a knot to all orders in $1/N$. We develop methods implemented in SnapPy that compute the first 6 coefficients of the formal power series of a knot. We give examples that illustrate our method and its results.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Flag algebras and the stable coefficients of the Jones polynomial

We study the structure of the stable coefficients of the Jones polynomial of an alternating link. We start by identifying the first four stable coefficients with polynomial invariants of a (reduced) Tait graph of the link projection. This leads us to introduce a free polynomial algebra of invariants of graphs whose elements give invariants of alternating links which strictly refine the first four stable coefficients. We conjecture that all stable coefficients are elements of this algebra, and give experimental evidence for the fifth and sixth stable coefficient. We illustrate our results in tables of all alternating links with at most 10 crossings and all irreducible planar graphs with at most 6 vertices.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quantum modularity and complex Chern-Simons theory

The Quantum Modularity Conjecture of Zagier predicts the existence of a formal power series with arithmetically interesting coefficients that appears in the asymptotics of the Kashaev invariant at each root of unity. Our goal is to construct a power series from a Neumann-Zagier datum (i.e., an ideal triangulation of the knot complement and a geometric solution to the gluing equations) and a complex root of unity $ζ$. We prove that the coefficients of our series lie in the trace field of the knot, adjoined a complex root of unity. We conjecture that our series are those that appear in the Quantum Modularity Conjecture and confirm that they match the numerical asymptotics of the Kashaev invariant (at various roots of unity) computed by Zagier and the first author. Our construction is motivated by the analysis of singular limits in Chern-Simons theory with gauge group $SL(2,C)$ at fixed level $k$, where $ζ^k=1$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The 3D index of an ideal triangulation and angle structures

The 3D index of Dimofte-Gaiotto-Gukov a partially defined function on the set of ideal triangulations of 3-manifolds with $r$ torii boundary components. For a fixed $2r$ tuple of integers, the index takes values in the set of $q$-series with integer coefficients. Our goal is to give an axiomatic definition of the tetrahedron index, and a proof that the domain of the 3D index consists precisely of the set of ideal triangulations that support an index structure. The latter is a generalization of a strict angle structure. We also prove that the 3D index is invariant under 3-2 moves, but not in general under 2-3 moves.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A generating series for Murakami-Ohtsuki-Yamada graph evaluations

Murakami-Ohtsuki-Yamada introduced an evaluation of certain oriented planar trivalent graphs with colored edges. This evaluation plays a key role in the evaluation of the colored HOMFLY polynomial of a link in 3-space and its Khovanov-Rozansky categorification. Our goal is is to give a generating series formula for the evaluation of MOY graphs, which may be useful in categorification, and in the study of q-holonomicity of the colored HOMFLY polynomial.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Ptolemy field of $3$-manifold-representations

The Ptolemy coordinates for boundary-unipotent SL(n,C)-representations of a 3-manifold group were introduced in Garoufalidis-Thurston-Zickert inspired by the A-coordinates on higher Teichmüller space due to Fock and Goncharov. In this paper, we define the Ptolemy field of a (generic) PSL(2,\C)-representation and prove that it coincides with the trace field of the representation. This gives an efficient algorithm to compute the trace field of a cusped hyperbolic manifold.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

1-efficient triangulations and the index of a cusped hyperbolic 3-manifold

In this paper we will promote the 3D index of an ideal triangulation T of an oriented cusped 3-manifold M (a collection of q-series with integer coefficients, introduced by Dimofte-Gaiotto-Gukov) to a topological invariant of oriented cusped hyperbolic 3-manifolds. To achieve our goal we show that (a) T admits an index structure if and only if T is 1-efficient and (b) if M is hyperbolic, it has a canonical set of 1-efficient ideal triangulations related by 2-3 and 0-2 moves which preserve the 3D index. We illustrate our results with several examples.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A stability conjecture for the colored Jones polynomial

We formulate a stability conjecture for the coefficients of the colored Jones polynomial of a knot, colored by irreducible representations in a fixed ray of a simple Lie algebra, and verify it for all torus knots and all simple Lie algebras of rank $2$. Our conjecture is motivated by a structure theorem for the degree and the coefficients of a $q$-holonomic sequence of polynomials given in [Ga2] and by a stability theorem of the colored Jones polynomial of an alternating knot given in \cite{GL2}. We illustrate our results with sample computations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Alternating knots, planar graphs and q-series

Recent advances in Quantum Topology assign $q$-series to knots in at least three different ways. The $q$-series are given by generalized Nahm sums (i.e., special $q$-hypergeometric sums) and have unknown modular and asymptotic properties. We give an efficient method to compute those $q$-series that come from planar graphs (i.e., reduced Tait graphs of alternating links) and compute several terms of those series for all graphs with at most 8 edges drawing several conclusions. In addition, we give a graph-theory proof of a theorem of Dasbach-Lin which identifies the coefficient of $q^k$ in those series for $k=0,1,2$ in terms of polynomials on the number of vertices, edges and triangles of the graph. Updated tables of data.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

From state integrals to q-series

It is well-known to the experts that multi-dimensional state integrals of products of Faddeev's quantum dilogarithm which arise in Quantum Topology can be written as finite sums of products of basic hypergeometric series in q=e^{2πiτ} and \tilde{q}=e^{-2πi/τ}. We illustrate this fact by giving a detailed proof for a family of one-dimensional integrals which includes state-integral invariants of 4_1 and 5_2 knots.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Irreducibility of q-difference operators and the knot 7_4

Our goal is to compute the minimal-order recurrence of the colored Jones polynomial of the 7_4 knot, as well as for the first four double twist knots. As a corollary, we verify the AJ Conjecture for the simplest knot 7_4 with reducible non-abelian SL(2,C) character variety. To achieve our goal, we use symbolic summation techniques of Zeilberger's holonomic systems approach and an irreducibility criterion for q-difference operators. For the latter we use an improved version of the qHyper algorithm of Abramov-Paule-Petkovsek to show that a given q-difference operator has no linear right factors. En route, we introduce exterior power Adams operations on the ring of bivariate polynomials and on the corresponding affine curves.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The complex volume of SL(n,C)-representations of 3-manifolds

For a compact 3-manifold M with arbitrary (possibly empty) boundary, we give a parametrization of the set of conjugacy classes of boundary-unipotent representations of the fundamental group of M into SL(n,C). Our parametrization uses Ptolemy coordinates, which are inspired by coordinates on higher Teichmueller spaces due to Fock and Goncharov. We show that a boundary-unipotent representation determines an element in Neumann's extended Bloch group, and use this to obtain an efficient formula for the Cheeger-Chern-Simons invariant, and in particular for the volume. Computations for the census manifolds show that boundary-unipotent representations are abundant, and numerical comparisons with census volumes, suggest that the volume of a representation is an integral linear combination of volumes of hyperbolic 3-manifolds. This is in agreement with a conjecture of Walter Neumann, stating that the Bloch group is generated by hyperbolic manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The symplectic properties of the PGL(n,C)-gluing equations

In a previous article we studied PGL(n,C)-representations of a 3-manifold via a generalization of Thurston's gluing equations. Neumann has proved some symplectic properties of Thurston's gluing equations that play an important role in recent developments of exact and perturbative Chern-Simons theory. In this paper, we prove the symplectic properties of the PGL(n,C)-gluing equations for all ideal triangulations of compact oriented 3-manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Analyticity of the planar limit of a matrix model

Using Chebyshev polynomials combined with some mild combinatorics, we provide a new formula for the analytical planar limit of a random matrix model with a one-cut potential $V$. For potentials $V(x)=x^{2}/2-\sum_{n\ge1}a_{n}x^{n}/n$, as a power series in all $a_{n}$, the formal Taylor expansion of the analytic planar limit is exactly the formal planar limit. In the case $V$ is analytic in infinitely many variables $\{a_{n}\}_{n\ge1}$ (on the appropriate spaces), the planar limit is also an analytic function in infinitely many variables and we give quantitative versions of where this is defined. Particularly useful in enumerative combinatorics are the gradings of $V$, $V_{t}(x)=x^{2}/2-\sum_{n\ge1}a_{n}t^{n/2}x^{n}/n$ and $V_{t}(x)=x^{2}/2-\sum_{n\ge3}a_{n}t^{n/2 -1}x^{n}/n$. The associated planar limits $F(t)$ as functions of $t$ count planar diagram sorted by the number of edges respectively faces. We point out a method of computing the asymptotic of the coefficients of $F(t)$ using the combination of the \emph{wzb} method and the resolution of singularies. This is illustrated in several computations revolving around the important extreme potential $V_{t}(x)=x^{2}/2+\log(1-\sqrt{t}x)$ and its variants. This particular example gives a quantitive and sharp answer to a conjecture of t'Hoofts which states that if the potential is analytic, the planar limit is also analytic.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Behavior of knot invariants under genus 2 mutation

Genus 2 mutation is the process of cutting a 3-manifold along an embedded closed genus 2 surface, twisting by the hyper-elliptic involution, and gluing back. This paper compares genus 2 mutation with the better-known Conway mutation in the context of knots in the 3-sphere. Despite the fact that any Conway mutation can be achieved by a sequence of at most two genus 2 mutations, the invariants that are preserved by genus 2 mutation are a proper subset of those preserved by Conway mutation. In particular, while the Alexander and Jones polynomials are preserved by genus 2 mutation, the HOMFLY-PT polynomial is not. In the case of the sl_2-Khovanov homology, which may or may not be invariant under Conway mutation, we give an example where genus 2 mutation changes this homology. Finally, using these techniques, we exhibit examples of knots with the same same colored Jones polynomials, HOMFLY-PT polynomial, Kauffman polynomial, signature and volume, but different Khovanov homology.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Gluing equations for PGL(n,C)-representations of 3-manifolds

In a previous paper, we parametrized boundary-unipotent representations of a 3-manifold group into SL(n,C) using Ptolemy coordinates, which were inspired by A-coordinates on higher Teichmüller space due to Fock and Goncharov. In this paper, we parametrize representations into PGL(n,C) using shape coordinates which are a 3-dimensional analogue of Fock and Goncharov's X-coordinates. These coordinates satisfy equations generalizing Thurston's gluing equations. These equations are of Neumann-Zagier type and satisfy symplectic relations with applications in quantum topology. We also explore a duality between the Ptolemy coordinates and the shape coordinates.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Nahm sums, stability and the colored Jones polynomial

Nahm sums are $q$-series of a special hypergeometric type that appear in character formulas in Conformal Field Theory, and give rise to elements of the Bloch group, and have interesting modularity properties. In our paper, we show how Nahm sums arise naturally in Quantum Knot Theory, namely we prove the stability of the coefficients of the colored Jones polynomial of an alternating link and present a Nahm sum formula for the resulting power series, defined in terms of a reduced diagram of the alternating link. The Nahm sum formula comes with a computer implementation, illustrated in numerous examples of proven or conjectural identities among $q$-series.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The colored HOMFLY polynomial is q-holonomic

We prove that the colored HOMFLY polynomial of a link, colored by symmetric or exterior powers of the fundamental representation, is q-holonomic with respect to the color parameters. As a result, we obtain the existence of an (a,q) super-polynomial of all knots in 3-space. Our result has implications on the quantization of the SL(2,C) character variety of knots using ideal triangulations or the topological recursion, and motivates questions on the web approach to representation theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The Newton polygon of a recurrence sequence of polynomials and its role in TQFT

The paper contains a combinatorial theorem (the sequence of Newton polygons of a reccurent sequence of polynomials is quasi-linear) and two applications of it in classical and quantum topology, namely in the behavior of the $A$-polynomial and a fixed quantum invariant (such as the Jones polynomial) under filling. Our combinatorial theorem, which complements results of Calegari-Walker \cite{CW} and the author \cite{Ga4}, occupies the bulk of the paper and its proof requires the Lech-Mahler-Skolem theorem of $p$-adic analytic number theory combined with basic principles in polyhedral and tropical geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The non-commutative A-polynomial of (-2,3,n) pretzel knots

We study q-holonomic sequences that arise as the colored Jones polynomial of knots in 3-space. The minimal-order recurrence for such a sequence is called the (non-commutative) A-polynomial of a knot. Using the "method of guessing", we obtain this polynomial explicitly for the K_p = (-2, 3, 3+2p) pretzel knots for p = -5, ..., 5. This is a particularly interesting family since the pairs (K_p, -K_{-p}) are geometrically similar (in particular, scissors congruent) with similar character varieties. Our computation of the non-commutative A-polynomial (a) complements the computation of the A-polynomial of the pretzel knots done by the first author and Mattman, (b) supports the AJ Conjecture for knots with reducible A-polynomial and (c) numerically computes the Kashaev invariant of pretzel knots in linear time. In a later publication, we will use the numerical computation of the Kashaev invariant to numerically verify the Volume Conjecture for the above mentioned pretzel knots.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The quantum content of the gluing equations

The gluing equations of a cusped hyperbolic 3-manifold $M$ are a system of polynomial equations in the shapes of an ideal triangulation $\calT$ of $M$ that describe the complete hyperbolic structure of $M$ and its deformations. Given a Neumann-Zagier datum (comprising the shapes together with the gluing equations in a particular canonical form) we define a formal power series with coefficients in the invariant trace field of $M$ that should (a) agree with the asymptotic expansion of the Kashaev invariant to all orders, and (b) contain the nonabelian Reidemeister-Ray-Singer torsion of $M$ as its first subleading "1-loop" term. As a case study, we prove topological invariance of the 1-loop part of the constructed series and extend it into a formal power series of rational functions on the $\PSL(2,\BC)$ character variety of $M$. We provide a computer implementation of the first three terms of the series using the standard {\tt SnapPy} toolbox and check numerically the agreement of our torsion with the Reidemeister-Ray-Singer for all 59924 hyperbolic knots with at most 14 crossings. Finally, we explain how the definition of our series follows from the quantization of 3d hyperbolic geometry, using principles of Topological Quantum Field Theory. Our results have a straightforward extension to any 3-manifold $M$ with torus boundary components (not necessarily hyperbolic) that admits a regular ideal triangulation with respect to some $\PSL(2,\BC)$ representation.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Twisting q-holonomic sequences by complex roots of unity

A sequence $f_n(q)$ is $q$-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in $q$ and $q^n$. Our main theorems state that $q$-holonomicity is preserved under twisting, i.e., replacing $q$ by $ωq$ where $ω$ is a complex root of unity, and under the substitution $q \to q^α$ where $α$ is a rational number. Our proofs are constructive, work in the multivariate setting of $\partial$-finite sequences and are implemented in the Mathematica package HolonomicFunctions. Our results are illustrated by twisting natural $q$-holonomic sequences which appear in quantum topology, namely the colored Jones polynomial of pretzel knots and twist knots. The recurrence of the twisted colored Jones polynomial can be used to compute the asymptotics of the Kashaev invariant of a knot at an arbitrary complex root of unity.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Asymptotics of classical spin networks

A spin network is a cubic ribbon graph labeled by representations of $\mathrm{SU}(2)$. Spin networks are important in various areas of Mathematics (3-dimensional Quantum Topology), Physics (Angular Momentum, Classical and Quantum Gravity) and Chemistry (Atomic Spectroscopy). The evaluation of a spin network is an integer number. The main results of our paper are: (a) an existence theorem for the asymptotics of evaluations of arbitrary spin networks (using the theory of $G$-functions), (b) a rationality property of the generating series of all evaluations with a fixed underlying graph (using the combinatorics of the chromatic evaluation of a spin network), (c) rigorous effective computations of our results for some $6j$-symbols using the Wilf-Zeilberger theory, and (d) a complete analysis of the regular Cube $12j$ spin network (including a non-rigorous guess of its Stokes constants), in the appendix.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Asymptotics of quantum spin networks at a fixed root of unity

A classical spin network consists of a ribbon graph (i.e., an abstract graph with a cyclic ordering of the vertices around each edge) and an admissible coloring of its edges by natural numbers. The standard evaluation of a spin network is an integer number. In a previous paper, we proved an existence theorem for the asymptotics of the standard evaluation of an arbitrary classical spin network when the coloring of its edges are scaled by a large natural number. In the present paper, we extend the results to the case of an evaluation of quantum spin networks of arbitrary valency at a fixed root of unity. As in the classical case, our proofs use the theory of $G$-functions of André, together with some new results concerning holonomic and $q$-holonomic sequences of Wilf-Zeilberger.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Asymptotics of the colored Jones function of a knot

To a knot in 3-space, one can associate a sequence of Laurent polynomials, whose $n$th term is the $n$th colored Jones polynomial. The paper is concerned with the asymptotic behavior of the value of the $n$th colored Jones polynomial at $e^{\a/n}$, when $\a$ is a fixed complex number and $n$ tends to infinity. We analyze this asymptotic behavior to all orders in $1/n$ when $\a$ is a sufficiently small complex number. In addition, we give upper bounds for the coefficients and degree of the $n$th colored Jones polynomial, with applications to upper bounds in the Generalized Volume Conjecture. Work of Agol-Dunfield-Storm-W.Thurston implies that our bounds are asymptotically optimal. Moreover, we give results for the Generalized Volume Conjecture when $\a$ is near $2 πi$. Our proofs use crucially the cyclotomic expansion of the colored Jones function, due to Habiro.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Asymptotics of the instantons of Painleve I

The 0-instanton solution of Painlevé I is a sequence $(u_{n,0})$ of complex numbers which appears universally in many enumerative problems in algebraic geometry, graph theory, matrix models and 2-dimensional quantum gravity. The asymptotics of the 0-instanton $(u_{n,0})$ for large $n$ were obtained by the third author using the Riemann-Hilbert approach. For $k=0,1,2,...$, the $k$-instanton solution of Painlevé I is a doubly-indexed sequence $(u_{n,k})$ of complex numbers that satisfies an explicit quadratic non-linear recursion relation. The goal of the paper is three-fold: (a) to compute the asymptotics of the 1-instanton sequence $(u_{n,1})$ to all orders in $1/n$ by using the Riemann-Hilbert method, (b) to present formulas for the asymptotics of $(u_{n,k})$ for fixed $k$ and to all orders in $1/n$ using resurgent analysis, and (c) to confirm numerically the predictions of resurgent analysis. We point out that the instanton solutions display a new type of Stokes behavior, induced from the tritronquée Painlevé transcendents, and which we call the induced Stokes phenomenon. The asymptotics of the 2-instanton and beyond exhibits new phenomena not seen in 0 and 1-instantons, and their enumerative context is at present unknown.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Incompressibility criteria for spun-normal surfaces

We give a simple sufficient condition for a spun-normal surface in an ideal triangulation to be incompressible, namely that it is a vertex surface with non-empty boundary which has a quadrilateral in each tetrahedron. While this condition is far from being necessary, it is powerful enough to give two new results: the existence of alternating knots with non-integer boundary slopes, and a proof of the Slope Conjecture for a large class of 2-fusion knots. While the condition and conclusion are purely topological, the proof uses the Culler-Shalen theory of essential surfaces arising from ideal points of the character variety, as reinterpreted by Thurston and Yoshida. The criterion itself comes from the work of Kabaya, which we place into the language of normal surface theory. This allows the criterion to be easily applied, and gives the framework for proving that the surface is incompressible. We also explore which spun-normal surfaces arise from ideal points of the deformation variety. In particular, we give an example where no vertex or fundamental surface arises in this way.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Rationality of the SL(2,C)-Reidemeister torsion in dimension 3

If $M$ is a finite volume complete hyperbolic 3-manifold with one cusp and no 2-torsion, the geometric component $X_M$ of its $\SL(2,\BC)$-character variety is an affine complex curve, which is smooth at the discrete faithful representation $ρ_0$. Porti defined a non-abelian Reidemeister torsion in a neighborhood of $ρ_0$ in $X_M$ and observed that it is an analytic map, which is the germ of a unique rational function on $X_M$. In the present paper we prove that (a) the torsion of a representation lies in at most quadratic extension of the invariant trace field of the representation, and (b) the existence of a polynomial relation of the torsion of a representation and the trace of the meridian or the longitude. We postulate that the coefficients of the $1/N^k$-asymptotics of the Parametrized Volume Conjecture for $M$ are elements of the field of rational functions on $X_M$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The $A$-polynomial of the $(-2,3,3+2n)$ pretzel knots

We show that the A-polynomial $A_n$ of the 1-parameter family of pretzel knots $K_n=(-2,3,3+2n)$ satisfies a linear recursion relation of order 4 with explicit constant coefficients and initial conditions. Our proof combines results of Tamura-Yokota and the second author. As a corollary, we show that the $A$-polynomial of $K_n$ and the mirror of $K_{-n}$ are related by an explicit $\GL(2,\BZ)$ action. We leave open the question of whether or not this action lifts to the quantum level.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The degree of a $q$-holonomic sequence is a quadratic quasi-polynomial

A sequence of rational functions in a variable $q$ is $q$-holonomic if it satisfies a linear recursion with coefficients polynomials in $q$ and $q^n$. We prove that the degree of a $q$-holonomic sequence is eventually a quadratic quasi-polynomial. Our proof uses differential Galois theory (adapting proofs regarding holonomic $D$-modules to the case of $q$-holonomic $D$-modules) combined with the Lech-Mahler-Skolem theorem from number theory. En route, we use the Newton polygon of a linear $q$-difference equation, and introduce the notion of regular-singular $q$-difference equation and a WKB basis of solutions of a linear $q$-difference equation at $q=0$. We then use the Lech-Mahler-Skolem theorem to study the vanishing of their leading term. Unlike the case of $q=1$, there are no analytic problems regarding convergence of the WKB solutions.Our proofs are constructive, and they are illustrated by an explicit example.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The SL_3 Jones polynomial of the trefoil: a case study of $q$-holonomic sequences

The SL_3 colored Jones polynomial of the trefoil knot is a $q$-holonomic sequence of two variables with natural origin, namely quantum topology. The paper presents an explicit set of generators for the annihilator ideal of this $q$-holonomic sequence as a case study. On the one hand, our results are new and useful to quantum topology: this is the first example of a rank 2 Lie algebra computation concerning the colored Jones polynomial of a knot. On the other hand, this work illustrates the applicability and computational power of the employed computer algebra methods.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Knots and tropical curves

Using elementary ideas from Tropical Geometry, we assign a a tropical curve to every $q$-holonomic sequence of rational functions. In particular, we assign a tropical curve to every knot which is determined by the Jones polynomial of the knot and its parallels. The topical curve explains the relation between the AJ Conjecture and the Slope Conjecture (which relate the Jones polynomial of a knot and its parallels to the $\SL(2,\BC)$ character variety and to slopes of incompressible surfaces). Our discussion predicts that the tropical curve is dual to a Newton subdivision of the $A$-polynomial of the knot. We compute explicitly the tropical curve for the $4_1$, $5_2$ and $6_1$ knots and verify the above prediction.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

q-Terms, singularities and the extended Bloch group

Our paper originated from a generalization of the Volume Conjecture to multisums of $q$-hypergeometric terms. This generalization was sketched by Kontsevich in a problem list in Aarhus University in 2006; \cite{Ko}. We introduce the notion of a $q$-hypergeometric term (in short, $q$-term). The latter is a product of ratios of $q$-factorials in linear forms in several variables. In the first part of the paper, we show how to construct elements of the Bloch group (and its extended version) given a \qterm. Their image under the Bloch-Wigner map or the Rogers dilogarithm is a finite set of periods of weight 2, in the sense of Kontsevich-Zagier. In the second part of the paper we introduce the notion of a special $q$-term, its corresponding sequence of polynomials, and its generating series. Examples of special $q$-terms come naturally from Quantum Topology, and in particular from planar projections of knots. The two parts are tied together by a conjecture that relates the singularities of the generating series of a special $q$-term with the periods of the corresponding elements of the extended Bloch group. In some cases (such as the $4_1$ knot), the conjecture is known.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Resurgence of the Kontsevich-Zagier power series

The paper is concerned with the Kontsevich-Zagier formal power series $$ f(q)=\sum_{n=0}^\infty (1-q)... (1-q^n) $$ and its analytic properties. To begin with, we give an explicit formula for the Borel transform of the associated formal power series $F(x)=e^{-1/(24x)}f(e^{-1/x})$ from which its analytic continuation, its singularities and their structure can be manifestly determined. This gives rise to right/left and median summation of the original power series. These sums, which are well-defined in the open right half-plane are expressed by an integral formula involving the Dedekind eta function. The median sum can also be expressed as a series involving the complex error function. Moreover, it is shown using results of Zagier that the limiting values at $-1/(2 πi \a)$ for rational numbers $\a$ coincide with $F(-1/(2 πi \a))$. One motivation for studying the series $f(q)$ is Quantum Topology, which assigns numerical invariants to knotted 3-dimensional objects. Motivated by our results, we formulate a resurgence conjecture for the formal power series of knotted objects, which we prove in the case of the trefoil knot and the Poincare homology sphere, and more generally for torus knots and Seifert fibered 3-manifolds. In a subsequent publication we will study resurgence for a class of power series that includes the quantum invariants of the simplest hyperbolic $4_1$ knot.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Sum-integral interpolators and the Euler-Maclaurin formula for polytopes

A local lattice point counting formula, and more generally a local Euler-Maclaurin formula follow by comparing two natural families of meromorphic functions on the dual of a rational vector space $V$, namely the family of exponential sums (S) and the family of exponential integrals (I) parametrized by the set of rational polytopes in $V$. The paper introduces the notion of an interpolator between these two families of meromorphic functions. We prove that every rigid complement map in $V$ gives rise to an effectively computable \SI-interpolator (and a local Euler-MacLaurin formula), an \IS-interpolator (and a reverse local Euler-MacLaurin formula) and an \ISo-interpolator. Rigid complement maps can be constructed by choosing an inner product on $V$ or by choosing a complete flag in $V$. The corresponding interpolators generalize and unify the work of Berline-Vergne, Pommersheim-Thomas, and Morelli.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Jones slopes of a knot

The paper introduces Slope Conjecture which relates the degree of the Jones polynomial of a knot and its parallels with the slopes of incompressible surfaces in the knot complement. More precisely, we introduce two knot invariants, the Jones slopes (a finite set of rational numbers) and the Jones period (a natural number) of a knot in 3-space. We formulate a number of conjectures for these invariants and verify them by explicit computations for the class of alternating knots, torus knots, the knots with at most 9 crossings, and the $(-2,3,n)$ pretzel knots.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

A non-commutative formula for the colored Jones function

The colored Jones function of a knot is a sequence of Laurent polynomials that encodes the Jones polynomial of a knot and its parallels. It has been understood in terms of representations of quantum groups and Witten gave an intrinsic quantum field theory interpretation of the colored Jones function as the expectation value of Wilson loops of a 3-dimensional gauge theory, the Chern-Simons theory. We present the colored Jones function as an evaluation of the inverse of a non-commutative fermionic partition function. This result is in the form familiar in quantum field theory, namely the inverse of a generalized determinant. Our formula also reveals a direct relation between the Alexander polynomial and the colored Jones function of a knot and immediately implies the extensively studied Melvin-Morton-Rozansky conjecture, first proved by Bar-Natan and the first author about ten years ago.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Experimental evidence for the Volume Conjecture for the simplest hyperbolic non-2-bridge knot

Loosely speaking, the Volume Conjecture states that the limit of the n-th colored Jones polynomial of a hyperbolic knot, evaluated at the primitive complex n-th root of unity is a sequence of complex numbers that grows exponentially. Moreover, the exponential growth rate is proportional to the hyperbolic volume of the knot. We provide an efficient formula for the colored Jones function of the simplest hyperbolic non-2-bridge knot, and using this formula, we provide numerical evidence for the Hyperbolic Volume Conjecture for the simplest hyperbolic non-2-bridge knot.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

The colored Jones function is q-holonomic

A function of several variables is called holonomic if, roughly speaking, it is determined from finitely many of its values via finitely many linear recursion relations with polynomial coefficients. Zeilberger was the first to notice that the abstract notion of holonomicity can be applied to verify, in a systematic and computerized way, combinatorial identities among special functions. Using a general state sum definition of the colored Jones function of a link in 3-space, we prove from first principles that the colored Jones function is a multisum of a q-proper-hypergeometric function, and thus it is q-holonomic. We demonstrate our results by computer calculations.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

A rational noncommutative invariant of boundary links

In 1999, Rozansky conjectured the existence of a rational presentation of the Kontsevich integral of a knot. Roughly speaking, this rational presentation of the Kontsevich integral would sum formal power series into rational functions with prescribed denominators. Rozansky's conjecture was soon proven by the second author. We begin our paper by reviewing Rozansky's conjecture and the main ideas that lead to its proof. The natural question of extending this conjecture to links leads to the class of boundary links, and a proof of Rozansky's conjecture in this case. A subtle issue is the fact that a `hair' map which replaces beads by the exponential of hair is not 1-1. This raises the question of whether a rational invariant of boundary links exists in an appropriate space of trivalent graphs whose edges are decorated by rational functions in noncommuting variables. A main result of the paper is to construct such an invariant, using the so-called surgery view of boundary links and after developing a formal diagrammatic Gaussian integration. Since our invariant is one of many rational forms of the Kontsevich integral, one may ask if our invariant is in some sense canonical. We prove that this is indeed the case, by axiomatically characterizing our invariant as a universal finite type invariant of boundary links with respect to the null move. Finally, we discuss relations between our rational invariant and homology surgery, and give some applications to low dimensional topology.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Non-triviality of the A-polynomial for knots in S^3

The A-polynomial of a knot in S^3 defines a complex plane curve associated to the set of representations of the fundamental group of the knot exterior into SL(2,C). Here, we show that a non-trivial knot in S^3 has a non-trivial A-polynomial. We deduce this from the gauge-theoretic work of Kronheimer and Mrowka on SU_2-representations of Dehn surgeries on knots in S^3. As a corollary, we show that if a conjecture connecting the colored Jones polynomials to the A-polynomial holds, then the colored Jones polynomials distinguish the unknot

0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv

Calculus of clovers and finite type invariants of 3-manifolds

A clover is a framed trivalent graph with some additional structure, embedded in a 3-manifold. We define surgery on clovers, generalizing surgery on Y-graphs used earlier by the second author to define a new theory of finite-type invariants of 3--manifolds. We give a systematic exposition of a topological calculus of clovers and use it to deduce some important results about the corresponding theory of finite type invariants. In particular, we give a description of the weight systems in terms of uni-trivalent graphs modulo the AS and IHX relations, reminiscent of the similar results for links. We then compare several definitions of finite type invariants of homology spheres (based on surgery on Y--graphs, blinks, algebraically split links, and boundary links) and prove in a self-contained way their equivalence.

0 citations0 reviewsNo code linkedOpen access
preprint2001arXiv

Homology surgery and invariants of 3-manifolds

We introduce a homology surgery problem in dimension 3 which has the property that the vanishing of its algebraic obstruction leads to a canonical class of π-algebraically-split links in 3-manifolds with fundamental group π. Using this class of links, we define a theory of finite type invariants of 3-manifolds in such a way that invariants of degree 0 are precisely those of conventional algebraic topology and surgery theory. When finite type invariants are reformulated in terms of clovers, we deduce upper bounds for the number of invariants in terms of π-decorated trivalent graphs. We also consider an associated notion of surgery equivalence of π-algebraically split links and prove a classification theorem using a generalization of Milnor's μ-invariants to this class of links.

0 citations0 reviewsNo code linkedOpen access