Concordance and mutation

Kirk, Paul A¹ ; Livingston, Charles¹

¹ Department of Mathematics, Indiana University, Bloomington, Indiana 47405, USA

Geometry & topology, Tome 5 (2001) no. 2, pp. 831-883.

Résumé

We provide a framework for studying the interplay between concordance and positive mutation and identify some of the basic structures relating the two.

The fundamental result in understanding knot concordance is the structure theorem proved by Levine: for $n>1$ there is an isomorphism $\varphi$ from the concordance group ${\mathcal{C}}_n$ of knotted $\left(2n-1\right)$–spheres in $S^{2n+1}$ to an algebraically defined group ${\mathcal{G}}_{\pm }$; furthermore, ${\mathcal{G}}_{\pm }$ is isomorphic to the infinite direct sum ${\mathbb{Z}}^{\infty }\oplus {\mathbb{Z}}_2^{\infty }\oplus {\mathbb{Z}}_4^{\infty }$. It was a startling consequence of the work of Casson and Gordon that in the classical case the kernel of $\varphi$ on ${\mathcal{C}}_1$ is infinitely generated. Beyond this, little has been discovered about the pair $\left({\mathcal{C}}_1,\varphi \right)$.

In this paper we present a new approach to studying ${\mathcal{C}}_1$ by introducing a group, $\mathcal{ℳ}$, defined as the quotient of the set of knots by the equivalence relation generated by concordance and positive mutation, with group operation induced by connected sum. We prove there is a factorization of $\varphi$, ${\mathcal{C}}_1\stackrel{{\varphi }_1}{\to }\mathcal{ℳ}\stackrel{{\varphi }_2}{\to }{\mathcal{G}}_{-}$. Our main result is that both maps have infinitely generated kernels.

Among geometric constructions on classical knots, the most subtle is positive mutation. Positive mutants are indistinguishable using classical abelian knot invariants as well as by such modern invariants as the Jones, Homfly or Kauffman polynomials. Distinguishing positive mutants up to concordance is a far more difficult problem; only one example has been known until now. The results in this paper provide, among other results, the first infinite families of knots that are distinct from their positive mutants, even up to concordance.

Détail

DOI : 10.2140/gt.2001.5.831

Keywords: knot theory, concordance, mutation

Bibliographie

[1] S Akbulut, R Kirby, Branched covers of surfaces in 4–manifolds, Math. Ann. 252 (1979/80) 111

[2] M F Atiyah, V K Patodi, I M Singer, Spectral asymmetry and Riemannian geometry II, Math. Proc. Cambridge Philos. Soc. 78 (1975) 405

[3] G E Bredon, Introduction to compact transformation groups, Pure and Applied Mathematics 46, Academic Press (1972)

[4] G Burde, H Zieschang, Knots, de Gruyter Studies in Mathematics 5, Walter de Gruyter Co. (1985)

[5] A J Casson, C M Gordon, Cobordism of classical knots, from: "À la recherche de la topologie perdue", Progr. Math. 62, Birkhäuser (1986) 181

[6] A J Casson, C M Gordon, On slice knots in dimension three, from: "Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 2", Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc. (1978) 39

[7] J C Cha, K H Ko, On equivariant slice knots, Proc. Amer. Math. Soc. 127 (1999) 2175

[8] T D Cochran, R E Gompf, Applications of Donaldson's theorems to classical knot concordance, homology 3–spheres and property $P$, Topology 27 (1988) 495

[9] T D Cochran, K E Orr, P Teichner, Knot concordance, Whitney towers and $L^2$–signatures, Ann. of Math. $(2)$ 157 (2003) 433

[10] P E Conner, E E Floyd, Differentiable periodic maps, Ergebnisse der Mathematik und ihrer Grenzgebiete 33, Academic Press (1964)

[11] D Coray, F Michel, Knot cobordism and amphicheirality, Comment. Math. Helv. 58 (1983) 601

[12] S K Donaldson, An application of gauge theory to four-dimensional topology, J. Differential Geom. 18 (1983) 279

[13] R H Fox, A quick trip through knot theory, from: "Topology of 3–manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961)", Prentice-Hall (1962) 120

[14] R H Fox, J W Milnor, Singularities of 2–spheres in 4–space and cobordism of knots, Osaka J. Math. 3 (1966) 257

[15] M H Freedman, The topology of four-dimensional manifolds, J. Differential Geom. 17 (1982) 357

[16] M H Freedman, F Quinn, Topology of 4–manifolds, Princeton Mathematical Series 39, Princeton University Press (1990)

[17] P M Gilmer, Slice knots in $S^{3}$, Quart. J. Math. Oxford Ser. $(2)$ 34 (1983) 305

[18] P Gilmer, C Livingston, The Casson–Gordon invariant and link concordance, Topology 31 (1992) 475

[19] P Gilmer, C Livingston, Discriminants of Casson–Gordon invariants, Math. Proc. Cambridge Philos. Soc. 112 (1992) 127

[20] , Knot theory, Lecture Notes in Mathematics 685, Springer (1978)

[21] C M Herald, Flat connections, the Alexander invariant, and Casson's invariant, Comm. Anal. Geom. 5 (1997) 93

[22] C M Herald, Existence of irreducible representations for knot complements with nonconstant equivariant signature, Math. Ann. 309 (1997) 21

