BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Stavros Garoufalidis

Stavros Garoufalidis contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GThep-thmath.AGmath-phmath.MPmath.CAmath.COmath.NTmath.QA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

17 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
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