Showing 1–36 of 36 results for author: González-Meneses, J

Positive 3-braids, Khovanov homology and Garside theory

Authors: Álvaro Del Valle Vílchez, Juan González-Meneses, Marithania Silvero

Abstract: Khovanov homology is a powerful invariant of oriented links that categorifies the Jones polynomial. Nevertheless, computing Khovanov homology of a given link remains challenging in general with current techniques. In this work we focus on links that are the closure of positive 3-braids. Starting with a classification of conjugacy classes of 3-braids arising from the Garside structure of braid grou… ▽ More Khovanov homology is a powerful invariant of oriented links that categorifies the Jones polynomial. Nevertheless, computing Khovanov homology of a given link remains challenging in general with current techniques. In this work we focus on links that are the closure of positive 3-braids. Starting with a classification of conjugacy classes of 3-braids arising from the Garside structure of braid groups, we compute, for any closed positive 3-braid, the first four columns (homological degree) and the three lowest rows (quantum degree) of the associated Khovanov homology table. Moreover, the number of rows and columns we can describe increases with the infimum of the positive braid (a Garside theoretical notion). We will show how to increase the infimum of a 3-braid to its maximal possible value by a conjugation, maximizing the number of cells in the Khovanov homology of its closure that can be determined, and show that this can be done in linear time. △ Less

Submitted 8 April, 2025; originally announced April 2025.

Comments: 29 pages, 16 figures

MSC Class: 57K10; 57K18; 20F36

Parabolic subgroups of complex braid groups

Authors: Juan González-Meneses, Ivan Marin

Abstract: In this paper we introduce a class of `parabolic' subgroups for the generalized braid group associated to an arbitrary irreducible complex reflection group, which maps onto the collection of parabolic subgroups of the reflection group. Except for one case, which is proven separately elsewhere, we prove that this collection forms a lattice, so that intersections of parabolic subgroups are parabolic… ▽ More In this paper we introduce a class of `parabolic' subgroups for the generalized braid group associated to an arbitrary irreducible complex reflection group, which maps onto the collection of parabolic subgroups of the reflection group. Except for one case, which is proven separately elsewhere, we prove that this collection forms a lattice, so that intersections of parabolic subgroups are parabolic subgroups. In particular, every element admits a parabolic closure, which is the smallest parabolic subgroup containing it. We furthermore prove that it provides a simplicial complex which generalizes the curve complex of the usual braid group. In the case of real reflection groups, this complex generalizes the one previously introduced by Cumplido, Gebhardt, González-Meneses and Wiest for Artin groups of spherical type. We show that it shares similar properties, and similarly conjecture its hyperbolicity. △ Less

Submitted 6 March, 2024; v1 submitted 25 August, 2022; originally announced August 2022.

Comments: 63 pages. Minor changes wrt v1

MSC Class: 20F36; 20F55; 20F65

The root extraction problem for generic braids

Authors: María Cumplido, Juan González-Meneses, Marithania Silvero

Abstract: We show that, generically, finding the $k$-th root of a braid is very fast. More precisely, we provide an algorithm which, given a braid $x$ on $n$ strands and canonical length $l$, and an integer $k>1$, computes a $k$-th root of $x$, if it exists, or guarantees that such a root does not exist. The generic-case complexity of this algorithm is $O(l(l+n)n^3\log n)$. The non-generic cases are treated… ▽ More We show that, generically, finding the $k$-th root of a braid is very fast. More precisely, we provide an algorithm which, given a braid $x$ on $n$ strands and canonical length $l$, and an integer $k>1$, computes a $k$-th root of $x$, if it exists, or guarantees that such a root does not exist. The generic-case complexity of this algorithm is $O(l(l+n)n^3\log n)$. The non-generic cases are treated using a previously known algorithm by Sang-Jin Lee. △ Less

Submitted 24 September, 2019; originally announced September 2019.

Comments: 15 pages

Limits of sequences of pseudo-Anosov maps and of hyperbolic 3-manifolds

Authors: Sylvain Bonnot, André de Carvalho, Juan González-Meneses, Toby Hall

Abstract: There are two objects naturally associated with a braid $β\in B_n$ of pseudo-Anosov type: a (relative) pseudo-Anosov homeomorphism $\varphi_β\colon S^2\to S^2$; and the finite volume complete hyperbolic structure on the 3-manifold $M_β$ obtained by excising the braid closure of $β$, together with its braid axis, from $S^3$. We show the disconnect between these objects, by exhibiting a family of br… ▽ More There are two objects naturally associated with a braid $β\in B_n$ of pseudo-Anosov type: a (relative) pseudo-Anosov homeomorphism $\varphi_β\colon S^2\to S^2$; and the finite volume complete hyperbolic structure on the 3-manifold $M_β$ obtained by excising the braid closure of $β$, together with its braid axis, from $S^3$. We show the disconnect between these objects, by exhibiting a family of braids $\{β_q:q\in{\mathbb{Q}}\cap(0,1/3]\}$ with the properties that: on the one hand, there is a fixed homeomorphism $\varphi_0\colon S^2\to S^2$ to which the (suitably normalized) homeomorphisms $\varphi_{β_{q}}$ converge as $q\to 0$; while on the other hand, there are infinitely many distinct hyperbolic 3-manifolds which arise as geometric limits of the form $\lim_{k\to\infty} M_{β_{q_k}}$, for sequences $q_k\to 0$. △ Less

