08.01.2015 Views

TOPOLOÅ KI DEFEKTI - F9 - IJS

TOPOLOÅ KI DEFEKTI - F9 - IJS

TOPOLOÅ KI DEFEKTI - F9 - IJS

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Univerza v Ljubljani<br />

Fakulteta za matematiko in fiziko<br />

Oddelek za fiziko<br />

TOPOLOŠKI <strong>DEFEKTI</strong><br />

Brina Črnko<br />

Mentor: prof. dr. Slobodan Žumer<br />

Februar 2007<br />

Povzetek<br />

Defekti so območja v snovi, kjer parameter urejenosti postane singularen. Topološkega<br />

defekta ni mogoče odstraniti z lokalno zvezno deformacijo ureditvenega parametra v okolici<br />

singularnosti. Nastanek defektov je tesno povezan s faznim prehodom, pri katerem pride do<br />

zloma simetrije. Iz simetrij ureditvenega parametra lahko s pomočjo topologije izračunamo<br />

stabilne defekte. Postopek ponazorimo na primerih feromagnetne tekočine in nematskih<br />

tekočih kristalov, za katere izračunamo stabilne točkovne defekte v dveh in stabilne linijske<br />

defekte v treh dimenzijah.<br />

1 Uvod<br />

Slika 1: Nematski tekoči kristal, kot ga vidimo pod polarizacijskim mikroskopom. Vzorec je med<br />

dvema prekrižanima polarizatorjema. V barvastih območjih se orientacija paličastih molekul spreminja<br />

zvezno. Črna območja so območja izotropne faze in orientacije molekul, ki je pravokotna na<br />

katerikoli polarizator. Po črnih potezah prepoznamo defekt. Štirje črni ”žarki” so značilni za<br />

radialni defekt, ki ga spoznamo v poglavju 3. Vir slike je [1].<br />

1


Prostor ureditvenega parametra 2<br />

Defekti v kristalu so vrzeli ali vrinjeni atomi v mreži, ter zamaknjene ravnine [2]. V tekočih<br />

kristalih vidimo defekte pod polarizacijskim mikroskopom kot črne črte, skupine črt in pike v<br />

barvasti strukturi [3] (slika 1). Defekti so tudi vorteksi v superprevodniku tipa II, znotraj katerih<br />

je neničeln magnetni pretok [4].<br />

Defekti so v tesni povezavi s faznimi prehodi. Fazni prehodi so ponavadi zaznamovani s spremembo<br />

v simetriji fizikalnega sistema. Prehodi iz manj urejenega stanja z višjo simetrijo v bolj<br />

urejeno stanje nižje simetrije v mnogih primerih neizogibno povzročajo defekte. Pri prehodu nematskega<br />

tekočega kristala iz izotropne faze v nematsko fazo pride do urejanja dolgih osi molekul<br />

vzdolž neke smeri. Pojavijo se urejene domene, katerih orientacije so med seboj neodvisne. Sčasoma<br />

domene rastejo, se združujejo in snov je večinoma enakomerno orientirana. V njej pa ostanejo ujeta<br />

območja, kjer se orientacija nezvezno spreminja. To so defekti [5].<br />

Nekateri defekti so le metastabilni, drugi so topološko stabilni: stabilni s stališča lastnosti<br />

prostora, ki ga dobimo, če najdemo vse možne različne vrednosti ureditvenega parametra sistema.<br />

Te lastnosti izračunamo s pomočjo topologije, matematične vede, ki jo fiziki povezujejo recimo s<br />

kvantnimi števili, kvantizacijo magnetnega pretoka skozi superprevodno zanko, faznimi prehodi in<br />

dejstvom, da so možni le večkratniki osnovnega naboja [6].<br />

Privlačnost računanja stabilnih defektov s topološkim pristopom leži v njegovi univerzalnosti:<br />

potrebujemo le ureditveni parameter, njegove simetrije in matematični postopek (ne vedno enostaven,<br />

resnici na ljubo), pa pridemo do stabilnih defektov za različne fizikalne sisteme: vse vrste<br />

tekočih kristalov, supertekoči helij, feromagnete [7, 8, 9]...<br />

Univerzalnost obnašanja sistemov pri faznem prehodu zanima tudi nekatere kozmologe, ki<br />

predvidevajo, da je v prvih delčkih sekunde po velikem poku prišlo do enega ali več faznih prehodov.<br />

Tudi pri tem prehodu naj bi prišlo do topoloških defektov, predvsem do nastanka kozmičnih strun,<br />

linijskih defektov, ki naj bi bili odgovorni za zgoščevanje mase v galaksije. Defektov v zgodnjem<br />

vesolju ne moremo opazovati, lahko pa jih modeliramo v znanih sistemih: spet so tu nematski<br />

tekoči kristali, supertekoči helij in zlasti superprevodniki [10, 11].<br />

Ta seminar bo pokril le delček: izbrali bomo štiri primere in pokazali, kako s pomočjo prve<br />

homotopske grupe razvrstimo stabilne točkovne defekte v dveh dimenzijah in stabilne linijske<br />

defekte v treh dimenzijah.<br />

2 Prostor ureditvenega parametra<br />

V urejeni snovi lahko uvedemo ureditveni parameter, recimo direktor pri nematskih tekočih<br />

