Geometric Topology

AG-2026.08-2276

math.GT

Flippered hyperbolic surfaces and renormalized volumes of their moduli spaces I

Yi Huang, Ivan Telpukhovskiy

We introduce a natural class of hyperbolic surfaces called flippered surfaces that generalize crowned hyperbolic surfaces (i.e.: worldsheets for open strings). We develop their Teichmüller and moduli-space theory, construct generalized Weil-Petersson volume forms and Chekhov's action, and prove that the resulting generalized Mirzakhani volumes are finite. We establish three geometric recursion formulae-neck chopping, disk excision, and crown extraction-which express these volumes in terms of those of topologically simpler surfaces. For the fundamental polygonal and annular cases, we derive integral representations involving conical Legendre functions, as well as explicit formulae in terms of elliptic integrals and polylogarithms. We further describe the arithmetic structure of the Taylor coefficients of these volumes, show that suitable specializations are Kontsevich-Zagier periods, and prove identities at the imaginary boundary length $2π\sqrt{-1}$ that generalize the Do-Norbury paraphrasing of string and dilaton-type equations.

AG-2026.08-1301

math.GT

$\mathrm {U}_{q\tilde q}\mathfrak{sl}(2;\mathbb R)$ Turaev-Viro invariants for cusped $3$-manifolds

Tianyue Liu, Shuang Ming, Xin Sun, Baojun Wu, Tian Yang

We define a family of Turaev-Viro type invariants for hyperbolic $3$-manifolds with cusp ends, extending the invariants introduced in \cite{LMSWY} for hyperbolic $3$-manifolds with totally geodesic boundary. These invariants are constructed from what we call the ideal $\mathrm{U}_{q\tilde q}\mathfrak{sl}(2;\mathbb R)$-$6j$ symbols, which are variants of the $6j$-symbols associated with the positive representations of the modular double of $\mathrm{U}_q\mathfrak{sl}(2;\mathbb R)$. We also prove that these invariants decay exponentially, with the exponential decay rate determined by the hyperbolic volume of the manifold.

AG-2026.06-1968

math.GT

Integrality of genus-$g$ indices with adjoint Reidemeister torsions of twist knots

Ryoto Tange, Yuji Terashima, Yoshikazu Yamaguchi

We consider the sum of the adjoint Reidemeister torsions and prove the integrality for twist knots and the meridian. We also give some concrete examples of the generating functions for these sums.

AG-2026.03-717

math.GT

A lift of the colored Jones polynomial of a knot

Stavros Garoufalidis, Campbell Wheeler

Habiro lifted the Witten-Reshetikhin-Turaev invariant of an integer homology 3-sphere (a complex-valued function on the set of complex roots of unity) to an element of the Habiro ring. We lift the colored Jones polynomial of a knot, with Alexander polynomial $Δ(t)$, to the recently introduced Habiro ring of the étale map $\mathbb{Z}[t^{\pm 1}]\to \mathbb{Z}[t^{\pm 1},Δ(t)^{-1}]$ (with Frobenius lifts $t\mapsto t^p$ for all primes $p$). This implies the existence of a loop expansion at roots of unity (confirming a conjecture of Habiro), and a lift of power series invariants of Ohtsuki for 3-manifolds with Betti number 1 to a Habiro ring. Our results have natural extensions to the skein module of a knot complement, and they suggest a natural lift of the colored Jones polynomial colored by representations of a simple Lie (super) algebra.

AG-2026.01-909

math.GT

Skeins, $q$-series, and modularity

Sunghyuk Park

We study BPS $q$-series associated to 3-manifolds decorated by a line defect along an embedded link. We prove that these $q$-series depend only on the class of the link in the skein module, thereby defining a homomorphism from the skein module to the space of $q$-series. The image of this homomorphism is conjectured to be holomorphically quantum modular, which suggests a new approach to Langlands duality for skein modules through $q$-series.

AG-2025.12-1265

math.GT

Panhandle polynomials of torus links and geometric applications

Andrei Mironov, Hisham Sati, Vivek Kumar Singh, Alexander Stoimenov

We use a decomposition of the tensor of the fundamental representation of the quantum group $U_q(\mathfrak{sl}_N)$ and the Rosso-Jones formula to establish a peculiar ``panhandle'' shape of the HOMFLY-PT polynomial of the reverse parallel of torus knots and links. Due to their panhandle-like intrinsic properties, the HOMFLY-PT polynomial is referred to as a ``panhandle polynomial''. With the help of the $\ell$-invariant, this extends to links the Etnyre-Honda result about the arc index and maximal Thurston-Bennequin invariant of torus knots. It has further geometric consequences, related to the braid index, the existence of minimal string Bennequin surfaces for banded and Whitehead doubled links, the Bennequin sharpness problem, and the equivalence of their quasipositivity and strong quasipositivity. We extend these properties to torus links, which relate to the classification of their component-wise Thurston-Bennequin invariants. Finally, we discuss the definition of the $\ell$-invariant for general links.

AG-2025.12-975

math.GT

On Quantum Modularity for Geometric 3-Manifolds

Pavel Putrov, Ayush Singh

The quantum modularity conjecture, first introduced by Don Zagier, is a general statement about a relation between $\mathfrak{sl}_2$ quantum invariants of links and 3-manifolds at roots of unity related by a modular transformation. In this note we formulate a strong version of the conjecture for Witten--Reshetikhin--Turaev invariants of closed geometric, not necessarily hyperbolic, 3-manifolds. This version in particular involves a geometrically distinguished $SL(2,\mathbb{C})$ flat connection (a generalization of the standard hyperbolic flat connection to other Thurston geometries) and has a statement about the integrality of coefficients appearing in the modular transformation formula. We prove that the conjecture holds for Brieskorn homology spheres and some other examples. We also comment on how the conjecture relates to a formal realization of the $\mathfrak{sl}_2$ quantum invariant at a general root of unity as a path integral in analytically continued $SU(2)$ Chern--Simons theory with a rational level.

AG-2025.10-1021

math.GT

Bailey Pairs for the Tetrahedron Index

Ilmar Gahramanov, Sinan Ulaş Öztürk, Uveys Turhan

In this work, we develop new Bailey pairs for the pentagon identity satisfied by the tetrahedron index, expressible in terms of $q$-series. Since the tetrahedron index underlies topological invariants of 3-manifolds and related knots, our construction may offer a new framework to deriving knot invariants through the Bailey chain.

AG-2025.10-914

math.GT

On Hecke lifting conjecture for framed knots

Shengmao Zhu

Motivated by an amazing integrality structure conjecture for the $U(N)$ Chern-Simons quantum invariants of framed knots investigated by Mariño and Vafa, a new conjectural formula, named Hecke lifting conjecture, was proposed in \cite{CLPZ23} for framed links. This note is devoted to the study of this Hecke lifting conjecture. We prove this conjecture for torus knots using the explicit formulas of colored HOMFLY-PT invariants of torus knots, and we also verify the conjecture in a limit form for any framed knots.

AG-2025.09-858

math.GT

The 3D index and Dehn filling

Daniele Celoria, Craig D. Hodgson, J. Hyam Rubinstein

We provide a rigorous proof of the Gang-Yonekura formula describing the transformation of the 3D index under Dehn filling a cusp in an orientable 3-manifold. The 3D index, originally introduced by Dimofte, Gaiotto and Gukov, is a physically inspired q-series that encodes deep topological and geometric information about cusped 3-manifolds. Building on the interpretation of the 3D index as a generating function over Q-normal surfaces, we introduce a relative version of the index for ideal triangulations with exposed boundary. This notion allows us to formulate a relative Gang-Yonekura formula, which we prove by developing a gluing principle for relative indices and establishing an inductive framework in the case of layered solid tori. Our approach makes use of Garoufalidis-Kashaev's meromorphic extension of the index, along with new identities involving q-hypergeometric functions. As an application, we study the limiting behaviour of the index for large fillings. We also develop code to perform certified computations of the index, guaranteeing correctness up to a specified accuracy. Our extensive computations support the topological invariance of the 3D index and suggest a well-defined extension to closed manifolds.

AG-2025.09-034

math.GT

Detecting Causality with Conjugation Quandles over Dihedral Groups

Zining Fan

We study whether quandle colorings can detect causality of events for links realized as skies in a $(2+1)$-dimensional globally hyperbolic spacetime $X$. Building off the Allen--Swenberg paper in which their $2$-sky link was conjectured to be causally related, they showed that the Alexander--Conway polynomial does not distinguish that link from the connected sum of two Hopf links, corresponding to two causally unrelated events. We ask whether the Alexander--Conway polynomial together with different types of quandle invariants suffice. We show that the conjugation quandle of the dihedral group $D_5$, together with the Alexander--Conway polynomial, does distinguish the two links and hence likely does detect causality in $X$. The $2$-sky link shares the same Alexander--Conway polynomial but has different $D_5$ conjugation-quandle counting invariants. Moreover, for $D_5$ the counting invariant alone already separates the pair, whereas for other small dihedral groups $D_3$, $D_4$, $D_6$, $D_7$ even the enhanced counting polynomial fails to detect causality. In fact we prove more that the conjugation quandle over D5 distinguishes all the infinitely many Allen-Swenberg links from the connected sum of two Hopf links. These results present an interesting reality where only the conjugation quandle over $D_5$ coupled with the Alexander--Conway polynomial can detect causality in $(2+1)$ dimensions. This results in a simple, computable quandle that can determine causality via the counting invariant alone, rather than reaching for more complicated counting polynomials and cocycles.

