Szakdolgozat. Gömbök feletti komplex vektornyalábok homotópiaés kohomológia-elméletének összehasonlítása

Átírás

1 Szakdolgozat Gömbök feletti komplex vektornyalábok homotópiaés kohomológia-elméletének összehasonlítása Lovas Attila matematikus hallgató Budapesti M szaki és Gazdaságtudományi Egyetem Természettudományi Kar Témavezet : Dr. Etesi Gábor Budapesti M szaki és Gazdaságtudományi Egyetem Matematika Intézet Geometria Tanszék 2011.tavasz A szakdolgozat készítésének helye: BME Matematika Intézet, Geometria Tanszék 1

2 Kivonat A dolgozatban az algebrai topologia egy fontos problémáját: a gömbök feletti komplex vektornyalábok osztályozását tekintjük át. A szükséges matematikai háttér kiépítése után azt hasonlítjuk össze, hogy hogyan viszonyul egymáshoz a komplex vektornyalábok homotopikus, illetve kohomologikus (vagyis karakterisztikus osztályokon alapuló) osztályozása. 2

3 Témavezet : Dr. Etesi Gábor Beosztása: Egyetemi docens, Geometria Tanszék Záróvizsga tárgya: A feladat kiírásának id pontja: szeptember 28. Beadási Határid : május 11. A szakdolgozatot jóváhagyom: témavezet 3

4 Önállósági nyilatkozat Alulírott Lovas Attila matematikus hallgató kijelentem, hogy a dolgozatomat a Budapesti M szaki és Gazdaságtudományi Egyetem Matematika Intézetében készítettem matematikus BSc diploma megszerzése érdekében. Kijelentem, hogy a dolgozatot más szakon korábban nem védtem meg, saját munkám eredménye, és csak a hivatkozott forrásokat használtam fel. Lovas Attila 4

5 Tartalomjegyzék 1. Bevezet 6 2. Dierenciálgeometriai alapfogalmak Sima sokaságok Sokaságok érint tere Tenzormez k sokaságokon Lie-csoportok és Lie-algebrák A de Rham elméletr l dióhéjban A küls deriválás De Rham kohomológia csoportok Dierenciálformák integrálása Komplex vektornyalábok általános elméletének elemei A struktúracsoport Dierenciálgeometria vektornyalábokon Karakterisztikus osztályok reprezentációja, Chern-Weil elmélet Unitér vektornyalábok gömbök felett Gömbök feletti komplex vektornyalábok homotopikus osztályozása Gömbök feletti komplex vektornyalábok kohomologikus osztályozása

6 1. Bevezet A dolgozatban a gömbök feletti komplex vektornyalábok osztályozásával fogunk foglalkozni. Megmutatjuk, hogy S n felett a π n 1 (U(k)) homotópia csoport osztályozza az unitér vektornyalábokat. A karakterisztikus osztályok elméletének és a Chern-Weil elméletnek a rövid, bevezet jelleg ismertetése után rátérünk a gömbök feletti vektornyalábok kohomologikus osztályozására. Belátjuk, hogy az S 2n gömb felett a vektornyalábokat az n-edik Chern osztályok osztályozzák. Végül kitekintésképpen utalást teszünk a Hirzebruch-Bott tételre, amely a vektornyalábok homotopikus és a kohomologikus osztályozása között fennálló diszkrepanciára világít rá. A lényeges különbség a homotopia csoportokon alapuló és a kohomológia terekkel történ osztályozás között az, hogy a homotopikus osztályozás ugyab er sebb a eszköz kohomológia terekkel történ osztályozásnál, viszont a sokaságok kohomológia csoportjait, illetve vektornyalábok karakterisztikus osztályait könnyebb meghatározni, mint a megfelel homotópia csoportokat. Öt fejezeten keresztül kalauzoljuk el az Olvasót a dierenciálgeometria és algebrai topológia eme szép határterületére. A második fejezet egy sokaság elméleti bevezet, melyben azokat az alapvet deníciókat és tételeket ismertetjük, melyek nélkülözhetetlenek a kés bbi fejezetek megértéséhez. A harmadik fejezet az integrálásról és a de Rham elméletr l szól, ennek ismeretében tudunk majd nekivágni a kohomologikus osztályozásnak. A negyedik fejezet els felében deniáljuk a vektornyalábokat, a fejezet második fele pedig egy rövid bevezetés a karakterisztikus osztályok elméletébe és a Chern-Weil elméletbe. A Chern-Weil elméletet az 1940-es években dolgozta ki Shiing-Shen Chern és André Weil. A Chern-Weil elméletben komplex vektornyalábokhoz rendelünk karakterisztikus osztályokat, melyeket Chern osztályoknak hívunk. Ez az elmélet összeköt szerepet játszik az algebrai topólógia és a dierenciálgeometria bizonyos területei között. Az ötödik fejezetben elvégezzük a gömbök feletti vektornyalábok homotopikus és kohomologikus osztályozását. A fejezet végén az algebrai topologia és a dierenciálgeometriai szál összeér azzal, hogy bebizonyítjuk, hogy az S 2n gömbök felett az unitér vektornyalábokat az n-edik Chern osztályok osztályozzák. A vizsgálódásunk tárgyát képz gömbök feletti unitér vektornyaláboknak alacsony dimenziós esetekben zikai interpretációi is vannak. Az S 2 feletti unitér vonalnyalábok a nyugvó mágneses töltéssel (Dirac-féle mágneses monopólus), az S 4 feletti U(2) vektornyalábok pedig a Yang-Mills egyenlet önduális megoldásaival (insztantonok) állnak szoros kapcsolatban. 6

7 2. Dierenciálgeometriai alapfogalmak 2.1. Sima sokaságok Ebben a fejezetben a feladat megoldásához nélkülözhetetlen dierenciálgeometriai apparátus gerincét képz fogalmak kerülnek bevezetésre. Terjedelmi okok miatt nem áll módunkban a tételek bizonyításait is közölni. Az itt leírtak részletes, bizonyításokat nem nélkülöz tárgyalása az [1] és a [2] könyvekben megtalálható Deníció. Egy M megszámlálható bázisú Hausdor teret n N dimenziós C k sokaságnak (k N, k = vagy k = ω) nevezünk, ha teljesülnek a következ k: 1. M bármely pontjának van R n -el homeomorf környezete. Legyen U M nyílt halmaz, ϕ : U R n homeomorzmus, ekkor az (U, ϕ) párt az M egy térképének hívjuk. 2. Ha (U, ϕ) és (V, ψ) két térkép M-en, melyekre U V, akkor a ψ ϕ 1 : R n R n leképezés legyen C k dieomorzmus. Ebben az esetben az (U, ϕ) és a (V, ψ) térképekre azt mondjuk, hogy C k kapcsoltak. M-en térképek egy A = {(U i, ϕ i ) i I} gy jteményét C k atlasznak nevezzük, ha együttesen lefedik M-et és páronként C k kapcsoltak. 3. Legyen adott M-en egy D-vel jelölt C k atlasz, melyre igaz, hogy ha egy (U, ϕ) térkép C k kapcsolt D minden elemével, akkor eleme D-nek. Egy ilyen D atlaszt M-en C k struktúrának hívunk Megjegyzés. A C 0 sokaságokat topologikus sokaságoknak nevezik, a C sokaságokat pedig sima sokaságoknak hívják. Whitney egy eredménye alapján a közbüls esetekkel nem foglalkozunk. Ebben a dolgozatban sokaság alatt mindig sima sokaságot fogunk érteni és sokaszor a sima struktúrát sem tüntetjük fel Deníció. Legyenek (M, D) és (N, ) m- illetve n-dimenziós sima sokaságok. A Φ : M N leképezést dierenciálhatónak (simának) mondjuk, ha tetsz leges (U, ϕ) D és (V, ψ) térképekre fennáll, hogy ha Φ(U) V, akkor a ψ Φ ϕ 1 : R m R n leképezés dierenciálható (sima). Amennyiben egy topologikus sokaság ellátható dierenciálható struktúrával el fordul, hogy ez többféleképpen is megtehet, ezeket egzotikus sokaságoknak hívjuk. Dierenciáltopológiai szempontból az egymással dieomorf sokaságokat azonosnak tekintjük. Megjegyezzük, hogy egy sokaság önmagára való sima dieomorzmusai csoportot alkotnak, ezt a sokaság dieomorzmus csoportjának hívjuk. Megmutatható, hogy az összefügg sokaságok dieomorzmus csoportja tranzitívan hat a sokaságon. Ennek az állításnak a bizonyítása megtalálható [1]-ben. 7

