TOPOLOÅ KI DEFEKTI - F9 - IJS
TOPOLOÅ KI DEFEKTI - F9 - IJS
TOPOLOÅ KI DEFEKTI - F9 - IJS
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