Submitted 16 March, 2020; v1 submitted 14 February, 2019; originally announced February 2019.

Comments: Author accepted manuscript

MSC Class: 57M50; 37E30; 57M25; 20F36

Journal ref: Algebr. Geom. Topol. 21 (2021) 1351-1370

On the growth of Artin--Tits monoids and the partial theta function

Authors: Ramón Flores, Juan González-Meneses

Abstract: We present a new procedure to determine the growth function of a homogeneous Garside monoid, with respect to the finite generating set formed by the atoms. In particular, we present a formula for the growth function of each Artin--Tits monoid of spherical type (hence of each braid monoid) with respect to the standard generators, as the inverse of the determinant of a very simple matrix. Using th… ▽ More We present a new procedure to determine the growth function of a homogeneous Garside monoid, with respect to the finite generating set formed by the atoms. In particular, we present a formula for the growth function of each Artin--Tits monoid of spherical type (hence of each braid monoid) with respect to the standard generators, as the inverse of the determinant of a very simple matrix. Using this approach, we show that the exponential growth rates of the Artin--Tits monoids of type $A_n$ (positive braid monoids) tend to $3.233636\ldots$ as $n$ tends to infinity. This number is well-known, as it is the growth rate of the coefficients of the only solution $x_0(y)=-(1+y+2y^2+4y^3+9y^4+\cdots)$ to the classical partial theta function. We also describe the sequence $1,1,2,4,9,\ldots$ formed by the coefficients of $-x_0(y)$, by showing that its $k$th term (the coefficient of $y^k$) is equal to the number of braids of length $k$, in the positive braid monoid $A_{\infty}$ on an infinite number of strands, whose maximal lexicographic representative starts with the first generator $a_1$. This is an unexpected connection between the partial theta function and the theory of braids. △ Less

Submitted 9 August, 2018; originally announced August 2018.

Comments: 36 pages, 1 figure

MSC Class: 20F36 (Primary) 05A15; 30C15; 30D15 (Secondary)

On lexicographic representatives in braid monoids

Authors: Ramón Flores, Juan González-Meneses

Abstract: The language of maximal lexicographic representatives of elements in the positive braid monoid $A_n$ with $n$ generators is a regular language. We describe with great detail the smallest Finite State Automaton accepting such language, and study the proportion of elements of length $k$ whose maximal lexicographic representative finishes with the first generator. This proportion tends to some number… ▽ More The language of maximal lexicographic representatives of elements in the positive braid monoid $A_n$ with $n$ generators is a regular language. We describe with great detail the smallest Finite State Automaton accepting such language, and study the proportion of elements of length $k$ whose maximal lexicographic representative finishes with the first generator. This proportion tends to some number $P_{n,1}$, as $k$ tends to infinity, and we show that $P_{n,1}\geq \frac{1}{8}$ for every $n\geq 1$. We also provide an explicit formula, based on the Fibonacci numbers, for the number of states of the automaton. △ Less

Submitted 10 August, 2018; v1 submitted 8 August, 2018; originally announced August 2018.

Comments: 29 pages, lots of figures. Updated reference

MSC Class: 20F36 (Primary) 20B40; 20F10 (Secondary)

On the centralizer of generic braids

Authors: Juan Gonzalez-Meneses, Dolores Valladares

Abstract: We study the centralizer of a braid from the point of view of Garside theory, showing that generically a minimal set of generators can be computed very efficiently, as the ultra summit set of a generic braid has a very particular structure. We present an algorithm to compute the centralizer of a braid whose generic-case complexity is quadratic on the length of the input, and which outputs a minima… ▽ More We study the centralizer of a braid from the point of view of Garside theory, showing that generically a minimal set of generators can be computed very efficiently, as the ultra summit set of a generic braid has a very particular structure. We present an algorithm to compute the centralizer of a braid whose generic-case complexity is quadratic on the length of the input, and which outputs a minimal set of generators in the generic case. △ Less

Submitted 13 February, 2018; originally announced February 2018.

Comments: 19 pages, 3 figures

MSC Class: 20F36 (Primary); 20F10 (Secondary)

On parabolic subgroups of Artin-Tits groups of spherical type

Authors: María Cumplido, Volker Gebhardt, Juan González-Meneses, Bert Wiest