8 2.2. Példa. 1. Az egyik legegyszer bb példa sima sokaságra R n (n N), melyen egy elem sima atlasz (R n, Id). 2. Az S n := {x R n+1 x = 1} n-dimenziós egységgömbön is megadható egy sima atlasz a következ módon. Kijelölünk két átellenes pontot (E és D) és vesszük az ezen két pont által meghatározott egyenes -mint altér- ortogonális komplementumát (egyenlít hipersíkja), ez egy n-dimenziós euklideszi tér. Az el bb kijelölt két pontból S n -et sztereograkusan levetítjük az egyenlít síkjára a két projekció legyen ϕ E és ϕ D. Könnyen ellen rizhet, hogy {(S n \ {E}, ϕ E ), (S n \ {D}, ϕ D )} kételem sima atlasz S n -en Megjegyzés. A peremes sokaság a közönséges sokaság fogalom egy kiterjesztése. A peremes sokaságok annyiban térnek el a közönséges sokaságtól, hogy megengedjük, hogy minden pontnak legyen a zárt féltér mint topologikus tér egy nyílt részhalmazával homeomorf környezete. A peremes sokaság azon pontjait, melyeknek van a teljes tér egy nyílt részhalmazával homeomorf környezete a peremes sokaság bels pontjainak nevezzük. A bels pontok alkotják a peremes sokaság belsejét, a többi peremes sokasághoz tartozó pont pedig a peremes sokaság határát alkotja. Megmutatható, hogy a perempont fogalma jól deniált, azaz térképezés választásától független. Belátható, hogy a peremes sokaság határa önmagában véve egy eggyel kisebb dimenziós közönséges sokaság, a belseje pedig egy vele azonos dimenziójú közönséges sokaság. A peremes sokaságok b vebb és részletesebb tárgyalása megtalálható [1]-ben Deníció. Ha az M perem nélküli sokaság mint topologikus tér kompakt, akkor M-et zárt sokaságnak nevezzük Sokaságok érint tere 2.4. Deníció. Legyen p egy pontja az (M, D) sokaságnak, (U, ϕ) pedig egy térkép p körül. Legyen 0 I R egy intervallum. A γ 1, γ 2 : I M sima görbékr l akkor mondjuk, hogy els rendben érintik egymást a p pontban az (U, ϕ) térképre vonatkozóan, ha teljesül, hogy 1. γ 1 (0) = γ 2 (0) = p 2. (ϕ γ 1 ) (0) = (ϕ γ 2 ) (0) 2.1. Állítás. A fenti deníció jelöléseivel: Ha (V, ψ) szintén egy p körüli térkép, akkor γ 1 és γ 2 pontosan akkor érintkezik els rendben az (U, ϕ) térképre vonatkozóan, ha els rendben érintkezik a (V, ψ) térképre vonatkozóan is, ezáltal két sokaságbeli sima görbe els rend érintkezése térképfüggetlen, jóldeniált fogalom. 8

9 Bizonyítás. Tekintsük az (M, D) sokaságon a γ 1 és γ 2 sima görbéket, melyekr l feltesszük, hogy p M-ben els rendben érintik egymást az (U, ϕ) térképre vonatkozóan. A denícióbeli 1-es tulajdonság nyilván térképfüggetlen, így elég csak a 2-es egyenl ség fennállását ψ-re igazolni. A láncszabályt alkalmazva a két térkép sima kapcsoltságát gyelembe véve közvetlenül adódik az állítás. (ψ γ 1 ) (0) = (ψ ϕ 1 ϕ γ 1 ) (0) = D(ψ ϕ 1 )(ϕ γ 1 (0))(ϕ γ 1 ) (0) 1. és 2. = = D(ψ ϕ 1 )(ϕ γ 2 (0))(ϕ γ 2 ) (0) = (ψ ϕ 1 ϕ γ 2 ) (0) = (ψ γ 2 ) (0) (2.1) Q.E.D Deníció. Könnyen látható, hogy az a kijelentés, hogy két sima görbe els rendben érintkezik egy adott p M pontban ekvivalencia reláció a sokaságban futó sima görbék halmazán, ezért az M sokaság p M-beli érint tere deniálható a következ módon: T p M := {[γ] p γ(0) = p}, ahol [γ] p a γ : I M sima görbe által reprezentált ekvivalencia osztály. A fenti denícióból világosan következik, hogy az érint tér ellátható egy valós vektortér struktúrával, melynek dimenziója a sokaság dimenziójával egyezik meg. Ennek értelmében lehet beszélni a p M pontbeli érint tér duális terér l, melyet koérint térnek nevezünk és Tp M-al jelölünk. A koérint tér elemeit kovektoroknak hívjuk Deníció. A T M := T p M objektumot a sokaság érint nyalábjának nevezzük. p M Az érint nyaláb mintájára konstruáljuk meg a koérint nyalábot: T M := Tp M. Az érint tér és érint nyaláb fenti bevezetésének el nye, hogy rendkívül szemléletes és szó szerint átvihet végtelen dimenziós sokaságokra. Azonban szükségünk lesz az érint tér egy másik el állítására is. Látni fogjuk, hogy a kétféle el állítás egymással kanonikusan izomorf struktúrákat eredményez. A most következ el állítás hátránya ellenben az, hogy nem lehet az így nyert érint tér fogalmat közvetlenül általánosítani végtelen dimenziós sokaságokra. Tekintsük a sokaságon értelmezett valós érték sima függvényeket. Ezek a pontonkénti m veletekkel és a valós számmal való szorzással algebrát alkotnak a valós számtest felett. Egy M sokaság esetén jelölje ezt a függvényalgebrát F(M) Deníció. Egy v : F(M) R leképezésr l azt mondjuk, hogy 1. R-lineáris, ha f, g F(M) és α, β R esetén teljesül. v(αf + βg) = αv(f) + βv(g) 2. Deriváció, ha teljesíti a Leibniz-tulajdonságot, azaz f, g F(M) esetén v(fg) = v(f) g + g v(f). p M 9

