Katedra fyziky. Dvourozměrné sigma modely. Two-Dimensional Sigma Models

Transkrypt

1 ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE Fakulta jaderná a fyzikálně inženýrská Katedra fyziky Obor: Matematické inženýrství Zaměření: Matematická fyzika Dvourozměrné sigma modely Two-Dimensional Sigma Models BAKALÁŘSKÁ PRÁCE Autor práce: Josef Schmidt Vedoucí práce: Prof. RNDr. Ladislav Hlavatý, DrSc. Rok: 2009

2 Prohlašuji, že jsem svou bakalářskou práci vypracoval samostatně a použil jsem pouze podklady uvedené v přiloženém seznamu. Nemám závažný důvod proti užití tohoto školního díla ve smyslu 60 Zákona č.121/2000 Sb., o právu autorském, o právech souvisejících s právem autorským a o změně některých zákonů autorský zákon. V Benešově, dne Josef Schmidt

3 Název práce: Autor: Obor: Druh práce: Dvourozměrné sigma modely Josef Schmidt Matematické inženýrství Bakalářská práce Vedoucí práce: Ladislav Hlavatý Katedra fyziky Fakulta jaderná a fyzikálně inženýrská Abstrakt: V této práci je vyložena teorie pro práci s pohybovými rovnicemi na Drinfeldově doublu. Na tomto teoretickém základě pak byly zkonstruovány sigma modely pro jednotlivé neizomorfní Maninovy trojice čtyrrozměrného Drinfeldova doublu. Po zavedení základních pojmů Riemannovské geometrie byla spočtena křivost jednotlivých sigma modelů a zjištěno, kdy je daný model plochý. Klíčová slova: sigma modely, Drinfeldův double, Maninova trojice, Riemannovská geometrie, křivost Title: Author: Two-Dimensional Sigma Models Josef Schmidt Abstract: In this thesis it is explained a theory for work with equations of motion on Drinfeld double. With this theoretical background sigma models corresponding to each non-isomorphic Manin triple of four-dimensional Drinfeld double have been constructed. After introducing basic concepts of Riemannian geometry I have worked out the curvature of each sigma model and determined when the given model is flat. Keywords: sigma models, Drinfeld double, Manin triple, Riemannian geometry, curvature

4 Obsah 1 Úvod 5 2 Úvodní pojmy 6 3 Cílová Lieova grupa Dvourozměrné Lieovy algebry Abelovská grupa Grupa afinních transformací na R Souřadnice na grupě Reprezentace grup Polní rovnice v obecném případě 14 5 Polní rovnice v konkrétním případě Klasifikace 4D Drinfeldových doublů Semiabelovská trojice Abelovská trojice Neabelovská trojice typu A Neabelovská trojice typu B Geometrie Metrický tenzor a metrika Kovariantní derivace a lineární konexe Metrická konexe Torze RLC konexe Riemannův tenzor křivosti a křivost Příklad na S Geometrické vlastnosti sigma modelů Abelovská trojice Semiabelovská trojice Neabelovská trojice typu A Neabelovská trojice typu B Shrnutí Závěr 37 A Seznam značení 38

5 1 ÚVOD 5 1 Úvod Sigma modely jsou zjednodušeným fyzikálním modelem důležitým pro teorii strun. Ukazuje se, že důležitým objektem pro konstrukci v jistém smyslu duálních sigma modelů je tzv. Drinfeldův double. V této práci tedy zkonstruujeme tyto modely na čtyřrozměrném Drinfeldově doublu a za použití nástrojů Riemannovské geometrie se pokusíme určit, zda existuje nějaký vztah mezi křivostí daného modelu a jeho duálního protějšku.

6 2 ÚVODNÍ POJMY 6 2 Úvodní pojmy V této kapitole budou nejprve v minimálním rozsahu uvedeny a vysvětleny pojmy, které jsou potřeba k alespoň základnímu porozumění odvození a práci s pohybovými rovnicemi na tzv. Drinfeldově doublu. Lieova grupa. Necht G je grupa a zároveň diferencovatelná varieta taková, že zobrazení : G G G a 1 : G G jsou hladká. Pak G nazveme Lieovou grupou. Lieova algebra. Necht V je vektorový prostor, [, ] : V V V bilineární zobrazení splňující 1. x, y V [x, y] = [y, x] antisymetrie 2. x, y, z V [[x, y], z] + [[z, x], y] + [[y, z], x] = 0 Jacobiho identita pak V, [, ] nazýváme Lieovou algebrou. Izomorfismus Lieových algeber. Bud te g, h Lieovy algebry. Říkáme, že jsou izomorfní, jestliže existuje lineární izomorfismus I : g h takový, že x, y gi[x, y] g = [Ix, Iy] h Translace na grupě. Bud G Lieova grupa, g G, pak zobrazení L g : G G R g : G G L g h := g h R g h := h g nazýváme levou resp. pravou translací. K nim jsou příslušná tečná zobrazení L g h : T h G T gh G R g h : T h G T hg G Bud te g, h G, V T g G, pak pod značením V h resp. hv budeme rozumět R h gv resp. L h gv. Necht X XG I, pak řekneme, že X je levoinvariantní vektorové pole, jestliže platí g, h GgXh = Xg h II Množinu všech levoinvariantních vektorových polí označíme X Linv. Bud V T e G, pak X V g := gv je levoinvariantní vektorové pole. Dále jestliže X, Y X Linv pak [X, Y ] X Linv. Množinu X Linv s operací komutátoru vektorových polí nazveme Lieovou algebrou Lieovy grupy G. I XG značí množinu všech hladkých vektorových polí II Zde je použito značení zavedené výše.

7 2 ÚVODNÍ POJMY 7 Ekvivalentní definicí Lieovy algebry Lieovy grupy je položit g T e G a jako komutátor definovat u, v g[u, v] := [X u, X v ]e kde X u a X v jsou levoinvariantní vektorová pole generovaná vektory u a v. Nebudeme dále rozlišovat mezi těmito dvěma definicemi. Jednoparametrická podgrupa. Bud G Lieova grupa. Mějme zobrazení φ : R G takové, že s, t Rφt + s = φt φs Pak zobrazení φ nazýváme jednoparametrickou podgroupou grupy G. Je to homomorfismus reálné aditivní grupy a nějaké podgrupy grupy G. Platí, že libovolná jednoparametrická podgrupa je integrální křivkou nějakého levoinvariantního vektorového pole procházející jednotkou a naopak tzn. že každá integrální křivka levoinvariantního pole procházející jednotkou je jednoparametrickou podgrupou. Maximální izotropie. Necht V je vektorový prostor nad tělesem T, W podprostor V, h : V V T symetrická bilineární forma. Říkáme, že podprostor W je maximálně izotropní, právě když 1. h W W 0 2. P V W P h P P 0 ad-invariantnost. Necht G je Lieova grupa, g její Lieova algebra, h : g g R bilineární forma. Říkáme, že h je ad-invariantní, právě když x, y, z ghad x y, z + hy, ad x z = 0 III Z ad-invariance navíc plyne Ad-invariantnost formy pro prvky g expg IV, která je definována takto x, y g gxg 1, gyg 1 = x, y Drinfeldův double. Necht D je souvislá Lieova grupa, D její Lieova algebra,, adinvariantní nedegenerovaná bilinearní forma na D. Říkáme, že D je Drinfeldův double, právě když existují maximálně izotropní vůči, podalgebry g, g takové, že g g = D jakožto součet vektorových prostorů. Trojici D, g, g nazýváme Maninovou trojicí. jako diferencovatelná varieta. Necht x R n, označme x x 1,..., x n. Atlas je definovaný jedinou mapou R n, id R n. Bázi tečného prostoru T x R n označíme 1 x,..., x n, a volíme ji tak, aby platilo i x f = f x i R n III Zobrazení ad x : V V : ad xy := [x, y], blíže o tomto zobrazení v kapitole 3.3. IV O zobrazení exp viz. kapitola 3.2. x

