Source author record

William W. Menasco

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GT math.GN math.GR math.SG

Catalog footprint

Research overview

6works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

MICC: A tool for computing short distances in the curve complex

The complex of curves $\mathcal{C}(S_g)$ of a closed orientable surface of genus $g \geq 2$ is the simplicial complex having its vertices, $\mathcal{C}^0(S_g)$ , are isotopy classes of essential curves in $S_g$ . Two vertices co-bound an edge of the $1$ -skeleton, $\mathcal{C}^1(S_g)$ , if there are disjoint representatives in $S_g$ . A metric is obtained on $\mathcal{C}^0(S_g)$ by assigning unit length to each edge of $\mathcal{C}^1(S_g)$ . Thus, the distance between two vertices, $d(v,w)$ , corresponds to the length of a geodesic---a shortest edge-path between $v$ and $w$ in $\mathcal{C}^1 (S_g)$ . Recently, Birman, Margalit and the second author introduced the concept of {\em initially efficient geodesics} in $\mathcal{C}^1(S_g)$ and used them to give a new algorithm for computing the distance between vertices. In this note we introduce the software package MICC ({\em Metric in the Curve Complex}), a partial implementation of the initially efficient geodesic algorithm. We discuss the mathematics underlying MICC and give applications. In particular, we give examples of distance four vertex pairs, for $g=2$ and 3. Previously, there was only one known example, in genus $2$ , due to John Hempel.

preprint2014arXiv

The curve complex has dead ends

It is proved that the curve graph $C^1(Σ)$ of a surface $Σ_{g,n}$ has a local pathology that had not been identified as such: there are vertices $α,β$ in $C^1(Σ)$ such that $β$ is a dead end of every geodesic joining $α$ to $β$ . It also has double dead-ends. Every dead end has depth 1.

preprint2013arXiv

Embedded annuli and Jones' conjecture

We show that after stabilizations of opposite parity and braid isotopy, any two braids in the same topological link type cobound embedded annuli. We use this to prove the generalized Jones conjecture relating the braid index and algebraic length of closed braids within a link type, following a reformulation of the problem by Kawamuro.

preprint2012arXiv

Monotonic Simplification and Recognizing Exchange Reducibility

The Markov Theorem Without Stabilization (MTWS) (see math.GT/0310279) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive there are three key isotopies that were identified and analyzed--destabilization, exchange moves and elementary braid preserving flypes. One of the critical open problems left in the wake of the MTWS is the "recognition problem"--determining when a given closed n-braid admits a specified move of the calculus. In this note we give an algorithmic solution to the recognition problem for three isotopies of the MTWS calculus--destabilization, exchange moves and braid preserving flypes. The algorithm is directed by a complexity measure that can be "monotonic simplified" by that application of "elementary moves".

preprint2012arXiv

Recognizing destabilization, exchange moves and flypes

The Markov Theorem Without Stabilization (MTWS) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive there are three key isotopies that were identified and analyzed---destabilization, exchange moves and elementary braid preserving flypes. One of the critical open problems left in the wake of the MTWS is the "recognition problem"---determining when a given closed $n$ -braid admits a specified move of the calculus. In this note we give an algorithmic solution to the recognition problem for these three key isotopies of the MTWS calculus. The algorithm is "directed" by a complexity measure that can be {\em monotonically simplified} by the application of "elementary moves".

preprint2009arXiv

Climbing a Legendrian mountain range without Stabilization

We introduce a new braid-theoretic framework with which to understand the Legendrian and transversal classification of knots, namely a Legendrian Markov Theorem without Stabilization which induces an associated transversal Markov Theorem without Stabilization. We establish the existence of a nontrivial knot-type specific Legendrian and transversal MTWS by enhancing the Legendrian mountain range for the (2,3)-cable of a (2,3)-torus knot provided by Etnyre and Honda, and showing that elementary negative flypes allow us to move toward maximal tb value without having to use Legendrian stabilization. In doing so we obtain new ways to visualize convex tori and Legendrian divides and rulings, using tilings and braided rectangular diagrams.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.