Introduction to Hodge Theory and K3 surfaces Contents 2

advertisement
Introduction to Hodge Theory and K3 surfaces
Contents
I
Hodge Theory (Pierre Py)
2
1 Kähler manifold and Hodge decomposition
2
1.1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
1.2
Hermitian and Kähler metric on Complex Manifolds
. . . . . . . . . . . . . . . . . . . . .
4
1.3
Characterisations of Kähler metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5
1.4
The Hodge decomposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5
2 Ricci Curvature and Yau's Theorem
7
3 Hodge Structure
9
II
Introduction to Complex Surfaces and K3 Surfaces (Gianluca Pacienza)
4 Introduction to Surfaces
10
10
4.1
Surfaces
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2
Forms on Surfaces
10
4.3
Divisors
4.4
The canonical class . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
4.5
Numerical Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
4.6
Intersection Number
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
4.7
Classical (and useful) results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
5 Introduction to K3 surfaces
14
1
Part I
Hodge Theory (Pierre Py)
Reference: Claire Voisin:
1
Hodge Theory and Complex Algebraic Geometry
Kähler manifold and Hodge decomposition
1.1
Introduction
Denition 1.1.
h:V ×V →C
Let
V
1. It is bilinear over
2.
C-linear
be a complex vector space of nite dimension,
h
is a
hermitian form
on
V.
If
such that
R
with respect to the rst argument
3. Anti-C-linear with respect to the second argument
i.e.,
h(λu, v) = λh(u, v)
4.
h(u, v) = h(v, u)
5.
h(u, u) > 0
Decompose
and
ω
h
if
and
h(u, λv) = λh(u, v)
u 6= 0
into real and imaginary parts,
h(u, v) = hu, vi − iω(u, v)
(where
hu, vi
is the real part
is the imaginary part)
Lemma 1.2.
h, i
is a scalar product on V , and ω is a simpletic form, i.e., skew-symmetric.
Note. − h , i determines ω
Proof.
By the property 4.
and conversely
h, i
is real symmetric and
ω
is skew-symmetric.
hu, ui = h(u, u) > 0
so
h, i
is
scalar product
u0 ∈ V such that ω(u0 , v) = 0∀v ∈ V . This equates to h(u0 , v) is real for all v . Also h(u0 , iv) is
real for all v , but h(u0 , iv) = −ih(u0 , v) ∈ = therefore, h(u0 , v) = 0. Hence u0 = 0, as h is non-degenerate.
So ω is non-degenerate.
2
Now we show − h , i determines ω : ω(u, v) = −=h(u, v) = =(i h(u, v)) = =(ih(iu, v)) = hiu, vi, so
ω(u, v) = hiu, vi.
Let
Lemma 1.3.
Proof.
Plug in
ω(u, iu) > 0
v = iu
Denition 1.4.
for all u 6= 0.
in the last part of the previous lemma.
We say that a skew-symmetric form on a complex vector space is
positive
above property (of lemma 1.3)
If
h(iu, iv) = h(u, v)
Exercise.
Prove that a
then
(
ω(iu, iv) = ω(u, v)
hiu, ivi = hu, vi
2-form
on
ω
on
V
satisfy
(∗)
(∗)
2
if and only if it is of type
(1, 1)
if it has the
C-vector
Pspace of dimC V = n = 2k . Let
Pz1 , . . . , zn be coordinates
P on V and e1 , . . . , en be
a basis such that v =
zi ei 7→ zj and dzj :
zi ei 7→ zj for 1 ≤ j ≤ n.
i zi ei for v ∈ V . Dene dzj :
Then dz1 , . . . , dzn , dz 1 , . . . , dzn ∈ HomR (V, C). We have dimR HomR (V, C) = 2 · 2n = 4n. If λ ∈ C
and φ ∈ HomR (V, C), dene λφ : v 7→ λφ(v). So HomR (V, C) can be viewed as a C-vector space, then
dimC HomR (V, C) = 2n.
Let
V
be a
Exercise.
Exercise.
dz1 , . . . , dzn , dz 1 , . . . , dzn
1. An element
where
2.
φ
is a basis for
HomR (V, C)
as a
space
φ ∈ HomR (V, C) is C-linear if and only if φ can be written as φ =
Pn
i=1 αi dzi
αi ∈ C.
is antiC-linear map if and only if
φ
can be written as
φ=
Pn
i=1 βi dzi where
Let I be the set of {i1 < · · · < ik }. dzI = dzi1 ∧ dzi2 ∧ · · · ∧ dzik
dzI = dzi1 ∧ dzi2 ∧ · · · ∧ dzik is a k -linear alternating form V to C
Denition 1.5. A k-form α on V
dzJ
C-vector
λI,J ∈ C.
Any k -form α
is a
k -linear
βi ∈ C.
alternating form
C), is of type (p, q), with p+q = k if α =
(with values in
V
P
|I|=p,|J|=q
to
C.
λI,J dzI ∧
for
Example.
k=1
k=2
Let
V
(p, q)
is a sum of forms of type
be of dimension
for
(0, 1)-forms
are anti-C-linear maps from
(2, 0)-forms
are
maps from
are
Then
α=
P
p+q=k
αp,q
V →C
dz1 ∧ dz2
forms are spanned by
(0, 2)-forms
p + q = k.
V →C
are
(1, 1)
and
2
(1, 0)-forms
C-linear
0 ≤ p, q ≤ k
dzi ∧ dzj
for
i, j ∈ {1, 2}
dz1 ∧ dz2
Exercise. The type of a form does not depend on the choice of basis.
Example. Let V = Cn , zi = xi + iyi then
dz1 + dz1
∧ dz2
2
dz1 ∧ dz2 dz1 ∧ dz2
+
=
2 } | {z
2 }
| {z
dx1 ∧ dz2 =
(2,0)−form
Example.
If
X
is a complex surface,
z1 , z2
(1,1)−form
are local coordinate on
X,
then a
2-form
is a combination
• dz1 ∧ dz2 a (2, 0)-form


dz1 ∧ dz2



dz ∧ dz
1
1
•
are (1, 1)-forms

dz2 ∧ dz2



dz ∧ dz
2
1
• dz1 ∧ dz2
Summary:
Conversely if a
a
(0, 2)-form
If h
(1, 1)
is a hermitian form,
ω = −=h is a (1, 1)-form and is positive (i.e, ω(u, iu) > 0).
ω = −=h for some hermitian form h.
form is positive it arises as
3
1.2
Let
Hermitian and Kähler metric on Complex Manifolds
M
be a complex manifold.
Convention: Each tangent space of
endomorphism
Jx : Tx M → Tx M
Denition 1.6.
Tx M
and
hx
is
A
C∞
hermitian metric
on
space and write
J
(or
Jx )
for the
on
M
is the following. For each
x ∈ M , hx
is a hermitian metric on
M.
So as before we can write
on
M , Tx M is a complex vector
v 7→ iv . (J 2 = − id)
dened by
h = h , i − iω .
The
h, i
is a Riemannian metric on
M
and
ω
is a
(1, 1)
form
M
Denition 1.7.
Example.
Why?
We say
h
is Kähler if
ω
is closed, i.e.,
dω = 0.
• If dimC M = 1, that is M is a Riemann surface, then any hermitian metric
dω by denition is a 3-form on a 2-dimension R-manifold, so it must be zero.
is Kähler.:
• ∂, ∂ operators: If f : M → C is a function. df is a 1-form and dfx : Tx M → C. We can decompose as
dfx = ∂fx +
∂fx . So df = ∂f + ∂f . ∂ and ∂ extend to operators from Ωk → Ωk+1 (where
|{z}
|{z}
C−linear
Ωk
is the
C−antilinear
C-value k -forms)
dened by
∂(α ∧ β) = ∂α ∧ β + (−1)|α| α ∧ ∂β
∂(α ∧ β) = ∂α ∧ β + (−1)|α| α ∧ ∂β
Exercise.
• M = PnC :
α is a (p, q)-form (it is of type (p, q) at each point), then dα is the
(p, q + 1) form: ∂ is the (p + 1, q) form and ∂ is the (p, q + 1)piece
If
form and a
sum of a
(p + 1, q)
M ) (1, 1)-form (it must be
1
ω[z] = 2πi
∂∂ log(||z||2 ). Check that it is
∗
if f : U → C is holomorphic, check that
We dene a close positive (that is positive on each point on
the imaginary part of a hermitian metric) is dened by
well dened, (does not dene on the ane piece): hint:
∂∂ log |f |2 = 0.
•
If
T = Cn /Λ, Λ
•
If
(M, h)
ω|Σ
a lattice of
is Kähler, and
Cn ,
Σ⊂M
then any constant coecient metric is Kähler.
is a
C-submanifold.
Then
(Σ, h|Σ )
is Kähler. As
d(ω|Σ ) = dω|Σ ⇒
is closed.
Lemma 1.8. Let M be a complex
manifold of C-dimension n with hermitian metric h. The Riemannian
ωn
volume form of h , i is equal to n! .
(If
V
is
C-vector
space with
C-basis e1 , . . . , en
then
e1 , Je1 , e2 , Je2 , . . . , en , Jen
is a positive real basis.
That is it has a canonical basis)
Corollary 1.9. Let M be a closed complex manifold, i.e., compact with no boundary. Then ∀k ∈ {1, . . . n},
ωk = ω
· · ∧ ω} is closed and non-zero in cohomology, i.e., ω is not exact.
| ∧ ·{z
k times
k
n
k
n−k = dα ∧ ω n−k = d(α ∧ ω n−k ). Hence by Stoke's theorem
some α, then ω = ω ∧ ω
´Proof.n If ω = dα
´ for
ωn
M ω = 0, but M n! = Vol(M ) > 0, hence contradiction.
4
So
2n (M, R) 6= 0
HDR
Corollary 1.10. If M is compact, Kähler and Σp ⊂ M n closed C-submanifold, then the homology class
[Σ] ∈ H2p (M ), the fundamental class of Σ, is non-zero.
Proof. 0 <
Exercise.
that
φh
1.3
´
ωp
Σ p!
If
X
= Volh Σ,
then
Σ
is not homologeous to
is a compact manifold and
is Kähler if and only if
φ
dimC X ≥ 2
0.
and
h
a Kähler metric, and
φ : X → R∗+ .
Prove
is constant.
Characterisations of Kähler metrics
(M, h) be a complex manifold with hermitian
<(h) = h , i which is a Riemannian metric.
Let
metric. Recall that
∇
is the Levi-Civita connection of
Theorem 1.11. The following are equivalent:
1. h is Kähler
2. For any vector eld X on U ⊂ M (open set) then ∇(JX) = J(∇X)
Proof. 2. ⇒ 1.
By denition of Levi-Civita connection
d hX1 , X2 i = h∇X1 , X2 i + hX1 , ∇X2 i,
dω(X1 , x2 ) = d hJX1 , X2 i
= h∇JX1 , X2 i + hJX1 , X2 i
= hJ∇X1 , X2 i + hJX1 , X2 i
so
dω(X1 , X2 ) = ω(∇X1 , X2 ) + ω(X1 , ∇X2 ) (∗).
dω(X0 , X1 , X2 ) = X0 ·ω(X1 , X2 )−X1 ·ω(X0 , X1 )+X2 ·ω(X0 , X1 )−ω([X0 , X1 ], X2 )+ω(X0 , [X1 , X2 ])+ω([X0 , X
Use
1. ⇒ 2.
1.4
(∗)
and
∇X Y − ∇Y X = [X, Y ]
to show that
dω(X1 , X2 , X3 ) = 0
Not done
The Hodge decomposition
We want to construct a decomposition of the de Rham cohomology group
K (M, C) (C-valued dierential
HDR
forms) of a compact Kähler manifold.
If
p + q = k,
H p,q (M ) ⊂ H k (M ) by H p,q (M ) =subspaces of class [α] such that α can be
form of type (p, q), i.e., there exists β of type (p, q) closed such that α − β is exact
we dene
represented by a closed
Our goal:
Theorem 1.12. If M is compact
Kähler, then H k (M ) = ⊕p+q=k H p,q (M ). If α is a closed form (on a
P p,q
complex manifold) and if α = α is its decomposition. A priori, the αp,q need not be closed
Example.
X = (C2 \ {0})/(v 7→ 21 v).
Then
H 1 (X) 6= 0
5
but
H 1,0 (X)
and
H 0,1 (X)
are zero.
Hodge Theory:
Let
(M, h , i
be Riemannian manifold
M , if e1 , . . . , en is a orthonormal R-basis of TX M ,
e∗1 , . . . , e∗n the dual basis (using h , i on M ) and for each multi-index {i1 < · · · < iR } = I , let e∗I =
e∗i1 ∧ · · · ∧ e∗iR . then {e∗I }I forms a basis of ΛR (Tx M )∗ (the space of k forms on Tx M ).
∗
k
∗
We declare that {eI }I is orthonormal. This denes a scalar product on Λ (Tx M ) (depending only on
h , i). We still denote it as h , i. If α, β are k -forms on M we dene
ˆ
hαx , βx i Vol
hα, βiL2 =
We need some norms on the space of forms on
M
Hodge Star Operator
(
∗ : Λk (T M )∗ → Λp−k (T M )∗
Let dimR M = p.
∗2 = (−1)k(p−k)
. Fix
x ∈ M , because h , i exists on Λk (Tx M )∗
we have
the following diagram
Λk (Tx M )∗
∼
(Λk (Tx M )∗ )∗
∗
'
∼
Λp−q (Tx M ∗ )
if
β
is a
(p − k)-form
and
α
a
k -form
with
α 7→ (α ∧ β)/Vol
then
hα, βi Vol = α ∧ ∗β
d : Λk → Λk+1 , we want to construct the adjoint d∗ of d
k
k−1 then hα, d∗ (β)i
such that α ∈ Λ , β ∈ Λ
L2 = hdα, βiL2
Claim.
for
h , iL2 .
That is we want
d∗ on Λk by d∗ = (−1)k ∗−1 d∗ then it works.
´
(−1)k α ∧ d ∗ β ,
´Proof. (∂α, β)L2 =k ´ M dα ∧ ∗β . d(α ∧ ∗β) = dα ∧ ∗β +
∗
M dα ∧ ∗β + (−1)
M α ∧ d ∗ β = · · · = hdα, βiL2 − hα, d βiL2
If we dene
Denition 1.13.
The
Denition 1.14.
A
Lemma 1.15.
Proof.
d∗ : Λk → Λk−1
Laplacian ∆ : Λk → Λk
k -form α
is
harmonic
if
is dened by
so by Stoke's theorem
0 =
∆ = dd∗ + d∗ d
∆α = 0
h∆α, αi = |dα|2L2 + |d∗ α|2L2 = hdα, dαiL2 + hd∗ α, d∗ αiL2
and h∆α, βi = hα, ∆βi
Exercise (formal)
Corollary 1.16.
∆α = 0
if and only if dα = 0 and d∗ α = 0, i.e., harmonic forms are closed.
Theorem 1.17. Any smooth k-form α on M can be written as a sum of a harmonic one plus the Laplacian
of another form
The theorem says that for any
So we have a map Harmonic
α,
α0 harmonic and
k
HDR (M )
there exists
k -forms→
β
a
k -form
such that
α = α0 + ∆β
Corollary 1.18. Any de Rham cohomology class can be represented by a unique harmonic form H k (M ) ∼
=
ker(∆ : Λk → Λk )
6
Proof.
∗
∗
Let α be a closed k -form. Write α = α0 + ∆β , α0 -harmonic. So α = α0 + dd β + d dβ and since α0
∗
∗
∗
∗
∗
∗
and dd β are both closed we have d dβ is also closed. 0 = hdd dβ, dβiL2 = hd dβ, d dβiL2 = ||d dβ|| = 0,
∗
∗
so d dβ = 0. Hence α − α0 = d(d β) is exact. Hence [α] = [α0 ] so [α] is represented by a harmonic form.
We want to show that if
d∗ α0 = 0.
So
d∗ dγ = 0,
α0 is harmonic and [α0 ] = 0 then α0 = 0. Let α0 = dγ ,
hd∗ dγ, γiL2 = 0 = ||dγ||2L2 , so dγ = α0 = 0
then
0 = ∆α0
implies
hence
We assume now that
M
is Kähler,
h , i = <(h)
and
h
is a Kähler metric.
Theorem 1.19. In this case the Laplacian preserved the type of forms, that is ∆(Ap,q ) ⊂ Ap,q where Ap,q
is the space of (p + q)-forms of type (p, q)
Corollary 1.20. The Hodge decomposition exists
P p,q
P
Proof. α is harmonic so ∆α = 0. Write α P
=
α so ∆α =
∆αp,q . So ∆αp,q = 0, hence ∆αp,q are
harmonic, thence they are closed. So
[αp,q ],
[α] =
therefore the
H p,q
span
H k (M, C)
Check that this is a direct sum.
2
Ricci Curvature and Yau's Theorem
Let
(M, h , i
be a Riemannian manifold,
Curvature tensor of
Let
X, Y, Z
∇
the Levi-Civiti connection
M
be vector elds on open set of
M.
∇Y (∇X Z) − ∇X (∇Y Z) − ∇[X,Y ] Z (∗)
Exercise. In Euclidean space, X, Y, Z : U → Rm , ∇Z = dZ , then (∗) = 0
Fact. (∗) is a tensor: The value of (∗) at x ∈ M depends only on X(x), Y (x), Z(x), this means that
(∗) = R(X, Y )(Z) where R(X, Y ) is the endomorphism of Tx M . We call R the curvature tensor. It is a
bilinear map Tx M × Tx → End(Tx M )
1. R(X, Y ) = −R(Y, X)
2. R(X, Y ) is skew-symmetric for h , i, i.e., hR(X, Y )(Z), T i = − hZ, R(X, Y )(T )i
Part 1. tells us we can think of R as 2-form with values in the space of symmetric endomorphism of
× p(p−1)
.
Tx M . If p = dimR M then skew-sym(Tx M ) has dimension p(p−1)
2
2
The Ricci tensor of M will be (on each point x ∈ M ) a symmetric bilinear from on Tx M . If X, Y
are tangent vectors Ricci(X, Y ) := Tr(R(X, −), (Y )) (i.e., Tr(Z 7→ R(X, Z)(Y ))
3. hR(X, Y )(Z), T i = hR(Z, T )(X), (Y )i
Lemma 2.1. Ricci is symmetric
Proof. Let e1 , . . . , ep be orthonormal basis of Tx M .
Ricci(X, Y
Then
) =
X
=
X
hR(X, ei )(Y ), ei i
i
hR(Y, ei )(X), ei i
i
=
Ricci(Y, X)
7
Next we assume
Exercise.
M
Prove that
is Kähler.
R(JX, JY ) = R(X, Y )
(use the fact that
∇JX = J∇X ),
i.e., that
R
is of type
(1,1)
Let
h = h , i − iω
be a Hermitian metric. We transform Ricci (a symmetric object) into something
skew-symmetric
Denition 2.2.
The Ricci form of the Kähler metric is
Proposition 2.3.
Proof. γω
is a
γω
γω (X, Y ) = Ricci(JX, Y )
is skew-symmetric and a (1, 1)-form
(1, 1)-form
because
γω (JX, JY ) = γω (X, Y )
γω (Y, X) =
=
Ricci(JY, X)
Ricci(−Y, JX)
= −γω (X, Y )
How to relate
γω
to the
1st
Chern Class of
M?
st
2
We will dene the 1 Chern Class of a holomorphic line bundle L → M . c1 (L) ∈ H (M, R) (actually
2
2
c1 (L) lives in H (M, Z), we simply look at its image in H (M, R)). Let h be a hermitian metric on L. If
1
s is a local holomorphic section without zeroes on some open set U , we dene Ω = 2πi
∂∂ log h(s, s)
1.
Ω does not depend on s, (i.e., ∂∂ log h(s1 , s1 ) = ∂∂ log h(s2 , s2 ) is s1
on U )
2.
Ω
and
s2
are two non-zero sections
is globally dened
3. The cohomology class of
h0 = f h
for
Ω
does not depend on
h
(any other hermitian metric on
L
is of the form
1
f > 0, Ω0 = Ω +
∂∂ log f 2 )
2πi
|
{z
}
is exact
c1 (L) to be the class of Ω. Now if
p
bundle Λ T M → M (where p = dimC M )
We dene
M
is a complex manifold its
1st
Chern Class is that of the
Exercise.
n
Let L → PC be the tautological line bundle. L can be endowed with the restriction of the
n+1
metric C
. Compute Ω as given above, you should nd the negative of the example of Kähler metric of
n
CP given earlier.
On a Kähler manifold
R(X, Y )
is
C-linear,
hence skew hermitian.
Proposition 2.4.
Corollary 2.5.
γω (X, Y ) = −i TrC R(X, Y )
γω is closed γ2πω = −c1 (M )
ω be a Kähler form on V . Any (1, 1)-form α on V can be written as α = λv + β (λ ∈ R
β satises β ∧ ω n−1 = 0. (If β satises this we say that β is primitive )
Let
where
8
or
C),
Corollary 2.6. Let (M, h) be Kähler. Then h , i has zero
to saying R is primitive 2-form).
If
(M, h)
is Kähler and if
Theorem 2.7
(Calabi-Yau)
h0 = h , i − iω0
such that
and cohomologeous to ω.
3
then
γω
curvature ⇐⇒ R ∧ ωn = 0 (equivalent
is cohomologeous to zeroes.
( . If (M, ω) is Kähler, c1 (M ) = 0, then there exists a unique Kähler metric
[ω0 ] = [ω]
. In other words, there is a unique metric with 0 Ricci curvature
γω0 = 0
Hodge Structure
M
Let
p,q
(M ∼
= Zl )
be a nitely generated free module
Denition 3.1.
V
c1 (M ) = 0,
Ricci
=V
A
Hodge structure of weight k on M
is a decomposition
M ⊗Z C = ⊕p+q=k V p,q
such that
q,p
Remark.
• M ⊗ C = M ⊗ R + iM ⊗ R,
so we have an involution
a + ib 7→ a − ib this is the conjugation
which appears in the denition.
•
In general we assume
Example.
V p,q = 0
if
p<0
or
q<0
(M, h) is compact Kähler, H k ∗ M, Z)/Torsion has a weight k Hodge structure.
k
k
k
of H (X, Z)/Tor is H (X, C) and we have the decomposition on H (X, C)
If
plexication
Denition 3.2.
A
polarization for a Hodge structure of weight k on M
is a bilinear form
The com-
Q : M ×M → Z
which is
k
1. Symmetric for
even and skew-symmetric for
2.
QC M ⊗ C × M ⊗ C → C
3.
α ∈ V p,q \ {0}, (−1)
Example.
satises
k
QC (α, β) = 0
odd
if
0
α ∈ V p,q , β ∈ V p ,q
0
and
p 6= p0
k(k−1)
2
(−1)q ik Q(α, α) > 0
´
M = H k (X, Z)/Tor, Q(α, β) = X ω n−k ∧ α ∧ β
(is integral value since
[ω]
is integral). This
satisfy 1. and 2. but not 3. in general
Proposition 3.3. A weight 1 Hodge structure is the same thing as a complex torus (a polarised weight 1
Hodge structure is the same thing as an Abelian Variety)
Proof. M = Zk , M ⊗ C = A ⊕ A.
Consider
π : M ⊗ C → A is injective
A/π(Zk ) is the complex torus.
The projection
in
A).
If
Then
X
is a K3 surface, we will see that
of dimension
1, 20, 1
v ∈ M , then its decomposition must be (a, a) (since v is real).
k
k
k
on Z . π(Z ) ⊂ A (exercise: π(Z ) is discrete, so its a lattice
M = H 2 (X, Z) is isomorphic to Z22 , H 2 (X, Z) = H 2,0 +H 1,1 +H 0,2
respectively.
Lemma 3.4. If M and the intersection form are given, then the Hodge structure is determined by H 2,0 .
In particular, for a K3 surface the Hodge
structure is determined by a point in P21 ⊂ P(H 2 (X, C)). This
´
points lives in the quadric dened by X α ∧ α = 0
Exercise.
If
β
is a
(1, 1)-form
then
β∧β
is semi-positive.
9
Part II
Introduction to Complex Surfaces and K3 Surfaces
(Gianluca Pacienza)
References:
Compact Complex Surfaces
Beauville: Surfaces algebriques Complexes
Miranda: An overview of algebraic surfaces ( Free on the internet)
*: Geometry des surfaces K3
Barth,Peters, Vand De Ven:
4
Introduction to Surfaces
We assume
4.1
X
is Kähler for this whole part
Surfaces
Denition 4.1.
A
compact complex surface (or more simply a surface) X is compact, connected, complex
manifold of
dimC X = 2
Example.
F ∈ C[x0 , . . . , x3 ]
X := {F = 0} ⊂ P3
homogeneous.
(of course
F =
∂F
∂x0
= ··· =
∂F
∂x3
=0
has
no solutions)
F1 , . . . , Fn−2 ∈ C[x0 , . . . , xn ] homogeneous polynomial of degree d1 , . . . , dn−2 such
∂Fi
of multiple degree
∂xj (p) i,j has maximal rank at each p ∈ X . (X is called
More generally if
that
complete intersection
(d1 , . . . , dn−2 ))
P
Note. If di = n + 1
Denition 4.2.
then
X
A surface is called
1.
∀p 6= q ∈ X , ∃f ∈ M (X)
2.
∀p ∈ X , ∃f, g ∈ M (X)
Example.
on
2.
X ⊂ Pn
Pn restricted to X
1. If
T = C2 /Λ
is a K3 surface
algebraic
such that
such that
if its eld
M (X)
of meromorphic function satises
f (p) 6= f (q)
(f, g)
gives local coordinates of
X
at
is a surface then it is algebraic, since the ratios
satises
a complex torus of
1
and
dim 2.
2
p.
xi
xj of homogeneous coordinates
(of Denition 4.2)
A random choice of
Λ
will lead to a non-algebraic surface
3. We will see that a random K3 surfaces is non-algebraic.
4.2
Forms on Surfaces
Denition 4.3.
A
dierentiable 1-form
(or
C ∞) ω
on a surface
X
is locally an expression:
f1 (z, w)dz + f2 (z, w)dz + g1 (z, w)dw + g2 (z, w)dw
where
(z, w)
are local coordinates and
fi , gi
are
C∞
functions (plus patching conditions)
10
Remark.
(1, 0)
(0, 1)
Since coordinate change preserves
type:
type:
∂z, ∂z, ∂w, ∂w
the type is well dened:
f dz + gdw
f dz + gdw
Denition 4.4. (n = 1, 2, 3, 4) A C ∞ n-form ω on a surface X is locally a linear combination of expressions
f (z, z, w, w)dα1 ∧ · · · ∧ dαn with dαi ∈ {dz, dz, dw, dw)
dαi ∧ dαi = 0 and antisymmetric) (plus combability conditions)
A type (p, q) means p-times dz or dw and q -time dz or dw
of the form
Denition 4.5.
A
and
f ∈ C∞
(with the usual rule
holomorphic (and respectively meromorphic ) n-form is an n-form of type (n, 0) whose
coecients are holomorphic (respectively meromorphic) functions.
Example.
4.3
T = C2 /Λ.
If
z1 , z2
are coordinates on
C
then
dz1 , dz2 , dz1 , dz2
descend to the quotient
Divisors
Denition 4.6.
n
i.e.,
D↔
fi
gi
A
divisor
o
i∈I
fi , gi
D=
P
mi ∈Z mi Yi ,
local holomorphic function on
Ui
Yi ⊂ X
such that
a codimension
(fi /gi )/(fj /gj )
1
subvarieties.
has no zeroes or
fi ) − (zeroes of gi ) (all counted with multiplicities)
P
P
P
Divisors form an abelian group Div(X), D =
im
n o
n o
ni Yi , Eo = i ni Yi then D + E = i (ni + mi )Yi ,
fi
fi α i
αi
equivalently if D =
and E =
gi
βi then D + E = gi βi .
poles on
Ui ∩ Uj 6= ∅.
,
is a nite formal sum
Hence locally
D =(zeroes
of
Denition 4.7. If D is dened globally by zeroes and poles of a meromorphic function f
is called principal
∈ M (X)
then
D
Prime(X)
=Subgroup
Denition 4.8.
of principal divisors
≤ Div(X)
Pic(X)
:= Div(X)/Prime(X).
Equivalently: We say D1 , D2 ∈ Div(X) are linearly equivalent if ∃f ∈ M (X) such that D1 − D2 =
div(f ). We use the notation, D1 ∼ D2 . So we get a group Div(X)/ ∼.
(Which we will avoid calling it Pic(X), as it is abusive language if X is not algebraic.)
n o
Denition 4.9. If F : X → Y is a morphism of manifolds and D = fgii ∈ Div(Y ) then the pull-back of
n
o
◦F
D is F ∗ D = fgii ◦F
The exponential sequence
We have the exact sequence
0
where
OX
/Z
/ OX exp / O ∗
X
is the sheaf of holomorphic functions on
functions on
X
and
∗
OX
/0
is the sheaf of non-vanishing holomorphic
X.
by taking the long exact sequence in cohomology we get
0
where
∗ )
H 1 (X, OX
/ H 1 (X, Z)
represents
{line
/ H 1 (X, OX )
bundles on
X}/isom.
11
/ H 1 (X, O ∗ ) c1
X
/ H 2 (X, Z)
Fact.
H p,q (X) = H q (X, ΩpX ),
where ΩpX is the sheaf of p-forms which are holomorphic.
∗ ) → N S(X) → 0, where T is the complex torus
H 1 (X, OX ) = H 0,1 . So 0 → T → H 1 (X, OX
0,1 = H 1 (X, O )/H 1 (X, Z) and N S(X) is the image of c map insider H 2 (X, Z) called
of dimension H
1
X
Neron-Severi group of X , and its rank (as a Z-module) is called the Picard number of X . It is denoted
ρ(X).
Hence
4.4
The canonical class
X
Let
be a surface and
ω
on
X.
Locally
(associated to
ω)
is
be a meromorphic
2-form
ω = fg dz ∧ dw
where
f
and
g
are local
holomorphic functions
Denition 4.10.
The
canonical divisor
KX =
n o
f
g
=
number of zeroes and poles of
ω.
Exercise.
Check that if
ω1 , ω2
are two meromorphic
2-forms
on
X
f ∈ M (X)
then there exists
such that
ω1 = f · ω2 .
The above exercise implies that the canonical divisors associated to
Hence
KX
denes a unique class in Div(X)/
Denition 4.11.
Given
D ∈
Div(X), set
space of meromorphic functions with poles
Exercise.
2-forms
(Important)
(Note:
ω2
canonical class
H 0 (X, OX (D)) := {f ∈ M (X) :
bounded by D .
are linearly equivalent.
of
X
div(f )
≥ −D} = C-vector
∼
X
is
pg (X) = dimC H 0 (X, KX )
.
More generally the
φD : X 99K Pn dened by x 7→ [f0 (x) : · · · : fn (x)]
x or one of the fi has a pole at x)
at
X be a surface. Suppose H 0 (X, nKX ) 6= 0 for some n > 0. The Kodaira
of X is kod(X) := maxm>0 dim im(φmKX ) (if possible) otherwise set kod(X) = −∞. (So
{−∞, 0, 1, 2}
If X is
1
∼

−∞ X = P
0
pg (X) = 1


1
pg (X) ≥ 2
n-th
dene
Let
Example.

space of
The plurigenus are bimeromorphic invariants of X
hf0 , . . . , fn i = H 0 (X, OX (D)). Let's
not dened where, either all fi vanish
Denition 4.13.
and
H 0 (X, OX (KX )) =: H 0 (X, KX ) → H 2,0 (X) = H 2 (X, Ω2 X) = C-vector
on X
Denition 4.12. The genus of a surface
plurigenus of X is dimC H 0 (X, nKX )
Let
This class is the
Show that
holomorphic
Fact.
∼.
ω1
dimension
kod(X)
∈
a compact Riemann Sphere, the Riemann-Roch theorem tells us that kod(X)
=
The Enriques-Kodaira classications of surfaces consist of describing surfaces according to their
Kodaira dimension
Example.
kod
= −∞
In each class:
Any complete intersection
X(d1 ,...,dn−2 ) ⊂ Pn
12
with
P
di < n + 1
kod
=0
(with
with
P
di = n + 1.
You can also take a Torus
dimC T = 2)
kod
=2
Any complete intersection
kod
=1
A surface
4.5
X(d1 ,...,dn−2 ) ⊂ Pn
Any complete intersection
X(d1 ,...,dn−2 ) ⊂ Pn
such that
P
di > n + 1
X bered over a genus ≥ 2 curve B with bers isomorphic to curves of genus 1. (e.g.
B ∈ k[x0 , x1 , x2 ] homomorphic, deg B = 3, K = M (B), g(B) ≥ 2, then X = {B 0 = 0} ⊂ P2K )
Numerical Invariants
bi := rk H i (X, Z) = dimR H i (X, R) = dimC H i (X, C) = ith
P
e := (−1)i bi
Betti Numbers:
Euler Number
Hodge numbers
They satisfy
Betti number of
X
hp,q := dimC H p,q = dimC H q (X, ΩqX )
hp,q = hq,p = h2−p,2−q = h2−q,2−p
and
bk =
P
p+q=k
hp,q
(Hodge decomposition). This gives
the Hodge diamond
h2,2
h2,1
⇒
1
q
h1,2
h2,0
h1,1
h1,0
h0,2
q
h1,1
pg
h0,1
q
q
1
h0,0
irregularity
where
q
4.6
Intersection Number
is called the
of
X.
pg
Note that
e = 2 + 2pg + h1,1 − 4g
P C1 , C2 ⊂ X be two irreducible curves. We want to dene C1 · C2 . If C1 6= C2 ,
p∈C1 ∩C2 (C1 · C2 )p where (C1 · C2 )p = dim OX,p /(f1 , f2 ) with Ci = {fi = 0} (locally)
Let
Exercise.
Check that
#points
C1 ∩ C2
If
in
(C1 · C2 )p = 1 if C1
and
C2
are smooth at
set
p are intersect transversely,
C1 · C2 =
i.e.
C1 · C2 =
counted with the right multiplicities (as usual)
C1 = C2 = C .
If
C
is smooth,
C 2 := deg(NC/X ),
the normal bundle of
C
in
X.
For the general
denition look at references.
4.7
Classical (and useful) results
Thom-Hirzebruch index theorem The index (number of positive eigenvalues minus number of negative
eigenvalues) of the intersection product on
Hodge index theorem The intersection product on
Noether's formula
2 +e
12χ(OX ) = KX
is equal to
H 1,1 ∩ H 2 (X)
2 −2e
KX
3
has signature
(1, h1,1 − 1)
χ(OX ) = h0 (OX ) − h1 (OX ) + h2 (OX )
D ∈ Div(X), χ (OX (D)) =
L = OX (D) in our case
Riemann Roch Let
and
where
H 2 (X)
D·(D−KX )
2
13
+ χ(OX )
where
χ(L) = h0 (L) − h1 (L) + h2 (L)
Genus formula Let
C⊂X
is the arithmetic genus (and is equal to the
Freedman
5
2pa (C)−2 = (C +KX )·C where pa (C) = h1 (OC )
topological genus of C if C is smooth)
be an irreducible curve, then
X1 , C2 simply connected surface.
H 2 (X2 , Z) (isometrically)
We haveX1
∼
= X2
(homorphically) if and only if
H 2 (X1 , Z) ∼
=
Introduction to K3 surfaces
Denition 5.1.
X
A surface
is a K3 surface if
KX = 0
and
b1 (X) = 0
Theorem 5.2. A K3 surface is always Kähler
Remark.
Since
b1 (X) = 2q
Noether formula reads
Exercise.
Let
X
an equivalent denition is
12 · (2 − 0) = 0 + e,
be a K3 surface. Prove that
A consequence of exercise is that
that is
KX = 0
and
h1 (OX ) = 0
24 = e = 2 + 2 + h1,1 − 0,
hence
h1,1 = 20
TX ∼
= Ω1X
dimC H 1 (X, TX ) = 20
We have that the Hodge diamond of a K3 surface is
1
0
1
0
20
0
1
0
1
Fact.
H1 (K3, Z)
has no torsion
Corollary 5.3. Let X be a K3 surface.
Proof. H1 (X, Z) ⊗ R = 0
we have that the
b2 (X) = 22,
then
H1 (X, Z) = 0
and H2 (X, Z) is a torsion free Z-module of rank 22
b1 = 0) so H1 (X, Z) = 0. By general properties of algebraic topology,
torsion of H2 (X, Z) is isomorphic to the torsion of H1 (X, Z). Hence no torsion. Since
H2 (X, Z) is a torsion free Z-module of rank 22
A closer look to
(since
H 2 (X, Z)
• H 2 (X, Z) is endowed
(C + 0) · C = C 2 )
with the intersection form, which is even by the genus formula (2pa (C)
•
The intersection form is indenite (since, by Thon-Hizebucj, the index is
•
The intersection form is unimodular (its determinant is
±1)
−2=
−16)
by Poincaré duality
Now we have the following:
Fact. An indenite, unimodular lattice is uniquely determined (up to isometry) by its rank, index and
parity (i.e., even or not)
Conclusion:
H 2 (K3, Z) = H ⊕3 ⊕ (−E8 )⊕2
where
14
• H
is a rank
2 Z-module
• E8 = Ze1 ⊕ · · · ⊕ Ze8
with form given
a rank
8 Z-module
e1
0 1
1 0
(Hyperbolic plane)
with the following Dykin diagram
e2
•
e3
•
e4
•
•
e5
e6
•
•
e7
•
e1
•
and


i=j
2
(ei , ej ) = −1 d(ei , ej ) = 1 (d(ei , ej )


0
else
H ⊕3 ⊕ (−E8 )⊕2
(Check that
Note.
The sign on
H2
We conclude with
is
3
is given by the diagram)
has the same rank, index and parity as
(3, 19)
while the sign on
H 1,1 ∩ H 2
is
H 2 (K3, Z))
(1, 19)
classes of examples of K3
Pn .
n
X
P = X(d1 ,...,dn−2 )P a complete intersection with surface of
multidegree (d1 , . . . , dn−2 ) such that
di = n + 1. By applying (n − 2) times the adjunction
formula, we nd KX = 0. By applying (n − 2) time the Lefschetz hyperplane theorem, we see
∼
H 1 (X, Z) → H 1 (Pn , Z) = 0. So X is a K3 surface (for example X4 ⊂ P3 , X2,3 ⊂ P4 , X2,2,2 ⊂ P5 , . . . )
1. Complete intersections in
Parameter counts: (for
4
degree
4×4
Take
X4 ⊂ P3 )
We have
homogeneous polynomials in
4
35
parameters (the complex dimension of the space of
variable) minus
invertible matrices). Hence a total of
19
16
parameters (the complex dimension of
parameters.
branched along
C = C6 ⊂ P2 a smooth
π
C , X → P2 (c.f. [BPHVdV]).
Theorem 5.4.
KX = π ∗ (KP2 )+Ramication = π ∗ (−3H + 21 C) ∼ π ∗ (−3H + 26 H) = 0
sextic plane curve. LetX be the double cover of
2. Double Planes: Take
One also computes that
Parameter count:
polynomial in
acting on
P2 )
3
28
b1 (X) = 0,
19
X
is a K3 surface
parameters (the complex dimension of the space of homogeneous degree
variable) minus
then
so
P2
9
parameters (the complex dimension of invertible
3×3
6
matrices
parameters.
3. Kummer Surfaces:
Let
A
be a complex torus of
identify each point of
A
dimC 2.
We have an involution
ι : A → A, a 7→ −a.
Consider
A/ι
(i.e
with its opposite)
Bad News:
A/ι has 16 singulars points (corresponding to the 16 xed points of ι) which are exactly
the 16 points of order 2 on A
Good News: We can get rid of them by Blowing up. Let : Ae → A/ι be the blow up at these 16
points.
e
:A
/A
e ι = A0 / A/ι
A/e
15
2 point ι : (α, β) 7→ (−α, −β), the invariants under ι are
∼
A/ι =
= Spec C[u, v, w]/(uv − w2 ). This shows that the singular
e→A
e is the extension of ι to A
e, then one sees that
points of A/ι are ordinary double points. If e
ι:A
e ι is
e
around the exceptional curves i : (x, y) 7→ (x, −y). The upshot is that the quotient X := A/e
Notice: That locally around an order
α2 , β 2 , αβ . So
Spec C[α2 , β 2 , αβ]
smooth.
X
is a K3 surface: The
2-form dα ∧ dβ
descend to the quotient, and then lifts to
A0 \{exceptional
0
curves}. One can check that it extend smoothly to A without zeroes. As why it has no irregularity
1,0
0
1
(h = h (ΩX )), there does not exists a 1 form on A which is invariant under the involution ι.
16
Download