Reidemeister torsion for linear representations and Seifert surgery on knots
We study an invariant of a -manifold which consists of Reidemeister torsion for linear representations which pass through a finite group. We show a Dehn surgery formula on this invariant and compute that of a Seifert manifold over . As a consequence we obtain a necessary condition for a result of Dehn surgery along a knot to be Seifert fibered, which can be applied even in a case where abelian Reidemeister torsion gives no information.
Key words and phrases:Reidemeister torsion, Dehn surgery, Seifert fibered space
2000 Mathematics Subject Classification:Primary 57M27, Secondary 55R55, 57Q10
Let be a knot in a homology -sphere and the complement of an open tubular neighborhood of . We denote by the result of -surgery along for an irreducible fraction . The aim of the paper is to give a necessary condition for to be a certain closed -manifold, in particular a Seifert manifold, using Reidemeister torsion for linear representations.
It is known that the Alexander polynomial of has useful information on Dehn surgery. In  and  Kadokami used abelian Reidemeister torsion to provide obstructions to lens surgery and Seifert surgery in terms of . In ,  and  Ozsváth-Szabó and Kronheimer-Mrowka-Ozsváth-Szabó gave other obstructions for to lens surgery and Seifert surgery in terms of the Heegaard Floer homology of , the knot Floer homology of and the Monopole Floer homology of , which deduce those in terms of . It is of interest to investigate information on Dehn surgery that Reidemeister torsion for linear representations has. Reidemeister torsion of coincides with a twisted Alexander invariant of up to multiplication of units. See , ,  and  for the definition of twisted Alexander invariants and the relation with Reidemeister torsion.
We fix orientations of and the ambient homology sphere. Let be a closed connected -manifold with and a linear representation over a field of a finite group . All homology groups and cohomology groups are with respect to integral coefficients unless specifically noted. First we define an invariant of for , where acts on by
for and , and an invariant of for a surjection , where is a primitive -root of (Definition 3.3). These invariants are sets which consist of Reidemeister torsion of and respectively for representations which pass through surjectively. The pair corresponds with the images of longitudinal and meridional elements by the representations. It is worth pointing out that for , if we know all surjective homomorphisms from to , is combinatorially computable from a presentation of as Reidemeister torsion is. We establish a Dehn surgery formula which computes from with (Theorem 3.4). Therefore by this formula we obtain a necessary condition for to be homeomorphic to if we have . Next we compute the invariant for a Seifert manifold over (Theorem 4.4). Note that every Seifert manifold which is a result of Dehn surgery along a knot has or as its base space. Finally as an application we consider the Kinoshita-Terasaka knot , whose Alexander polynomial is . We show that for any integer , is not homeomorphic to any Seifert manifold over with three singular fibers. In this case we can check that abelian Reidemeister torsion gives no information.
This paper is organized as follows. In the next section we give a brief exposition of fundamental facts about Reidemeister torsion. In Section we develop a key lemma of Reidemeister torsion on gluing a solid torus along a torus boundary. Furthermore we define the invariants and and describe a Dehn surgery formula on these invariants. Section is devoted to computations of for Seifert manifolds over . In the last section we apply these results to the Kinoshita-Terasaka knot.
2. Reidemeister torsion
For given bases and of a vector space, we denote by the determinant of the base change matrix from to .
Let be a commutative field and an acyclic chain complex of finite dimensional vector spaces over . For a basis of for , choosing a lift of in and combining it with , we obtain a basis of .
For a given basis of , we choose a basis of and define
It can be easily checked that does not depend on the choices of and .
The torsion has the following multiplicative property. Let
be a short exact sequence of acyclic chain complexes and , and bases of , and respectively. Choosing a lift of in and combining it with the image of in , we obtain a basis of .
Let be a connected finite CW-complex and a linear representation over a commutative ring . We regard as a left -module by
where and . Then we define the twisted homology group and the twisted cohomology group of associated to as follows:
where is the universal covering of .
For a representation with , we define the Reidemeister torsion of associated to as follows. We choose a lift in for each cell of and a basis of . Then
For a representation with , we set .
It is known that does not depend on the choices of and and is a simple homotopy invariant.
3. A surgery formula
3.1. A gluing lemma
Let be a compact connected orientable 3-manifold whose boundary consists of tori and a 3-manifold obtained by gluing a solid torus to along a component of . We take a generator and a representation . Let us denote by and the homomorphisms and induced by the inclusion maps respectively.
If there exists such that , then
To prove this proposition we begin by collecting the following computations.
(i) The following conditions are equivalent.
(ii) If satisfies one of the conditions in (i), then
We only consider the case of . The proof for the case of is very similar. Taking the natural cell structure on with one 0-cell, two 1-cells and one 2-cell, one can identify with
Therefore vanishes if and only if and for appropriate choices of bases and ,
We define a representation of to be
where . Then we have an isomorphism
where , and .
Proof of Proposition 3.1.
We first prove that (a) vanishes if and only if (b) vanishes and (c) . By Lemma 3.2(i) and the Mayer-Vietoris long exact sequence we check at once that two of the conditions (a), (b) and (c) deduce the other one. Therefore it suffices to show that (a) deduce (c).
Let us assume that (a) holds and that . From the proof of Lemma 3.2 one can see that . By the Mayer-Vietoris long exact sequence we obtain . If , then collapses onto a 2-dimensional subcomplex, which contradicts it. If is closed, then by Poincaré duality, (3.1) and the universal coefficient theorem we have
However, there exists such that , and so , a contradiction.
3.2. Description of the formula
Fix a finite group . For a group , we denote by the set of conjugacy classes of surjective homomorphisms from to . Let be an oriented smooth knot in an oriented homology -sphere. We take a longitude-meridian pair , which is compatible with the orientations of and the ambient space and define the abelianization map which maps to .
Let be a representation.
(i)For , we define to be the set of for such that , where is a representation which maps to .
(ii)For a closed connected 3-manifold with and a surjection , where is a primitive -root of , we define to be the set of for , where is defined as .
We take integers and such that . Let be a surjection which maps the image to . If for any such that and is not empty, and , then
This theorem easily follows from Proposition 3.1 and the following lemma.
Let be a surjection which maps to and a representation. If , then
Choose a triangulation of and maximal trees and in the -skeleton and in the dual -skeleton respectively. Collapsing and all the -cells along , we have a -dimensional CW-complex which is simple homotopic to . Let us denote the number of -cells of by , then it follows from that there are -cells. We can arrange the chain complex of the form
and is a generator set of . If necessary, attaching one -cell and one -cell along the word of in , we can assume that . Let be the result of deleting st row of the matrix of .
First we assume that vanishes. Then and deduce , and so , where is the -dimensional matrix with entries in which is the result that linearly operates all the entries of and is defined similarly. This gives . Since , we obtain . Considering
we can see that vanishes. In this case we have
Now assume that vanishes and that . Then , and so the same argument as above shows that vanishes. These prove the lemma. ∎
4. Torsion of Seifert manifolds
In this section we compute the invariant for a Seifert manifold over .
Let be the link in represented in Figure 1 and the exterior of an open tubular neighborhood of . We denote by the 3-manifold which has a surgery description shown in Figure 1 and take integers and such that for . We assume that and that for .
From the diagram we have presentations of and as follows:
We fix a finite group . The group acts on by
for and .
We define to be the set of such that
where is the center of .
The map which maps to is bijective.
The proof is straightforward from (4.2).
Let be a representation. If , then
Let be a representation and a surjection, which maps to and to for . If for any , , then
In  Kitano gave a formula which computes for a general Seifert manifold and an irreducible representation such that vanishes.
Let be the Kinoshita-Terasaka knot illustrated in Figure 2. It is well known that . As an application we show that is not homeomorphic to for any integer and any pair .
For example, let us consider , whose st homology group is . We set . Since we can compute that
for any surjection . Furthermore Lemma 4.3 yields
for any surjection , hence abelian Reidemeister torsion gives no information in this case.
First we have the following data on . By direct computations we obtain
where is the alternating group on letters. Let be the representation induced by the natural action of the symmetric group on . Then we computes that
for any surjection .
Second we have the following lemma on .
Let be a surjection, which maps to . If , then for any ,
By Theorem 4.4 there exist and for such that
Note that . The possible values of are , , and these of are , , , , , which proves the lemma. ∎
Now let us suppose that is homeomorphic to . Since we have
By direct computations these are equivalent to the conditions that () we cannot realize that
by permuting the indices and that only one of the following holds:
In the case (i) we have from (5.4). If , then (iii) also holds. If , then (0) does not hold. In the case (ii) we have from (5.4), and (iv) also holds. In the case (iv) (5.4) does not hold. Therefore we only have to consider the case (iii).
Let us assume (iii). If , then (i) also holds, hence . Since
where is an integer such that for ,
if , then for all , and cannot be surjective.
Therefore and , in consequence, the assumption of Lemma 5.1 is satisfied.
Comparing (5.3) and Lemma 5.1, we have a contradiction, and we obtain the desired conclusion.
Acknowledgement. The author would like to express his gratitude to Toshitake Kohno for his encouragement and helpful suggestions. He also would like to thank Hiroshi Goda, Teruhisa Kadokami, Takayuki Morifuji, Masakazu Teragaito and Yuichi Yamada for fruitful discussions and advices. This research is supported by JSPS Research Fellowships for Young Scientists.
- T. Kadokami, Reidemeister torsion and lens surgeries on knots in homology -spheres. I, Osaka J. Math. 43 (2006) 823–837.
- T. Kadokami, Reidemeister torsion of Seifert fibered homology lens spaces and Dehn surgery, Alg. Geom. Topol. 7 (2007) 1509-1529.
- P. Kirk and C. Livingston, Twisted Alexander invariants, Reidemeister torsion and Casson-Gordon invariants, Topology 38 (1999) 635–661.
- T. Kitano, Twisted Alexander polynomial and Reidemeister torsion, Pacific J. Math. 174 (1996) 431–442.
- T. Kitano, Reidemeister torsion of Seifert fibered spaces for -representations, Kobe J. Math. 13 (1996) 133–144.
- P. Kronheimer, T. Mrowka, P. Ozsváth and Z. Szabó, Monopoles and lens space surgeries, Ann. of Math. 165 (2007) 457–546.
- X. S. Lin, Representations of knot groups and twisted Alexander polynomials, Acta Math. Sin. (Engle. Ser.) 17 (2001) 361–380.
- J. Milnor, Whitehead torsion, Bull. Amer. Math. Soc. 72 (1966) 358–426.
- P. Ozsváth and Z. Szabó, On Heegaard Floer homology and Seifert fibered surgeries, Geom. Topol. Monogr. 7 (2004) 181–203.
- P. Ozsváth and Z. Szabó, On knot Floer homology and lens space surgeries, Topology 44 (2005) 1281–1300.
- V. Turaev, Introduction to combinatorial torsions, Lectures in Mathematics, ETH Zürich (2001).
- M. Wada, Twisted Alexander polynomial for finitely presentable groups, Topology 33 (1994) 241–256.