Jones -polynomi on polynomin solmuinvariantti , joka määrittää kullekin solmulle tai linkittää Laurentin polynomin muodollisessa muuttujassa kokonaislukukertoimilla. Vaughn Jonesin rakentama vuonna 1984 .
Tietylle suunnatulle linkille määritetään apupolynomi:
,missä on kaavion kierrenumero ja Kauffmanin hakasulke . Kierreluku määritellään erotuksena positiivisten risteysten lukumäärän ja negatiivisten risteytysten välillä , eikä se ole solmuinvariantti: sitä ei säilytetä tyypin I Reidemeister-muunnoksissa.
on solmuinvariantti, koska se on invariantti kaavion kaikissa kolmessa Reidemeister-muunnoksessa . Tyypin II ja III muunnosten invarianssi seuraa Kauffmanin hakasulkeen ja näiden muunnosten kierreluvun invarianssista. Sitä vastoin tyypin I muunnoksessa Kauffmanin hakasulke kerrotaan luvulla , mikä kompensoidaan täsmälleen +1 tai −1 muutoksella kierreluvussa .
Jones-polynomi määritetään substituutiosta:
,tuloksena oleva lauseke on Laurentin polynomi muuttujassa .
Jonesin alkuperäinen määritelmä käyttää operaattorialgebraa ja punoksen esitysjäljen käsitettä, joka syntyi tilastomekaniikasta ( Potts-malli ).
Alexanderin lause väittää, että mikä tahansa linkkion lankapunosten sulkeminen, tämän yhteydessä on mahdollista määritellälankojenpunosryhmänesitys Temperley-Lieb-algebralla kertoimillaja. Punosten standardigeneraattorion, missä ovat Temperley-Lieb-algebran standardigeneraattorit. Punossanalle, jossa onMarkovin jälki , tulos on, missähakasulkeinen polynomi.
Tämän lähestymistavan etuna on, että valitsemalla analogiset esitykset muissa algebroissa, kuten -matriisien esitys, voidaan päätyä Jonesin invarianttien yleistyksiin (esimerkiksi [1] Jones -rinnakkaispolynomin käsite ).
Jones-polynomin määrittelee yksiselitteisesti se tosiasia, että se on yhtä suuri kuin 1 missä tahansa triviaalissa solmukaaviossa , ja seuraavalla ihorelaatiolla :
,jossa , , ja ovat kolme suunnattua linkkikaaviota, jotka ovat yhtäpitäviä kaikkialla paitsi pienellä alueella, jossa niiden käyttäytyminen on vastaavasti positiivinen ja negatiivinen risteys ja tasainen kulku ilman yhteisiä pisteitä:
Jones-polynomilla on monia upeita ominaisuuksia [2] [3] .
Linkeissä, joissa on pariton määrä komponentteja (etenkin solmuille), kaikki Jones-polynomin muuttujan potenssit ovat kokonaislukuja ja linkeissä, joissa on parillinen määrä komponentteja, ne ovat puolikokonaislukuja.
Solmujen yhdistetyn summan Jones-polynomi on yhtä suuri kuin termien Jones-polynomien tulo, eli:
.Irrallisen solmusumman Jones-polynomi on:
.Jones-polynomi linkin ja triviaalisen solmun liitosta on:
.Suuntaiselle linkille, joka on saatu tietystä suunnatusta linkistä korvaamalla jonkin komponentin suunta vastakkaisella, meillä on:
,missä on komponentin linkityskerroin ja .
Jones-polynomi ei muutu, kun solmu käännetään, eli kun ohituksen suunta vaihtuu (orientaation muutos).
Linkin peilisymmetrisessä kuvassa on Jones-polynomi, joka saadaan korvaamalla ( ominaisuus on helppo tarkistaa Kauffmanin hakasulkeen määritelmän avulla).
Jos on solmu, niin:
.Jones-polynomin arvo linkille linkin komponenttien lukumäärän kanssa kohdassa 1:
.Torisen solmun Jones-polynomi :
.Vuonna 2003 muodostettiin ei-triviaalilinkkien perhe, jonka Jones-polynomi on yhtä suuri kuin triviaalilinkin Jones-polynomi [4] , mutta ei tiedetä, onko olemassa ei-triviaalisolmua, jonka Jones-polynomi on sama kuin se. triviaalista solmusta. Vuonna 2017 rakennettiin ei-triviaalisten solmujen perhe leikkauspisteineen , joille Jones-polynomi on kongruentti yksikkömoduulin kanssa [5] .