In the mathematical area of braid theory, the Dehornoy order is a left-invariant total order on the braid group, found by Patrick Dehornoy.[1][2] Dehornoy's original discovery of the order on the braid group used huge cardinals, but there are now several more elementary constructions of it.[3]
Definition
Suppose that \( {\displaystyle \sigma _{1},\dots ,\sigma _{n-1}} \) are the usual generators of the braid group \( B_{n} \) on n strings. Define a \( } \sigma _{i} \)-positive word to be a braid that admits at least one expression in the elements \( {\displaystyle \sigma _{1},\dots ,\sigma _{n-1}} \) and their inverses, such that the word contains \( \sigma _{i} \) , but does not contain \( {\displaystyle \sigma _{i}^{-1}} \) nor \( {\displaystyle \sigma _{j}^{\pm 1}} \) for j<i.
The set P of positive elements in the Dehornoy order is defined to be the elements that can be written as a \( \sigma _{i} \)-positive word for some i.
The set P satisfies \( {\displaystyle PP\subseteq P} \), the sets P, \( \{1\} \), and P − 1 {\displaystyle P^{-1}} P^{{-1}} are disjoint ("acyclicity property"), and the braid group is a union of P, \( \{1\} \), and \( P^{{-1}} \) ("comparison property"). These properties imply that if we define " a<b" to mean " \( {\displaystyle a^{-1}b\in P} \)" then we get a left-invariant total order on the braid group. For example, \( {\displaystyle \sigma _{1}<\sigma _{2}\sigma _{1}} \) because the braid word \( {\displaystyle \sigma _{1}^{-1}\sigma _{2}\sigma _{1}} \) is not \( \sigma _{1} \)-positive, but, by the braid relations, it is equivalent to the \( \sigma _{1} \)-positive word \( {\displaystyle \sigma _{2}\sigma _{1}\sigma _{2}^{-1}} \), which lies in P.
History
Set theory introduces the hypothetical existence of various "hyper-infinity" notions such as large cardinals. In 1989, it was proved that one such notion, axiom \( I_{3} \), implies the existence of an algebraic structure called an acyclic shelf which in turn implies the decidability of the word problem for the left selfdistributivity law \( {\displaystyle LD:x(yz)=(xy)(xz)} \), a property that is a priori unconnected with large cardinals.[4][5]
In 1992, Dehornoy produced an example of an acyclic shelf by introducing a certain groupoid G L D {\displaystyle {\mathcal {G}}_{LD}} {\displaystyle {\mathcal {G}}_{LD}} that captures the geometrical aspects of the \( {\displaystyle LD} \) law. As a result, an acyclic shelf was constructed on the braid group B ∞ {\displaystyle B_{\infty }} B_\infty, which happens to be a quotient of \( {\displaystyle {\mathcal {G}}_{LD}} \), and this implies the existence of the braid order directly.[2] Since the braid order appears precisely when the large cardinal assumption is eliminated, the link between the braid order and the acyclic shelf was only evident via the original problem from set theory.[6]
Properties
The existence of the order shows that every braid group \( B_{n} \) is an orderable group and that, consequently, the algebras\( {\displaystyle \mathbb {Z} B_{n}} \) and \( {\displaystyle \mathbb {C} B_{n}} \) have no zero-divisor.
For \( {\displaystyle n\geqslant 3} \), the Dehornoy order is not invariant on the right : we have \( {\displaystyle \sigma _{2}<\sigma _{1}} \) and \( {\displaystyle \sigma _{2}\sigma _{1}>\sigma _{1}^{2}} \). Anyway, no order of \( B_{n} \) with \( {\displaystyle n\geqslant 3} \) may be invariant on both sides.
For \( {\displaystyle n\geqslant 3} \), the Dehornoy order is neither Archimedean, nor Conradian: there exist braids \( {\displaystyle \beta _{1},\beta _{2}} \) satisfying\( {\displaystyle \beta _{1}^{p}<\beta _{2}} \) for every p (for instance, \( {\displaystyle \beta _{1}=\sigma _{2}} \) and \( {\displaystyle \beta _{2}=\sigma _{1}}) \), and braids\( {\displaystyle \beta _{1},\beta _{2}} \) greater than 1 satisfying \( {\displaystyle \beta _{1}>\beta _{2}\beta _{1}^{p}} \) for every p (for instance, \( {\displaystyle \beta _{1}=\sigma _{2}^{-1}\sigma _{1}} \) and \( {\displaystyle \beta _{2}=\sigma _{2}^{-2}\sigma _{1}}) \).
The Dehornoy order is a well-ordering when restricted to the posititive braid monoid \( {\displaystyle B_{n}^{+}} \)generated by \( } {\displaystyle \sigma _{1},\ldots ,\sigma _{n-1}} \) (Richard Laver [7]). The order type of the Dehornoy order restricted to \( {\displaystyle B_{n}^{+}} \) is the ordinal \( {\displaystyle \omega ^{\omega ^{n-2}}} \) (Serge Burckel [8]).
The Dehornoy order is also a well-ordering when restricted to the dual posititive braid monoid \( {\displaystyle B_{n}^{*+}} \) generated by the elements \( {\displaystyle \sigma _{i}\dots \sigma _{j-1}\sigma _{j}\sigma _{j-1}^{-1}\dots \sigma _{i}^{-1}} \)with \( {\displaystyle 1\leqslant i<j\leqslant n} \), and the order type of the Dehornoy order restricted to \( {\displaystyle B_{n}^{*+}} \) is also \( {\displaystyle \omega ^{\omega ^{n-2}}} \) (Jean Fromentin [9]).
As a binary relation, the Dehornoy order is decidable. The best decision algorithm is based on Dynnikov's tropical formulas (Ivan Dynnikov,[10] see Chapter XII of [3]); the resulting algorithm admits a uniform complexity \( O(\ell ^{2}) \).
Connection with knot theory
Let \( \Delta _{n} \) be Garside's fundamental half-turn braid. Every braid \( \beta \) lies in a unique interval \( {\displaystyle [\Delta _{n}^{2m},\Delta _{n}^{2m+2})} \); call the integer m the Dehornoy floor of \( \beta \) , denoted \( {\displaystyle \lfloor \beta \rfloor } \). Then the link closure of braids with a large floor behave nicely, namely the properties of \( {\displaystyle {\widehat {\beta }}} \) can be read easily from \( \beta \) . Here are some examples.
If \( {\displaystyle \vert \lfloor \beta \rfloor \vert >1} \) holds, then \( {\displaystyle {\widehat {\beta }}} i \)s prime, nonsplit, and nontrivial (Andrei Malyutin and Nikita Netstetaev [11]).
If \( {\displaystyle \vert \lfloor \beta \rfloor \vert >1} \) holds and \( {\displaystyle {\widehat {\beta }}} \) is a knot, then \( {\displaystyle {\widehat {\beta }}} \) is a toric knot if and only if \( \beta \) is periodic, \( {\displaystyle {\widehat {\beta }}} \) is a satellite knot if and only if \( \beta \) is reducible, and \( {\displaystyle {\widehat {\beta }}} \) is hyperbolic if and only if \( \beta \) is pseudo-Anosov (Tetsuya Ito [12]).
References
Dehornoy, Patrick (1992), "Deux propriétés des groupes de tresses", Comptes Rendus de l'Académie des Sciences, Série I, 315 (6): 633–638, ISSN 0764-4442, MR 1183793
Dehornoy, Patrick (1994), "Braid groups and left distributive operations", Transactions of the American Mathematical Society, 345 (1): 115–150, doi:10.2307/2154598, JSTOR 2154598, MR 1214782
Dehornoy, Patrick; Dynnikov, Ivan; Rolfsen, Dale; Wiest, Bert (2008), Ordering braids, Mathematical Surveys and Monographs, 148, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-4431-1, MR 2463428
Dehornoy, Patrick (1989), "Sur la structure des gerbes libres", Comptes Rendus de l'Académie des Sciences, Série I, 309 (3): 143–148, MR 1005627
Laver, Richard (1992), "The left distributive law and the freeness of an algebra of elementary embeddings", Advances in Mathematics, 91 (2): 209–231, doi:10.1016/0001-8708(92)90016-E, hdl:10338.dmlcz/127389, MR 1149623
Dehornoy, Patrick (1996), "Another use of set theory", Bulletin of Symbolic Logic, 2 (4): 379–391, doi:10.2307/421170, JSTOR 421170, MR 1321290
Laver, Richard (1996), "Braid group actions on left distributive structures, and well orderings in the braid groups", Journal of Pure and Applied Algebra, 108: 81–98, doi:10.1016/0022-4049(95)00147-6, MR 1382244
Burckel, Serge (1997), "The wellordering on positive braids", Journal of Pure and Applied Algebra, 120 (1): 1–17, doi:10.1016/S0022-4049(96)00072-2, MR 1466094
Fromentin, Jean (2011), "Every braid admits a short sigma-definite expression", Journal of the European Mathematical Society, 13 (6): 1591–1631, doi:10.4171/JEMS/289 | mr = 2835325
Dynnikov, Ivan (2002), "On a Yang-Baxter mapping and the Dehornoy ordering", Russian Mathematical Surveys, 57 (3): 151–152, doi:10.1070/RM2002v057n03ABEH000519, MR 1918864
Malyutin, Andrei; Netsvetaev, Nikita Yu. (2003), "Dehornoy order in the braid group and transformations of closed braids", Rossiĭskaya Akademiya Nauk. Algebra i Analiz, 15 (3): 170–187, doi:10.1090/S1061-0022-04-00816-7, MR 2052167
Ito, Tetsuya (2011), "Braid ordering and knot genus", Journal of Knot Theory and Its Ramifications, 20 (9): 1311–1323, arXiv:0805.2042, doi:10.1142/S0218216511009169, MR 2844810
Further reading
Kassel, Christian (2002), "L'ordre de Dehornoy sur les tresses", Astérisque (276): 7–28, ISSN 0303-1179, MR 1886754
Dehornoy, Patrick (1997), "A fast method for comparing braids", Advances in Mathematics, 125 (2): 200–235, doi:10.1006/aima.1997.1605, MR 1434111
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