8 2 ÚVODNÍ POJMY 8 kde f : R n R. Konkrétně pro n = 2 budeme značit x x +, x a T x R 2 = span x +, x. Sigma model. Mějme diferencovatelné variety R 2 a T. F T2 0 T, zobrazení φ : R 2 T. Systém popsaný Lagrangiánem tvaru tenzororové pole na varietě L = F φ, φ + resp. v souřadnicích L = F µν φ µ + φ ν nazveme sigma modelem. Dále T nazýváme cílovou varietou. V této práci je cílová varieta T dvourozměrnou podgrupou čtyřrozměrného Drinfeldova doublu.

9 3 CÍLOVÁ LIEOVA GRUPA 9 3 Cílová Lieova grupa Cílovými varietami sigma modelů diskutovaných v této práci jsou dvourozměrné podgrupy čtyrrozměrných Drinfeldových doublů. Jejich algebry jsou tedy dvourozměrné. V této kapitole bude uveden příklad dvourozměrných grup generujících neizormorfní Lieovy algebry, nastíněny možnosti zavedení různých souřadnic na grupě, uvedeny základní pojmy reprezentací grup a hlavně přidružené reprezentace. 3.1 Dvourozměrné Lieovy algebry Necht V, [, ] je Lieova algebra, dim V = 2, T 1, T 2 báze V. Pak existují pouze dvě neizomorfní algebry [T 1, T 2 ] = 0 nebo [T 1, T 2 ] = T 2 Uvedeme nyní příklad dvou dvourozměrných Lieových grup, které za svou algebru budou mít první resp. druhý případ Abelovská grupa Mějme g, h R 2, označme g = g 1, g 2, h = h 1, h 2. Tato grupa je definována následovně G R 2, : G G G g h := g 1 + h 1, g 2 + h 2 pak e = 0, 0 g 1 = g 1, g 2 Diferencovatelná struktura je zavedena, jak bylo popsáno v kapitole 2. Tečná zobrazení příslušející k levé resp. pravé translaci 1 0 L g h = R g h = 0 1 Tedy vektory přenášené pomocí translací nemění své složkové vyjádření. Levoinvariantní vektorové pole generované vektorem V T e G, V = v 1, v 2 je konstantní na celé varietě X V g = v 1 g + + v2 g Jejich komutátor [X V, X W ] = 0 pro V, W T e G tedy i [X 1,0, X 0,1 ] = 0. Integrální křivky levoinvariantních vektorových polí procházejících jednotkou jsou přímky γ V t = v 1 t, v 2 t t R

10 3 CÍLOVÁ LIEOVA GRUPA Grupa afinních transformací na R Necht α, β R, α 0, g = g 1, g 2, h = h 1, h 2 R 2. Afinní transformací R rozumíme zobrazení A : R R, Ax := αx+β. Množina afinních transformací ozn. A společně s operací skládání zobrazení pak tvoří grupu. Zobrazení I : A R 2 : IA := α, β je izomorfismus s grupou Af1 R 2 /{0, x x R}, : Af1 Af1 Af1 g h := g 1 h 1, g 1 h 2 + g 2 pak e = 1, 0 g 1 = 1/g 1, g 2 /g 1 Tuto grupu nazveme grupou afinních transformací. Diferencovatelná struktura zavedena opět, jak bylo popsáno v kapitole 2. Tečná zobrazení k translacím g 1 0 g 1 0 L g h = R g h = 0 g 1 g 2 1 Levoinvariantní vektorová pole X V g = v 1 g 1 g + + v2 g 1 g Komutátor [X V, X W ]g = v 1 w 2 v 2 w 1 g 1 g tedy [X 1,0, X 0,1 ] = X 0,1. Integrální křivky γ V t = e v1t, v2 v 1 e v1t 1 pro v 1 0 respektive 3.2 Souřadnice na grupě γ V t = 1, v 2 t pro v 1 = 0 Exponentní zobrazení. Necht G je Lieova grupa, g její Lieova algebra, V g. Pak definujeme zobrazení exp : g G expv := γ V 1 kde γ V je integrální křivka levoinvariantního vektorového pole generovaného vektorem V a procházející jednotkou γ0 = e, γ0 = V. Toto zobrazení nazýváme exponentní zobrazení. Normální souřadnice. Bud G Lieova grupa, dim G = n, T i i ˆn báze T e G. Pak existuje okolí U T e G takové, že exp U : U expu je difeomorfismus. Tedy g expu 1 α 1,..., α n R n exp n α i T i = g i=1

11 3 CÍLOVÁ LIEOVA GRUPA 11 Každému prvku g UG tedy můžeme přiřadit odpovídající souřadnice α i i ˆn. Takto zavedené souřadnice se nazývají normální souřadnice viz. [3]. Řešitelná algebra. Bud g Lieova algebra. Definujme g 0 := g g n+1 := [g n, g n ] = {[x, y] x, y g n } n N 0 Řekneme, že g je řešitelná algebra, jesliže n 0 N tak, že g n0 = 0. Ideál. Necht g je Lieova algebra, I g. Pak I nazveme ideálem, jestliže [g, I] I. Bud g řešitelná Lieova algebra, pak jednotlivé členy posloupnosti g n jsou ideály. Existuje tedy posloupnost ideálů I i i ˆn n je dimenze algebry taková, že g = I 0 I 1... I n = 0 Přímé resp. zpětné souřadnice. Necht G je souvislá Lieova grupa a g je její řešitelná Lieova algebra, n N dimenze g, mějme bázi T i i ˆn g tak, že spant 1,..., T k = I n k kde I n k jsou ideály zmíněné v předchozím odstavci. Pak pro každé g G existuje právě jedno α 1,..., α n, α 1,..., α n R n takové, že g = expα 1 T 1 expα 2 T 2... expα n T n resp. g = expα nt n expα n 1T n 1... expα 1T 1 Tímto způsobem také můžeme na grupě zavést souřadnice. Pro účely této práce budeme používat tyto dva typy souřadnic a budeme je nazývat přímé resp. zpětné souřadnice. Přímé souřadnice budeme značit nečárkovanými řeckými písmeny a zpětné čárkovanými. Ukážeme si jednotlivé typy souřadnic na grupě Af1. To, že grupovému prvku g Af1 přísluší normální resp. přímé resp. zpětné souřadnice budeme značit g g 1, g 2 resp. g α 1, α 2 resp. g α 1, α 2. Pro jednotlivé typy souřadnic prvky grupy fyzicky vypadají takto Normální N g g 1, g 2 g = e g 1, g 2 g 1 e g 1 1 g = 1, g 2 pro g 1 = 0 pro g 1 0 Přímé P g α 1, α 2 g = e α 1, 0 1, α 2 = e α 1, α 2 e α 1 Zpětné Z g α 1, α 2 g = 1, α 2 eα 1, 0 = e α 1, α 2