AG-2025.08-472

math.GT

Causality Detection via Symplectic Quandles

Amirbek Baxshilloyev

We study whether symplectic quandle colorings can reveal causal structure encoded by "sky links" - i.e. links consisting of spheres of all light rays through two points in the space of all light rays of a spacetime. Building on the known limitations of the Alexander-Conway polynomial, we compare the connected sum of two Hopf links (which represents all causally unrelated situations) with the first two Allen-Swenberg links (that are the only known examples when this polynomial does not work). For each diagram we report both the quandle counting invariant (total number of colorings) and an enhanced version that records how many distinct colors appear in each coloring. In our tests over small finite fields, plain counts often agree across examples, but the enhanced invariant consistently separates the Hopf case from the Allen-Swenberg family, and becomes more discriminating as the field grows. A simple transfer step suggests that this effect persists along the whole sequence. These results point to enhanced symplectic quandle colorings as a practical, computable indication of causality that classical polynomials alone may miss; the first examples of this kind were discovered by Jain.

AG-2025.08-868

math.GT

A large color $R$-matrix for $\mathfrak{sl}_3$

Angus Gruen, Lara San Martín Suárez

We construct the invariant $F_K^{\mathfrak{sl}_3}\in\mathbb{Z}[q,q^{-1}][[x,y]]$ for any positive braid knot $K$, whose existence was conjectured by Park, building on earlier work of Gukov--Manolescu. The main step in our work extends a result by the first author on the invariant associated to symmetric representations of $\mathfrak{sl}_3$ to all irreducible representations. We conclude with a conjectural framework for constructing $F_K^{\mathfrak{sl}_N}$ for arbitrary $N$.

AG-2025.08-788

math.GT

A supergroup series for knot complements

John Chae

We introduce a three variable series invariant $F_K (y,z,q)$ for plumbed knot complements associated with a Lie superalgebra $sl(2|1)$. The invariant is a generalization of the $sl(2|1)$-series invariant $\hat{Z}(q)$ for closed 3-manifolds introduced by Ferrari and Putrov and an extension of the two variable series invariant defined by Gukov and Manolescu (GM) to the Lie superalgebra. We derive a surgery formula relating $F_K (y,z,q)$ to $\hat{Z}(q)$ invariant. We find appropriate expansion chambers for certain infinite families of torus knots and compute explicit examples. Furthermore, we provide evidence for a non semisimple $Spin^c$ decorated TQFT from the three variable series. We observe that the super $F_K (y,z,q)$ itself and its results exhibit distinctive features compared to the GM series.

AG-2025.07-713

math.GT

Analogue of Goeritz matrices for computation of bipartite HOMFLY-PT polynomials

A. Anokhina, D. Korzun, E. Lanina, A. Morozov

The Goeritz matrix is an alternative to the Kauffman bracket and, in addition, makes it possible to calculate the Jones polynomial faster with some minimal choice of a checkerboard surface of a link diagram. We introduce a modification of the Goeritz method that generalizes the Goeritz matrix for computing the HOMFLY-PT polynomials for any $N$ in the special case of bipartite links. Our method reduces to purely algebraic operations on matrices, and therefore, it can be easily implemented as a computer program. Bipartite links form a rather large family including a special class of Montesinos links constructed from the so-called rational tangles. We demonstrate how to obtain a bipartite diagram of such links and calculate the corresponding HOMFLY-PT polynomials using our developed generalized Goeritz method.

AG-2025.05-901

math.GT

A survey of knots and quivers

Shivrat Sachdeva

This survey explores knot polynomials and their categorification, culminating in the homological invariants of knots. We begin with an overview of classical knot polynomials, progressing towards the superpolynomial and its role in unifying various knot homologies. Along the way, we provide physical and geometric insights into the unification of the $sl(N)$ Khovanov-Rozansky and the knot Floer homology. We then turn our attention to the intriguing correspondence between knots and quivers, examining how this perspective sheds light on the integrality of BPS states encoded in the Labastida-Mariño-Ooguri-Vafa (LMOV) invariants. We will further investigate the knot-quiver correspondence from a physics and geometric side and study the 3d $\mathcal{N}=2$ theory $T[Q_K]$ for the quivers.

AG-2025.02-1038

math.GT

Colored Jones Polynomials and the Volume Conjecture

Mark Hughes, Vishnu Jejjala, P. Ramadevi, Pratik Roy, Vivek Kumar Singh

Using the vertex model approach for braid representations, we compute polynomials for spin-1 placed on hyperbolic knots up to 15 crossings. These polynomials are referred to as 3-colored Jones polynomials or adjoint Jones polynomials. Training a subset of the data using a fully connected feedforward neural network, we predict the volume of the knot complement of hyperbolic knots from the adjoint Jones polynomial or its evaluations with 99.34% accuracy. A function of the adjoint Jones polynomial evaluated at the phase $q=e^{ 8 πi / 15 }$ predicts the volume with nearly the same accuracy as the neural network. From an analysis of 2-colored and 3-colored Jones polynomials, we conjecture the best phase for $n$-colored Jones polynomials, and use this hypothesis to motivate an improved statement of the volume conjecture. This is tested for knots for which closed form expressions for the $n$-colored Jones polynomial are known, and we show improved convergence to the volume.

AG-2025.02-1010

math.GT

BPS invariants from framed links

Kai Wang, Shengmao Zhu

In this article, we investigate the BPS invariants associated with framed links. We extend the relationship between the algebraic curve (i.e. dual $A$-polynomial) and the BPS invariants of a knot investigated in \cite{GKS} to the case of a framed knot. With the help of the framing change formula for the dual $A$-polynomial of a framed knot, we give several explicit formulas for the extremal $A$-polynomials and the BPS invariants of framed knots. As to the framed links, we present several numerical calculations for the Ooguri-Vafa invariants and BPS invariants for framed Whitehead links and Borromean rings and verify the integrality property for them.

AG-2025.02-396

math.GT

Rigidity of anti-de Sitter (2+1)-spacetimes with convex boundary near the Fuchsian locus

Roman Prosanov, Jean-Marc Schlenker

We prove that globally hyperbolic compact anti-de Sitter (2+1)-spacetimes with strictly convex spacelike boundary that is either smooth or polyhedral and whose holonomy is close to Fuchsian are determined by the induced metric on the boundary.

AG-2024.12-1204

math.GT

On the Bonahon--Wong--Yang invariants of pseudo-Anosov maps

Stavros Garoufalidis, Tao Yu

We conjecture (and prove for once-punctured torus bundles) that the Bonahon--Wong--Yang invariants of pseudo-Anosov homeomorphisms of a punctured surface at roots of unity coincide with the 1-loop invariant of their mapping torus at roots of unity. This explains the topological invariance of the BWY invariants and how their volume conjecture, to all orders, and with exponentially small terms included, follows from the quantum modularity conjecture. Using the numerical methods of Zagier and the first author, we illustrate how to efficiently compute the invariants and their asymptotics to arbitrary order in perturbation theory, using as examples the $LR$ and the $LLR$ pseudo-Anosov monodromies of the once-punctured torus. Finally, we introduce descendant versions of the 1-loop and BWY invariants and conjecture (and numerically check for pseudo-Anosov monodromies of $L/R$-length at most 5) that they are related by a Fourier transform. This edition includes statements and proofs for roots of unity of all order, even and odd.

AG-2024.10-965

math.GT

Summability for State Integrals of hyperbolic knots

Veronica Fantini, Campbell Wheeler

We prove conjectures of Garoufalidis-Gu-Mariño that perturbative series associated with the hyperbolic knots $4_1$ and $5_2$ are resurgent and Borel summable. In the process, we give an algorithm that can be used to explicitly compute the Borel-Laplace resummation as a combination of state integrals of Andersen-Kashaev. This gives a complete description of the resurgent structure in these examples and allows for explicit computations of Stokes constants.

AG-2024.09-584

math.GT

Patterns of the $V_2$-polynomial of knots

Stavros Garoufalidis, Shana Yunsheng Li

