26.07.2013 Views

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

SHOW MORE
SHOW LESS

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

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

Weierstrass-<strong>type</strong> repræsentationen for harmoniske <strong><strong>af</strong>bildninger</strong> 37<br />

2.2 Weierstrass-<strong>type</strong> repræsentationen for harmoniske<br />

<strong><strong>af</strong>bildninger</strong><br />

I teorien for minimalflader indgår der centrale sammenhænge mellem disse <strong>og</strong> holomorfe<br />

<strong>og</strong> meromorfe funktioner, idet en enkeltsammenhængende minimalflade kan konstrureres<br />

vha. disse funktions<strong>type</strong>r, som det netop fremgår <strong>af</strong> Weierstrassrepræsentationen for minimalflader,<br />

(Sætning 1.1.3). De holomorfe <strong>og</strong> meromorfe funktioner i den sammenhæng<br />

fungerer som det, vi lidt løst vil kalde for Weierstrassdata. For harmoniske <strong><strong>af</strong>bildninger</strong><br />

vil vi vise, at der gælder anal<strong>og</strong>e tilstande. Vi betragter derfor en harmonisk <strong>af</strong>bildning<br />

f : M → G/K på en enkeltsammenhængende Riemannflade M. Vi kan anvende uniformiseringssætningen<br />

for Riemannflader (Sætning 1.1.5), hvor vi ønsker vores teori anvendt på<br />

tilfældet, hvor M er enten R 2 ∼ = C eller enhedsskiven <strong>med</strong> global koordinat z. Vi introducerer<br />

først en speciel <strong>type</strong> <strong>af</strong> transformationer.<br />

Definition 2.2.1. Lad M være en enkeltsammenhængende Riemannflade <strong>og</strong> lad K være<br />

en Lie gruppe. En <strong>af</strong>bildning H : M → K kaldes for en gauge-transformation.<br />

I forhold til spørgsmål vedrørende entydighed <strong>af</strong> korrespondancen mellem harmoniske<br />

<strong><strong>af</strong>bildninger</strong> <strong>og</strong> udvidede løft spiller gauge-transformationer en central rolle.<br />

Bemærkning 2.2.2. Givet en harmonisk <strong>af</strong>bildning f : M → G/K fås det, at et udvidet<br />

løft ˜ F : M → ΛGσ til f kun er bestemt op til en gauge-transformation H : M → K, dvs.<br />

at ˜ F H : M → ΛGσ <strong>og</strong>så er et udvidet løft til f.<br />

Så ˜ F1 <strong>og</strong> ˜ F2 genererer samme harmoniske <strong>af</strong>bildning, hvis <strong>og</strong> kun hvis der findes en<br />

<strong>af</strong>bildning H : M → K, således at ˜ F2 = ˜ F1H. Vi har da en bijektiv korrespondance<br />

imellem harmoniske <strong><strong>af</strong>bildninger</strong> <strong>og</strong> udvidede løft modulo gauge-transformationer. Mere<br />

præcist betragter vi følgende mængder.<br />

H := f : M → G/K <br />

f(0) ∈ K, f er harmonisk ,<br />

<br />

<br />

<strong>og</strong> F := ˜F : M → ΛGσ F ˜(0) ∈ K, F˜ er et udvidet løft .<br />

Vi definerer nu ækvivalensrelationen ∼ på F ved at ˜ F1 ∼ ˜ F2, hvis <strong>og</strong> kun hvis ˜ F2 = ˜ F1H for<br />

en gauge-transformation H : M → K. Givet en harmonisk <strong>af</strong>bildning f ∈ H vælges et løft<br />

F : M → G <strong>med</strong> F ·K = f. Vi har α = F −1dF <strong>og</strong> αλ = ˜ −1<br />

F1 dF1, ˜ hvor ˜ F1 : M → ΛGσ <strong>med</strong><br />

˜F1(0) = F (0) ∈ K er et udvidet løft mht. F . Vi indfører korrespondancen Z : H → F/ ∼<br />

givet ved<br />

Z(f) = [ ˜ F ], (2.1)<br />

som viser sig at være bijektiv.<br />

Lemma 2.2.3. Afbildningen Z defineret i (2.1) er veldefineret <strong>og</strong> bijektiv.

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

Saved successfully!

Ooh no, something went wrong!