kristalih ali magnetizacijo pri feromagnetih. Tudi ureditveni parameter je povezan z zlomom<br />

simetrije pri faznem prehodu. Izbira ureditvenega parametra ni enolična in velikokrat ni trivialna<br />

(pri npr. superfluidnemu heliju se je bilo potrebno zelo potruditi, da so uganili smiseln ureditveni<br />

parameter).<br />

V vsaki točki urejene snovi definiramo vrednost ureditvenega parametra f(⃗r). Oznaka f ne<br />

implicira, da je ureditveni parameter skalar: lahko je tudi vektor, tenzor...<br />

Vse možne vrednosti, ki jih lahko zasede f imenujemo prostor ureditvenega parametra<br />

in ga označimo z R [3]. V homogeni snovi je vrednost ureditvenega parametra konstantna. V<br />

nehomogenem mediju se lahko f zvezno spreminja, takrat snov nima defektov. Lahko pa f vsebuje<br />

nezveznosti.<br />

Defekt je območje v prostoru, ki vsebuje nezveznost ureditvenega parametra.<br />

Topološki defekt je singularnost, ki je ni mogoče odstraniti z zvezno deformacijo ureditvenega


2.1 Prostor ureditvenega parametra pri izbranih primerih 3<br />

parametra v njeni bližini [12]. Singularnosti so lahko vzdolž črt, v točkah...<br />

Ko določimo ureditveni parameter, najdemo tudi prostor R in s pomočjo topologije njegove<br />

lastnosti. Pri vrednotenju rezultatov se je potrebno spomniti, katere predpostavke smo naredili pri<br />

uvedbi ureditvenega parametra, saj je večinoma opis snovi z ureditvenim parametrom le približen.<br />

2.1 Prostor ureditvenega parametra pri izbranih primerih<br />

2.1.1 Spini v ravnini<br />

Predstavljamo si gradnike z magnetnim momentom, naključno porazdeljene v ravnini, torej<br />

feromagnetno tekočino v dveh dimenzijah. Vrednost magnetnega momenta je v našem približku<br />

konstantna.<br />

Lahko si predstavljamo tudi feromagnet, katerega magnetizacijo, povprečno urejenost magentnih<br />

momentov posameznih atomov v majhnem delu volumna, vzamemo za konstanto. Obravnavamo<br />

ga kontinuumsko: zanemarimo dejstvo, da so atomi porazdeljeni v kristalni mreži in<br />

gledamo snov na večji skali. A kristalna mreža kljub temu poruši nekatere simetrije, zato snovi<br />

raje rečemo feromagnetna tekočina.<br />

Ureditveni parameter je mogoče opisati z enotskim vektorjem v ravnini (slika 2). Gibanje<br />

enotskega vektorja v ravnini je omejeno na vrtenje. Vse vrednosti, ki jih lahko zavzame, ležijo na<br />

krožnici, ki predstavlja prostor ureditvenega parametra.<br />

2.1.2 Navadni spini<br />

Obravnavamo feromagnetno tekočino v treh dimenzijah. Ureditveni parameter je enotski vektor,<br />

ki kaže v katerokoli smer v prostoru. Prostor ureditvenega parametra je enotska sfera.<br />

2.1.3 Nematik v ravnini<br />

Slika 2: Spine predstavimo kot vektorje.<br />

Slika 3: V nematskem tekočem kristalu so<br />

težišča naključno porazdeljena po prostoru,<br />

a imajo molekule orientacijski red dolgega<br />

dosega [13]. V povprečju so dolge osi molekul<br />

obrnjene v smer ⃗n, smer direktorja. Na sliki<br />

je smer direktorja navpičnica.


Razvrščanje defektov 4<br />

Nematske tekoče kristale sestavljajo podolgovate molekule, ki imajo eno daljšo os - molekularno<br />

ali glavno os. Rišemo jih kot francoske štručke ali paličice. V nematski fazi so težišča molekul<br />

naključno porazdeljena po prostoru, a v povprečju molekule kažejo v isto smer (slika 3). Smer,<br />

v kateri so molekule lokalno poravnane, imenujemo direktor ⃗n(⃗r). Ta vektor ima le velikost (je<br />

enotski) in orientacijo v prostoru, ne pa smeri (je brez ”glave”, imenujejo ga headless vector). To<br />

pomeni, da smeri ⃗n in −⃗n predstavljata isto stanje. Tudi opis nematika z direktorjem je približek.<br />

Slika 4: Tekoči kristal v ravnini opišemo<br />

z direktorjem, enotskim vektorjem brez<br />

smeri (’headless’): ⃗n ≡ −⃗n; nasprotni<br />

orientaciji predstavljata isto stanje zaradi<br />

paličaste oblike molekul [14]. Prostor ureditvenega<br />

parametra je krožnica, ker pa<br />

vsak par nasprotno ležečih točk predstavlja<br />

isto stanje, moramo pare diametralnih točk<br />

izenačiti.<br />

Slika 5: Prostor ureditvenega parametra za<br />

nematski tekoči kristal v treh dimenzijah je<br />

sfera, pri kateri so nasprotno ležeče točke<br />

med seboj izenačene. Lažje si jo predstavljamo<br />