12 3 CÍLOVÁ LIEOVA GRUPA 12 Přepočet mezi jednotlivými typy souřadnic ukazuje následující tabulka V N P Z N g 1 = g 1 g 1 = α 1 g 1 = α 1 g 2 = g 2 g 2 = α 1 α 2 e α 1 e α g 2 = α 1 α 2 eα P α 1 = g 1 α 1 = α 1 α 1 = α 1 α 2 = g 2 g1 1 1 e g 1 1 α 2 = α 2 α 2 = α 2 e α 1 Z α 1 = g 1 α 1 = α 1 α 1 = α 1 α 2 = g 2g α 2 = α 2e α 1 α 2 = α Reprezentace grup Reprezentace grupy. Mějme grupu G, vektorový prostor V, zobrazení ρ : G Aut V Aut V je množina všech lineárních bijekcí na V automorfismů takové, že g, h Gρg h = ρgρh nazveme reprezentací grupy G ve vektorovém prostoru V. Reprezentace Lieovy algebry. Bud g Lieova algebra, V vektorový prostor, lineární zobrazení ρ : g EndV EndV je množina všech lineárních zobrazení na V endomorfismů takové, že x, y gρ[x, y] = ρxρy ρyρx =: [ρx, ρy] nazýváme reprezentací Lieovy algebry v prostoru V. Věrná reprezentace. Bud ρ : G AutV resp. ρ : g EndV reprezentace grupy G resp. algebry g. O reprezentaci říkáme, že je věrná, jestliže zobrazení ρ resp. ρ je prosté. Maticová exponenciela. Mějme matici A R n,n. Pak pod značením exp A rozumíme exp A := + n=0 A n n! = I + A + A VI Odvozená reprezentace. Mějme G Lieovu grupu, g její Lieovu algebru, V vektorový prostor, ρ reprezentaci grupy G na prostoru V. Dále bud ρ reprezentace algebry g v prostoru V taková, že splňuje komutativní diagram exp ρ G AutV g exp ρ EndV 1 V v níž jsme normální, přímé a zpětné souřadnice označili symboly po řadě N, P a Z VI A 0 je definováno jako jednotková matice.

13 3 CÍLOVÁ LIEOVA GRUPA 13 levé exp značí exponentní zobrazení, kdežto pravé maticovou exponencielu, neboli x gρexpx = expρ x Tuto reprezentaci pak nazýváme odvozenou reprezentací. Vnitřní automorfismus. Necht G je grupa, g G, pak zobrazení I g : G G : I g h := ghg 1 nazýváme vnitřní automorfismus na grupě G. Přidružená adjungovaná reprezentace. Bud G Lieova grupa, I g vnitřní automorfismus na G. Pak zobrazení I g e : T e G T e G je automorfismus na T e G a zobrazení Ad : G AutT e G Adg := I g e je reprezentací G v T e G a nazýváme ji přidruženou reprezentací. Odvozenou reprezentaci od Ad označíme ad : g EndT e G a platí adx = [x, ]. Z důvodu přehlednosti zavedeme značení Adg Ad g a adg ad g.

14 4 POLNÍ ROVNICE V OBECNÉM PŘÍPADĚ 14 4 Polní rovnice v obecném případě V této kapitole pro jistý tvar rovnic pro zobrazení na Drinfeldově doublu obecně odvodíme resp. shrneme články [2], [5], [7] pohybové rovnice pro zobrazení na podgrupách G a G a tvar k nim příslušných Lagrangiánů. Necht D je Drinfeldův double o dimenzi 2n, kde n N. Bud te E +, E podprostory D dimenze n takové, že x E + y E x, y = 0 E + E = D 2 Tedy, že prostory E + a E jsou na sebe kolmé ve smyslu dané formy a tvoří direktní rozklad algebry D. Z nedegenerovanosti formy dané z definice Drinfeldova doublu již nutně plyne, že podalgebry g a g mají dimenzi n. Označme bázi g resp. g jako T i i ˆn resp. T i i ˆn. Tyto báze je vždy možno vybrat tak, aby i, j ˆn T i, T j = δ j i Splnění této podmínky pro danou bázi algebry g resp. g již je určena báze g resp. g jednoznačně. Díky maximální izotropii formy samozřejmě platí Strutkurní koeficienty v algebrách g a g i, j ˆn T i, T j = 0 T i, T j = 0 [T i, T j ] = f k ijt k [ T i, T j ] = f ij k T k již plně určují komutační relace [T i, T j ] díky ad-invariatnosti formy a platí [T i, T j ] = f j ki T k + jk f i T k Uvažujme nyní zobrazení l : R 2 D a k němu příslušné tečné zobrazení l : T R 2 T D. Bud x R 2, pak l x : T x R 2 T lx D. Zavedeme podobné značení jako v úvodní kapitole. Pod symbolem ± l budeme rozumět l x x ±. Definujme rovnice pro zobrazení l jako ± l l 1, x = 0 x E ± 3 V okolí jednotky existuje jednoznačný rozklad lx = gx hx, kde g : R 2 G a h : R 2 G G resp. G jsou podgrupy příslušející podalgebrám g resp. g. Dosazením tohoto rozkladu dostáváme Platí ± l l 1 = ± g hg h 1 4 g h 1 = R g h 1 = R h 1 g 1 = R h 1R g 1 = h 1 g 1 ± g h = g h ± = g, h ± = ± g, ± h = ± g h + g ± h

15 4 POLNÍ ROVNICE V OBECNÉM PŘÍPADĚ 15 kde představuje tečné zobrazení ke grupovému skládání : D D D a platí g, h : T g D T hd T g hd : g, hv g, V h = V g h + gv h kde V g T g D a V h T hd. Dosazením do 3,4 dostáváme ± gg 1 + g ± h h 1 g 1, x = 0 Z Ad-invariance formy pro prvek g 1 dostáváme g 1 ± g + ± h h 1, g 1 xg = 0 5 Předpokládejme dále, že báze podprostoru E + resp. E lze zvolit ve tvaru T i + E ij T j i ˆn resp. T i + B ij T j i ˆn pro nějakou matici E resp. B. Pak z ortogonality podprostorů E + a E viz vztah 2 plyne tvar matice B 0 = T i + E ik Tk, T j + B jk Tk = B jk T i, T k + E ik T k, T j = B ji + E ij tedy B = E T. Bázi prostorů g 1 E ± g := {g 1 xg x E ± } vystupujících v upravených pohybových rovnicích 5 lze zapsat v analogickém tvaru jako bázi původních E ± g 1 E ± g = T i + E ijg T j Nalezněme tedy tvar matice Eg. Pro bazické vektory platí Ad g 1T i + E ij T k = Ad g 1T i + E ij Ad g 1 T j 6 Ad g 1T i = ai k T k Ad T g 1 j = b jk T k + d j T k k kde jsme maticemi a, b, d obecně jsou samozřejmě závislé od g označili submatice v přidružené reprezentaci a T b T Ad g 1 = 0 d T Dosazením Ad g 1T i a Ad g 1 T j do 6 a osamostatněním T i dostáváme Eg = a + Eb 1 Ed Pokud v 5 volíme za x jednotlivé bazické vektory E + resp. E dostaneme po úpravě + h h 1 i = E ij gg 1 + g j =: A i +g

16 4 POLNÍ ROVNICE V OBECNÉM PŘÍPADĚ 16 h h 1 i = E ji gg 1 g j =: A i g kde + h h 1 i a g 1 g i označují i-té složky příslušných vektorů, a kde jsme označili nové funkce A i +, A i. Úpravami dospějeme k rovnicím + A i g A i +g f i jk Aj gak +g = 0 7 Rovnice 7 jsou pohybovými rovnicemi systému s Langrangiánem viz. [7] L = E ij gg 1 g i g 1 + g j Použijeme-li místo rozkladu l = g h rozklad l = g h, kde g : R 2 G h : R 2 G tak obdobnými postupy dostaneme Báze E + resp. E volíme tentokrát g 1 ± g + ± hh 1, g 1 x g = 0 T i + Ẽij T j n i=1 resp. T i Ẽji T j n i=1 Přidružená reprezentace Ad g 1 = dt 0 bt ã T Pak Ẽ g = ã + Ẽ b 1 Ẽ d A Lagrangián L = Ẽij g 1 g i g 1 + g j Pro pevně zvolené podprostory E + a E získáme jedním resp. druhým rozkladem prvků grupy vzájemně duální sigma modely. Z rovnosti span{t i + E ij T j i ˆn} = span{ T i + Ẽij T j i ˆn} plyne rovnost E = Ẽ 1

