Braid ordering and the geometry of closed braid (Q2431292)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Braid ordering and the geometry of closed braid
    scientific article

      Statements

      Braid ordering and the geometry of closed braid (English)
      0 references
      0 references
      12 April 2011
      0 references
      Using the Dehornoy (left) ordering \(<_{D}\), on the Braid Group \(B_n\) the author gives the definition of the Dehornoy floor \([\beta]_{D}\) of an \(n\)-braid \(\beta\) in terms of the Garside fundamental word \[ \Delta =(\sigma_{1}\sigma_{2}\dots \sigma_{n-1})(\sigma_{1}\sigma_{2}\dots \sigma_{n-2})\dots(\sigma_{1}\sigma_{2})(\sigma_{1}) \] as follows: \[ [\beta]_{D} = \min\{m\in Z_{\geqslant 0}\mid \Delta^{-2m-2} <_{D} \beta <_{D} \Delta^{2m+2}\}. \] (The author notes that Thurston's floor may also be used for the theorem that follows.) The first result relates \([\beta]_{D}\) and the (non-zero) genus \(g\) of an essential surface \(F\) in the complement of the closed braid \(\hat{\beta}\): {\parindent6.5mm \begin{itemize}\item[(1)] If \(F\) is tiled, then \([\beta]_{D} < g+1\). \item[(2)] If \(F\) is mixed-foliated, then \([\beta]_{D} < 2g\). \item[(3)] If \([\beta]_{D} \geqslant 2g\), then \(F\) is circular-foliated. \end{itemize}} The foliations in question are those of the Birman-Menasco braid foliation theory (arising from intersections of discs spanning the axis of \(\hat{\beta}\) with \(F\)). The author notes that (3) means there is an isotopy of \(F\) so that it does not intersect the axis of \(\hat{\beta}\), when \([\beta]_{D} \geqslant 2g\). Nielsen-Thurston classify braids according to their actions when considered as members of the mapping class group of the punctured disc. As such, a braid \(\beta\) may be periodic, reducible, or psuedo-Anosov. If \([\beta]_{D} \geqslant 2\), the author shows (1) \(\beta\) is periodic \(\Leftrightarrow\) \(\hat{\beta}\) is a torus knot. (2) \(\beta\) is reducible \(\Leftrightarrow\) \(\hat{\beta}\) is a satellite knot. (3) \(\beta\) is psuedo-Anosov \(\Leftrightarrow\) \(\hat{\beta}\) is a hyperbolic knot. The author notes that the condition \([\beta]_{D} \geqslant 2\) is best possible.
      0 references
      braid group
      0 references
      knot
      0 references
      genus
      0 references
      Dehornoy ordering
      0 references
      Nielson-Thurston classification
      0 references
      mapping class group
      0 references
      geometric structure
      0 references
      foliation
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references