Recently, Kashaev and the first author constructed an $R$-matrix from a Nichols algebra with an automorphism, that leads, via the Reshetikhin--Turaev functor, to a multivariable polynomial invariant of knots. Applying this to a rank 2 Nichols algebra, results in a sequence $V_n$ of 2-variable knot polynomials with integer coefficients, the first polynomial been identified with the Links--Gould polynomial. In this note we present the results of the computation of the $V_n$-polynomials for $n=1,2,3,4$. This leads to the discovery of emerging patterns, including the genus bound for $V_2$ being an equality for all 352.2 million knots with at most $19$ crossings, as well as unexpected Conway mutations that seem undetected by the $V_n$-polynomials as well as by Heegaard Floer Homology and Khovanov Homology.

AG-2024.07-2452

math.GT

Complex optical vortex knots

Benjamin Bode

The curves of zero intensity of a complex optical field can form knots and links: optical vortex knots. Both theoretical constructions and experiments have so far been restricted to the very small families of torus knots or lemniscate knots. Here we describe a mathematical construction that presumably allows us to generate optical vortices in the shape of any given knot or link. We support this claim by producing for every knot $K$ in the knot table up to 8 crossings a complex field $Ψ:\mathbb{R}^3\to\mathbb{C}$ that satisfies the paraxial wave equation and whose zeros have a connected component in the shape of $K$. These fields thus describe optical beams in the paraxial regime with knotted optical vortices that go far beyond previously known examples.

AG-2024.06-916

math.GT

Three-Dimensional Spin TFTs from Gauging Line Defects

Jannik Gröne, Ingo Runkel

From the input of an oriented three-dimensional TFT with framed line defects and a commutative $Δ$-separable Frobenius algebra $A$ in the ribbon category of these line defects, we construct a three-dimensional spin TFT. The framed line defects of the spin TFT are labelled by certain equivariant modules over $A$, and the spin structure may or may not extend to a given line defect. Physically the spin TFT can be interpreted as the result of gauging a one-form symmetry in the original oriented TFT. This spin TFT extends earlier constructions in Blanchet-Masbaum (1996) and Blanchet (2005) [arXiv:math/0303240], and it reproduces the classification of abelian spin Chern-Simons theories in Belov-Moore (2005) [arXiv:hep-th/0505235].

AG-2024.06-658

math.GT

The 3d-index of the 3d-skein module via the quantum trace map

Stavros Garoufalidis, Tao Yu

We define a map from the skein module of a cusped hyperbolic 3-manifold to the ring of Laurent series in one variable with integer coefficients that satisfies two properties: its evaluation at peripheral curves coincides with the Dimofte--Gaiotto--Gukov 3d-index, and it factors through the 3d-quantum trace map associated to a suitable ideal triangulation of the manifold. The map fulfills a supersymmetry prediction of mathematical physics and is part of a conjectural 3+1 dimensional topological quantum field theory.

AG-2024.05-832

math.GT

Learning 3-Manifold Triangulations

Francesco Costantino, Yang-Hui He, Elli Heyes, Edward Hirst

Real 3-manifold triangulations can be uniquely represented by isomorphism signatures. Databases of these isomorphism signatures are generated for a variety of 3-manifolds and knot complements, using SnapPy and Regina, then these language-like inputs are used to train various machine learning architectures to differentiate the manifolds, as well as their Dehn surgeries, via their triangulations. Gradient saliency analysis then extracts key parts of this language-like encoding scheme from the trained models. The isomorphism signature databases are taken from the 3-manifolds' Pachner graphs, which are also generated in bulk for some selected manifolds of focus and for the subset of the SnapPy orientable cusped census with $<8$ initial tetrahedra. These Pachner graphs are further analysed through the lens of network science to identify new structure in the triangulation representation; in particular for the hyperbolic case, a relation between the length of the shortest geodesic (systole) and the size of the Pachner graph's ball is observed.

AG-2024.04-763

math.GT

Quantum master equation and Hodge correlators

Hisatoshi Kodani, Yuji Terashima

We give a generalization of Goncharov's Hodge correlator twistor connection. Our generalized version is a connection 1-form with values in a DG Lie algebra of uni-trivalent graphs which may have loops and satisfies some Maurer--Cartan equation. This connection and the Maurer--Cartan equation can be viewed as an arithmetic analogue of effective action and quantum master equation respectively in non-acyclic Chern--Simons perturbation theory associated with the trivial local system.

AG-2024.03-749

math.GT

A Quantum trace map for 3-manifolds

Stavros Garoufalidis, Tao Yu

We define a quantum trace map from the skein module of a 3-manifold with torus boundary components to a module (left and right quotient of a quantum torus) constructed from an ideal triangulation. Our map is a 3-dimensional version of the well-known quantum trace map on surfaces introduced by Bonahon and Wong and further developed by Lê.

AG-2024.03-578

math.GT

Algebraic aspects of holomorphic quantum modular forms

Ni An, Stavros Garoufalidis, Shana Yunsheng Li

Matrix-valued holomorphic quantum modular forms are intricate objects that arise in successive refinements of the Volume Conjecture of knots and involve three holomorphic, asymptotic and arithmetic objects. It is expected that the algebraic properties of these objects can be deduced from the algebraic properties of descendant state integrals, and we illustrate this for the case of the $(-2,3,7)$-pretzel knot.

AG-2024.02-1880

math.GT

Density and unitarity of the Burau representation from a non-semisimple TQFT

Nathan Geer, Aaron D. Lauda, Bertrand Patureau-Mirand, Joshua Sussan

We study the density of the Burau representation from the perspective of a non-semisimple TQFT at a fourth root of unity. This gives a TQFT construction of Squier's Hermitian form on the Burau representation with possibly mixed signature. We prove that the image of the braid group in the space of possibly indefinite unitary representations is dense. We also argue for the potential applications of non-semisimple TQFTs toward topological quantum computation.

AG-2024.02-541

math.GT

Closed 4-braids and the Jones unknot conjecture

Dmitriy Korzun, Elena Lanina, Alexey Sleptsov

The Jones problem is a question whether there is a non-trivial knot with the trivial Jones polynomial in one variable $q$. The answer to this fundamental question is still unknown despite numerous attempts to explore it. In braid presentation the case of 4-strand braids is already open. S. Bigelow showed in 2000 that if the Burau representation for four-strand braids is unfaithful, then there is an infinite number of non-trivial knots with the trivial two-variable HOMFLY-PT polynomial and hence, with the trivial Jones polynomial, since it is obtained from the HOMFLY-PT polynomial by the specialisation of one of the variables $A=q^2$. In this paper, we study four-strand braids and ask whether there are non-trivial knots with the trivial Jones polynomial but a non-trivial HOMFLY-PT polynomial. We have discovered that there is a whole 1-parameter family, parameterised by the writhe number, of 2-variable polynomials that can be HOMFLY-PT polynomials of some knots. We explore various properties of the obtained hypothetical HOMFLY-PT polynomials and suggest several checks to test these formulas. A generalisation is also proposed for the case of a large number of strands.

AG-2024.01-527

math.GT

The (twisted/$L^2$)-Alexander polynomial of ideally triangulated 3-manifolds

Stavros Garoufalidis, Seokbeom Yoon

We establish a connection between the Alexander polynomial of a knot and its twisted and $L^2$-versions with the triangulations that appear in 3-dimensional hyperbolic geometry. Specifically, we introduce twisted Neumann--Zagier matrices of ordered ideal triangulations and use them to provide formulas for the Alexander polynomial and its variants, the twisted Alexander polynomial and the $L^2$-Alexander torsion.

AG-2015.04-1634

math.GT

Evaluation of state integrals at rational points

Stavros Garoufalidis, Rinat Kashaev

Multi-dimensional state-integrals of products of Faddeev&#39;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.

AG-2015.04-1324

math.GT

Flag algebras and the stable coefficients of the Jones polynomial

Stavros Garoufalidis, Sergey Norin, Thao Vuong

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.

AG-2015.04-1262

math.GT

Exact computation of the n-loop invariants of knots

Stavros Garoufalidis, Eric Sabo, Shane Scott

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.

AG-2014.12-1030

math.GT

Geometric quantization and semi-classical limits of pairings of TQFT vectors

Renaud Detcherry

Using geometric quantization, we represent curve operators in the TQFT of Witten-Reshetikhin-Turaev with jauge group SU_2 as Toeplitz operators with symbols corresponding to trace functions. As an application, we show that eigenvectors of these operators are concentrated near the level sets of these trace functions, and obtain asymptotic estimates of pairings of such eigenvectors. This yields an asymptotic for some matrix coefficients of the image of mapping classes by quantum representations.

AG-2014.11-2713

math.GT

Homotopy Brunnian links and the $κ$-invariant

Frederick R. Cohen, Rafal Komendarczyk, Clayton Shonkwiler

