The lower central and derived series of the braid groups of the sphere
Authors:
Daciberg Lima Gonçalves and John Guaschi
Journal:
Trans. Amer. Math. Soc. 361 (2009), 3375-3399
MSC (2000):
Primary 20F36, 20F14; Secondary 20F05, 55R80, 20E26
DOI:
https://doi.org/10.1090/S0002-9947-09-04766-7
Published electronically:
March 3, 2009
MathSciNet review:
2491885
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
In this paper, we determine the lower central and derived series for the braid groups of the sphere. We are motivated in part by the study of Fadell-Neuwirth short exact sequences, but the problem is important in its own right.
The braid groups of the $2$-sphere $\mathbb {S}^2$ were studied by Fadell, Van Buskirk and Gillette during the 1960s, and are of particular interest due to the fact that they have torsion elements (which were characterised by Murasugi). We first prove that for all $n\in \mathbb {N}$, the lower central series of the $n$-string braid group $B_n(\mathbb {S}^2)$ is constant from the commutator subgroup onwards. We obtain a presentation of $\Gamma _2(B_n(\mathbb {S}^2))$, from which we observe that $\Gamma _2(B_4(\mathbb {S}^2))$ is a semi-direct product of the quaternion group $\mathcal {Q}_8$ of order $8$ by a free group $\mathbb {F}_2$ of rank $2$. As for the derived series of $B_n(\mathbb {S}^2)$, we show that for all $n\geq 5$, it is constant from the derived subgroup onwards. The group $B_n(\mathbb {S}^2)$ being finite and soluble for $n\leq 3$, the critical case is $n=4$ for which the derived subgroup is the above semi-direct product $\mathcal {Q}_8\rtimes \mathbb {F}_2$. By proving a general result concerning the structure of the derived subgroup of a semi-direct product, we are able to determine completely the derived series of $B_4(\mathbb {S}^2)$ which from $(B_4(\mathbb {S}^2))^{(4)}$ onwards coincides with that of the free group of rank $2$, as well as its successive derived series quotients.
- E. Artin, Theorie der Zöpfe, Abh. Math. Sem. Univ. Hamburg 4 (1925), 47–72.
- E. Artin, Theory of braids, Ann. of Math. (2) 48 (1947), 101–126. MR 19087, DOI https://doi.org/10.2307/1969218
- E. Artin, Braids and permutations, Ann. of Math. (2) 48 (1947), 643–649. MR 20989, DOI https://doi.org/10.2307/1969131
- Paolo Bellingeri, Sylvain Gervais, and John Guaschi, Lower central series of Artin-Tits and surface braid groups, J. Algebra 319 (2008), no. 4, 1409–1427. MR 2383053, DOI https://doi.org/10.1016/j.jalgebra.2007.10.023
- Joan S. Birman, On braid groups, Comm. Pure Appl. Math. 22 (1969), 41–72. MR 234447, DOI https://doi.org/10.1002/cpa.3160220104
- Joan S. Birman, Braids, links, and mapping class groups, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1974. Annals of Mathematics Studies, No. 82. MR 0375281
- Joan S. Birman, Mapping class groups of surfaces, Braids (Santa Cruz, CA, 1986) Contemp. Math., vol. 78, Amer. Math. Soc., Providence, RI, 1988, pp. 13–43. MR 975076, DOI https://doi.org/10.1090/conm/078/975076
- Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York-Berlin, 1982. MR 672956
- Gerhard Burde and Heiner Zieschang, Knots, 2nd ed., De Gruyter Studies in Mathematics, vol. 5, Walter de Gruyter & Co., Berlin, 2003. MR 1959408
- F. R. Cohen and S. Gitler, On loop spaces of configuration spaces, Trans. Amer. Math. Soc. 354 (2002), no. 5, 1705–1748. MR 1881013, DOI https://doi.org/10.1090/S0002-9947-02-02948-3
- Edward Fadell, Homotopy groups of configuration spaces and the string problem of Dirac, Duke Math. J. 29 (1962), 231–242. MR 141127
- Edward R. Fadell and Sufian Y. Husseini, Geometry and topology of configuration spaces, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2001. MR 1802644
- Edward Fadell and Lee Neuwirth, Configuration spaces, Math. Scand. 10 (1962), 111-118. MR 141126, DOI https://doi.org/10.7146/math.scand.a-10517
- Edward Fadell and James Van Buskirk, The braid groups of $E^{2}$ and $S^{2}$, Duke Math. J. 29 (1962), 243–257. MR 141128
- Toshitake Kohno, Série de Poincaré-Koszul associée aux groupes de tresses pures, Invent. Math. 82 (1985), no. 1, 57–75 (French). MR 808109, DOI https://doi.org/10.1007/BF01394779
- Michael Falk and Richard Randell, The lower central series of generalized pure braid groups, Geometry and topology (Athens, Ga., 1985) Lecture Notes in Pure and Appl. Math., vol. 105, Dekker, New York, 1987, pp. 103–108. MR 873287
- Michael Falk and Richard Randell, Pure braid groups and products of free groups, Braids (Santa Cruz, CA, 1986) Contemp. Math., vol. 78, Amer. Math. Soc., Providence, RI, 1988, pp. 217–228. MR 975081, DOI https://doi.org/10.1090/conm/078/975081
- R. Fox and L. Neuwirth, The braid groups, Math. Scand. 10 (1962), 119–126. MR 150755, DOI https://doi.org/10.7146/math.scand.a-10518
- Richard Gillette and James Van Buskirk, The word problem and consequences for the braid groups and mapping class groups of the $2$-sphere, Trans. Amer. Math. Soc. 131 (1968), 277–296. MR 231894, DOI https://doi.org/10.1090/S0002-9947-1968-0231894-7
- D. L. Gonçalves and J. Guaschi, On the structure of surface pure braid groups, J. Pure Appl. Algebra 182 (2003), no. 1, 33–64. MR 1977999, DOI https://doi.org/10.1016/S0022-4049%2802%2900309-2
- Daciberg Lima Gonçalves and John Guaschi, The roots of the full twist for surface braid groups, Math. Proc. Cambridge Philos. Soc. 137 (2004), no. 2, 307–320. MR 2092062, DOI https://doi.org/10.1017/S0305004104007595
- Daciberg Lima Gonçalves and John Guaschi, The braid groups of the projective plane, Algebr. Geom. Topol. 4 (2004), 757–780. MR 2100679, DOI https://doi.org/10.2140/agt.2004.4.757
- Daciberg Lima Gonçalves and John Guaschi, The braid group $B_{n,m}({\Bbb S}^2)$ and a generalisation of the Fadell-Neuwirth short exact sequence, J. Knot Theory Ramifications 14 (2005), no. 3, 375–403. MR 2149513, DOI https://doi.org/10.1142/S0218216505003841
- Daciberg Lima Gonçalves and John Guaschi, The quaternion group as a subgroup of the sphere braid groups, Bull. Lond. Math. Soc. 39 (2007), no. 2, 232–234. MR 2323453, DOI https://doi.org/10.1112/blms/bdl041
- Daciberg Lima Gonçalves and John Guaschi, The braid groups of the projective plane and the Fadell-Neuwirth short exact sequence, Geom. Dedicata 130 (2007), 93–107. MR 2365780, DOI https://doi.org/10.1007/s10711-007-9207-z
- ---, The classification and the conjugacy classes of the finite subgroups of the sphere braid groups, Algebraic and Geometric Topology 8 (2008), 757–785.
- ---, The lower central and derived series of the braid groups of the finitely-punctured sphere, to appear in J. Knot Theory and its Ramifications.
- ---, Classification of the virtually cyclic subgroups of the pure braid groups of the projective plane, preprint October 2007, arXiv:0710.5940.
- ---, Classification of the virtually cyclic subgroups of the sphere braid groups, work in progress.
- ---, Classification of the finite and virtually cyclic subgroups of the braid groups of the projective plane, work in progress.
- Juan González-Meneses and Luis Paris, Vassiliev invariants for braids on surfaces, Trans. Amer. Math. Soc. 356 (2004), no. 1, 219–243. MR 2020030, DOI https://doi.org/10.1090/S0002-9947-03-03116-7
- E. A. Gorin and V Ja. Lin, Algebraic equations with continuous coefficients and some problems of the algebraic theory of braids, Math. USSR Sbornik 7 (1969), 569–596.
- Marshall Hall Jr., The theory of groups, The Macmillan Co., New York, N.Y., 1959. MR 0103215
- Vagn Lundsgaard Hansen, Braids and coverings: selected topics, London Mathematical Society Student Texts, vol. 18, Cambridge University Press, Cambridge, 1989. With appendices by Lars Gæde and Hugh R. Morton. MR 1247697
- Peter Hilton, Guido Mislin, and Joe Roitberg, Localization of nilpotent groups and spaces, North-Holland Publishing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York, 1975. North-Holland Mathematics Studies, No. 15; Notas de Matemática, No. 55. [Notes on Mathematics, No. 55]. MR 0478146
- Toshitake Kohno, Série de Poincaré-Koszul associée aux groupes de tresses pures, Invent. Math. 82 (1985), no. 1, 57–75 (French). MR 808109, DOI https://doi.org/10.1007/BF01394779
- Wilhelm Magnus, Abraham Karrass, and Donald Solitar, Combinatorial group theory, Second revised edition, Dover Publications, Inc., New York, 1976. Presentations of groups in terms of generators and relations. MR 0422434
- Kunio Murasugi, Seifert fibre spaces and braid groups, Proc. London Math. Soc. (3) 44 (1982), no. 1, 71–84. MR 642793, DOI https://doi.org/10.1112/plms/s3-44.1.71
- L. Paris and D. Rolfsen, Geometric subgroups of surface braid groups, Ann. Inst. Fourier (Grenoble) 49 (1999), no. 2, 417–472 (English, with English and French summaries). MR 1697370
- Dale Rolfsen, New developments in the theory of Artin’s braid groups, Proceedings of the Pacific Institute for the Mathematical Sciences Workshop “Invariants of Three-Manifolds” (Calgary, AB, 1999), 2003, pp. 77–90. MR 1953321, DOI https://doi.org/10.1016/S0166-8641%2802%2900054-8
- G. P. Scott, Braid groups and the group of homeomorphisms of a surface, Proc. Cambridge Philos. Soc. 68 (1970), 605–617. MR 268889, DOI https://doi.org/10.1017/s0305004100076593
- John Stallings, Homology and central series of groups, J. Algebra 2 (1965), 170–181. MR 175956, DOI https://doi.org/10.1016/0021-8693%2865%2990017-7
- John G. Thompson, Note on $H(4)$, Comm. Algebra 22 (1994), no. 14, 5683–5687. MR 1298742, DOI https://doi.org/10.1080/00927879408825154
- James van Buskirk, Braid groups of compact $2$-manifolds with elements of finite order, Trans. Amer. Math. Soc. 122 (1966), 81–97. MR 189013, DOI https://doi.org/10.1090/S0002-9947-1966-0189013-X
- Oscar Zariski, On the Poincaré Group of Rational Plane Curves, Amer. J. Math. 58 (1936), no. 3, 607–619. MR 1507185, DOI https://doi.org/10.2307/2370979
- Oscar Zariski, The Topological Discriminant Group of a Riemann Surface of Genus $p$, Amer. J. Math. 59 (1937), no. 2, 335–358. MR 1507244, DOI https://doi.org/10.2307/2371416
Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 20F36, 20F14, 20F05, 55R80, 20E26
Retrieve articles in all journals with MSC (2000): 20F36, 20F14, 20F05, 55R80, 20E26
Additional Information
Daciberg Lima Gonçalves
Affiliation:
Departamento de Matemática, Instituto de Matemática e Estatística, Universidade de Saõ Paulo, Caixa Postal 66281, Ag. Cidade de São Paulo, CEP: 05314-970, São Paulo, SP, Brazil
Email:
dlgoncal@ime.usp.br
John Guaschi
Affiliation:
Laboratoire de Mathématiques Emile Picard, UMR CNRS 5580, UFR-MIG, Université Toulouse III, 31062 Toulouse Cedex 9, France
Address at time of publication:
Laboratoire de Mathématiques Nicolas Oresme, UMR CNRS 6139, Université de Caen BP 5186, 14032 Caen Cedex, France
Email:
guaschi@math.unicaen.fr
Keywords:
Surface braid group,
sphere braid group,
lower central series,
derived series,
configuration space,
exact sequence
Received by editor(s):
April 15, 2006
Published electronically:
March 3, 2009
Article copyright:
© Copyright 2009
American Mathematical Society