Laver’s results and low-dimensional topology

Patrick Dehornoy

doi:10.1007/s00153-015-0460-9

In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimensional topology, namely the existence of what is now known as the Laver tables and the well-foundedness of the standard ordering of positive braids. Here we present these results and discuss the way they could be used in topological applications.

Loading next page...

References (115)

R. Fenn, C. Rourke (1992)
Racks and links in codimension 2
J. Knot Theory. Ramific., 1
A. Bovykin (2007)
Brief introduction to unprovability
Sam Nelson, Ryan Wieghard (2008)
Link invariants from finite Coxeter racks
arXiv: Geometric Topology
D. Joyce (1982)
A classifying invariant of knots, the knot quandle
Journal of Pure and Applied Algebra, 23
E. Artin (1925)
Theorie der Zopfe
Abh. Math. Semin. Univ. Hambg., 4
J. Carter, S. Kamada, M. Saito (2000)
GEOMETRIC INTERPRETATIONS OF QUANDLE HOMOLOGY
Journal of Knot Theory and Its Ramifications, 10
Patrick Dehornoy, Richard Laver, Richard Laver (2014)
LAVER’S RESULTS AND LOW-DIMENSIONAL TOPOLOGY
Patrick Dehornoy (2004)
Braid-based cryptography
R. Laver (1992)
A division algorithm for the free left distributive algebra
arXiv: Logic
N. Harrell, Sam Nelson (2006)
Quandles and Linking Number
Journal of Knot Theory and Its Ramifications, 16
N. Andruskiewitsch, M. Graña (2002)
From racks to pointed Hopf algebras
Advances in Mathematics, 178
J. Carter, D. Jelsovsky, S. Kamada, M. Saito (1999)
Computations of Quandle Cocycle Invariants of Knotted Curves and Surfaces
Advances in Mathematics, 157
S. Matveev (1984)
DISTRIBUTIVE GROUPOIDS IN KNOT THEORY
Mathematics of The Ussr-sbornik, 47
Maciej Niebrzydowski, J. Przytycki (2008)
The quandle of the trefoil knot as the Dehn quandle of the torus
Osaka Journal of Mathematics, 46
R. Laver (1992)
The Left Distributive Law and the Freeness of an Algebra of Elementary Embeddings
Advances in Mathematics, 91
R. Fenn, C. Rourke, B. Sanderson (2003)
The rack space
Transactions of the American Mathematical Society, 359
IV WilliamF.Doran (1998)
On the Homology of Distributive Lattices
Eur. J. Comb., 19
Patrick Dehornoy (2007)
Alternating normal forms for braids and locally Garside monoids monoids
David Larue (1994)
LEFT-DISTRIBUTIVE AND LEFT-DISTRIBUTIVE IDEMPOTENT ALGEBRAS
J. Carter, M. Elhamdadi, M. Saito (2001)
Twisted quandle homology theory and cocycle knot invariants
Algebraic & Geometric Topology, 2
A. Kelarev (2005)
Braid-based cryptography
Contemporary mathematics, 360
J. Fromentin (2010)
THE WELL-ORDERING OF DUAL BRAID MONOID
Journal of Knot Theory and Its Ramifications, 19
W. Rump (2005)
A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation
Advances in Mathematics, 193
W. Chang, Sam Nelson (2009)
Rack shadows and their invariants
arXiv: Geometric Topology
A. Weiermann (2005)
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
Ann. Pure Appl. Log., 136
A. Inoue (2001)
Homomorphisms of knot quandles to Alexander quandles
J. Knot Theory Ramific., 10
Tetsuya Ito (2008)
Braid ordering and knot genus
arXiv: Geometric Topology
R. Solovay, W. Reinhardt, A. Kanamori (1978)
Strong axioms of infinity and elementary embeddings
Annals of Mathematical Logic, 13
Serge Burckel (1999)
Computation of the Ordinal of Braids
Order, 16
Paris-Diderot Case 7014, 75205 Paris Cedex 13, France
Laboratoire de Math´ematiques Nicolas Oresme, UMR 6139 CNRS
M. Smedberg (2013)
A dense family of well-behaved monogenerated LD groupoids
Arch. Math. Logic, 52
L. Carlucci, Patrick Dehornoy, A. Weiermann (2007)
Unprovability results involving braids
Proceedings of the London Mathematical Society, 102
R. Laver (1996)
Braid group actions on left distributive structures, and well orderings in the braid groups
Journal of Pure and Applied Algebra, 108
R. Fenn (2011)
Tackling the Trefoils
arXiv: Geometric Topology
J. Przytycki (2011)
Distributivity versus associativity in the homology theory of algebraic structures
Demonstratio Mathematica, 44
R. Dougherty, T. Jech (1992)
Finite Left-Distributive Algebras and Embedding Algebras
Advances in Mathematics, 130
(1403)
Caen Cedex, France Current address: Laboratoire Preuves, Programmes, Systèmes, UMR 7126 CNRS, Université Paris-Diderot Case 7014, 75205 Paris Cedex 13, France E-mail address
V. Lebed (2015)
Cohomology of finite monogenic self-distributive structures
Journal of Pure and Applied Algebra, 220
J. Carter, M. Elhamdadi, M. Saito (2002)
Homology theory for the set-theoretic Yang–Baxter equation and knot invariants from generalizations of quandles
Fundamenta Mathematicae, 184
J. Birman (1975)
Braids, Links, and Mapping Class Groups.
L. Kirby, J. Paris (1982)
Accessible Independence Results for Peano Arithmetic
Bulletin of The London Mathematical Society, 14
V. Lebed (2012)
Homologies of Algebraic Structures via Braidings and Quantum Shuffles
arXiv: Category Theory
N. Andruskiewitsch, F. Fantino, G. García, L. Vendramin (2010)
On Nichols algebras associated to simple racks
arXiv: Quantum Algebra
E. Artin (1925)
Theorie der Zöpfe
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 4
E. Artin (1947)
Theory of braids
Ann. Math., 48
A. Kanamori (1994)
The Higher Infinite
Patrick Dehornoy (2000)
Braids and self-distributivity
A. Drápal (1997)
Finite Left Distributive Groupoids with one Generator
Int. J. Algebra Comput., 7
R. Fenn, C. Rourke (1992)
RACKS AND LINKS IN CODIMENSION TWO
Journal of Knot Theory and Its Ramifications, 01
L. Kauffman (1987)
On knots, Annals of Math. Studies 115
E. Elrifai, H. Morton (1994)
ALGORITHMS FOR POSITIVE BRAIDS
Quarterly Journal of Mathematics, 45
A. Malyutin, YU N., Netsvetaev (2004)
Dehornoy’s ordering on the braid group and braid moves
St Petersburg Mathematical Journal, 15
E. Brieskorn (1988)
Automorphic sets and braids and singularities
P. Dehornoy (1988)
$${{{\Pi}_{1}^{1}}}$$ Π 1 1 -complete families of elementary sequences
Ann. Pure Appl. Logic, 38
Patrick Dehornoy, V. Lebed (2014)
Two- and three-cocycles for Laver tables
arXiv: K-Theory and Homology
K. Ko, Sangjin Lee, J. Cheon, Jae-Woo Han, Ju-Sung Kang, Choonsik Park (2000)
New Public-Key Cryptosystem Using Braid Groups
A. Drápal (1995)
Persistence of cyclic left distributive algebras
Journal of Pure and Applied Algebra, 105
A. Malyutin (2005)
Twist number of (closed) braids
St Petersburg Mathematical Journal, 16
R. Laver (1992)
On the Algebra of Elementary Embeddings of a Rank into Itself
Advances in Mathematics, 110
Christian Kassel (1994)
Quantum Groups
P. Dehornoy (1992)
Preuve de la conjecture d'irréflexivité pour les structures distributives libres
, 314
Patrick Dehornoy (1994)
Braid groups and left distributive operations
Transactions of the American Mathematical Society, 345
P. Dehornoy (2008)
Alternating normal forms for braids and locally Garside monoids
J. Pure Appl. Algebra, 212
Matthew Smedberg (2013)
A dense family of well-behaved finite monogenerated left-distributive groupoids
Archive for Mathematical Logic, 52
Tetsuya Ito (2009)
FINITE THURSTON-TYPE ORDERINGS ON DUAL BRAID MONOIDS
Journal of Knot Theory and Its Ramifications, 20
M. Jimbo (1989)
INTRODUCTION TO THE YANG-BAXTER EQUATION
International Journal of Modern Physics A, 04
A. Drápal (1997)
Finite left distributive algebras with one generator
Journal of Pure and Applied Algebra, 121
Patrick Dehornoy (1999)
STRANGE QUESTIONS ABOUT BRAIDS
Journal of Knot Theory and Its Ramifications, 08
J. Przytycki, Adam Sikora (2011)
Distributive Products and Their Homology
Communications in Algebra, 42
E. Artin (1950)
The theory of braids.
American scientist, 38 1
J. Przytycki, K. Putyra (2013)
Homology of distributive lattices
J. Homotopy Relat. Struct., 8
V. Sunder (1996)
Knots
Resonance, 1
R. Rubinsztein (2005)
Topological Quandles and Invariants of Links
Journal of Knot Theory and Its Ramifications, 16
Ayumu Inoue (2001)
QUANDLE HOMOMORPHISMS OF KNOT QUANDLES TO ALEXANDER QUANDLES
Journal of Knot Theory and Its Ramifications, 10
A. Bovykin (2009)
Lecture Notes in Logic
J. Birman (1975)
Braids, Links, and Mapping Class Groups, Annals of Math. Studies, 82
P. Dehornoy (2000)
Braids and Self-Distributivity, Progress in Math, vol. 192
R. Bruck (1971)
A Survey of Binary Systems
H. Friedman (2001)
Long Finite Sequences
J. Comb. Theory, Ser. A, 95
S. Orevkov (2000)
Strong Positivity in Right-Invariant Order on Braid Groups and Quasipositivity
Mathematical Notes, 68
J. Fromentin (2007)
A well-ordering of dual braid monoids
J. Birman, K. Ko, Sangjin Lee (1997)
A new approach to the word and conjugacy problems in the braid groups
Advances in Mathematics, 139
(2010)
Left-divisors in the free one-generated LD-algebra
Patrick Dehornoy (1996)
Another Use of Set Theory
Bulletin of Symbolic Logic, 2
J. Birman, K.H. Ko, S.J. Lee (1998)
A new approach to the word problem in the braid groups
Adv. Math., 139-2
Serge Burckel (1997)
The wellordering on positive braids
Journal of Pure and Applied Algebra, 120
Sam Nelson (2008)
Link invariants from finite racks
arXiv: Geometric Topology
Patrick Dehornoy (2010)
Elementary Embeddings and Algebra
J. Birman (1975)
Braids, Links, and Mapping Class Groups. (AM-82)
V. Drinfeld (1992)
On some unsolved problems in quantum group theory
L. Carlucci, P. Dehornoy, A. Weiermann (2011)
Unprovability statements involving braids
Proc. Lond. Math. Soc., 102
L. Kauffman (1998)
Virtual Knot Theory
Eur. J. Comb., 20
Tetsuya Ito (2008)
On finite Thurston-type orderings of braid groups
, 2
P. Dehornoy (1992)
Deux propriétés des groupes de tresses
, 315
R. Fenn (2011)
Racks and Links in Codimension 2 Introduction Racks and Links in Codimension Two Racks and Links in Codimension 2
Sheila Miller (2011)
Left division in the free left distributive algebra on many generators
Archive for Mathematical Logic, 55
(1990)
On Knots
Acta Applicandae Mathematica, 19
J. Carter (2010)
A SURVEY OF QUANDLE IDEAS
arXiv: Geometric Topology
Patrick Dehornoy, I. Dynnikov, D. Rolfsen, B. Wiest (2008)
Ordering Braids
Patrick Dehornoy (1988)
Φ11-complete Families of Elementary Sequences
Ann. Pure Appl. Log., 38
A. Drápal (1995)
On the semigroup structure of cyclic left distributive algebras
Semigroup Forum, 51
R. Laver (1986)
Elementary embeddings of a rank into itself
Abstr. Am. Math. Soc., 7
H. Short, B. Wiest (1999)
Orderings of mapping class groups after Thurston
arXiv: Geometric Topology
F. Garside (1969)
THE BRAID GROUP AND OTHER GROUPS
Quarterly Journal of Mathematics, 20
R. Laver, Sheila Miller (2013)
The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm
Central European Journal of Mathematics, 11
Tetsuya Ito (2008)
Braid ordering and the geometry of closed braid
Geometry & Topology, 15
G. Higman (1952)
Ordering by Divisibility in Abstract Algebras
Proceedings of The London Mathematical Society
Patrick Dehornoy, F. Digne, Eddy Godelle, D. Krammer, J. Michel (2013)
Foundations of Garside Theory
Patrick Dehornoy (2011)
BRAID ORDER, SETS, AND KNOTS
(1925)
Abh. Math. Sem. Univ. Hamburg
R. Fenn, C. Rourke, B. Sanderson (2003)
James bundles
Proceedings of the London Mathematical Society, 89
A. Drápal (1994)
Homomorphisms of primitive left distributive groupoids
Communications in Algebra, 22
(1996)
The third level of homomorphisms in finite cyclic left-distributive algebras (unpublished preprint
J. Fromentin (2011)
Every braid admits a short sigma-definite expression
Journal of the European Mathematical Society, 13

Publisher: Springer Journals
Subject: Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN: 0933-5846
eISSN: 1432-0665
DOI: 10.1007/s00153-015-0460-9
Publisher site: See Article on Publisher Site

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Laver’s results and low-dimensional topology

Laver’s results and low-dimensional topology

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Laver’s results and low-dimensional topology

Laver’s results and low-dimensional topology

References (115)

Abstract

Journal

Recommended Articles

There are no references for this article.

Our policy towards the use of cookies