We provide an alternative proof that Koschorke&#39;s $κ$-invariant is injective on the set of link homotopy classes of $n$-component homotopy Brunnian links $BLM(n)$. The existing proof (by Koschorke \cite{Koschorke97}) is based on the Pontryagin--Thom theory of framed cobordisms, whereas ours is closer in spirit to techniques based on Habegger and Lin&#39;s string links. We frame the result in the language of Fox&#39;s torus homotopy groups and the rational homotopy Lie algebra of the configuration space $\text{Conf}(n)$ of $n$ points in $\mathbb{R}^3$. It allows us to express the relevant Milnor&#39;s $μ$--invariants as homotopy periods of $\text{Conf}(n)$.

AG-2014.08-840

math.GT

Topological recursion and a quantum curve for monotone Hurwitz numbers

Norman Do, Alastair Dyer, Daniel V. Mathews

Classical Hurwitz numbers count branched covers of the Riemann sphere with prescribed ramification data, or equivalently, factorisations in the symmetric group with prescribed cycle structure data. Monotone Hurwitz numbers restrict the enumeration by imposing a further monotonicity condition on such factorisations. In this paper, we prove that monotone Hurwitz numbers arise from the topological recursion of Eynard and Orantin applied to a particular spectral curve. We furthermore derive a quantum curve for monotone Hurwitz numbers. These results extend the collection of enumerative problems known to be governed by the paradigm of topological recursion and quantum curves, as well as the list of analogues between monotone Hurwitz numbers and their classical counterparts.

AG-2014.08-444

math.GT

Coherent band pathways between knots and links

Dorothy Buck, Kai Ishihara

We categorise coherent band (aka nullification) pathways between knots and 2-component links. Additionally, we characterise the minimal coherent band pathways (with intermediates) between any two knots or 2-component links with small crossing number. We demonstrate these band surgeries for knots and links with small crossing number. We apply these results to place lower bounds on the minimum number of recombinant events separating DNA configurations, restrict the recombination pathways and determine chirality and/or orientation of the resulting recombinant DNA molecules.

AG-2014.07-3738

math.GT

Cauchy surfaces and diffeomorphism types of globally hyperbolic spacetimes

Rafael Torres

Chernov-Nemirovski observed that the existence of a globally hyperbolic Lorentzian metric on a (3 + 1)-spacetime pins down a smooth structure on the underlying 4-manifold. In this paper, we point out that the diffeomorphism type of a globally hyperbolic (n + 1)-spacetime is determined by the h-cobordism class of its Cauchy surface, hence extending Chernov-Nemirovski&#39;s observation to arbitrary dimensions.

AG-2014.07-183

math.GT

Floergåsbord

Sam Lewallen

