BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Bert Wiest appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This article in memory of Patrick Dehornoy (1952-2019) is an invitation to Garside theory for mainstream geometric group theorists interested in mapping class groups, curve complexes, and the geometry of Artin-Tits groups.
We present a simple construction which associates to every Garside group a metric space, called the additional length complex, on which the group acts. These spaces share important features with curve complexes: they are $δ$-hyperbolic, infinite, and typically locally infinite graphs. We conjecture that, apart from obvious counterexamples, additional length complexes are always of infinite diameter. We prove this conjecture for the classical example of braid groups $(B_n,Δ)$; moreover, in this framework, reducible and periodic braids act elliptically, and at least some pseudo-Anosov braids act loxodromically. We conjecture that for $B_n$, the additional length complex is actually quasi-isometric to the curve complex of the $n$ times punctured disk.
One way of picking a "generic" element of a finitely generated group is to pick a random element with uniform probability in a large ball centered on $1$ in the Cayley graph. If the group acts on a $δ$-hyperbolic space, with at least one element acting loxodromically, then it is plausible that generic elements should act loxodromically with high probability. In this paper we prove that the probability of acting loxodromically is bounded away from 0, provided the group satisfies a very weak automaticity condition, and provided a certain compatibility condition linking the automatic with the $δ$-hyperbolic structure is satisfied. We present several applications of this result, including the genericity of pseudo-Anosov braids.
We prove that generic elements of braid groups are pseudo-Anosov, in the following sense: in the Cayley graph of the braid group with n $\ge$ 3 strands, with respect to Garside's generating set, we prove that the proportion of pseudo-Anosov braids in the ball of radius l tends to 1 exponentially quickly as l tends to infinity. Moreover, with a similar notion of genericity, we prove that for generic pairs of elements of the braid group, the conjugacy search problem can be solved in quadratic time. The idea behind both results is that generic braids can be conjugated "easily" into a rigid braid.
We establish upper bounds for the complexity of Seifert fibered manifolds with nonempty boundary. In particular, we obtain potentially sharp bounds on the complexity of torus knot complements.
We present an algorithm for solving the conjugacy search problem in the four strand braid group. The computational complexity is cubic with respect to the braid length.
We give an algorithm which decides the Nielsen-Thurston type of a given four-strand braid. The complexity of our algorithm is quadratic with respect to word length. The proof of its validity is based on a result which states that for a reducible 4-braid which is as short as possible within its conjugacy class (short in the sense of Garside), reducing curves surrounding three punctures must be round or almost round.
We prove that the Garside length a braid is equal to a winding-number type invariant of the curve diagram of the braid.
We show that the span of the variable $q$ in the Lawrence-Krammer-Bigelow representation matrix of a braid is equal to the twice of the dual Garside length of the braid, as was conjectured by Krammer. Our proof is close in spirit to Bigelow's geometric approach. The key observation is that the dual Garside length of a braid can be read off a certain labeling of its curve diagram.
We define Dynnikov coordinates on virtual braid groups. We prove that they are faithful invariants of virtual 2-braids, and present evidence that they are also very powerful invariants for general virtual braids.
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.
We show that a large class of right-angled Artin groups (in particular, those with planar complementary defining graph) can be embedded quasi-isometrically in pure braid groups and in the group of area preserving diffeomorphisms of the disk fixing the boundary (with respect to the $L^2$-norm metric); this extends results of Benaim and Gambaudo who gave quasi-isometric embeddings of $F\_n$ and $\Z^n$ for all $n>0$. As a consequence we are also able to embed a variety of Gromov hyperbolic groups quasi-isometrically in pure braid groups and in the diffeomorphism group of the disk. Examples include hyperbolic surface groups, some HNN-extensions of these along cyclic subgroups and the fundamental group of a certain closed hyperbolic 3-manifold.
We prove by explicit construction that graph braid groups and most surface groups can be embedded in a natural way in right-angled Artin groups, and we point out some consequences of these embedding results. We also show that every right-angled Artin group can be embedded in a pure surface braid group. On the other hand, by generalising to right-angled Artin groups a result of Lyndon for free groups, we show that the Euler characteristic -1 surface group (given by the relation x^2y^2=z^2) never embeds in a right-angled Artin group.
We are concerned with orderable groups and particularly those with orderings invariant not only under multiplication, but also under a given automorphism or family of automorphisms. Several applications to topology are given: we prove that the fundamental groups of hyperbolic nonorientable surfaces, and the groups of certain fibred knots are bi-orderable. Moreover, we show that the pure braid groups associated with hyperbolic nonorientable surfaces are left-orderable.
Given a knot K in the 3-sphere, consider a singular disk bounded by K and the intersections of K with the interior of the disk. The absolute number of intersections, minimised over all choices of singular disk with a given algebraic number of intersections, defines the framing function of the knot. We show that the framing function is symmetric except at a finite number of points. The symmetry axis is a new knot invariant, called the natural framing of the knot. We calculate the natural framing of torus knots and some other knots, and discuss some of its properties and its relations to the signature and other well-known knot invariants.
We give an explicit geometric argument that Artin's braid group $B_n$ is right-orderable. The construction is elementary, natural, and leads to a new, effectively computable, canonical form for braids which we call left-consistent canonical form. The left-consistent form of a braid which is positive (respectively negative) in our order has consistently positive (respectively negative) exponent in the smallest braid generator which occurs. It follows that our ordering is identical to that of Dehornoy, constructed by very different means, and we recover Dehornoy's main theorem that any braid can be put into such a form using either positive or negative exponent in the smallest generator but not both. Our definition of order is strongly connected with Mosher's normal form and this leads to an algorithm to decide whether a given braid is positive, trivial, or negative which is quadratic in the length of the braid word.