[23] M Heusener, J Kroll, Deforming abelian $\mathrm{SU}(2)$–representations of knot groups, Comment. Math. Helv. 73 (1998) 480

[24] B J Jiang, A simple proof that the concordance group of algebraically slice knots is infinitely generated, Proc. Amer. Math. Soc. 83 (1981) 189

[25] A Kawauchi, Topological imitation, mutation and the quantum $\mathrm{SU}(2)$ invariants, J. Knot Theory Ramifications 3 (1994) 25

[26] C Kearton, Mutation of knots, Proc. Amer. Math. Soc. 105 (1989) 206

[27] M A Kervaire, Knot cobordism in codimension two, from: "Manifolds–Amsterdam 1970 (Proc. Nuffic Summer School)", Lecture Notes in Mathematics 197, Springer (1971) 83

[28] R Kirby, Problems in low dimensional manifold theory, from: "Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 2", Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc. (1978) 273

[29] R Kirby, Problems in low-dimensional topology, from: "Geometric topology (Athens, GA, 1993)", AMS/IP Stud. Adv. Math. 2, Amer. Math. Soc. (1997) 35

[30] R C Kirby, W B R Lickorish, Prime knots and concordance, Math. Proc. Cambridge Philos. Soc. 86 (1979) 437

[31] P Kirk, C Livingston, Twisted knot polynomials: inversion, mutation and concordance, Topology 38 (1999) 663

[32] P Kirk, C Livingston, Twisted Alexander invariants, Reidemeister torsion, and Casson–Gordon invariants, Topology 38 (1999) 635

[33] J Levine, Knot cobordism groups in codimension two, Comment. Math. Helv. 44 (1969) 229

[34] J Levine, Invariants of knot cobordism, Invent. Math. 8 (1969) 98

[35] W B R Lickorish, Distinct 3–manifolds with all $\mathrm{SU}(2)_q$ invariants the same, Proc. Amer. Math. Soc. 117 (1993) 285

[36] R Litherland, A formula for the Casson–Gordon invariant of a knot, preprint (1980)

[37] R A Litherland, Cobordism of satellite knots, from: "Four-manifold theory (Durham, N.H., 1982)", Contemp. Math. 35, Amer. Math. Soc. (1984) 327

[38] C Livingston, Homology cobordisms of 3–manifolds, knot concordances, and prime knots, Pacific J. Math. 94 (1981) 193

[39] C Livingston, Knots which are not concordant to their reverses, Quart. J. Math. Oxford Ser. $(2)$ 34 (1983) 323

[40] C Livingston, Order 2 algebraically slice knots, from: "Proceedings of the Kirbyfest (Berkeley, CA, 1998)", Geom. Topol. Monogr. 2, Geom. Topol. Publ., Coventry (1999) 335

[41] C Livingston, S Naik, Obstructing four-torsion in the classical knot concordance group, J. Differential Geom. 51 (1999) 1

[42] R Meyerhoff, D Ruberman, Mutation and the $\eta$–invariant, J. Differential Geom. 31 (1990) 101

[43] R Myers, Homology cobordisms, link concordances, and hyperbolic 3–manifolds, Trans. Amer. Math. Soc. 278 (1983) 271

[44] H R Morton, P Traczyk, The Jones polynomial of satellite links around mutants, from: "Braids (Santa Cruz, CA, 1986)", Contemp. Math. 78, Amer. Math. Soc. (1988) 587

[45] D Mullins, The generalized Casson invariant for 2–fold branched covers of $S^3$ and the Jones polynomial, Topology 32 (1993) 419

[46] K Murasugi, On a certain numerical invariant of link types, Trans. Amer. Math. Soc. 117 (1965) 387

[47] K Murasugi, Knot theory and its applications, Birkhäuser (1996)

[48] S Naik, Casson–Gordon invariants of genus one knots and concordance to reverses, J. Knot Theory Ramifications 5 (1996) 661

[49] S Naik, Equivariant concordance of knots in $S^3$, from: "KNOTS '96 (Tokyo)", World Sci. Publ., River Edge, NJ (1997) 81

[50] J Porti, Torsion de Reidemeister pour les variétés hyperboliques, Mem. Amer. Math. Soc. 128 (1997)

[51] D Rolfsen, Knots and links, Mathematics Lecture Series 7, Publish or Perish (1976)

[52] Y W Rong, Mutation and Witten invariants, Topology 33 (1994) 499

[53] D Ruberman, Mutation and volumes of knots in $S^3$, Invent. Math. 90 (1987) 189

[54] L Rudolph, An obstruction to sliceness via contact geometry and “classical” gauge theory, Invent. Math. 119 (1995) 155

[55] J P Serre, Linear representations of finite groups, Graduate Texts in Mathematics 42, Springer (1977)

[56] A G Tristram, Some cobordism invariants for links, Proc. Cambridge Philos. Soc. 66 (1969) 251

[57] H F Trotter, On $S$–equivalence of Seifert matrices, Invent. Math. 20 (1973) 173

[58] H F Trotter, Non-invertible knots exist, Topology 2 (1963) 275

[59] K Walker, An extension of Casson's invariant, Annals of Mathematics Studies 126, Princeton University Press (1992)

[60] C T C Wall, Non-additivity of the signature, Invent. Math. 7 (1969) 269

[61] E Witten, Monopoles and four-manifolds, Math. Res. Lett. 1 (1994) 769