Abstract
We prove that the twisted Reidemeister torsion of a 3-manifold corresponding to a fibered class is monic and we show that it gives lower bounds on the Thurston norm. The former fixes a flawed proof in Friedl and Vidussi (2010), the latter gives a quick alternative argument for the main theorem of Friedl and Kim (Topology 45:929–953, 2006).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A 3-manifold pair is a pair \((N,\phi )\) which consists of an orientable, connected, compact \(3\)-manifold \(N\) with empty or toroidal boundary and a primitive class \(\phi \in H^1(N;\mathbb Z ) = \hbox {Hom}(\pi _1(N),\mathbb Z )\). The Thurston norm (see [15]) of \(\phi \) is defined as
Here, given a surface \(\Sigma \) with connected components \(\Sigma _1\cup \cdots \cup \Sigma _k\), we define
We furthermore say that \(\phi \) is a fibered class if there exists a fibration \(p:N\rightarrow S^1\) such that the induced map \(p_*:\pi _1(N)\rightarrow \pi _1(S^1)=\mathbb Z \) coincides with \(\phi \).
The Thurston norm can be viewed as a generalization of the genus of a knot and fibered classes are a generalization of fibered knots. It is well known that the Alexander polynomial of a knot contains information about the knot genus and about fiberedness.
This relationship has been generalized lately to twisted invariants. Recall that given a \(3\)-manifold pair \((N,\phi )\) and a representation \(\alpha :\pi _1(N)\rightarrow \hbox {GL}(k,R)\) over a domain \(R\) we can consider the twisted Reidemeister torsion \(\tau (N,\phi \otimes \alpha )\in Q(t)\), where \(Q(t)\) is the quotient field of \(R[t^{\pm 1}]\). Note that \(\tau (N,\phi \otimes \alpha )\in Q(t)\) is well-defined up to multiplication by an element in \(Q(t)\) of the form \(\pm rt^k\) where \(r\in \mathrm{det }(\alpha (\pi _1(N)))\) and \(k\in \mathbb Z \). We refer to Sects. 2.1 and 2.2 and to [5] for details. This invariant can be viewed as the generalization of the Alexander polynomial of a knot and it is closely related to the twisted Alexander polynomials of Lin [12] and Wada [19]. See [11] and [5] for details.
Given
with \(a_r,a_s\ne 0\) we define \(\deg (f(t))=s-r\). We furthermore say \(f(t)\) is monic if \(a_r\) and \(a_s\) are equal to \(\pm 1\). Given \(f(t)=p(t)/q(t)\in Q(t)\setminus \{0\}\) we define
We say \(f(t)\in Q(t)\) is monic if it is the quotient of two monic polynomials in \(R[t^{\pm 1}]\).
We start out with the following result.
Theorem 1.1
Let \((N,\phi )\) be a fibered 3-manifold pair with \(N\ne S^1\times D^2\) and \(N\ne S^1\times S^2\). Let \({\alpha }:\pi _1(N)\rightarrow \hbox {GL}(k,R)\) be a representation. Then \(\tau (N,\phi \otimes \alpha ) \in Q(t)\) is monic and we have
The following special cases have been proved before:
-
1.
Cha [1] showed that twisted Alexander polynomials (which have in general a much larger indeterminacy) of fibered knots are monic.
-
2.
Goda et al. [9] showed that the twisted Reidemeister torsion of a fibered knot is monic, the same proof also works for any fibered \(3\)-manifold with non-trivial boundary.
-
3.
In [3] it is shown that twisted Alexander polynomials of fibered 3-manifolds are monic.
None of the above proofs can be extended in a clear way to provide a proof of Theorem 1.1. Theorem 1.1 was given in [5] and a sketch of a short proof was given. Unfortunately the sketch was too simple-minded and we now give a correct proof of this result.
In this paper we also give a quick proof of the following theorem which was first obtained in [3].
Theorem 1.2
Let \((N,\phi )\) be a 3-manifold pair and let \(\alpha :\pi _1(N)\rightarrow \hbox {GL}(k,R)\) be a representation over a domain \(R\). If \(\tau (N,\phi \otimes \alpha )\ne 0\), then
The proof in [3], as basically all proofs relating (twisted) Alexander polynomials to the knot genus and the Thurston norm, relies on a Mayer–Vietoris sequence which relates the (twisted) Alexander module to the homology of a Thurston norm minimizing surface. The proof we give in this paper is quite different. It uses an appropriately chosen CW-complex structure for \(N\) to calculate the twisted Reidemeister torsion. This approach allows us to give a proof which is considerably shorter than the proof in [3]. Our proof of Theorem 1.2 can also be easily adapted to give alternative proofs of [18, Theorem 1], [10, Theorem 10.1] and [2, Theorem 1.2].
Note that a converse to Theorem 1.2 was proved in [7] (or alternatively, see [4, Theorem 1] combined with [14, Theorem 1.1]), namely given a non-fibered class \(\phi \) there exists a representation \(\alpha \) such that \(\tau (N,\phi \otimes \alpha )\) is zero. (See also [6] for an earlier and weaker result.) Also, in [8] it is shown that if \(N\) is irreducible and not a closed graph manifold, e.g. if \(N\) is hyperbolic, then there exists a representation such that the twisted Reidemeister torsion detects the Thurston norm of a given \(\phi \).
Convention All manifolds are assumed to be connected, compact and oriented, unless it says specifically otherwise.
2 Definitions and preliminaries
2.1 Definition of twisted Reidemeister torsion
Let \(N\) be a 3-manifold and \(X\subset N\) a subspace. We write \(\pi =\pi _1(N)\). Let \(\gamma :\pi \rightarrow \hbox {GL}(k,Q)\) be a representation over a field \(Q\). We endow \(N\) with a finite CW-structure such that \(X\) is a subcomplex. We denote the universal cover of \(N\) by \(p:\tilde{N} \rightarrow N\) and we write \(\tilde{X}:=p^{-1}(X)\). Recall that there exists a canonical left \(\pi \)-action on the universal cover \(\tilde{N}\) given by deck transformations. We consider the cellular chain complex \(C_*(\tilde{N},\tilde{X})\) as a right \(\mathbb Z [\pi ]\)-module by defining \(\sigma \cdot g\mathrel {\mathop :}= g^{-1}\sigma \) for a chain \(\sigma \) and some \(g\in \pi \).
Using the representation \(\gamma \) we can view \(Q^k\) as a left module over \(\mathbb Z [\pi ]\). We can therefore consider the \(Q\)-complex
We now endow the free \(\mathbb Z [\pi ]\)-modules \(C_*(\tilde{N},\tilde{X})\) with a basis by picking lifts of the cells of \(N\setminus X\) to \(\tilde{N}\). Together with the canonical basis \(v_1,\ldots ,v_k\) for \(Q^k\) we can now view the \(Q\)-complex \(C_*(\tilde{N},\tilde{X})\otimes _\mathbb{Z [\pi ]}Q^k\) as a complex of based \(Q\)-vector spaces.
If this complex is not acyclic, then we define \(\tau (N,X,\gamma )=0\). Otherwise we denote by \(\tau (N,X,\gamma )\in Q\setminus \{0\}\) the Reidemeister torsion of this based \(Q\)-complex. We will not recall the definition of Reidemeister torsion, referring instead to the many excellent expositions, e.g. [13] and [16, 17]. (Note that we follow the convention of [16, 17], the torsion as in [13] is the multiplicative inverse of our torsion.) If \(X\) is the empty set, then we write of course \(\tau (N,\gamma )\) instead of \(\tau (N,X,\gamma )\).
It follows from standard arguments (cf. the above literature) that the Reidemeister torsion \(\tau (N,\gamma )\) is well-defined up to multiplication by an element of the form \(\pm r\) where \(r\in \mathrm{det }(\gamma (\pi ))\). Put differently, up to that indeterminacy \(\tau (N,\gamma )\) is independent of the choice of underlying CW-structure, the ordering of the cells and the choice of the lifts of the cells.
Note that \(\gamma \) extends to a map \(\gamma :\mathbb Z [\pi ]\rightarrow M(k\times k,Q)\). Given an \(r\times s\)-matrix \(A\) over \(\mathbb Z [\pi ]\) we denote by \(A_{\gamma }\) the \(rk\times sk\)-matrix which is given by applying \(\gamma \) to each entry of \(A\). If \(B\) is the matrix over \(\mathbb Z [\pi ]\) which represents the boundary map of \(C_i(\tilde{N},\tilde{X})\rightarrow C_{i-1}(\tilde{N},\tilde{X})\) with respect to the bases given by the lifts, then \(B_{\gamma }\) represents the boundary map of
with respect to the aforementioned bases.
2.2 Twisted Reidemeister torsion of manifold pairs
Let \((N,\phi )\) be a 3-manifold pair and let \(\alpha :\pi _1(N)\rightarrow \hbox {GL}(k,R)\) be a representation over a domain \(R\). We denote by \(Q\) the quotient field of \(R\). The representation \(\alpha \) and \(\phi :\pi _1(N)\rightarrow \mathbb Z \) then give rise to a tensor representation
Note that in this case \(\tau (N,\phi \otimes \alpha )\in Q(t)\) is well-defined up to multiplication by an element in \(Q(t)\) of the form \(\pm rt^k\) where \(r\in \mathrm{det }(\alpha (\pi _1(N)))\) and \(k\in \mathbb Z \). In particular if \(\alpha \) is a special linear representation, then \(\tau (N,\phi \otimes \alpha )\) is well-defined up to multiplication by an element of the form \(\pm t^k, k\in \mathbb Z \). Henceforth, when we give an equality for Reidemeister torsion we mean that there exists a representative for which the equality holds. Similarly, when we say that \(\tau (N,\phi \otimes \alpha )\) is monic, then we mean that there exists a representative which is monic.
The twisted Reidemeister torsion corresponding to a 3-manifold pair and a representation \(\alpha \) was first studied, with somewhat different definitions, by Lin [12], Wada [19] and Kitano [11]. We refer to the survey paper [5] for more information.
2.3 Turaev’s theorem
We will several times make use of the following theorem, which is easily seen to be a special case of [17, Theorem 2.2].
Theorem 2.1
Let \(Q\) be a field and let
be a complex. We pick a subset of rows from \(B_3\) and a subset of columns from \(B_1\) and we delete the corresponding columns and rows from \(B_2\) in such a way that we obtain square matrices \(A_3,A_2\) and \(A_1\). If \(\mathrm{det }(A_3)\ne 0\) and \(\mathrm{det }(A_1)\ne 0\), then
3 Proof of Theorem 1.1
Let \((N,\phi )\) be a fibered 3-manifold pair with \(N\ne S^1\times D^2\) and \(N\ne S^1\times S^2\). Let \(\alpha :\pi _1(N)\rightarrow \hbox {GL}(k,R)\) be a representation over a domain \(R\). We denote by \(\Sigma \) the fiber of the fibration and we denote by \(f:\Sigma \rightarrow \Sigma \) the monodromy. Note that our restriction on \(N\) implies that \(\Sigma \ne D^2\) and \(\Sigma \ne S^2\). Since \(\phi \) is primitive it follows that \(\Sigma \) is furthermore connected.
We henceforth identify \(N\) with \((\Sigma \times [0,2])/(x,0)\sim (f(x),2)\) and we identify \(\Sigma \) with \(\Sigma \times \{0\}\). We pick once and for all a base point \(P\) for \(N\) in \(\Sigma \times (1,2)\). We furthermore denote by \(\tilde{N}\) the universal cover of \(N\), which we identify with the set of homotopy classes of paths starting at the base point. We write \(\pi =\pi _1(N,P)\) and \(\Gamma :=\pi _1(\Sigma \times [1,2])\). We also pick a curve \(\mu \) based at \(P\) which intersects \(\Sigma \) precisely once and such that the intersection is positive. Note that \(\phi (\mu )=1\).
We now endow \(\Sigma \) with a CW-structure with exactly one \(0\)-cell \(d_0\) and exactly one \(2\)-cell \(d_{2}\). We denote by \(d_{11},\ldots ,d_{1n}\) the \(1\)-cells of \(\Sigma \). We can then endow \(N=(\Sigma \times [0,2])/\sim \) with a CW-structure by extending the product CW-structure on \(\Sigma \times [0,1]\) to a CW-structure on \(N\). Note that we can extend the CW-structure such that there are no \(0\)-cells in \(\Sigma \times (1,2)\)
and such that there is precisely one \(3\)-cell in \(\Sigma \times (1,2)\). (But note that in general one can not arrange the CW-structure on \(\Sigma \times [1,2]\) to be again a product structure.) Also note that we can arrange that there exists a \(1\)-cell \(f_1\) of \(\Sigma \times (1,2)\) such that \(\partial f=d_0\cup -\overline{d}_0\). Summarizing, we can endow \(N=(\Sigma \times [0,2])/(x,0)\sim (f(x),2)\) with a CW-structure where the cells are given as follows:
-
1.
\(d_{0}:=d_{0}\times \{0\}\) and \(\overline{d}_{0}:=d_0\times \{1\}\),
-
2.
\(d_{1j}:=d_{1j}\times \{0\}\) and \(\overline{d}_{1j}:=d_{1j}\times \{1\}\) for \(j=1,\ldots ,n\),
-
3.
\(d_{2}:=d_{2}\times \{0\}\) and \(\overline{d}_{2}:=d_2\times \{1\}\),
-
4.
\(e_1:=d_0\times (0,1)\),
-
5.
\(e_{2j}:=d_{1j}\times (0,1)\) for \(j=1,\ldots ,n\),
-
6.
\(e_3:=d_2\times (0,1)\),
-
7.
one \(1\)-cell \(f_1\) with \(\partial {f_{1}}=d_0\cup -\overline{d}_0\)
-
8.
one \(3\)-cell \(f_{3}\) in \(\Sigma \times (1,2)\),
together with a collection \(F_1\) of 1-cells in \(M:=\Sigma \times (1,2)\) and a collection \(F_2\) of \(2\)-cells in \(M\). For each cell we now pick a base point. Furthermore, for each cell in \(\Sigma \times [1,2]\) we pick a path in \(\Sigma \times [1,2]\) from the base point \(P\) to the chosen base points in the cells. We also pick paths in \(\Sigma \times (0,2]\) from the base point \(P\) to each cell in \(\Sigma \times (0,1)\) which intersect \(\Sigma =\Sigma \times \{0\}\) precisely once. Note that these paths define lifts of the cells to \(\tilde{N}\). By a slight abuse of notation we denote the lifts by the same symbols. Note that we can and will pick the orientation of our cells and the basings of our cells such that
for some \(z,x\in \Gamma \). We now write
For \(i=3,2,1,0\) we now equip the free \(\mathbb Z [\pi ]\)-modules \(C_i(\tilde{N})\) with the bases
Note that with respect to these bases the chain complex is now of the following form
Here we view the boundary matrices as block matrices corresponding in an obvious fashion to the blocks of basis vectors. Note that \(A,\overline{A}\) and \(B\) are matrices with entries in \(\mathbb Z [\Gamma ]\).
We now tensor this chain complex with the \(\mathbb Z [\pi ]\)-module \(Q(t)^k\). As discussed, the boundary matrices are then given by applying \(\phi \otimes \alpha \) to the above boundary matrices. We pick the rows of \(\partial _3\) corresponding to \(d_2\otimes v_1,\ldots ,d_2\otimes v_k\) and \(\overline{d}_2\otimes v_1,\ldots ,\overline{d}_2\otimes v_k\) and we pick the columns of \(\partial _1\) corresponding to \(e_1\otimes v_1,\ldots ,e_1\otimes v_k\) and \(f_1\otimes v_1,\ldots ,f_1\otimes v_k\). It now follows from Theorem 2.1 that
Note that \((\phi \otimes \alpha )(\mu )=t\alpha (\mu )\) and that \(\phi \) vanishes on \(\Gamma \). We thus obtain the following equality:
(Here and throughout the rest of the paper all calculations will be performed up to sign.) We will now prove the following claim.
Claim
There exist \(\overline{g},g\in \pi \) such that
We identify \(\Sigma \) with \(\Sigma \times \{0\}=\Sigma \times \{2\}\) and equip \(\overline{M}=\Sigma \times [1,2]\) with the base point \(P\). We denote by \(p:\widehat{\overline{M}}\rightarrow \overline{M}\) the universal covering of \(\overline{M}\) and we write \(\widehat{\Sigma }:=p^{-1}(\Sigma )\). Note that the cells \(d_{1j},\overline{d}_{1j}\) and \(f_{1j}\) in \(\tilde{N}\) are in fact naturally cells in \(\widehat{\overline{M}}\). For \(i=3,2,1,0\) we now equip \(C_*(\widehat{\overline{M}},\widehat{\Sigma })\) with the bases
It follows from the above that the chain complex \(C_*(\widehat{\overline{M}},\widehat{\Sigma })\) with the above bases is of the form
We again apply \(\alpha \) to the boundary matrices. We then pick the rows of \(\partial _3\) corresponding to \(\overline{d}_2\otimes v_1,\ldots ,\overline{d}_2\otimes v_k\) and we pick the columns of \(\partial _1\) corresponding to \(f_1\otimes v_1,\ldots ,f_1\otimes v_k\). It now follows from Theorem 2.1 that
On the other hand the inclusion map \(\Sigma \rightarrow M\) is a homotopy equivalence. Since the Whitehead group of a surface group is trivial (see e.g. [20, p .250]) this implies by [13] that the relative torsion is trivial for any coefficient system, i.e. \(\tau (M,S,\phi \otimes \alpha )=1\). We now see that \(\overline{g}=xz\) has the desired property. This concludes the proof of the first statement of the claim. The claim regarding the second matrix is proved exactly the same way.
We now return to the proof of the theorem. Note that the first and the third term in (1) are monic. The claim now implies that the middle term is also monic. Together this implies that \(\tau (N,\phi \otimes \alpha )\) is monic. Furthermore, it follows from (1) and the above claim that
Here the last equality follows from the well-known fact that a fiber is Thurston norm minimizing. (In fact this is also an immediate consequence of Theorem 1.2). This now concludes the proof of Theorem 1.1.
4 Proof of Theorem 1.2
Let \((N,\phi )\) be a 3-manifold pair and let \(\alpha :\pi _1(N)\rightarrow \hbox {GL}(k,R)\) be a representation over a domain \(R\). It follows easily from [18, Section 1] that we can find a surface \(\Sigma \subset N\) with components \(\Sigma _1,\ldots ,\Sigma _l\) and \(r_1,\ldots ,r_l\in \mathbb N \) with the following properties:
-
1.
\(r_1[\Sigma _1]+\ldots +r_l[\Sigma _l]\) is dual to \(\phi \),
-
2.
\(\sum _{i=1}^l -r_i\chi (\Sigma _i)=\Vert \phi \Vert _T\),
-
3.
\(N\setminus \Sigma \) is connected.
The proof of Theorem 1.2 proceeds in a similar fashion to the proof of Theorem 1.1 by picking a suitable CW-structure. Since the surface is now disconnected the notation becomes necessarily more heavy.
For \(i=1,\ldots ,l\) we pick disjoint oriented tubular neighborhoods \(\Sigma _i\times [-1,2]\) and we identify \(\Sigma _i\) with \(\Sigma _i\times \{0\}\). We write \(M:=N\setminus \cup _{i=1}^l \Sigma _i\times [0,1]\). We pick once and for all a base point \(P\) in \(M\) and we denote by \(\tilde{N}\) the universal cover of \(N\). We write \(\pi =\pi _1(N,P)\) and \(\Gamma :=\pi _1(M,P)\). For \(i=1,\ldots ,l\) we also pick a curve \(\mu _i\) based at \(P\) which intersects \(\Sigma _i\) precisely once in a positive direction and does not intersect any other component of \(\Sigma \). Note that \(\phi (\mu _i)=r_i\).
We now build a CW-structure on \(N\) as follows. For each \(i=1,\ldots ,l\) we first endow \(\Sigma _i\) with a CW-structure with exactly one \(0\)-cell \(d_0^i\), exactly one \(2\)-cell \(d_{2}^i\) and \(1\)-cells \(d_{11}^i,\ldots ,d_{1n_i}^i\). For \(i=1,\ldots ,l\) we then equip \(\Sigma _i\times [-1,0]\), \(\Sigma _i\times [0,1]\) and \(\Sigma _i\times [1,2]\) with product CW-structures. Since \(M\) is connected we can pick \(l\) disjoint curves which connect a point in \(d_2^i\times \{-1\}\) with a point in \(d_2^i\times \{2\}\). We use these curves to tube the \(3\)-cells \(d_2^i\times (-1,0)\) and \(d_2^i\times (1,2)\). We denote the resulting \(3\)-cells by \(f_3^1,\ldots ,f_3^l\). We then extend the CW-structure to a CW-structure on all of \(N\). Since \(M\) is connected we can arrange that there are no \(0\)-cells in \(M\). Furthermore, by ‘swallowing’ other \(3\)-cells we can in fact arrange that \(f_3^1,\ldots ,f_3^l\) are the only \(3\)-cells in \(M\). Finally we can arrange that for \(i=1,\ldots ,l\) there exists a \(1\)-cell \(f_1^i\) such that \(\partial f_1^i= d_0^i\cup -\overline{d}^i_0\). Summarizing, we can endow \(N\) with a CW-structure where for \(i=1,\ldots ,l\) we have the following cells:
-
1.
\(d^i_{0}:=d^i_{0}\times \{0\}\) and \(\overline{d}^i_{0}:=d^i_0\times \{1\}\),
-
2.
\(d^i_{1j}:=d^i_{1j}\times \{0\}\) and \(\overline{d}^i_{1j}:=d^i_{1j}\times \{1\}\) for \(j=1,\ldots ,n_i\),
-
3.
\(d^i_{2}:=d^i_{2}\times \{0\}\) and \(\overline{d}^i_{2}:=d^i_2\times \{1\}\),
-
4.
\(e^i_1:=d^i_0\times (0,1)\),
-
5.
\(e^i_{2j}:=d^i_{1j}\times (0,1)\) for \(j=1,\ldots ,n_i\),
-
6.
\(e^i_3:=d^i_2\times (0,1)\),
-
7.
one \(1\)-cell \(f_1^i\) in \(M\) with \(\partial {f_{1}^i}=d^i_0\cup -\overline{d}^i_0\),
-
8.
one \(3\)-cell \(f_3^i\) in \(M\) with
$$\begin{aligned} \partial f_3^i=\sum _{i=1}^ld_2^i-\overline{d}_2^i+\,\hbox {linear combination of cells in}\,M. \end{aligned}$$
and there is a collection \(F_1\) of \(1\)-cells in \(M\) and a collection \(F_2\) of \(2\)-cells in \(M\). For each cell we now pick a base point and for each cell in \(\overline{M}\) we pick a path in \(\overline{M}\) from the base point \(P\) to the chosen base points. Furthermore for each cell in \(\Sigma _i\times (0,1)\) we pick a path in \(M\cup \Sigma _i\times (0,2]\) from the cell to the base point \(P\). These paths define lifts of the cells to \(\tilde{N}\) and by a slight abuse of notation we denote the lifts again by the same symbols. Note that we can and will pick the orientation of our cells and the basings of our cells such that for \(i=1,\ldots ,l\) we have
and such that
where \(x_1,\ldots x_l\) and \(z_1,\ldots ,z_l\) lie in \(\Gamma \). For \(i=1,\ldots ,l\) we write
In the remaining discussion we now only consider the case \(l=2\) to simplify the notation. It should be obvious to the reader that the general case can be treated exactly the same way.
Note that the chain groups \(C_i(\tilde{N})\) are free \(\mathbb Z [\pi ]\)-modules. For \(i=3,2,1,0\) we now equip them with the bases
With respect to these bases the boundary maps are then given by the following matrices:
Here we view the boundary matrices as block matrices corresponding in an obvious fashion to the blocks of basis vectors. Note that all matrices marked by \(*\) are matrices with entries in \(\mathbb Z [\Gamma ]\).
We now tensor this chain complex with the \(\mathbb Z [\pi ]\)-module \(Q(t)^k\). The boundary matrices are then given by applying \(\phi \otimes \alpha \) to the above boundary matrices. We pick the rows of \(\partial _3\) corresponding to \(d_2^i\otimes v_j\) and \(\overline{d}_2^i\otimes v_j\) for \(i=1,2\), \(j=1,\ldots ,k\) and we pick the columns of \(\partial _1\) corresponding to \(e_1^i\otimes v_j\) and \(f_1^i\otimes v_j\) for \(i=1,2\), \(j=1,\ldots ,k\). It now follows from Theorem 2.1 that \(\tau (N,\phi \otimes \alpha )\) equals
Note that \((\phi \otimes \alpha )(\mu _i)=t^{r_i}\alpha (\mu _i)\). It follows that
is a polynomial of degree \(kr_1+kr_2\). The same argument shows that the degree of the determinant of the third matrix in the above calculation of \(\tau (N,\phi \otimes \alpha )\) equals \(kr_1+kr_2\). Also note that if we apply the representation \(\phi \otimes \alpha \) to a matrix over \(\mathbb Z [\Gamma ]\) we obtain a matrix with entries in \(Q\). Combining these observations we see that there exists a matrix \(A\) over \(Q\) such that
where \(P_i=(-\mu _i\mathrm{id }_{n_i})_\alpha \). Note that \(P_i\) is a \(kn_i\times kn_i\)-matrix over \(Q\). It is now elementary to see that
It follows that
This concludes the proof of Theorem 1.2.
References
Cha, J.: Fibred knots and twisted Alexander invariants. Trans. Am. Math. Soc. 355, 4187–4200 (2003)
Friedl, S.: Reidemeister torsion, the Thurston norm and Harvey’s invariants. Pac. J. Math. 230, 271–296 (2007)
Friedl, S., Kim, T.: Thurston norm, fibered manifolds and twisted Alexander polynomials. Topology 45, 929–953 (2006)
Friedl, S., Vidussi, S.: Symplectic \(S^{1} \times N^3\), surface subgroup separability, and vanishing Thurston norm. J. Am. Math. Soc. 21, 597–610 (2008)
Friedl, S., Vidussi, S.: A survey of twisted Alexander polynomials (with Stefano Vidussi). In: Banagl, M., Vogel, D. (eds.) The Mathematics of Knots: Theory and Application (Contributions in Mathematical and Computational Sciences), pp. 45–94. Springer, Berlin (2010)
Friedl, S., Vidussi, S.: Twisted Alexander polynomials detect fibered 3-manifolds. Ann. Math. 173, 1587–1643 (2011)
Friedl, S., Vidussi, S.: A vanishing theorem for twisted Alexander polynomials with applications to symplectic 4-manifolds. J. Eur. Math. Soc. (2012)
Friedl, S., Vidussi, S.: The Thurston norm and twisted Alexander polynomials. Journal für die reine und angewandte Mathematik. Preprint (2012)
Goda, H., Kitano, T., Morifuji, T.: Reidemeister torsion, twisted Alexander polynomial and fibred knots. Comment. Math. Helv. 80(1), 51–61 (2005)
Harvey, S.: Higher-order polynomial invariants of 3-manifolds giving lower bounds for the Thurston norm. Topology 44, 895–945 (2005)
Kitano, T.: Twisted Alexander polynomials and Reidemeister torsion. Pac. J. Math. 174(2), 431–442 (1996)
Lin, X.S.: Representations of knot groups and twisted Alexander polynomials. Acta Math. Sin. Engl. Ser. 17(3), 361–380 (2001)
Milnor, J.: Whitehead torsion. Bull. Am. Math. Soc. 72, 358–426 (1966)
Przytycki, P., Wise, D.: Separability of embedded surfaces in \(3\)-manifolds. arXiv:1210.7298 (2012)
Thurston, W.P.: A norm for the homology of 3-manifolds. Mem. Am. Math. Soc. 339, 99–130 (1986)
Turaev, V.: Reidemeister torsion in knot theory. Russ. Math. Surv. 41(1), 119–182 (1986)
Turaev, V.: Introduction to Combinatorial Torsions. Birkhäuser, Basel (2001)
Turaev, V.: A homological estimate for the Thurston norm, unpublished note. arXiv:math. GT/0207267. (2002)
Wada, M.: Twisted Alexander polynomial for finitely presentable groups. Topology 33(2), 241–256 (1994)
Waldhausen, F.: Algebraic K-theory of generalized free products II. Ann. Math. 108, 135–256 (1978)
Acknowledgments
We are grateful to Wolfgang Lück for pointing out the flawed argument in [5]. We also wish to thank Jérôme Dubois for helpful conversations and we are grateful to the referee for very carefully proofreading the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Friedl, S. Twisted Reidemeister torsion, the Thurston norm and fibered manifolds. Geom Dedicata 172, 135–145 (2014). https://doi.org/10.1007/s10711-013-9911-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-013-9911-9
Keywords
- Twisted Alexander polynomial
- Twisted Reidemeister torsion
- Wada’s invariant
- Thurston norm
- Fibered 3-manifolds