Solmuteoriassa kiraalinen solmu on solmu , joka ei vastaa peilikuvaansa. Suuntautunutta solmua, joka vastaa peilikuvaansa, kutsutaan amfikiraaliseksi solmuksi tai akiraaliseksi solmuksi . Solmun kiraalisuus on solmun invariantti . Solmujen kiraalisuutta voidaan edelleen luokitella sen mukaan, onko se palautuva vai ei.
Kiraalisuuden ja palautuvuuden määrittelemiä solmusymmetrioita on vain 5 tyyppiä - täysin kiraalinen, palautuva, positiivisesti amfikiraalinen irreversiibeli, negatiivisesti amfikiraalinen irreversiibeli ja täysin amfikiraalinen palautuva [1] .
Max Dehn on jo pitkään epäillyt ja todistanut joidenkin solmujen kiraalisuutta vuonna 1914. P. G. Tet arveli, että kaikilla amfikiraalisilla solmuilla on parillinen määrä risteyksiä , mutta Morven Thisluit vuonna 1998 löysi vastaesimerkin [2] . Taten arvelu on kuitenkin todistettu yksinkertaisten vuorottelevien solmujen osalta [3] .
Risteysten lukumäärä | 3 | neljä | 5 | 6 | 7 | kahdeksan | 9 | kymmenen | yksitoista | 12 | 13 | neljätoista | viisitoista | 16 | OEIS- sekvenssi |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Kiraaliset solmut | yksi | 0 | 2 | 2 | 7 | 16 | 49 | 152 | 552 | 2118 | 9988 | 46698 | 253292 | 1387166 | Ei käytössä |
Kahdenväliset solmut | yksi | 0 | 2 | 2 | 7 | 16 | 47 | 125 | 365 | 1015 | 3069 | 8813 | 26712 | 78717 | A051769 |
Täysin kiraaliset solmut | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 27 | 187 | 1103 | 6919 | 37885 | 226580 | 1308449 | A051766 |
Amfikiraaliset solmut | 0 | yksi | 0 | yksi | 0 | 5 | 0 | 13 | 0 | 58 | 0 | 274 | yksi | 1539 | A052401 |
Positiivisesti amfikiraaliset solmut | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | yksi | 0 | 6 | 0 | 65 | A051767 |
Negatiiviset amfikiraaliset solmut | 0 | 0 | 0 | 0 | 0 | yksi | 0 | 6 | 0 | 40 | 0 | 227 | yksi | 1361 | A051768 |
Täysin amfikiraaliset solmut | 0 | yksi | 0 | yksi | 0 | neljä | 0 | 7 | 0 | 17 | 0 | 41 | 0 | 113 | A052400 |
Vasen apila.
Oikea apila.
Yksinkertaisin kiraalinen solmu on apila , jonka kiraalisuuden osoitti Max Dehn . Kaikki toruksen solmut ovat kiraalisia. Alexander-polynomi ei voi määrittää solmun kiraalisuutta, mutta Jones-polynomi voi joissakin tapauksissa määrittää. Jos V k ( q ) ≠ V k ( q −1 ), niin solmu on kiraalinen, mutta päinvastoin ei välttämättä pidä paikkaansa. HOMFLY-polynomi tunnistaa kiraalisuuden vielä paremmin, mutta vielä ei tiedetä polynomin solmuinvarianttia , joka määrittäisi kiraalisuuden täysin [4] .
Reversiibeliä kiraalista solmua kutsutaan bilateraaliksi [5] . Esimerkkejä kaksipuolisista solmuista on apila.
Jos solmu ei vastaa käänteis- tai peilikuvaansa, sitä kutsutaan täysin kiraaliseksi, esimerkkinä on 9 32 [5] solmu .
Amfikiraalinen solmu on solmu, jossa on α 3 -pallon autohomeomorfismi , joka kääntää suunnan ja kiinnittää solmun joukkona.
Kaikilla amfikiraalisilla vuorottelevilla on parillinen määrä leikkauskohtia . Ensimmäisen amfikiraalisen solmun, jossa oli pariton määrä risteyksiä, eli 15 risteystä, löysivät Hoste ym. [3]
Jos solmu on isotooppinen käänteis- ja peilikuvaansa nähden, sen sanotaan olevan täysin amfikiraalinen. Yksinkertaisin solmu tällä ominaisuudella on numero kahdeksan .
Jos autohomeomorfismi α säilyttää solmuorientaation, puhutaan positiivisesta amfikiraalisuudesta. Tämä vastaa solmun isotoopiaa sen peilikuvaan. Yksikään solmuista, joissa on alle kaksitoista leikkauskohtaa, ei ole positiivisesti amfikiraalinen [5] .
Jos autohomeomorfismi α kääntää solmun suunnan, puhutaan negatiivisesta amfikiraalisuudesta. Tämä vastaa solmun isotooppisuutta käänteisessä peilikuvassa. Solmu, jolla on tämä ominaisuus ja jossa on minimimäärä risteyksiä, on 8 17 [5] .