10 Az M sokaság egy p M-beli derivációját a sokaság egy p-beli érint vektorának nevezzük, ezen érint vektorok által alkotott lineáris teret pedig a sokaság p pontbeli érint terének hívjuk 1. Az M sokaság egy p pontjában fenti deníció révén nyert objektumot [4] nyomán D p M-el jelöljük Tétel. Legyen (M, D) n N + dimenziós sokaság, p M, (U, x) pedig egy térkép p körül. Legyen (e i ) n i=1 egy bázis R n -en. Álljon el x : U R n x = x i e i alakban. Legyen továbbá f F(M). Ekkor igazak az alábbi kijelentések: f x i )(.) ( ( f 1. A x i : f x )p i := D(f x )p 1 )(e i )(x(p)) módon értelmezett leképezés D p M ( eleme. A : U R leképezést az f függvény i-dik parciális derivált függvényének nevezzük. ( 2. A x i 1 i n dierenciáloperátorok D p M egy bázisát alkotják. Ebben a )p ( bázisban tetsz leges v D p M v = v(x i ) alakban áll el. x i )p Most pedig megmutatjuk, hogy az érint vektorok kétféle bevezetése lényegében ugyanazt a struktúrát eredményezi, azaz D p M és T p M között kanonikus izomorzmus áll fenn. Ezek után az érint tér elemeire gondolhatunk úgy, mint vektorokra, vagy mint lineáris dierenciáloperátorokra. A koérint tér elemeire pedig gondolhatunk úgy, mint kovektorokra vagy mint koordináta dierenciálokra Állítás. Egy (M, D) sokaság tetsz leges p M pontját véve a T p M és D p M vektorterek egymással kanonikusan izomorfak. Bizonyítás. Legyen (M, D) n N + dimenziós sokaság, p M, (U, x) pedig egy térkép p körül. Legyen (e i ) n i=1 egy bázis R n -en. Álljon el x : U R n x = x i e i alakban. Legyen I egy 0-t tartalmazó intervallum, γ : I M pedig egy sima görbe, amely a T p M deníciójában szerepl [γ] p ekvivalencia osztály egy reprezentánsa. (x γ) (0) = (x i γ) (0)e i (2.2) Az izomorzmust T p M és D p M bázisvektorain a következ hozzárendelés adja meg: ( ) e i (2.3) x i Ezt lineárisan kiterjesztve izomorzmust ( kapunk T p M és D p M közt. Az izomorzmus kanonikus volta következik abból, hogy a 2.1 tételbeli deníciójában is R n (e i ) n i=1 bázisvektorait használtuk. x i )p 1 A precíz tárgyalás megkövetelné, hogy az érint vektorokat eleve függvénycsírákon értelmezzük, ezt követi [1], vagy belássuk, hogy az érint vektorok lokális objektumok, ezt követi [2]. Az sem triviális, hogy ebben a denícióban az érint vektorok valóban lineáris teret alkotnak, de ennek bizonyítása egyszer számolás, melyet az Olvasóra bízunk. p 10

11 Q.E.D. Ezek után T p M-et és D p M-et nem különböztetjük meg és az érint térre a T p M jelölést fogjuk használni Deníció. Legyenek (M, D) és (N, ) sokaságok, a Φ : M N pedig egy sima leképezés. Legyen p M, és v T p M. A Φ-hez tartozó p-beli érint leképezést (Φ ) p -vel jelöljük és a következ képpen deniáljuk: (Φ ) p : T p M T Φ(p) N v (Φ ) p (v) Ahol (Φ ) p (v) hatása egy f F(N) sima függvényre: (Φ ) p (v)(f) := v(f Φ) A következ tételben az érint leképezés legfontosabb tulajdonságait gy jtöttük össze Tétel. A fenti deníció jelöléseit használva: 1. (Φ ) p Hom(T p M, T Φ(p) N). 2. Ha Φ dieomorzmus, akkor (Φ ) p lineáris izomorzmus. 3. (Id ) p = Id TpM 4. Ha (K, Γ) sokaság, Ψ : N K pedig sima leképezés, akkor tetsz leges p M esetén fennáll, hogy [(Ψ Φ) ] p = (Ψ ) Φ(p) (Φ ) p (láncszabály) 2.3. Tenzormez k sokaságokon 2.9. Deníció. Az X : M T M leképezést az M sokaságon adott vektormez nek hívjuk, amennyiben p M X(p) T p M. Egy vektormez r l akkor mondjuk, hogy sima, ha tetsz leges f F(M) esetén a M p X(p)(f) R leképezés sima. A továbbiakban vektormez alatt mindig sima vektormez t fogunk érteni. Az M sokaságon értelmezett vektormez k halmazát T (M)-el jelöljük. Ellen rizhet, hogy egy sokaságon értelmezett vektormez k a pontonkénti öszzeadással és számmal való szorzással vektorteret alkotnak. Arról is könny meggy z dnünk, hogy T (M) egy F(M) feletti modulus Deníció. Az ω : M T M leképezést az M sokaságon adott els rend dierenciálformának (röviden 1-formának) nevezzük, ha p M ω(p) T p M. Egy els rend dierenciálformáról akkor mondjuk, hogy sima, ha tetsz leges sima X : M T M vektormez t véve az M p ω(p)(x) R leképezés sima. Az M-en adott 1-formák terét jelölje Ω 1 M. 2 Kategória elméleti szóhasználattal élve az érint leképezés egy kovariáns funktor. 11

12 A lineáris algebrából ismert tenzorszorzás m velet segítségével tetsz leges M sokaság és p M esetén értelmezhet a T p (r,s) M := ( r Tp M ) ( s T p M) lineáris tér, melynek elemeit r-szeresen kovariáns és s-szeresen kontravariáns tenzoroknak nevezzük. A T p (r,0) M tenzortér két fontos altere a r p M antiszimmetrikus- és a r p M szimmetrikus formák tere Deníció. Az M sokaságon értelmezett (r, s) típusú sima tenzormez alatt egy χ : p χ(p) T p (r,s) M leképezést értünk, melyre X i i {1,..., r} vektormez kre és ω j j {1,..., s} sokaságon értelmezett 1-formára igaz, hogy χ(.)(x 1,..., X r, ω 1,..., ω s ) F(M). Az érint leképezés pontonkénti alkalmazásával értelmezzük a (0, s) típusú tenzormez k el retolását (push forward) és az (r, 0) típusú tenzormez k visszahúzását (pull back) Deníció. Legyenek (M, D) és (N, ) sokaságok. Legyen (Φ ) p : T p M T Φ(p) N a Φ : M N sima leképezéshez tartozó érint leképezés. I. Az M-en adott (0, s) típusú tenzormez k el retolását N-re az alábbi leképezés teljes térre történ lineáris kiterjesztésével kaphatjuk meg. ) s s ( X 1,..., X s T (M)) X k := (Φ ) Φ 1 (.)X k (Φ 1 (.)) k=1 X k Φ ( s k=1 II. Az N-en értelmezett (r, 0) típusú tenzormez k Φ-vel való visszahúzását M-re a következ leképezés lineáris kiterjesztettje szolgáltatja 3 ( ω 1,..., ω r Ω 1 N) r k=1 ω k Φ ( r k= Lie-csoportok és Lie-algebrák ω k ) := k=1 r ω k (Φ(.))(Φ (.)) Deníció. Egy G sokaságot Lie-csoportnak nevezünk, ha adva van rajta egy csoport struktúra és a csoport m veletek (szorzás, inverz képzés) simák. Lie-csoportok szorzás m veletét -al, az egységelemét pedig e-vel fogjuk jelölni (multiplikatív írásmód). Tetsz leges g G esetén a λ g := g (.) : G G és a ρ g := (.) g : G G leképezések sima dieomorzmusok, ezeket g-vel való bal- illetve jobb eltolásnak fogjuk nevezni. Kommutatív Lie-csoportra példa T = S 1 a komplex szorzással. A kvaternió egységgömb (S 3 ) a kvaterniószorzással, illetve az n n-es invertálható mátrixok csoportja a mátrixszorzással nem kommutatív Lie-csoportot alkot. Egy Lie-csoportra tekinthetünk úgy is, mint egy sima sokaságra, melynek dieomorzmus csoportjának egy részcsoportja a sokaság elemeivel reprezentálható. A csoport tulajdonság következménye, hogy egy Lie-csoport összefügg komponensei -mint részsokaságok- egymással dieomorfak. 3 A tenzor el retolásra és visszahúzásra az érint leképezés tulajdonságaival analóg tulajdonságok bizonyíthatók. A Φ leképezés kovariáns, míg a Φ leképezés kontravariáns funktorként viselkedik. k=1 12

13 Egy Lie-csoport egyben lokálisan kompakt Hausdor topologikus csoport, Haar Alfréd tétele szerint létezik rajta balinvariáns radon mérték, mely szerint a kompakt tartójú folytonos függvények integrálhatók. A következ állítás egy érdekes bizonyítási technikát mutat be. Nevezetesen azt, hogy számos egzisztencia tétel bizonyítható Lie-csoportokon oly módon, hogy a lokális konstrukció után a kapott objektumot a csoport szorzás segítségével globalizáljuk (b vebben ld.:[4]) Állítás. Minden G Lie-csoporton megadható dim(g) számú sima vektormez, amelyek G minden pontjában lineárisan független érint vektorokat vesznek fel értékül. Bizonyítás. Legyen n = dim(g) és legyen {b 1 (e), b 2 (e),..., b n (e)} T e G egy bázisa. Említettük, hogy tetsz leges g G esetén a λ g : G G leképezés dieomorzmus, következésképpen a (λ g ) e : T e G T λg(e)g = T g G (2.4) érint leképezés izomorzmus, ezért T e G egy bázisát T g G-nek szintén egy bázisába képezi. Tetsz leges k {1,..., n} esetén tekintsük a b k : G T G G g b k (g) := (λ g ) e b k (e) T g G (2.5) leképezéseket. Az, hogy k {1,..., n} b k T (G) egyszer en abból következik, hogy λ g sima dieomorzmus, a minden pontbeli lineáris függetlenség pedig a fenti megállapításból fakad. Q.E.D Következmény. Abból, hogy tetsz leges G Lie-csoporton létezik bázismez következik, hogy a Lie csoport érint nyalábja triviális azaz T G = G R dim(g). (2.6) Legyen dim(g) = n és R n egy bázisa e 1,..., e n, a megfelel koordináta függvények pedig x 1,..., x n. Legyen b 1,..., b k egy bázismez G-n. Vegyük az alábbi megfeleltetést. ϕ : G R n T G (g, x i e i ) ϕ(g, x i e i ) := x i b i (g) (2.7) A ϕ hozzárendelésr l láthatjuk, hogy egy dieomorzmus, mely nem kanonikus, ugyanis függ attól, hogy G-n milyen bázismez t választunk. Frank Adams nehéz tétele értelmében a gömbök közül csupán csak az S 1, S 3 és S 7 gömbök érint nyalábja triviális, de csak az S 1 -en és S 3 -on adható meg olyan szorzás m velet 4, mellyel Lie-csoportot kapunk. A Lie-algebra fogalma a Lie-csoport fogalmával szorosan összefügg, de a köztük fennálló geometriai kapcsolatot csak a XX. század 30'-as éveiben tárták fel. Ezzel kapcsolatban az [1] és [10] m veket érdemes fellapozni. 4 Hilbert 5. problémájának megoldása szerint a csoport struktúra lényegében meghatározza a sima struktúrát ld. [1]. 13

14 2.14. Deníció. Egy valós számtest feletti V vektorteret egy [, ] : V V V m velettel ellátva Lie-algebrának nevezünk, ha ez a m velet rendelkezik az alábbi tulajdonságokkal: 1. Els változójában lineáris: ( α, β R)( X, Y, Z V ) [αx + βy, Z] = α[x, Z] + β[y, Z] 2. Antiszimmetrikus: ( X, Y V ) [X, Y ] = [Y, X] 3. Teljesül a Jacobi azonosság: ( X, Y, Z V ) [X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y ]] = 0 Az 1. és 2. tulajdonságokból a [, ] m velet bilinearitása már következik. Lie-algebrákra a szokásos absztrakt algebrai konstrukciók értelmezhet k. Ilyenek például homomorzmus, izomorzmus, részalgebra, direkt összeg, direkt szorzat, ideál, faktoralgebra stb.. Mi ezeket itt nem deniáljuk, deníciójukat ismertnek tételezzük fel. Lássunk néhány egyszer példát Lie-algebrára: 1. A legegyszer bb példa Lie-algebrára egy vektortér, melyen a szorzást úgy deniáljuk, hogy bármely két elem szorzata legyen nulla. Ezzel a m velettel a vektortér Lie-algebrává válik, melynek neve: nullszorzású Lie-algebra. 2. Az R 3 vektortér a vektoriális szorzással ellátva szintén Lie-algebra. 3. Minden asszociatív algebrán bevezethet egy olyan m velet, mellyel az Lie-algebrává válik. Legyen ugyanis (A, ) egy asszociatív algebra és értelmezzük a m veletet a következ módon: [, ] : A A A ( a, b A) [a, b] := a b b a Ellen rizhet, hogy tényleg Lie-algebrát kaptunk, de ennél több is igaz. Nevezetesen az, hogy tetsz leges Lie-algebra beágyazható egy olyan Lie-algebrába, melyet az el bb leírt módon egy asszociatív algebrából gyártottunk le. Az így bevezetet m - velet az A algebrabeli m velet nem kommutativitását méri, ezért kommutátornak is nevezik. 4. A mechanika Hamilton-féle Poisson zárójeles tárgyalásában az obszervábilisek 5 a Poisson zárójellel ellátva szintén Lie-algebrát alkotnak. 5 Obszervábiliseknek nevezzük a fázistéren téren -mint szimplektikus sokaságon- értelmezett valós érték sima függvényeket. 14

15 2.5. Példa. Legyen X és Y vektormez k egy M sokaságon, X és Y Lie-zárójeles szorzatán a következ [X, Y ]-al jelölt vektormez t értjük. [, ] : T (M) T (M) T (M) ( f F(M))[X, Y ](f) := X Y f Y X f Ellen rizhet, hogy ez a hozzárendelés valóban vektormez t eredményez és a vektormez k alkotta vektortér ezzel a m velettel ellátva egy Lie-algebra, melyet az M sokaságon értelmezett vektormez k Lie-algebrájának nevezünk. Ha M és N sokaságok, Φ : M N pedig sima leképezés, akkor megmutatható, hogy a Φ érint leképezés Lie-algebra homomorzmus a (T (M), [, ]) és (T (N), [, ]) Liealgebrák közt. Amennyiben Φ dieomorzmus úgy Φ Lie-algebra izomorzmus. Most pedig rávilágítunk a Lie-algebrák és Lie-csoportok kapcsolatára. Megmutatjuk, hogy Lie-csoporthoz hogyan rendelhetünk Lie-algebrát, ehhez szükség lesz a Liecsoportokon értelmezett balinvariáns vektormez fogalmára Deníció. Legyen G egy Lie-csoport. Akkor mondjuk az X T (G) vektormez r l, hogy balinvariáns vektormez, ha a Lie-csoport tetsz leges g elemére fennáll, hogy (λ g ) (X λ 1 g ) = X. Az érint leképezés tulajdonságaiból adódóan egy G Lie-csoporton értelmezett balinvariáns vektormez k egy alterét alkotják a T (G) vektortérnek Állítás. Egy G Lie-csoporton értelmezett balinvariáns vektormez k altere a vektormez k Lie-zárójeles szorzására nézve zárt. Bizonyítás. Megmutatjuk, hogy ha X és Y balinvariáns vektormez a G Lie-csoporton, akkor az [X, Y ]-al jelölt Lie zárójelük is az. Vegyünk tetsz leges G-beli g és p elemeket. (λ g ) [X, Y ] λ 1 g (p)(.) = [X, Y ] λ 1 g (p)((.) λ g ) = (X Y Y X) λ 1 g (p)((.) λ g ) Y X λ 1 g (p)((.) λ g ) = X Y λ 1 }{{} (λ g) Y λ 1 g (p)(.)=y (p)(.) g (p)((.) λ g ) = = [X, Y ](p)(.) (2.8) }{{} (λ g) X λ 1 g (p)(.)=x(p)(.) Q.E.D. Ebb l az következik, hogy a balinvariáns vektormez k a vektormez k alkotta vektortérnek nem csupán vektor alterét alkotják, hanem a Lie-csoporton értelmezett vektormez k Lie-algebrájának részalgebráját is Deníció. Egy G Lie-csoport Lie-algebrája alatt a G-n értelmezett balinvariáns vektormez k alkotta Lie-algebrát értjük. A G Lie-csoport Lie-algebráját g-vel jelöljük Tétel. Egy G Lie-csoport tetsz leges g eleme feletti T g G érint téren adott egy Liealgebra struktúra, amely kanonikusan izomorf G Lie-algebrájával. 15

16 Az el bb láttuk, hogy tetsz leges Lie-csoporthoz tartozik egy, a Lie csoport által egyértelm en meghatározott Lie-albegra. Ennek az állításnak a megfordítása azonban csak bizonyos feltételek teljesülése esetén igaz. Err l szól a Lie-Cartan tétel, amellyel a Liecsoportok és Lie-algebrák kapcsolata teljessé válik Tétel. A véges dimenziós Lie-algebrák izomorzmus osztályai kölcsönösen egyértelm megfeleltetésben állnak az egyszeresen összefügg Lie-csoportok izomorzmus osztályaival. Minden -izmorzmus erejéig meghatározott- egyszeresen összefügg Lie-csoporthoz egy olyan Lie-algebra rendelhet, amely izomorf az Lie-algebrájával. 16

17 3. A de Rham elméletr l dióhéjban 3.1. A küls deriválás 3.1. Deníció. Akkor mondjuk ω-ról, hogy hogy az M sokaságon értelmezett r N rend dierenciálforma (vagy küls forma), ha ω egy olyan (r, 0)-típusú tenzormez M- en, amely M bármely p pontjában a r p M térb l veszi fel értékeit. Az M sokaság feletti r-rend dierenciálformák R-felett vektorteret, F(M) felett pedig modulust alkotnak. Az r-rend dierenciálformák alkotta R-feletti lineáris teret Ω r M-el jelöljük. Tetsz leges M sokaság esetén a lineáris algebrából ismert konstrukciókat alkalmazva megkaphatjuk a dierenciálformák Ω (M) terét. Ω (M) := Ω r M (3.1) r=0 Ennek a térnek az Ω (M) := Ω k M r=0,r k 0 r (Ahol 0 r az Ω r Mtér origója.) (3.2) alterét az M-en értelmezett homogén k-formák terének nevezzük. Persze ez az altér kanonikusan izomorf Ω k M-el, így jelölésben nem is különböztetjük meg ket. Ω (M)-et elláthatjuk egy -el jelölt szorzás m velettel, amelyet a homogén formákon pontonkénti m veletként deniálunk, majd lineárisan kiterjesztjük teljes Ω (M)-re. A kapott struktúra egy asszociatív algebra, melyt az M sokaság Grassmann algebrájának vagy küls algebrájának nevezünk. Amennyiben adottak az M és N sokaságok és köztük a sima Φ : N M leképezés. A Φ-hez tartozó Φ forma visszahúzás M és N küls algebrájára komponensenként kiterjeszthet, ezért rá külön jelölést nem vezetünk be Megjegyzés. Ahogy az 0 p M teret R-el azonosíthatjuk, úgy a Ω0 M térnek F(M)- et feleltethetjük meg. Hasonlóképpen igaz n > dim(m) esetén, hogy Ω n M = 0 F(M) Tétel. Vegyünk egy M sokaságot, ekkor létezik egy egyértelm en meghatározott d : Ω (M) Ω (M) lineáris leképezés, amely a következ feltételeket teljesíti: 1. ( k {0,..., dim(m)}) Im (d Ω k M ) Ωk+1 M 2. ( ω 1, ω 2 Ω (M)) ω 1 Ω k M d(ω 1 ω 2 ) = dω 1 ω 2 + ( 1) k ω 1 dω 2 3. ( v T (M), f F(M)) df(v) = v(f) 4. ( f F(M)) d d(f) = 0 5. Ha N szintén sokaság Φ : N M pedig egy sima leképezés, akkor d(φ (.)) = Φ (d(.)). A d : Ω (M) Ω (M) leképezést küls deriválásnak nevezzük. 17

18 A küls deriválás lokális alakját a küls derivált tulajdonságai egyértelm en meghatározzák. Az 5. tulajdonság felel azért, hogy a térképeken értelmezett lokális alakok kompatibilisek legyenek egymással. A lokális alak ismeretében pedig megmutatható, hogy d d = Állítás. Legyen M sokaság és legyen m = dim(m). Legyen ω Ω k M és legyen (U, x) egy térkép. Ekkor léteznek ( j {1,..., k}) 1 i j m ω i1,...,i k F(M) függvények, hogy ω az (U, x) térképen az alábbi lokális alakban áll el. ω U = k ω i1,...,i k 1 i 1... i k m l=1 Ekkor dω Ω k+1 M lokális alakja az (U, x) térképen: dx i l (3.3) dω U = k j=1 1 i 1... i k m ω i1,...,i k dx j x j k dx i l (3.4) l= De Rham kohomológia csoportok 3.2. Deníció. Legyen M sokaság, továbbá legyen 0 k dim(m). 1. A Z k M = Ker d Ω k M lineáris tér elemeit zárt k-formáknak nevezzük. 2. A B k M = Im d Ω k 1 M lineáris teret pedig az egzakt k-formák alkotják. Minden dim(m)-rend homogén formát zártnak fogunk tekinteni, továbbá megállapodunk abban, hogy az egyetlen egzakt 0-forma az azonosan nulla függvény. A d d = 0 egyenl ségb l következik, hogy B k M Z k M. Két zárt formáról akkor mondjuk, hogy kohomológok, ha különbségük egy egzakt forma. A kohomológia egy ekvivalencia reláció a zárt formák terén. A kohomológia által származtatott faktorstruktúrát nevezzük k-adik de Rham kohomológia csoportnak. H k drm := Zk M B k M (3.5) A k-adik de Rham kohomológia csoport valójában persze egy vektortér, de a gyelem középpontjában gyakran mégis eme vektortér additív csoportja áll, ezért a szakirodalmak általában de Rham kohomológia csoportként említik. A HdR k M tér dimenzióját -amennyiben ez véges- k-adik Betti-számnak hívjuk és b k -val jelöljük Állítás. Egy n N összefügg komponensb l álló M sokaságra H 0 dr M Rn. Nagyon érdekes, hogy bár a de Rham kohomológia csoportokat tisztán a dierenciálható struktúra segítségével származtatott objektumokkal deniáltuk mégis rengeteg információval szolgálnak az alaptér topológiáját illet en. Mivel a küls deriválás és a forma visszahúzás felcserélhet m veletek következik, hogy a kohomológia csoportok dieomorzmus-invariánsak. A de Rham tétel azonban ennél jóval többet állít. 18

19 3.2. Tétel (de Rham). Legyen M zárt, irányítható 6 sokaság. Ha valamely egész k-ra 0 k dimm, akkor teljesül, hogy 1. dimh k dr (M) < 2. H k dr (M) kanonikusan izomorf M k-adik szinguláris kohomológia csoportjával 7. A szinguláris kohomológia csoportok nemcsak dierenciálható sokaságokra, hanem tetsz leges topologikus terekre is deniálhatók. A szinguláris kohomológia csoportokról megmutatható, hogy homotopikus invariánsak [5], ezért ha két sokaság mint topologikus tér homotóp, akkor a megfelel kohomológia csoportjai izomorfak egymással. Világos most már az is, hogy miért szokás a sokaságok kohomológia terekeit kohomológia csoportoknak nevezni Tétel (Poincaré). ( n, k Z + ) H k drr n = 0 (3.6) A Poincaré tételb l és a de Rham csoportok homotopikus invarianciájából következik, hogy R n tetsz leges csillagszer tartományaihoz rendelhet kohomológia csoportok triviálisak. A de Rham kohomológia terek jelent s szerepet töltenek be a dierenciálegyenletek elméletében (ld.:[4]). Legyen M sokaság és tekintsük a sokaság felett az dω = φ egyenletet, ahol ω és φ dierenciálformák M felett. Visszatekintve a küls deriválás lokális alakjára látható, hogy ez az egyenlet lokálisan egy els rend lineáris parciális dierenciálegyenletnek rendszernek felel meg. Ilyen alakban írhatók fel például az elektrodinamika Maxwell egyenletei is. A küls deriválás d d = 0 tulajdonságából következik, hogy adott ha φ dierenciálformához létezik az egyenletet kielégít ω dierenciálforma, akkor szükségképpen dφ = 0-nak is teljesülni kell. Fordítva azonban ez általában nem áll fenn. Amennyiben φ Ω k M megfelel ω pontosan akkor létezik, ha φ B k M. Ebb l látszik, hogy a dφ = 0 szükséges feltétel elégségessé válik, amennyiben HdR k M = Példa. Tekintsük R 2 -et a kanonikus dierenciálható struktúrával, legyen U egy csillagszer tartomány, amire úgy tekintünk, mint részsokaságra. Legyenek f, g : U R dierenciálható függvények. Adott az Ω 1 U f(x, y)dx + g(x, y)dy = 0 dierenciálegyenlet. Az ilyen dierenciálegyenleteket akkor szokás egzakt dierenciálegyenletnek hívni, ha az egyenlet bal oldala egy egzakt 1-forma. Az U tartomány csillagszer, ezért elég ellen rizni a forma zártságát, ebb l következik az egzaktság. d(f(x, y)dx + g(x, y)dy) = f f dx dx + x y g g dx dy + dy dx + dy dy = x y ( f = y g x ) dx dy = 0 (3.7) Amennyiben f g = 0 igaz, hogy F y x Ω1 U sima függvény, hogy df = f(x, y)dx + g(x, y)dy, azaz F F = f és = g. Ezekb l a feltételekb l F meghatározható. A df = 0 x y egyenlet pedig pontosan F szintfelületein -mint egydimenziós részsokaságokon- teljesül. 6 Lásd.: 3.4 deníció 7 A szinguláris kohomológia csoportokat nem deniáltuk, deníciójuk megtalálható [5]-ben. Ugyanitt megtalálható a de Rham tétel bizonyítása is. 19

20 3.3. Dierenciálformák integrálása A dierenciálformák integráljának deniálásához szükségünk lesz az egységosztás tételre. Az itt kimondott sima egységpartícióról szóló tétel megtalálható [1]-ben, de létezik ennél sokkal általánosabb formája is, err l b vebben [8]-ban lehet olvasni. Az Olvasó ugyanitt megtalálhatja tétel megértéséhez szükséges elemi topológiai ismereteket is Deníció. Egy M sokaságon adott {f i i I} valós érték sima függvények alkotta rendszert sima egységosztásnak nevezünk, ha ( i I) (0 f i 1), a {suppf i i I} halmazrendszer lokálisan véges és i I f i = 1. Egy M sokaságon adott {f i i I} sima egységosztásról azt mondjuk, hogy a sokaság egy {U j i J} nyílt fedésének alá van rendelve, ha ( i I)( j J) (suppf i U j ) Tétel. Ha {U i i I} egy M peremes sokaságnak olyan lokálisan véges nyílt fedése, hogy U i kompakt minden i I-re, akkor megadható egy sima egységosztás M-en, ami az {U i i I} fedésnek van alárendelve. Az egységosztás tétel a dierenciálgeometriában betöltött központi szerepét annak köszönheti, hogy számos olyan állítás van, melyet elég a sokaság egy térképén belátni, majd a bizonyítást az egységosztás tétel segítségével globalizálni és ezzel a sokaság egészére érvényessé tenni. Ezt az utat fogjuk majd követni az általános Stokes-tétel bizonyításánál is. Az integrálfogalom sokaságokra történ kiterjesztését [1]-szerint végezzük. Jelölje Ω k c(m) az M sokaság feletti kompakt tartójú k-formák halmazát. Vezessük be az R n + := {(x 1,..., x n ) R n x 1 0} jelölést és lássuk el R n +-t a kanonikus peremes sokaság struktúrával. Legyen U nyílt R n +-ban, ekkor n ( ω Ω n c (U)( f F c (U, R)) ω = f dx k. (3.8) Az ω Ω n c (U) forma U-ra vett integrálját az következ módon értelmezzük: ω := f dλ n (3.9) k=1 Ahol λ n az n-dimenziós Lebesgue mérték. U U 3.4. Deníció. Egy peremes M sokaságot irányíthatónak nevezünk, ha M-en a térképek közötti átmeneteket leíró leképezések deriváltjainak (Jacobi mátrix) determinánsa pozitív. Egy peremes M sokaság irányíthatóságával ekvivalens, hogy M-en megadható rajta egy seholsem nulla maximális dierenciálforma. A M peremes sokaság egy irányítása a sokaság peremén deniál egy kanonikus irányítást. Ez alatt a következ t értjük. Legyen A = {(U i, ϕ i ) i I} M-en az irányítást deniáló atlasz. Alkossák M egy A atlaszát azok a M sima struktúrájához tartozó (V, ψ) térképek, melyekre igaz, hogy (U i, ϕ i ) A V = U i M ψ = ϕ i Ui M. (3.10) 20

21 Megmutatható, hogy az A atlasz M-en egy irányítást értelmez, ezt hívjuk M kanonikus irányításának. Az indukált vagy örökölt irányítás páros dimenziós sokaságok esetén egybe esik a kanonikus irányítással, páratlan dimenziós sokaságok esetén pedig annak ellentettje Tétel. Legyen M egy n-dimenziós irányítható peremes sokaság, ekkor egyértelm en létezik Ω n c (M), melyre igaz az alábbi kijelentés. Ha U M, V R n + nyílt M halmazok, Φ : V U pedig egy irányítástartó 8 dieomorf szürjekció, akkor ( ω Ω n c (M)) (supp(ω) U) ω = Φ ω. (3.11) M V Most pedig eljutottunk oda, hogy minden eszközünk meg van ahhoz, hogy kimondjuk és bizonyítsuk az általános 9 Stokes-tételt. Ezt a tételt attól függ en, hogy hány dimenzióra mondják ki különböz névvel illetik: 1 dimenzióban Newton-Leibnitz formula, 2 dimenzióban (közönséges) Stokes-tétel, 3 dimenzióban Gauss-Osztrogradszkij tétel vagy divergenciatétel a neve. Bizonyításunk lényegében az [1]-ben vázolt bizonyítás gondolatmenetét követi, de a kompaktabb alakra való törekvés okán néhány lépést módosítottunk Tétel. Legyen M egy n-dimenziós irányított peremes sokaság, M pedig az M peremeként adódó n 1 dimenziós sokaság az M-t l örökölt irányítással. Amennyiben ω Ω n 1 c (M) és In : M M a tartalmazás által deniált sima beágyazás, akkor igaz, hogy dω = In (ω). (3.12) M M Bizonyítás. Az integrált kompakt tartójú maximális formákra deniáltuk. Ha ω Ω n 1 c (M), akkor In (ω) Ω n 1 c ( M) és dω Ω n c (M), ezért a tételben megjelölt integrálok értelmesek. Legyen {f i i N} az M egy U = {U i i N} lokálisan véges nyílt fedésének alárendelt sima egységosztás úgy, hogy tetsz leges i N esetén létezzen egy V i R n + nyílt halmaz és egy χ : V i U i dieomorf szürjekció. A 3.5 tétel értelmében írhatjuk a következ ket. M ( ) dω = d f i ω = d(f i ω) = χ i d(f i ω) = d(χ i f i ω) (3.13) i N i N U i N i V i N i V i M Vizsgáljuk meg a kapott összeg egy tagját. A V i R n + nyílt halmaz R n + egy részsokasága, melyen egyelem atlasz az R n + kanonikus koordinátafüggvényeinek V i -re való megszorítása. Igaz továbbá, hogy χ i f i ω Ωc n 1 (V i ), ezért 8 Egy ilyen Φ : V U dieomorzmusról akkor mondjuk, hogy irányítástartó, ha a neki megfelel Φ tenzorvisszahúzás el nem t n maximális formát el nem t n maximális formába visz. 9 Nem ez a legáltalánosabb formája a Stokes tételnek, létezik ennél sokkal általánosabb alak is. Céljainknak azoban ez az alak is megfelel és a bizonyítása sem túl összetett ahhoz, hogy itt ismertessük. 21

22 ( { Υ (i)j F c (V i ) j {1,..., n 1} } ) χ i f i ω = d(χ i f i ω) = V i d(χ i f i ω) = V i n j=1 n dυ (i)j j=1 ( 1) j 1 Υ (i)j x j = V i n j=1 n k=1,k j dx k = n dx k = k=1 n j=1 ( 1) j 1 Υ (i)j x j dλ n = n Υ (i)j j=1 ( 1) j 1 Υ (i)j x j n k=1,k j n ( 1) j 1 j=1 V i dx k. (3.14) n dx k (3.15) k=1 Υ (i)j x j dλ n (3.16) Számítsuk ki a kapott összeg egyik tagjában szerepl integrált. Tudjuk, hogy Υ (i)j F c (V i ), ezért Υ (i)j F x j c (V i ). A Heine-Borel tétel értelmében igaz, hogy R n +-ban ( egy ) Υ(i)j halmaz pontosan akkor kompakt, ha korlátos és zárt. Következésképpen supp x j belefoglalható egy R n +-beli elég nagy téglába. Jelölje ezt a téglát V i I (i)j := n [a k (i)j, b k (i)j]. k=1 A Fubini tétel feltételei teljesülnek, ezért az n-dimenziós Lebesgue mérték szerinti integrált szukcesszívan számolhatjuk. Υ (i)j dλ n Υ (i)j = dλ n Υ (i)j = dλ dλ n 1 = x j x j x j I (i)j = n [a k (i)j,bk (i)j ] [a j (i)j,bj (i)j ] k=1,k j Υ (i)j n [a k (i)j,bk (i)j ] k=1,k j Ha V i := V i R n + =, akkor Υ {x (i)j = 0 és Υ j =b j (i)j } (i)j Υ {x j =b j (i)j } (i)j {x j =a j (i)j } dλn 1 (3.17) {x j =a j (i)j = 0, így az (3.17) } kifejezés értéke 0. Ellenben ha V i, akkor R n + deníciója miatt csupán j = 1 esetén kapunk nem nulla értéket. Jelölje In : R n + R n + a tartalmazás által deniált injekciót. V i V i Υ (i)1 x 1 dλ n = n k=1,k 1 Υ (i)1 {x 1 =0} dλn 1 = [a k (i)1,bk (i)1 ] V i In χ i f i ω (3.18) Ebb l (3.16)-re azt kapjuk, hogy d(χ i f i ω) = V i V i In χ i f i ω = V i ( χ i In) fi ω (3.19) 22

23 Legyen U = { U i := U i M U i M, i N} a M egy lokálisan véges nyílt fedése. A {(f i In) i N} függvényrendszer az U fedésnek alárendelt sima egységosztás M-en, ezért igaz, hogy M dω = d(χ i f i ω) = i N V i N i V i ( χ i In ) fi ω = i N In( U i ) f i ω = = (f i In) ω = i N U i M In (ω) (3.20) Q.E.D. 23

24 4. Komplex vektornyalábok általános elméletének elemei 4.1. A struktúracsoport Ahogyan a sokaság a lineáris tér általánosításának tekinthet, úgy a vektornyaláb fogalom a Descartes-szorzat megfelel általánosítása. Vektornyalábokra gondolhatunk úgy is, mint egy sokasággal parametrizált vektortér seregre Deníció. Legyen M egy sokaság, E pedig egy összefügg Hausdor tér, F pedig legyen egy k dimenziós vektortér. Továbbá adott egy π : E M egy folytonos szürjekció. Az (E, M, F, π) négyest F brumú, k rangú M feletti vektornyalábnak nevezzük, ha az alábbiak teljesülnek: 1. Az M sokaság egy tetsz leges p pontját véve π 1 (p) E egy F -el izomorf vektortér, amit p feletti brumnak hívunk. 2. Minden M-beli p pontnak van egy U M környezete, mely felett a nyaláb triviális. Ez alatt azt értjük, hogy adott egy ϕ : π 1 (U) U F homeomorzmus, amely az alábbi diagramot kommutatívvá teszi. A ϕ homeomorzmust az E nyaláb U feletti π 1 (U) ϕ U F π pr 1 U lokális trivializációjának nevezzük. 3. Ha tekintjük az (U, ϕ) és a (V, ψ) lokális trivializációkat, melyekre U V, akkor a ψ ϕ 1 : U V F U V F leképezések tetsz leges p U V esetén a p F = F halmazra megszorítva viselkedjenek úgy, mint F F lineáris leképezések, p-ben pedig simák legyenek. E-t a nyaláb totális terének, M-et bázis sokaságnak, F -et brum típusnak π-t pedig a nyaláb projekciójának nevezzük nevezzük. Vektornyalábokra gyakran csak a totális terükön keresztül fogunk hivatkozni, amennyiben az alapsokaságot ismerjük. Innent l fogva a tárgyalt vektornyalábok brum típusa minden esetben ha nem mondunk mást a nyaláb rangjával megegyez dimenziójú C n vektortér lesz Deníció. Tekintsünk egy (E, M, C k, π) vektornyalábot. Legyenek (U i, ϕ i ) és (U j, ϕ j ) az E nyaláb lokális trivializációi. A 4.1. deníció 3. pontja értelmében ha U i U j, akkor értelmezhet a g ij : U i U j GL(k, C) g ij (p) := ϕ j ϕ 1 i p C k (4.1) 24

25 leképezés. A g ij leképezést az (U i, ϕ i ) és (U j, ϕ j ) lokális trivializációkhoz tartozó átmenet függvénynek nevezzük. Az E nyaláb lokális trivializáció párjaihoz rendelhet átmenet függvények értékkészletei a GL(k, C) csoport egy G részcsoportját generálják. A G csoportot az E nyaláb struktúracsoportjának hívjuk. Az átmenet függvényekr l belátható, hogy teljesítik az alábbi ún. ƒech kociklus feltételeket. g ii (x) = Id C k (4.2) g ij (x) g ji (x) = Id C k (4.3) g ij (x) g jk (x) g ki (x) = Id C k (4.4) 4.1. Állítás. Amennyiben veszünk egy M sokaságot és egy F k-dimenziós komplex test feletti vektorteret, továbbá M-nek adott egy {U i i I} nyílt halmazokkal való befedése és adottak {g ij : U i U j GL(k, C) i, j I} függvények, melyek teljesítik a ƒech kociklus feltételeket, akkor izomorzmus erejéig (ld.: 4.3. deníció) megadható egy (E, M, F, π) k-rangú vektornyaláb, amely az {U i i I} fed rendszer elemei felett lokálisan triviális és átmenet függvényei éppen a fenti g ij függvények. Bizonyítás. (vázlat) A konstrukció lépései a következ k: 1. Képezzük az {U i C k i I} halmazrendszert és az {f ij i, j I} függvényrendszert, ahol ( i, j I) f ij : U i U j C k U i U j C k (p, v) f ij (p, v) = (p, g ij (p)(v)). 2. Bevezetünk egy relációt az i I ( Ui C k) halmazon a következ képpen: (p 1, v 1 ) (p 2, v 2 ) ( i, j) I (p 2, v 2 ) = f ij (p 1, v 1 ) 3. A ƒech kociklus feltételek teljesülése miatt a reláció egy ekvivalencia reláció, ezért képezhet az E := i I ( Ui C k)/ faktortér. 4. Jelölje [x] E az x i I ( Ui C k) elem által reprezentált ekvivalencia osztályt. Legyen a nyaláb projekciója a π : E M [x] π([x]) := pr 1 (x) leképezés. Le kell még ellen rizni, hogy π jól deniált, azaz reprezentáns választásától független, továbbá valóban egy vektornyalábot kaptunk, melynek g ij -k az átmenet függvényei és a kapott nyaláb izomorzmus erejéig egyértelm. A részletek kidolgozását az Olvasóra bízzuk. Q.E.D. 25

26 Általában igaz, hogy a struktúracsoportra tett megszorításokat a vektornyalábon új struktúrák megjelenése kíséri. Ha egy k rangú vektornyaláb struktúracsoportját csak pozitív determinánsú lineáris leképezések alkotják, akkor a nyaláb irányítható. Ha pedig a struktúracsoport az U(k) unitér csoport, akkor a nyalábon létezik brumonként pontonként változó Hermite skalárszorzás Példa. Az egyik legfontosabb példa vektornyalábra az érint nyaláb. A π : T M M T p M v p módon értelmezett projekcióval T M egy M feletti dim(m) rangú vektornyalábbá tehet. Jogosan vet dik fel a kérdés, hogy az érint nyaláb mivel több, mint egy közönséges vektornyaláb a sokaság felett, melynek rangja a sokaság dimenziójával egyezik meg. A válasz az, hogy az érnt nyaláb esetén a nyaláb lokális trivializációit a bázissokaság atlaszai alkotják. További példák vektornyalábokra: 1. Egy (E, M, F, π) nyalábot triviális nyalábnak nevezünk, ha E = M F. Triviális nyalábra egy példa a newtoni térid modell, melyben létezik abszolút id és ennek megfelel en beszélhetünk arról, hogy két esemény egyidej, de a nem azonos id ben történt eseményekr l nem tudjuk eldönteni, hogy egy helyen történtek-e. Az ennek megfelel modell egy R bázisú (id ), R 3 brumú triviális nyaláb. 2. Egy M sokaságot pontosan akkor hívunk parallelizálhatónak, ha az érint nyalábja triviális nyaláb. A 2.3. állítás következményeként beláttuk, hogy tetsz leges Liecsoport parallelizálható és a gömbök közül csupán S 1, S 3 és S 7 parallelizálható. 3. Egy (E, M, F, π) nyalábot vonalnyalábnak nevezünk, amennyiben dim(f ) = 1. A szokásos példa vonalnyalábra a henger és a Möbius szalag. Mindkett egy R brumú, S 1 bázissokaságú nyaláb, a henger egy triviális nyaláb, a Möbius szalag pedig nyilvánvalóan nem az. A lineáris albegrából ismert vektortérm veleteket brumonként vett m veletekként kiterjeszthetjük vektornyalábokra is és az eredmény szintén egy vektornyaláb lesz. Képezhetjük egy nyaláb duális nyalábját, nyalábok direkt összegét, direkt szorzatát stb.. A duális tér képzés funktorialitása miatt a duális nyalábot trivializáló környezetek megegyeznek az eredeti nyalábot trivializáló környezetekkel. 26

27 4.3. Deníció. Legyenek adottak az (E 1, M 1, F 1, π 1 ) és a (E 2, M 2, F 2, π 2 ) vektornyalábok. Az (f, g) függvénypárt az E 1 és E 2 nyalábok közti morzmusnak nevezzük, ha az f : E 1 E 2 és a g : M 1 M 2 folytonos függvényekre igazak az alábbiak: 1. Tetesz leges p M 1 esetén f π 1 1 (p) : π 1 1 (p) π2 1 (g(p)) egy F 1 -r l F 2 -be ható lineáris leképezés. 2. A következ diagram kommutatív. f E 1 E 2 π 1 π 2 g M 1 M 2 Amennyiben a függvénypár mindkét tagja bijekció az E 1 és E 2 nyalábokat izomorfaknak mondjuk. Az (f, g) függvénypár által meghatározott vektornyaláb morzmust az f leképezés az el bbi diagram kommutativitása miatt egyedül meghatározza Deníció. Legyen (E, M, F, π) egy vektornyaláb és N M egy részsokaság. Az E-nyaláb N-re való megszorítása alatt a (π 1 (N), N, F, π π 1 (N)) nyalábot értjük. Az E nyaláb N-re vett megszorítását E N -el fogjuk jelölni. Ellen rizhet, hogy ha egy k N rangú vektornyaláb bázissokasága egy n N dimenziós sokaság, akkor a nyaláb totális tere is egy sokaság, melynek dimenziója n + k. Az el bbi megállapítás értelmében értelmezhet k a bázissokaságról a totális térbe képz függvények deriváltjai Deníció. Az (E, M, F, π) vektornyaláb egy sima szelése alatt egy olyan s : M E sima függvényt értünk, melyre π s = Id M (azaz s minden pontban a brumban veszi fel értékét). Az (E, M, F, π) vektornyaláb sima szeléseinek halmazát jelölje Γ(M, E). A sima szelések a többváltozós analízis vektor érték függvényeinek természetes általánosításai sokaságokra. Sima szelés mindig létezik, ugyanis az azonosan nullvektort felvel szelés sima. Ha U M nyílt halmaz, akkor az U feletti szelések a pontonkénti m veletekkel vektorteret alkotnak a brum alapteste felett és modulust alkotnak F(U) felett Deníció. Legyen (E, M, F, π) egy vektornyaláb, N pedig egy sokaság és Φ : N M egy folytonos leképezés. A Φ E := {(p, e) N E Φ(p) = π(e)} halmazt lássuk el az N E-t l örökölt altér topológiával és tekintsük a Φ π : Φ E N, Φ π := pr 1 leképezést. Ellen rizhet, hogy ezzel az eljárással egy (Φ E, N, F, Φ π) vektornyalábot sikerült legyártanunk. A kapott nyalábot az E vektornyaláb Φ általi N-re való visszahúzottjának nevezzük. A nyalábvisszahúzás tulajdonképpen egy speciális vektornyaláb morzmus, ezt az észrevételt az 5.2 tétel bizonyításánál fogjuk használni. 27

28 4.2. Megjegyzés. Legyen E egy vektornyaláb az M sokaság felett, N pedig szintén legyen egy sokaság. Amennyiben a Φ : N M leképezés sima értelmezhetjük az s Γ(M, E) szelés visszahúzottját Φ s := s Φ módon. A nyalábvisszahúzás deníciójának felhasználásával azonnal láthatjuk, hogy Φ s Γ(N, Φ E). A sokaságon adott tenzormez kre a sima szelések segítségével a denícióval ekvivalens új deníciót adhatunk. Ez most puszta formalitásnak t nhet, de amikor a 5.2. fejezetben a vektor érték küls formákat bevezetjük hasznát fogjuk venni ennek a szemléletnek Deníció. Az M sokaságon értelmezett (r, s) típusú sima tenzormez alatt egy χ Γ(M, T (r,s) M) sima szelést értünk. Ennek megfelel en a Γ(M, T M) sima szeléseket vektormez nek, a Γ(M, T M) sima szeléseket pedig els rend dierenciálformának hívjuk Dierenciálgeometria vektornyalábokon Legyen M sokaság, E pedig egy M feletti r rangú vektornyaláb. Tetsz leges k N esetén beszélhetünk k-ad rend vektor érték dierenciálformákról, melyeket Ω k (M, E) := Ω k (M) Γ(M, E) módon deniálunk, ahol a tenzorszorzatot, mint F(M) = Ω 0 (M) feletti modulusok tenzorszorzatát értjük. Teljesen hasonló módon deniálhatjuk az E érték dierenciálformák terét az Ω (M, E) := Ω (M) Γ(M, E) formula segítségével. Láthattuk, hogy a valós érték dierenciálformák algebráján (Ω (M)) egyértelm en megadható egy d : Ω (M) Ω (M) küls deriválás, ami Ω (M) egy endomorzmusa. Természetesen vet dik fel a kérdés, hogy létezik-e küls deriváláshoz hasonló m velet a vektor érték dierenciálformák modulusán. A válasz persze igen, csak tudnunk kell, hogy mit értsünk hasonló alatt. Mutatunk egy naiv konstrukciót E érték dierenciálformák modulusán küls deriválás bevezetésére, amely persze nem fog megfelelni követelményeinknek, de segítségével be tudunk majd vezetni Ω (M, E)-n egy értelmes küls deriválást, amit majd kovariáns deriválásnak vagy konnexiónak fogunk hívni. Ha E triviális U M felett, akkor tetsz leges s Ω k (M, E) esetén s U reprezentálható 10 s U = s i U e i módon, ahol {e i i {1,..., k}} C k egy bázisa és i {1,..., k}-ra s i U Ωk (M). Természetesen adódik, hogy a bevezetend küls deriválás egyezzen meg U-n a koordinátánként vett szokásos küls deriválással. d : Ω(U, E) Ω(U, E) s i Ue i d(s i Ue i ) := d(s i U)e i (4.5) Kérdés már csak az, hogy a lokális trivializációkhoz tartozó küls deriválások összeilleneke egy globális d : Ω (M, E) Ω (M, E) küls deriválássá. 10 Nem írjuk ki a leképezést, ami a reprezentánst az absztrakt objektummal azonosítja és szóhasználatban sem teszünk mindig különbséget. A lokális trivializáció egy U fed halmazához tartozó reprezentánsokat U-val indexeljük. 28