In this thesis, we prove several results concerning field-theoretic invariants of knots and 3-manifolds. In Chapter 2, for any knot $K$ in a closed, oriented 3-manifold $M$, we use $SU(2)$ representation spaces and the Lagrangian field theory framework of Wehrheim and Woodward to define a new homological knot invariant $\mathcal{S}(K)$. We then use a result of Ivan Smith to show that when $K$ is a (1,1) knot in $S^3$ (a set of knots which includes torus knots, for example), the rank of $\mathcal{S}(K)\otimes \mathbb{C}$ agrees with the rank of knot Floer homology, $\widehat{HFK}(K)\otimes \mathbb{C}$, and we conjecture that this holds in general for any knot $K$. In Chapter 3, we prove a somewhat strange result, giving a purely topological formula for the Jones polynomial of a 2-bridge knot $K\subset S^3$. First, for any lens space $L(p,q)$, we combine the $d$-invariants from Heegaard Floer homology with certain Atiyah-Patodi-Singer/Casson-Gordon $ρ$-invariants to define a function $$I_{p,q}: \mathbb{Z}/p\mathbb{Z} \to \mathbb{Z}$$ Let $K = K(p,q)$ denote the 2-bridge knot in $S^3$ whose double-branched cover is $L(p,q)$, let $σ(K)$ denote the knot signature, and let $\mathcal{O}$ denote the set of relative orientations of $K$, which has cardinality $2^{(\# \text{ of components of } K) - 1}$. Then we prove the following formula for the Jones polynomial $J(K)$: $$i^{-σ(K)}q^{3σ(K)}J(K)= \sum_{o\in\mathcal{O}}(iq)^{2σ(K^{o})} +\left(q^{-1}-q^{1}\right)\sum_{\mathfrak{s}\in\mathbb{Z}/p\mathbb{Z}}(iq)^{I_{p,q}(\mathfrak{s})}$$ (here, $i = \sqrt{-1}$). In Chapter 4, we present joint work with Adam Levine, concerning Heegaard Floer homology and the orderability of fundamental groups. Namely, we prove that if $\widehat{CF}(M)$ is particularly simple, i.e., $M$ is what we call a &#34;strong $L$-space,&#34; then $π_1(M)$ is not left-orderable.

AG-2014.06-2496

math.GT

On affine maps on non-compact convex sets and some characterizations of finite-dimensional solid ellipsoids

Gen Kimura, Koji Nuida

Convex geometry has recently attracted great attention as a framework to formulate general probabilistic theories. In this framework, convex sets and affine maps represent the state spaces of physical systems and the possible dynamics, respectively. In the first part of this paper, we present a result on separation of simplices and balls (up to affine equivalence) among all compact convex sets in two- and three-dimensional Euclidean spaces, which focuses on the set of extreme points and the action of affine transformations on it. Regarding the above-mentioned axiomatization of quantum physics, our result corresponds to the case of simplest (2-level) quantum system. We also discuss a possible extension to higher dimensions. In the second part, towards generalizations of the framework of general probabilistic theories and several existing results including ones in the first part from the case of compact and finite-dimensional physical systems as in most of the literatures to more general cases, we study some fundamental properties of convex sets and affine maps that are relevant to the above subject.

AG-2014.05-3125

math.GT

Trivalent graphs, volume conjectures and character varieties

Satoshi Nawata, P. Ramadevi, Zodinmawia

The generalized volume conjecture and the AJ conjecture (a.k.a. the quantum volume conjecture) are extended to $U_q(\fraksl_2)$ colored quantum invariants of the theta and tetrahedron graph. The $\SL(2,\bC)$ character variety of the fundamental group of the complement of a trivalent graph with $E$ edges in $S^3$ is a Lagrangian subvariety of the Hitchin moduli space over the Riemann surface of genus $g=E/3+1$. For the theta and tetrahedron graph, we conjecture that the configuration of the character variety is locally determined by large color asymptotics of the quantum invariants of the trivalent graph in terms of complex Fenchel-Nielsen coordinates. Moreover, the $q$-holonomic difference equation of the quantum invariants provides the quantization of the character variety.

AG-2014.03-1147

math.GT

A Spectral Perspective on Neumann-Zagier

Tudor Dimofte, Roland van der Veen

We provide a new topological interpretation of the symplectic properties of gluing equations for triangulations of hyperbolic 3-manifolds, first discovered by Neumann and Zagier. We also extend the symplectic properties to more general gluings of PGL(2,C) flat connections on the boundaries of 3-manifolds with topological ideal triangulations, proving that gluing is a K_2 symplectic reduction of PGL(2,C) moduli spaces. Recently, such symplectic properties have been central in constructing quantum PGL(2,C) invariants of 3-manifolds. Our methods adapt the spectral network construction of Gaiotto-Moore-Neitzke to relate framed flat PGL(2,C) connections on the boundary C of a 3-manifold to flat GL(1,C) connections on a double branched cover S -> C of the boundary. Then moduli spaces of both PGL(2,C) connections on C and GL(1,C) connections on S gain coordinates labelled by the first homology of S, and inherit symplectic properties from the intersection form on homology.

AG-2014.02-2506

math.GT

Cluster Algebra and Complex Volume of Once-Punctured Torus Bundles and Two-Bridge Knots

Kazuhiro Hikami, Rei Inoue

We propose a method to compute complex volume of 2-bridge link complements. Our construction sheds light on a relationship between cluster variables with coefficients and canonical decompositions of link complements.

AG-2014.01-1437

math.GT

Two Lectures On The Jones Polynomial And Khovanov Homology

Edward Witten

In the first of these two lectures, I describe a gauge theory approach to understanding quantum knot invariants as Laurent polynomials in a complex variable q. The two main steps are to reinterpret three-dimensional Chern-Simons gauge theory in four dimensional terms and then to apply electric-magnetic duality. The variable q is associated to instanton number in the dual description in four dimensions. In the second lecture, I describe how Khovanov homology can emerge upon adding a fifth dimension. (Based on lectures presented at the Clay Research Conference at Oxford University, and also at the Galileo Galilei Institute in Florence, the University of Milan, Harvard University, and the University of Pennsylvania.)

AG-2013.12-1488

math.GT

Quantum curves for the enumeration of ribbon graphs and hypermaps

Norman Do, David Manescu

The topological recursion of Eynard and Orantin governs a variety of problems in enumerative geometry and mathematical physics. The recursion uses the data of a spectral curve to define an infinite family of multidifferentials. It has been conjectured that, under certain conditions, the spectral curve possesses a non-commutative quantisation whose associated differential operator annihilates the partition function for the spectral curve. In this paper, we determine the quantum curves and partition functions for an infinite sequence of enumerative problems involving generalisations of ribbon graphs known as hypermaps. These results give rise to an explicit conjecture relating hypermap enumeration to the topological recursion and we provide evidence to support this conjecture.

AG-2013.10-953

math.GT

A new invariant associated with decompositions of manifolds

Eiji Ogasa

We introduce a new topological invariant, which is a nonnegative integer, of compact manifolds with boundaries associated with a kind of decomposition of them. Let M and N be m-dimensional compact connected manifolds with boundaries. The new invariant of any boundary union of M and N is less than or equal to that of M (resp. that of N).

AG-2013.09-1768

math.GT

Infinity Links L, infinity-4-Manifolds M_L and Kirby Categories

Renaud Gauthier

We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable 3-manifolds, the projection being induced by the boundary map on manifolds. We construct a higher categorical generalization of such concepts and introduce the notion of ribbon $\infty$-categories, a generalization of braided monoidal $\infty$-categories (\cite{Lu1}), which gives rise to the concepts of $\infty$-links, $\infty$-4-manifolds as well as the more general notion of walled $\infty$-4-manifolds if one focuses attention on $\infty$-4-manifolds built from gluing thickened sheets on ribbons. These fall into a larger class of constrained $\infty$-4-manifolds whose classical 4-dimensional counterparts are constrained 4-manifolds on which we consider physical theories. We regard pairs of constrained 4-manifolds and Lagrangians densities depicting physical theories defined on such spaces as morphism objects in an enhanced Kirby category, whose objects are regarded as events. We define a universal category $Λ$ of all events that we relate to the $\infty$-category of ribbon $\infty$-categories and conclude in part that Lagrangian field theories can be superseded by using $\infty$-categories.

AG-2013.07-2856

math.GT

Topological invariants from non-restricted quantum groups

Nathan Geer, Bertrand Patureau-Mirand

We introduce the notion of a relative spherical category. We prove that such a category gives rise to the generalized Kashaev and Turaev-Viro-type 3-manifold invariants defined in arXiv:1008.3103 and arXiv:0910.1624, respectively. In this case we show that these invariants are equal and extend to what we call a relative Homotopy Quantum Field Theory which is a branch of the Topological Quantum Field Theory founded by E. Witten and M. Atiyah. Our main examples of relative spherical categories are the categories of finite dimensional weight modules over non-restricted quantum groups considered by C. De Concini, V. Kac, C. Procesi, N. Reshetikhin and M. Rosso. These categories are not semi-simple and have an infinite number of non-isomorphic irreducible modules all having vanishing quantum dimensions. We also show that these categories have associated ribbon categories which gives rise to re-normalized link invariants. In the case of sl(2) these link invariants are the Alexander-type multivariable invariants defined by Y. Akutsu, T. Deguchi, and T. Ohtsuki.

AG-2013.04-510

math.GT

From state integrals to q-series

Stavros Garoufalidis, Rinat Kashaev

It is well-known to the experts that multi-dimensional state integrals of products of Faddeev&#39;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.

AG-2013.04-2479

math.GT

On Upper Bounds for Toroidal Mosaic Numbers

Michael J. Carlisle, Michael S. Laufer

In this paper, we work to construct mosaic representations of knots on the torus, rather than in the plane. This consists of a particular choice of the ambient group, as well as different definitions of contiguous and suitably connected. We present conditions under which mosaic numbers might decrease by this projection, and present a tool to measure this reduction. We show that the order of edge identification in construction of the torus sometimes yields different resultant knots from a given mosaic when reversed. Additionally, in the Appendix we give the catalog of all 2 by 2 torus mosaics.

AG-2013.02-1500

math.GT

A Geometric Knotspace Template

Carl D. Modes, Marcelo O. Magnasco

Early last century witnessed both the complete classification of 2-dimensional manifolds and a proof that classification of 4-dimensional manifolds is undecidable, setting up 3-dimensional manifolds as a central battleground of topology to this day. A rather important subset of the 3-manifolds has turned out to be the knotspaces, the manifolds left when a thin tube around a knot in 3D space is excised. Given a knot diagram it would be desirable to provide as compact a description of its knotspace as feasible; hitherto this has been done by computationally tessellating the knotspace of a given knot into polyhedral complexes using ad hoc methods of uncontrolled computational complexity. Here we present an extremely compact representation of the knotspace obtainable directly from a knot diagram; more technically, an explicit, geometrically-inspired polygonal tessellation of a deformation retract of the knotspace of arbitrary knots and links. Our template can be constructed directly from a planar presentation of the knot with C crossings using at most 12C polygons bounded by 64C edges, in time O(C). We show the utility of our template by deriving a novel presentation of the fundamental group, from which we motivate a measure of complexity of the knot diagram.

AG-2013.01-1758

math.GT

On asymptotic higher analogs of the magnetic helicity invariant in MHD

Petr M. Akhmet&#39;ev

A solution of a problem by V.I.Arnol&#39;d about higher analog of the asymptotic Hopf invariant of divergence-free vector fields is presented. A higher invariant of magnetic fields, which is not expressed from the asymptotic linking numbers of magnetic lines is constructed and examples of an asymptotic invariants is constructed.

AG-2012.11-1540

math.GT

Dimer spaces and gliding systems

Vladimir Turaev

Dimer coverings (or perfect matchings) of a finite graph are classical objects of graph theory appearing in the study of exactly solvable models of statistical mechanics. We introduce more general dimer labelings which form a topological space called the dimer space of the graph. This space turns out to be a cubed complex whose vertices are the dimer coverings. We show that the dimer space is nonpositively curved in the sense of Gromov, so that its universal covering is a CAT(0)-space. We study the fundamental group of the dimer space and, in particular, obtain a presentation of this group by generators and relations. We discuss connections with right-angled Artin groups and braid groups of graphs. Our approach uses so-called gliding systems in groups designed to produce nonpositively curved cubed complexes.

AG-2012.11-1438

math.GT

The colored HOMFLY polynomial is q-holonomic

Stavros Garoufalidis

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.

AG-2012.11-838

math.GT

On the formulae for the colored HOMFLY polynomials

Kenichi Kawagoe

We provide methods to compute the colored HOMFLY polynomials of knots and links with symmetric representations based on the linear skein theory. By using diagrammatic calculations, several formulae for the colored HOMFLY polynomials are obtained. As an application, we calculate some examples for hyperbolic knots and links, and we study a generalization of the volume conjecture by means of numerical calculations. In these examples, we observe that asymptotic behaviors of invariants seem to have relations to the volume conjecure.

AG-2012.10-2887

math.GT

A new cohomological formula for helicity in $\R^{2k+1}$ reveals the effect of a diffeomorphism on helicity

Jason Cantarella, Jason Parsley

The helicity of a vector field is a measure of the average linking of pairs of integral curves of the field. Computed by a six-dimensional integral, it is widely useful in the physics of fluids. For a divergence-free field tangent to the boundary of a domain in 3-space, helicity is known to be invariant under volume-preserving diffeomorphisms of the domain that are homotopic to the identity. We give a new construction of helicity for closed $(k+1)$-forms on a domain in $(2k+1)$-space that vanish when pulled back to the boundary of the domain. Our construction expresses helicity in terms of a cohomology class represented by the form when pulled back to the compactified configuration space of pairs of points in the domain. We show that our definition is equivalent to the standard one. We use our construction to give a new formula for computing helicity by a four-dimensional integral. We provide a Biot-Savart operator that computes a primitive for such forms; utilizing it, we obtain another formula for helicity. As a main result, we find a general formula for how much the value of helicity changes when the form is pushed forward by a diffeomorphism of the domain; it relies upon understanding the effect of the diffeomorphism on the homology of the domain and the de Rham cohomology class represented by the form. Our formula allows us to classify the helicity-preserving diffeomorphisms on a given domain, finding new helicity-preserving diffeomorphisms on the two-holed solid torus, and proving that there are no new helicity-preserving diffeomorphisms on the standard solid torus. We conclude by defining helicities for forms on submanifolds of Euclidean space. In addition, we provide a detailed exposition of some standard `folk&#39; theorems about the cohomology of the boundary of domains in $\R^{2k+1}$.

AG-2012.10-1444

math.GT

The quantum content of the gluing equations

Tudor D. Dimofte, Stavros Garoufalidis

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 &#34;1-loop&#34; 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.

AG-2012.10-2661

math.GT

Cosmic censorship of smooth structures

Vladimir Chernov, Stefan Nemirovski

It is observed that on many 4-manifolds there is a unique smooth structure underlying a globally hyperbolic Lorentz metric. For instance, every contractible smooth 4-manifold admitting a globally hyperbolic Lorentz metric is diffeomorphic to the standard $\R^4$. Similarly, a smooth 4-manifold homeomorphic to the product of a closed oriented 3-manifold $N$ and $\R$ and admitting a globally hyperbolic Lorentz metric is in fact diffeomorphic to $N\times \R$. Thus one may speak of a censorship imposed by the global hyperbolicty assumption on the possible smooth structures on $(3+1)$-dimensional spacetimes.

AG-2012.10-073

math.GT

Khovanov Homology And Gauge Theory

Edward Witten

In these notes, I will sketch a new approach to Khovanov homology of knots and links based on counting the solutions of certain elliptic partial differential equations in four and five dimensions. The equations are formulated on four and five-dimensional manifolds with boundary, with a rather subtle boundary condition that encodes the knots and links. The construction is formally analogous to Floer and Donaldson theory in three and four dimensions. It was discovered using quantum field theory arguments but can be described and understood purely in terms of classical gauge theory. (Based on a lecture at the conference Low-Dimensional Manifolds and High-Dimensional Categories, University of California at Berkeley, June 2011).

AG-2012.06-3910

math.GT

Colored HOMFLY polynomial via skein theory

Shengmao Zhu

In this paper, we study the properties of the colored HOMFLY polynomials via HOMFLY skein theory. We prove some limit behaviors and symmetries of the colored HOMFLY polynomial predicted in some physicists&#39; recent works.

AG-2012.05-626

math.GT

Nahm sums, stability and the colored Jones polynomial

Stavros Garoufalidis, Thang T. Q. Le

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.

AG-2012.04-498

math.GT

The Witten-Reshetikhin-Turaev invariants of finite order mapping tori II

Jørgen Ellegaard Andersen, Benjamin Himpel

We identify the leading order term of the asymptotic expansion of the Witten-Reshetikhin-Turaev invariants for finite order mapping tori with classical invariants for all simple and simply-connected compact Lie groups. The square root of the Reidemeister torsion is used as a density on the moduli space of flat connections and the leading order term is identified with the integral over this moduli space of this density weighted by a certain phase for each component of the moduli space. We also identify this phase in terms of classical invariants such as Chern-Simons invariants, eta invariants, spectral flow and the rho invariant. As a result, we show agreement with the semiclassical approximation as predicted by the method of stationary phase.

AG-2012.02-816

math.GT

The skein algebra of arcs and links and the decorated Teichmüller space

Julien Roger, Tian Yang

We define an associative algebra AS_h(S) generated by framed arcs and links over a punctured surface S which is a quantization of the Poisson algebra C(S) of arcs and curves on S. We then construct a Poisson algebra homomorphism from C(S) to the space of smooth functions on the decorated Teichmuller space endowed with the Weil-Petersson Poisson structure. The construction relies on a collection of geodesic lengths identities in hyperbolic geometry which generalize Penner&#39;s Ptolemy relation, the trace identities and Wolpert&#39;s cosine formula. As a consequence, we derive an explicit formula for the geodesic lengths functions in terms of the edge lengths of an ideally triangulated decorated hyperbolic surface.

AG-2011.12-2465

math.GT

Asymptotics of classical spin networks

Stavros Garoufalidis, Roland van der Veen, with an appendix by Don Zagier

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.

AG-2011.09-2446

math.GT

Factorization Rules in Quantum Teichmüller Theory

Julien Roger

We study the representation theory of the quantum Teichmueller space when going to infinity in the classical Teichmueller space. The geometric ingredients are the extension of Thurston&#39;s shear coordinates to the augmented Teichmueller space and the study of the Weil-Petersson Poisson structure for this extension. The result is analogous to the factorization rule found in conformal field theory.

AG-2011.09-194

math.GT

Tetrahedral forms in monoidal categories and 3-manifold invariants

Nathan Geer, Rinat Kashaev, Vladimir Turaev

We introduce systems of objects and operators in linear monoidal categories called $\hat Ψ$-systems. A $\hat Ψ$-system satisfying several additional assumptions gives rise to a topological invariant of triples (a closed oriented 3-manifold $M$, a principal bundle over $M$, a link in $M$). This construction generalizes the quantum dilogarithmic invariant of links appearing in the original formulation of the volume conjecture. We conjecture that all quantum groups at odd roots of unity give rise to $\hat Ψ$-systems and we verify this conjecture in the case of the Borel subalgebra of quantum $sl_2$.

AG-2011.07-858

math.GT

Torus knot state asymptotics

Laurent Charles

The state of a knot is defined in the realm of Chern-Simons topological quantum field theory as a holomorphic section on the SU(2) character manifold of the peripheral torus. We compute the asymptotics of the torus knot states in terms of the Alexander polynomial, the Reidemeister torsion and the Chern-Simons invariant. We also prove that the microsupport of the torus knot state is included in the character manifold of the knot exterior. As a corollary we deduce the Witten asymptotics conjecture for the Dehn filling of the torus knots and asymptotic expansions for the colored Jones polynomials.

AG-2011.07-276

math.GT

Knot state asymptotics I, AJ Conjecture and abelian representations

Laurent Charles, Julien Marche

Consider the Chern-Simons topological quantum field theory with gauge group SU(2) and level k. Given a knot in the 3-sphere, this theory associates to the knot exterior an element in a vector space. We call this vector the knot state and study its asymptotic properties when the level is large. The latter vector space being isomorphic to the geometric quantization of the SU(2)-character variety of the peripheral torus, the knot state may be viewed as a section defined over this character variety. We first conjecture that the knot state concentrates in the large level limit to the character variety of the knot. This statement may be viewed as a real and smooth version of the AJ conjecture. Our second conjecture says that the knot state in the neighborhood of abelian representations is a Lagrangian state. Using microlocal techniques, we prove these conjectures for the figure eight and torus knots. The proof is based on q-difference relations for the colored Jones polynomial. We also provide a new proof for the asymptotics of the Witten-Reshetikhin-Turaev invariant of the lens spaces and a derivation of the Melvin-Morton-Rozansky theorem from the two conjectures.

AG-2011.07-277

math.GT

Knot state asymptotics II, Witten conjecture and irreducible representations

Laurent Charles, Julien Marche

This article pursues the study of the knot state asymptotics in the large level limit initiated in &#34;Knot sate Asymptotics I&#34;. As a main result, we prove the Witten asymptotic expansion conjecture for the Dehn fillings of the figure eight knot. The state of a knot is defined in the realm of Chern-Simons topological quantum field theory as a holomorphic section on the SU(2)-character manifold of the peripheral torus. In the previous paper, we conjectured that the knot state concentrates on the character variety of the knot with a given asymptotic behavior on the neighborhood of the abelian representations. In the present paper we study the neighborhood of irreducible representations. We conjecture that the knot state is Lagrangian with a phase and a symbol given respectively by the Chern-Simons and Reidemeister torsion invariants. We show that under some mild assumptions, these conjectures imply the Witten conjecture on the asymptotic expansion of WRT invariants of the Dehn fillings of the knot. Using microlocal techniques, we show that the figure eight knot state satisfies our conjecture starting from q-differential relations verified by the colored Jones polynomials. The proof relies on a differential equation satisfied by the Reidemeister torsion along the branches of the character variety, a phenomenon which has not been observed previously as far as we know.

AG-2011.05-1836

math.GT

Delambre-Gauss Formulas for Augmented, Right-Angled Hexagons in Hyperbolic 4-Space

Ser Peow Tan, Yan Loi Wong, Ying Zhang

We study the geometry of oriented right-angled hexagons in H^4, the hyperbolic 4-space, via Clifford numbers or quaternions. We show how to augment alternate sides of such a hexagon so that for the non-augmented sides, we can define quaternion half side-lengths whose angular parts are obtained from half the Euler angles associated to a certain orientation-preserving isometry of the Euclidean 3-space. This generalizes the complex half side-lengths of oriented right-angled hexagons in H^3. We also define appropriate complex half side-lengths for the augmented sides of the hexagon. We further explain how to geometrically read off the quaternion half side-lengths for a given oriented,augmented, right-angled hexagon in H^4. Our main result is a set of generalized Delambre-Gauss formulas for oriented, augmented, right-angled hexagons in H^4, involving the quaternion half side-lengths and the complex half side-lengths. We also show in the appendix how the same method gives Delambre-Gauss formulas for oriented right-angled hexagons in H^3, from which the well-known sine and cosine laws can be deduced. These formulas generalize the classical Delambre-Gauss formulas for spherical/hyperbolic triangles.

AG-2011.05-019

math.GT

Generating series and asymptotics of classical spin networks

Francesco Costantino, Julien Marche

We study classical spin networks with group SU(2). In the first part, using gaussian integrals, we compute their generating series in the case where the networks are equipped with holonomies; this generalizes Westbury&#39;s formula. In the second part, we use an integral formula for the square of the spin network and perform stationary phase approximation under some non-degeneracy hypothesis. This gives a precise asymptotic behavior when the labels are rescaled by a constant going to infinity.

AG-2011.03-010

math.GT

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

Stavros Garoufalidis, Christoph Koutschan

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.

AG-2011.02-2090

math.GT

Asymptotics of quantum spin networks at a fixed root of unity

Stavros Garoufalidis, Roland van der Veen

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.

AG-2010.12-430

math.GT

On a proof of the Labastida-Marino-Ooguri-Vafa conjecture

Kefeng Liu, Pan Peng

We outline a proof of a remarkable conjecture of Labastida-Mari{ñ}o-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topological invariants. Our method is based on the cut-and-join analysis and a special rational ring characterizing the structure of the Chern-Simons partition function.

AG-2010.12-431

math.GT

New Structure of Knot Invariants

Kefeng Liu, Pan Peng

Based on the proof of Labastida-Mari{ñ}o-Ooguri-Vafa conjecture \cite{lmov}, we derive an infinite product formula for Chern-Simons partition functions, the generating function of quantum $\fsl_N$ invariants. Some symmetry properties of the infinite product will also be discussed.

AG-2010.12-2971

math.GT

Algebra of differential operators associated with Young diagrams

A. Mironov, A. Morozov, S. Natanzon

We establish a correspondence between Young diagrams and differential operators of infinitely many variables. These operators form a commutative associative algebra isomorphic to the algebra of the conjugated classes of finite permutations of the set of natural numbers. The Schur functions form a complete system of common eigenfunctions of these differential operators, and their eigenvalues are expressed through the characters of symmetric groups. The structure constants of the algebra are expressed through the Hurwitz numbers.

AG-2010.11-4101

math.GT

A study of the entanglement in systems with periodic boundary conditions

E. Panagiotou, C. Tzoumanekas, S. Lambropoulou, K. C. Millett, D. N. Theodorou

We define the local periodic linking number, LK, between two oriented closed or open chains in a system with three-dimensional periodic boundary conditions. The properties of LK indicate that it is an appropriate measure of entanglement between a collection of chains in a periodic system. Using this measure of linking to assess the extent of entanglement in a polymer melt we study the effect of CReTA algorithm on the entanglement of polyethylene chains. Our numerical results show that the statistics of the local periodic linking number observed for polymer melts before and after the application of CReTA are the same.

AG-2010.11-3878

math.GT

Mechanical Normal Forms of Knots and Flat Knots

A. B. Sossinsky

A new type of knot energy is presented via real life experiments involving a thin resilient metallic tube. Knotted in different ways, the device mechanically acquires a uniquely determined (up to isometry) normal form at least when the original knot diagram has a small number of crossings, thus outperforming the famous Möbius energy due to Jun O&#39;Hara and studied by Michael Freedman et al. Various properties of the device are described (under certain conditions it does the Reidemeister and Markov moves, it beautifully performs the Whitney trick by uniformizing its own local curvature). If the device is constrained between two parallel planes (e.g. glass panes), it yields a real life model of a flat knot (class of knot diagrams equivalent under Reidemeister $Ω_2$ and $Ω_3$ moves) also leading to uniquely determined &#34;flat normal forms&#34; (for a small number of crossing points of the given flat knot diagram). The paper concludes with two mathematical theorems, one reducing the knot recognition problem to the flat knot recognition problem, the other (due to S.V.Matveev) giving an easily computable complete system of invariants for the flat unknot knot equivalence problem.

AG-2010.09-664

math.GT

What is a sequence of Nilsson type?

Stavros Garoufalidis

Sequences of Nilsson type appear in abundance in Algebraic Geometry, Enumerative Combinatorics, Mathematical Physics and Quantum Topology. We give an elementary introduction on this subject, including the definition of sequences of Nilsson type and the uniqueness, existence, and effective computation of their asymptotic expansion.

AG-2010.08-792

math.GT

Asymptotic properties of the quantum representations of the mapping class group

Laurent Charles

We establish various results on the large level limit of projective quantum representations of surface mapping class groups obtained by quantizing moduli spaces of flat SU(n)-bundle. Working with the metaplectic correction, we proved that these projective representations lift to asymptotic representations. We show that the operators in these representations are Fourier integral operators and determine explicitly their canonical relations and symbols. We deduce from these facts the Egorov property and the asymptotic unitarity, two results already proved by J.E. Andersen. Furthermore we show under a transversality assumption that the characters of these representations have an asymptotic expansion. The leading order term of this expansion agrees with the formula derived heuristically by E. Witten in &#34;Quantum field theory and the Jones polynomial&#34;.

AG-2010.08-130

math.GT

The `Holiverse&#39;: holistic eversion of the 2-sphere in $\R^3$

Iain R. Aitchison

We give a short, simple and conceptual proof, based on spin structures, of sphere eversion: an embedded 2-sphere in $R^3$ can be turned inside out by regular homotopy. Ingredients of this eversion are seamlessly connected. We also give the mathematical origins of the proof: the Hopf fibration, and the topological structure of real-projective 3-space.

AG-2010.06-519

math.GT

Knots and tropical curves

Stavros Garoufalidis

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.

AG-2010.05-546

math.GT

Asymptotic properties of the quantum representations of the modular group

Laurent Charles

We study the asymptotic behaviour of the quantum representations of the modular group in the large level limit. We prove that each element of the modular group acts as a Fourier integral operator. This provides a link between the classical and quantum Chern-Simons theories for the torus. From this result we deduce the known asymptotic expansion of the Witten-Reshetikhin-Turaev invariants of the torus bundles with hyperbolic monodromy.

AG-2010.05-3140

math.GT

Refocusing of Light Rays in Space-Time

Paul Kinlaw

We investigate refocusing and strong refocusing of light rays in a space-time. A strongly refocusing space-time is refocusing. The converse is unknown. We construct examples of space-times which are refocusing, but not strongly so, at a particular point. These space-times are strongly refocusing at other points. The geometrization conjecture proved by Perelman implies that a globally hyperbolic refocusing space-time of dimension $\leq 4$ admits a strongly refocusing Lorentz metric. We show that the possibly empty set of points at which a strongly causal space-time is refocusing is closed. We prove that a Lorentz covering space of a strongly causal refocusing space-time is a strongly causal refocusing space-time. This generalizes the result of Chernov and Rudyak for globally hyperbolic space-times.

AG-2010.04-1853

math.GT

A Euclidean Geometric Invariant of Framed (Un)Knots in Manifolds

Jérôme Dubois, Igor G. Korepanov, Evgeniy V. Martyushev

We present an invariant of a three-dimensional manifold with a framed knot in it based on the Reidemeister torsion of an acyclic complex of Euclidean geometric origin. To show its nontriviality, we calculate the invariant for some framed (un)knots in lens spaces. Our invariant is related to a finite-dimensional fermionic topological quantum field theory.

AG-2010.03-2539

math.GT

Quantum Field Theory and the Volume Conjecture

Tudor Dimofte, Sergei Gukov

The volume conjecture states that for a hyperbolic knot K in the three-sphere S^3 the asymptotic growth of the colored Jones polynomial of K is governed by the hyperbolic volume of the knot complement S^3\K. The conjecture relates two topological invariants, one combinatorial and one geometric, in a very nonobvious, nontrivial manner. The goal of the present lectures is to review the original statement of the volume conjecture and its recent extensions and generalizations, and to show how, in the most general context, the conjecture can be understood in terms of topological quantum field theory. In particular, we consider: a) generalization of the volume conjecture to families of incomplete hyperbolic metrics; b) generalization that involves not only the leading (volume) term, but the entire asymptotic expansion in 1/N; c) generalization to quantum group invariants for groups of higher rank; and d) generalization to arbitrary links in arbitrary three-manifolds.

