(fra Scharein)
Anders Kock
Knuder fascinerer og irriterer alle mennesker; man taler om at rede
trådene ud; eller at løse den gordiske knude. Hvis
læseren har en elektrisk hæksaks med en lang ledning, der er
gået i kludder, vil han kende sagen fra den irriterende side. Måske
har den også et juridisk aspekt: var cyklen forsvarligt låst
eller ej:
Nu laver vi en hjælpe-konstruktion: vi forsyner begge kurver med en gennemløbsretning(orientering). Gennemløbsretningen indgår i beregningen, men kun på den måde, at modsatte valg af den ene eller begge orienteringer kun har indflydelse på fortegnet af det beregnede lænketal, altså om vi f.eks. får +2 eller -2. Når først der er valgt gennemløbsretning for hver af de to kurver, kan vi for hvert kryds mellem rød og blå spørge, om det følger Ørsteds (Holtens! ) tommelfinger-regel eller ej. Ørsteds tommelfingerregel lyder: læg højre hånd på den øverste kurve i krydset, sådan at fingerene peger i ``strømmens'' retning, altså i retning af den valgte orientering på den øverste kurve. Hvis orienteringen af den nederste kurve så er i retning af tommelfingeren, er krydset et ``Ørsted kryds'', i modsat fald kan vi kalde det et ``anti-Ørsted kryds''. (Klik her , hvis du vil mindes om Ørsteds opdagelse (1820) af den elektriske strøms indvirkning på en kompasnål, og hans tommelfinger-regel for hvilken retning kompasnålens slår ud til ! )
Afgørelsen af, hvilke kryds, der er Ørsted kryds, afhænger ikke af farverne. Hvis det er sådan, at alle de steder, hvor blå og rød krydser hinanden, ligger den blå kurve øverst, så kan kurverne helt skilles ad: vi løfter bare den blå opad og af.
Men hvis rød ligger øverst nogen steder? Disse steder
tæller vi bare op, på den måde, at vi skriver et +1,
hvis krydset er et Ørsted kryds, og et -1, hvis det er et anti-Ørsted
kryds; summen er så lænketallet. Betragt f.eks.
Lad os endelig udregne lænketallet for cyklen, der er låst
som i figur 1 . Vi simplificerer, og lægger (vilkårligt)
orientering på hver af de to lukkede kurver.
Hvis forsikrings-selskaber vil henholde sig til dette faktum, og hævde, ``cyklen var altså ikke låst !'', -- så har de overvurderet lænketallets betydning: Lænketal 0 er en nødvendig betingelse, men det er ikke en tilstrækkelig betingelse, for at de to kurver kan skilles ad.
Jones-polynomiet, og dets slægtninge, HOMFLY- og Conway- polynomierne,
som vi skal regne på nu, er lidt mere komplicerede, men til gengæld
er de stærkere ``invarianter''. De kan bl.a afsløre,
at cyklen på Figur 1 faktisk er låst
(altså at de to komponenter i Fig. 7 ikke kan
tages fra hinanden). Ordet ``invariant'' betyder i denne sammenhæng,
at det er størrelser (tal, eller polynomier), der ikke ændrer
sig for en given knude eller lænke, selvom man lægger snoreværket
op på bordet på en anden måde, eller bøjer og
krøller snorene, -- så længe man ikke klipper dem over.
Det første knude-polynomium blev opdaget i 1928 af amerikaneren J. Alexander, og genopdaget 1969 af englænderen J. Conway ud fra en ny synsvinkel, "skein-relatione r". I 1984 opdager New Zealænderen V. Jones et nært beslægtet polynomium (stadig: en familie af polynomier, ét for hver knude eller lænke), der samtidig har en fysisk betydning, og med Jones' opdagelse går det stærkt: fysikere og matematikere kaster sig over emnet med udgangspunkt i Jones' arbejde. En variation af Jones polynomiet blev opdaget af otte forskellige forskere samtidig, få måneder efter Jones' arbejde, denne variation kaldes HOMFLY polynomiet (et akronym dannet ud af nogen af opdagernes forbogstaver). Lige som Conway og Jones polynomierne kan HOMFLY udregnes ved hjælp af skein relationer; HOMFLY er et polynomium i to variable, hvor Jones. og Conway er polynomier i én variabel. Udregningerne forløber iøvrigt ens, kun den algebraiske side af skein-relationerne er forskellig. (Skein-relationerne for Jones' og HOMFLY kan ses her .) Da Conway er det simpleste ud fra et algebraisk synspunkt, vil vi nøjes med at kigge på dette.
F.eks. er Conway polynomiet for ``Whitehead-lænken'' i fig.
7 lig med (plus/minus) z3, mens det for den almindelige
kløverbladsknude
Tre (orienterede) knuder eller lænker, lagt på et bord,
K +, K- og K0 siges at være i skein-relation,
hvis de er ens pånær i et enkelt kryds, hvor K+
og K- krydser forskelligt (K+ i et Ørsted-kryds,
K- i et anti-Ørsted kryds), og hvor K0
slet ikke krydser. Mere præcis, idet vi fokuserer på det kryds,
hvor er er forskel:
N(K+ ) - N ( K- ) = z N( K0 ),
N(0) =1
N(S) =0
N( Ln) = ± zn-1
hvor Ln betegner en almindelig kæde
med n led "i serie", f.eks. er L4
Som eksempel (flere eksempler her
) på sådanne regninger med Conway polynomiet N skal vi nu udregne
N(W) , hvor W er lænken vist i figur 1
eller figur 7 ; vi viser
Vi har en skein-relation mellem følgende tre lænker; forskellen
mellem de tre lænker er koncentreret i krydset yderst til højre
Forhåbentlig kan læseren bruge Conway's opskrift (skein
ligningen
her) for Conway polynomiet) til at teste
forskellighed af nogle knuder eller lænker med ! -Mange konkrete
regninger af denne art findes på Scharein'
s billedskønne hjemmeside fra Canada, se specielt her
. --Jones og HOMFLY polynomierne er også givet ved en
skein-relationer, men de er lidt mere komplicerede. Skein-relationerne
for dem kan ses her . Skein-relationer kan
også bruges til at definere lænketallet med, se samme sted.
Vi vender først tilbage til lænketallet. Er der en
forklaring
på, at lænketallet er en invariant, f.eks. derved, at det har
en fysisk betydning, der er uafhængig af, hvordan vi lægger
snoreværket ned på bordet ? Her er vi tilbage til oprindelsen
af lænketal. Og det begynder faktisk samtidig med den moderne fysik,
teorien for elektromagnetisme, som begyndte med Ørsted
i 1820. Straks kom der en livlig aktivitet blandt fysikere og matematikere
for at undersøge denne mærkelige sammenhæng mellem naturkræfterne
elektricitet og magnetisme, f.eks. at give en kvantitativ beskrivelse.
Mærkeligt var det også, at den magnetiske virkning af en strøm
var på tværs af strømmen, eller, som man lærte
at sige ved denne lejlighed, de magnetiske felt-linier er vindskæve
til den strømførende leder. Elektromagnetiske felter
var en nyopdaget materiel realitet, men en beskrivelse af dem ved hjælp
af partikler kunne ikke gennemføres. Sådan en beskrvelse er
hvad
kvant-felt-teori i vore dage forsøger at give.
Blandt foregangsmændene i udforskningen af elektromagnetismen var den store matematiker Gauss. Han skattes højt i hele verden; i sit hjemland Tyskland skattes han så højt, at hans portræt var at finde på 10-mark sedlerne, (så længe disse endnu fandtes). Det er også hans navn, der bruges som enhed for magnetisk feltstyrke.
En elektrisk strøm (jævnstrøm), der er viklet om en jernring, inducerer et magnetfelt i jernringen. Hvor stærkt et felt? Det afhænger af strømstyrken, men også af lænketallet mellem den strømførende ledning og jernringen; det var Gauss' indsigt, og det var til det formål at han opfandt og beskrev lænketal eksakt. Beskrivelsen, vi gav ovenfor, med røde og blå snore lagt ned på et bord, er en regnemetode men er ikke en forklaring . Gauss' beskrivelse af lænketal indeholder samtidig en forklaring, som er udsprunget af de elektromagnetiske grundforhold: magnetfelt og leder er vindskæve i forhold til hinanden.
Kan man sætte tal på ``vindskævhed"? Tager man to
små liniestykker dx og dx' i rummet, kan man spørge om rumfanget
vol(dx ,dx' ) af det tetraeder, der har liniestykkernes fire endepunkter
som hjørner. Hvis de to små liniestykker er parallele, eller
bare ligger i samme plan, er rumfanget selvfølgelig 0. Altså,
kun hvis liniestykkerne er vindskæve, får man et bidrag. Kan
man tage dette rumfang som et kvantitativ mål for, hvor vindskæve
liniestykkerne er ? Ikke helt, for afstanden a mellem liniestykkerne har
selvfølgelig en indflydelse: stor afstand, stort rumfang. Gauss'
idé var nu, at hvis man dividerer med a3 , som jo også
udtrykker et rumfang, så har man et ubenævnt udtryk (et rent
tal)
Lænketal er ikke et ret fintmærkende instrument - det kunne f.eks. ikke påvise, at cyklen i Fig. 1 faktisk var låst; og det kan kun sige noget om lænker med to komponenter, altså har intet at sige om f.eks. lænker med tre komponenter, som f.eks. ``den Borromeanske lænke '' eller lænker med én komponent, altså om knuder. Til gengæld har lænketal, som nævnt, en fysisk betydning, i teorien for elektromagnetisme.
Det var et gennembrud, da amerikaneren E. Witten i 1989 kunne påvise, at de mere dybtborende invarianter, som Jones polynomiet, har en analog fysisk betydning. Det var startskud til de sidste tyve års intense udveksling af ideer mellem knudetoriens rene matematik, og moderne teoretisk fysik. Denne sammenhæng er ikke så let at forklare som sammenhængen mellem lænketal og elektromagnetisme, for den vedrører de nyopdagede kræfter, der er på spil inden i atomer, den ``stærke'' og den ``svage'' kraft, som har deres egne love; love, der er anderledes og mere komplicerede end elektrodynamikkens Maxwell ligninger. De er udforskede af partikel-fysikere de sidste halvtreds år, og er derfor rimelig godt forstået af fagfolk. Men disse ``nye'' kræfter er ``mikro-kræfter''; man ikke kan anstille eksperimenter med dem hjemme ved køkkenbordet, som man kan med en elektrisk strøm og en magnetnål (elektromagnetisme), eller med et æble hjemme under æbletræet (tyngdekraft).
I meget grove træk: bevæger ``man'' sig rundt langs en lukket kurve i et kraftfelt af en af disse mikrokræfter, sker der en faseforskydning af potentialfunktionen; denne faseforskydning afhænger både af kurven (knuden) og af kraftfeltet, men en slags ``gennemsnitsværdi'' over alle mulige kraftfelter giver en information, som kun afhænger af knuden, og som kan indkodes som et heltals-polynomium, i analogi med Gauss' lænketal. Heltalspolynomier kan ikke ændres kontinuerligt, lige så lidt som hele tal kan, og derfor bliver polynomiet uændret ved deformationer af kurven; det er en invariant.. Jones polynomiet fremkommer på denne måde.
Opdagelsen af sammenhængen mellem knudetori og partikel-fysik
viste sig frugtbar for begge parter, hvad en uoverskuelig mængde
af publikationer om begge emner inden for de sidste tyve år kan bevidne.
For knudeteori betyder den en dybere forståelse af de formelle manipulationer,
som f.eks. skein-relationerne ; omvendt viser knudeteoriens
rent matematiske (formelle, kombinatoriske) betragtninger sig af betydning
for forståelse af partikelfysik.
Man kender endnu ikke en knude-invariant, der er fuldstændig: selv Jones/HOMFLY polynomiet, som er en af de kraftigste invarianter, er ikke fuldstændigt, d.v.s. man har faktisk fundet to knuder, der har samme HOMFLY polynomium, men som alligevel er kvalitativt forskellige. Hvordan beviser man, at to knuder er ens? Selve den fysiske omdannelse af den ene knude i den anden er et bevis. Man kan bevise, at en filtret snor kan løses op ved at løse den op.
Hvordan ved man derimod, om to knuder er forskellige? Det kan man kun vise, ved at en eller anden invariant afslører det. Det er ikke nok at manipulere med knuderne og konstatere, at det ikke rigtigt vil lykkes at få dem til at se ens ud.
Fra et logisk synspunkt er det at vise, at to knuder er ens, et eksistens
-udsagn: ``der findes en deformation ..'', mens det at vise, at de er forskellige,
er et universelt udsagn: ``alle deformationer er dømt
til at mislykkes'' - og mens man viser et eksistens-udsagn ved at ``lægge
noget på bordet'', er selve indholdet i et universelt udsagn noget,
der vedrører alle ting i verden, - allemulige deformationer.
Det var f.eks. først i 1914, at Max Dehn kunne bevise, at de to
kløverbladsknuder
Et helt nyt og ret epokegørende resultat (2002) om hvor fintmærkende HOMFLY polynomiet er, skyldes en af medarbejderne ved Instituttet i Århus, Jørgen Ellegaard Andersen, (p.t. udlånt til det prestigefyldte Berkeley Universitet i USA). Det vedrører en let generalisation af dette polynomium til såkaldte "farvet HOMFLY polynomium":
``Det er et meget langt bevis som bruger mange forskellige tekniker der i blandt topologisk kvante felt teori. - Faktisk er resultatet et korrolar af en formodning af Witten, som jeg har bevist i en præcis formulering, jeg selv har udviklet.'', skriver Ellegaard i en e-mail (juni 2002) til Instituttet, hvor han giver os lov til at omtale resultatet, der endnu ikke er publiceret eller pre-publiceret. -- Han arbejder i øjeblikket på at forbedre sætningen, på den måde at ordet "farvet" kan undværes: "HOMFLY polynomium 1 medfører at knuden kan løses"; men det er endnu ikke på plads.
Det skal siges, at der med Ellegaards resultat ikke følger en
opskrift på hvordan en knude med trivielt (farvet) HOMFLY
polynomium kan løses op. Man har længe kendt algoritmer, der
``simplificerer knuder mest muligt'', og specielt vil denne algoritme løse
enhver knude, der kan løses. Men algoritmen er
ikke implementeret.
C.C. Adams, The knot book, Freeman and Co., 2001.
"En vandret del af denne tråd [strømførende
ledning] bringes i vandret stilling over og parallelt med den på
sædvanlig måde ophængte magnetnål [altså
en kompasnål] .. så vil magnetnålen bevæge sig,
og den vil afvige mod vest under den del af ledningen, som modtager elektriciteten
fra det galvaniske apparats [batteriets] negative pol", skriver Ørsted
i sin artikel (på latin) fra juli 1820, hvor han bekendtgør
sin opdagelse. -- Beskrivelsen af, hvilken side kompasnålen vil slå
ud til, er klart nok formuleret, men den formulering, der efterhånden
blev den almindelige ("tommelfinger-reglen"), skyldes Ørsteds elev,
og hans efterfølger som fysik-professor ved Københavns universitet,
C. Holten: "Holder man en højre hånd i strømmens retning
og vender håndens inderside mod magnetnålens nordpol, da vil
denne slå ud til den side, som tommelfingeren viser." (
Tilbage til teksten)
(på nær en faktor 2/3 pi ) Hvis
man lader vol(dx, dx' ) betegne rumfanget "parallellepipedet udspændt
af dx , dx' og en lange forbindelseslinie, får man et rumfang, der
er seks gange så stort som tetraeder-rumfanget. Det var hvad Gauss
gjorde, så Gauss' integral er seks gange så stort som det,
vi har præsenteret, og adskiller sig fra et helt tal ved seks gange
2/3 pi , altså 4pi . (Tilbage til teksten)