Teoria węzłów: Rozróżnianie Zawirowań Na Ruszt

Nawęzniak jest zamkniętym pętlą, a nie kawałkiem sznura

W codziennym języku 'nawęzniak' oznacza liny z wolnymi końcami, które można wękać i rozwiązywać. W matematyce nawęzniak to zamknięta pętla włożona w trójwymiarową przestrzeń — wyobraź sobie zawiązanie kawałka sznura i połączenie jego dwóch końców, tak że nie można go prosto odbić. Centralnym pytaniem teorii nawęzników jest na pierwszym rzut oka proste do sformułowania, ale często trudne do rozwiązania: dana dwie zawiązane pętle, czy są one tajnie takie same nawęzniak, co oznacza, że można je ciągle przekształcić w siebie bez odcięcia sznura, lub czy są prawdziwie różne?

Ruchy Reidemeistera: jedynie dozwolone ruchy

Kurt Reidemeister udowodnił w 1927 roku, że każda ciągła deformacja diagramu węzła (projekcji 2D z oznaczonymi przekrzywieniami nad i pod) może być rozłożona na szereg dokładnie trzech lokalnych ruchów, teraz nazywanych ruchami Reidemeistera:

Typ I — obrót lub odwołanie się pojedynczego pętli (dodaje/usuwa jedno przekrzywienie) Typ II — przesunięcie jednej strony całkowicie nad lub pod drugą (dodaje/usuwa dwa przekrzywienia) Typ III — przesunięcie strony przez przekrzywienie dwóch innych stron (brak zmiany liczby przekrzywień) Dwa dowolne diagramy tego samego węzła są połączone ciągiem skończonym tych trzech ruchów, a odwrotnie, dwa diagramy połączone ruchami Reidemeistera zawsze reprezentują ten sam węzeł. To przekształca pytanie topologiczne 'czy to jest trefoil czy uknuty węzeł?' z niejasnego do, w teorii, skończonego poszukiwania — choć dla skomplikowanych tangleów poszukiwanie może nadal być ogromne.

Type I    — twist or untwist a single loop (adds/removes one crossing)
Type II   — slide one strand completely over/under another (adds/removes two crossings)
Type III  — slide a strand across a crossing of two other strands (no change in crossing count)

Liczba krzyżowa i writh

Najprostszym niezmiennikiem jest liczba krzyżów: minimalna liczba krzyżów w dowolnym diagramie nici. Nici bezwzględna (prosta pętla bez rzeczywistego zaciskania) ma liczbę krzyżów równą 0; trójkrzyż, najprostsza prawdziwa nica, ma liczbę krzyżów równą 3; nica o kształcie osiemka ma liczbę krzyżów równą 4. Liczba krzyżów jest autentycznym topologicznym niezmiennikiem — nie zmienia się w żaden sposób, nawet jeśli przesuwamy nicę — ale obliczenie jej jest drogie w ogólności, ponieważ trzeba udowodnić, że nie ma prostszego diagramu.

Związanej, ale różnej wielkości jest writh: zsumowane wartości znakowe krzyżów w konkretnym diagramie, gdzie każdy krzyż liczy się jako +1 lub −1 w zależności od orientacji nici. W przeciwieństwie do liczby krzyżów, writh nie jest autentycznym topologicznym niezmiennikiem samej nici — zmienia się pod wpływem ruchów typu I Reidemeistera — ale jest niezmienny pod wpływem typów II i III, co sprawia, że jest przydatny w kontekście jakimś, np. superwitek DNA, gdzie właściwy fizyczny diagram (nie tylko abstrakcyjna klasa nici) ma znaczenie.

Polinomial Aleksandra: niezmiennik, który rzeczywiście rozróżnia węzły

Liczba krzyżów sama w sobie nie zawsze pozwala rozróżnić dwa węzły, dlatego teoretiści węzłów tworzą silniejsze niezmienne — algebraiczne obiekty obliczone na podstawie diagramu, które dowodowo nie zmieniają się pod wpływem żadnego ruchu Reidemeistera. Polinomial Aleksandra (James Alexander, 1928) był pierwszym praktycznym przykładem: wielomian Laurenta Δ(t), obliczony na podstawie macierzy zbudowanej z krzyżów diagramu węzła, taki że równoważne diagramy zawsze dają ten sam polinomial (w górę lub w dół o niezmienniczy czynnik ±tⁿ).

węzeł pusty: Δ(t) = 1 treflówka (3_1): Δ(t) = t − 1 + t⁻¹ wielokrzyż (4_1): Δ(t) = −t + 3 − t⁻¹ Jeśli dwa węzły mają różne polinomiale Aleksandra, są dowodowo różnymi węzłami — silny i sprawdzalny stwierdzenie. Ale polinomial nie jest idealnym niezmiennej: różne węzły mogą rzadko dzielić się tym samym polinomialm Aleksandra, co jest powodem dla rozwinięcia późniejszych niezmiennej (polinomiala Jonesa z 1984 roku i jeszcze bardziej mocnej homologii HOMFLY i Khovanova) do rozwiązywania przypadków, w których polinomial Aleksandra nie jest wystarczający.

unknot:            Δ(t) = 1
trefoil (3_1):      Δ(t) = t − 1 + t⁻¹
figure-eight (4_1):  Δ(t) = −t + 3 − t⁻¹

Dlaczego to ważne poza zagadkami

Teoria węzłów okazuje się być właściwym matematycznym językiem dla wielu bardzo fizycznych problemów. Biologowie używają jej do klasyfikacji sposobów, w jaki DNA i proteinie zaciskają się i superkolują, oraz do zrozumienia enzymów topoisomerazy, które cut i reseal strony DNA, aby je odkosztować podczas replikacji. Chemicy syntetyzują prawdziwe węzlowe molekuły i używają niezmienników węzłów do rozróżnienia ich od swoich obrazów w lustrze (chiralność ma znaczenie dla tego, jak molku interaguje z innymi chiralnymi molkami, w tym większości leków i enzymów). A w fizyce niezmienniki węzłów, takie jak wielomian Jonesa, okazały się głęboko połączone z teorią pola kwantowego, szczególnie z teorią Chern-Simonsa, łącząc zagadkę 19-wiecznego tkanego sznurka z niektórami najbardziej abstrakcyjnymi zakamarkami współczesnej teoretycznej fizyki.

Często zadawane pytania