AG-2010.01-1108

math.GT

Topological Quantum Information, Khovanov Homology and the Jones Polynomial

Louis H. Kauffman

In this paper we give a quantum statistical interpretation for the bracket polynomial state sum <K> and for the Jones polynomial. We use this quantum mechanical interpretation to give a new quantum algorithm for computing the Jones polynomial. This algorithm is useful for its conceptual simplicity, and it applies to all values of the polynomial variable that lie on the unit circle in the complex plane. Letting C(K) denote the Hilbert space for this model, there is a natural unitary transformation U from C(K) to itself such that <K> = <F|U|F> where |F> is a sum over basis states for C(K). The quantum algorithm arises directly from this formula via the Hadamard Test. We then show that the framework for our quantum model for the bracket polynomial is a natural setting for Khovanov homology. The Hilbert space C(K) of our model has basis in one-to-one correspondence with the enhanced states of the bracket state summmation and is isomorphic with the chain complex for Khovanov homology with coefficients in the complex numbers. We show that for the Khovanov boundary operator d defined on C(K) we have the relationship dU + Ud = 0. Consequently, the unitary operator U acts on the Khovanov homology, and we therefore obtain a direct relationship between Khovanov homology and this quantum algorithm for the Jones polynomial. The formula for the Jones polynomial as a graded Euler characteristic is now expressed in terms of the eigenvalues of U and the Euler characteristics of the eigenspaces of U in the homology. The quantum algorithm given here is inefficient, and so it remains an open problem to determine better quantum algorithms that involve both the Jones polynomial and the Khovanov homology.