kot poloblo, kjer vsaka točka predstavlja<br />

svoje stanje, razen na robu poloble, ki je<br />

krožnica z diametralno izenačenimi točkami.<br />

Narisana zanka je zaključena zanka.<br />

Prostor ureditvenega parametra (skupek vseh vrednosti, ki jih lahko zavzame) je v dveh dimenzijah<br />

enotska krožnica, na kateri moramo zaradi enakovrednosti stanj z nasprotno orientacijo<br />

izenačiti točke, ki se nahajajo na nasprotni strani krožnice [14] (slika 4).<br />

2.1.4 Navadni nematik<br />

V treh dimenzijah orientacija ureditvenega parametra ⃗n lahko zasede katerokoli točko na enotski<br />

sferi, kjer pa moramo ponovno upoštevati, da nasprotni smeri predstavljata isto stanje. Enotsko<br />

sfero, kjer so nasprotno ležeče točke med seboj izenačene, si lahko predstavljamo kot hemisfero,<br />

kjer vsaka točka na zgornji polobli predstavlja svoje stanje, na krožnici, ki zaključuje poloblo, pa<br />

nasprotne točke paroma poistovetimo (slika 5) [3].<br />

3 Razvrščanje defektov<br />

Razvrstili bomo nekatere defekte v nematskih tekočih kristalih in feromagnetnih tekočinah.<br />

Stabilni defekti imajo pravilno strukturo in jim lahko določimo moč. Ponazorimo na točkovnem<br />

defektu v dveh dimenzijah: moč defekta je število polnih obratov, ki jih naredi spin ali direktor, ko<br />

defekt obkrožimo po zanki. Pri radialnemu defektu je očitno, da se smer vektorja pri enem obhodu<br />

spremeni za 2π (slika 6). Pri nekaterih defektih to ni tako očitno. V splošnem naredimo naslednji<br />

postopek: narišemo zanko okrog defekta in ji določimo smer obhoda. Pomikamo se po zanki in


Razvrščanje defektov s pomočjo topologije 5<br />

Slika 6: Defekti v nematskem tekočem kristalu in feromagnetni tekočini. Lahko jih gledamo kot<br />

točkovne defekte v dveh ali linijske v treh dimenzijah. Pri radialnem defektu (desno) je očitno,<br />

da se pri obhodu defekta z zaključeno zanko smer spina zavrti za 2π [15]. Moč tega defekta je 1,<br />

kot tudi defekta v tekočem kristalu na sredini. V tekočem kristalu so možni tudi defekti polovične<br />

moči, na sliki je na levi defekt moči 1 [14], saj se za toliko zavrti direktor pri enem obhodu.<br />

2<br />

beležimo smeri vektorja ali direktorja. Ko pridemo naokrog po zanki, preštejemo za kolikšen kot<br />

se je spremenila smer vektorja in v katero smer se je spreminjala. Če je potekala zanka v prostoru<br />

v eni smeri, položaji vektorja pa so se risali v nasprotni smeri, je moč defekta negativna [3].<br />

Iz simetrije spinov sledi, da so možni le polni obrati, kar nam da celoštevilčne moči (±1, ±2...), v<br />

tekočem kristalu pa so lahko obrati (moči) tudi polovični: ± 1, ± 2, ± 3 .... Moč ponavadi označimo<br />

2 2 2<br />

z s.<br />

Tudi moč linijskih defektov v treh dimenzijah računamo enako, pri točkovnih defektih (v treh<br />

dimenzijah) pa defekt obdamo s sfero.<br />

4 Razvrščanje defektov s pomočjo topologije<br />

S pomočjo topologije bomo razvrstili defekte pri štirih predstavljenih primerih. Glede na razliko<br />

med dimenzijama prostora in defektov so potrebni rahlo različni postopki. Opisali bomo le tistega,<br />

s katerim pridemo do defektov, ki jih je mogoče obkrožiti z zanko, torej točkovnih defektov v dveh<br />

in linijskih defektov v treh dimenzijah.<br />

Za defekte različnih moči lahko izračunamo njihovo energetsko stabilnost: izračunamo, koliko<br />

”stane” deformacija v okolici defekta. V vsaki snovi (spini, vse vrste tekočih kristalov, oba izotopa<br />

supertekočega helija, superprevodniki...) je za ta račun potrebno uporabiti drugo teorijo, pri<br />

nematskih tekočih kristalih izračunamo recimo Frankovo elastično energijo. Če pa uporabimo<br />

orodja topologije, potrebujemo ureditveni parameter in simetrije prostora ureditvenega parametra<br />

za vsako snov, nato pa z enotnim pristopom obravnavamo vse snovi. Kot rezultat ”padejo ven”<br />

defekti, ki so stabilni s stališča simetrij snovi. ”Stranski produkt” so poleg tega še pravila, po<br />

katerih se defekti sestavljajo med seboj.<br />

4.1 Defekte razvrstimo s homotopskimi grupami<br />

Pojasnimo po korakih:<br />

• V razred defektov združimo tiste defekte, ki jih lahko spremenimo drug v drugega z zvezno<br />

deformacijo (slika 7).<br />