Abstract: We show that, in an Artin-Tits group of spherical type, the intersection of two parabolic subgroups is a parabolic subgroup. Moreover, we show that the set of parabolic subgroups forms a lattice with respect to inclusion. This extends to all Artin-Tits groups of spherical type a result that was previously known for braid groups. To obtain the above results, we show that every element in an Artin… ▽ More We show that, in an Artin-Tits group of spherical type, the intersection of two parabolic subgroups is a parabolic subgroup. Moreover, we show that the set of parabolic subgroups forms a lattice with respect to inclusion. This extends to all Artin-Tits groups of spherical type a result that was previously known for braid groups. To obtain the above results, we show that every element in an Artin-Tits group of spherical type admits a unique minimal parabolic subgroup containing it. Also, the subgroup associated to an element coincides with the subgroup associated to any of its powers or roots. As a consequence, if an element belongs to a parabolic subgroup, all its roots belong to the same parabolic subgroup. We define the simplicial complex of irreducible parabolic subgroups, and we propose it as the analogue, in Artin-Tits groups of spherical type, of the celebrated complex of curves which is an important tool in braid groups, and more generally in mapping class groups. We conjecture that the complex of irreducible parabolic subgroups is $δ$-hyperbolic. △ Less

Submitted 19 June, 2019; v1 submitted 18 December, 2017; originally announced December 2017.

Comments: 40 pages, 8 figures. Two references added. Published in Advances in Mathematics

MSC Class: 20F36 (Primary) 20F65 (Secondary)

Journal ref: Advances in Mathematics 352 (2019) 572-610

Polynomial braid combing

Authors: Juan González-Meneses, Marithania Silvero

Abstract: Braid combing is a procedure defined by Emil Artin to solve the word problem in braid groups for the first time. It is well-known to have exponential complexity. In this paper, we use the theory of straight line programs to give a polynomial algorithm which performs braid combing. This procedure can be applied to braids on surfaces, providing the first algorithm (to our knowledge) which solves the… ▽ More Braid combing is a procedure defined by Emil Artin to solve the word problem in braid groups for the first time. It is well-known to have exponential complexity. In this paper, we use the theory of straight line programs to give a polynomial algorithm which performs braid combing. This procedure can be applied to braids on surfaces, providing the first algorithm (to our knowledge) which solves the word problem for braid groups on surfaces with boundary in polynomial time and space. In the case of surfaces without boundary, braid combing needs to use a section from the fundamental group of the surface to the braid group. Such a section was shown to exist by Gon\ccalves and Guaschi, who also gave a geometric description. We propose an algebraically simpler section, which we describe explicitly in terms of generators of the braid group, and we show why the above procedure to comb braids in polynomial time does not work in this case. △ Less

Submitted 5 December, 2017; originally announced December 2017.

Classifying spaces for the family of virtually cyclic subgroups of braid groups

Authors: Ramón Flores, Juan González-Meneses

Abstract: We prove that, for $n\geq 3$, the minimal dimension of a model of the classifying space of the full braid group $B_n$, and of the pure braid group $P_n$, with respect to the family of virtually cyclic groups is $n$. We prove that, for $n\geq 3$, the minimal dimension of a model of the classifying space of the full braid group $B_n$, and of the pure braid group $P_n$, with respect to the family of virtually cyclic groups is $n$. △ Less

Submitted 9 February, 2018; v1 submitted 7 November, 2016; originally announced November 2016.

Comments: 22 pages, 1 figure

MSC Class: 20F36 (Primary) 55R35 (Secondary)

A geometric description of the extreme Khovanov cohomology

Authors: J. González-Meneses, P. M. G. Manchón, M. Silvero

Abstract: We prove that the hypothetical extreme Khovanov cohomology of a link is the cohomology of the independence simplicial complex of its Lando graph. We also provide a family of knots having as many non-trivial extreme Khovanov cohomology modules as desired, that is, examples of $H$-thick knots which are as far of being $H$-thin as desired. We prove that the hypothetical extreme Khovanov cohomology of a link is the cohomology of the independence simplicial complex of its Lando graph. We also provide a family of knots having as many non-trivial extreme Khovanov cohomology modules as desired, that is, examples of $H$-thick knots which are as far of being $H$-thin as desired. △ Less

Submitted 18 November, 2015; originally announced November 2015.

MSC Class: 57M25; 57M27

Closures of positive braids and the Morton-Franks-Williams inequality

Authors: Juan González-Meneses, Pedro M. G. Manchón

Abstract: We study the Morton-Franks-Williams inequality for closures of simple braids (also known as positive permutation braids). This allows to prove, in a simple way, that the set of simple braids is a orthonormal basis for the inner product of the Hecke algebra of the braid group defined by Kálmán, who first obtained this result by using an interesting connection with Contact Topology. We also introd… ▽ More We study the Morton-Franks-Williams inequality for closures of simple braids (also known as positive permutation braids). This allows to prove, in a simple way, that the set of simple braids is a orthonormal basis for the inner product of the Hecke algebra of the braid group defined by Kálmán, who first obtained this result by using an interesting connection with Contact Topology. We also introduce a new technique to study the Homflypt polynomial for closures of positive braids, namely resolution trees whose leaves are simple braids. In terms of these simple resolution trees, we characterize closed positive braids for which the Morton-Franks-Williams inequality is strict. In particular, we determine explicitly the positive braid words on three strands whose closures have braid index three. △ Less

Submitted 6 August, 2013; originally announced August 2013.

Comments: 14 pages, 5 figures

MSC Class: 57M27 (Primary) 20F36 (Secondary)

