Jones polynom är en polynom knutinvariant som tilldelar varje knut eller länk ett Laurent polynom i en formell variabel med heltalskoefficienter. Byggd av Vaughn Jones 1984 .
För en given orienterad länk definieras ett hjälppolynom:
,var är diagrammets vridningsnummer och är Kauffman-fästet . Vridningstalet definieras som skillnaden mellan antalet positiva korsningar och antalet negativa korsningar och är inte en knutinvariant: det är inte bevarat under typ I Reidemeister-transformationer.
är knuten invariant, eftersom den är invariant under alla tre Reidemeister-transformationer av diagrammet . Invariansen under typ II- och III-transformationer följer av invariansen för Kauffman-fästet och vridnumret under dessa transformationer. Däremot, för en typ I-transformation multipliceras Kauffman-parentesen med , vilket exakt kompenseras av en +1 eller −1 förändring i twistnumret .
Jones polynomet bestäms från substitutionen:
,det resulterande uttrycket är ett Laurent-polynom i variabeln .
Jones ursprungliga definition använder operatoralgebra och föreställningen om en flätrepresentationsspår som har sitt ursprung i statistisk mekanik ( Potts-modellen ).
Alexanders teorem hävdar att vilken länk som helstär en stängning av en fläta medtrådar, i samband med detta är det möjligt att definiera en representationav flätgruppenmedtrådar på Temperley-Lieb algebra med koefficienter frånoch. Standardgeneratorn för flätanär, där finns standardgeneratorerna för Temperley-Lieb algebra. Förflätordet,var är Markov-spåret , blir resultatet, där är polynomet inom parentes.
Fördelen med detta tillvägagångssätt är att man genom att välja analoga representationer i andra algebror, såsom representationen av -matriser, kan komma fram till generaliseringar av Jones-invarianter (till exempel är [1] begreppet Jones -parallella polynom).
Jones-polynomet definieras unikt av det faktum att det är lika med 1 på vilket trivialt knutdiagram som helst och av följande hudrelation :
,där , , och är tre orienterade länkdiagram som sammanfaller överallt förutom ett litet område, där deras beteende är positiva respektive negativa skärningar och en smidig passage utan gemensamma punkter:
Jones polynom har många underbara egenskaper [2] [3] .
För länkar med ett udda antal komponenter (särskilt för knop) är alla potenser av variabeln i Jones-polynomet heltal, och för länkar med ett jämnt antal komponenter är de halvheltal.
Jones-polynomet av den sammankopplade summan av noder är lika med produkten av Jones-polynomen av termerna, det vill säga:
.Jones polynomet för en frånkopplad summa av knop är:
.Jones polynom för föreningen av en länk och en trivial knut är:
.För en orienterad länk som erhålls från en given orienterad länk genom att ersätta orienteringen av någon komponent med den motsatta, har vi:
,var är länkkoefficienten för komponenten och .
Jones-polynomet ändras inte när noden vänds, det vill säga när bypassriktningen vänds (ändring av orientering).
Den spegelsymmetriska bilden av länken har ett Jones-polynom, som erhålls genom att ersätta med (egenskapen kan enkelt verifieras med definitionen i termer av Kauffman-parentes).
Om är en nod, då:
.Värdet på Jones-polynomet för länken med antalet länkkomponenter vid punkt 1:
.Jones polynom i den -toriska knuten:
.År 2003 konstruerades en familj av icke-triviala länkar med Jones-polynomet lika med Jones-polynomet i den triviala länken [4] , medan det inte är känt om det finns en icke-trivial knut vars Jones-polynom är densamma som den. av den triviala knuten. Under 2017 konstruerades en familj av icke-triviala knutar med skärningspunkter för vilka Jones polynom är kongruent med unity modulo [5] .