AG-2009.07-499

math.GT

Multi Black Holes and Earthquakes on Riemann surfaces with boundaries

Francesco Bonsante, Kirill Krasnov, Jean-Marc Schlenker

We prove an &#34;Earthquake Theorem&#34; for hyperbolic metrics with geodesic boundary on a compact surfaces $S$ with boundary: given two hyperbolic metrics with geodesic boundary on a surface with $k$ boundary components, there are $2^k$ right earthquakes transforming the first in the second. An alternative formulation arises by introducing the enhanced Teichmueller space of S: We prove that any two points of the latter are related by a unique right earthquake. The proof rests on the geometry of ``multi-black holes&#39;&#39;, which are 3-dimensional anti-de Sitter manifolds, topologically the product of a surface with boundary by an interval.

AG-2009.03-226

math.GT

Cyclic Foam Topological Field Theories

S. M. Natanzon

This paper proposes an axiomatic for Cyclic Foam Topological Field theories. That is Topological Field theories, corresponding to String theories, where particles are arbitrary graphs. World surfaces in this case are two-manifolds with one-dimensional singularities. We proved that Cyclic Foam Topological Field theories one-to-one correspond to graph-Cardy-Frobenius algebras, that are families $(A,B_\star,ϕ)$, where $A=\{A^s|s\in S\}$ are families of commutative associative Frobenius algebras, $B_\star = \bigoplus_{σ\inΣ} B_σ$ is an graduated by graphes, associative algebras of Frobenius type and $ϕ=\{ϕ_σ^s: A^s\to (B_σ)|s\in S,σ\in Σ\}$ is a family of special representations. There are constructed examples of Cyclic Foam Topological Field theories and its graph-Cardy-Frobenius algebras