Geometric embeddings of braid groups do not merge conjugacy classes

Authors: Juan Gonzalez-Meneses

Abstract: An embedding of the m-times punctured disc into the n-times punctured disc, for n>m, yields an embedding of the braid group on m strands B_m into the braid group on n strands B_n, called a geometric embedding. The main example consists of adding n-m trivial strands to the right of each braid on m strands. We show that geometric embeddings do not merge conjugacy classes, meaning that if the images… ▽ More An embedding of the m-times punctured disc into the n-times punctured disc, for n>m, yields an embedding of the braid group on m strands B_m into the braid group on n strands B_n, called a geometric embedding. The main example consists of adding n-m trivial strands to the right of each braid on m strands. We show that geometric embeddings do not merge conjugacy classes, meaning that if the images of two elements in B_m by a geometric embedding are conjugate in B_n, the original elements are conjugate in B_m. We also show that the result does not hold, in general, for geometric embeddings of mapping class groups. △ Less

Submitted 15 February, 2014; v1 submitted 6 August, 2013; originally announced August 2013.

Comments: Added an example showing that the main result does not hold, in general, in mapping class groups. 10 pages, 4 figures

MSC Class: 20F36

Generating random braids

Authors: Volker Gebhardt, Juan González-Meneses

Abstract: We present an algorithm to generate positive braids of a given length as words in Artin generators with a uniform probability. The complexity of this algorithm is polynomial in the number of strands and in the length of the generated braids. As a byproduct, we describe a finite state automaton accepting the language of lexicographically minimal representatives of positive braids that has the min… ▽ More We present an algorithm to generate positive braids of a given length as words in Artin generators with a uniform probability. The complexity of this algorithm is polynomial in the number of strands and in the length of the generated braids. As a byproduct, we describe a finite state automaton accepting the language of lexicographically minimal representatives of positive braids that has the minimal possible number of states, and we prove that its number of states is exponential in the number of strands. △ Less

Submitted 22 July, 2012; v1 submitted 22 December, 2011; originally announced December 2011.

MSC Class: 20F36 (Primary) 20F10; 05A15; 68W20; 68R05 (Secondary)

Journal ref: Journal of Combinatorial Theory, Series A 120 (2013), pp. 111-128

Twisted conjugacy in braid groups

Authors: Juan González-Meneses, Enric Ventura

Abstract: In this note we solve the twisted conjugacy problem for braid groups, i.e. we propose an algorithm which, given two braids $u,v\in B_n$ and an automorphism $φ\in Aut (B_n)$, decides whether $v=(φ(x))^{-1}ux$ for some $x\in B_n$. As a corollary, we deduce that each group of the form $B_n \rtimes H$, a semidirect product of the braid group $B_n$ by a torsion-free hyperbolic group $H$, has solvable c… ▽ More In this note we solve the twisted conjugacy problem for braid groups, i.e. we propose an algorithm which, given two braids $u,v\in B_n$ and an automorphism $φ\in Aut (B_n)$, decides whether $v=(φ(x))^{-1}ux$ for some $x\in B_n$. As a corollary, we deduce that each group of the form $B_n \rtimes H$, a semidirect product of the braid group $B_n$ by a torsion-free hyperbolic group $H$, has solvable conjugacy problem. △ Less

Submitted 29 April, 2011; originally announced April 2011.

MSC Class: 20F36; 20F10

Basic results on braid groups

Authors: Juan Gonzalez-Meneses

Abstract: These are Lecture Notes of a course given by the author at the French-Spanish School "Tresses in Pau", held in Pau (France) in October 2009. It is basically an introduction to distinct approaches and techniques that can be used to show results in braid groups. Using these techniques we provide several proofs of well known results in braid groups, namely the correctness of Artin's presentation, tha… ▽ More These are Lecture Notes of a course given by the author at the French-Spanish School "Tresses in Pau", held in Pau (France) in October 2009. It is basically an introduction to distinct approaches and techniques that can be used to show results in braid groups. Using these techniques we provide several proofs of well known results in braid groups, namely the correctness of Artin's presentation, that the braid group is torsion free, or that its center is generated by the full twist. We also recall some solutions of the word and conjugacy problems, and that roots of a braid are always conjugate. We also describe the centralizer of a given braid. Most proofs are classical ones, using modern terminology. I have chosen those which I find simpler or more beautiful. △ Less

Submitted 2 October, 2010; originally announced October 2010.

Comments: To appear in Annales Mathématiques Blaise Pascal. 45 pages, 11 figures

MSC Class: 20F36

Reducible braids and Garside theory

Authors: Juan Gonzalez-Meneses, Bert Wiest

Abstract: 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… ▽ More 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. △ Less

Submitted 2 August, 2010; originally announced August 2010.

Comments: 28 pages, 4 figures

MSC Class: 20F36

Journal ref: Algebr. Geom. Topol. 11 (2011) 2971-3010

On reduction curves and Garside properties of braids

Authors: Juan Gonzalez-Meneses