17 5 POLNÍ ROVNICE V KONKRÉTNÍM PŘÍPADĚ 17 5 Polní rovnice v konkrétním případě 5.1 Klasifikace 4D Drinfeldových doublů Na začátku této kapitoly pouze uvedeme výsledky klasifikace z [6], které budeme následně potřebovat pro odvození k nim příslušných Lagrangiánů. Izomorfismus Drinfeldových doublů. Bud te D, D Drinfeldův double, D, D jejich algebry,, D,, D jejich bilineární formy. Říkáme, že doubly D a D jsou izomorfní, jestliže existuje izomorfismus I algeber D a D takový, že x, y D x, y D = Ix, Iy D Izomorfismus Maninových trojic. Mějme Maninovy trojice D, g, g a D, g, g. Říkáme, že jsou izomorfní, jestliže jsou izomorfní příslušné Drinfeldovy doubly a navíc daný izomorfismus I splňuje Ig = g I g = g Existují pouze čtyři neizomorfní Maninovy trojice v dimenzi čtyři. A Neizomorfní Maninovy trojice Abelovská [T i, T j ] = 0 [ T i, T j ] = 0 [T i, T j ] = 0 SA Semiabelovská [ T 1, T 2 ] = T 2 [T 2, T 1 ] = T 2 [T 2, T 2 ] = T 1 NA Neabelovská typ A δ 0 R [T 1, T 2 ] = T 2 [ T 1, T 2 ] = δ T 2 [T 1, T 2 ] = T 2 NB [T 2, T 1 ] = δt 2 [T 2, T 2 ] = δt 1 + T 1 Neabelovská typ B [T 1, T 2 ] = T 2 [ T 1, T 2 ] = T 1 [T 1, T 1 ] = T 2 [T 1, T 2 ] = T 1 T 2 [T 2, T 2 ] = T 1 kde kromě případu A nebyly nulové Lieovy závorky vypisovány. Nyní zkonstruujeme Lagrangiány pro jednotlivé neizomorfní Maninovy trojice. Podrobný postup bude uveden jen v prvním případě pro semiabelovskou trojici, ostatní se získají zcela analogickým způsobem. Bud te 1 x y x y E = Ẽ = u v u v

18 5 POLNÍ ROVNICE V KONKRÉTNÍM PŘÍPADĚ Semiabelovská trojice Komutační relace jsou [ T 1, T 2 ] = T 2 [T 2, T 1 ] = T 2 [T 2, T 2 ] = T 1 Odvozená reprezentace k přidružené příslušné matice lineárního zobrazení ad T1 [T 1, ] ad T1 [ T 1, ] ad T 2 [T 2, ] ad [ T T2 2, ] Z nich získáme přidruženou reprezentaci použitím komutativního diagramu 1 Ad expα1 T 1 expα 1 ad T1 Ad expα2 T 2 expα 2 ad T2 Ad expβ1 T 1 expβ 1ad T α α e β e β 1 1 β Ad expβ2 T 2 expβ ad T β 2 1 kde α 1, α 2, β 1, β 2 R. Přidruženou reprezentaci prvku grupy g G resp. g G v přímých resp. zpětných souřadnicích získáme vynásobením příslušných dvou matic v jednom resp. opačném pořadí. Necht prvkům odpovídají tyto přímé a zpětné souřadnice g G g α 1, α 2 α 1, α 2

19 5 POLNÍ ROVNICE V KONKRÉTNÍM PŘÍPADĚ 19 g G g β 1, β 2 β 1, β 2 Pak přidružené reprezentace v jednotlivých souřadnicích vypadají takto Ad g α1,α 2 = Ad expα1 T 1 Ad expα2 T 2 Ad g α 1,α 2 = Ad expα 2 T 2 Ad expα 1 T 1 Ad g β1,β 2 = Ad expβ1 T1 Ad expβ 2 T2 Ad g β 1,β 2 = Ad expβ 2 T2 Ad expβ 1 T α α α α β e β β 2 e β 1 e β 1 1 β 2 e β e β β 2 e β 1 Je zjevné, že reprezentace grupy g g je věrná. Odted budeme pracovat pouze s přímými souřadnicemi. Reprezentaci inverzního prvku g 1 resp. g 1 získáme snadno inverzí matice reprezentace prvku g resp. g. Ad g 1 = Ad g 1 = Ad g 1 = Ad g 1 = α α β 2 e β e β β 2 e β 1 Matice ag, bg, dg resp. ãg, bg, dg mají tedy tvar α 2 ag = bg = dg = 0 1 α 2 0 ã g = 1 β 2 0 e β 1 b g = d g = β 2 e β 1 e β 1

20 5 POLNÍ ROVNICE V KONKRÉTNÍM PŘÍPADĚ 20 Takže Eg = Ẽ g = 1 vx u + α 2 y α 2 v α 2 u α 2 y x β2 2e2β 1 v + x β 2 e β 1 u + y e β 1 β 2 e β 1 v + y e β 1 u β 2 e β 1 v e 2β 1 v Nyní již zbývá vypočítat pouze členy g 1 ± g i resp. g 1 ± g i neboli L g 1 g ± resp. L g 1 g ±. Vezměme tedy zobrazení g : R 2 G resp. g : R 2 G získané z rozkladu l : R 2 D. Bud te ϕ : G R 2 : g α 1, α 2 resp. ϕ : G R 2 : g β 1, β 2 souřadnicové funkce přímých souřadnic na grupě G resp. G. Nebudeme dále rozlišovat mezi čistou funkcí g resp. g a funkcí složenou se souřadnicemi, tedy a tedy Potom ϕ g : R 2 R 2 : x +, x α 1 x +, x, α 2 x +, x ϕ g : R 2 R 2 : x +, x β 1 x +, x, β 2 x +, x g = + α 1 α 1 + α 2 α 2 ± g = ± α 1 ± α 2 g = ± g = + β 1 β 1 + β 2 β 2 ± β 1 ± β 2 kde + resp. uvnitř vektorů a matice lineárního zobrazení již znamená obyčejnou parciální derivaci. Pro získání tečného zobrazení k levé translaci je třeba nejprve znát zákon skládání prvků na grupě. Bud te tedy g α g 1, αg 2, h αh 1, αh 2 G a g β g 1, β g 2, h β h 1, β h 2 G. Grupa G je Abelovská a tedy součin prvků je komutativní, takže platí g h = expα g 1 T 1 expα g 2 T 2 expα h 1 T 1 expα h 2 T 2 = = expα g 1 T 1 expα h 1 T 1 expα g 2 T 2 expα h 1 T 1 expα h 2 T 2 = = expα g 1 + α h 1 T 1 expα g 2 + α h 2 T 2 poslední rovnost platí, protože expλt i je jednoparametrická podgrupa. Takže a platí tedy α g 1, αg 2 αh 1, αh 2 = αg 1 + α h 1, αg 2 + α h 2 e = 0, 0 g 1 = α g 1, αg 2 Násobení prvků v grupě G získáme z přidružené reprezentace jejích prvků která je v tomto případě věrná. Platí totiž Ad g Ad h = Ad g h

