Skip to main content Accesibility Help
×
×
Home

The cobordism group of homology cylinders

  • Jae Choon Cha (a1), Stefan Friedl (a2) and Taehee Kim (a3)
Abstract

Garoufalidis and Levine introduced the homology cobordism group of homology cylinders over a surface. This group can be regarded as an enlargement of the mapping class group. Using torsion invariants, we show that the abelianization of this group is infinitely generated provided that the first Betti number of the surface is positive. In particular, this shows that the group is not perfect. This answers questions of Garoufalidis and Levine, and Goda and Sakasai. Furthermore, we show that the abelianization of the group has infinite rank for the case that the surface has more than one boundary component. These results also hold for the homology cylinder analogue of the Torelli group.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      The cobordism group of homology cylinders
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      The cobordism group of homology cylinders
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      The cobordism group of homology cylinders
      Available formats
      ×
Copyright
References
Hide All
[1]Birman, J. S. and Hilden, H. M., On the mapping class groups of closed surfaces as covering spaces, in Advances in the theory of Riemann surfaces, Proc. conf. (Stony Brook, NY, 1969), Annals of Mathematics Studies, vol. 66 (Princeton University Press, Princeton, NJ, 1971), 81–115.
[2]Benedetti, R. and Petronio, C., Reidemeister–Turaev torsion of 3-dimensional Euler structure with simple boundary tangency and pseudo-Legendrian knots, Manuscripta Math. 106 (2001), 1361.
[3]Cha, J. C., The structure of the rational concordance group of knots, Mem. Amer. Math. Soc. 189 (2007), x+95pp.
[4]Cha, J. C. and Friedl, S., Twisted torsion invariants and link concordance, arXiv:1001.0926.
[5]Everest, G. and Ward, T., Heights of polynomials and entropy in algebraic dynamics, Universitext (Springer, New York, 1999).
[6]Farb, B. and Margalit, D., A primer on mapping class groups,http://www.math.utah.edu/∼margalit/primer/.
[7]Fintushel, R. and Stern, R., Instanton homology of Seifert fibred homology three spheres, Proc. Lond. Math. Soc. 61 (1990), 109137.
[8]Fox, R. H. and Milnor, J. W., Singularities of 2-spheres in 4-space and cobordism of knots, Osaka J. Math. 3 (1966), 257267.
[9]Freedman, M., The topology of four-dimensional manifolds, J. Differential Geom. 17 (1982), 357453.
[10]Freedman, M. H. and Quinn, F., Topology of 4-manifolds, Princeton Mathematical Series, vol. 39 (Princeton University Press, Princeton, NJ, 1990).
[11]Friedl, S., Juhasz, A. and Rasmussen, J., The decategorification of sutured Floer homology, arXiv:0903.5287.
[12]Furuta, M., Homology cobordism group of homology 3-spheres, Invent. Math. 100 (1990), 339355.
[13]Garoufalidis, S. and Levine, J., Tree-level invariants of three-manifolds, Massey products and the Johnson homomorphism, Graphs and patterns in mathematics and theorical physics, Proc. Sympos. Pure Math. 73 (2005), 173205.
[14]Goda, H. and Sakasai, T., Homology cylinders in knot theory, arXiv:0807.4034.
[15]Goda, H. and Sakasai, T., Abelian quotients of monoids of homology cylinders, arXiv:0905.4775.
[16]Goussarov, M., Finite type invariants and n-equivalence of 3-manifolds, C. R. Math. Acad. Sci. Paris 329 (1999), 517522.
[17]Habiro, K., Claspers and finite type invariants of links, Geom. Topol. 4 (2000), 183.
[18]Johnson, D., The structure of the Torelli group. I. A finite set of generators for ℐ, Ann. of Math. (2) 118 (1983), 423442.
[19]Johnson, D., A survey of the Torelli group, Contemp. Math. 20 (1983), 165179.
[20]Johnson, D., The structure of the Torelli group. III. The abelianization of ℐ, Topology 24 (1985), 127144.
[21]Kirk, P. and Livingston, C., Twisted Alexander invariants, Reidemeister torsion and Casson–Gordon invariants, Topology 38 (1999), 635661.
[22]Kirk, P., Livingston, C. and Wang, Z., The Gassner representation for string links, Commun. Contemp. Math. 3 (2001), 87136.
[23]Levine, J., Knot cobordism groups in codimension two, Comment. Math. Helv. 44 (1969), 229244.
[24]Levine, J., Invariants of knot cobordism, Invent. Math. 8 (1969), 98110.
[25]Levine, J., Homology cylinders: An enlargement of the mapping class group, Algebr. Geom. Topol. 1 (2001), 243270.
[26]McCool, J., Some finitely presented subgroups of the automorphism group of a free group, J. Algebra 35 (1975), 205213.
[27]Miller, A. and McCullough, D., The genus 2 Torelli group is not finitely generated, Topology Appl. 22 (1986), 4349.
[28]Mess, G., The Torelli groups for genus 2 and 3 surfaces, Topology 31 (1992), 775790.
[29]Milnor, J., A duality theorem for Reidemeister torsion, Ann. of Math. (2) 76 (1962), 137147.
[30]Milnor, J., Whitehead torsion, Bull. Amer. Math. Soc. 72 (1966), 358426.
[31]Morita, S., Cohomological structure of the mapping class group and beyond, in Problems on mapping class groups and related topics, Proceedings of Symposia in Pure Mathematics, vol. 74 ed. Farb, B. (American Mathematical Society, Providence, RI, 2006).
[32]Morita, S., Symplectic automorphism groups of nilpotent quotients of fundamental groups of surfaces, Adv. Stud. Pure Math. 52 (2008), 443468.
[33]Ni, Y., Knot Floer homology detects fibred knots, Invent. Math. 170 (2007), 577608.
[34]Nicolaescu, L., The Reidemeister torsion of 3-manifolds, de Gruyter Studies in Mathematics, vol. 30 (Walter de Gruyter & Co., Berlin, 2003).
[35]Powell, J., Two theorems on the mapping class group of a surface, Proc. Amer. Math. Soc. 68 (1978), 347350.
[36]Sakasai, T., Mapping class groups, groups of homology cobordisms of surfaces and invariants of 3-manifolds, Doctoral Dissertation, The University of Tokyo (2006).
[37]Sakasai, T., The Magnus representation and higher-order Alexander invariants for homology cobordisms of surfaces, Algebr. Geom. Topol. 8 (2008), 803848.
[38]Saveliev, N., Invariants of Homology 3-spheres, Encyclopaedia of Mathematical Sciences, vol. 140 (Springer, Berlin, 2002).
[39]Silver, D. and Williams, S., Mahler measure, links and homology growth, Topology 41 (2002), 979991.
[40]Silver, D. and Williams, S., Mahler measure of Alexander polynomials, J. London Math. Soc. (2) 69 (2004), 767782.
[41]Stallings, J., Homology and central series of groups, J. Algebra 2 (1965), 170181.
[42]Turaev, V., Reidemeister torsion in knot theory, Russian Math. Surveys 41 (1986), 119182.
[43]Turaev, V., Introduction to combinatorial torsions, Lectures in Mathematics, ETH Zürich, 2001 (Birkhäuser, Basel, 2001).
[44]Turaev, V., Torsions of 3-manifolds, Progress in Mathematics, vol. 208 (Birkhäuser, Basel, 2002).
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Compositio Mathematica
  • ISSN: 0010-437X
  • EISSN: 1570-5846
  • URL: /core/journals/compositio-mathematica
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×
MathJax

Keywords

MSC classification

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed