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
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.