Abstract: In this paper we study the reduction curves of a braid, and how they can be used to decompose the braid into simpler ones in a precise way, which does not correspond exactly to the decomposition given by Thurston theory. Then we study how a cyclic sliding (which is a particular kind of conjugation) affects the normal form of a braid with respect to the normal forms of its components. Finally, usin… ▽ More In this paper we study the reduction curves of a braid, and how they can be used to decompose the braid into simpler ones in a precise way, which does not correspond exactly to the decomposition given by Thurston theory. Then we study how a cyclic sliding (which is a particular kind of conjugation) affects the normal form of a braid with respect to the normal forms of its components. Finally, using the above methods, we provide the example of a family of braids whose sets of sliding circuits (hence ultra summit sets) have exponential size with respect to the number of strands and also with respect to the canonical length. △ Less

Submitted 11 June, 2010; originally announced June 2010.

Comments: 20 pages, 3 figures

MSC Class: 20F36

A geometric characterization of the upper bound for the span of the Jones polynomial

Authors: J. González-Meneses, P. M. G. Manchón

Abstract: Let D be a link diagram with n crossings, s_A and s_B its extreme states and |s_AD| (resp. |s_BD|) the number of simple closed curves that appear when smoothing D according to s_A (resp. s_B). We give a general formula for the sum |s_AD|+|s_BD| for a k-almost alternating diagram D, for any k, characterising this sum as the number of faces in an appropriate triangulation of an appropriate surface w… ▽ More Let D be a link diagram with n crossings, s_A and s_B its extreme states and |s_AD| (resp. |s_BD|) the number of simple closed curves that appear when smoothing D according to s_A (resp. s_B). We give a general formula for the sum |s_AD|+|s_BD| for a k-almost alternating diagram D, for any k, characterising this sum as the number of faces in an appropriate triangulation of an appropriate surface with boundary. When D is dealternator connected, the triangulation is especially simple, yielding |s_AD|+|s_BD|=n+2-2k. This gives a simple geometric proof of the upper bound of the span of the Jones polynomial for dealternator connected diagrams, a result first obtained by Zhu in 1997. Another upper bound of the span of the Jones polynomial for dealternator connected and dealternator reduced diagrams, discovered historically first by Adams et al in 1992, is obtained as a corollary. As a new application, we prove that the Turaev genus is equal to the number k of dealternator crossings for any dealternator connected diagram. △ Less

Submitted 4 November, 2010; v1 submitted 30 July, 2009; originally announced July 2009.

Comments: 12 pages, 6 figures. To appear in Journal of Knot Theory and its Ramifications

MSC Class: 57M27; 57M25

Journal ref: Journal of Knot Theory and Its Ramifications, Vol. 20, No. 7 (2011) 1059-1071

Solving the conjugacy problem in Garside groups by cyclic sliding

Authors: Volker Gebhardt, Juan González-Meneses

Abstract: We present a solution to the conjugacy decision problem and the conjugacy search problem in Garside groups, which is theoretically simpler than the usual one, with no loss of efficiency. This is done by replacing the well known cycling and decycling operations by a new one, called cyclic sliding, which appears to be a more natural choice. We give an analysis of the complexity of our algorithm… ▽ More We present a solution to the conjugacy decision problem and the conjugacy search problem in Garside groups, which is theoretically simpler than the usual one, with no loss of efficiency. This is done by replacing the well known cycling and decycling operations by a new one, called cyclic sliding, which appears to be a more natural choice. We give an analysis of the complexity of our algorithm in terms of fundamental operations with simple elements, so our analysis is valid for every Garside group. This paper intends to be self-contained, not requiring any previous knowledge of prior algorithms, and includes all the details for the algorithm to be implemented on a computer. △ Less

Submitted 5 September, 2008; originally announced September 2008.

Comments: 30 pages

MSC Class: 20F36 (Primary) 20F10; 68W40 (Secondary)

The cyclic sliding operation in Garside groups

Authors: Volker Gebhardt, Juan González-Meneses

Abstract: We present a new operation to be performed on elements in a Garside group, called cyclic sliding, which is introduced to replace the well known cycling and decycling operations. Cyclic sliding appears to be a more natural choice, simplifying the algorithms concerning conjugacy in Garside groups and having nicer theoretical properties. We show, in particular, that if a super summit element has co… ▽ More We present a new operation to be performed on elements in a Garside group, called cyclic sliding, which is introduced to replace the well known cycling and decycling operations. Cyclic sliding appears to be a more natural choice, simplifying the algorithms concerning conjugacy in Garside groups and having nicer theoretical properties. We show, in particular, that if a super summit element has conjugates which are 'rigid' (that is, which have a certain particularly simple structure), then the optimal way of obtaining such a rigid conjugate through conjugation by positive elements is given by iterated cyclic sliding. △ Less

Submitted 9 September, 2008; v1 submitted 10 August, 2008; originally announced August 2008.

Comments: 28 pages. Updated reference, minor correction

MSC Class: 20F36 (Primary) 20F10 (Secondary)

On the cycling operation in braid groups

Authors: Juan Gonzalez-Meneses, Volker Gebhardt