• Ureditveni parameterf je preslikava, ki preslika elemente ⃗r navadnega prostora, ki ga<br />

zavzema snov, v prostor ureditvenega parametra R. Defekt obdamo z zaključeno ploskvijo


Izračun fundamentalne grupe 6<br />

Slika 7: Primer dveh defektov iste moči (s=1), ki ju lahko spremenimo enega v drugega z zvezno<br />

deformacijo [7]. Defekta pripadata istemu razredu. Defekt na sredini dobimo tako, da vsak spin<br />

levega defekta rotiramo za π/2. Rotiramo lahko tudi zvezno, od 0 do π/2, kjer je tudi vsako vmesno<br />

stanje (rotacija za enega izmed vmesnih kotov) v istem razredu. Tudi defekt, ki ima sredico enega<br />

defekta in okolico drugega defekta, vmes pa je zvezen prehod, pripada istemu razredu.<br />

razsežnosti i (linijski defekt v treh dimenzijah obdamo z zanko, točkovni defekt v treh dimenzijah<br />

obdamo s sfero) [3]. Vrednosti ureditvenega parametra f na njej sestavljajo zanko<br />

(ali zaključeno ploskev) v prostoru ureditvenega parametra R.<br />

• Različne preslikave i-razsežnih zaključenih ploskev združimo v razrede. Preslikavi sta v<br />

istem razredu, če lahko eno zvezno deformiramo v drugo. Razredi sestavljajo grupo: i-to<br />

homotopsko grupo prostora π i (R).<br />

• Računali bomo le s prvo homotopsko grupo π 1 (R) ki jo imenujemo tudi fundamentalna<br />

grupa. S prvo homotopsko grupo ali fundamentalno grupo π 1 (R) razvrstimo tiste stabilne<br />

defekte, ki jih lahko obdamo z zanko: točkovne defekte v dveh dimenzijah in linijske defekte<br />

v treh dimenzijah [3].<br />

• Vsak element prve homotopske grupe ustreza razredu topološko stabilnih defektov. Stanje<br />

brez defektov ustreza enotskemu elementu v homotopski grupi [7].<br />

• Grupa π 1 (R) pove tudi, kako se njeni elementi množijo med seboj. Njeni elementi so razredi<br />

preslikav zank okrog defektov. Ker razredi preslikav ustrezajo razredom topoloških defektov,<br />

nam fundamentalna grupa pove, kako se defekti med seboj sestavljajo [14].<br />

5 Izračun fundamentalne grupe<br />

5.1 Grupa G vseh možnih transformacij<br />

Najprej poiščemo G, grupo vseh zveznih transformacij, ki vrednost ureditvenega parametra f<br />

prepišejo v katerokoli drugo vrednost ureditvenega parametra iz prostora ureditvenega parametra<br />

R. Izbira grupe G ni enolična. Za G moramo izbrati grupo, ki je enostavno povezana.<br />

• Enostavno povezan prostor Prostor je enostavno povezan, če je povezan s potmi in<br />

lahko vsako pot med točkama zvezno deformiramo v vsako drugo. Zanko v enostavno<br />

povezanem prostoru lahko zvezno skrčimo v točko. Črta je enostavno povezana, prav tako<br />

krog, ne pa krožnica. Površina sfere je enostavno povezana (slika 8).


5.1 Grupa G vseh možnih transformacij 7<br />

Slika 8: Krčenje zaključene zanke na sferi v točko. Sfera (S 2 ) je enostavno povezana [16].<br />

5.1.1 G za spine in nematik v dveh dimenzijah<br />

V dveh dimenzijah lahko spin in direktor poljubno rotiramo v ravnini. Grupa G vseh možnih<br />

transformacij je SO(2). Prostor, s katerim jo opišemo je krožnica: rotacijo za določen kot v ravnini<br />

predstavimo kot točko na krožnici. Sedaj pa napeljemo okrog krožnice zanko. Te zanke ne moremo<br />

skrčiti v točko, kar pomeni, da grupa SO(2) ni enostavno povezana. Zato ne moremo izračunati<br />

fundamentalne grupe s postopkom, ki sledi. Pomaga nam naslednje:<br />

• Vsako zvezno grupo G lahko vstavimo v večjo grupo G ′ , ki je enostavno povezana in ji rečemo<br />

krovna grupa. Vsak element grupe G je slika dveh, treh ali več (n, kjer je n celo število)<br />

elementov krovne grupe G ′ .<br />

Slika 9: Krovna grupa grupe SO(2), ki jo predstavimo s krožnico (ta in enostavno povezana: zanke,<br />

ki gre naokrog krožnice ne moremo skrčiti v točko), je grupa T(1) translacij v eni dimenziji. To<br />

predstavimo s premico, ki je enostavno povezana. Kot θ na krožnici je slika neskončno točk na<br />

premici, ki so oblike θ + 2πn, kjer je n celo število.<br />

Krovna grupa SO(2) je grupa T(1) translacij v eni dimenziji:<br />

• Grupa T(1) translacij v eni dimenziji je enostavno povezana. Predstavimo jo s premico,<br />

na kateri lahko vsako zaključeno zanko skrčimo v točko. Povezava med SO(2) in T(1) je<br />

naslednja: Točka, ki v grupi SO(2) predstavlja rotacijo za kot θ in leži na krožnici, je slika<br />

vseh točk oblike θ + 2nπ (n ∈ Z) na premici (slika 9).<br />

Kadar nam simetrija prostora narekuje, da za grupo G vseh možnih transformacij ureditvenega<br />

parametra vzamemo SO(2), jo nadomestimo s T(1).


5.2 Postopek za izračun π 1 8<br />

5.1.2 G za spine in nematik v treh dimenzijah<br />

Spin in direktor poljubno rotiramo v prostoru. Grupa vseh možnih transformacij je grupa<br />

SO(3), grupa rotacij v 3D prostoru. Tudi ta ni enostavno povezana [8]. Nadomestimo jo z njeno<br />

krovno grupo SU(2), ki je enostavno povezana.<br />

• Grupa SU(2) Grupa SU(2) združuje unitarne 2×2 matrike z vrednostjo determinante 1.<br />

Katerokoli unitarno 2×2 matriko lahko predstavimo z enotskim vektorjem ˆn in kotom θ v<br />

intervalu 0 ≤ θ ≤ 4π [7]:<br />

u(ˆn, θ) = cos θ 2 + i sin θ 2 (ˆn · σ) = ei θ 2 (ˆn·σ) , (5.1)<br />

σ so Paulijeve matrike:<br />

( )<br />

0 1<br />

σ x =<br />

1 0<br />

5.2 Postopek za izračun π 1<br />

σ y =<br />

( )<br />

0 −i<br />

i 0<br />

σ z =<br />

( )<br />

1 0<br />

. (5.2)<br />

0 −1<br />

Slika 10: Shema grupe G vseh možnih transformacij ureditvenega parametra in v njej podgrupa H,<br />

ki ne spremeni vrednosti ureditvenega parametra. Kos H 0 je povezan z enoto s potmi, ki v celoti<br />

ležijo v H [7].<br />

Sedaj lahko navedemo postopek za izračun fundamentalne grupe:<br />

• Za vsak sistem poiščemo grupo G vseh možnih transformacij ureditvenega parametra. Če<br />

prva izbira za to grupo ni enostavno povezana (npr. SO(2) ali SO(3)), izberemo njeno krovno<br />

grupo (npr. za SO(2) je to T(1), za SO(3) pa SU(2)).<br />

• V njej poiščemo podgrupo H tistih transformacij, ki ne spremenijo vrednosti ureditvenega<br />

parametra.<br />

• V podgrupi H poiščemo tisti kos, ki je povezan z enoto. Imenujemo ga H 0 . To je množica<br />

točk v H, ki so povezane z enoto z zveznimi potmi, ki v celoti ležijo v H. Fundamentalna<br />

grupa π 1 , ki razvršča defekte, ki jih lahko obkrožimo z zanko (točkovne defekte v dveh in<br />

linijske v treh dimenzijah) je enaka kvocientni grupi H/H 0 : π 1 = H/H 0 [7].


5.3 Prve homotopske grupe za primere 9<br />

5.3 Prve homotopske grupe za primere<br />

5.3.1 Spini v ravnini<br />

Opišemo jih kot vektorje v ravnini. Grupa G vseh možnih transformacij ureditvenega parametra<br />

je grupa SO(2) rotacij v ravnini, ki jo moramo nadomestiti s T(1). Operacije G so translacije oblike<br />

[7]:<br />

G = T (1) = {T φ θ = θ + φ; −∞ < φ < ∞},<br />

ki spin, orientiran v smeri θ rotirajo za kot φ. Podgrupa H, ki ne spremeni stanja, je podgrupa<br />

translacij za celoštevilčni mnogokratnik 2π, saj rotacija za 2π povrne začetno stanje (slika 9):<br />

H = {T 2πn ; n = 0, ±1, ±2...}.<br />

To je grupa translacij za celoštevilčni mnogokratnik 2π. Lahko si predstavljamo, da je to kar grupa<br />

celih števil Z. Ti dve grupi imata enako število elementov, zanje veljajo enaka pravila. Rečemo,<br />

da sta izomorfni, enake oblike. Za topologijo sta izomorfni grupi kar enaki. Ponazorimo ju kot<br />

enaki grupi z enakimi elementi, le da so elementi drugače označeni. Na sliki 9, lahko vidimo, da je<br />

vseeno, če točkam, ki predstavljajo translacije za 2πn rečemo cela števila. Zapišemo:<br />

H = T 2πn = Z.<br />

Sedaj se lahko lotimo iskanja H 0 . Grupa H je diskretna. Diskretna pomeni, da ima vsaka točka<br />

okolico, ki ne vsebuje nobene točke. Točke na številski premici celih števil so ločene točke. Z enoto,<br />

številom nič, ni povezana nobena točka. Povezana podgrupa enote je enota sama. Kvocientna<br />

grupa je:<br />

H/H 0 = H/0 = H,<br />

Cela grupa H. Računanje kvocientne grupe si lahko predstavljamo kot deljenje.<br />

Prva homotopska grupa ali fundamentalna grupa je enaka: π 1 = H/H 0 , torej je [7]:<br />

Kaj nam to pove<br />

π 1 = Z. (5.3)<br />

