Given an oriented rational homology 3-sphere M, it is known how to associate to any Spin^c-structure σon M two quadratic functions over the linking pairing. One quadratic function is derived from the reduction modulo 1 of the Reidemeister-Turaev torsion of (M,σ), while the other one can be defined using the intersection pairing of an appropriate compact oriented 4-manifold with boundary M. In this paper, using surgery presentations of the manifold M, we prove that those two quadratic functions coincide. Our proof relies on the comparison between two distinct combinatorial descriptions of Spin^c-structures on M Turaev's charges vs Chern vectors.
We extend Turaev's theory of Euler structures and torsion invariants on 3-manifolds to the case of vector fields having generic behavior on the boundary. This allows to easily define gluings of Euler structures and to develop a completely general gluing formula for Reidemeister torsion of 3-manifolds. Lastly, we describe a combinatorial presentation of Euler structures via stream-spines, as a tool to effectively compute torsion.
We prove for the Reidemeister-Turaev torsion of closed oriented three-manifolds some finiteness properties in the sense of Goussarov and Habiro, that is, with respect to some cut-and-paste operations which preserve the homology type of the manifolds. In general, those properties require the manifolds to come equipped with an Euler structure and a homological parametrization.
We study lens space surgeries along two different families of 2-component links, denoted by $A_{m,n}$ and $B_{p,q}$, related with the rational homology 4-ball used in J.\ Park's (generalized) rational blow down. We determine which coefficient $r$ of the knotted component of the link yields a lens space by Dehn surgery. The link $A_{m,n}$ yields a lens space only by the known surgery with $r=mn$ and unexpectedly with $r=7$ for $(m,n)=(2,3)$. On the other hand, $B_{p,q}$ yields a lens space by infinitely many $r$. Our main tool for the proof is the Reidemeister-Turaev torsions, i.e.\ Reidemeiste…
Recently twisted and higher order Alexander polynomials were used by Cochran, Harvey, Friedl--Kim and Turaev to give lower bounds on the Thurston norm. We first show how Reidemeister torsion relates to these Alexander polynomials. We then give lower bounds on the Thurston norm in terms of the Reidemeister torsion which contain and extend all the above lower bounds and give an elegant reformulation of the bounds of Cochran, Harvey and Turaev. The Reidemeister torsion approach also gives a natural approach to proving and extending certain monotonicity results of Cochran and Harvey.
These notes accompany some lectures given at the autumn school "Tresses in Pau" in October 2009. The abelian Reidemeister torsion for 3-manifolds, and its refinements by Turaev, are introduced. Some applications, including relations between the Reidemeister torsion and other classical invariants, are surveyed.
We generalize Turaev's definition of torsion invariants of pairs $(M,ξ)$, where $M$ is a 3-dimensional manifold and $ξ$ is an Euler structure on $M$ (a non-singular vector field up to homotopy relative to the boundary of $M$ and local modifications in the interior of $M$). Namely, we allow $M$ to have arbitrary boundary and $ξ$ to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's $H_1(M)$-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) Legendrian links (in particular, knots) in contact …
We generalize Turaev's definition of torsion invariants of pairs (M,x), where M is a 3-dimensional manifold and x is an Euler structure on M (a non-singular vector field up to homotopy relative to bM and local modifications in int(M). Namely, we allow M to have arbitrary boundary and x to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's H_1(M)-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) pseudo-Legendrian knots (i.e. knots transversal to a given vector field), and hence to Legendria…
Both classical and virtual knots arise as formal Gauss diagrams modulo some abstract moves corresponding to Reidemeister moves. If we forget about both over/under crossings structure and writhe numbers of knots modulo the same Reidemeister moves, we get a dramatic simplification of virtual knots, which kills all classical knots. However, many virtual knots survive after this simplification. We construct invariants of these objects and present their applications to minimality problems of virtual knots as well as some questions related to graph-links. One can easily generalize these results for …
We prove duality theorems for twisted Reidemeister torsions and twisted Alexander polynomials generalizing the results of Turaev. As a corollary we determine the parity of the degrees of twisted Alexander polynomials of 3-manifolds in many cases.
We use Reidemeister torsion to study a twisted Alexander polynomial, as defined by Turaev, for links in the projective space. Using sign-refined torsion we derive a skein relation for a normalized form of this polynomial.
We study the asymptotic behavior of the Witten-Reshetikhin-Turaev invariant associated with the square of the $n$-th root of unity with odd $n$ for a Seifert fibered space obtained by an integral Dehn surgery along a torus knot. We show that it can be described as a sum of the Chern-Simons invariants and the twisted Reidemeister torsions both associated with representations of the fundamental group to the two-dimensional complex special linear group.
We study the behavior of the Witten-Reshetikhin-Turaev SU(2) invariants of links in L(p,q) as a function of the level r-2. They are given by 1 over the square root of r times one of p Laurent polynomials evaluated at e to the 2 pi i divided by 4pr. The congruence class of r modulo p determines which polynomial is applicable. If p is zero modulo four, the meridian of L(p,q) is non-trivial in the skein module but has trivial Witten-Reshetikhin-Turaev SU(2) invariants. On the other hand, we show that one may recover the element in the Kauffman bracket skein module of L(p,q) represented by a link …
We develop an explicit skein theoretical algorithm to compute the Alexander polynomial of a 3-manifold from a surgery presentation employing the methods used in the construction of quantum invariants of 3-manifolds. As a prerequisite we establish and prove a rather unexpected equivalence between the topological quantum field theory constructed by Frohman and Nicas using the intersection homology of U(1)-representation varieties on the one side and the combinatorially constructed Hennings-TQFT based on the quasitriangular Hopf algebra ${\cal N}=\Z/2\ltimes \ext *\R^2$ on the other side. We find…
We construct and study a new family of TQFTs based on nilpotent highest weight representations of quantum sl(2) at a root of unity indexed by generic complex numbers. This extends to cobordisms the non-semi-simple invariants defined in (arXiv:1202.3553) including the Kashaev invariant of links. Here the modular category framework does not apply and we use the ``universal construction''. Our TQFT provides a monoidal functor from a category of surfaces and their cobordisms into the category of graded finite dimensional vector spaces and their degree 0-morphisms and depends on the choice of a roo…
We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construct and closer related to the combinatorial Farber-Turaev torsion. In fact, the torsion quadratic form can be viewed as an analytic analogue of the Poincare-Reidemeister scalar product, introduced by Farber and Turaev. Moreover, it is also closely related to the complex analytic to…
Two link diagrams on compact surfaces are strongly equivalent if they are related by Reidemeister moves and orientation preserving homeomorphisms of the surfaces. They are stably equivalent if they are related by the two previous operations and adding or removing handles. Turaev and Turner constructed a link homology for each stable equivalence class by applying an unoriented topological quantum field theory (TQFT) to a geometric chain complex similar to Bar-Natan's one. In this paper, by using an unoriented homotopy quantum field theory (HQFT), we construct a link homology for each strong equ…
A linking pairing is a symetric bilinear pairing lambda: GxG --> Q/Z on a finite abelian group. The set of isomorphism classes of linking pairings is a non-cancellative monoid E under orthogonal sum, which is infinitely generated and infinitely related. We propose a new presentation of E that enables one to detect whether a linking pairing has a given orthogonal summand. The same method extends to the monoid Q of quadratic forms on finite abelian groups. We obtain a combinatorial classification of Q (that was previously known for groups of period 4). As applications, we describe explicitly 3-m…
We consider topological field theories that compute the Reidemeister-Milnor-Turaev torsion in three dimensions. These are the psl(1|1) and the U(1|1) Chern-Simons theories, coupled to a background complex flat gauge field. We use the 3d mirror symmetry to derive the Meng-Taubes theorem, which relates the torsion and the Seiberg-Witten invariants, for a three-manifold with arbitrary first Betti number. We also present the Hamiltonian quantization of our theories, find the modular transformations of states, and various properties of loop operators. Our results for the U(1|1) theory are in genera…
We formulate a very general conjecture relating the analytical invariants of a normal surface singularity to the Seiberg-Witten invariants of its link provided that the link is a rational homology sphere. As supporting evidence, we establish its validity for a large class of singularities: some rational and minimally elliptic (including the cyclic quotient and `polygonal') singularities, and Brieskorn-Hamm complete intersections. Some of the verifications are based on a result which describes (in terms of the plumbing graph) the Reidemeister-Turaev sign refined torsion (or, equivalently, the S…
If $C$ is a spherical fusion category, the string-net construction associates to each closed oriented surface $Σ$ the vector space $Z_\text{SN}(Σ)$ of linear combinations of $C$-labelled graphs on $Σ$ modulo local relations, in a way which is functorial with respect to orientation-preserving diffeomorphisms of surfaces. We show how to extend this assignment to a 3-dimensional topological quantum field theory (TQFT), by defining how the surgery generators in Juhász' presentation of the oriented 3-dimensional bordism category act on the string-net vector spaces. We show that the resulting TQFT, …