Abstract: The cycling operation is a special kind of conjugation that can be applied to elements in Artin's braid groups, in order to reduce their length. It is a key ingredient of the usual solutions to the conjugacy problem in braid groups. In their seminal paper on braid-cryptography, Ko, Lee et al. proposed the {\it cycling problem} as a hard problem in braid groups that could be interesting for crypt… ▽ More The cycling operation is a special kind of conjugation that can be applied to elements in Artin's braid groups, in order to reduce their length. It is a key ingredient of the usual solutions to the conjugacy problem in braid groups. In their seminal paper on braid-cryptography, Ko, Lee et al. proposed the {\it cycling problem} as a hard problem in braid groups that could be interesting for cryptography. In this paper we give a polynomial solution to that problem, mainly by showing that cycling is surjective, and using a result by Maffre which shows that pre-images under cycling can be computed fast. This result also holds in every Artin-Tits group of spherical type. On the other hand, the conjugacy search problem in braid groups is usually solved by computing some finite sets called (left) ultra summit sets (left-USS), using left normal forms of braids. But one can equally use right normal forms and compute right-USS's. Hard instances of the conjugacy search problem correspond to elements having big (left and right) USS's. One may think that even if some element has a big left-USS, it could possibly have a small right-USS. We show that this is not the case in the important particular case of rigid braids. More precisely, we show that the left-USS and the right-USS of a given rigid braid determine isomorphic graphs, with the arrows reversed, the isomorphism being defined using iterated cycling. We conjecture that the same is true for every element, not necessarily rigid, in braid groups and Artin-Tits groups of spherical type. △ Less

Submitted 19 April, 2007; originally announced April 2007.

Comments: 20 pages

MSC Class: 20F36 (Primary) 94A60

Conjugacy in Garside Groups III: Periodic braids

Authors: Joan S. Birman, Volker Gebhardt, Juan Gonzalez-Meneses

Abstract: An element in Artin's braid group B_n is said to be periodic if some power of it lies in the center of B_n. In this paper we prove that all previously known algorithms for solving the conjugacy search problem in B_n are exponential in the braid index n for the special case of periodic braids. We overcome this difficulty by putting to work several known isomorphisms between Garside structures in… ▽ More An element in Artin's braid group B_n is said to be periodic if some power of it lies in the center of B_n. In this paper we prove that all previously known algorithms for solving the conjugacy search problem in B_n are exponential in the braid index n for the special case of periodic braids. We overcome this difficulty by putting to work several known isomorphisms between Garside structures in the braid group B_n and other Garside groups. This allows us to obtain a polynomial solution to the original problem in the spirit of the previously known algorithms. This paper is the third in a series of papers by the same authors about the conjugacy problem in Garside groups. They have a unified goal: the development of a polynomial algorithm for the conjugacy decision and search problems in B_n, which generalizes to other Garside groups whenever possible. It is our hope that the methods introduced here will allow the generalization of the results in this paper to all Artin-Tits groups of spherical type. △ Less

Submitted 22 February, 2007; v1 submitted 21 September, 2006; originally announced September 2006.

Comments: 33 pages, 13 figures. Classical references implying Corollaries 12 and 15 have been added. To appear in Journal of Algebra

MSC Class: 20F36; 20F10

Bi-orderings on pure braided Thompson's groups

Authors: Jose Burillo, Juan Gonzalez-Meneses

Abstract: In this paper it is proved that the pure braided Thompson's group BF admits a bi-order, analog to the bi-order of the pure braid groups. In this paper it is proved that the pure braided Thompson's group BF admits a bi-order, analog to the bi-order of the pure braid groups. △ Less

Submitted 25 August, 2006; originally announced August 2006.

Comments: 13 pages, 6 figures

MSC Class: 06F15; 20F36

Conjugacy in Garside groups II: Structure of the ultra summit set

Authors: Joan S. Birman, Volker Gebhardt, Juan Gonzalez-Meneses