AG-2007.02-127

math.GT

On the topology of T-duality

Ulrich Bunke, Thomas Schick

In string theory, the concept of T-duality between two principal U(1)-bundles E_1 and E_2 over the same base space B, together with cohomology classes $h_1\in H^3(E_1)$ and $h_2\in H^3(E_2)$, has been introduced. One of the main virtues of T-duality is that $h_1$-twisted K-theory of $E_1$ is isomorphic to $h_2$-twisted K-theory of $E_2$. In this paper, a new, very topological concept of T-duality is introduced. The study pairs (E,h) as above from a topological point of view and construct a classifying space of such pairs. Using this, we construct a universal dual pair to a given pair. Our construction immediately gives a number of known and new properties of the dual. In particular it implies existence of a dual of any pair (E,h), and it also describes the ambiguity upto which the dual is well defined. In order to deal with twisted K-theory, some care is needed, in particular when dealing with naturality questions, because the twisted K-theory depends on the explicit model for the twists and the twisted theory --care which is missing in some of the existing literature. We illustrate the use of T-duality by some explicit calculations of twisted K-groups.

AG-2006.06-041

math.GT

T-duality for non-free circle actions

Ulrich Bunke, Thomas Schick

We study the topology of T-duality for pairs of U(1)-bundles and three-dimensional integral cohomology classes over orbispaces. In particular, our results apply to U(1)-spaces with finite isotropy. We generalize the theory developed in our previous paper math.GT/0405132 from spaces to orbispaces.

AG-2006.05-156

math.GT

Refined Analytic Torsion as an Element of the Determinant Line

Maxim Braverman, Thomas Kappeler

We construct a canonical element, called the refined analytic torsion, of the determinant line of the cohomology of a closed oriented odd-dimensional manifold M with coefficients in a flat complex vector bundle E. We compute the Ray-Singer norm of the refined analytic torsion. In particular, if there exists a flat Hermitian metric on E, we show that this norm is equal to 1. We prove a duality theorem, establishing a relationship between the refined analytic torsions corresponding to a flat connection and its dual.

AG-2005.04-180

math.GT

Classical and quantum dilogarithmic invariants of flat PSL(2,C)-bundles over 3-manifolds

Stephane Baseilhac, Riccardo Benedetti

We introduce a family of matrix dilogarithms, which are automorphisms of C^N tensor C^N, N being any odd positive integer, associated to hyperbolic ideal tetrahedra equipped with an additional decoration. The matrix dilogarithms satisfy fundamental five-term identities that correspond to decorated versions of the 2 --> 3 move on 3-dimensional triangulations. Together with the decoration, they arise from the solution we give of a symmetrization problem for a specific family of basic matrix dilogarithms, the classical (N=1) one being the Rogers dilogarithm, which only satisfy one special instance of five-term identity. We use the matrix dilogarithms to construct invariant state sums for closed oriented 3-manifolds $W$ endowed with a flat principal PSL(2,C)-bundle rho, and a fixed non empty link L if N>1, and for (possibly &#34;marked&#34;) cusped hyperbolic 3-manifolds M. When N=1 the state sums recover known simplicial formulas for the volume and the Chern-Simons invariant. When N>$, the invariants for M are new; those for triples (W,L,rho) coincide with the quantum hyperbolic invariants defined in [Topology 43 (2004) 1373-1423], though our present approach clarifies substantially their nature. We analyse the structural coincidences versus discrepancies between the cases N=1 and N>1, and we formulate &#34;Volume Conjectures&#34;, having geometric motivations, about the asymptotic behaviour of the invariants when N tends to infinity.

AG-2004.08-134

math.GT

Combinatorial Miller-Morita-Mumford classes and Witten cycles

Kiyoshi Igusa

We obtain a combinatorial formula for the Miller-Morita-Mumford classes for the mapping class group of punctured surfaces and prove Witten&#39;s conjecture that they are proportional to the dual to the Witten cycles. The proportionality constant is shown to be exactly as conjectured by Arbarello and Cornalba [J. Alg. Geom. 5 (1996) 705-749]. We also verify their conjectured formula for the leading coefficient of the polynomial expressing the Kontsevich cycles in terms of the Miller-Morita-Mumford classes.

AG-2004.06-108

math.GT

Feynman diagrams for pedestrians and mathematicians

Michael Polyak

This is a simple mathematical introduction into Feynman diagram technique, which is a standard physical tool to write perturbative expansions of path integrals near a critical point of the action. I start from a rigorous treatment of a finite dimensional case (which actually belongs more to multivariable calculus than to physics), and then use a simple &#34;dictionary&#34; to translate these results to an infinite dimensional case. The standard methods such as gauge-fixing and Faddeev-Popov ghosts are also included. Resulting Feynman diagram series often may be used rigorously without any references to the initial physical theory (which one may &#34;sweep under the carpet&#34;). This idea is illustrated on an example of the Chern-Simons theory, which leads to universal finite type invariants of knots and 3-manifolds.

AG-2003.07-168

math.GT

Quantum SU(2) faithfully detects mapping class groups modulo center

Michael H. Freedman, Kevin Walker, Zhenghan Wang

The Jones-Witten theory gives rise to representations of the (extended) mapping class group of any closed surface Y indexed by a semi-simple Lie group G and a level k. In the case G=SU(2) these representations (denoted V_A(Y)) have a particularly simple description in terms of the Kauffman skein modules with parameter A a primitive 4r-th root of unity (r=k+2). In each of these representations (as well as the general G case), Dehn twists act as transformations of finite order, so none represents the mapping class group M(Y) faithfully. However, taken together, the quantum SU(2) representations are faithful on non-central elements of M(Y). (Note that M(Y) has non-trivial center only if Y is a sphere with 0, 1, or 2 punctures, a torus with 0, 1, or 2 punctures, or the closed surface of genus = 2.) Specifically, for a non-central h in M(Y) there is an r_0(h) such that if r>= r_0(h) and A is a primitive 4r-th root of unity then h acts projectively nontrivially on V_A(Y). Jones&#39; [J] original representation rho_n of the braid groups B_n, sometimes called the generic q-analog-SU(2)-representation, is not known to be faithful. However, we show that any braid h not= id in B_n admits a cabling c = c_1,...,c_n so that rho_N (c(h)) not= id, N=c_1 + ... + c_n.

AG-2002.10-156

math.GT

Configuration spaces and Vassiliev classes in any dimension

Alberto S. Cattaneo, Paolo Cotta-Ramusino, Riccardo Longoni

The real cohomology of the space of imbeddings of S^1 into R^n, n>3, is studied by using configuration space integrals. Nontrivial classes are explicitly constructed. As a by-product, we prove the nontriviality of certain cycles of imbeddings obtained by blowing up transversal double points in immersions. These cohomology classes generalize in a nontrivial way the Vassiliev knot invariants. Other nontrivial classes are constructed by considering the restriction of classes defined on the corresponding spaces of immersions.