The Magnus representation and higher-order Alexander invariants for homology cobordisms of surfaces

Sakasai, Takuya¹

¹Graduate School of Mathematical Sciences, The University of Tokyo, 3-8-1 Komaba, Meguro, Tokyo, 153-8914, Japan

Algebraic and Geometric Topology, Tome 8 (2008) no. 2, pp. 803-848

Résumé

The set of homology cobordisms from a surface to itself with markings of their boundaries has a natural monoid structure. To investigate the structure of this monoid, we define and study its Magnus representation and Reidemeister torsion invariants by generalizing Kirk, Livingston and Wang’s argument over the Gassner representation of string links. Then, by applying Cochran and Harvey’s framework of higher-order (noncommutative) Alexander invariants to them, we extract several information about the monoid and related objects.

Détail

DOI : 10.2140/agt.2008.8.803

Keywords: homology cylinder, Magnus representation, higher-order Alexander invariant, string link, Reidemeister torsion, Dieudonné determinant

Bibliographie

[1] S Andreadakis, On the automorphisms of free groups and free nilpotent groups, Proc. London Math. Soc. $(3)$ 15 (1965) 239

[2] J S Birman, Braids, links, and mapping class groups, Annals of Math. Studies 82, Princeton University Press (1974)

[3] J Cha, Injectivity theorems and algebraic closures of groups with coefficients

[4] T D Cochran, Noncommutative knot theory, Algebr. Geom. Topol. 4 (2004) 347

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

[6] P M Cohn, Skew fields. Theory of general division rings, Encyclopedia of Math. and its Applications 57, Cambridge University Press (1995)

[7] R H Fox, Free differential calculus. II. The isomorphism problem of groups, Ann. of Math. $(2)$ 59 (1954) 196

[8] S Friedl, Reidemeister torsion, the Thurston norm and Harvey's invariants, Pacific J. Math. 230 (2007) 271

[9] S Garoufalidis, J Levine, Tree-level invariants of three-manifolds, Massey products and the Johnson homomorphism, from: "Graphs and patterns in mathematics and theoretical physics", Proc. Sympos. Pure Math. 73, Amer. Math. Soc. (2005) 173

[10] M Goussarov, Finite type invariants and $n$–equivalence of $3$–manifolds, C. R. Acad. Sci. Paris Sér. I Math. 329 (1999) 517

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

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

[13] S L Harvey, Monotonicity of degrees of generalized Alexander polynomials of groups and $3$–manifolds, Math. Proc. Cambridge Philos. Soc. 140 (2006) 431

[14] S L Harvey, S Friedl, Non-commutative multivariable Reidemester torsion and the Thurston norm, Algebr. Geom. Topol. 7 (2007) 755

[15] N Kawazumi, Cohomological aspects of Magnus expansions

[16] P Kirk, C Livingston, Z Wang, The Gassner representation for string links, Commun. Contemp. Math. 3 (2001) 87

[17] J Y Le Dimet, Enlacements d'intervalles et représentation de Gassner, Comment. Math. Helv. 67 (1992) 306

[18] J Y Le Dimet, Enlacements d'intervalles et torsion de Whitehead, Bull. Soc. Math. France 129 (2001) 215

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

[20] J Levine, Algebraic closure of groups, from: "Combinatorial group theory (College Park, MD, 1988)", Contemp. Math. 109, Amer. Math. Soc. (1990) 99

[21] J Levine, Homology cylinders: an enlargement of the mapping class group, Algebr. Geom. Topol. 1 (2001) 243

[22] W Magnus, Über $n$–dimensionale Gittertransformationen, Acta Math. 64 (1935) 353

[23] J Milnor, Whitehead torsion, Bull. Amer. Math. Soc. 72 (1966) 358

[24] S Morita, Abelian quotients of subgroups of the mapping class group of surfaces, Duke Math. J. 70 (1993) 699

[25] J Nielsen, Die Isomorphismen der allgemeinen, unendlichen Gruppe mit zwei Erzeugenden, Math. Ann. 78 (1964) 385

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

[27] J Rosenberg, Algebraic $K$–theory and its applications, Graduate Texts in Math. 147, Springer (1994)

[28] T Sakasai, Homology cylinders and the acyclic closure of a free group, Algebr. Geom. Topol. 6 (2006) 603

[29] T Sakasai, The symplecticity of the Magnus representation for homology cobordisms of surfaces, Bull. Austral. Math. Soc. 76 (2007) 421

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

[31] V Turaev, Introduction to combinatorial torsions, Lectures in Math. ETH Zürich, Birkhäuser Verlag (2001)