Harmoniske afbildninger af endelig type og med ... - CP3-Origins
Harmoniske afbildninger af endelig type og med ... - CP3-Origins
Harmoniske afbildninger af endelig type og med ... - CP3-Origins
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Kapitel 0<br />
Introduktion<br />
I studiet <strong>af</strong> harmoniske <strong><strong>af</strong>bildninger</strong> fra en Riemannflade til et symmetrisk rum spiller to<br />
klasser <strong>af</strong> harmoniske <strong><strong>af</strong>bildninger</strong> en vigtig rolle, nemlig harmoniske <strong><strong>af</strong>bildninger</strong> <strong>med</strong> <strong>endelig</strong>t<br />
unitontal <strong>og</strong> harmoniske <strong><strong>af</strong>bildninger</strong> <strong>af</strong> <strong>endelig</strong> <strong>type</strong>. I [20] introducerede Uhlenbeck<br />
begrebet harmoniske <strong><strong>af</strong>bildninger</strong> <strong>med</strong> <strong>endelig</strong>t unitontal som værende <strong><strong>af</strong>bildninger</strong>, der<br />
stammer fra en familie <strong>af</strong> <strong><strong>af</strong>bildninger</strong> kaldet udvidede løsninger, som er holomorfe <strong><strong>af</strong>bildninger</strong><br />
i løkkegrupper, der opfylder en <strong>type</strong> <strong>af</strong> førsteordens differentialligninger. Uhlenbeck<br />
indførte tillige en proces, hvor nye harmoniske <strong><strong>af</strong>bildninger</strong> kan konstrureres fra oprindelige<br />
harmoniske <strong><strong>af</strong>bildninger</strong> ved at modificere den oprindelige <strong>af</strong>bildning ved at udføre en proces,<br />
der kaldes at addere en uniton. Processen bevarer det <strong>endelig</strong>e unitontal <strong>og</strong> specielt<br />
har Uhlenbeck klassificeret alle harmoniske <strong><strong>af</strong>bildninger</strong> fra 2-sfæren, idet hun har vist,<br />
at enhver harmonisk <strong>af</strong>bildning fra S 2 til U(n) er en harmonisk <strong>af</strong>bildning <strong>med</strong> <strong>endelig</strong>t<br />
unitontal.<br />
Derimod korresponderer en harmonisk <strong>af</strong>bildning <strong>af</strong> <strong>endelig</strong> <strong>type</strong> til en <strong>af</strong>bildning, hvis<br />
holomorfe potentiale, som indgår i DPW-metoden fra [6], kan opskrives på en bestemt,<br />
konstant form. I [15] undersøger Correia <strong>og</strong> Pacheco, hvorvidt Gaussbundterne til en harmonisk<br />
<strong>af</strong>bildning <strong>af</strong> <strong>endelig</strong> <strong>type</strong>, der tillæges en uniton, bevarer egenskaben, at de er <strong>af</strong><br />
<strong>endelig</strong> <strong>type</strong>. I [14] har Pacheco endvidere vist, at enhver harmonisk <strong>af</strong>bildning fra T 2 til<br />
CP n , som både er <strong>af</strong> <strong>endelig</strong> <strong>type</strong> <strong>og</strong> har <strong>endelig</strong>t unitontal, nødvendigvis må være konstant.<br />
Formålet <strong>med</strong> dette projekt er at undersøge sammenhængen mellem harmoniske <strong><strong>af</strong>bildninger</strong><br />
<strong>af</strong> <strong>endelig</strong> <strong>type</strong> <strong>og</strong> harmoniske <strong><strong>af</strong>bildninger</strong> <strong>med</strong> <strong>endelig</strong>t unitontal, hvor vi specielt<br />
vil vise ovenstående resultater fra Pacheco, [14] <strong>og</strong> Correia <strong>og</strong> Pacheco, [15].<br />
I Kapitel 1 vil vi indføre forskellige begreber, som vi får brug for. Blandt andet vil vi<br />
introducere Riemannflader, vektorbundter samt konnektioner på disse. Vi vil give bevis<br />
for diverse standardresultater, herunder symmetri <strong>af</strong> den anden fundamentalform. Sammen<br />
<strong>med</strong> Lie grupper, Lie algebraer <strong>og</strong> symmetriske rum er alt dette <strong>med</strong> til at muliggøre<br />
definitionen <strong>af</strong> harmoniske <strong><strong>af</strong>bildninger</strong>, hvilket vi indfører som værende <strong><strong>af</strong>bildninger</strong> <strong>med</strong><br />
forsvindende spændingsfelt. Efterfølgende skal vi specielt vise, at dette præcist svarer til de<br />
kritiske punkter for energifunktionalet. Til sidst i kapitlet gives der forskellige beskrivelser<br />
1