21 5 POLNÍ ROVNICE V KONKRÉTNÍM PŘÍPADĚ 21 Ad g h = a porovnáním s Ad g dostáváme tím pádem 1 β h 2 + β g 2 e β h e β g β g eβ g 1 2 β h eβ g +β h e β g +β h 1 1 β g 1, β g 2 β h 1, β h 2 = β g 1 + β h 1, β h 2 + β g 2 e β h 1 e = 0, 0 Tečná zobrazení k translacím pak jsou 1 0 L g h = 0 1 g 1 = β g 1, β g 2 eβ g 1 L g h = 1 0 β g 2 e β h 1 1 a tedy Takže L g 1 g = g 1 ± g = Pak Lagrangiány vyjdou ± α 1 ± α L g 1 g = β g 2 1 g 1 ± g = ± β 1 β 2 ± β 1 + ± β 2 L = 1 vx u + α 2 y α 2 v α 1 + α 1 +α 2 y α 1 + α 2 α 2 +u α 2 + α 1 +x α 2 + α 2 L = x β 1 + β 1 + e β 1 y β 1 + β 2 + e β 1 u β 2 + β 1 + e 2β 1 v β 2 + β Abelovská trojice Přidružená reprezentace Ad g α1,α 2 = Ad g β1,β Matice Eg = 1 xv uy v u y x Ẽ g = x u y v Skládání prvků g h = α g 1 + α h 1, αg 2 + α h 2 g h = β g 1 + β h 1, β g 2 + β h 2

22 5 POLNÍ ROVNICE V KONKRÉTNÍM PŘÍPADĚ 22 Tečná zobrazení Výsledné Lagrangiány L g 1 g = L g 1 g = L = 1 xv uy v α 1 + α 1 y α 1 + α 2 u α 2 + α 1 + x α 2 + α 2 L = x β 1 + β 1 + y β 1 + β 2 + u β 2 + β 1 + v β 2 + β Neabelovská trojice typu A Přidružená reprezentace Ad g α1,α 2 = α 2 δ α 2 e α 1 e α 1 α 2 δe α 1 α2 2δeα α e α 1 Ad g β1,β 2 = 1 β 2 δ e β 1δ β β 2 e β 1δ β2 2δeβ 1δ e β 1δ e β 1δ Matice Eg = 1 vx + α 2 δe α 1 + uα2 δe α 1 y v + α 2 e α 1 u + α 2 e α 1 x + y e α 1 α 2 e α 1 δ x y e α 1 u + α 2 e α 1 δ + x e 2α 1 x Ẽ g = 1 1 β 2 e β1δ u y + β 2 e β1δ vx + uy x + β 2 δe β1δ u + β 2 δe β1δ v y e β1δ y β 2 e β1δ δv vx + uy e β1δ u β 2 e 2β1δ vδ + x uy e 2β1δ v Skládání prvků Tečná zobrazení g h = α g 1 + α h 1, αh 2 + α g 2 e αh 1 g h = β g 1 + β h 1, β h 2 + β g 2 e β h 1 δ 1 0 L g 1 g = α g L g 1 g = δβ g 2 1

23 5 POLNÍ ROVNICE V KONKRÉTNÍM PŘÍPADĚ 23 Lagrangiány L = 1 vx + α 2 δe α 1 + uα2 δe α 1 y v α 1 + α 1 + e α 1 e α 1 α 2 δ y α 1 + α 2 e α 1 u + α 2 δe α 1 α 2 + α 1 + e 2α 1 x α 2 + α 2 L = 1 1 β 2 e β 1δ u y + β 2 e β 1δ vx + uy 5.5 Neabelovská trojice typu B Přidružená reprezentace x β 1 + β 1 + e β 1δ y + β 2 e β 1δ vx uy β 1 + β 2 e β 1δ u + β 2 e β 1δ uy vx β 2 + β 1 + e 2β 1δ v β 2 + β 2 Ad g α1,α 2 = e α 1 α 2 e α 1 e α 1 e α 1 1 α 2 e α α e α 1 Ad g β1,β 2 = e β β 1 e β β 1 e β 2 1 e β 2 1 e β 2 β 1 e β Matice Eg = e 2α 1 + vx + e α u y + y u1 + y v + α 2 e α 1 u + α 2 e α 1 x + y e α e α α 2 x + y e α u + e α α 2 x e 2α 1 x Ẽ g = 1 vx uy + e β 2 u 2vx y + 2uy + e 2β 21 + vx + y u1 + y x vx + uy + e β 2 β 1 + vx + y uy vx uy + e β 2 u + β 1 x vx + uy e 2β 2 v + β 1 u + β 1 x + y Skládání prvků g h = α g 1 + α h 1, αh 2 + α g 2 e αh 1 g h = β g 1 + β h 1 e β g 2, β g 2 + β h 2

24 5 POLNÍ ROVNICE V KONKRÉTNÍM PŘÍPADĚ 24 Tečná zobrazení 1 0 L g 1 g = α g 2 1 L g 1 g = e β g Lagrangiány L = e 2α 1 + vx + e α u y + y u1 + y v α 1 + α 1 + e α 1 e α 1 y 1 α 1 + α 2 + e α 1 1 u e α 1 α 2 + α 1 + e 2α 1 x α 2 + α 2 L = 1 vx uy + e β 2 u 2vx y + 2uy + e 2β 21 + vx + y u1 + y e 2β 2 x β 1 + β 1 + e β 2 vx + uy + e β 2 β 1 + vx + y uy β 1 + β 2 + e β 2 vx uy + e β 2 u + β 1 x vx + uy β 2 + β 1 + e 2β 2 v + β 1 u + β 1 x + y β 2 + β 2

25 6 GEOMETRIE 25 6 Geometrie Na tomto místě vyložíme potřebný aparát diferenciální geometrie pro studium geometrických vlastností σ-modelů. Bude se hlavně jednat o zavedení pojmu metriky na varietách a dále pojmu afinní konexe vedoucí k Riemannovu tenzoru křivosti. 6.1 Metrický tenzor a metrika Metrický tenzor. Bud V vektorový prostor nad R, g T2 0 druhého řádu s následujícími vlastnostmi : V V R kovariantní tenzor 1. y V x V gx, y = 0 y = 0 nedegenerovanost 2. x, y V gx, y = gy, x symetričnost Pak g nazýváme metrický tenzor. Někdy je navíc vyžadována pozitivní definitnost; tenzor, který tuto vlastnost nesplňuje, se pak nazývá pseudometrický tenzor. Bud e i báze V, e i příslušná duální báze a g ij složky metrického tenzoru tedy g = g ij e i e j. Pak vlastnosti uvedené výše nabývají tvaru 1. detg ij 0 2. i, j ˆ dim V g ij = g ji Definujme g ij jako složky inverzní matice k g ij, pak g ij jsou složky kontravariantního tenzoru g 1 T 2 0 tzn. g 1 = g ij e i e j. Tenzory g a g 1 umožňují zavést na prostorech V a V skalární součin předpisy Definujme zobrazení x, y V x, y := gx, y x, y V x, y := g 1 x, y : V V : x := gx, : V V : x := g 1 x, prostory V a V bereme za ztotožněné, ve složkách a i e i = a i g ij e j α i e i = α i g ij e j Pokud definujeme a j := a i g ij a α j := α i g ij, tak můžeme psát a i e i = a i e i α i e i = α i e i Tato dvě zobrazení umožňují tzv. zdvihání resp. spouštění indexů. Mějme obecný tenzor A Tq p, jeho složky A i...j α...β. Pro tenzory A : x 1,..., x,..., x q ; x 1,..., x p Ax 1,..., x,... A : x 1,..., x q ; x 1,..., x,..., x p A... ; x 1,..., x,...

26 6 GEOMETRIE 26 pak platí A T p+1 q 1 a A T p 1 q+1. Ve složkách A i...j α... γ...β = g γδ A i...j α...δ...β A i... k...jα...β = g kl A i...l...j α...β Při prácí se složkami vynecháváme indexy resp., nebot příslušné zdvihnutí či spuštění indentifikujeme přímo podle polohy indexů. Metrika. Necht M je diferencovatelná varieta, g T2 0 kovariantní tenzorové pole druhého řádu a necht platí, že pro všechna x M je gx metrický tenzor. Dvojici M, g nazýváme varietou s metrikou nebo riemannovskou varietou případně, pro indefinitní metrické tenzory, pseudoriemannovskou varietou. Indukovaná metrika. Bud te M a N diferencovatelné variety, na N dána metrika h, bud f : M N vložení M do N. Pak tenzorové pole g definované jako g := f h tedy pullback metrického tenzoru h na M nazýváme indukovaný metrický tenzor. 6.2 Kovariantní derivace a lineární konexe Lineární konexe. Bud M diferencovatelná varieta. Jestliže každému W X M hladkému vektorovému poli dokážeme přiřadit lineární tenzorový operátor W s následujícími vlastnostmi 1. p, q N A T p q W A T p q - zachování stupně tenzoru 2. A, B T p q α R W A + αb = W A + α W B - linearita 3. A T p q B T p q W A B = W A B + A W B - Leibnizovo pravidlo 4. f FM W f = W f 5. V +fw = V + f W - F - linearita vůči poli W 6. W C = C W - komutování s kontrakcemi VII pak operátor W nazýváme kovariantní derivací a říkáme, že na M je zavedena lineární konexe, značíme M,. Kovariantní derivace je plně určena tzv. koeficienty konexe Christoffelovými symboly druhého druhu, které jsou definované takto i j =: Γ k ji k kde i jsou bazická pole definovaná na dané mapě. Pro bazické kovektory již plyne z vlastností kovariantní derivace vztah i dx j = Γ j ki dxk VII Kontrakce C : Tq p T p 1 q 1 pro libovolné p, q N je definována jako CA... ;... := A..., ei,... ;..., ei,..., kde A Tq p, e i a e i jsou navzájem duální báze. KoVektory e i resp. e i jsou umístěny na libovolném ale pro danou kontrakci pevně daném argumentu. Definice nezávisí na výběru báze.

27 6 GEOMETRIE 27 Pak kovariantní derivace na obecné tenzorové pole A T p q vypadá ve složkách takto W A i...j k...l = W m A i...j k...l,m Γn km W m A i...j n...l + Γj nmw m A i...n k...l Zavedeme ještě tzv. kovariantní gradient : T p q ve složkách T p q+1 takto A T p q A..., W ;... := W A... ;... A i...j k...l;m := Ai...j k...lm = m A i...j k...l kde jsme symbolem středníku odlišili kovariantní derivaci složek tenzoru od obyčejné parciální derivace. Afinní konexe je struktura, která nám umožní zavést pojem rovnoběžnosti na libovolné varietě. Abychom ovšem mohli nějak porovnávat dva vektory, které nejsou ve stejném bodě a které patří do zcela různých vektorových prostorů, je třeba nejprve jeden vektor tzv. paralelním přenosem přenést do bodu, kde se nachází náš druhý vektor. Definujeme nejprve tzv. absolutní derivaci ve směru křivky a následně pomocí ní zavedeme paralelní přenos. Absolutní derivace. Bud M, varieta s afinní konexí, γ křivka na varietě, V vektorové pole definované na stopě křivky γ, označme V t V γt. Pak absolutní derivace pole V ve směru křivky γ definujeme takto V souřadnicích platí DV t Dt := γ V γ V = V i + Γ i jk γk V j Autoparalelní pole. Definujeme nyní tzv.autoparalelní pole. To je takové pole V, které má nulovou absolutní derivaci podél dané křivky γ. Autoparalelní pole musí vyhovovat rovnicím V i + Γ i jk γk V j = 0 Paralelní přenos. Nyní již můžeme zavést paralelní přenos. Mějme dva body na varietě x, y M, spojené křivkou γ, t x, t y R takové, že γt x = x, γt y = y. Bud vektor V 0 T x M. Pak sestrojíme na křivce γ autoparalelní pole V t V γt takové, že V t x = V 0. Vektor autoparalelního pole v bodě y, tedy V t y, bude náš paralelně přenesený vektor přenesený z bodu x do bodu y. Ve složkách tedy paralelně přenášený vektor musí splňovat rovnici s počátečními podmínkami V t x = V 0. dv i dt + dγ k Γi jk dt V j = 0

28 6 GEOMETRIE 28 Na paralelní přenos vektoru se můžeme koukat jako na konstrukci, která nám umožní při dané křivce spojující dva body variety sestrojit vektor rovnoběžný s vektorem zadaným v počátečním bodě křivky. Paralelní přenos zjevně obecně závisí od křivky, po které je přenášen. Navíc rovnice paralelního přenosu poskytuje asi nejnázornější pohled na význam Christoffelových symbolů. Jednoduše v každém bodě variety říkají, kterým směrem se bude daný vektor při přenášení daným směrem odchylovat až na opačné znaménko. Obecně samozřejmě můžeme zcela stejným způsobem zavést absolutní derivaci, autoparalelní pole a paralelní přenos tenzoru libovolného řádu. Geodetika. Mějme varietu M, s lineární konexí a křivku γ na varietě. Pak křivku γ nazveme geodetikou, jestliže v každém bodě křivky platí γ γ = 0 neboli ve složkách γ i + Γ i jk γj γ k = 0 Naopak řešením této diferenciální rovnice je křivka, která je geodetikou. Jestliže paralelní přenos vektoru chápeme jako zachovávání rovnoběžného směru po dané křivce, pak geodetika je jednoduše křivka, která jde stále rovně, tzn. jedná se o zobecnění pojmu přímka na libovolnou varietu s lineární konexí. Exponenciální zobrazení. Bud P bod variety s lineární konexí M,. Zobrazení exp : T P M M expv := γ V 1 kde γ V je geodetika taková, že γ0 = P a γ0 = V. Pak zobrazení exp nazýváme exponenciální zobrazení se středem v bodě P při dané konexi. Existuje okolí U bodu 0 T P M takové, že zobrazení exp U : U expu je difeomorfismus. Riemannovy normální souřadnice. Mějme M,, P M, okolí U bodu 0 T P M takové, že zobrazení exp U je difeomorfismus, a bázi prostoru T P M e i i ˆn. Pak každému bodu Q expu přiřadíme souřadnice v 1,..., v n tak, že n exp v i e i = Q i=1 Takto zavedené souřadnice nazýváme Riemannovy normální souřadnice. Označme V = v i e i. V těchto souřadnicích geodetika γ V má složkové vyjádření γv i t = vi t a v bodě P jsou Christoffelovy symboly nulové - Γ i jk P = 0.

29 6 GEOMETRIE Metrická konexe Afinní konexe je v této nejobecnější podobě zcela nezávislá na metrice pokud na varietě vůbec je metrika daná. Mějme tedy varietu s oběma strukturami; říkáme, že konexe je kompatibilní s metrikou, jestliže libovolný paralelní přenos vektoru zachovává jeho délku. Neboli gv t, V t = konst. jestliže γ V = 0 ekvivalentně W gv, V = 0 jestliže W V = 0 pro libovolné vektorové pole W. Zachování délky paralelně přenášeného vektoru nutně implikuje i zachování vzájemného úhlu mezi dvěma paralelně přenášenými vektory, tedy W gu, V jestliže W U = W V = 0 Navíc platí využijeme vztah gu, V = CCg U V a komutování kovariantní derivace s kontrakcí 0 = W gu, V = W gu, V + g W U, V + gu, W V = W gu, V tedy g = 0 resp. v souřadnicích g ij;k = Torze Torze. Bud M, varieta s afinní konexí. Zobrazení T : XM XM XM T U, V := U V V U [U, V ] nazýváme torzí konexe. Toto zobrazení se dá intepretovat jako tenzorové pole T2 1, ve složkách Tjk i = T j, k i. Torze je zjevně antisymetrická ve svých argumentech tzn. Tjk i = T kj i. V souřadnicích platí Tjk i = Γi kj Γi jk tedy jedná se vlastně o antisymetričnost Christoffelových symbolů. Pokud má daná konexe nulovou torzi, pak Christoffelovy symboly jsou symetrické v dolních indexech Γ i jk = Γi kj a takovou konexi nazýváme symetrickou konexí RLC konexe RLC konexe. Konexe, která je zároveň metrická a symetrická, se nazývá Riemannova- Levi-Civitova konexe. Definujeme-li Christoffelovy symboly prvního druhu jako Γ ijk := g il Γ l jk

30 6 GEOMETRIE 30 pak tyto symboly pro RLC konexi splňují následující vztahy Γ ijk + Γ jik = g ij,k Γ ijk Γ ikj = 0 Použitím těchto vztahů dostaneme jednoznačné vyjádření pro RLC konexi z dané metriky. g ij,k + g ik,j g jk,i = 2Γ ijk a tedy Γ i jk = 1 2 gil g lj,k + g lk,j g jk,l 6.3 Riemannův tenzor křivosti a křivost Operátor křivosti. Mějme M, varietu s afinní konexí ne nutně RLC. Bud te U, V X M libovolná hladká vektorová pole, pak definujeme operátor křivosti jako Zjevně platí RU, V = RV, U. RU, V := U V V U [U,V ] Riemannův tenzor křivosti. Pomocí operátoru křivosti můžeme závést tenzorové pole RW, U, V, α := αru, V W Tento tenzor resp. tenzorové pole nazýváme Riemannův tenzor křivosti. Ve složkách R i jkl = dx i R k, l j Z antisymetričnosti operátoru křivosti dostáváme R i jkl = R i jlk. Vyjádření pomocí Christoffelových symbolů R i jkl = Γi jl,k Γi jk,l + Γm jl Γi mk Γm jk Γi ml Ricciho tenzor. Kontrakci Riemannova tenzoru křivosti nazýváme Ricciho tenzor. R ij := R k ikj Skalární křivost. Jestliže máme varietu M,, g, tedy s konexí i metrikou, pak lze definovat tzv.skálární křivost takto R := g ij R ji

31 6 GEOMETRIE 31 Uvažujme nyní, že máme varietu M,, g s RLC konexí, dále Riemannovy normální souřadnice v nějakém bodě P M. Pak složky Riemannova tenzoru v bodě P vypadají R i jkl P = Γi jl,k Γi jk,l P a platí 2Γ i jk,l = gim g mj,kl + g mk,jl g jk,ml P nebot díky metričnosti konexe a díky použití Riemannových normálních souřadnic je g im,l P = 0. Dosazením R i jkl P = 1 2 gim g ml,kj g mk,lj + g jk,lm g jl,km P a snížením indexu dostáváme R ijkl P = 1 2 g il,kj g ik,lj + g jk,li g jl,ki P Z tohoto vyjádření plyne antisymetričnost v bodě P v těchto dvojicích indexů R ijkl = R jikl R ijkl = R ijlk Bod P ovšem byl libovolný a antisymetričnost nezávisí na výběru souřadnic, takže vztah uvedený výše platí obecně. Pro variety o dimenzi dva má tenzor R ijkl díky těmto antisymetriím pouze jednu nezávislou složku. 6.4 Příklad na S 2 Mějme varietu R 3, g R 3 diferencovatelná struktura a báze tečných prostorů zavedeny stejně jako v kapitole 2 s eukleidovskou metrikou, tj. Mějme vložení S 2 do R 3 g R 3 = x = R sin θ cos φ y = R sin θ sin φ z = R cos θ Pak indukovaný metrický tenzor na S 2 VIII První souřadnicí je θ, druhou φ. g S 2 = θ 0, π φ 0, 2π R R 2 sin 2 θ VIII

32 6 GEOMETRIE 32 Christofellovy symboly RLC konexe Γ θ φφ = sin θ cos θ Γφ θφ = Γφ φθ = cos θ sin θ ostatní jsou nulové Máme-li obecnou křivku na S 2 γt θt, φt, pak rovnice paralelního přenosu vektoru V vypadají takto a rovnice geodetiky V θ φ sin θ cos θv φ = 0 V φ + cos θ sin θ θv φ + φv θ = 0 θ sin θ cos θ φ 2 = 0 φ + 2 sin θ cos θ φ θ = 0

33 7 GEOMETRICKÉ VLASTNOSTI SIGMA MODELŮ 33 7 Geometrické vlastnosti sigma modelů V kapitole 5 jsme odvodili tvary Lagrangiánů pro jednotlivé neizomorfní Maninovy trojice. Jejich obecný tvar je L = F ij g x i g + x j g kde F ij je kovariantní tenzor druhého řádu F T2 0. Definujeme-li nyní metrický tenzor na dvourozměrné grupě, na které jsou Lagrangiány definovány, jako symetrickou část tenzoru F, tzn. g ij := 1 2 F ij + F ji pak můžeme použít aparát vyložený v kapitole 6. Konkrétně budeme chtít určit, pro jaké tvary matic Ee resp. Ẽe vyjde skalární křivost konstantně rovná nule. Takový sigma model pak nazýváme plochý. 7.1 Abelovská trojice Tento případ je triviální. Pro libovolnou matici Ee resp. Ẽe je skalární křivost nulová, nebot metrický tenzor IX 1 v y+u y+u g ij = 2 x xv uy y+u g ij = 2 y+u 2 x 2 v je všude konstantní a tím pádem jsou Christoffelovy symboly v těchto souřadnicích nulové. 7.2 Semiabelovská trojice Metrické tenzory g ij = g ij = 1 vx u + α 2 y α 2 x e β 1 y+u 2 e β 1 y+u 2 e 2β 1 v Výsledná skalární křivost pro neduální model v y+u 2 x y+u 2 R = 4v2α2 2 + u2 2vx + 2α 2 u y + y 2 u + y 2 4vxvx + α 2 + uα 2 y Je tedy všude nulová pro v = 0. Výraz 2α u2 2vx + 2α 2 u y + y 2 jakožto nenulový polynom nemůže být všude nulový pro libovolnou matici E. Skalární křivost pro duální model je nulová opět pouze pro v = 0. R = 8v u + y 2 4vx IX pro odlišení od značení pro prvek grupy je pro metrický tenzor zvoleno označení g ij resp. g ij pro metrický tenzor duálního sigma modelu; stejně tak ostatní geometrické veličiny na duálním modelu budeme odlišovat tildou

