We show that reducible braids which are, in a Garside-theoretical sense, as simple as possible within their conjugacy class, are also as simple as possible in a geometric sense. More precisely, if a braid belongs to a certain subset of its conjugacy class which we call the stabilized set of sliding circuits, and if it is reducible, then its reducibility is geometrically obvious: it has a round or almost round reducing curve. Moreover, for any given braid, an element of its stabilized set of sliding circuits can be found using the well-known cyclic sliding operation. This leads to a polynomial time algorithm for deciding the Nielsen–Thurston type of any braid, modulo one well-known conjecture on the speed of convergence of the cyclic sliding operation.
Keywords: braid group, Garside group, Nielsen–Thurston classification, algorithm
González-Meneses, Juan  1 ; Wiest, Bert  2
@article{10_2140_agt_2011_11_2971,
author = {Gonz\'alez-Meneses, Juan and Wiest, Bert},
title = {Reducible braids and {Garside} {Theory}},
journal = {Algebraic and Geometric Topology},
pages = {2971--3010},
year = {2011},
volume = {11},
number = {5},
doi = {10.2140/agt.2011.11.2971},
url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2011.11.2971/}
}
TY - JOUR AU - González-Meneses, Juan AU - Wiest, Bert TI - Reducible braids and Garside Theory JO - Algebraic and Geometric Topology PY - 2011 SP - 2971 EP - 3010 VL - 11 IS - 5 UR - http://geodesic.mathdoc.fr/articles/10.2140/agt.2011.11.2971/ DO - 10.2140/agt.2011.11.2971 ID - 10_2140_agt_2011_11_2971 ER -
González-Meneses, Juan; Wiest, Bert. Reducible braids and Garside Theory. Algebraic and Geometric Topology, Tome 11 (2011) no. 5, pp. 2971-3010. doi: 10.2140/agt.2011.11.2971
[1] , , , A combinatorial approach to reducibility of mapping classes, from: "Mapping class groups and moduli spaces of Riemann surfaces (Göttingen, 1991/Seattle, WA, 1991)" (editors C F Bödigheimer, R M Hain), Contemp. Math. 150, Amer. Math. Soc. (1993) 1
[2] , , Train-tracks for surface homeomorphisms, Topology 34 (1995) 109
[3] , , , Conjugacy in Garside groups I: Cyclings, powers and rigidity, Groups Geom. Dyn. 1 (2007) 221
[4] , , , Conjugacy in Garside groups II: Structure of the ultra summit set, Groups Geom. Dyn. 2 (2008) 13
[5] , , , Abelian and solvable subgroups of the mapping class groups, Duke Math. J. 50 (1983) 1107
[6] , , Fast algorithmic Nielsen–Thurston classification of four-strand braids, to appear in J.Knot Theory Ramifications
[7] , , Automorphisms of surfaces after Nielsen and Thurston, London Math. Soc. Student Texts 9, Cambridge Univ. Press (1988)
[8] , , Gaussian groups and Garside groups, two generalisations of Artin groups, Proc. London Math. Soc. $(3)$ 79 (1999) 569
[9] , , Algorithms for positive braids, Quart. J. Math. Oxford Ser. $(2)$ 45 (1994) 479
[10] , , , , , , Word processing in groups, Jones and Bartlett (1992)
[11] , , A primer on mapping class groups, Princeton Math. Ser. 49, Princeton Univ. Press (2011) 488
[12] , , , editors, Travaux de Thurston sur les surfaces, Astérisque 66–67, Soc. Math. France (1979) 284
[13] , , Conjugacy problem for braid groups and Garside groups, J. Algebra 266 (2003) 112
[14] , A new approach to the conjugacy problem in Garside groups, J. Algebra 292 (2005) 282
[15] , , The cyclic sliding operation in Garside groups, Math. Z. 265 (2010) 85
[16] , , Solving the conjugacy problem in Garside groups by cyclic sliding, J. Symbolic Comput. 45 (2010) 629
[17] , On reduction curves and Garside properties of braids, from: "Topology of algebraic varieties and singularities" (editors J I Cogolludo-Agustín, E Hironaka), Contemp. Math. 538, Amer. Math. Soc. (2011) 227
[18] , , On the structure of the centralizer of a braid, Ann. Sci. École Norm. Sup. $(4)$ 37 (2004) 729
[19] , , A Garside-theoretic approach to the reducibility problem in braid groups, J. Algebra 320 (2008) 783
[20] , , Some power of an element in a Garside group is conjugate to a periodically geodesic element, Bull. Lond. Math. Soc. 40 (2008) 593
[21] , How to read the length of a braid from its curve diagram, Groups Geom. Dyn. 5 (2011) 673
Cité par Sources :