28.11.2014 Views

COMPLEX GEOMETRY Course notes

COMPLEX GEOMETRY Course notes

COMPLEX GEOMETRY Course notes

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.

Then we have that each (a i , b j ) is a skew-linear pairing which is unimodular (det = 1).<br />

a i<br />

b i<br />

<br />

a i 0 1<br />

b i −1 0<br />

<br />

det<br />

1<br />

Hence H 1 (S; Z) = Hom(H 1 (S; Z), Z) =: H 1 (S; Z).<br />

Let ω ∈ M ′ (S) be a closed meromorphic differential. Recall that ω is exact if and only if ω = df for some<br />

meromorphic function f ∈ M(S). Can we choose a function f ∈ M(S) such that f = ∫ z<br />

ω? As an exercise,<br />

p<br />

think if it is possible that Res p (ω) = 0 for every p ∈ S. Consider the period homomorphism<br />

Π ω : H 1 (S; Z) −→ C<br />

∫<br />

[γ] ↦→ ω, γ is a loop.<br />

γ<br />

This map is well defined. For if γ = γ ′ in H 1 then γ − γ ′ = ∂u, and by the Stokes Theorem we have<br />

∫<br />

γ ω = ∫ γ ′ ω. Also, Π ω is a C-linear map.<br />

By the de Rham Theorem, we have an isomorphism HdR 1 (Z) ∼ = H 1 (S; Z) ⊗ C if Z is compact.<br />

isomorphism is given by<br />

[ω] ∈ HdR(Z) 1 ↦→ Π ω<br />

Such an<br />

Corollary 2.10.1. dim C HdR 1 (S) = 2g.<br />

Proof: We have<br />

2 − 2g = χ(S)<br />

= ∑ (−1) i h i dR(S), where h i dR (S) = dim(H1 dR (S)),<br />

= h 0 dR(S) − h 1 dR(S) + h 2 dR(S)<br />

= 1 − dim C HdR(S) 1 + 1.<br />

Theorem 2.10.1. The de Rham ismomorphism carries wedge product of forms defined by<br />

isomorphically to the (cup) product on H 1 (S).<br />

HdR 1 × HdR 1 −→ C<br />

∫<br />

([ω 1 ], [ω 2 ]) ↦→ ω 1 ∧ ω 2<br />

S<br />

29

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

Saved successfully!

Ooh no, something went wrong!