34 7 GEOMETRICKÉ VLASTNOSTI SIGMA MODELŮ Neabelovská trojice typu A Metrické tenzory g ij = g ij = 1 vx + α 2 δe α 1 + uα2 δe α 1 y 1 1 β 2 e β 1δ u y + β 2 e β 1δ uy vx v u+y u+y 2 eα 1 2 eα 1 e 2α 1 x x e β 1δ u+y 2 e 2β1δ v e β 1δ u+y 2 Pak skalární křivost neduálního modelu vyjde R = 4 α 2 2 δ2 e 2α 1 + vx + α2 δe α 1 u y uyu 2 4vx + 2uy + y 2 [ 2xvx uy 2 + δuy vxu 2 y 2 + δ 2 vu 2 2vx + y 2 + 2α 2 δe α 1 δ 2 vu y + xu yvx uy + 2δu + yuy vx α 2 2δ 2 e 2α 1 2δ 2 v + δy 2 u 2 + xu 2 2vx + y 2 ] která je všude nulová právě tehdy pokud platí U duálního modelu 2xvx uy 2 + δuy vxu 2 y 2 + δ 2 vu 2 2vx + y 2 = 0 δ 2 vu y + xu yvx uy + 2δu + yuy vx = 0 2δ 2 v + δy 2 u 2 + xu 2 2vx + y 2 = 0 4 R = u 2 4vx + 2uy + y β 2 e β1δ u y β2 2e2β1δ vx uy [ β2e 2 2β 1δ 2xvx uy 2 + δuy vxu 2 y 2 + δ 2 vu 2 2vx + y 2 + 2β 2 e β 1δ δ 2 vy u + xu yuy vx 2δu + yuy vx + 2δ 2 v + δy 2 u 2 + xu 2 2vx + y 2 ] A tedy nutnou a postačující podmínkou plochosti sigma modelu je splnění následujících rovností 2xvx uy 2 + δuy vxu 2 y 2 + δ 2 vu 2 2vx + y 2 = 0 δ 2 vy u + xu yuy vx 2δu + yuy vx = 0 2δ 2 v + δy 2 u 2 + xu 2 2vx + y 2 = 0 Ač se rovnice pro neduální a duální model zlehka liší, jejich řešení je překvapivě stejné a je shrnuto v následující tabulce.

35 7 GEOMETRICKÉ VLASTNOSTI SIGMA MODELŮ 35 Řešení u = 0 v = 0 x R\{ δ} y = 0 u = 0 v R x = δ y R u R\{0} v = 0 x = 0 y = u u R\{0} v = 0 x = δ y = 0 u R v = u2 4δ x = δ y = 0 u R v R\{0} x = δ y = 0 u R v R\{0} x = u2 2δv±u u 2 4δv 2v y = ± u 2 4δv Za relevantní bereme pouze ta řešení, pro něž je matice E resp. Ẽ regulární. Po vyloučení řešení, která tuto podmínku nesplňují, dostáváme Zbylá řešení u = 0 v R\{0} x = δ y R u R\{0} v = 0 x = 0 y = u u R v = u2 4δ x = δ y = 0 u R v R\{0} x = δ y = 0 u R v R\{0} x = u2 2δv±u u 2 4δv 2v y = ± u 2 4δv Opět tedy vyšlo, že neduální model je plochý, právě když je plochý i model duální. 7.4 Neabelovská trojice typu B Metrické tenzory u neabelovské trojice typu B jsou následující g ij = g ij = e 2α 1 + vx + e α u y + y u1 + y v e α 1 u+y 2 e α 1 u+y 2 e 2α 1 x 1 vx uy + e β 2 u 2vx y + 2uy + e 2β 21 + vx + y u1 + y e 2β 2 x e 2β 2 β1 x + y+u 2 e 2β 2 β1 x + y+u 2 e 2β 2 v + β 1 u + β 1 x + y A tím pádem křivosti jsou 4x R = u 2 4vx + 2uy + y e 2α 1 + vx + e α 1u y 2 + y u1 + y [ 21 + vx + y u1 + y 2 + R = 2e α 1 2 u + yu y + uy vx 1 + e 2α 1 2 2u + u 2 2vx + 2y + y 2 ] 4x u 2 4vx + 2uy + y 2 uy vx + e 2β 2 u y + uy vx 1 + e β 22vx + y u1 + 2y [ 2e 2β vx + y u1 + y 2 2e β vx + y u1 + y2vx + y u1 + 2y + 2vxvx 1 + 2vxy + y 2 + u y1 + y 2uy 2 + vx1 + 2y ]

36 7 GEOMETRICKÉ VLASTNOSTI SIGMA MODELŮ 36 Neduální a duální sigma modely jsou ploché pro x = 0 anebo při splnění rovností první tři pro neduální a další tři pro duální 1 + vx + y u1 + y = 0 2 u + yu y + uy vx 1 = 0 2 2u + u 2 2vx + 2y + y 2 = vx + y u1 + y = vx + y u1 + y2vx + y u1 + 2y = 0 2vxvx 1 + 2vxy + y 2 + u y1 + y 2uy 2 + vx1 + 2y = 0 Řešení těchto rovnic přes zjevné odlišnosti je opět identické pro neduální a duální model. 7.5 Shrnutí Řešení u = 1 v = 0 x R y = 1 u = 1 v R\{0} x = 0 y = 1 u R v R\{0} x = 1 u2 v y = u 2 Na tomto místě pouze přehledně v rámci možností zopakujeme, kdy jsou jednotlivé sigma modely ploché. U všech modelů vyšlo, že je-li plochý neduální, pak je plochý i duální a naopak. Stále platí 1 x y x y E = Ẽ = u v u v Pro abelovskou trojice jsou modely ploché pro libovolný tvar matice E. Modely vzniklé z semiabelovské trojice mají nulovou křivost pro matice E a Ẽ, v nichž v = 0. U neabelovských trojic typu A situaci ohledně tvarů matic E a Ẽ vedoucí k plochosti shrnuje následující tabulka Podmínky plochosti u = 0 v R\{0} x = δ y R u R\{0} v = 0 x = 0 y = u u R v = u2 4δ x = δ y = 0 u R v R\{0} x = δ y = 0 u R v R\{0} x = u2 2δv±u u 2 4δv 2v y = ± u 2 4δv A případy pro neabelovskou trojici typu B opět naleznete v tabulce. Podmínky plochosti u = 1 v = 0 x R y = 1 u R v R x = 0 y R u R v R\{0} x = 1 u2 v y = u 2

37 8 ZÁVĚR 37 8 Závěr Během práce na tomto díle jsem se naučil prakticky používat aparát diferenciální geometrie a získal základní poznatky z teorie Lieových grup a Riemannovské geometrie, což už samo o sobě je neocenitelným přínosem tedy hlavně pro mě. Jejich aplikování pak vyústilo v úspěšnou konstrukci sigma modelů pro jednotlivé Maninovy trojice a spočtení jednotlivých křivostí. Ukázalo se, že pro sigma modely vzniklé z čtyřrrozměrného Drinfeldova doublu platí, že pokud je daný model plochý, pak je k němu plochý i jeho duální protějšek.

38 A SEZNAM ZNAČENÍ 38 A Seznam značení := definujeme jako W V W je lineární podprostor V V duální prostor k vektorovému prostoru V ˆn množina {1, 2,..., n} spanm lineární obal množiny vektorů M Tq p prostor tenzorů typu p, q T M tečný prostor variety M T x M tečný prostor variety M v bodě x X M množina všech hladkých vektorových polí na varietě M Tq p M množina všech hladkých tenzorových polí typu p, q na varietě M f pullback tenzorových polí pushforward tenzorových polí f

39 REFERENCE 39 Reference [1] Nash, Charles; Sen, Siddhartha: Topology and Geometry for Physicists, Academic Press, 1988, London [2] Štěpán, Vojtěch: Geometrické struktury Poissonovy Lieovy T-duality, rešeršní práce ČVUT Praha, 2005 [3] Fecko, Marián: Diferenciálna geometria a Lieove grupy pre fyzikov, IRIS, 2004, Bratislava [4] Frankel, Theodore: The geometry of physics: an introduction, Cambridge University Press, 2006, Cambridge [5] Klimčík, Ctirad: Poisson-Lie T-duality, Nucl.Phys.Proc.Suppl. 46: , 1996 [6] Hlavatý, Ladislav; Šnobl, Libor: Classification of Poisson-Lie T-dual models with twodimensional targets, Mod.Phys.Lett. A [7] Turek, M.: Lieova-Poissonova T-dualita, výzkumný úkol ČVUT Praha, 2004 [8] prof. Ladislav Hlavatý, 1949, Praha