Jonesův polynom je invariant polynomického uzlu , který přiřazuje každému uzlu nebo spojení Laurentův polynom ve formální proměnné s celočíselnými koeficienty. Postaven Vaughnem Jonesem v roce 1984 .
Pro daný orientovaný spoj je definován pomocný polynom:
,kde je číslo zkroucení diagramu a je Kauffmanova závorka . Číslo zkroucení je definováno jako rozdíl mezi počtem kladných křížení a počtem záporných křížení a není invariantem uzlu: není zachováno při Reidemeisterových transformacích typu I.
je uzel invariantní, protože je invariantní pod všemi třemi Reidemeisterovými transformacemi diagramu . Invariance v rámci transformací typu II a III vyplývá z invariance Kauffmanovy závorky a čísla zkroucení pod těmito transformacemi. Naproti tomu u transformace typu I je Kauffmanova závorka násobena , což je přesně kompenzováno změnou +1 nebo -1 v čísle zkroucení .
Jonesův polynom je určen ze substituce:
,výsledný výraz je Laurentův polynom v proměnné .
Jonesova původní definice používá operátorovou algebru a představu stopy reprezentace copu, která vznikla ve statistické mechanice ( Pottův model ).
Alexandrova věta tvrdí, že jakýkoli článekje uzavřením opletuvlákny, v souvislosti s tím je možné definovat reprezentacigrupy opletusevlákny na Temperley-Liebově algebře s koeficienty oda. Standardní generátor opleteníje, kde jsou standardní generátory Temperley-Lieb algebry. Procopánkovéslovo, kde je Markovova stopa , je výsledkem, kde je hranatý polynom.
Výhodou tohoto přístupu je, že výběrem analogických reprezentací v jiných algebrách, jako je reprezentace -matic, lze dospět ke zobecnění Jonesových invariantů (například [1] koncept Jonesova -paralelního polynomu).
Jonesův polynom je jednoznačně definován skutečností, že je roven 1 na jakémkoli triviálním diagramu uzlu a následujícím vztahem skinu :
,kde , , a jsou tři orientované diagramy spojů, které se shodují všude kromě malé oblasti, kde jejich chování představuje pozitivní a negativní průsečíky a hladký průchod bez společných bodů:
Jonesův polynom má mnoho úžasných vlastností [2] [3] .
Pro spoje s lichým počtem komponent (zejména pro uzly) jsou všechny mocniny proměnné v Jonesově polynomu celočíselné a pro spoje se sudým počtem komponent jsou poloviční.
Jonesův polynom spojeného součtu uzlů se rovná součinu Jonesových polynomů členů, tedy:
.Jonesův polynom nespojeného součtu uzlů je:
.Jonesův polynom spojení článku a triviálního uzlu je:
.Pro orientovaný spoj získaný z daného orientovaného spoje nahrazením orientace nějaké komponenty opačnou, máme:
,kde je spojovací koeficient složky a .
Jonesův polynom se nemění při obrácení uzlu, tedy při obrácení směru bypassu (změna orientace).
Zrcadlově symetrický obraz vazby má Jonesův polynom, který se získá nahrazením s (vlastnost lze snadno ověřit pomocí definice z hlediska Kauffmanovy závorky).
Pokud je uzel, pak:
.Hodnota Jonesova polynomu pro odkaz s počtem komponent odkazu v bodě 1:
.Jonesův polynom -torického uzlu:
.V roce 2003 byla zkonstruována rodina netriviálních vazeb s Jonesovým polynomem rovným Jonesovu polynomu triviálního spojení [4] , přičemž není známo, zda existuje netriviální uzel, jehož Jonesův polynom je stejný jako ten. triviálního uzlu. V roce 2017 byla zkonstruována rodina netriviálních uzlů s průniky, pro které je Jonesův polynom kongruentní s jednotným modulem [5] .