Braid ordering and the geometry of closed braid (Q2431292)

From MaRDI portal
scientific article
Language Label Description Also known as
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
    0 references
    0 references
    0 references
    0 references
    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
    0 references
    0 references