arXiv subjects

Joan S. Birman

Publications and source records attributed to Joan S. Birman.

29 records · Page 2Linked to original sources

arXiv2004

Braids, knots and contact structures

These notes were prepared to supplement the talk that I gave on Feb 19, 2004, at the First East Asian School of Knots and Related Topics, Seoul, South Korea. In this article I review aspects of the interconnections between braids, knots and contact structures on Euclidean 3-space. I discuss my recent work with William Menasco (arXiv math.GT/0310279)} and (arXiv math.GT/0310280). In the latter we prove that there are distinct transversal knot types in contact 3-space having the same topological knot type and the same Bennequin invariant.

math.GT↗

arXiv2003

Obstructions to trivializing a knot

The recent proof by Bigelow and Krammer that the braid groups are linear opens the possibility of applications to the study of knots and links. It was proved by the first author and Menasco that any closed braid representative of the unknot can be systematically simplified to a round planar circle by a sequence of exchange moves and reducing moves. In this paper we establish connections between the faithfulness of the Krammer-Lawrence representation and the problem of recognizing when the conjugacy class of a closed braid admits an exchange move or a reducing move.

math.GT↗

arXiv2002

On Markov's Theorem

We give a new proof of Markov's classical theorem relating any two closed braid representations of the same knot or link. The proof is based upon ideas in a forthcoming paper by the authors, "Stabilization in the braid groups". The new proof of the classical Markov theorem is used by Nancy Wrinkle in her forthcoming manuscript "The Markov Theorem for transverse knots".

math.GT↗

arXiv2001

On transversally simple knots

Final revision. To appear in the Journal of Differential Geometry. This paper studies knots that are transversal to the standard contact structure in $\reals^3$, bringing techniques from topological knot theory to bear on their transversal classification. We say that a transversal knot type $\cTK$ is {\it transversally simple} if it is determined by its topological knot type $\cK$ and its Bennequin number. The main theorem asserts that any $\cTK$ whose associated $\cK$ satisfies a condition that we call {\em exchange reducibility} is transversally simple. As a first application, we prove that the unlink is transversally simple, extending the main theorem in \cite{El}. As a second application we use a new theorem of Menasco (Theorem 1 of \cite{Me}) to extend a result of Etnyre \cite{Et} to prove that iterated torus knots are transversally simple. We also give a formula for their maximum Bennequin number. We show that the concept of exchange reducibility is the simplest of the constraints that one can place on $\cK$ in order to prove that any associated $\cTK$ is transversally simple. We also give examples of pairs of transversal knots that we conjecture are {\em not} transversally simple.

math.GT↗

arXiv2000

Holonomic and Legendrian parametrizations of knots

Let $f:S^1\to R$ be a generic map. We may use $f$ to define a new map $\tilde{f}:S^1\to R^3$ by $\tilde{f}(t) = (-f(t),f'(t),-f''(t))$, and if $f$ is an embedding then the image of $\tilde{f}$ will be a knot. Knots defined by such parametrizations are called holonomic knots. They were introduced in 1997 by Vassiliev, who proved that every knot type can be represented by a holonomic knot. Our main result is that any two holonomic knots which represent the same knot type are isotopic in the space of holonomic knots. A second result emerges through the techniques used to prove the main result: strong and unexpected connections between the topology of knots and the algebraic solution to the conjugacy problem in the braid groups, via the work of Garside. We also discuss related parametrizations of Legendrian knots, and uncover connections between the concepts of holonomic and Legendrian parametrizations of knots.

math.GT↗

arXiv2000

The infimum, supremum and geodesic length of a braid conjugacy class

Algorithmic solutions to the conjugacy problem in the braid groups B_n were given by Elrifai-Morton in 1994 and by the authors in 1998. Both solutions yield two conjugacy class invariants which are known as `inf' and `sup'. A problem which was left unsolved in both papers was the number m of times one must `cycle' (resp. `decycle') in order to increase inf (resp. decrease sup) or to be sure that it is already maximal (resp. minimal) for the given conjugacy class. Our main result is to prove that m is bounded above by n-2 in the situation of the second algorithm and by ((n^2-n)/2)-1 in the situation of the first. As a corollary, we show that the computation of inf and sup is polynomial in both word length and braid index, in both algorithms. The integers inf and sup determine (but are not determined by) the shortest geodesic length for elements in a conjugacy class, as defined by Charney, and so we also obtain a polynomial-time algorithm for computing this geodesic length.

math.GT↗

arXiv1999

A new algorithm for recognizing the unknot

The topological underpinnings are presented for a new algorithm which answers the question: `Is a given knot the unknot?' The algorithm uses the braid foliation technology of Bennequin and of Birman and Menasco. The approach is to consider the knot as a closed braid, and to use the fact that a knot is unknotted if and only if it is the boundary of a disc with a combinatorial foliation. The main problems which are solved in this paper are: how to systematically enumerate combinatorial braid foliations of a disc; how to verify whether a combinatorial foliation can be realized by an embedded disc; how to find a word in the the braid group whose conjugacy class represents the boundary of the embedded disc; how to check whether the given knot is isotopic to one of the enumerated examples; and finally, how to know when we can stop checking and be sure that our example is not the unknot.

math.GT↗

arXiv1998

A new approach to the word and conjugacy problems in the braid groups

A new presentation of the $n$-string braid group $B_n$ is studied. Using it, a new solution to the word problem in $B_n$ is obtained which retains most of the desirable features of the Garside-Thurston solution, and at the same time makes possible certain computational improvements. We also give a related solution to the conjugacy problem, but the improvements in its complexity are not clear at this writing.

math.GT↗

arXiv1998

Braided chord diagrams

The notion of a braided chord diagram is introduced and studied. An equivalence relation is given which identifies all braidings of a fixed chord diagram. It is shown that finite-type invariants are stratified by braid index for knots which can be represented as closed 3-braids. Partial results are obtained about spanning sets for the algebra of chord diagrams of braid index 3.

math.GT↗

arXiv1998

Studying surfaces via closed braids

This is a review article on the Bennequin-Birman-Menasco machinery for studying embedded incompressible surfaces in 3-space via their `braid foliations'. Two cases are investigated: case (1) The surface has non-empty boundary; the boundary is a knot or link which is represented as a closed braid, Case (2) The surface is closed, but it lies in the complement of a knot or link which is represented as a closed braid. The main results in the area are established with full proofs, in a systematic fashion, with an eye toward making them accessible to the beginning reader. There are some new contributions, described in detail in the introduction.

math.GT↗

arXiv1993

New points of view in knot theory

In this article we shall give an account of certain developments in knot theory which followed upon the discovery of the Jones polynomial in 1984. The focus of our account will be recent glimmerings of understanding of the topological meaning of the new invariants. A second theme will be the central role that braid theory has played in the subject. A third will be the unifying principles provided by representations of simple Lie algebras and their universal enveloping algebras. These choices in emphasis are our own. They represent, at best, particular aspects of the far-reaching ramifications that followed the discovery of the Jones polynomial.

math.GT↗