Noncommutative knot theory

Cochran, Tim D¹

¹Department of Mathematics, Rice University, 6100 Main Street, Houston TX 77005-1892, USA

Algebraic and Geometric Topology, Tome 4 (2004) no. 1, pp. 347-398

Résumé

The classical abelian invariants of a knot are the Alexander module, which is the first homology group of the the unique infinite cyclic covering space of S3 − K, considered as a module over the (commutative) Laurent polynomial ring, and the Blanchfield linking pairing defined on this module. From the perspective of the knot group, G, these invariants reflect the structure of G(1)∕G(2) as a module over G∕G(1) (here G(n) is the nth term of the derived series of G). Hence any phenomenon associated to G(2) is invisible to abelian invariants. This paper begins the systematic study of invariants associated to solvable covering spaces of knot exteriors, in particular the study of what we call the nth higher-order Alexander module, G(n+1)∕G(n+2), considered as a ℤ[G∕G(n+1)]–module. We show that these modules share almost all of the properties of the classical Alexander module. They are torsion modules with higher-order Alexander polynomials whose degrees give lower bounds for the knot genus. The modules have presentation matrices derived either from a group presentation or from a Seifert surface. They admit higher-order linking forms exhibiting self-duality. There are applications to estimating knot genus and to detecting fibered, prime and alternating knots. There are also surprising applications to detecting symplectic structures on 4–manifolds. These modules are similar to but different from those considered by the author, Kent Orr and Peter Teichner and are special cases of the modules considered subsequently by Shelly Harvey for arbitrary 3–manifolds.

Détail

DOI : 10.2140/agt.2004.4.347

Keywords: knot, Alexander module, Alexander polynomial, derived series, signature, Arf invariant

Bibliographie

[1] M F Atiyah, Elliptic operators, discrete groups and von Neumann algebras, from: "Colloque “Analyse et Topologie” en l'Honneur de Henri Cartan (Orsay, 1974)", Soc. Math. France (1976)

[2] M Boileau, S Wang, Non-zero degree maps and surface bundles over $S^1$, J. Differential Geom. 43 (1996) 789

[3] K S Brown, Cohomology of groups, Graduate Texts in Mathematics 87, Springer (1982)

[4] J C Cha, Fibred knots and twisted Alexander invariants, Trans. Amer. Math. Soc. 355 (2003) 4187

[5] T D Cochran, K E Orr, Homology boundary links and Blanchfield forms: concordance classification and new tangle-theoretic constructions, Topology 33 (1994) 397

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

[7] T D Cochran, K E Orr, P Teichner, Structure in the classical knot concordance group, Comment. Math. Helv. 79 (2004) 105

[8] T D Cochran, P Teichner, Knot concordance and von Neumann $\rho$–invariants, Duke Math. J. 137 (2007) 337

[9] P M Cohn, Skew fields, Encyclopedia of Mathematics and its Applications 57, Cambridge University Press (1995)

[10] P M Cohn, Free rings and their relations, London Mathematical Society Monographs 19, Academic Press (1985)

[11] J Cheeger, M Gromov, Bounds on the von Neumann dimension of $L^2$–cohomology and the Gauss–Bonnet theorem for open manifolds, J. Differential Geom. 21 (1985) 1

[12] J Conant, P Teichner, Grope cobordism of classical knots, Topology 43 (2004) 119

[13] J Dodziuk, P Linnell, V Mathai, T Schick, S Yates, Approximating $L^2$–invariants and the Atiyah conjecture, Comm. Pure Appl. Math. 56 (2003) 839

[14] J Duval, Forme de Blanchfield et cobordisme d'entrelacs bords, Comment. Math. Helv. 61 (1986) 617

[15] S Garoufalidis, L Rozansky, The loop expansion of the Kontsevich integral, the null-move and $S$–equivalence, Topology 43 (2004) 1183

[16] S Garoufalidis, J Levine, Homology surgery and invariants of 3–manifolds, Geom. Topol. 5 (2001) 551

[17] C M Gordon, Some aspects of classical knot theory, from: "Knot theory (Proc. Sem., Plans-sur–Bex, 1977)", Lecture Notes in Math. 685, Springer (1978) 1

[18] K Habiro, Claspers and finite type invariants of links, Geom. Topol. 4 (2000) 1

[19] S L Harvey, Higher-order polynomial invariants of 3–manifolds giving lower bounds for the Thurston norm, Topology 44 (2005) 895

[20] J Harer, How to construct all fibered knots and links, Topology 21 (1982) 263

[21] J Hempel, Intersection calculus on surfaces with applications to 3–manifolds, Mem. Amer. Math. Soc. 43 (1983)

[22] G Higman, The units of group-rings, Proc. London Math. Soc. $(2)$ 46 (1940) 231

[23] J A Hillman, Alexander ideals of links, Lecture Notes in Mathematics 895, Springer (1981)

[24] N Higson, G Kasparov, preprint (1998)

[25] P J Hilton, U Stammbach, A course in homological algebra, Graduate Texts in Mathematics 4, Springer (1971)

[26] J Howie, H R Schneebeli, Homological and topological properties of locally indicable groups, Manuscripta Math. 44 (1983) 71

[27] N Jacobson, The Theory of Rings, American Mathematical Society Mathematical Surveys I, American Mathematical Society (1943)

[28] A Kawauchi, Almost identical imitations of $(3,1)$–dimensional manifold pairs, Osaka J. Math. 26 (1989) 743

[29] R Kirby, A calculus for framed links in $S^{3}$, Invent. Math. 45 (1978) 35

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

[31] P B Kronheimer, Embedded surfaces and gauge theory in three and four dimensions, from: "Surveys in differential geometry, Vol III (Cambridge, MA, 1996)", Int. Press, Boston (1998) 243

[32] P B Kronheimer, Minimal genus in $S^1{\times}M^3$, Invent. Math. 135 (1999) 45

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

[34] J Levine, Knot modules I, Trans. Amer. Math. Soc. 229 (1977) 1

[35] J Lewin, A note on zero divisors in group-rings, Proc. Amer. Math. Soc. 31 (1972) 357

[36] V Mathai, Spectral flow, eta invariants, and von Neumann algebras, J. Funct. Anal. 109 (1992) 442

[37] J R Munkres, Elements of algebraic topology, Addison-Wesley Publishing Company (1984)

[38] J R Munkres, Topology: a first course, Prentice-Hall (1975)

[39] D S Passman, The algebraic structure of group rings, Pure and Applied Mathematics, Wiley-Interscience [John Wiley Sons] (1977)

[40] S Naik, T Stanford, A move on diagrams that generates $S$–equivalence of knots, J. Knot Theory Ramifications 12 (2003) 717

[41] A Ranicki, Exact sequences in the algebraic theory of surgery, Mathematical Notes 26, Princeton University Press (1981)

[42] S Roushon, Topology of 3–manifolds and a class of groups

[43] J R Stallings, Constructions of fibred knots and links, 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) 55

[44] J Stallings, Homology and central series of groups, J. Algebra 2 (1965) 170

[45] B Stenström, Rings of quotients, Grundlehren der Mathematischen Wissenschaften 217, Springer (1975)

[46] A Stoimenow, Vassiliev invariants on fibered and mutually obverse knots, J. Knot Theory Ramifications 8 (1999) 511

[47] R Strebel, Homological methods applied to the derived series of groups, Comment. Math. Helv. 49 (1974) 302

[48] G W Whitehead, Elements of homotopy theory, Graduate Texts in Mathematics 61, Springer (1978)

[49] C T C Wall, Surgery on compact manifolds, London Mathematical Society Monographs 1, Academic Press (1970)