• π 1 opisuje defekte, ki jih lahko obkrožimo z zanko. To so v dveh dimenzijah točkovni defekti.<br />

Razrede točkovnih defektov pri 2D spinih torej razvrstimo z grupo celih števil.<br />

Kako<br />

• Spomnimo se na moči defektov v poglavju 3: moč defekta je bila enaka številu polnih obratov<br />

spina, ki jih je naredil, ko smo defekt obkrožili z zanko. Najmanjša neničelna moč je bila 1 ali<br />

−1, to pa ustreza celima številoma 1 in −1. Število nič je enota grupe, ta predstavlja stanje<br />

brez defektov. Druga cela števila predstavljajo večje moči. Na sliki 11 sta predstavljena<br />

defekta moči 2 in −2, ki ustrezata istima celima številoma v grupi celih števil.<br />

π 1 nam pove tudi, da so vsi defekti celoštevilčne moči stabilni.<br />

Kakšno zvezo ima to z zankami<br />

• Prostor ureditvenega parametra je krožnica. Zanke, rečemo ji prva zanka, ki gre enkrat okrog<br />

krožnice, ne moremo skrčiti v točko. Prav tako ne moremo zanke, ki gre v nasprotni smeri<br />

okrog krožnice spremeniti v prvo zanko in tudi ne zanke, ki gre dvakrat naokrog. Vsaka<br />

izmed teh zank predstavlja svoj razred, svoj element fundamentalne grupe. Ta element je<br />

enak številu in smeri obhodov okrog krožnice. En obhod v pozitivni smeri predstavlja število<br />

(element) 1 in moč defekta 1, saj je zanka, ki gre enkrat okrog krožnice preslikava zanke<br />

okrog defekta moči 1 v navadnem prostoru.


5.3 Prve homotopske grupe za primere 10<br />

Slika 11: Primeri defektov pri spinih v<br />

ravnini, moči so označene z n [7].<br />

Slika 12: Primeri stabilnih defektov za nematski<br />

tekoči kristal v ravnini. Z s so<br />

označene vrednosti moči [17].<br />

5.3.2 Navadni spini<br />

Prostor ureditvenega parametra je sfera. Vektor v prostoru lahko poljubno obračamo in napolnimo<br />

vse točke na sferi. Sfera je enostavno povezan prostor (slika 8). Pred vsakršnimi nepotrebnimi<br />

računi nas reši naslednje: Fundamentalna grupa enostavno povezanega prostora je trivialna<br />

(vsebuje le enoto) [7].<br />

To lahko ponazorimo tudi z zankami: vsako zanko na sferi lahko skrčimo v točko. Vse zanke<br />

so v istem razredu, v katerem je tudi ničelna zanka (točka), ki predstavlja enoto. Edini element<br />

prve homotopske grupe je enota (pišemo lahko 0), grupa je trivialna:<br />

π 1 = 0.<br />

Prva homotopska grupa razvrsti defekte, ki jih lahko obkrožimo z zanko, v treh dimenzijah so to<br />

linijski defekti. Enota predstavlja stanje brez defektov.<br />

Posledica: Pri spinih v treh dimenzijah ni stabilnih linijskih defektov.<br />

Pri faznem prehodu se tvorijo različni defekti, a se sčasoma njihovo število zmanjšuje: defekti<br />

in njihovi antidefekti se anihilirajo, če so dovolj blizu, nestabilni defekti razpadajo v stabilne,<br />

nestabilni linijski defekti lahko razpadejo v več točkovnih...<br />

5.3.3 Nematik v ravnini<br />

Paličico, s katero si predstavljamo nematik, lahko vrtimo v ravnini. Grupa G vseh možnih<br />

transformacij je grupa rotacij v ravnini SO(2), oziroma njena krovna grupa T(1). Paličico lahko<br />

zavrtimo v ravnini za večkratnik 2π, pa dobimo isto stanje, prav tako pa dobimo nerazločljivo<br />

stanje, če jo zavrtimo za lihi večkratnik π. Grupa G je enaka kot pri planarnih spinih, vse možne<br />

transformacije dobimo s translacijo (rotacijo) za poljuben kot:<br />

G = T (1) = {T φ (θ) = θ + φ; −∞ < φ < ∞}, (5.4)


5.3 Prve homotopske grupe za primere 11<br />

podgrupa H pa je množica translacij v T(1) (rotacij v SO(2)) za nπ [14]:<br />

H = {T nπ ; n ∈ Z}. (5.5)<br />

Podgrupa H je ponovno diskretna in okolica enote je enota sama: H 0 = 0. Kvocientna grupa je:<br />

H/H 0 = H/0 = H,<br />

podgrupa H je sicer grupa translacij za nπ, ne pa 2nπ, kot pri spinih, a je tudi ta grupa enaka grupi<br />

celih števil, če vsak element (vsako celo število) drugače poimenujemo. Fundamentalna grupa je<br />

grupa celih števil:<br />

π 1 = Z.<br />

Kaj to pomeni za defekte<br />

• Ponovno razvrščamo defekte, ki jih je v dveh dimenzijah mogoče objeti z zanko: točkovne.<br />

Kot prej so različna števila povezana z defekti različne moči. V nematskem tekočem kristalu<br />

