Tait conjectures

Last updated

The Tait conjectures are three conjectures made by 19th-century mathematician Peter Guthrie Tait in his study of knots. [1] The Tait conjectures involve concepts in knot theory such as alternating knots, chirality, and writhe. All of the Tait conjectures have been solved, the most recent being the Flyping conjecture.

Contents

Background

A reduced diagram is one in which all the isthmi are removed. Isthmus.svg
A reduced diagram is one in which all the isthmi are removed.

Tait came up with his conjectures after his attempt to tabulate all knots in the late 19th century. As a founder of the field of knot theory, his work lacks a mathematically rigorous framework, and it is unclear whether he intended the conjectures to apply to all knots, or just to alternating knots. It turns out that most of them are only true for alternating knots. [2] In the Tait conjectures, a knot diagram is called "reduced" if all the "isthmi", or "nugatory crossings" have been removed.

Crossing number of alternating knots

Tait conjectured that in certain circumstances, crossing number was a knot invariant, specifically:

Any reduced diagram of an alternating link has the fewest possible crossings.

In other words, the crossing number of a reduced, alternating link is an invariant of the knot. This conjecture was proved by Louis Kauffman, Kunio Murasugi (村杉 邦男), and Morwen Thistlethwaite in 1987, using the Jones polynomial. [3] [4] [5] A geometric proof, not using knot polynomials, was given in 2017 by Joshua Greene. [6]

Writhe and chirality

A second conjecture of Tait:

An amphicheiral (or acheiral) alternating link has zero writhe.

This conjecture was also proved by Kauffman and Thistlethwaite. [3] [7]

Flyping

A flype move. Flype.svg
A flype move.

The Tait flyping conjecture can be stated:

Given any two reduced alternating diagrams and of an oriented, prime alternating link: may be transformed to by means of a sequence of certain simple moves called flypes . [8]

The Tait flyping conjecture was proved by Thistlethwaite and William Menasco in 1991. [9] The Tait flyping conjecture implies some more of Tait's conjectures:

Any two reduced diagrams of the same alternating knot have the same writhe.

This follows because flyping preserves writhe. This was proved earlier by Murasugi and Thistlethwaite. [10] [7] It also follows from Greene's work. [6] For non-alternating knots this conjecture is not true; the Perko pair is a counterexample. [2] This result also implies the following conjecture:

Alternating amphicheiral knots have even crossing number. [2]

This follows because a knot's mirror image has opposite writhe. This conjecture is again only true for alternating knots: non-alternating amphichiral knot with crossing number 15 exist. [11]

See also

Related Research Articles

Knot theory Study of mathematical knots

In the mathematical field of topology, knot theory is the study of mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are joined so it cannot be undone, the simplest knot being a ring. In mathematical language, a knot is an embedding of a circle in 3-dimensional Euclidean space, . Two mathematical knots are equivalent if one can be transformed into the other via a deformation of upon itself ; these transformations correspond to manipulations of a knotted string that do not involve cutting it or passing through itself.

Peter Tait (physicist) Scottish mathematical physicist (1831–1901)

Peter Guthrie Tait FRSE was a Scottish mathematical physicist and early pioneer in thermodynamics. He is best known for the mathematical physics textbook Treatise on Natural Philosophy, which he co-wrote with Lord Kelvin, and his early investigations into knot theory.

Borromean rings Three linked but pairwise separated rings

In mathematics, the Borromean rings are three simple closed curves in three-dimensional space that are topologically linked and cannot be separated from each other, but that break apart into two unknotted and unlinked loops when any one of the three is cut or removed. Most commonly, these rings are drawn as three circles in the plane, in the pattern of a Venn diagram, alternatingly crossing over and under each other at the points where they cross. Other triples of curves are said to form the Borromean rings as long as they are topologically equivalent to the curves depicted in this drawing.

In the mathematical field of knot theory, the Jones polynomial is a knot polynomial discovered by Vaughan Jones in 1984. Specifically, it is an invariant of an oriented knot or link which assigns to each oriented knot or link a Laurent polynomial in the variable with integer coefficients.

Alternating knot

In knot theory, a knot or link diagram is alternating if the crossings alternate under, over, under, over, as one travels along each component of the link. A link is alternating if it has an alternating diagram.

In mathematics, Khovanov homology is an oriented link invariant that arises as the homology of a chain complex. It may be regarded as a categorification of the Jones polynomial.

In the mathematical theory of knots, a finite type invariant, or Vassiliev invariant, is a knot invariant that can be extended to an invariant of certain singular knots that vanishes on singular knots with m + 1 singularities and does not vanish on some singular knot with 'm' singularities. It is then said to be of type or order m.

In the mathematical field of knot theory, the bracket polynomial is a polynomial invariant of framed links. Although it is not an invariant of knots or links, a suitably "normalized" version yields the famous knot invariant called the Jones polynomial. The bracket polynomial plays an important role in unifying the Jones polynomial with other quantum invariants. In particular, Kauffman's interpretation of the Jones polynomial allows generalization to invariants of 3-manifolds.

In the mathematical field of knot theory, a chiral knot is a knot that is not equivalent to its mirror image. An oriented knot that is equivalent to its mirror image is an amphicheiral knot, also called an achiral knot. The chirality of a knot is a knot invariant. A knot's chirality can be further classified depending on whether or not it is invertible.

Dowker–Thistlethwaite notation Mathematical notation for describing the structure of knots

