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 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.
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^…
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.
The set $\mathit{RT}(M)$ of values of the $\mathit{SL}(2,\mathbb{C})$-Reidemeister torsion of a 3-manifold $M$ can be both finite and infinite. We prove that $\mathit{RT}(M)$ is a finite set if $M$ is the splice of two certain knots in the 3-sphere. The proof is based on an observation on the character varieties and $A$-polynomials of knots.
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 state a simple criterion to prove the infiniteness of the image of Reshetikhin-Turaev irreducible representations of the mapping class groups of surfaces. We use it to study some of the Reshetikhin-Turaev representations associated to the tori with one and two punctures and derive an alternative proof of a result of Funar.
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…
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 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…
This survey covers some of the results contained in the papers by Costantino, Geer and Patureau (https://arxiv.org/abs/1202.3553) and by Blanchet, Costantino, Geer and Patureau (https://arxiv.org/abs/1404.7289). In the first one the authors construct two families of Reshetikhin-Turaev-type invariants of 3-manifolds, $\mathrm{N}_r$ and $\mathrm{N}^0_r$, using non-semisimple categories of representations of a quantum version of $\mathfrak{sl}_2$ at a $2r$-th root of unity with $r \geqslant 2$. The secondary invariants $\mathrm{N}^0_r$ conjecturally extend the original Reshetikhin-Turaev quantum …
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…
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…