je defekt najmanjše neničelne moči defekt z močjo s = 1 ali − 1 (poglavje 3), kar je povezano<br />

2 2<br />

s tem, da vrtež za π ne spremeni stanja. Po moči sledita defekta 1 in −1 (slika 12), tema pa<br />

3<br />

in − 3... Število nič povežemo s stanjem brez defektov, število 1 z defektom 1, −1 z − 1, 2<br />

2 2 2 2<br />

z defektom moči 1...<br />

In zanke<br />

• Prostor ureditvenega parametra za nematik v dveh dimenzijah je krožnica, na kateri so<br />

nasprotne točke med seboj enake (slika 4). Če začnemo v poljubni točki in naredimo polkrog,<br />

je to zaključena zanka, ker sta nasprotni točki med seboj zlepljeni. Če naredimo cel krog,<br />

je tudi to zaključena zanka, ki je ne moremo spremeniti v prvo, lahko naredimo en krog<br />

in pol, pa je zanka spet zaključena in različna od prejšnjih. Vsaka zanka, ki naredi celo<br />

število polkrogov, predstavlja en element fundamentalne grupe, eno celo število in en razred<br />

defektov. To je ponovno zato, ker to pomeni, da smo naredili zanko okrog defekta v navadnem<br />

prostoru, v vsaki točki pogledali vrednost ureditvenega parametra, s tem pa naredili zanko<br />

v prostoru ureditvenega parametra.<br />

5.3.4 Navadni nematik<br />

Ureditveni parameter je direktor, enotski vektor v prostoru, ki nima smeri (glave). Spet si<br />

lahko predstavljamo paličico. Grupa vseh možnih transformacij je SO(3), grupa rotacij v prostoru,<br />

ki jo moramo vstaviti v krovno grupo SU(2). Sedaj poiščemo transformacije, ki dajo ekvivalentna<br />

stanja. Paličico lahko vrtimo za poljuben kot okrog lastne osi. Poleg tega jo lahko rotiramo za kot<br />

π okrog katerekoli osi, ki je nanjo pravokotna. Te transformacije moramo sedaj zapisati v obliki<br />

2×2 unitarnih matrik, ker smo v grupi SU(2).<br />

Direktor si izberemo v z smeri. Delovanje poljubne rotacije nanj zapišemo tako [7]:<br />

ŝ · σ = u † (ˆn, θ)σ z u(ˆn, θ),<br />

u(ˆn, θ) je oblike kot v enačbi 5.1.<br />

Najprej delujemo na paličico s transformacijami, ki ne spremenijo z-osi. Te so oblike (za ˆn v<br />

enačbi 5.1 vzamemo ˆn = (0, 0, 1)):<br />

( )<br />

u(ẑ, θ) = e i θ 2 e<br />

i θ<br />

σz 2 0<br />

=<br />

0 e −i . (5.6)<br />

θ<br />

2


5.4 Druge homotopske grupe 12<br />

Njim moramo dodati še tiste, ki obračajo okrog poljubne osi, pravokotne na z za π. Te rotacije<br />

predstavimo kot rotacije okrog osi y (to si izberemo) za π, ki jim sledi primerna rotacija okrog z.<br />

Rotacije okrog y za π zapišemo kot [7]:<br />

( )<br />

±u(ŷ, π) = e ±i π 2<br />

0 1<br />

σy<br />

= ±iσ y = ± . (5.7)<br />

−1 0<br />

Podgrupa H rotacij, ki vodijo v ekvivalentno stanje sistema je sestavljena iz matrik oblike 5.6 ki<br />

rotirajo okrog z osi in je ne spremenijo, poleg njih pa še produkte teh matrik z iσ y :<br />

( )<br />

0 e<br />

i θ 2<br />

v(ẑ, θ) = u(ẑ, θ)(iσ y ) =<br />

, (5.8)<br />

ki so kombinacija rotacije okrog osi y za π in rotacije okrog z za poljuben kot.<br />

Vidimo, da je grupa H sestavljena iz dveh kosov: prvi je oblike 5.6 in drugi oblike 5.8. Le prvi<br />

je povezan z enotsko 2×2 matriko in predstavlja grupo H 0 .<br />

Fundamentalna grupa<br />

• Kvocientna grupa H/H 0 ima dva elementa: enoto in še en element. V topologiji ni pomembno,<br />

kateri. Za katerokoli grupo, ki ima dva elementa, lahko rečemo da je enaka grupi Z 2 ,<br />

ki vsebuje elementa 0 (enota) in 1. To pa je tudi prva homotopska grupa za nematski tekoči<br />

kristal v prostoru.<br />

Kateri defekti so stabilni<br />

• Fundamentalna ali prva homotopska grupa v treh dimenzijah razvrsti linijske defekte. Enota<br />

je stanje brez defektov. Drugi element pa pove, da je v nematskem tekočem kristalu le en<br />

razred stabilnih defektov. Najmanjša moč defekta je 1 (ko gremo okrog defekta, se direktor<br />

2<br />

zavrti za π) in to je edini stabilni defekt.<br />

Zanke<br />

• Prostor ureditvenega parametra je polobla, ki jo zaključuje krožnica, na kateri so nasprotne<br />