In the mathematical field of knot theory, the Dowker–Thistlethwaite (DT) notation or code, for a knot is a sequence of even integers. The notation is named after Clifford Hugh Dowker and Morwen Thistlethwaite, who refined a notation originally due to Peter Guthrie Tait.

In knot theory, a virtual knot is a generalization of knots in 3-dimensional Euclidean space, R3, to knots in thickened surfaces modulo an equivalence relation called stabilization/destabilization. Here is required to be closed and oriented. Virtual knots were first introduced by Kauffman (1999).

In the mathematical field of knot theory, the Arf invariant of a knot, named after Cahit Arf, is a knot invariant obtained from a quadratic form associated to a Seifert surface. If F is a Seifert surface of a knot, then the homology group H1(F, Z/2Z) has a quadratic form whose value is the number of full twists mod 2 in a neighborhood of an embedded circle representing an element of the homology group. The Arf invariant of this quadratic form is the Arf invariant of the knot.

Louis Kauffman American mathematician

Louis Hirsch Kauffman is an American mathematician, topologist, and professor of mathematics in the Department of Mathematics, Statistics, and Computer science at the University of Illinois at Chicago. He is known for the introduction and development of the bracket polynomial and the Kauffman polynomial.

In knot theory, the Kauffman polynomial is a 2-variable knot polynomial due to Louis Kauffman. It is initially defined on a link diagram as

Morwen Thistlethwaite Mathematician specializing in knot theory

Morwen Bernard Thistlethwaite is a knot theorist and professor of mathematics for the University of Tennessee in Knoxville. He has made important contributions to both knot theory and Rubik's Cube group theory.

William W. Menasco is a topologist and a professor at the University at Buffalo. He is best known for his work in knot theory.

Flype

In the mathematical theory of knots, a flype is a kind of manipulation of knot and link diagrams used in the Tait flyping conjecture. It consists of twisting a part of a knot, a tangle T, by 180 degrees. Flype comes from a Scots word meaning to fold or to turn back. Two reduced alternating diagrams of an alternating link can be transformed to each other using flypes. This is the Tait flyping conjecture, proven in 1991 by Morwen Thistlethwaite and William Menasco.

In mathematics, especially in the area of topology known as knot theory, an invertible knot is a knot that can be continuously deformed to itself, but with its orientation reversed. A non-invertible knot is any knot which does not have this property. The invertibility of a knot is a knot invariant. An invertible link is the link equivalent of an invertible knot.

Hernando Burgos Soto is a Canadian writer and mathematician, professor of mathematics at George Brown College. He is the author of several math papers in which he introduced some mathematics concepts and extended to tangles some celebrated results of knot theory about the Khovanov homology and the Jones polynomial. During his career as a mathematician, his interests have included Mathematical Statistics, Knot Theory, Algebraic Topology and more recently Mathematical Finance. He is comfortable writing in English and Spanish. When writing in Spanish, he works in the area of prose fiction writing short stories. Some of his short stories were published at the website Cuentos y Cuentos.

References

  1. Lickorish, W. B. Raymond (1997), An introduction to knot theory, Graduate Texts in Mathematics, vol. 175, Springer-Verlag, New York, p. 47, doi:10.1007/978-1-4612-0691-0, ISBN   978-0-387-98254-0, MR   1472978 .
  2. 1 2 3 Stoimenow, Alexander (2008). "Tait's conjectures and odd amphicheiral knots". Bull. Amer. Math. Soc. 45 (2): 285–291. arXiv: 0704.1941 . CiteSeerX   10.1.1.312.6024 . doi:10.1090/S0273-0979-08-01196-8. S2CID   15299750.
  3. 1 2 Kauffman, Louis (1987). "State models and the Jones polynomial". Topology . 26 (3): 395–407. doi: 10.1016/0040-9383(87)90009-7 .
  4. Murasugi, Kunio (1987). "Jones polynomials and classical conjectures in knot theory". Topology . 26 (2): 187–194. doi: 10.1016/0040-9383(87)90058-9 .
  5. Thistlethwaite, Morwen (1987). "A spanning tree expansion of the Jones polynomial". Topology. 26 (3): 297–309. doi: 10.1016/0040-9383(87)90003-6 .
  6. 1 2 Greene, Joshua (2017). "Alternating links and definite surfaces". Duke Mathematical Journal. 166 (11): 2133–2151. arXiv: 1511.06329 . Bibcode:2015arXiv151106329G. doi:10.1215/00127094-2017-0004. S2CID   59023367.
  7. 1 2 Thistlethwaite, Morwen (1988). "Kauffman's polynomial and alternating links". Topology. 27 (3): 311–318. doi: 10.1016/0040-9383(88)90012-2 .
  8. Weisstein, Eric W. "Tait's Knot Conjectures". MathWorld .
  9. Menasco, William; Thistlethwaite, Morwen (1993). "The Classification of Alternating Links". Annals of Mathematics. 138 (1): 113–171. doi:10.2307/2946636. JSTOR   2946636.
  10. Murasugi, Kunio (1987). "Jones polynomials and classical conjectures in knot theory. II". Mathematical Proceedings of the Cambridge Philosophical Society. 102 (2): 317–318. Bibcode:1987MPCPS.102..317M. doi:10.1017/S0305004100067335.
  11. Weisstein, Eric W. "Amphichiral Knot". MathWorld .