Abstract: This paper is the second in a series in which the authors study the conjugacy decision problem (CDP) and the conjugacy search problem (CSP) in Garside groups. The ultra summit set USS(X) of an element X in a Garside group G is a finite set of elements in G, introduced by the second author, which is a complete invariant of the conjugacy class of X in G. A fundamental question, if one wishes to fi… ▽ More This paper is the second in a series in which the authors study the conjugacy decision problem (CDP) and the conjugacy search problem (CSP) in Garside groups. The ultra summit set USS(X) of an element X in a Garside group G is a finite set of elements in G, introduced by the second author, which is a complete invariant of the conjugacy class of X in G. A fundamental question, if one wishes to find bounds on the size of USS(X), is to understand its structure. In this paper we introduce two new operations on elements of USS(X), called `partial cycling' and `partial twisted decycling', and prove that if Y and Z belong to USS(X), then Y and Z are related by sequences of partial cyclings and partial twisted decyclings. These operations are a concrete way to understand the minimal simple elements which result from the convexity theorem in the mentioned paper by the second author. Using partial cycling and partial twisted decycling, we investigate the structure of a directed graph Γ_X which is determined by USS(X), and show that Γ_X can be decomposed into `black' and `grey' subgraphs. There are applications which relate to the program, outlined in the first paper in this series, for finding a polynomial solution to the CDP/CSP in the case of braids. A different application is to give a new algorithm for solving the CDP/CSP in Garside groups which is faster than all other known algorithms, even though its theoretical complexity is the same as that given by the second author. There are also applications to the theory of reductive groups. △ Less

Submitted 26 June, 2006; originally announced June 2006.

Comments: 41 pages, 5 figures

MSC Class: 20F36; 20F10

Conjugacy in Garside groups I: Cyclings, powers, and rigidity

Authors: Joan S. Birman, Volker Gebhardt, Juan Gonzalez-Meneses

Abstract: In this paper a relation between iterated cyclings and iterated powers of elements in a Garside group is shown. This yields a characterization of elements in a Garside group having a rigid power, where 'rigid' means that the left normal form changes only in the obvious way under cycling and decycling. It is also shown that, given X in a Garside group, if some power X^m is conjugate to a rigid el… ▽ More In this paper a relation between iterated cyclings and iterated powers of elements in a Garside group is shown. This yields a characterization of elements in a Garside group having a rigid power, where 'rigid' means that the left normal form changes only in the obvious way under cycling and decycling. It is also shown that, given X in a Garside group, if some power X^m is conjugate to a rigid element, then m can be bounded above by ||Δ||^3. In the particular case of braid groups, this implies that a pseudo-Anosov braid has a small power whose ultra summit set consists of rigid elements. This solves one of the problems in the way of a polynomial solution to the conjugacy decision problem (CDP) and the conjugacy search problem (CSP) in braid groups. In addition to proving the rigidity theorem, it will be shown how this paper fits into the authors' program for finding a polynomial algorithm to the CDP/CSP, and what remains to be done. △ Less

Submitted 9 May, 2006; originally announced May 2006.

Comments: 41 pages

MSC Class: 20F36; 20F10

The n-th root of a braid is unique up to conjugacy

Authors: Juan Gonzalez-Meneses

Abstract: We prove a conjecture due to Makanin: if a and b are elements of the Artin braid group B_n such that a^k=b^k for some nonzero integer k, then a and b are conjugate. The proof involves the Nielsen-Thurston classification of braids. We prove a conjecture due to Makanin: if a and b are elements of the Artin braid group B_n such that a^k=b^k for some nonzero integer k, then a and b are conjugate. The proof involves the Nielsen-Thurston classification of braids. △ Less

Submitted 6 November, 2003; v1 submitted 3 June, 2003; originally announced June 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-39.abs.html

MSC Class: 20F36; 20F65

Journal ref: Algebr. Geom. Topol. 3 (2003) 1103-1118

On the structure of the centralizer of a braid

Authors: Juan Gonzalez-Meneses, Bert Wiest

Abstract: The mixed braid groups are the subgroups of Artin braid groups whose elements preserve a given partition of the base points. We prove that the centralizer of any braid can be expressed in terms of semidirect and direct products of mixed braid groups. Then we construct a generating set of the centralizer of any braid on n strands, which has at most k(k+1)/2 elements if n=2k, and at most $k(k+3)/2… ▽ More The mixed braid groups are the subgroups of Artin braid groups whose elements preserve a given partition of the base points. We prove that the centralizer of any braid can be expressed in terms of semidirect and direct products of mixed braid groups. Then we construct a generating set of the centralizer of any braid on n strands, which has at most k(k+1)/2 elements if n=2k, and at most $k(k+3)/2 elements if n=2k+1. These bounds are shown to be sharp, due to work of N.V.Ivanov and of S.J.Lee. Finally, we describe how one can explicitly compute this generating set. △ Less

Submitted 12 September, 2003; v1 submitted 11 May, 2003; originally announced May 2003.

Comments: Section 5.3 is rewritten. The proposed generating set is shown not to be minimal, even though it is the smallest one reflecting the geometric approach. Proper credit is given to the work of other researchers, notably to N.V.Ivanov

MSC Class: 20F36 (Primary) 20E07; 20F65 (Secondary)

Improving an algorithm to solve Multiple Simultaneous Conjugacy Problems in braid groups

Authors: Juan Gonzalez-Meneses

Abstract: There are recent cryptographic protocols that are based on Multiple Simultaneous Conjugacy Problems in braid groups. We improve an algorithm, due to Sang Jin Lee and Eonkyung Lee, to solve these problems, by applying a method developed by the author and Nuno Franco, originally intended to solve the Conjugacy Search Problem in braid groups. There are recent cryptographic protocols that are based on Multiple Simultaneous Conjugacy Problems in braid groups. We improve an algorithm, due to Sang Jin Lee and Eonkyung Lee, to solve these problems, by applying a method developed by the author and Nuno Franco, originally intended to solve the Conjugacy Search Problem in braid groups. △ Less

Submitted 10 December, 2002; originally announced December 2002.

Comments: 9 pages

MSC Class: 20F36; 20F10; 94A60

On the singular braid monoid of an orientable surface

Authors: Jeronimo Diaz-Cantos, Juan Gonzalez-Meneses, Jose M. Tornero

Abstract: In this paper we show that the singular braid monoid of an orientable surface can be embedded in a group. The proof is purely topological, making no use of the monoid presentation. In this paper we show that the singular braid monoid of an orientable surface can be embedded in a group. The proof is purely topological, making no use of the monoid presentation. △ Less

Submitted 3 September, 2002; originally announced September 2002.

Comments: 8 pages, 10 figures

MSC Class: 20F36; 20F38

Computation of Centralizers in Braid groups and Garside Groups

Authors: Nuno Franco, Juan Gonzalez-Meneses

Abstract: We give a new method to compute the centralizer of an element in Artin braid groups and, more generally, in Garside groups. This method, together with the solution of the conugacy problem given by the authors in a previous paper, are two main steps for solving conjugacy systems, thus breaking recently discovered cryptosystems based in braid groups. We also present the result of our computations,… ▽ More We give a new method to compute the centralizer of an element in Artin braid groups and, more generally, in Garside groups. This method, together with the solution of the conugacy problem given by the authors in a previous paper, are two main steps for solving conjugacy systems, thus breaking recently discovered cryptosystems based in braid groups. We also present the result of our computations, where we notice that our algorithm yields surprisingly small generating sets for the centralizers. △ Less

Submitted 10 December, 2002; v1 submitted 25 January, 2002; originally announced January 2002.

Comments: The algorithm has been improved by using the Summit Class, instead of the conjugacy class of the element under study. The word "normalizer" has been replaced by "centralizer". 14 pages, 4 figures

MSC Class: 20F36; 20F10

Presentations for the monoids of singular braids on closed surfaces

Authors: Juan Gonzalez-Meneses

Abstract: We give presentations, in terms of generators and relations, for the monoids of singular braids on closed surfaces. The proof of the validity of these presentations can also be applied to verify, in a new way, the presentations given by Birman for the monoids of Singular Artin braids. We give presentations, in terms of generators and relations, for the monoids of singular braids on closed surfaces. The proof of the validity of these presentations can also be applied to verify, in a new way, the presentations given by Birman for the monoids of Singular Artin braids. △ Less

Submitted 31 December, 2001; originally announced December 2001.

Comments: 6 pages, 8 figures. To appear in Communications in Algebra

MSC Class: 20F36; 20F05

Conjugacy problem for braid groups and Garside groups

Authors: Nuno Franco, Juan Gonzalez-Meneses

Abstract: We present a new algorithm to solve the conjugacy problem in Artin braid groups, which is faster than the one presented by Birman, Ko and Lee. This algorithm can be applied not only to braid groups, but to all Garside groups (which include finite type Artin groups and torus knot groups among others). We present a new algorithm to solve the conjugacy problem in Artin braid groups, which is faster than the one presented by Birman, Ko and Lee. This algorithm can be applied not only to braid groups, but to all Garside groups (which include finite type Artin groups and torus knot groups among others). △ Less

Submitted 28 August, 2002; v1 submitted 30 December, 2001; originally announced December 2001.

Comments: New version, with substantial modifications. 21 pages, 2 figures

MSC Class: 20F36; 20F10

Ordering pure braid groups on closed surfaces

Authors: Juan Gonzalez-Meneses

Abstract: We prove that the pure braid groups on closed, orientable surfaces are bi-orderable, and that the pure braid groups on closed, non-orientable surfaces have generalized torsion, thus they are not bi-orderable. We prove that the pure braid groups on closed, orientable surfaces are bi-orderable, and that the pure braid groups on closed, non-orientable surfaces have generalized torsion, thus they are not bi-orderable. △ Less

Submitted 21 June, 2000; originally announced June 2000.

Comments: 6 pages, 3 figures

MSC Class: 20F36 (primary); 57N05 (secondary)

Vassiliev invariants for braids on surfaces

Authors: Juan Gonzalez-Meneses, Luis Paris

Abstract: We show that Vassiliev invariants separate braids on a closed oriented surface, and we exhibit an universal Vassiliev invariant for these braids in terms of chord diagrams labeled by elements of the fundamental group of the considered surface. We show that Vassiliev invariants separate braids on a closed oriented surface, and we exhibit an universal Vassiliev invariant for these braids in terms of chord diagrams labeled by elements of the fundamental group of the considered surface. △ Less

Submitted 9 June, 2000; v1 submitted 2 June, 2000; originally announced June 2000.

Comments: 22 pages, 9 figures

MSC Class: 20F36 (Primary) 57M27; 57N05 (Secondary)

New presentations of surface braid groups

Authors: Juan Gonzalez-Meneses

Abstract: In this paper we give new presentations of the braid groups and the pure braid groups of a closed surface. We also give an algorithm to solve the word problem in these groups, using the given presentations. In this paper we give new presentations of the braid groups and the pure braid groups of a closed surface. We also give an algorithm to solve the word problem in these groups, using the given presentations. △ Less

Submitted 5 October, 1999; originally announced October 1999.

Comments: 30 pages, 14 figures

MSC Class: 20F36 (Primary) 57N05 (Secondary)