28.11.2014 Views

COMPLEX GEOMETRY Course notes

COMPLEX GEOMETRY Course notes

COMPLEX GEOMETRY Course notes

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

where α ′ 1 involves only the coordinate z l for l < k. Thus,<br />

α = α ′′<br />

1 + ∂β<br />

where α ′′<br />

1 for l < k. Since β is holomorphic in the z l for l > k, we have ∂α ′′<br />

1 = 0, q = deg(α ′′<br />

1) < k. We<br />

conclude by induction.<br />

Proof of the previous proposition: We restrict to the case p = 0 and q = 1. Let α = fdz. As<br />

statement is local, we may assume that supp(f) is compact. Define<br />

g = 1 ∫<br />

2πi C<br />

f(z)<br />

dζ ∧ dζ := lim<br />

ζ − z ɛ→0<br />

∫<br />

1<br />

2πi C\D(z,ɛ)<br />

f(z)<br />

dz ∧ dz.<br />

ɛ − z<br />

This limit exists since f is bounded and 1<br />

ζ−z<br />

in integrable on D. We want to show that ∂g = α = fdz.<br />

∫<br />

Now g = g ɛ where g ɛ = 1<br />

f(γ+z)<br />

2πi C\D(0,ɛ) γ<br />

dγ ∧ dγ. Then<br />

( ∫ )<br />

∂g ɛ (z) = 1<br />

dγ ∧ dγ<br />

∂ z f(γ + z) dz<br />

2πi C\D(0,ɛ)<br />

γ<br />

implies<br />

∂<br />

∂z g(z) = ∂ zg(z) = 1<br />

2πi<br />

∫<br />

1<br />

= lim<br />

ɛ→0 2πi<br />

∫<br />

C<br />

C\D(z,ɛ)<br />

∂<br />

∧ dγ<br />

f(γ + z)dγ<br />

∂z γ<br />

∂<br />

∂ζ<br />

f(ζ)dζ<br />

∧ dζ<br />

ζ − z .<br />

( )<br />

On C\D(z, ɛ), we have ∂f dζ∧dζ<br />

(z)<br />

∂ζ ζ−z<br />

= −d ɛ f(ζ) dζ<br />

ζ−z<br />

. By the Stokes Theorem, we get<br />

Hence ∂g = fdz.<br />

∫<br />

1 ∂f dζ ∧ dζ<br />

2πi C\D(z,ɛ) ∂ζ ζ − z = 1 ∫<br />

f(ζ)<br />

−→ f(z) as ɛ −→ 0.<br />

2πi ∂D(z,ɛ) ζ − z<br />

45

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

Saved successfully!

Ooh no, something went wrong!