točke med seboj zlepljene (slika 5). Na njej sta le dve vrsti zaključenih zank. Začnemo nekje<br />

na krožnici in speljemo zanko po površini do nasprotnega konca krožnice, ki je zlepljen z<br />

začetkom: te zaključene zanke ne moremo deformirati v točko. Lahko pa naredimo poln<br />

obrat, takrat lahko zanko potegnemo prek poloble v točko: te zanke so v razredu ničelne<br />

zanke, enote, medtem ko so tiste, ki so zaključene prek zlepljenih točk v drugem razredu in<br />

predstavljajo netrivialni element grupe. Vse zanke so ali ene ali druge oblike (kar morda ni<br />

na prvi pogled očitno). Tako lahko vse linijske defekte v nematskem tekočem kristalu zvezno<br />

deformiramo ali v stanje brez defektov ali v defekt 1 2 .<br />

Recimo: linijski defekt moči − 1 lahko zvezno spremenimo v defekt 1 , linijski defekt moči 1<br />

2 2<br />

lahko razpade na dva linijska defekta moči 1 , ali pa v več točkovnih defektov moči 1, tako<br />

2<br />

imenovani pobeg v tretjo dimenzijo [18].<br />

5.4 Druge homotopske grupe<br />

Za opis defekta dimenzije M ′ v prostoru dimenzije M potrebujemo i-to homotopsko grupo π i ,<br />

kjer je i = M − M ′ − 1. Za razvrstitev točkovnih defektov v treh dimenzijah potrebujemo drugo<br />

homotopsko grupo π 2 (3 − 0 − 1). Pri spinih in nematskih tekočih kristalih v treh dimenzijah so<br />

stabilni vsi točkovni defekti celoštevilčne moči [7]. Za druge grupe obstajajo podobni postopki,<br />

grupe so med seboj tudi povezane.<br />

e −i θ 2


Zaključek 13<br />

6 Zaključek<br />

S homotopsko teorijo je mogoče izračunati stabilne defekte vseh dimenzij za vse snovi, ki<br />

imajo ureditveni parameter. Ni se težko lotiti defektov supertekočega helija, holesteričnih tekočih<br />

kristalov, dvoosnih nematskih tekočih kristalov [7, 8, 9]. Če je translacijska simetrija zlomljena<br />

(kristali, smektični tekoči kristali...) je mogoče hitro zaiti v težave, prostori ureditvenega parametra<br />

postanejo zapleteni, pa tudi gradniki so v diskretnih točkah. Opisi teh snovi s topološkega stališča<br />

niso popolnoma zadovoljivi.<br />

V realnih okoliščinah se lahko sistemi drugače obnašajo (vpliv omejene geometrije, končne velikosti<br />

gradnikov...). Tipično v snoveh najdemo tudi defektne strukture, ki topološko niso stabilne.<br />

Šele obravnava defektov z energetskega stališča pokaže, da so možna tudi metastabilna stanja.<br />

Topološki pristop je morda na prvi pogled nenavaden, a koristen. Označiti ga je možno kot<br />

komplementaren pogled na probleme s stališča lastnosti prostora samega, ki se zrcalijo v fizikalnih<br />

lastnostih snovi.<br />

Literatura<br />

[1] www.tfe.gatech.edu/faculty/mohan/lcweb/pixnmovies/nlcpix/page3.html<br />

[2] N.W. Ashcroft, N.D. Mermin, Solid State Physics, Holt, Rinehart and Winston, New York<br />

(1976)<br />

[3] M. Kleman, O.D. Lavrentovich, Soft Matter Physics, An Introduction, Springer-Verlag, New<br />

York, 2003<br />

[4] T.W.B. Kibble, Physica C, 369, 87-92 (2002)<br />

[5] www.phys.syr.edu/research/hetheory/gravity and defects/condcos/condcos.html<br />

[6] D.J. Thouless, Topological Quantum Numbers in Nonrelativistic Physics, World Scientific,<br />

Singapur, 1998<br />

[7] N.D. Mermin, Rev. Mod. Phys., 51 (3), 591-648 (1979)<br />

[8] H.-R. Trebin, Adv. Phys., 31, (3), 195-254 (1982)<br />

[9] G.E. Volovik, V.P. Mineev, Sov. Phys JETP, 45 (6), 1186-1196 (1977)<br />

[10] T.W.B. Kibble, Nature, 317, 472 (1985)<br />

[11] T.W.B. Kibble, J. Phys. A: Math. Gen., 9,(8) 1387-1398 (1976)<br />

[12] www.rcp.ijs.si/dean/tdefect revtex/node1.html<br />

[13] www.engin.brown.edu/courses/en292s16/docs/EN292-materials.ppt<br />

[14] J. Bajc, Statika in dinamika defektov v ograjenih nematskih tekočekristalnih fazah, Disertacija,<br />

Ljubljana, 1998


14<br />

[15] www.lassp.cornell.edu/sethna/OrderParameters/OrderParameter.html<br />

[16] www.wikipedia.org<br />

[17] M. Daoud, C.E. Williams (urednika), Soft Matter Physics, Springer-Verlag, Berlin, 1995<br />

[18] P.G. de Gennes, J. Prost, The Physics of Liquid Crystals, Oxford University Press, 1993

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!