Professional Documents
Culture Documents
(University Lecture Series) Hiraku Nakajima - Lectures On Hilbert Schemes of Points On Surfaces-AMS (1999)
(University Lecture Series) Hiraku Nakajima - Lectures On Hilbert Schemes of Points On Surfaces-AMS (1999)
(University Lecture Series) Hiraku Nakajima - Lectures On Hilbert Schemes of Points On Surfaces-AMS (1999)
surfaces
Preliminary Version (October 11, 1996)
Hiraku Nakajima
Author address:
Graduate School of Mathematical Sciences, University of Tokyo, 3-8-1
Komaba, Meguro-ku, Tokyo 153, Japan
E-mail address: nakajima@ms.u-tokyo.ac.jp
iii
Preface
In the spring of 1996, I gave a series of lectures on the Hilbert schemes of points on
surfaces at Department of Mathematical Sciences, University of Tokyo.
The purpose of the lectures was to discuss various properties of the Hilbert schemes
of points on surfaces. Although it was not noticed until recently, the Hilbert schemes
have relationship with many other branch of mathematics, such as topology, hyper-Kähler
geometry, symplectic geometry, singularities, and representation theory. This is reflected
to this note: each chapter, which roughly corresponds to one lecture, discusses different
topics.
These lectures were intended for graduate students who have basic knowledge on alge-
braic geometry and ordinary topology. The only results which will be used but not proved
in this note are Grothendieck’s construction of the Hilbert scheme (Theorem 1.1) and re-
sults on intersection cohomology (§6.1). I recommend to the reader to accept these results
when he/she is not familiar with them.
I have tried to make it possible to read each chapter independently. I believe that it is
almost successful. The interdependence of chapters is figured in the next page. The broken
arrows mean that we need only the statement of results in the outgoing chapter, and do
not need its proof.
Sections 9.1,9.3 are based on A. Matsuo’s lectures. His lectures contained Monster and
Macdonald polynomials. I regret omitting these subjects. I hope to understand these by
Hilbert schemes in future.
The note was prepared by T. Gocho and N. Nakamura. I would like to thank them for
their efforts. I am also grateful to A. Matsuo and H. Ochiai for their comments throught
the lectures. Particular thanks are due to G. Ellingsrud, I. Grojnowski, K. Hasegawa,
N. Hitchin, Y. Ito, A. King, G. Kuroki, G. Segal, and S. Strømme for discussions on results
in this note.
August, 1996
Hiraku Nakajima
iv
Chapter 2 §2.1
Chapter 6 Chapter 7
Chapter 8 Chapter 9
Contents
Preface iii
Introduction 1
Chapter 1. Hilbert scheme of points 4
1.1. General Results on the Hilbert scheme 4
1.2. Hilbert scheme of points on a surface 6
1.3. Symplectic structure 8
1.4. Hilbert scheme of points on the plane 9
Chapter 2. Framed moduli space of torsion free sheaves on CP2 13
2.1. Monad 13
2.2. Rank 1 case 20
[n]
Chapter 3. Hyper-Kähler metric on (C2 ) 24
3.1. Geometric invariant theory and the moment map 24
3.2. Hyper-Kähler quotients 32
Chapter 4. Resolution of simple singularities 42
4.1. General Statement 42
4.2. Dynkin diagrams 44
4.3. Tautological vector bundles 47
Chapter 5. Poincaré polynomials of the Hilbert schemes (1) 52
5.1. Perfectness of the Morse function arising from the moment map 52
[n]
5.2. Poincare polynomial of (C2 ) 57
Chapter 6. Poincaré polynomials of Hilbert schemes (2) 65
6.1. Results on intersection cohomology 65
6.2. Proof of the formula 67
Chapter 7. Hilbert scheme on the cotangent bundle of a Riemann surface 70
7.1. Morse theory on holomorphic symplectic manifolds 70
7.2. Hilbert scheme of T ∗ Σ 71
7.3. Analogy with the moduli space of Higgs bundles 77
Chapter 8. Homology group of the Hilbert schemes and the Heisenberg algebra 80
v
vi CONTENTS
Moduli spaces parameterizing objects associated with a given space X are rich source of
spaces with interesting structures. They usually inherits structures of X, but sometimes
even more: they have more structures than X, or pull out hidden structures of X. The
purpose of this note is to add an example of these phenomena. We study the moduli space
parameterizing 0-dimensional subschemes of length n in a nonsingular quasi-projective
surface X over C. It is called the Hilbert scheme of points, and denoted by X [n] .
An easy example of a 0-dimensional subscheme is a collection of distinct points. In
this case, the length is equal to the number of points. When some points collide, more
complicated subschemes appear. For example, when two points collide, we get infinitely
near points, that is a pair of a point x and and a 1-dimensional subspace of the tangent
space Tx X. This shows difference between X [n] and the n-th symmetric product S n X on
which the information of the 1-dimensional subspace is lost.
However, when X is 1-dimensional, we have unique 1-dimensional subspace in Tx X. In
fact, the Hilbert scheme X [n] is isomorphic to S n X when dim X = 1.
When X is 2-dimensional, X [n] is smooth and there is a morphism π : X [n] → S n X
which is a resolution of singularities by a result of Fogarty [17]. This present a contrast to
Hilbert schemes for dim X > 2.
As we mentioned at the beginning, X [n] inherits structures from X. First of all, it is a
scheme. It is projective if X is projective. These follows from Grothendieck’s construction
of Hilbert schemes. A nontrivial example is a result by Beauville [6]: X [n] has a holomorphic
symplectic form when X has one. When X is projective, X has a holomorphic symplectic
form only when X is a K3 surface or an abelian surface by the classification theory. We
also have interesting noncompact examples: X = C2 or X = T ∗ Σ where Σ is a Riemann
surface. These examples are particularly nice because of the existence of a C∗ -action, which
naturally induces an action on X [n] . (See Chapter 7.)
When X = C2 , X [n] can be identified with the set of GLn (C)-orbits of (B1 , B2 , i) where
B1 , B2 are commuting n × n-matrices and i is a cyclic vector (Theorem 1.14). Many
[n]
properties of (C2 ) are derived from this description. In Chapter 3, we shall regard the
description as a geometric invariant theory quotient and a hyper-Kähler quotient. This
description is very similar to the definition of quiver varieties which were studied in [62].
These structures of X [n] , discussed in the first half of this note, are inherited from X.
We shall begin to study newly arising structures in latter chapters. They appear when we
consider components all together. We will encounter this phenomenon first in Göttche’s
1
2 INTRODUCTION
formula for the Poincare polynomials in Chapter 6. Their generating function is given by
∞
X ∞
Y
n [n] (1 + t2m−1 q m )b1 (X) (1 + t2m+1 q m )b3 (X)
q Pt (X ) = ,
n=0 m=1
(1 − t2m−2 q m )b0 (X) (1 − t2m q m )b2 (X) (1 − t2m+2 q m )b4 (X)
where bi (X) is the i-th Betti number of X. Each individual term Pt (X [n] ) has no nice ex-
pression. It is even more apparent if we consider the generating function of Euler numbers.
The answer is the power of Dedekind’s η-funtion (the term q 1/24 is missing), which has
a nice modular property. Recall that the q-expansion coefficients of modular forms often
have number theoretic meaning, but structures appear after they are treated all together.
In Chapter 8 we shall push forward this thought. We shall construct a representation of
products of Heisenberg
L and Clifford algebras on the direct sum of homology groups of all
[n]
components n H∗ (X ). Hence the generating fucntion can be interpreted as a character
of the Heisenberg algebra. Its modular property can be explained if one interpret it as
a partition function of the conformal field theory on an elliptic curve Eτ = C/Z + Zτ .
Since it depends only on the complex structure of Eτ , it is invariant under τ 7→ −1/τ . In
Chapter 9, our construction is proceeded further. We shall construct a representation of
an affine Lie algebra (or a structure of the vertex algebra) on the homology groups.
These study will lead us to wonder the reason why we encounter objects, such as
modular forms, affine Lie algebras, the conformal field theory etc. Usually we think these
objects live with elliptic curves, not with surfaces. Formally, we have two possibilities: one
is that these objects are so universal (like Dynkin diagrams) that they appear everywhere.
The other possiblity is that elliptic curves are hidden in the Hilbert schemes. We do not
know which is correct at this moment, but we believe that the second one is correct.
In fact, we think the “space” which is really relevant is the generating function of the
Hilbert schemes:
X∞
X [n] q n .
n=0
[n]
This is because X should not be studied for indivisual n. We must study components all
together. Moreover, the generating function should have some kind of modular properties.
Unfortunately, there is no theory for generating functions (or generating spaces ?) of
manifolds at this moment. But the author think the above object exists. Or, it might be
true that an appropriate language here is the string theory. The relation between X [n] and
S n X have many similarities with the relation between the string and field theory.
In fact, one of our motivation comes from physics. It is the duality. In [79], Vafa and
Witten have pointed out that the S-duality (or Mantonen-Olive duality) conjecture implies
that the generating function of Euler numbers of moduli spaces of instantons has a modular
property. When the base manifold is a K3 surface, the Euler numbers of moduli spaces of
instantons are the same as those of Hilbert schemes of points (strictly speaking, we must
consider moduli spaces of stable sheaves instead of moduli spaces of instantons, which are
usually noncompact). Then Göttsche’s formula gives us the desired answer. Moreover, from
results in [62], we can see that homology groups of moduli spaces of sheaves on an ALE
INTRODUCTION 3
In this chapter, we collect basic facts on the Hilbert scheme of points on a surface. We do
not assume the field k is C unless mentioned.
we have OZ ⊗ OX (m) = OZ , for all m ∈ Z, and hence Z ∈ X [n] . This is the reason why
X [n] is called the Hilbert scheme of n points in X.
Let S n X be the symmetric product of X, i.e.
S nX = X
| × ·{z
· · × X} /Sn ,
n times
where Blow∆ (X × X) is the blowup of X × X along the diagonal ∆. We shall show this
explicitly when X is A2 later in this section.
When dim X = 1, it is known that X [n] = S n X, and X [n] is actually the moduli space
of n points in X. This is roughly because we have only one direction in which two different
points collide, and hence only the positions of points and their multiplicities are relevant.
6 1. HILBERT SCHEME OF POINTS
This morphism π is called the Hilbert-Chow morphism which associates a closed sub-
scheme with its corresponding cycle. For example, OX /J ∈ X [2] is mapped to 2[x] in the
example (1.3).
Let ν = (ν1 , . . . , νk ) be a partition of n, namely, ni ∈ Z>0 with ν1 ≥ ν2 ≥ · · · ≥ νk > 0
P
and ki=1 νi = n. For each partition ν of n, we define
( k )
X
Sνn X = νi [xi ] ∈ S n X xi 6= xj for i 6= j .
i=1
Then Sνn X has dimension k dim X, where the number k is called the length of ν and
denoted by l(ν). We have the stratification of S n X,
[
(1.6) S nX = Sνn X.
ν
n
The open stratum S(1,...,1) is the nonsingular locus of S n X.
Exercise 1.7. (1) Suppose that X is nonsingular with dim X = 1. Show that X [n] =
n
S X is nonsingular.
(2) Show S n (P1 ) = Pn .
Proof. (1) Let Z ∈ X [n] and JZ the corresponding ideal. The Zariski tangent space
of X [n] at Z is given by
TZ X [n] = HomOX (JZ , OX /JZ ).
To prove the smoothness of X [n] , it is enough to show that the dimension of TZ X [n] does
not depend on Z ∈ X [n] . From the exact sequence
0 → JZ → OX → OX /JZ = OZ → 0,
we have
0 → Hom(OZ , OZ ) → Hom(OX , OZ ) → Hom(JZ , OZ )
→ Ext1 (OZ , OZ ) → Ext1 (OX , OZ ) → Ext1 (JZ , OZ )
→ Ext2 (OZ , OZ ) → Ext2 (OX , OZ ) → Ext2 (JZ , OZ ) → 0.
P
Since the Euler characteristic 2i=0 dim Exti (JZ , OZ ) is independent of Z, it is enough to
check that dim Exti (JZ , OZ ) is independent of Z only for i = 1 and 2. Since Exti (OX , OZ ) ∼
=
H i (X, OZ ) ∼
= H i (X, OZ (n)) = 0 for sufficiently large n ∈ N and i ≥ 1 by the Serre vanish-
ing theorem, we have
(
Ext1 (JZ , OZ ) ∼
= Ext2 (OZ , OZ )
Ext2 (JZ , OZ ) = 0.
By the duality theorem, we have Ext2 (OZ , OZ ) ∼ = (Hom(OZ , OZ ⊗KX ))∨ = (Hom(OZ , OZ ))∨ .
Since Hom(OZ , OZ ) ∼ = Hom(OX , OZ ), we have dim Ext2 (OZ , OZ ) = n. This shows that
dim Hom(JZ , OZ ) is independent of Z. Note that we also proved Hom(JZ , OZ ) ∼ = Ext1 (OZ ,
OZ ).
(2) The nonsingular locus of S n X is the open stratum S(1,...,1) n
X. Suppose π(Z) =
n [n]
{x1 , . . . , xn } ∈ S(1,...,1) X, for Z ∈ X . Since length(Zxi ) = 1, for i = 1, . . . , n, we must
have
Mn
OZ = the skyscraper sheaf at xi ,
i=1
Note that the above construction is “local”. It works for a quasi-projective surface X.
For a projective surface, Mukai obtained more general results.
Theorem 1.11 (Mukai [56]). Let X be a K3 surface or an abelian surface and Mr,c1,c2
be the moduli space of stable sheaves on X with fixed rank r and Chern classes c1 , c2 , then
Mr,c1,c2 has a holomorphic symplectic form.
1.4. HILBERT SCHEME OF POINTS ON THE PLANE 9
The symplectic form on the moduli space Mr,c1,c2 is described as follows. Let E be
a stable sheaf on X, then the tangent space of Mr,c1,c2 at E is given by TE Mr,c1,c2 =
Ext1 (E, E), and the symplectic structure is defined by
Yoneda product tr
Ext1 (E, E) × Ext1 (E, E) −−−−−−−−→ Ext2 (E, E) −−−→ H 2 (X, OX ) ∼
= C.
In the last part, we use the fact that X is a K3 surface or an abelian surface. For the proof
of the non-degeneracy and the closedness, we refer to [56]. In Chapter 3, we shall show
that the framed moduli space of torsion free sheaves on C2 has a holomorphic symplectic
form.
The relation between the two theorems is as follows. Let E be a rank 1 torsion free sheaf
on X, then its double dual E ∨∨ is locally free. There exists a natural inclusion E ֒→ E ∨∨
and the cokernel E/E ∨∨ defines an element in X [n] . If we associate E with (E ∨∨ , E ∨∨ /E),
we have an identification of the component of M1,c1,c2 with Pic0 (X) × X [n] . Note that if
X is a K3 surface, Pic0 (X) is a point.
In Chapter 3, we shall explain the hyper-Kähler structure, which is closely related with
the holomorphic symplectic structure. Actually, a hyper-Kähler manifold has a holomor-
phic symplectic structure as we shall explain in Chapter 3. The converse is also true if X
is compact.
Proposition 1.12. Let X be a compact Kähler manifold which admits a holomorphic
symplectic structure. Then X has a hyper-Kähler metric.
Proof. Since X has a holomorphic symplectic form ω, we can identify T X and T ∗ X
by using ω. This implies c1 (X) = 0. By the Calabi conjecture proved by Yau [81], there
exists a Ricci-flat Kähler metric on X. Using the Ricci-flatness, the Bochner-Weitzenböck
formula gives
∆|ω|2 = |∇ω|2,
where ∆ is the Laplacian and ∇ is the Levi-Civita connection. Integrating both hand-
side over X, we have ∇ω ≡ 0, which means that ω is parallel. This shows that the
holonomy group is contained in SU(2n) ∩ Sp(n, C) = Sp(n), where n = 12 dimC X. Since
the hyper-Kähler manifold can be defined as a Riemannian manifold whose holonomy group
is contained in Sp(n), this completes the proof.
It follows that X [n] has a hyper-Kähler metric if X is a K3 surface or an abelian surface.
Exercise 1.13. Compare Beauville’s symplectic form and Mukai’s symplectic form
on the open set π −1 (S(1,...,1)
n n
X), where S(1,...,1) X is the open stratum of S n X and π is the
Hilbert-Chow morphism.
Therefore it corresponds to the point (λ, µ) ∈ k 2 , and this gives the description (A2 )[1] ∼
= A2 .
(2) Next, we consider the case of n = 2. Supposeeither B 1 or B2 has differenteigen-
λ1 0 µ1 0
values. It is easy to see that we can assume B1 = and B2 = with
0 λ2 0 µ2
1.4. HILBERT SCHEME OF POINTS ON THE PLANE 11
1
(λ1 , µ1 ) 6= (λ2 , µ2 ), and that i(1) = by the stability condition. The corresponding
1
ideal is given by
I = {f (z) ∈ k[z1 , z2 ] | f (λ1 , µ1 ) = f (λ2 , µ2 ) = 0}.
Therefore it corresponds to a set of two distinct points in A2 .
λ 0
(3) Suppose both B1 and B2 have single eigenvalues. We cannot have B1 =
0 λ
µ 0
together with B2 = since then S = im i violates the stability condition. We
0 µ
λ 1 µ α
assume B1 = and B2 = for some α ∈ k. It is easy to see that we may
0 λ 0 µ
0
assume i(1) = . The corresponding ideal is given by
1
∂f ∂f
I = {f (z) ∈ k[z1 , z2 ] | f (λ, µ) = ( +α )(λ, µ) = 0}
∂z1 ∂z2
= (α(z1 − λ) − (z2 − µ), (z1 − λ)2 ).
Therefore it corresponds to a set of two points at (λ, µ) ∈ k 2 infinitesimally
attached
with
∂ ∂ λ α µ β
each other in the direction ∂z1 + α ∂z2 . This shows that if B1 = and B2 = ,
0 λ 0 µ
we cannot have (α, β) = (0, 0), and that [α : β] corresponds to the homogeneous coordinates
in the projectified tangent space P(T(λ,µ) A2 ). Hence we have an explicit identification
(A2 ) ∼
[2]
= Blow∆ (A2 × A2 )/S2 .
[n]
(4) It is also easy to describe the Hilbert-Chow morphism π : (A2 ) → S n (A2 ). Let
[n]
[(B1 , B2 , i)] ∈ (A2 ) . Since [B1 , B2 ] = 0, we can make B1 and B2 simultaneously into
upper triangular matrices as
λ1 . . . ∗ µ1 . . . ∗
B1 = ... . . . ... , B2 = ... . . . ... .
0 . . . λn 0 . . . µn
The Hilbert-Chow morphism is given by π(B1 , B2 , i) = {(λ1 , µ1 ), . . . , (λn , µn )}. If all
(λi , µi )’s are distinct, B1 and B2 must be semisimple. It follows that π is an isomor-
phism away from the diagonal. The complication along the diagonal comes from a point
[n]
[(B1 , B2 , i)] ∈ (A2 ) where either B1 or B2 is not semisimple. We have already encountered
this complication in the example of n = 2 above.
[n]
Suppose k = C. Let π : (C2 ) → S n (C2 ) be the Hilbert-Chow morphism. The parallel
[n] [n]
translation of C2 gives us the factorization (C2 ) = C2 × ((C2 ) /C2 ). In the description
[n]
in Theorem 1.14, a point in (C2 ) /C2 corresponds to (B1 , B2 , i) with tr(B1 ) = tr(B2 ) = 0.
[n]
We regard π −1 (n[0]) as a subvariety of (C2 ) /C2 . In Chapter 5, we shall see that π −1 (n[0])
12 1. HILBERT SCHEME OF POINTS
0 1 0 ... 0 0 0 a1 a2 . . . an−2 an−1
0 1 0 . . . 0 0 a1 a2 . . . an−2 0
. . . . . . .. ..
. . . . .. ..
. .
..
. . ...
B1 =
, B2 = , i=
0 ,
0 1 0
0 a1 a2
0 1 0 a1 1
0 0 0 0
where a1 , . . . , an−1 are parameters. As an ideal, it is give by
J = (z1n , z2 − (a1 z1 + a2 z12 + · · · + an−1 z1n−1 )).
[n]
Exercise 1.17. (1) Using the description given in Theorem 1.14, show that (A2 ) is
nonsingular. Hint: First show that the differential of the map (B1 , B2 , i) 7→ [B1 , B2 ] has
constant rank. Next prove that the stabilizer of GLn (k)-action at (B1 , B2 , i) is trivial and
define the slice for the action.
(2) Generalize Theorem 1.14 to higher dimensions.
CHAPTER 2
Throughout this note from this chapter, we assume k = C. Let Mr,n be the framed moduli
space of torsion free sheaves on P2 with rank r and c2 = n, i.e.
,
E : torsion free sheaf,
Mr,n = (E, Φ) rank E = r, c 2 (E) = n isomorphism,
∼
Φ : E|ℓ∞ →
Oℓ⊕r
∞
: framing at infinity
where ℓ∞ = {[0 : z1 : z2 ] ∈ P2 } ⊂ P2 is the line at infinity. Notice that in order for the
existence of the framing Φ we must have c1 (E) = 0.
2.1. Monad
The main purpose of this section is to show the following description of Mr,n which is
essentially due to Barth [4].
Theorem 2.1 (see [72]). There exists an isomorphism
(i) [B1 , B2 ] + ij = 0 ,
(ii) (stability) there exists no subspace
Mr,n ∼
= (B1 , B2 , i, j) GLn (C),
S ( Cn such that Bα (S) ⊂ S (α =
1, 2) and im i ⊂ S
where B1 , B2 ∈ End(Cn ), i ∈ Hom(Cr , Cn ) and j ∈ Hom(Cn , Cr ) with the action given by
g · (B1 , B2 , i, j) = (gB1 g −1, gB2 g −1, gi, jg −1)
for g ∈ GLn (C).
The data (B1 , B2 , i, j) is expressed as in the figure.
B1 V B2
i j
We define the section s of the holomorphic bundle OP2 (1) ⊠ Q = p∗1 OP2 (1) ⊗ p∗2 Q on P2 × P2
as follows. (We consider P2 as a set of 1-dimensional subspaces in C3 .) The fiber of
OP2 (1) ⊠ Q at (x, y) ∈ P2 × P2 is given by
OP2 (1)x ⊗ Qy ∼= Hom(OP2 (−1)x , Qy ) ∼
= Hom(Cx, C3 /Cy),
and we define s(x, y) : λx → λx mod Cy for λ ∈ C. One can check that s is a transversal
section and that s−1 (0) = ∆. Therefore we have the corresponding Koszul complex
2
^ t (∧s) ts
(2.2) 0→ (OP2 (−1) ⊠ Q∨ ) −→ OP2 (−1) ⊠ Q∨ −→ OP2 ×P2 → O∆ → 0,
V
which is a resolution of O∆ . In other words, [O∆ ] = [ • (OP2 (−1) ⊠ Q∨ ] in the derived
V
category. We put C i = −i (OP2 (−1) ⊠ Q∨ ).
Now we explain the Beilinson spectral sequence. For any coherent sheaf E on P2 , we
have a trivial identity,
p1∗ (p∗2 E ⊗ O∆ ) = p1∗ (p∗2 E|∆ ) = E.
Replacing O∆ with the complex {C • }, we get the double complex for the hyperdirect image
R• p1∗ (p∗2 E ⊗ C • ) for which we can consider two spectral sequences as usual. If we take the
2.1. MONAD 15
a b
OP2 (−1) ⊗ H 1 (P2 , E(−2)) − → OP2 ⊗ H 1 (P2 , E(−1) ⊗ Q∨ ) −
→OP2 (1) ⊗ H 1 (P2 , E(−1)),
where a is injective, b surjective and ker b/ im a ∼
= E.
Now we give the proof of the lemma.
16 2. FRAMED MODULI SPACE OF TORSION FREE SHEAVES ON P2
By the Serre vanishing theorem, we have H 2 (P2 , E(k)) = 0 for sufficiently large k ∈ N. If
E is torsion free, the double dual E ∨∨ is locally free, and we have an inclusion E ֒→ E ∨∨ .
Hence we have H 0 (P2 , E(−k)) ֒→ H 0 (P2 , E ∨∨ (−k)) ∼
= H 2 (P2 , (E ∨∨ )∨ (k − 3))∨ by the Serre
duality. Again by the Serre vanishing theorem, we have H 0 (P2 , E(−k)) = 0 for sufficiently
large k ∈ N.
Therefore we have
( 0 2
H (P , E(−1)) ∼= H 0 (P2 , E(−2)) ∼= H 0 (P2 , E(−3)) ∼ = ··· = 0
= H 2 (P2 , E(−1)) ∼
H 2(P2 , E(−2)) ∼ = H 2 (P2 , E) ∼
= · · · = 0.
The triviality on the line at infinity. We now impose the triviality of the restriction
of E to ℓ∞ . This identify the monad description with the description using matrices
(B1 , B2 , i, j) as in Theorem 2.1.
Let W f = H 1 (P2 , E(−1) ⊗ Q∨ ), V = H 1 (P2 , E(−2)), and V ′ = H 1 (P2 , E(−1)), then
by the Riemann-Roch formula we have dim V = dim V ′ = c2 (E) and dim W f = 2c2 (E) +
rank E. We have the complex,
a b
f −→ OP2 (1) ⊗ V ′ ,
OP2 (−1) ⊗ V −→ OP2 ⊗ W
with ker a = 0, coker b = 0, and ker b/ im a ∼= E.
Since a ∈ H 0 (P2 , Hom(OP2 (−1) ⊗ V, OP2 ⊗ W f )) ∼
= H 0 (P2 , OP2 (1)) ⊗ Hom(V, W f ), we
f ), and similarly b = z0 b0 + z1 b1 + z2 b2
can write a = z0 a0 + z1 a1 + z2 a2 with ai ∈ Hom(V, W
with bi ∈ Hom(W f, V ). Since ba = 0, we have the following six equations:
′
b0 a0 = 0 b0 a1 + b1 a0 = 0
(2.4) b1 a1 = 0 b1 a2 + b2 a1 = 0
b2 a2 = 0 b0 a2 + b2 a0 = 0.
Restricting the complex to ℓ∞ , we have
a|ℓ b|ℓ
∞
Oℓ∞ (−1) ⊗ V −→ f −→
Oℓ∞ ⊗ W ∞
Oℓ∞ (1) ⊗ V ′ ,
where (
a|ℓ∞ = z1 a1 + z2 a2
b|ℓ∞ = z1 b1 + z2 b2 .
From the exact sequence
∞ a|ℓ
0 → Oℓ∞ (−1) ⊗ V −→ ker b|ℓ∞ → E|ℓ∞ → 0,
we have
0 →H 0 (ℓ∞ , Oℓ∞ (−1)) ⊗ V → H 0 (ℓ∞ , ker b|ℓ∞ ) → H 0 (ℓ∞ , E|ℓ∞ )
→H 1 (ℓ∞ , Oℓ∞ (−1)) ⊗ V → H 1 (ℓ∞ , ker b|ℓ∞ ) → H 1 (ℓ∞ , E|ℓ∞ ) → 0.
18 2. FRAMED MODULI SPACE OF TORSION FREE SHEAVES ON P2
with [B1 , B2 ] + ij = 0.
Therefore, we have the monad description in a simple form,
V ⊗ OP2
⊕
V ⊗ OP2 (−1) −−−−−−−−−→ ! V ⊗ OP2 −
−−−−−−−−−−−−−−−−−→ V ⊗ OP2 (1).
z0 B1 −z1 b = ( −(z0 B2 −z2 ) z0 B1 −z1 z0 i )
a = z0 B2 −z2 ⊕
z0 j W ⊗ OP2
Hence (z1 , z2 ) must be a simultaneous eigenvalues of (B1 , B2 ), and it follows that σz is not
injective only at finitely many points in C2 . This shows that a is injective.
(2) Notice that
b is surjective ⇐⇒ τz is surjective for all z ∈ C2
⇐⇒ t τz : V ∗ → W ∗ ⊕ V ∗ ⊕ V ∗ is injective for all z ∈ C2 .
For any subspace S ⊂ V , We put S ⊥ = {φ ∈ V ∗ | φ(S) = 0}. It is easy to see that
( (
t
Bα (S) ⊂ S Bα (S ⊥ ) ⊂ S ⊥
⇐⇒
im i ⊂ S S ⊥ ⊂ ker t i.
Suppose there exists such a subspace S ( V . Since [ t B2 , t B1 ] + t j t i = 0 and t i|S ⊥ = 0,
we have [ t B2 , t B1 ]|S ⊥ = 0. Therefore, there exists φ 6= 0 ∈ S ⊥ such that t Bα φ = λk φ, for
some λ1 , λ2 ∈ C. If we put λ = (λ1 , λ2 ), then τλ is not surjective.
Conversely, suppose there exists z ∈ C2 such that τz is not surjective, then t τz is not
injective. Hence there exists φ 6= 0 ∈ ker t τz . If we take S = ker φ ( V , we have Bα (S) ⊂ S
and im i ⊂ S.
Lemma 2.8. Take (B1 , B2 , i, j) as above, but suppose that it satisfies the equation (i)
in Theorem 2.1, not necessarily (ii). Let S ⊂ Cn be a subspace defined by
X
S= Bα1 Bα2 · · · Bαk i(C)
X
= (products of B1 ’s and B2 ’s)i(C).
Then the restriction j|S of j to S vanishes.
2.2. RANK 1 CASE 21
Proof. We show that j Bi b = 0 for Bb = Bα1 Bα2 · · · Bα (α1 , . . . , αk ∈ {1, 2}) by the
k
b = 1, and we have ji = tr(ji) = tr(ij) = − tr([B1 , B2 ]) = 0.
induction on k. If k = 0, then B
Suppose the claim is true for k ≤ m − 1. If Bb contains a sequence · · · B2 B1 · · · , we have
b = jBα1 · · · B2 B1 · · · Bαm
jB
= jBα1 · · · ([B2 , B1 ] + B1 B2 ) · · · Bαm
= (jBα1 · · · i)j · · · Bαm + jBα1 · · · B1 B2 · · · Bαm
= jBα1 · · · B1 B2 · · · Bαm ,
where we have used the induction hypothesis in the last equality. Hence we have jBα1
Bα2 · · · Bαm = jB1m1 B2m2 with m1 + m2 = m and ms = #{l|αl = s}, s = 1, 2, and it is
b = B m1 B m2 . In this case, we have
sufficient to show the claim for B 1 2
b = tr(Bij)
j Bi b = − tr(B1m1 B2m2 [B1 , B2 ])
= − tr([B1m1 B2m2 , B1 ]B2 ) = − tr(B1m1 [B2m2 , B1 ]B2 )
m
X2 −1
b we have
Since jB2m2 −l B1m1 B2l = jB1m1 B2m2 = j B,
b = −m2 j Bi.
j Bi b
b = 0.
Hence j Bi
Proof of Proposition 2.7. (1) Let (B1 , B2 , i, j) and S be as in the above lemma.
If (B1 , B2 , i, j) satisfies the stability condition (ii) in Theorem 2.1, the subspace S is Bα -
invariant and im i ∈ S, we must have S = Cn . It follows from the lemma that j = 0.
(2) Since j = 0, the complex (2.5) becomes
Cn ⊗ OC2
⊕
Cn ⊗ OC2 −−−−−−−−→ n
! C ⊗ OC2 −−−−−−−−−−−−−−→ C ⊗ OC2 .
n
B1 −z1 b = ( −(B2 −z2 ) B1 −z1 i )
a = B2 −z2 ⊕
0 OC2
22 2. FRAMED MODULI SPACE OF TORSION FREE SHEAVES ON P2
Proof. Suppose GLn (C) · (B1 , B2 , i, j) be a closed orbit. Let S be as in the above
lemma, then we have Bα (S) ⊂ S, im i ⊂ S, and j|S = 0.
If we decompose Cn = S ⊕ S ⊥ , we can write
∗ ∗ ∗
Bα = ,i = ,j = 0 ∗ .
0 ∗ 0
2.2. RANK 1 CASE 23
1 0
Let g(t) = ∈ GLn (C) for t 6= 0 ∈ C, then we have
0 t
−1 ∗ t∗ −1 ∗
g(t) Bα g(t) = , g(t) i = , jg(t) = 0 t∗ .
0 ∗ 0
Since GLn (C)·(B1 , B2 , i, j) is a closed
orbit,
lim t→0g(t)·(B1, B2 , i, j) must be in the same
∗ 0 ∗
orbit. Hence we may assume Bα = ,i= and j = 0. Let g(t) = t−1 1n , then
0 ∗ 0
−1 −1 t∗
we have g(t) Bα g(t) = Bα , g(t) i = . Letting t → 0, we may assume i = j = 0. In
0
this case [B1 , B2 ] = 0, and hence we may assume that both B1 and B2 are upper-triangular
matrices,
λ1 . . . ∗ µ1 . . . ∗
B1 = ... . . . ... , B2 = ... . . . ... .
0 . . . λn 0 . . . µn
t
t2
Taking the limit lim g(t) Bα g(t) with g(t) =
−1
.. , we may assume that B1
t→0 .
tn
and B2 are semisimple.
Therefore it is shown that each closed orbit contains an element (B1 , B2 , 0, 0) such that
both B1 , B2 are semisimple satisfying [B1 , B2 ] = 0. Associating the orbit with the set of
simultaneous eigenvalues of (B1 , B2 ), we have the claimed isomorphism.
As is shown in this section, the main idea to obtain the ADHM description is the
Beilinson spectral sequence, and the reason why it is so efficient depends on the fact that
it comes from a resolution of the structure sheaf O∆ of the diagonal
· · · → C −2 → C −1 → C 0 → O∆ → 0,
L
such that each C p is of the form C p = i p∗1 Fi,p ⊠ p∗2 Fi,p
′
(see (2.2)). This property is called
decomposable diagonal class. (See [15, Theorem 2.1] for the consequence of this condition.)
Therefore we end this section with the following question.
Question 2.10. Which variety has a decomposable diagonal classes ?
[n]
We shall see that (C2 ) and the minimal resolution of the simple singularities has
decomposable diagonal class in Chapter 4.
CHAPTER 3
[n]
Hyper-Kähler metric on (C2 )
The purpose of this chapter is to construct a hyper-Kähler metric on the Hilbert scheme
[n] [n]
(C2 ) of n points on C2 . This will be accomplished by identifying (C2 ) with a hyper-
Kähler quotient (see Theorem 3.23).
Our approach relies on the description in Theorem 2.1, rather than one given in Theo-
rem 1.14. However, we do not need the proof of Theorem 2.1. Hence the reader who skips
Chapter 2 should read the statement of Theorem 2.1 and §2.2.
24
3.1. GEOMETRIC INVARIANT THEORY AND THE MOMENT MAP 25
Theorem 3.3 ([60, 1.2]). Let W1 and W2 be two closed invariant subsets of V . Then
C
W1 and W2 are disjoint if and only if there exists an invariant function f ∈ A(V )G such
that f |W1 = 1 and f |W2 = 0.
Proof. The “if” direction is clear. Let W1 and W2 be two disjoint closed invariant
subsets of V . There exists f ∈ A(V ) (not necessarily invariant) such that f |W1 = 1 and
f |W2 = 0. Averaging by the action of the compact group G, we may assume that f is
invariant under the action of G. Since f is holomorphic, it is automatically invariant
under the action of GC .
The second statement of Theorem 3.1 follows from the following fact: the closure of
a GC -orbit is a union of orbits of smaller dimensions. Hence any orbit contains a closed
GC -orbit in its closure. (Moreover, it is unique by Theorem 3.3.)
In order to illustrate how the closedness of the orbit is determined, we consider the
case GC is the complex torus T C = (C∗ )r . We choose a basis {x1 , . . . , xn } of V so that T C
is contained in the group of nonsingular diagonal matrices. Then we have distinguished
characters χi : T C → C∗ for i = 1, . . . , n given by
t1
t2
TC ∋ . ..
7→ ti .
tn
Let M be the weight lattice of T C , i.e. M = Hom(T C , C∗ ). An element in the dual lattice
M ∗ can be identified with a one-parameter subgroup λ : C∗ → T C by χ ◦ λ(t) = thχ,λi for all
t ∈ C∗ and χ ∈ M. A fundamental role will be played by the following rational polyhedral
convex cone
def.
σ = R≥0 χ1 + R≥0 χ2 + · · · + R≥0 χn ⊂ M ⊗ R.
Its dual cone is defined by
def.
σ ∨ = {λ ∈ M ∗ ⊗ R | hχ, λi ≥ 0 for all χ ∈ σ}
={λ ∈ M ∗ ⊗ R | hχi , λi ≥ 0 for i = 1, . . . , n}.
If σ ∨ 6= {0}, it is also rational polyhedral cone by Farkas’ theorem (see e.g. [74]). Hence
there exists a set of generators λ1 , . . . , λs such that
(3.4) σ ∨ = R≥0 λ1 + R≥0 λ2 + · · · + R≥0 λs .
Then
n
Y n
Y
mi
χ(gk ) = χi (gk ) = yi(gk )mi ,
i=1 i=1
where we write gk x as t (y1 (gk ), . . . , yn (gk )) in the coordinate system of V . Hence χ(gk )
converges. This is a contradiction. Hence σ 6= M ⊗ R.
As an application of the above discussion, we give a following version of the Hilbert-
Mumford criterion.
Theorem 3.6 (Birkes [8], Kempf [44]). If x ∈ V and Y is a nonempty closed GC -
invariant subset contained in the closure of GC · x, then there exists a one-parameter sub-
group λ : C∗ → GC such that limt→0 λ(t)x = y for some y ∈ Y .
Proof. First suppose GC is a complex torus T C . Taking a basis of V , we may suppose
we are in the above situation. (If some coordinates are 0, we replace V by a subspace.) We
may also assume that Y is the unique closed orbit in the closure of T C · x. The uniqueness
follows from the existence of T C -invariant polynomial which separates two disjoint T C -
invariant closed subsets (Theorem 3.3).
Let
def.
I = {i ∈ {1, . . . , n} | hχi , λi = 0 for all λ ∈ σ ∨ }.
If I = {1, . . . , n}, then σ ∨ = 0. Hence T C · x is closed by Theorem 3.5. Thus we are done.
Otherwise, we can choose λ ∈ σ ∨ such that hχi , λi > 0 for i ∈ {1, . . . , n} \ I. Further we
may assume λ ∈ σ ∨ ∩ M ∗ ⊗ Q, and hence λ ∈ σ ∨ ∩ M ∗ by multiplying by a positive integer.
We then have
lim λ(t) · x = y = t (y1 , y2 , . . . , yn ),
t→0
and yi 6= 0 if and only if i ∈ I.
Consider the rational polyhedral cone
def.
X X
σ
e = R≥0 χi + Rχi ,
i∈I i∈I
/
Now return to the case of general GC . Following [8, 4.2], we reduce the general case to
the torus case as follows. First we fix a maximal torus T C . If Y and T C g · x intersect for
some g ∈ GC , then we find a one-parameter subgroup λ : C∗ → T C such that limt→0 λ(t)g ·
x = y for some y ∈ Y by the first part of the proof. Then g −1λg is a desired one-parameter
subgroup connecting x and g −1 · y ∈ Y . Hence we may assume that Y ∩ T C g · x = ∅ for
any g ∈ GC . By Theorem 3.3, there exists a T C -invariant function fg such that fg |Y = 0
and fg |T C g·x = 1. Let Ug be the open set {v ∈ V | fg (v) 6= 0}. Now we use the fact
GC = GT C G. Since G · x is compact, we can take g1 , . . . , gn in G such that Ug1 , . . . , Ugn
cover G · x. Then
def.
F = |fg1 | + · · · + |fgn |
∅ = Y ∩ GT C G · x = Y ∩ GC · x.
1 √
(3.7) hµ(x), ai = ( −1ξx, x) for x ∈ V , ξ ∈ g.
2
This is a special case of the moment map which is defined for an action on a general
symplectic manifold. Consider a function px : GC → R>0 given by
def.
(3.8) px (g) = kgxk2 for g ∈ GC .
This function plays a fundamental role in the relationship between the moment map and
the geometric invariant theory as seen in the following proposition.
For A ∈ g, we have
1d √ √
(3.10) k(exp t −1ξ)gxk2 = (iξ(exp tiξ)gx, (exp t −1ξ)gx)
2 dt √
= 2hµ (exp t −1ξ)gx , ξi,
1 d2 √ √
(3.11) 2
k(exp t −1ξ)gxk2 = 2kξ exp t −1ξgxk2 ≥ 0.
2 dt
(3.10) proves Assertion (3), and (3.11) proves Assertion (2).
Assertion (4) follows from the convexity of px and the fact that any two points in G\GC
can be joined by a geodesic.
To prove Assertion (5), suppose px attains minimum at g and exp iξ · g. Then the
convexity of px implies
√ √
k exp(t −1ξ)gxk2 = px (exp t −1ξg) = const .
√
Therefore
√ we get ξgx = 0 by setting t = 0 in (3.11). Hence we have exp −1ξgx = gx, i.e.
g −1 exp −1ξg ∈ GCx .
Now we prove Assertion (6). If the orbit GC · x is closed, then px attains its minimum
at the nearest point to origin.
Conversely suppose px attains a minimum. We may assume it does so at g = e,
replacing x if necessary. Let g⊥x be the orthogonal complement of gx in g. By (3.11), we
have
d2 √
p x (exp t −1ξ) > 0
dt2
for any 0 6= ξ ∈ g⊥
x . Hence we can choose a positive constant ε so that
d2 √
p x (exp t −1ξ) ≥ ε
dt2
for ξ ∈ g⊥
x with kξk = 1 and t ∈ [0, 1]. Therefore, we have
d √
px (exp t −1ξ) ≥ ε
dt
for ξ ∈ g⊥
x with kξk = 1 and t = 1. The same inequality holds for t ≥ 1 since px is convex.
It implies
√ √
px (exp t −1ξ) ≥ ε(t − 1) + px (exp −1ξ) for t ≥ 1.
√
Thus px (exp t −1A) diverges as t → ∞. This implies the orbit GC · x is closed.
Now we can describe the set of closed orbits via the moment map.
Theorem 3.12 (Kempf and Ness [45]). There is a bijection between the set of closed
GC -orbits in V and µ−1 (0)/G.
3.1. GEOMETRIC INVARIANT THEORY AND THE MOMENT MAP 29
In Proposition 2.9, we have seen that the left hand side is identified with the symmetric
product S n (C2 ).
[n]
30 3. HYPER-KÄHLER METRIC ON (C2 )
With this example understood, the next question is “Is there a similar description
[n] [n]
for (C2 ) ?”. In order to describe (C2 ) as S n (C2 ) in Example 3.14, we need some
modification of Theorem 3.12. The following construction is due to A. D. King [46].
Let χ : G → U(1) be a character, and χ also denotes its complexification,
χ : GC → C∗ .
Consider the trivial line bundle V × C over V . Using χ, we lift the GC -action to V × C
by
(3.18) g · (x, z) = (g · x, χ(g)−1 z) for (x, z) ∈ V × C.
C
Let A(V )G ,χ be the space of polynomials satisfying f (g · v) = χ(g)f (v). It can be
identified with the space of GC -invariant sections of the above line bundle. Then the direct
sum
M C n
A(V )G ,χ
n≥0
To prove Theorem 3.23, the only thing we have to do is to prove the next.
Lemma 3.24. (B1 , B2 , i, j) satisfies the stability condition in Theorem 2.1 if and only
if GC · (x, z) is closed for z 6= 0.
Proof. Suppose GC · (x, z) is closed for z 6= 0. And suppose there exists a subspace
S ( V which satisfies the following,
(i) S is Bα -invariant (α = 1, 2).
(ii) im i ⊂ S.
Taking a complementary subspace S ⊥ , we decompose W as S ⊕ S ⊥ . Then we have
∗ ∗ ∗
Bα = (α = 1, 2), i = .
0 ∗ 0
[n]
32 3. HYPER-KÄHLER METRIC ON (C2 )
1 0
Let g(t) = , then we have
0 t−1
−1 ∗ t∗
g(t)Bα g(t) = , g(t)i = i.
0 ∗
⊥
On the other hand (det g)−n z = tn dim S → 0 as t → 0. This contradicts the closedness of
GC · (x, z).
Next, suppose the stability condition is satisfied. If GC · (x, z) is not closed, then, by
the Hilbert criterion Theorem 3.6, there exists a map λ : C∗ → GL(V ) which satisfies the
C
M G · (x, z) \ G · (x, z).
condition, limt→0 λ(t) · (x, z) exists and this limit is contained within C
It is well-known (see e.g. [48, Chapter IX, Theorem 4.3]) that the above conditions
(3.25.2), (3.25.3) (under (3.25.1)) are equivalent to requiring that I is parallel with respect
to the Levi-Civita connection of g, i.e. ∇I = 0. This is also equivalent to the condition:
(the holonomy group of ∇) ⊂ U(n).
The hyper-Kähler structure is a quaternionic version of the Kähler structure. However,
there is no good definition of the integrability (i.e. the existence of local charts) for the
almost hyper-complex structure. Hence we generalize the second equivalent definition
explained in above.
Definition 3.26. Let X be a 4n-dimensional manifold. A hyper-Kähler structure of
X consists of a Riemmanian metric g and a triple of almost complex structures I, J, K
which satisfy the following conditions:
(3.26.1) g(Iv, Iw) = g(Jv, Jw) = g(Kv, Kw) = g(v, w) for v, w ∈ T X.
(3.26.2) (I, J, K) satisfies a relation I 2 = J 2 = K 2 = IJK = −1.
(3.26.3) I, J, K are parallel with respect to the Levi-Civita connection of g, i.e. ∇I = ∇J =
∇K = 0.
We call a manifold with a hyper-Kähler structure simply a hyper-Kähler manifold.
Remark 3.27. (1) The above conditions are equivalent to the condition:
(the holonomy group of ∇) ⊂ Sp(n).
(2) Each one of (g, I), (g, J), (g, K) defines a Kähler structure. We pick up
√ a particular
complex structure, say I, and combine the other Kähler forms as ωC = ω2 + −1ω3 . Then
√
ωC (Iv, w) = g(JIv, w) + −1g(KIv, w)
√ √
= −1(g(Jv, w) + −1g(Kv, w))
√
= −1ωC (v, w).
This means ωC is of type (2, 0). It is clear that dωC = 0 and ωC is non-degenerate. Hence
ωC is a holomorphic symplectic form.
(3) One of the advantages of the hyper-Kähler structure is that one can identify two
apparently different complex manifolds with one hyper-Kähler manifold. Namely, a hyper-
Kähler manifold (X, g, I, J, K) gives two complex manifolds (X, I) and (X, J), which are
not isomorphic in general. For example, on a compact Riemann surface, the moduli space of
Higgs bundles and the moduli space of flat PGLr (C)-bundles come from one hyper-Kähler
manifold, namely moduli space of 2D-self-duality equation (see [36] for detail.)
[n]
34 3. HYPER-KÄHLER METRIC ON (C2 )
Kähler structures are easy to construct and flexible. For example, any complex sub-
manifold of a Kähler manifold√ is again Kähler, and a Kähler metric is locally given by
a Kähler potential, i.e. ω = −1∂∂u for a strictly pseudo convex function u. However,
hyper-Kähler structures are neither easy to construct nor flexible (even locally). A hyper-
complex submanifold of a hyper-Kähler manifold must be totally geodesic, and there is
no good notion of hyper-Kähler potential. The following quotient construction, which
was introduced by Hitchin et al.[39] as an analogue of Marsden-Weinstein quotients for
symplectic manifolds, is one of the most powerful tool for constructing new hyper-Kähler
manifolds.
Let (X, g, I, J, K) be a hyper-Kähler manifold, and ω1 , ω2 , ω3 the associated Kähler
forms corresponding to I, J, K. Suppose that a compact Lie group G acts on X preserving
g, I, J, K.
Definition 3.28. A map
(3.29) µ = (µ1 , µ2 , µ3) : X → R3 ⊗ g∗
is said to be a hyper-Kähler moment map if we have the following:
(3.29.1) µ is G-equivariant, i.e. µ(g · x) = Ad∗g−1 µ(x).
(3.29.2) hdµi(v), ξi = ωi (ξ ∗, v) for any v ∈ T X, any A ∈ g and i = 1, 2, 3, where ξ ∗ is a
vector field generated by ξ.
Take ζ = (ζ1 , ζ2, ζ3 ) ∈ R3 ⊗ g∗ which satisfies Ad∗g (ζi) = ζi for any g ∈ G, (i =
1, 2, 3). Then µ−1 (ζ) is invariant under the G-action. So we can consider the quotient
space µ−1 (ζ)/G.
Theorem 3.30 (Hitchin et al.[39]). Suppose G-action on µ−1 (ζ) is free. Then the
quotient space µ−1 (ζ)/G is a smooth manifold and has a Riemannian metric and a hyper-
Kähler structure induced from those on X.
Remark 3.31. The meaning of “a hyper-Kähler structure induced from that on X”
is as follows: Let i be the natural inclusion µ−1 (ζ) → X, and π the natural projection
µ−1 (ζ) → µ−1 (ζ)/G. If ω1 , ω2 , ω3 (resp. ω1′ , ω2′ , ω3′ ) are Kähler forms associated with
the hyper-Kähler structure on X (resp. µ−1 (ζ)/G), we have the relation π ∗ ωα′ = i∗ ωα
(α = 1, 2, 3) hold.
We call this quotient space a hyper-Kähler quotient.
We shall give the proof of Theorem 3.30 following [38]. Another proof can be found in
[27].
First we begin with the following useful lemma:
Lemma 3.32. Let (X, g) a Riemannian manifold with skew adjoint endomorphisms
I, J and K of the tangent bundle T X satisfying (3.26.1),(3.26.2). Then (g, I, J, K) is
hyper-Kähler if and only if the associated Kähler forms ω1 , ω2 and ω3 are closed.
Proof. The “only if” direction is clear. Hence it is enough to show that I, J, K are
integrable when ω1 , ω2 and ω3 are closed.
3.2. HYPER-KÄHLER QUOTIENTS 35
Proof of Theorem 3.30. Take x ∈ µ−1 (ζ) and consider the differential
dµx : Tx X → R3 ⊗ g∗ .
Since the G-action is free on µ−1 (ζ), the tangent space of the orbit through x, denoted by
Vx , is isomorphic g under the identification
g ∋ ξ 7→ ξx∗ ∈ Vx ⊂ Tx X,
where ξx∗ is the value of the vector field ξ ∗ at x.
First we prove
Claim. Vx , IVx , JVx , KVx are orthogonal to each other.
Proof. Let ξ, η ∈ g. Since µi is equivariant, we have µ(exp(tη)x) = ζ for any t ∈ R.
Differentiating with respect to t, we get
dµx (ηx∗ ) = 0.
Hence we have
(g(Iξx∗, ηx∗ ), g(Jξx∗, ηx∗ ), g(Kξx∗, ηx∗ )) = (ω1 (ξx∗ , ηx∗ ), ω2 (ξx∗ , ηx∗ ), ω3 (ξx∗ , ηx∗ ))
= hdµx (ηx∗ ), ξi = 0.
This implies Vx and IVx (resp. JVx , KVx ) is orthogonal. Since I, J and K are hermitian,
we get the assertion.
[n]
36 3. HYPER-KÄHLER METRIC ON (C2 )
Since this space has singularities, we take the nonsingular locus given by
Mreg
0 (r, n)
= { [(B1 , B2 , i, j)] ∈ M0 (r, n) | the stabilizer in U(V ) of (B1 , B2 , i, j) is trivial }.
A system (B1 , B2 , i, j) of matrices satisfying µ = 0 and having trivial stabilizer is called an
ADHM datum. Then the ADHM description is the following,
Theorem 3.42 (Atiyah et al. [2]). There is a bijective correspondence between the
framed moduli space and Mreg 0 (r, n), where r is the rank of the vector bundle E, and n
is the second Chern class of E.
The complete proof of this theorem can be found in [13]. Here we see how to construct
an anti-self-dual connection from an ADHM datum.
Let T be the fundamental representation of SO(4), and S + be the positive half-spinor
representation. Let M1 = T ⊗R u(V ) and M2 = S + ⊗C Hom(V, W ). If we choose a complex
structure on R4 , in other words, a reduction of the symmetry group from SO(4) into SU(2),
T could be identified with Λ0,1 . Hence M1 can be identified with Λ0,1 ⊗C End(V ). More
explicitly, choosing a basis for T , we could write the identification as
√ √
(A0 , A1, A2 , A3 ) ∼
= (B1 , B2 ) where B1 = A0 + −1A1 , B2 = A2 + −1A3 .
V0,0 V2,0
Similarly, the identification R4 ∼ = C2 induces a decomposition S + ∼ = ⊕ . We
+ †
decompose Φ ∈ S ⊗C Hom(V, W ) into i ⊕ j, where i ∈ Hom(W, V ) and j ∈ Hom(V, W ).
In this way, we identify (B1 , B2 , i, j) ∈ M and (A, Φ) ∈ M1 ⊕ M2 . Moreover, we can
rewrite (3.16) and (3.17) into a single equation
(3.43) µ = (µ1 , µ2 , µ3 ) = [A ∧ A]+ + {Φ† , Φ}.
V
Here [A∧A]+ is, as usual, an element in + T ⊗u(V ) ∼ = R3 ⊗u(V ) which is given by taking
the Lie bracket in u(V )-part and the wedge product in T -part. The term V {Φ† , Φ} is the
trace-free part of Φ† Φ ∈ u(S + )⊗u(V ), hence an element of su(S + )⊗u(V ) ∼ =
+
T ⊗u(V ) ∼
=
3
R ⊗ u(V ).
Regarding A as a “connection”, we consider [A ∧ A]+ as the self-dual part of the
“curvature” of A. Similarly, Φ can be regarded as a “Higgs field”, and the equation µ = 0
represents the Seiberg-Witten equation.
Let (A, Φ) = (B1 , B2 , i, j) be an element of µ−1 (0). For z = (z1 , z2 ) ∈ C2 , we have
V
⊕
(3.44) V −−−−−−−−−→ ! V −−−−−−−−−−−−−−−→V.
B1 −z1
σz = B2 −z2 ⊕ τz = ( −(B2 −z2 ) B1 −z1 i )
j W
It is not difficult to check Ker σz = 0 Sand Coker τz = 0 when (B1 , B2 , i, j) ∈ µ−1 (0) and
stabilizer in U(V ) is trivial. Therefore z∈C2 Ker τz / Im σz is a vector bundle on C2 . Since
τz and σz vary holomorphically on z ∈ C2 , it is a holomorphic vector bundle. In fact, this
is the vector bundle attached to the data (B1 , B2 , i, j) in Chapter 2. Moreover, we can
[n]
40 3. HYPER-KÄHLER METRIC ON (C2 )
quotient [39]. The fact that the space µ−1 (ζ1 , 0, 0)/G is the resolution of µ−1 (0)/G was
observed by Kronheimer in the case of ALE spaces (see Chapter 4). This motivated the
author to study Mζ (r, n) in [64]. Although the geometric interpretation of Mζ (r, n) had
not been given at that time, the author noticed later that Mζ (r, n) is the framed moduli
space of torsion free sheaves as a complex manifold (see Chapter 2) in [69]. The space
Mζ (r, n) was also studied by Valli independently [80].
CHAPTER 4
In this chapter, we shall construct minimal resolutions of simple singularities using Hilbert
schemes of points on C2 . These resolutions inherit the hyper-Kähler structures from those
on Hilbert schemes. This construction will give us a new interpretation Kronheimer’s
construction of ALE spaces [49] in terms of Hilbert schemes.
4.1. General Statement
A simple singularity is a quotient space C2 /Γ, where Γ is a finite subgroup of SU(2).
This singularity has been studied from various point of view. See e.g. [5], [76].
Let us construct its resolution using the Hilbert scheme of points on C2 as follows.
[N ]
Consider the Hilbert scheme (C2 ) , where N is the order of Γ. The Γ-action on C2
[N ]
naturally induces that on (C2 ) and the symmetric product S N (C2 ). Since Γ-action on
C2 \ {0} is free, the Γ-orbit Γ · p of a point p in C2 \ {0} consists of N distinct points,
[N ]
hence defines a 0-dimensional subscheme Z ∈ (C2 ) . This Z is fixed by the Γ-action.
Conversely, any Γ-fixed point in the open stratum π −1 (S(1,...,1)
N
(C2 )) comes from a Γ-orbit.
Let X be the component of Γ-fixed point set which contains the set of Γ-orbits Γ·(C2 \{0}).
It is the closure of Γ · (C2 \ {0}) and has dimension 2. Then we have
Theorem 4.1 (Ginzburg and Kapranov [25], Y. Ito and I. Nakamura [42]). The re
striction of the Hilbert-Chow morphism to X is the minimal resolution of singularities
Γ
of C2 /Γ ∼= S N (C2 ) .
Γ
Proof. It is easy to check that the fixed point set S N (C2 ) in the symmetric product
[N ]
is isomorphic to C2 /Γ. Since (C2 ) is nonsingular, a fixed point component X of a finite
group action is nonsingular.
Since (C2 \ {0})/Γ is contained in S(1,...
N 2
,1) (C ) on which the Hilbert-Chow morphism
π is an isomorphism, the restriction of π induces an isomorphism between X \ π −1 (0) and
(C2 \ {0})/Γ. Hence π is a resolution.
[N ]
The holomorphic symplectic structure on (C2 ) restricts to that on X. In particular,
it implies that the canonical bundle is trivial, i.e. KX = OX . Hence the resolution is
minimal.
Combining this construction with the hyper-Kähler structure given in Chapter 3, we
obtain the following
Corollary 4.2. X has a hyper-Kähler metric.
42
4.1. GENERAL STATEMENT 43
Proof. The Γ-action preserves the Riemannian metric and the hyper-Kähler structure
[N ]
on the Hilbert scheme (C2 ) constructed in Chapter 3. The restriction gives a hyper-
Kähler structure on X.
Remark 4.3. The hyper-Kähler structures on the minimal resolutions of simple sin-
gularities were constructed by Kronheimer [49]. His construction will be explained later.
Next we study the other fixed components
[N ]
Theorem 4.4. Suppose that Z is a fixed point in (C2 ) of Γ-action, and let V denote
H 0 (OZ ) considered as a Γ-module. Then
(1) If Z is contained in the component X, then V is isomorphic to the regular repre-
sentation R.
(2) Conversely, if V ∼
= R, then Z is contained in X.
[N ]
(3) Other fixed point components of (C2 ) consist of points.
[N ]
Proof. We shall use the description of (C2 ) in terms of matrices given in Theo-
[N ]
rem 1.14. Suppose Z is a Γ-invariant 0-dimensional subscheme in (C2 ) , and corresponds
to a triple of matrices (B1 , B2 , i). Recall that it is given as follows: Define a N-dimensional
vector space V as H 0 (OZ ), and a 1-dimensional vector space W . Then the multiplica-
tions of coordinate functions z1 , z2 ∈ C define endomorphisms B1 , B2 . The natural map
OC2 → OZ defines a linear map i : W → V . From this construction, V is a Γ-module,
and W is the trivial Γ-module. The pair (B1 , B2 ) is Γ-equivariant, if it is considered as
an element in Hom(V, Q ⊗ V ), where Q is 2-dimensional representation given by the in-
clusion Γ ⊂ SU(2). (This follows from that (z1 , z2 ) is an element in Q.) And i is also a
Γ-equivariant homomorphism W → V .
Let us prove Assertion (1). Since V is independent of the choice of a point of X, it is
sufficient to see V = R when Z is given by the orbit Γ · x, where x = (z1 , z2 ) is a point in
C2 \ {0}. In this case, V = H 0 (OZ ) is identified with the set of functions on Z = Γ · x.
Hence we have a basis {eγ | γ ∈ Γ} of V = H 0 (OZ ), where eγ is the characteristic function
of γx. The Γ-module structure on V is given by the pull-back of the function. For g ∈ Γ,
the pull-back (g −1 )∗ eγ is the characteristic function of gγx, i.e. egγ . Hence the Γ-module
structure is given by g · eγ = egγ . This shows that V is the regular representation as a
Γ-module.
It is also easy to write down the corresponding matrix data: Choose a numbering of
elements in Γ so that Γ = {γ1, γ2 , . . . , γN }, we write γi x = (z1i , z2i ). Then Γ · x corresponds
to matrices
1 1
z1 z2
2
z1
0
z22
0
1
B1 = .. , B2 = .. , i = ... .
. .
1
0 z1N
0 z2N
(See Example 1.15.) The basis of V , which gives the above matrix expression, is {eγ1 , . . . ,
eγN }. One can directly check that (B1 , B2 ) and i are Γ-equivariant.
44 4. RESOLUTION OF SIMPLE SINGULARITIES
the following rule: assign a vertex corresponding to each irreducible component. Connect
vertices with an edge if corresponding irreducible components intersect. (See Figure 4.1.)
⇐⇒
Recall that the Cartan matrix is determined from the Dynkin diagram by
2 if k = l,
ckl = −1 if vertices k and l are connected by an edge,
0 otherwise,
where we only consider the simply-laced cases. For example, the Cartan matrix of An is
2 −1
−1 2 −1
0
−1 2 −1
.. .
.
−1 2 −1
0 −1 2
From the above discussion, the intersection matrix is given by −(Cartan matrix).
Another correspondence between finite subgroups of SU(2) and Dynkin diagrams was
given by McKay [55]. Let R0 , R1 , . . . , Rn be the irreducible representations of Γ with R0
the trivial representation. Let Q be the 2-dimensional representation L given by the inclusion
Γ ⊂ SU(2). Let us decompose Q ⊗ Rk into irreducibles, Q ⊗ Rk = l akl Rl , where akl is
the multiplicity. Then the matrix 2I − (akl )kl is an affine Cartan matrix of a simply-laced
(1) (1) (1) (1) (1)
extended Dynkin diagram, Ãn , D̃n , Ẽ6 , Ẽ7 or Ẽ8 .
For example, consider the case when Γ is of type An , i.e.
k √
Γ = Z/(n + 1)Z ∼
=
γ 0 k = 0, 1, . . . , n, γ = exp 2π −1 .
0 γ −k n+1
1 2 3 n−1 n
Figure 4.2
In fact, it is also known that the Dynkin diagram given by the resolution graph is
obtained by the extended Dynkin diagram by removing the vertex corresponding to the
trivial representation R0 .
Now we return to the description of X given in (4.5). Take the irreducible decomposition
of V , W as Γ-module
M
W = W0 ⊗ R0 , V (∼
= R) = Vk ⊗ Rk .
k
of (B1 , B2 ). At last, put W0 and an arrow representing i upon V0 . Thus we obtain Figure
4.3.
W0
?
1 V0 i
) q
V1 - V2 - ··· - Vk - ··· - Vn
Figure 4.3
This is the Kronheimer’s construction. Since the hyper-Kähler manifolds which are ob-
tained as the Γ-fixed component of the Hilbert scheme (or its deformation) satisfy ζ0 =
ζ1 = · · · = ζn , not all X(ζ 1 ,ζ 2 ,ζ 3 ) are obtained as a fixed point component.
[N ]
rank N over (C2 ) . We denote it by V. If we use the description 1.14, it can be obtained
as the vector bundle associated with the principal bundle
( )
(i) [B1 , B2 ] = 0
[N ]
(B1 , B2 , i) (ii) (B1 , B2 , i) satisfies stability condition −−−−−→ (C2 ) .
in Theorem 1.14 (ii) / GLn (C)
i : O(C2 )[N] → V,
Bα : V → V (α = 1, 2),
induced by the natural projection OC2 → OZ and multiplication of the coordinate function
zα (α = 1, 2) respectively. In the description 1.14, it is induced by corresponding matrices
i, Bα . (Hence we use the same notation.)
[N ] [N ] [N ]
Let pa : (C2 ) ×(C2 ) → (C2 ) be the projection to the a-th factor (a = 1, 2). Then
we have tautological complex
Hom(p∗1 V, p∗2 V)
⊕
Hom(p∗1 V, p∗2 V)
a b
∗ ∗
Hom(p1 V, p2 V) −→ ⊕ −→ Hom(p∗1 V, p∗2 V),
Hom(O(C2 )[N] ×(C2 )[N] , p∗2 V)
⊕
Hom(p∗1 V, O(C2 )[N] ×(C2 )[N] )
where
2
B1 ξ − ξB11 C1
B 2 ξ − ξB 1 C2
a(ξ) = 2
−ξi1 ,
2
b 2 1 1 2 2
I = B1 C2 − C2 B1 + C1 B2 − B2 C1 + i J.
0 J
Here the superscript indicates the factor from which the tautological homomorphism is
pulled back. For example, B11 is a pull-back of B1 by p1 , hence is a section of Hom(p∗1 V, p∗1 V).
[N ] [N ]
Hence Ker b/ Im a forms a vector bundle over (C2 ) × (C2 ) . Let us define a section
s of Ker b/ Im a by
0
0
s=
−i2 mod Im a.
0
Then s vanishes when there exists ξ ∈ Hom(V, V ) such that
B12 ξ = ξB11 , B22 ξ = ξB21 , i2 = ξi1 .
The stability condition for (B12 , B22 , i2 ) implies Im ξ = V , hence ξ is invertible. It means
[N ]
that (B11 , B21 , i1 ) and (B12 , B22 , i2 ) defines the same point in (C2 ) . Namely s−1 (0) is the
[N ] [N ]
diagonal ∆ in (C2 ) × (C2 ) .
Lemma 4.8. s is transversal to the zero section.
Proof. One can show that the differential ∇s is surjective over the diagonal ∆. The
detail is left to the reader. See [67, 5.7].
This lemma implies the Koszul complex is exact:
2N
^ t (s∧) ts
(4.9) 0→ (Ker b/ Im a)∨ −−−→ · · · → (Ker b/ Im a)∨ −→ O(C2 )[N] ×(C2 )[N] → O∆ → 0
Now we restrict everything to the Γ-fixed component X. We restrict the tautological
vector bundle V to X, which is still denoted by V. It has a structure of a Γ-module and
decomposes into irreducibles:
M
(4.10) V= Vk ⊗ Rk∗ .
k
The bundle Vk is the vector bundle associated with the principal bundle
( )
(i) [B1 , B2 ] = 0
(B1 , B2 , i) ∈ MΓ0 (ii) (B1 , B2 , i) satisfies stability condition −−−−−→ X,
in Theorem 1.14 (ii) / GLΓ (V )
Q
where the representation is the projection GLΓ (V ) = GL(Vk ) → GL(Vk ).
Tautological homomorphisms (B1 , B2 ), i are now Γ-equivariant. From now, it is more
convenient to consider the pair (B1 , B2 ) as a section of HomΓ (V, Q ⊗ V). We denote it
simply by B. We take the Γ-equivariant part of the restriction of the tautological complex:
HomΓ (p∗1 V, Q ⊗ p∗2 V)
⊕
a′ b′
∗ ∗
HomΓ (p1 V, p2 V) −→ HomΓ (OX×X , p∗2 V) −→ HomΓ (p∗1 V, p∗2 V),
⊕
∗
HomΓ (p1 V, OX×X )
where a′ (resp. b′ ) is the restriction of a (resp. b). Then a′ is injective and b′ is surjective,
and Ker b′ / Im a′ is a vector bundle.
50 4. RESOLUTION OF SIMPLE SINGULARITIES
Instead of the Koszul complex (4.9), we introduce a slightly modified version, which is
more convenient
(4.11)
HomΓ (p∗1 V, Q ⊗ p∗2 V)
HomΓ (p∗1 V, p∗2 V) ⊕ HomΓ (p∗1 V, p∗2 V)
∗
0→ ⊕ −−−−→ HomΓ (OX×X , p2 V) −“−−→ ” ⊕ −
→ O∆ → 0,
( a′ s′ ) b′ t
OX×X ⊕ s′′ OX×X
HomΓ (p∗1 V, OX×X )
where
0 C
s′ (λ) = λi2 , s′′ I = Ji1
0 J
η
t = tr(η|∆ ) − λ|∆ .
µ
Here (·)|∆ is the restriction to ∆, and we have used the isomorphism p∗1 V|∆ ∼ = p∗2 V|∆ to
define the trace tr(η|∆ ).
In fact, (4.11) is a modified version of the exact sequence L ∗in [50,∗ 3.6]. It gives a
resolution of the diagonal whose higher terms are in the form p1 E ⊗ p2 F for some E and
F . Using the argument similar to that in Chapter 2, Kronheimer and the author gave a
description of holomorphic vector bundle on X [50].
Moreover, (4.11) gives an interesting interpretation of the McKay correspondence. Ir-
reducible summands Vk of the tautological vector bundle V have following properties:
(i) The restriction of Vk to π −1 (C2 \ {0}/Γ ∼= C2 \ {0}/Γ comes from the representation
Rk ([50, 2.2]).
(ii) {c1 (Vk )}k=1,...,n is the dual basis of the basis given by irreducible components of
π −1 (0) ([66, 5.8,5.10]).
In this picture, the correspondence between irreducible representations of Γ (except the
trivial representation) and irreducible components of the exceptional set becomes concrete.
It is realized by the tautological bundles Vk ’s. In [66, 5.8], we have shown the correspon-
dence respects the multiplicative structures, one given by the tensor product and one given
by the cup product. In fact, using (4.11), we can show that two matrices
Z M
− c1 (Vk ) ∪ c1 (Vl ) and (2δkl − akl )k,l=1,...,n (where Q ⊗ Rk = akl Rl )
X k,l=1,...,n
are inverse to each other. The proof is free from the classification of simple singularities.
Question 4.12. Is it possible to give an analogue of the McKay correspondence be-
tween irreducible representations of the symmetric group Sn and cycles in the Hilbert
[n]
scheme (C2 ) ? It seems likely that the tautological bundle V plays a fundamental role.
4.3. TAUTOLOGICAL VECTOR BUNDLES 51
How the multiplicative structures relate under the correspondence ? Note that the di-
[n]
mension of H∗ ((C2 ) is the number of partitions of n which is equal to the number of
irreducible representations of Sn by Corollary 5.9.
Although there are several higher dimensional analogue of the McKay correspondence,
the study of multiplicative structures is missing.
CHAPTER 5
[n]
In this chapter we shall calculate the Poincaré polynomial of (C2 ) . This was first accom-
plished by Ellingsrud and Strømme [14]. They have used the Bialynicki-Birula decompo-
[n]
sition associated with the natural torus action on (C2 ) , and then compute the Poincaré
polynomial using the Weil conjecture. Our approach is essentially the same, but we use
Morse theory instead of the Weil conjecture.
For a later purpose (Chapter 7), we shall explain the perfectness of the Morse function
given by the moment map of a torus action on a general symplectic manifold. However,
[n]
when the fixed points of a torus action are all isolated, such as the case of (C2 ) , the
perfectness follows easily from the Morse inequality since they all have even indices. The
[n]
reader who has interests only in (C2 ) could skip §5.1.
5.1. Perfectness of the Morse function arising from the moment map
Let (X, ω) be a compact symplectic manifold and T a compact torus. We suppose that
there exists a T -action on X preserving ω with the corresponding moment map µ : X → t∗ .
As explained in Chapter 3, µ : X → t∗ is called a moment map if it satisfies
(5.1) dhµ, ξi = iξ∗ ω for ξ ∈ t,
where t is the Lie algebra of T and ξ ∗ is the vector field on X generated by ξ. We take a
non-zero element ξ ∈ t and use f = hµ, ξi : X → R as a Morse function.
Since ω is non-degenerate, x ∈ X is a critical point of f if and only if ξx∗ = 0. This is
equivalent to the condition that
g · x = x for any g ∈ exp Rξ.
If we choose a generic element ξ, we have exp Rξ = T . Therefore in such a case, the critical
point is the same as the fixed point of the torus action. In the following, we assume ξ is
generic, and hence Crit(f ) = X T .
Now we fix a Riemannian metric g which is invariant under the T -action. The sym-
plectic form ω together with the Riemannian metric g gives an almost complex structure I
defined by ω(v, x) = g(Iv, w). With this almost complex
` structure, we regard the tangent
space Tx X as a complex vector space. Let X T = ν Cν be the decomposition into the
connected components. For each x ∈ Cν , we have the weight decomposition
M
Tx X = V (λ),
λ∈Hom(T,U(1))
52
5.1. PERFECTNESS OF THE MORSE FUNCTION ARISING FROM THE MOMENT MAP 53
This shows that the Hessian of f is positive definite (resp. negative definite) on Nx+ (resp.
Nx− ). Therefore f is non-degenerate in the sense of Bott, i.e. the set of critical points is
a disjoint union of submanifolds of X, and the Hessian is non-degenerate in the normal
direction at any critical point. We put dν = dimR Nx− = 2 dimC Nx− which is the index of
f at the critical manifold Cν . Note that the index dν is always even in this case.
Let us denote by Wν+ (resp. by Wν− ) the stable manifold of Cν (resp. the unstable
manifold of Cν ). These are defined by
def.
Wν+ = {x ∈ X | lim φt (x) ∈ Cν },
t→−∞
def.
Wν− = {x ∈ X | lim φt (x) ∈ Cν },
t→+∞
where φt is a gradient flow of f with respect to the T -invariant metric g on X. The stable
manifoldS Wν+ (resp. the unstable manifold Wν− ) is diffeomorphicS to the positive normal
bundle x∈Cν Nx+ → Cν (resp. the negative normal bundle x∈Cν Nx− → Cν ), and in the
following we assume these identifications. Notice that Wν− is an orientable real vector
bundle of rank dν on Cν since Nx− consists of non-zero weight spaces for the T -action.
It is well known (see e.g., [1, p.537]) that there exists a partial ordering < on the index
set of the critical manifolds with the property
S
(1) Wν+ ⊂ ν≤µ Wµ+ ,
(2) µ ≤ ν implies f (Cµ ) ≤ f (Cν ).
Suppose that for c ∈ R there exists only one critical manifold Cν with f (Cν ) = c. This
assumption is just for saving notations, and the argument for the general case is essentially
54 5. POINCARÉ POLYNOMIALS OF THE HILBERT SCHEMES (1)
S S
the same. We define Xc,− = µ<ν Wµ+ and Xc,+ = µ≤ν Wµ+ = Xc,− ∪ Wν+ . Then the
cohomology exact sequence for the pair (Xc,+ , Xc,− ) gives
jq jq+1
(5.2) → H q (Xc,+ ) → H q (Xc,− ) → H q+1 (Xc,+ , Xc,− ) −−→ · · · .
· · · → H q (Xc,+ , Xc,− ) −
Note that Xc,+ is an open submanifold of X and that Wν+ is a closed submanifold of
Xc,+ . Let Nν be the normal bundle of Wν+ in Xc,+ . Then the restriction of Nν to Cν is
the unstable manifold Wν− and the inclusion (Wν− , Cν ) ֒→ (Nν , Wν+ ) becomes a homotopy
equivalence. Since Wν− is orientable, so is Nν , and we have the following identification
given by the Thom isomorphism
H q (Xc,+ , Xc,−) ∼
= H q (Nν , Nν \ Wν+ ) ∼
= H q (Wν− , Wν− \ Cν ) ∼
= H q−dν (Cν ).
Therefore we have
(
bq (Xc,+ ) = bq (Xc,− ) − aq+1 + cq
bq−dν (Cν ) = aq + cq ,
where aq = rank(ker jq ), cq = rank(im jq ) and bq ’s are the q-th Betti numbers. From these
equalities, we have
P
where R(t) = ν Rν (t). This is the standard argument for the Morse inequality.
If Cν is a point, or more generally H odd (Cν ) = 0, the cohomology long exact sequence
(5.2) splits into short exact sequences and we have R(t) = 0, i.e. the Morse function is
perfect.
However, we can show the perfectness of the Morse function in our situation without
any condition on Cν . We shall follow the argument in [47]. The above argument shows that
the perfectness of the Morse function is equivalent to the condition that H q (Xc,+ , Xc,− ) →
H q (Xc,+ ) is injective for all q ∈ Z and for all the critical values c ∈ R. Let us consider the
5.1. PERFECTNESS OF THE MORSE FUNCTION ARISING FROM THE MOMENT MAP 55
following diagram.
jq
H q (Xc,+ , Xc,− ) −−−→ H q (Xc,+ )
x
∗
yi
H q (Nν , Nν \ Wν+ ) H q (Nν )
x
∗
yi
H q (Wν− , Wν− \ Cν ) H q (Wν− )
x
∗
yi
H q−dν (Cν ) H q (Cν )
The left vertical line is the Thom isomorphism, and the right one is given by the restriction
maps. From the definition of the Thom isomorphism, we know that the composite map
ψ : H q−dν (Cν ) → H q (Cν ) is given by the multiplication by the Euler class of Wν− → Cν .
If ψ : H ∗ (Cν ) → H ∗ (Cν ) is injective, then jq must also be injective, and therefore we can
prove the perfectness of the Morse function. Unfortunately, this argument does not work
since ψ is not injective. The main idea to save the argument is to use the equivariant
cohomology instead of the usual cohomology.
Let ET → BT be the universal T -bundle. This is given by a product of S ∞ → CP ∞
which is the inductive limit of the Hopf bundle S 2n+1 → CP n , where we regard S 2n+1
as a unit sphere in Cn+1 . For a topological space M with a T -action, the equivariant
cohomology HT∗ (M) is defined by HT∗ (M) = H ∗ (MT ), where MT = ET ×T M. Notice
that MT → BT is a fiber bundle with fiber M. Hence using the equivariant cohomology
means that we replace M with a family of M’s parameterized by BT . This shows that the
above argument also works for the equivariant cohomology. Therefore we have the Morse
inequality also for the equivariant cohomology.
X
PtT (X) = tdν PtT (Cν ) − (1 + t)RT (t),
ν
T
where P is the Poincare polynomial for the equivariant cohomology.
The same argument shows that RT (t) = 0 if ψ T : HT∗ (Cν ) → HT∗ (Cν ) is injective.
Since T acts trivially on Cν , we have (Cν )T = BT × Cν . Hence we have HT∗ (Cν ) =
H ∗ (BT ) ⊗ H ∗ (Cν ). If we write the equivariant Euler class of Wν− as
M
eT (Wν− ) = eν ⊗ 1 + λ ∈ H ∗(BT ) ⊗ H 0 (Cν ) ⊕ H ∗ (BT ) ⊗ H q (Cν ),
q>0
where the use is made of the fact that f is equivariantly perfect. Hence we have
X
Pt (X) ≥ tdν Pt (Cν ).
ν
Since the usual Morse inequality gives the opposite inequality, we have
X
Pt (X) = tdν Pt (Cν ).
ν
The unstable manifold Wν− becomes important in Chapter 7 when we study a holomorphic
symplectic manifold.
[n]
5.2. POINCARE POLYNOMIAL OF (C2 ) 57
[n]
5.2. Poincare polynomial of (C2 )
Let us apply the above result to our situation. Recall that we have two different
[n]
descriptions of (C2 ) . The first one, given in Theorem 1.14, is simple, but does not give
a Kähler metric. The second one, given in√Theorem 3.23, defines a Kähler metric, but
is complex because of the equation µ1 = −1dχ. We use both descriptions properly
according to situations.
We define an action of 2-dimensional compact torus T 2 = U(1) × U(1) on C2 by
C2 ∋ (z1 , z2 ) 7→ (t1 z1 , t2 z2 ) for (t1 , t2 ) ∈ T 2 .
[n]
This induces the action on (C2 ) . In terms of the ADHM data, this action is given by
[n]
[(B1 , B2 , i)] 7→ [(t1 B1 , t2 B2 , i)] for (t1 , t2 ) ∈ T 2 and [(B1 , B2 , i)] ∈ (C2 ) ,
[n]
and the corresponding moment map µ : (C2 ) → (t2 )∗ is given by
√ √
−1 2 −1 2
µ([(B1 , B2 , i)]) = kB1 k , kB2 k .
2 2
Note that we are using the description 3.23, otherwise kBα k2 are not√well-defined.
Now we apply the general argument in §5.1. We choose ξ = −2 −1(1, ε) ∈ t2 . Then
our Morse function f is given by
def.
f ([(B1 , B2 , i)]) = hµ([(B1 , B2 , i)]), ξi = kB1 k2 + εkB2 k2 .
For generic ε (0 < ε ≪ 1), the critical points of f coincide with the fixed points of
T√2 -action. Moreover f −1 ((−∞, c]) is compact, since f ≤ c together with the equation
√
−1
2
([B1 , B1† ]+ [B2 , B2† ]+ ii† ) = −1dχ implies a bound on kB1 k2 + kB2 k2 + kik2 , Therefore
we can apply Morse theory to our situation.
[n]
First, we shall identify the fixed point set. By definition, [(B1 , B2 , i)] ∈ (C2 ) is a fixed
point if and only if there exists a homomorphism λ : T 2 −→ U(V ) satisfying the following
conditions:
t1 B1 = λ(t)−1 B1 λ(t),
(5.3) t2 B2 = λ(t)−1 B2 λ(t),
i = λ(t)−1 i.
Suppose [(B1 , B2 , i)] is a fixed point. Then we have the weight decomposition of V with
respect to λ(t), i.e.
M
V = V (k, l),
k,l
where
V (k, l) = {v ∈ V | λ(t) · v = tk1 tl2 v}.
58 5. POINCARÉ POLYNOMIALS OF THE HILBERT SCHEMES (1)
From the conditions (5.3), the only components of B1 , B2 and i which might survive are
B1 : V (k, l) −→ V (k − 1, l),
B2 : V (k, l) −→ V (k, l − 1),
i : W −→ V (0, 0).
Thus we have a commutative diagram,
x x
B
−−−→ V (k, l − 1) −−−1→ V (k − 1, l − 1) −−−→
x x
B B
(5.4) 2 2 ,
B
−−−→ V (k, l) −−−1→ V (k − 1, l) −−−→
x x
where the commutativity follows from the condition [B1 , B2 ] = 0. This diagram has the
following properties.
Proposition 5.5. (1) If k > 0 or l > 0, then V (k, l) = 0.
(2) For every k, l ∈ Z, we have dim V (k, l) ≤ 1
(3) If k ≤ 0 and l ≤ 0, then dim V (k, l) ≥ dim V (k, l − 1) and dim V (k, l) ≥ dim V (k −
1, l).
(4) Maps between non-zero vector spaces in (5.4) are non-zero.
Proof. The stability condition is equivalent to the condition that V = Cn is spanned
by elements of the form B1p B2q · i(1) (p, q ∈ Z≥0 ). From this, Assertion (1) follows. We
also have Assertion (2) for k or l = 0, and dim V (0, l) ≥ dim V (0, l − 1), dim V (k, 0) ≥
dim V (k − 1, 0), (a part of Assertion (3)). Assertion (4) holds for maps between weight-
space in 0-th row, or 0-th column. The stability condition and the commutativity of (5.4)
exclude the following situations:
B1
V (k, l − 1) ∼
= C −−−→ V (k − 1, l − 1) 6= 0
x x
B ,
2
V (k, l) ∼
=C −−−→ 0
0 −−−→ V (k − 1, l − 1) 6= 0
x x
B
2 ,
B
V (k, l) ∼ 1
= C −−−→ V (k − 1, l) ∼
=C
where V (k, l), V (k, l − 1) (resp. V (k, l), V (k − 1, l)) are supposed 1-dimensional in the
diagram above (resp. below). Moreover, if V (k, l), V (k −1, l), V (k, l−1) are 1-dimensional,
[n]
5.2. POINCARE POLYNOMIAL OF (C2 ) 59
.
For a Young diagram D of weight n, we denote by νi (resp. νj′ ) the number of boxes in
the i-th column (resp. in the j-th row). For example, we have ν1 = 3, ν2 = 2, ν3 = 2 and
ν1′ = 3, ν2′ = 3, ν3′ = 1 for the above diagram. (Note our convention differs from one used
in [54]. Rotate 90◦ in anti-clockwise if the reader prefer one used in [54].) In this way,
a Young diagram corresponds to a partition ν = (ν1 , ν2 , . . . ) and its conjugate partition
60 5. POINCARÉ POLYNOMIALS OF THE HILBERT SCHEMES (1)
♥ l(s) = number of ♠
(5.6) ♥ a(s) = number of ♥
s ♠♠
Let R(T 2 ) = Z[T1 , T2 ] be the representation ring of T 2 , where Ti denotes the one dimen-
sional representation given by Ti : (t1 , t2 ) 7→ ti , i = 1, 2. Then the weight decomposition of
[n]
TZ (C2 ) is given by the next proposition.
Proposition 5.7. Let D be the Young diagram corresponding to the fixed point Z ∈
[n]
Fix(T 2 ). Then the character of TZ (C2 ) is given by
[n]
X l(s)+1 −a(s) −l(s) a(s)+1
TZ (C2 ) = (T1 T2 + T1 T2 ).
s∈D
[n]
Proof. In order to calculate the weight decomposition of TZ (C2 ) , we adopt the
[n]
first description of (C2 ) . Let (B1 , B2 , i, 0) be the data corresponding to Z given by
Theorem 1.14. Consider a complex
Hom(V, Q ⊗ V )
⊕ V
a b
(5.8) Hom(V, V ) −
→ Hom(W, V ) →Hom(V, V ) ⊗ 2 Q,
−
⊕
V
Hom(V, 2 Q ⊗ W )
where Q is 2-dimensional T 2 -module, and a and b are defined by
ξB1 − B1 ξ C1
ξB2 − B2 ξ C2
a(ξ) =
, b = [B1 , C2 ] + [C1 , B2 ] + iJ.
I
ξi
0 J
Since a is the differential of GLn (C)-action and b is the differential of µC in (3.17), the
[n]
tangent space of (C2 ) at Z can be identified with Ker b/ Im a. (This is the restriction of
the tautological complex (see §4.3) to the diagonal.) Recall that when Z = (B1 , B2 , i, 0)
is a critical point, there exists a homomorphism λ : T 2 −→ U(V ) which satisfies (5.3) and
[n]
5.2. POINCARE POLYNOMIAL OF (C2 ) 61
V2
that we regard V as a T 2 -module. We put the one dimensional representation Q to
make the complex T 2 -equivariant.
Since a is injective and b surjective, we have
2
^ 2
^
[n]
TZ (C2 ) = Hom(V, V ) ⊗ (Q − Q − 1) + Hom(W, V ) + Hom(V, W ) ⊗ Q
2
^ 2
^
= V ∗ ⊗ V ⊗ (Q − Q − 1) + V + V ∗ ⊗ Q.
P Pνj′ −j+1 −i+1 PN Pνi
We put ν1 = M and ν1′ = N. Since V = M j=1 i=1 T1 T2 = i=1 j=1 T1−j+1T2−i+1
V2
and Q − Q − 1 = T1 + T2 − T1 T2 − 1 = (T1 − 1)(1 − T2 ), we have
2 M ν′
^ X Xj
V ⊗ (Q − Q − 1) = T1−j+1(T1 − 1) T2−i+1 (1 − T2 )
j=1 i=1
M
X −νj′ +1
= T1−j+1(T1 − 1)(T2 − T2 ).
j=1
Hence we have
2
^
∗
V ⊗ V ⊗ (Q − Q − 1)
X νi
N X M
X
′ −νj′ +1
= T1j −1 T2i−1 T1−j+1(T1 − 1)(T2 − T2 )
i=1 j ′ =1 j=1
N X
X M νi
X ′ ′ i−νj′
= T1−j { (T1j +1 − T1j )}(T2 − T2i )
i=1 j=1 j ′ =1
N X
X M
i−ν ′
= (T1−j+νi+1 − T1−j+1 )(T2 j − T2i )
i=1 j=1
N X
X M
i−ν ′ i−ν ′
= {(T1−j+νi+1 T2 j − T1−j+1 T2i) − T1−j+1(T2 j − T2i ) − (T1−j+νi+1 − T1−j+1)T2i }.
i=1 j=1
Moreover, we have
N X
M M ν′
X i−ν ′ X Xj
M X νj′
X
=V − T1−j+1T2N −i+1 .
j=1 i=1
62 5. POINCARÉ POLYNOMIALS OF THE HILBERT SCHEMES (1)
Similarly, we have
N X
M 2 M X ν′
X ^ X j
M X ν′
X j
M X ν′
X j
Therefore we have
X l(s)+1 −a(s) −l(s) a(s)+1
R = R>0 + R≤0 = (T1 T2 + T1 T2 ).
s∈D
[n]
Corollary 5.9. The Poincaré polynomial of (C2 ) is given by
X
[n]
Pt (C2 ) = t2(n−l(ν)) ,
ν
where ν runs over all partitions of n and l(ν) is the length of ν, i.e. the number of nonzero
entries in ν.
Proof. We only need to calculate the index of the critical point Z. By the choice
of our Morse function, this is equal to the sum of dimensions of the weight spaces which
satisfy either of the following conditions,
(i) the weight of t1 is negative,
(ii) the weight of t1 is 0 and the weight of t2 is negative.
By the above proposition, this is equal to the twice of the number of boxes in D which
satisfies l(s) > 0. Hence the index of f at Z is 2(n − N) = 2(n − l(ν)).
[n]
If we introduce the generating function of Pt (C2 ) , the corollary can be expressed
as
X ∞ Y ∞
1
n 2 [n]
q Pt (C ) = 2m−2 m)
.
n=0 m=1
(1 − t q
This is Göttsche’s formula for the case of C2 . The general case is the subject of Chapter 6.
[n]
Let π : (C2 ) → S n (C2 ) be the Hilbert-Chow morphism. In Chapter 1, we have shown
that dimC π −1 (n · [0]) ≤ n − 1, and there exists at least one (n − 1)-dimensional component.
[n] [n]
By the corollary, we have Hk ((C2 ) ) = 0 for k ≥ 2n − 1 and rank H2n−2 ((C2 ) ) = 1 which
is generated by the closure of the unstable manifold Lν corresponding to the partition
ν = (n). Therefore we have the next theorem.
Theorem 5.10. There is exactly one (n − 1)-dimensional irreducible component in
−1
π (n · [0]).
In fact, much stronger result is known.
Theorem 5.11 (Briançon). π −1 (n · [0]) is irreducible.
For our purpose (in particular, in Chapter 6), Theorem 5.10 is enough. Hence we do
not give the proof of Briançon’s theorem.
Remark 5.12. As we shall see in Chapter 7, fixed points of the torus action correspond
to ideals generated by monomials. In fact, the result in this section can be translated to
the language of ideals.
Finally, we shall calculate the critical values of our Morse function f for a later purpose
√ √
−1
(Chapter 7). If we write −1dχ = 2 c · id for some c ∈ R>0 , the condition for the real
moment map becomes
[B1 , B1† ] + [B2 , B2† ] + ii† = c · id .
64 5. POINCARÉ POLYNOMIALS OF THE HILBERT SCHEMES (1)
[n]
Proposition 5.13. Let Z = [(B1 , B2 , i)] ∈ (C2 ) be a critical point corresponding to
a partition ν and its conjugate partition ν ′ . Then the critical value of Z is given by
X X
f (Z) = c{ (j − 1)νj + ε (i − 1)νi′ }.
j i
L
Proof. Let V = k,l V (k, l) be the corresponding weight decomposition of V and
L
Vi = k V (k, 1 − i). If we write B1,i = B1 |Vi : Vi → Vi and B2,i = B2 |Vi : Vi → Vi+1 , we
have
† † †
[B1,i , B1,i ] + B2,i−1 B2,i−1 − B2,i B2,i = c · idVi ,
for i = 2, 3, . . . from the above equation. Taking the trace of the both hand sides, we have
kB2,i−1 k2 − kB2,i k2 = c dimC Vi = c · νl .
Hence we have X X
kB2 k2 = kB2,i k2 = c (i − 1)νi′ .
i i
2
P
Similarly, we have kB1 k = c − 1)νj . Therefore we have
j (j
X X
f (Z) = c{ (j − 1)νj + ε (i − 1)νi′ }.
j i
CHAPTER 6
In this chapter, we shall prove the following formula for Poincaré polynomial of Hilbert
scheme X [n] of n-points on a quasi-projective nonsingular surface X:
Theorem 6.1. The generating function of the Poincaré polynomials of the Hilbert
scheme X [n] , parameterizing n-points in X, is given by
X ∞ Y∞
n [n] (1 + t2m−1 q m )b1 (X) (1 + t2m+1 q m )b3 (X)
(6.2) q Pt (X ) = ,
n=0 m=1
(1 − t2m−2 q m )b0 (X) (1 − t2m q m )b2 (X) (1 − t2m+2 q m )b4 (X)
where bi (X) is the i-th Betti number of X.
The formula (6.2) for projective surfaces was proved by Göttsche [28] using the Weil
conjecture. Our proof given here is due to Göttsche-Soergel [31]. They used Borho-
MacPherson’s formula [10] for the direct image of the intersection cohomology complex
by a projective semismall morphism. Borho-MacPherson’s formula, in turn, is a direct
application of Beilinson-Bernstein-Deligne-Gabber’s decomposition theorem [7]. The proof
of the theorem is out of reach of this lecture. Hence we just recall results on the intersection
cohomology in §6.1 and apply them to our situation.
It is very suggestive to compare (6.2) with Macdonald’s formula for the symmetric
product [53]
∞
X (1 + tq)b1 (X) (1 + t3 q)b3 (X)
(6.3) q n Pt (S n X) = .
n=0
(1 − q)b0 (X) (1 − t2 q)b2 (X) (1 − t4 q)b4 (X)
One sees that this picks the term m = 1 in (6.2).
Exercise 6.4. Prove Macdonald’s formula (6.3). Hint: H ∗ (S n X, Q) is Sn -invariant
part of H ∗ (X n , Q), where the action is given by the permutation of factors (twisted by a
sign for odd degrees).
Lemma 6.5 ([10, Proposition 1.4],[31, Proposition 3]). Let G be a finite group acting
on a nonsingular irreducible variety X. Then IC(X/G) = QX/G [dim X].
This lemma is equivalent to saying that X/G is a rational homology manifold. It holds
because we have the Poincaré duality isomorphism for the cohomology groups with rational
coefficients on X/G.
Lemma 6.6 ([31, Lemma 1]). Let κ : X → Y be a finite birational morphism between
irreducible varieties. Then κ∗ IC(X) = IC(Y ).
Let π : Z → Y be a proper projective morphism between algebraic varieties. Suppose
that YS decomposes into a finite number of irreducible nonsingular subvarities, called strata:
Y = y Oy . Here y denotes a distinguished point in Oy . We further assume the following
condition: For each stratum Oy , the restriction of π to π −1 (Oy ) is a topological fiber bundle
with base Oy and fiber π −1 (y).
Definition 6.7. The map π is called semismall , if it satisfies
2 dim π −1 (y) ≤ codim Oy
for any stratum Oy . We say a stratum Oy is relevant for π, if the equality holds.
−1
Consider the top degree cohomology group H 2 dim π (y) (π −1 (y), Q) of the fiber π −1 (y),
and denote it by Vy . It has a basis dual to the irreducible components of π −1 (y). The
fundamental group π1 (Oy ) of the stratum Oy acts on Vy by monodromy. The action is
simply the permutation of irreducible components. Let
M
Vy = V(y,φ) ⊗ Rφ
be the irreducible decomposition of Vy as a π1 (Oy )-module. Here Rφ is an irreducible
module. We denote by Lφ the local system on Oy given by the representation φ of π1 (Oy ).
Then we have the following formula:
Theorem 6.8 (Decomposition theorem for a semismall morphism [10, Theorem 1.7]).
Let π : Z → Y be a semismall projective morphism. Assume that Z is nonsingular. Then
M
π∗ QZ [dim Z] = IC(Oy , Lφ ) ⊗ V(y,φ) ,
(y,φ)
where the summation runs through all relevant strata Oy and irreducible representations of
π1 (Oy ). (Here “ ” denotes the closure. )
This result is deduced from the decomposition theorem of Beilinson, Bernstein, Deligne
and Gabber [7], which has been proved via the ℓ-adic intersection cohomology of varieties
over fields of positive characteristic. Another proof was given by M. Saito’s mixed Hodge
modules [75], which is also very deep.
For the application of Theorem 6.8 to the Springer representation of the Weyl group,
we refer to [10]. Another interesting application to the representation theory was given in
[12].
6.2. PROOF OF THE FORMULA 67
Then
(6.11) π −1 (C) ∼
= π −1 (ν1 [x1 ]) × · · · × π −1 (νk [xk ]),
where π −1 (νi [xi ]) in the right hand side is the inverse image of νi [xi ] ∈ S νi X under the
Hilbert-Chow morphism π : X [νi ] → S νi X. (We should write πνi in order to emphasize
68 6. POINCARÉ POLYNOMIALS OF HILBERT SCHEMES (2)
maps π appeared in the factors of the right hand side are different. But we simply denote
them by π for simplicity.) More generally,
−1 n ∼ −1 ν1 −1 νk
π (Sν X) = π (S(ν1 ) X) × · · · × π (S(νk ) X) \ D ′
where (νi ) is the partition of νi consisting of the single integer νi , and D ′ is the subvariety
{(Z1 , . . . , Zk ) | Supp Zi = Supp Zj for some i 6= j}. Since the dimension of π −1 (νi [xi ]) is
νi − 1 by Theorem 5.11, the dimension of π −1 (C) is equal to
k
X
−1
dim π (C) = (νi − 1) = n − k = n − l(ν).
i=1
But we know that the fiber π −1 (C) is irreducible. Hence Vν,φ is nontrivial only when φ is
trivial. In other words, we have Vν = Vν,trivial . We also have
IC(Sνn X) = κ∗ IC(S ν X)
by Lemma 6.6.
On the other hand, since S ν X has only quotient singularities by finite groups, we have
Now let us compute the generating function of the Poincaré polynomials. Let an (t) be
the coefficients of q n in (6.3). That is the Poincaré polynomial of S n X. Then, we get
∞
X X X
q n Pt (X [n] ) = qn t2(n−l(ν)) Pt (S ν X)
n=0 n ν
XX
= q α1 +2α2 +···+nαn t2(α2 +2α3 +···+(n−1)αn ) aα1 (t) · · · aαn (t)
n ν
XX
= aα1 (t)q α1 aα2 (t)(t2 q 2 )α2 · · · aαn (t)(t2(n−1) q n )αn
n ν
∞
Y (1 + t2m−1 q m )b1 (X) (1 + t2m+1 q m )b3 (X)
= .
m=1
(1 − t2m−2 q m )b0 (X) (1 − t2m q m )b2 (X) (1 − t2m+2 q m )b4 (X)
Thus we have proved (6.2).
Remark 6.13. Using M. Saito’s mixed Hodge modules [75] instead of intersection
cohomology complex, one can compute the generating function of Hodge numbers. (See
[31] for detail.)
CHAPTER 7
In this chapter, we study the Hilbert scheme of points on the cotangent bundle of a Riemann
surface. In this case, there exists a natural holomorphic symplectic structure and a C∗ -
action on the Hilbert scheme, and this gives us an alternative method to investigate the
topology of the Hilbert scheme. Using this strategy, we rederive Göttsche’s formula for the
Poincaré polynomials in this case. Our method is essentially the same as the one given
by Morse theory used in Chapter 5. The main difference is that the fixed points are not
necessarily isolated. Moreover, each component of the fixed point set of C∗ -action defines
a Lagrangian variety which is essentially the closure of the unstable manifold. This plays
an important role in Chapter 9. There exists close analogy between the Hilbert scheme
of points on the cotangent bundle of a Riemann surface and the moduli space of Higgs
bundle on a Riemann surface. This analogy and the actual relation recently found by
Hurtubise([40]) is explained in the end of this chapter.
This is the unstable manifold Wν− for the appropriate choice of ξ ∈ t in Chapter 5.
Proposition 7.1. The manifold Lν is Lagrangian, i.e. ωC |Lν = 0 and dimC Lν =
1
2
dimC X. In particular, the index at Cν is equal to dimC X − 2 dimC Cν .
70
7.2. HILBERT SCHEME OF T ∗ Σ 71
Now we shall determine the fixed point set in T ∗ Σ[n] . Since T ∗ Σ is locally isomorphic to
T ∗ C, it is sufficient to consider the case when Σ = C. Under the identification T ∗ C ∼ = C2 ,
we have
[n] ∼
I is an ideal,
∗
(T C) = I ⊂ C[z, ξ] ,
dimC C[z, ξ]/I = n
on which C∗ acts by ψt (z, ξ) = (z, tξ) for t ∈ C∗ .
Let D be a Young diagram of weight n. We denote by νi (resp. νj′ ) the number of boxes
in the i-th column (resp. in the j-th row), so that for the diagram of Figure 7.1, we have
ν1 = 4, ν2 = 3, ν3 = 1 and ν1′ = 3, ν2′ = 2, ν3′ = 2, ν4′ = 1. (Note that our convention differs
from one used in [54]. Our diagram is rotated by π/2 from one used in [54]. ) In this way,
a Young diagram corresponds to a partition ν = (ν1 , ν2 , . . . ) and its conjugate partition
ν ′ = (ν1′ , ν2′ , . . . ).
ξ4
zξ 3
z2 ξ 2
z2 ξ
z3
Definition 7.3. For a Young diagram D and z0 ∈ C, we define the ideal ID,z0 gener-
ated by the elements (z − z0 )j−1 ξ νj , j ∈ Z>0 , i.e.,
ID,z0 = (ξ ν1 , (z − z0 )ξ ν2 , . . . , (z − z0 )k−1 ξ νk , (z − z0 )k ),
where k = ν1′ .
For example, ID,0 = (z 3 , z 2 ξ, z 2 ξ 2, zξ 3 , ξ 4) for the Young diagram in Figure 7.1. It is
easy to see that ID,z0 ∈ ((T ∗ C)[n] )C . Conversely we have the following proposition.
∗
Proof. Let I ∈ (T ∗ C)[n] be a fixed point of the C∗ -action. There exist distinct points
z1 , z2 , . . . , zk ∈ C such that I can be expressed as
I = I1 ∩ · · · ∩ Ik ,
7.2. HILBERT SCHEME OF T ∗ Σ 73
D1 D2 D3
Σ = C ⊂ T ∗C
z1 z2 z3
Suppose I = ID1 ,z1 ∩ ID2 ,z2 is an element of ((T ∗ C)[n] )C . What happens when z1 and
∗
′
z2 collide ? Since IDj ,zj , j = 1, 2 is generated by the elements (z − zj )(νj )l ξ l−1 for l ∈ Z>0 ,
′ ′
I is generated by the elements (z − z1 )(ν1 )l (z − z2 )(ν2 )l ξ l−1, which converge to the elements
′ ′
(z − z1 )(ν1 )l +(ν2 )l ξ l−1 when z1 collides with z2 . Therefore if we denote by D1 ∪ D2 the Young
diagram which has (ν1 )′l + (ν2 )′l boxes in the l-th row, we have limz2 →z1 ID1 ,z1 ∩ ID2 ,z2 =
ID1 ∪D2 ,z1 . (See Figure 7.3.) This shows that the connected component is determined by
D = D1 ∪ · · · ∪ Dk .
For fixed D of weight n, the open strata consists of elements of the form I = ID1 ,z1 ∩
· · · ∩ IDk ,zk where Dj , j = 1, . . . , k has only one column and D1 ∪ · · · ∪ Dk = D, as depicted
in Figure 7.4. Notice that if D has only one column with n boxes, we have
ID,z0 = ((z − z0 ), (z − z0 )ξ, . . . , (z − z0 )ξ n−1, ξ n ) = ((z − z0 ), ξ n )
= {f ∈ C[z, ξ] | f (z0 , 0) = ∂ξ f (z0 , 0) = · · · = ∂ξn−1 f (z0 , 0) = 0}.
Hence ID,z0 corresponds to the points at (z0 , 0) vanishing in the fiber direction with mul-
tiplicity n.
If we regard (z, ξ) as a local coordinate in T ∗ Σ, we can define an ideal ID,p of OT ∗ Σ for
a Young diagram D and p ∈ Σ, i.e.
ID,p = (ξ ν1 , zξ ν2 , . . . , z k−1 ξ νk , z k ),
74 7. HILBERT SCHEME ON THE COTANGENT BUNDLE OF A RIEMANN SURFACE
D2 D1 ∪ D2
D1
z2 → z1
z1 z2 z1
Dk
D2 D3
D1
···
z1 z2 z3 ··· zk
where z is a local coordinate around p such that z(p) = 0, and ξ is the associated coordinate
on Tp∗ Σ. This ideal does not depend on the choice of a local coordinate (z, ξ).
Let ν be the partition of n corresponding to the Young diagram D. We write ν =
(1α1 2α2 . . . nαn ), where αi denotes the number of times the integer i occurs as a part.
Then the above argument shows that an element of the component of the fixed point set
corresponding to D consists of α1 single-points, α2 double points, . . . , and αn multiple
points of multiplicity n all sitting at the zero section Σ and vanishing in the fiber direction.
A typical example is shown in Figure 7.5. We have shown the following proposition.
Proposition 7.5. The fixed point set of C∗ action on T ∗ Σ[n] is given by
∗
a
(T ∗ Σ[n] )C = S ν Σ,
ν: partition of n
9
>
>
>
.. ..
>
>
>
. ··· .
>
>
=
k boxes
>
>
··· ···
>
>
>
>
>
···
>
;
| {z } | {z } | {z }
α1 times α2 times αk times
it at present moment. (We could produce a hyper-Kähler metric on (T ∗ P1 )[n] using the
ADHM description on the ALE space T ∗ P1 .) Therefore we shall take another route.
Suppose first that Σ = C. In this case there exists a natural Kähler metric on (T ∗ C)[n]
since it is obtained by the hyper-Kähler quotient construction. In the notation of the
2
ADHM description, we may take f ([(BP 1 , B2 , i)]) = ||B2 || As shown in Proposition 5.13,
ν
the critical value is given by f (S C) = i (i − 1)νi .
Now we shall consider the general case. As remarked before, we may define “the stable
manifold” Wν+ and “the unstable manifold” Wν− by using the C∗ -action, i.e.
Wν+ = {Z ∈ T ∗ Σ[n] | there exists a limit lim ψt (Z) ∈ S ν Σ}
t→0
[n]
Wν− = {Z ∈ T Σ ∗
| there exists a limit lim ψt (Z) ∈ S ν Σ}.
t→∞
P
Let U1 , . . . , Uk be disjoint open sets in Σ, and n1 , . . . , nk ∈ N satisfying i ni = n.
Then S n1 (T ∗ U1 ) × · · · × S nk (T ∗ Uk ) ⊂ S n (T ∗ Σ), and there exists an isomorphism
π −1 (S n1 (T ∗ U1 ) × · · · × S nk (T ∗ Uk )) ∼
= (T ∗ U1 )[n1 ] × · · · × (T ∗ Uk )[nk ] ,
preserving C∗ -action and holomorphic symplectic structures. It follows that T ∗ Σ[n] is
locally a Kähler manifold, and that Wν− is a Lagrangian submanifold.
Motivated
P by the special case of Σ = C, we define “the critical value at S ν Σ” to be
aν = i (i − 1)νi . The same argument as in §5.1 shows the perfectness of the stratification
S S
X = ν Wν+ if one can show Wν+ \ Wν+ ⊂ aν <aµ Wµ+ . This follows from the case of Σ = C
by using the above local isomorphism since it preserves “the critical values”. Therefore we
have the following lemma
Lemma 7.6. The Poincare polynomial for T ∗ Σ[n] is given by
X
Pt (T ∗ Σ[n] ) = t2n−2l(ν) Pt (S ν Σ),
ν
P
where l(ν) = αi is the length of the partition ν = (1α1 2α2 . . . nαn ).
76 7. HILBERT SCHEME ON THE COTANGENT BUNDLE OF A RIEMANN SURFACE
Proof. By the argument above, we only need to calculate the index of the fixed point
set S ν Σ. Since S ν Σ is a Lagrangian submanifold, we have
ν 1 ∗ [n] ν
ind(S Σ) = 2 dimC T Σ − dimC S Σ
2
X
= 2(n − αk ) = 2(n − l(ν)).
k
Using the above lemma, we can deduce Göttsche’s formula in the case of T ∗ Σ.
Corollary 7.7.
∞
X ∞
Y
∗ [n] n (1 + t2d−1 q d )b1 (Σ)
Pt (T Σ )q = 2d−2 q d )b0 (Σ) (1 − t2d q d )b2 (Σ)
.
n=0 d=1
(1 − t
Remark 7.8. In order to compute the Poincare polynomial, we do not actually need
the holomorphic symplectic form on T ∗ Σ. The fact that it is locally isomorphic to T ∗ C is
enough. Hence the above argument holds and shows Göttsche’s formula also for the case
of the total space of a holomorphic line bundle over Σ, not necessarily T ∗ Σ. The only
difference is that “the unstable manifold” Wν− becomes Lagrangian in the case of T ∗ Σ.
As remarked above, we may define “the unstable manifold” Wν− of the fixed point set
S ν Σ for the total space of a holomorphic line bundle over Σ. More generally, let X be a
surface containing a curve Σ. By identifying a tubular neighborhood of Σ with the total
space of the normal bundle of Σ in X, we can define “the unstable manifold” Wν− . In
fact, this can be defined intrinsically as follows. Let π : X [n] → S n X be the Hilbert-Chow
morphism. We define
∞
a
L∗ Σ = {J ∈ X [n] | Supp(O/J ) ⊂ Σ}.
n=0
We shall not explain what the stability condition means. The interested reader may
consult the original papers [36, 37] for the precise definition and the properties of NΣ
mentioned in the following.
Now we shall explain how much T ∗ Σ[n] looks like NΣ . In both cases, there exists a
holomorphic symplectic form ωC and a C∗ -action which satisfies ψt∗ ωC = tωC for t ∈ C∗ .
The holomorphic symplectic form on NΣ is given as follows. For (E, Φ) ∈ NΣ , the tangent
space of NΣ at (E, Φ) is given by
T(E,Φ) NΣ = H 1 (Σ, End(E)) ⊕ H 0 (Σ, End(E) ⊗ KΣ ).
By the Serre duality, there exists a natural non-degenerate pairing between H 1 (Σ, End(E))
and H 0 (Σ, End(E) ⊗ KΣ ), and this defines a holomorphic symplectic form on NΣ . The
C∗ -action on NΣ is given by
ψt (E, Φ) = (E, tΦ) for t ∈ C∗ .
From the definition, it follows that ψt∗ ωC = tωC .
Let MΣ be the moduli space of stable vector bundles over Σ. For E ∈ MΣ , the tangent
space of MΣ at E is given by
TE MΣ = H 1 (Σ, End(E)).
As noted above, the cotangent space is given by
TE∗ MΣ = H 0 (Σ, End(E) ⊗ KΣ ).
This shows that NΣ looks roughly like T ∗ MΣ . These are not exactly the same since E may
not be stable for (E, Φ) ∈ NΣ . On the other hand we have shown that S n Σ ⊂ T ∗ Σ[n] . Since
S n Σ is Lagrangian, the normal bundle is identified with T ∗ (S n Σ). Moreover T ∗ (S n Σ) is
dense in T ∗ Σ[n] since it is identified with the stable manifold of S n Σ. Hence we may say
that T ∗ Σ[n] looks like S n (T ∗ Σ) but not exactly.
Now let us consider the fixed point set of the C∗ -action. In the case of NΣ , the obvious
component of the fixed point set is MΣ which corresponds to the set of a point of the form
(E, 0) ∈ NΣ . There exist other components, and this shows that NΣ is not exactly the
same as T ∗ MΣ . These components are described as follows. By definition (E, Φ) ∈ NΣ is
a fixed point if and only if there exists an isomorphism between (E, Φ) and (E, tΦ). This
78 7. HILBERT SCHEME ON THE COTANGENT BUNDLE OF A RIEMANN SURFACE
s−1
a (0) is non-singular and reduced. We consider the family of “spectral curves” S → V
given by
S = {(p, a) ∈ T ∗ Σ × V | sa (p) = 0}.
The fiber of S is a smooth curve of genus g ′ = r 2 (g−1)+1 by the adjunction formula, where g
is the genus of Σ. Notice that g ′ is also equal to the dimension of V . Now consider the fiber-
′
wise symmetric product S g S → V . For each fiber Sa = Sa ⊂ T ∗ Σ, there exists a natural in-
′ ′]
clusion S n (Sa ) ֒→ T ∗ Σ[n] . This defines a map π : S g S → T ∗ Σ[g L . Suppose p1 , . . . , pg′ ∈ T ∗ Σ
r 0 ⊗i
be distinct points, then generically there exists unique a ∈ i=1 H (Σ, KΣ ) such that
sa (pi ) = 0 for i = 1, . . . , g ′. This shows that φ is an isomorphism on an open dense set.
Lr On the other hand, there exists a nice description of a generic fiber of p : NΣ →
0 ⊗i
i=1 H (Σ, KΣ ) due to Hitchin. The idea is as follows. Suppose p(E, Φ) = a, then
sa = det(λ idE −Φ) by definition. Hence Sa can be considered as a set of eigenvalues of Φ,
and this is the reason why Sa is called the spectral curve. From this, one sees that the
fiber p−1 (a) consists of a pair (E, Φ) such that the eigenvalues of Φ is Sa . It is also natural
to consider the eigenspaces of Φ. According to [40], we consider the cokernel of λ idE −Φ
instead of the kernel. For a ∈ V , this induces a line bundle L over Sa . Conversely, if we
have a line bundle L over Sa for a ∈ V . we can associate a vector bundle E = π∗ L over Σ.
Moreover, the multiplication by each element p ∈ Sa ⊂ T ∗ Σ defines Φ : E → E ⊗ KΣ . The
relation between the degrees of E and L is given by deg(L) = deg(E) + (r 2 − r)(g − 1) + 1.
This shows that the generic fiber of p is the Jacobian of a spectral curve Sa . Let J → V
be the family of Jacobians associated with a family S → V . Then by the above argument
there exists an inclusion φ : J → NΣ which preserves each fiber.
Suppose we have a section of J → V which specifies the base point of a fiber Ja = Ja .
′
Then we have the Abel-Jacobi map I : S g S → J which is birational. Now such a section
exists at least locally, and we have the following maps.
′ φ ′ I ψ
T ∗ Σ[g ] ←− S g S −→ J −→ NΣ .
′
This gives an isomorphism between dense open sets of T ∗ Σ[g ] and NΣ , at least locally.
Moreover, it is shown in [40] that this isomorphism preserves symplectic structures.
CHAPTER 8
In this chapter, we shall review the author’s work on the homology group of the Hilbert
scheme [68]. It started from an observation that Göttsche’s formula (6.2) for the Poincaré
polynomial is the same as the character formula for the representation of a product of
the Heisenberg algebra and the Clifford algebra. (The author learned this observation in
Vafa-Witten’s paper [79].) It motivated the author to construct a representation of the
Heisenberg/Clifford algebra in a geometric term. The similar result was also obtained by
Grojnowski [33].
80
8.2. CORRESPONDENCES 81
Remark 8.5. In the literature, the defining relation (8.3) for the Clifford algebra is
{p[m], p[n]} = δm+n,0 K.
Our convention is adapted for the later construction. In fact, the most natural language
is the super-Lie algebra.
8.2. Correspondences
Our method to construct a representation of the Heisenberg/Clifford algebra is to use
correspondences in the product of the Hilbert schemes. We first briefly recall the theory of
correspondences in general manifolds. For more detail and the formulation in Chow rings,
the reader should consult Fulton’s book, Chapter 16, [22] or Chriss and Ginzburg’s book
[12]. (In this chapter, any homology or cohomology group is assumed to have rational
coefficients.)
For a locally compact topological space X, let H∗lf (X) denote the homology group of
possibly infinite singular chains with locally finite support (Borel-Moore homology). The
82 8. HEISENBERG ALGEBRA
usual homology group of finite singular chains will be denoted by H∗ (X). If X = X ∪ {∞}
is the one point compactification of X, we have H∗lf (X) is isomorphic to the relative
homology group H∗ (X, {∞}). If X is an n-dimensional oriented manifold, we have the
Poincaré duality isomorphism
(8.6) H lf (X) ∼
i = H n−i (X), Hi (X) ∼ = H n−i (X),
c
where H ∗ and Hc∗ denote the ordinary cohomology group and the cohomology group with
compact support respectively.
Let M1 , M2 be oriented smooth (possibly non-compact) manifolds of dimensions d1 , d2
respectively. Take a submanifold Z in M1 × M2 such that
(8.7) the projection Z → M2 is proper.
Then the fundamental class [Z] defines an element in
M
(8.8) [Z] ∈ HdimR Z (M1 × M2 , M1 × {∞}) = Hi (M1 ) ⊗ Hjlf (M2 ),
i+j=dimR Z
The cap product, (resp. pushforward ( )∗ ) is changed to the multiplication (resp. integra-
tion).
The composition of correspondences can be described as follows. Suppose Z ⊂ M1 ×M2
and Z ′ ⊂ M2 × M3 such that
the projection Z → M2 and Z ′ → M3 are proper.
8.3. MAIN CONSTRUCTION 83
Hence [Z] and [Z ′ ] are defined, and their composition [Z][Z ′ ] makes sense. Let pij : M1 ×
M2 × M3 → Mi × Mj be the projection to the product of the i-th and the j-th factors.
Since [Z] ∈ H∗ (M1 ) ⊗ H∗lf (M2 ) and [Z ′ ] ∈ H∗ (M2 ) ⊗ H∗lf (M3 ), the intersection p∗12 [Z] ∩
p∗23 [Z ′ ] is an element in H∗ (M1 ) ⊗ H∗ (M2 ) ⊗ H∗lf (M3 ). Taking the push-forward by p13 ,
we get p13∗ (p∗12 [Z] ∩ p∗23 [Z ′ ]) ∈ H∗ (M1 ) ⊗ H∗lf (M3 ). We can also check that the projection
p13 (p−1 −1 ′ ′
12 Z ∩ p23 Z ) → M3 is proper. Then the composition [Z][Z ] is equal to this class:
This is nothing but the homomorphism defined by identifying (Hj (M1 ))∗ with Hdlf1 −j (M1 )
in (8.8).
Similarly, we define P [i] for i < 0, exchanging J1 and J2 . Let us define a morphism
Π : P [i] → X by
(8.10) Π(J1 , J2 ) = x for (J1 , J2 ) ∈ P [i],
where x is the only one element of Supp(J1 /J2 ).
The dimensions of P [i] ∩ (X [n−i] × X [n] ) are given by
(8.11) dimC P [i] ∩ (X [n−i] × X [n] ) = 2n − i + 1.
This is calculated as follows. Suppose i > 0. First note that J1 runs over X [n−i] whose
complex dimension is 2(n−i). if we fix J1 , then the set of J2 ∈ X [n] which satisfies J1 ⊃ J2
and Supp(J1 /J2 ) = {x} for some x ∈ X\Supp(OX /J1) is identified with π −1 (S(i) i
X), where
−1 i
π is the Hilbert-Chow morphism. Since π is semismall (Lemma 6.10), dimC π (S(i) X) is
equal to i + 1. The variety with x ∈ Supp(OX /J1 ) has smaller dimension (See the proof of
Lemma 8.31.) Therefore we have dimC P [i] ∩ (X [n−i] × X [n] ) = 2(n − i) + i + 1. The case
i < 0 is similar.
84 8. HEISENBERG ALGEBRA
For α ∈ H∗lf (X) and β ∈ H∗ (X), we define homology classes Pα [i], Pβ [−i] (i > 0) by
def.
Pα [i] = Π∗ α ∩ [P [i]] ,
(8.12)
def.
Pβ [−i] = Π∗ β ∩ [P [−i]] ,
Q
where Pα [i], Pβ [−i] ∈ n H∗ (X [n∓i] ) ⊗ H∗lf (X [n] ). Here we have a slight inaccuracy in
the definition of Pβ [−i], since P [−i] → X [n] may not be proper. The precise definition
is as follows: Consider P [−i] as a cycle in X [n+i] ×Q X [n] × X. Then, the projection to
X × X is proper. Hence it defines a class [P [−i]] in Q n H∗ (X [n+i] ) ⊗ H∗lf (X [n] ) ⊗ H∗lf (X).
[n]
H∗lf (X [n] ). We denote the resulting class by Π∗ β ∩ [P [−i]] for simplicity, hoping it makes
no confusion. L L
[n] [n∓i]
These cycles Pα [i], Pβ [−i] define correspondences n H ∗ (X ) → n H∗ (X ) by
the procedure in §8.2. By the dimension formula (8.11), Pα [i] maps the degree (2n + k)-
part in H∗ (X [n] ) to the degree (2(n − i) + k + deg α − 2)-part in H∗ (X [n−i] ). Note that the
middle degree space (i.e. k = L 0) is preserved when deg α = 2.
Next theorem asserts that ∞ [n]
n=0 H∗ (X ) becomes a representation space of the Heisen-
berg/Clifford algebra by Pα [i] and Pβ [−i].
Theorem 8.13 (Nakajima [68], Grojnowski [33]). The following relations hold,
(8.14a) Pα [i], Pβ [j] = (−1)i−1 iδi+j,0 hα, βi id if (−1)deg α·deg β = 1,
(8.14b) Pα [i], Pβ [j] = (−1)i−1 iδi+j,0 hα, βi id otherwise,
where hα, βi = p∗ (α ∩ β) with p : X → pt being the unique morphism from X to the point
pt.
Remark 8.15. (1) In [68], we could not determine the constant (−1)i−1 i in (8.14).
The coefficients (−1)i−1 i was calculated later by Ellingsrud and Strømme [16]. We shall
give another proof in Chapter 9. Moreover our definition is slightly different from the
original one. The author learned the formulation given here from A. King.
(2) Our proof given below works for Chow groups instead of homology groups.
Comparing character formula (8.2), (8.4) with Göttsche’s formula (6.2), we find
L
Corollary 8.16. The homology group ∞ [n]
n=0 H∗ (X ) is an irreducible highest weight
representation as a representation of the Heisenberg/Clifford algebra, where the highest
weight vector is the generator of H0 (X [0] ) ∼
= Q.
Before proving the theorem, let us consider a basic example and check the relation
above.
Example 8.17. Fix a point x ∈ X and set i = 1, j = −1, α = [X] and β = [x]. Take
distinct points x1 , . . . , xn ∈ X \ {x}, the ideal J1 of functions vanishing at x1 , . . . , xn . We
identify J1 with the set of its vanishing points, namely, J1 ∼ = {x1 , . . . , xn }.
8.3. MAIN CONSTRUCTION 85
Let us calculate Pα [i], Pβ [j] [J1 ]. First P[x] [−1][J1 ] is [{x}∪J1 ]. Then P[X] [1]P[x] [−1][J1 ]
is the sum of cycles of the form [({x} ∪ J1) \ {a point}], i.e.
n
X
P[X] [1]P[x] [−1][J1 ] = [{x1 , . . . , xn }] + [{x} ∪ {x1 , . . . , xbi , . . . , xn }]
i=1
n
X
= [J1 ] + [{x} ∪ {x1 , . . . , xbi , . . . , xn }],
i=1
Thus we conclude
Pα [i], Pβ [j] [J1 ] = P[X] [1]P[x] [−1] − P[x] [−1]P[X] [1] [J1 ] = [J1 ].
(See Figure 8.1.)
x P[X] [1]
P[x] [−1]
x1 x2
x3 x4
P[X] [1]
P[x] [−1]
Figure 8.1. The proof of P[X] [1], P[x] [−1] [J1 ] = [J1 ]
Remark 8.18. When i, j = ±1, the relations hold for arbitrary dimensional X, if
we consider the symmetric products of X. Comparing with Macdonald’s formula (6.3),
86 8. HEISENBERG ALGEBRA
L n 0
one finds that n H∗ (S X) is generated by Pα [±1] from 1 ∈ H0 (S X). That is, Mac-
donald’s formula is the same as the character formula for the product of 1-dimensional
Heisenberg/Clifford algebras. This observation was informed to us by A. King.
(a). The case i > 0, j > 0. Let pab : X [n1 ] × X [n2] × X [n3 ] → X [na ] × X [nb ] be the
projection to the product of the a-th and the b-th factors. Then Pα [i]Pβ [j] is given by
(8.19) Pα [i]Pβ [j] = p13∗ (p∗12 [P [i]] ∩ Π∗1 α ∩ p∗23 [P [j]] ∩ Π∗2 β),
where we denote by Π1 (resp. Π2 ) the morphism Π in (8.10) for P [i](resp. P [j]). In order
to calculate the intersection product, we need to study the set theoretical intersection
def.
P [i, j] = p−1 −1
12 (P [i]) ∩ p23 (P [j]) ∩ X
[n−i−j]
× X [n−j] × X [n]
Supp(J1 /J2 ) = {x} for some x ∈ X
= (J1 , J2 , J3 ) J1 ⊃ J2 ⊃ J3 , .
Supp(J2 /J3 ) = {y} for some y ∈ X
We separate P [i, j] into the part with x 6= y and x = y. First, p−1 −1
12 (P [i]) and p23 (P [j])
intersect transversely along P [i, j] ∩ {x 6= y} (see the proof of Claim (1) below), and the
dimension is given by
dimC P [i, j] ∩ {x 6= y} = 2(n − i − j) + (i + 1) + (j + 1) = 2n − i − j + 2,
def.
which is the expected dimension. Let P [i, j] = P [i, j] ∩ {x 6= y}. Then we have
(8.20) p∗12 [P [i]] ∩ p∗23 [P [j]] = [P [i, j]] + ι∗ R
for some R ∈ H∗lf (P [i, j] ∩ {x = y}), where ι : P [i, j] ∩ {x = y} → P [i, j] is the inclusion.
This R comes from the contribution of the intersection along P [i, j] ∩ {x = y}.
Similarly, we have
(8.21) Pβ [i]Pα [j] = p13∗ (p∗12 [P [i]] ∩ Π∗1 β ∩ p∗23 [P [j]] ∩ Π∗2 α)
and
(8.22) p∗12 [P [j]] ∩ p∗23 [P [i]] = [P [j, i]] + ι′∗ R′ ,
where R′ ∈ H∗lf (P [j, i] ∩ {x = y}) and ι′ : P [j, i] ∩ {x = y} → P [j, i] is the inclusion.
Claim. (1) There exists an isomorphism
∼
=
(8.23) P [i, j] ∩ {x 6= y} −
→ P [j, i] ∩ {x 6= y},
8.4. PROOF OF THEOREM 8.13 87
Once this claim is proved, we can see that P [i, j] and P [j, i] cancel out as follows:
p13∗ ([P [j, i]] ∩ Π∗1 β ∩ Π∗2 α) = p13∗ ([P [i, j]] ∩ Π∗2 β ∩ Π∗1 α)
(8.25)
= (−1)deg α·deg β p13∗ ([P [i, j]] ∩ Π∗1 α ∩ Π∗2 β).
On the other hand, the terms ι∗ R, ι′∗ R′ in (8.20), (8.22) do not contribute thanks to
Claim (2). Hence we have the assertion for the case i, j > 0. The case i, j < 0 can be
checked similarly.
See Figure 8.2 where the supports of above sheaves are drawn with shaded circles and white
circles respectively, and support of OX /J1 is drawn in black circles. (The number of circles
represents the multiplicity.) This correspondence gives rise the required isomorphism under
which Π1 and Π2 are exchanged.
x
J2
y
J1 J3
J2′
Π ×Π
P [i, j] −−1−−→
2
X × X,
where ∆ is the diagonal embedding and Π′ is the projection given by
def.
Π′ (J1 , J2, J3 ) = Π1 (J1 , J2) = Π2 (J2 , J3 )
Using this diagram, we have
Π∗1 α ∩ Π∗2 β ∩ ι∗ R = ι∗ (ι∗ (Π∗1 α ∩ Π∗2 β) ∩ R) (projection formula)
= ι∗ (ι∗ (Π1 × Π2 )∗ (α × β) ∩ R)
(8.27)
= ι∗ (Π′∗ ∆∗ (α × β) ∩ R) (commutativity of (8.26))
= ι∗ (Π′∗ (α ∩ β) ∩ R) ,
where the intersection α ∩ β is performed in X. To calculate push-forward by p13∗ , we
introduce the following another commutative diagram
Π′
P [i, j] ∩ {x = y} −−−→ X
p13 ◦ιy
Π′′
P [i + j] = {(J1 , J3 )| J1 ⊃ J3 , Supp(J1 /J3 ) = {x}} −−−→ X,
where Π′′ is the map defined as in (8.10). Then we have
(8.28) p13∗ ι∗ (Π′∗ (α ∩ β) ∩ R) = Π′′∗ (α ∩ β) ∩ p13∗ ι∗ (R).
(b). The case i > 0, j < 0. The product Pα [i]Pβ [j] is also given as (8.19). Fixing n,
we introduce
def.
Q[i, j] = p−1 −1
12 (P [i]) ∩ p23 (P [j]) ∩ X
[n−i−j]
× X [n−j] × X [n]
Supp(J1 /J2 ) = {x} for some x ∈ X
= (J1 , J2, J3 ) J1 ⊃ J2 ⊂ J3 , ,
Supp(J3 /J2 ) = {y} for some y ∈ X
8.4. PROOF OF THEOREM 8.13 89
def.
Q′ [j, i] = p−1 −1
12 (P [j]) ∩ p23 (P [i]) ∩ X
[n−i−j]
× X [n−i] × X [n]
( )
Supp(J ′
/J ) = {y} for some y ∈ X
2 1
= (J1 , J2, J3 ) J1 ⊂ J2′ ⊃ J3 , .
Supp(J2′ /J3 ) = {x} for some x ∈ X
Then we have an isomorphism similar to (8.23):
(8.29) Q[i, j] ∩ {x 6= y} ∼
= Q′ [j, i] ∩ {x 6= y}.
The correspondence between (J1, J2 , J3 ) ∈ Q[i, j] ∩ {x 6= y} and (J1 , J2′ , J3) ∈ Q′ [j, i] ∩
{x 6= y} is given by
J2′ /J1 = J3 /J2, J2′ /J3 = J1 /J2.
(See Figure 8.3.) Note that p−1 −1 −1 −1
12 (P [i]) and p23 (P [j]) (resp. p12 (P [j]) and p23 (P [i])) in-
J2
J1 J3
J2′
for some R′′ ∈ H∗lf (Q[i, j] ∩ {x = y}) and R′′′ ∈ H∗lf (Q′ [j, i] ∩ {x = y}), where ι′′ : Q[i, j] ∩
{x = y} → Q[i, j] and ι′′′ : Q′ [j, i] ∩ {x = y} → Q′ [j, i] are inclusions. Then Q[i, j] and
′
Q [i, j] cancel out by exactly the same argument in (8.25).
90 8. HEISENBERG ALGEBRA
Thus our remaining task is to compute the contribution of ι′′∗ R′′ and ι′′′ ′′′
∗ R . We have
the following commutative diagram similar to (8.26)
Π′
Q[i, j] ∩ {x = y} −−−→ X
ιy
∆y
Π ×Π
Q[i, j] −−1−−→
2
X × X,
where Π′ is defined as in (8.26). (We use the same symbol for brevity.) Then as (8.27), we
have
(8.30) Π∗1 α ∩ Π∗2 β ∩ ι′′∗ R′′ = ι′′∗ (Π′∗ (α ∩ β) ∩ R′′ ) .
Similar formula holds for R′′′ .
In order to calculate the push-forward of the above under p13∗ , we need to know the
image of Q[i, j]∩{x = y} and Q′ [j, i]∩{x = y} under p13 . It will be studied in the following
lemma.
Lemma 8.31. Let L be
def. [m]
J1 = J3 outside x
[n]
L = (J1 , J3) ∈ X × X .
π(J1 ) = π(J3 ) + (m − n)[x] for some x ∈ X
Then we have the following.
(1) If m > n, then L has one irreducible component with dimC L = m + n + 1. The
other irreducible component are lower dimensional.
(2) If m = n, then there are n + 1 irreducible components L0 , L1 , . . . Ln with dimC Li =
2n.
Proof. (1) Suppose Supp J3 does not contain x. Then we can decompose J1 as
J1 = J3 ∩ J1′ ,
where J1′ ∈ X [m−n] satisfies π(J1′ ) = (m − n)[x]. If we fix J2 , J1′ (therefore J1 ) runs over
m−n
π −1 (S(m−n) X) whose dimension is (m − n) + 1. Since J3 runs over a 2n-dimensional set,
the total dimension is (m − n) + 1 + 2n = m + n + 1.
Suppose Supp J3 contains x. Then we can decompose J3 as
J3′ ∈ X [k], Supp(OX /J3′ ) = {x}
J3 = J3′ ∩ J3′′ so that .
J3′′ ∈ X [n−k] , Supp(OX /J3′′ ) ∩ {x} = ∅
Accordingly J1 is decomposed as
J1 = J3′′ ∩ J1′′ so that J1′′ ∈ X [m−n+k] , Supp(OX /J1′′ ) = {x}.
If we fix x ∈ X, J2′′ runs over a 2(n − k)-dimensional set. And J1′′ and J2′ run over a
(m − n + k − 1)-dimensional and a (k − 1)-dimensional set respectively. The point x can be
moved in X. Hence the total dimension is 2(n − k) + (m − n + k − 1) + (k − 1) + 2 = m + n.
This is less than m + n + 1. Hence this is a lower dimensional component.
8.4. PROOF OF THEOREM 8.13 91
(2) If J1 ∼= J3 on whole X, then (J1 , J3) ∈ ∆X [n] and this is 2n-dimensional. Set
L0 = ∆X [n] .
Suppose J1 6∼
= J3 . Then we can decompose J1 as
J3 = J3′ ∩ J3′′ .
Now we begin to calculate the push-forward of (8.30). Note that the image of Q[i, j]∩{x =
y} and Q′ [j, i] ∩ {x = y} under p13 is contained in L in Lemma 8.31 with m = n − i − j.
We shall study the case i + j 6= 0 and i + j = 0 separately.
(c). The case i + j 6= 0. Our argument for this case is very similar to that for the
case i, j > 0. We assume i + j < 0. The case i + j > 0 can be treated by exchanging J1
and J3 .
Let us consider the following commutative diagram.
Π′
Q[i, j] ∩ {x = y} −−−→ X
(8.32)
p13 ◦ι′′ y
Π′′
L −−−→ X,
where L is as in Lemma 8.31 with m = n − i − j > n, and Π′′ (J1 , J3) = x is the unique
point outside which J1 and J3 are isomorphic. Using the commutativity of the above
diagram (compare (8.28)), we have
Applying Lemma 8.31 (1), we have dim L = 2n − i − j + 1 which is less than the expected
dimension. Thus we conclude p13∗ ι′′∗ R′′ = 0. Similar argument proves p13∗ ι′′′ R′′′ = 0. Thus
we have finished the proof in the case i + j 6= 0.
(d). The case i + j = 0. This is only the case that the right hand sides of (8.14)
are nontrivial. The identity operators in (8.14) come from the diagonal ∆X [n] in X [n] ×
X [n] . Hence we first study that the restriction to p−1
13 (X
[n]
× X [n] \ ∆X [n] ), then study the
contribution of the diagonal later.
92 8. HEISENBERG ALGEBRA
H 8n−∗ (X [n] × X [n] , X [n] × X [n] \ L) → H 8n−∗ (X [n] × X [n] , X [n] × X [n] \ (L \ ∆X [n] )).
Then we have
j ′′∗ p13∗ ι′′∗ (Π′∗ (α ∩ β) ∩ R′′ ) = p13∗ ι′′∗ j ′∗ (Π′∗ (α ∩ β) ∩ R′′ ) (base change)
′′∗
= Π (α ∩ β) ∩ p13∗ ι′′∗ (j ′∗ R′′ ) (commutativity of (8.33)).
By Lemma 8.31, L \ ∆X [n] is 2n-dimensional, hence we have p13∗ ι′′∗ (j ′∗ R′′ ) = 0. Thus the
above equation must be 0. Then p13∗ ι′′∗ (Π′∗ (α ∩ β) ∩ R′′ ) must be contained in the image
of H∗ (∆X [n] ) → H∗ (X [n] ) ⊗ H∗lf (X [n] ), since its pull-back by j ′′∗ vanishes. The same thing
holds for p13∗ ι′′′ ′∗
∗ (Π (α ∩ β) ∩ R ).
′′′
(When X is connected, we could take a single point y and write α ∩ β = n[x]. However,
it may bePimpossible when we work with Chow groups. This is the reason why we write
α ∩ β = [xk ].)
In order to determine the multiple, we take a particular J3 and compute the intersection
product with {J3 }×X [n] . Take distinct points {x1 , . . . , xn } different from xk ’s and consider
the corresponding ideal J3. We want to compute
p13∗ (p∗12 [P [i]] ∩ p∗23 [P [j]] ∩ Π∗2 [xk ])[J3 ] − p13∗ (p∗12 [P [j]] ∩ p∗23 [P [i]] ∩ Π∗1 [xk ])[J3 ].
Example 8.17 shows this is equal to [J3 ] when i = 1 and j = −1. Hence we get
X
(Pα [1]Pβ [−1] − (−1)deg α·deg β Pβ [1]Pα [−1])[J3 ] = nk [J3 ] = hα, βi[J3].
When i ≥ 2, the following situation can not happen:
J3 ⊂ J2′ , Supp J2′ /J3 = {a point}, where J3 ∈ X [n] , J2′ ∈ X [n+i] .
Then we have
p13∗ (p∗12 [P [−i]] ∩ p∗23 [P [i]] ∩ Π∗ [xk ]) ∩ [X [n] × {J3 }] = 0.
On the other hand,
p13∗ (p∗12 [P [i]] ∩ p∗23 [P [−i]] ∩ Π∗ [xk ]) ∩ [X [n] × {J3 }] = h[π −1 (S(i)
i
)], [π −1 (i[xk ])]i · [J3 ].
Since h[π −1 (S(i)
i
)], [π −1 (i[xk ])]i is determined by a neighborhood of xk , it is a universal
constant independent of X. We shall compute it in the next chapter. The answer is
(−1)i−1 i. This proves (8.14).
CHAPTER 9
This chapter is continuation of the previous chapter. We shall study the operator P[Σ] [i]
associated with an embedded curve Σ in X. There are also distinguished homology classes
[Lν Σ] in H∗ (X [n] ) (n = |ν|) introduced in Chapter 7. The operator P[Σ] [i] preserves these
classes. We shall give the precise formulas for the action. We shall find they are exactly
the same as relations in symmetric functions when we replace P[Σ] [i] by the power sum pi ,
[Lν Σ] by the orbit sum mν .
In particular, the generating function of symmetric products [S n Σ] is the same as the
vertex operator ([9],[20, §8.4],[43, §14.8]). In §9.3, we briefly recall the definition of the
vertex algebra, and give its interpretation from our point of view in §9.4.
def.
As an application, we shall determine the coefficients ci = h[π −1 (S(i)
i
X)], [π −1 (i[x])]i,
which was left in the previous section. As we have remarked before, these are calculated
by Ellingsrud and Strømme [16]. Our approach is totally different.
The idea to use symmetric products of an embedded curve is due to Grojnowski [33],
although the relation to symmetric functions seems to new. The relation to vertex algebras
is also due to him.
The reader should keep results in Chapter 7 in mind.
where ΛnN consists of the homogeneous symmetric functions of degree n. It is more relevant
for us to consider symmetric functions in “infinitely many variables” formulated as follows:
let M ≥ N and consider the homomorphism
Q[x1 , . . . , xM ] → Q[x1 , . . . , xN ]
94
9.1. SYMMETRIC FUNCTIONS 95
In the relationship between symmetric functions and Hilbert schemes, the degree n
corresponds the number of points, while the number of variables N are irrelevant. This is
the only reason why we use the different notation from [54].
There are several distinguished classes of symmetric functions. The first class is the
orbit sum mν . Let ν be a partition with l(ν) ≤ N. Let
def.
X 1 X νσ(1) ν
mν (x1 , . . . , xN ) = xα1 1 · · · xαNN = x1 · · · xNσ(N) ,
α∈SN ·ν
#{σ ∈ SN | σ · ν = ν} σ∈S
N
If we define eν = eν1 eν2 · · · for a partition ν = (ν1 , ν2 , . . . ), {eν }ν gives another basis for Λ.
The n-th complete symmetric function hn is
def.
X
hn = mν .
|ν|=n
Since
1
= 1 + xi z + x2i z 2 + · · · ,
1 − xi z
96 9. SYMMETRIC PRODUCTS, SYMMETRIC FUNCTIONS AND VERTEX OPERATORS
We also have
∞
!
X pn z n
(9.3) E(z) = H(−z)−1 = exp .
n=1
(−1)n−1 n
These formulas will be used later.
For a partition ν = (ν1 , ν2 , . . . ), let pν = pν1 pν2 · · · . Then {pν }ν is a basis for Λ.
Since {mν }ν , {eν }ν and {pν }ν are additive bases for Λ, there exist transition matrices
between them.
We need the following elementary lemma whose proof is left to the reader.
Lemma 9.4. If we multiply the power sum pi to the orbit sum mν , we get
X
pi mν = aνµ mµ ,
µ
where the summation is over partitions µ of |ν| + i which is obtained as follows: (a) add
i to a term in ν, say νk (possibly 0), and then (b) arrange it in descending order. The
coefficient aνµ is #{l | µl = νk + i}.
For example,
p1 m(4,3,2) = m(4,3,2,1) + 2m(4,4,2) + m(5,3,2) + 2m(4,3,3)
p3 m(4,3,2) = 2m(4,3,3,2) + m(5,4,3) + m(6,4,2) + m(7,3,2) .
9.2. SYMMETRIC PRODUCTS OF AN EMBEDDED CURVE 97
Although it is not related to the rest of this chapter, it is worth while to remark that the
relationship between Chern classes/characters and symmetric functions. If E is a complex
vector bundle of rank N, we can define its i-th Chern classes ci . The total Chern class is
its generating function:
N
X
c(E) = cd (E)z d .
d=0
If it is factored as
N
Y
(9.5) c(E) = (1 + xi z),
i=1
xi is called Chern roots of E. The splitting principle says that there exists a continuous
map f : X e → X such that
e is injective,
(i) f ∗ : H ∗ (X) → H ∗ (X)
∗
(ii) f c(E) is factored.
A symmetric function in xi , which is a polynomial in cd (E)’s, defines a well-defined co-
homology class in H ∗ (X). Though c(E) is not necessarily factored in H ∗ (X), we could
think as if xi ’s are well-defined classes when we want to prove a universal formula involving
Chern classes. This follows from the splitting principle. For example, we could define the
Chern character by
N
X 1
ch(E) = exp(xi ) = N + (x1 + · · · + xN ) + (x21 + · · · + x2N ) + · · · .
d=1
2
Since cn (E) corresponds to the n-th elementary symmetric function en by (9.1) and (9.5),
the above symmetric function in xi can be written in terms of en ’s. In fact, H 2n -part of
Chern character corresponds to the n-th power sum pn divided by n!.
Moreover, hn is the n-th Segre class of the dual vector bundle E ∨ (see [22, Chapter 3]).
[n]
Question 9.6. Let V be the tautological bundle over the Hilbert scheme (C2 ) of
2
C . How the correspondence P[pt] [i] acts on Chern classes ck (V) ? This question should
relate to Question 4.12.
The difference to the definition of P [−i] (8.9) lies in the last condition, whether x can be
moved in X or Σ. In this section, we use the same notation PΣ [−i] for the homology class
and the above representative. L
Note that PΣ [−i] preserves the middle degree part of H2n (X [n] ). It also preserves
classes whose support are contained in
def.
a
L∗ Σ = {J ∈ X [n] | Supp(OX /J ) ⊂ Σ}.
n
Recall that (see Chapter 7) the irreducible components of L∗ Σ are indexed by partitions
ν and denoted by Lν Σ (7.9). They are defined by (see (7.9))
Lν Σ = π −1 (Sνn Σ),
P
where Sνn Σ = { i νi [xi ] | xi ∈ Σ, xi 6= xj for i 6= j} and π is the Hilbert-Chow morphism.
It is clear that Lν Σ is an open subvariety of L∗ Σ∩X [|ν|] , and has dimension |ν| since the fiber
of π has dimension |ν|−l(ν) (Lemma 6.10) and the base has dim Sνn Σ = l(ν). Furthermore,
Lν Σ is irreducible since the L fiber of π is irreducible (Theorem P 5.11). Hence the homology
ν
classes [L Σ] form a basis of H2n (X ∩L Σ). In particular, q n dim H2n (X [n] ∩L∗ Σ) is
[n] ∗
equal to the character of the Heisenberg algebra L (8.2).[n]Hence, the following homomorphism
∗
from the ring Λ of symmetric functions to H2n (X ∩ L Σ) is an isomorphism:
(9.8) pν 7−→ PΣ [−ν1 ]PΣ [−ν2 ] · · · PΣ [−νk ] · 1 for ν = (ν1 , ν2 , . . . , νk ).
In other words, we can define an isomophism so that the action of PΣ [−i] corresponds to
the multiplication of pi in Λ.
The following lemma determines the action of PΣ [i] on the basis given by irreducible
components [Lν Σ].
Theorem 9.9. For i > 0, we have
X
PΣ [−i][Lν Σ] = aνµ [Lµ Σ],
µ
where the set over which the summation runs and the coefficient aνµ are same as in
Lemma 9.4.
By the induction on the length and the dominance order of partitions, we immediately
get the following
L
Corollary 9.10. Under the isomorphism Λ ∼ = H2n (X [n] ∩L∗ Σ) given by (9.8), the
class [Lν Σ] corresponds to the orbit sum mν .
In particular, we can write down [Lν Σ] in terms of PΣ [i]’s. For example, for |ν| = 3,
we find
(1,1,1) 3 1 1 1 3
[L Σ] = [S Σ] = PΣ [−3] − PΣ [−2]PΣ [−1] + PΣ [−1] · 1
3 2 6
[L(2,1) Σ] = (−PΣ [−3] + PΣ [−2]PΣ [−1]) · 1
[L(3) Σ] = PΣ [−3] · 1.
9.2. SYMMETRIC PRODUCTS OF AN EMBEDDED CURVE 99
Rather surprisingly, these expressions were appeared in the vertex operator [9],[20, §8.4],[43,
§14.8]. We shall explain this analogy in detail later in §9.4.
Proof of Theorem 9.9. Let pa : X [n] × X [n] → X [n] be the projection onto the a-th
factor (a = 1, 2). As in (9.7), we represent PΣ [−i] as a subvariety. Then its set theoretical
intersection with p−1 ν
2 (L Σ) is
Let µ = (µ1 , µ2 , . . . , µN ) be a partition of |ν| + i which does not necessarily satisfy the
condition in Lemma 9.4. In order to determine the coefficients of [Lµ Σ] in PΣ [−i][Lν Σ],
we can take arbitary point Jµ in Lµ Σ and restrict cycles to a neighborhood of Jµ . We
choose the point Jµ in Lµ Σ so that the support of OX /Jµ consists of N distinct points
x1 , . . . , xN with length ((OX /Jµ )xk ) = µk . Hence Jµ = Jµ;1 ∩ · · · ∩ Jµ;N such that
Supp(OX /Jµ;k ) = {xk }. Furthermore, we assume
Jµ;k = (ξ µk , z)
Since J1 and J2 are isomorphic outside xk , we can restrict our concern to Jµ;k and
′ ′
Jµ;k . We take the following coordinate neighborhood around (Jµ;k , Jµ;k ) in X [µk ] × X [µk −i] :
µ
((ξ k + f1 (ξ), z + g1 (ξ)), (ξ µk −i + f2 (ξ), z + g2 (ξ))) | f1 , g1 , f2 , g2 as follows
f1 (ξ) = a1 ξ µk −1 + a2 ξ µk −2 + · · · + aµk ,
g1 (ξ) = b1 + b2 ξ + · · · + bµk −i ξ µk −i−1
+ (bµk −i+1 + bµk −i+2 ξ + · · · + bµk ξ i−1 )(ξ µk −i + f2 (ξ))
f2 (ξ) = a′1 ξ µk −i−1 + a′2 ξ µk −i−2 + · · · + a′µk −i ,
g2 (ξ) = b′1 + b′2 ξ + · · · + b′µk −i ξ µk −i−1
where (a1 , . . . , aµk , b1 , . . . , bµk ) (resp. (a′1 , . . . , a′µk −i , b′1 , . . . , b′µk −i )) is in a neighborhood of
0 in C2µk (resp. C2(µk −i) ). Then the above ideal is contained in PΣ [−i] if and only if the
followings hold
(i) ξ µk + f1 (ξ) = ξ i (ξ µk −i + f2 (ξ)),
(ii) g1 (ξ) − g2 (ξ) is divisible by ξ µk −i + f2 (ξ).
Namely, the defining equation for PΣ [−i] is
a1 = a′1 , a2 = a′2 , . . . , aµk −i = a′µk −i ,
aµk −i+1 = · · · = aµk = 0,
b1 = b′1 , b2 = b′2 , . . . , bµk −i = b′µk −i .
intersection number hΣ′ , Σi = 1. Note that [Σ] = [Σ′ ] and PΣ′ [−i] is equal to PΣ [−i] as
elements of the homology group.
Lemma 9.16.
(9.17) PΣ′ [i][S n Σ] = [S n−i Σ].
9.2. SYMMETRIC PRODUCTS OF AN EMBEDDED CURVE 101
Proof. Let pa : X [n] × X [n] → X [n] be the projection onto the a-th factor (a = 1, 2).
As in (9.7), we represent PΣ′ [i] as a subvariety
a
(J1 , J2) ∈ X [n−i] × X [n] | J1 ⊃ J2 , Supp(J1 /J2) = {x} for some x ∈ Σ′ .
n
This can be shown by using (9.11), but the direct calculation is possible when h[Σ], [Σ′ ]i ≥ 0.
There are other important classes of symmetric functions, such as Schur functions, Jack
polynomials, Macdonald polynomials, etc (see [54]). In [70], we shall discuss a geometric
interpretation of Jack polynomials.
∞
X ∞
X
k m
i
(um+i v)k+l−i w = (−1) {uk+m−i(vl+i w) − (−1)m vl+m−i (uk+iw)} ,
i=0
i i=0
i
where
n def. n(n − 1) · · · (n − i + 1) n
= for i > 0, and = 1.
i i! 0
(9.19.3) u−11 = u and un 1 = 0 for n ≥ 0.
9.3. VERTEX ALGEBRA 103
(9.19.4)
ω0 u = u−21 for any u ∈ V ,
ωn ω = 0 for n ≥ 4,
c
ω3 ω = 1 for some c ∈ C,
2
ω2 ω = 0, ω1 ω = 2ω.
def.
(9.19.5) If we set L0 = ω1 , we have L0 v = nv for all v ∈ V(n) . In other words, the gradation
of V is given by the eigenvalues of L0 .
is a finite sum. From now, when we say an “operator A”, we mean that hψ, Aφi is defined
for all φ ∈ V and ψ ∈ V ′ . It may not mean that A is an endomorphism on V . (See
[20] for detail.) Then (9.19.2) is equivalent to saying that the following three series which
converges in the indicated regions are analytically continued to a common operator-valued
rational function (in the above sense):
Y (u, z)Y (v, w) in |z| > |w|,
Y (v, w)Y (u, z) in |w| > |z|,
Y (Y (u, z − w)v, w) in |w| > |z − w|.
104 9. SYMMETRIC PRODUCTS, SYMMETRIC FUNCTIONS AND VERTEX OPERATORS
The equality “Y (u, z)Y (v, w) = Y (v, w)Y (u, z)” is called commutativity, and “Y (u, z)
Y (v, w) = Y (Y (u, z − w), w)” associativity. These two equalities are equivalent to (9.19.2).
Moreover, it is also known that the associativity follows from the commutativity. In some
literature, the commutativity is used in the definition of the vertex algebra instead of
(9.19.2).
Substituting (9.20) into Y (u, z)Y (v, w) = Y (Y (u, z − w)v, w), we get
X Y (un v, w)
Y (u, z)Y (v, w) = .
n
(z − w)n+1
We often write this in the so-called operator product expansion
X∞
Y (un v, w)
Y (u, z)Y (v, w) ∼ n+1
,
n=0
(z − w)
where ∼ means that the difference has no pole at z = w. Note that the right hand side is
finite sum by (9.19.1). P −n−2
For example, the energy momentum tensor T (z) = z Ln = Y (ω, z) has the
following operator product expansion:
c/2 2 ∂T (w)
T (z)T (w) ∼ 4
+ 2
T (w) + .
(z − w) (z − w) z−w
Definition 9.22. A vertex operator algebra is a vertex algebra V satisfying
(9.22.1) the eigenspaces of L0 = ω1 are finite dimensional,
(9.22.2) for sufficiently small integers, the corresponding eigenspace is 0.
Vertex algebra from a lattice. It is known that a vertex algebra is construted from
an even lattice L ([9, 20]). We briefly recall the construction. Let us denote by h·|·i the
bilinear form of the lattice. Let e
hL be the Heisenberg Lie algebra associated with L, that
is a Lie algebra generated by α(n) (α ∈ L, n ∈ Z \ {0}) and K with relation
(aα + bβ)(n) = aα(n) + bβ(n)
(9.23)
[α(m), β(n)] = hα|βimδm+n,0K, [K, α(m)] = 0.
where e
h>0
L ⊕ QK acts on Q by
Since e h<0
L is commutative, the Fock representation is isomorphic to the symmetric al-
gebra S(e h<0
L ). From now, we drop “1” in the above element and simply denote it by
α1 (n1 )α2 (n2 ) · · · αk (nk ). Operators α(m) with m < 0 (resp. m > 0) are called creation
operators, (resp. annihilation operators).
Let us define the Fock space associated with the lattice L by
def. e
(9.24) VL = IndehhL>0 ⊕QK Q ⊗ Q[L] = S(e
h<0
L ) ⊗ Q[L],
L
Only formal power series make sense in vertex algebras, hence the above does not make
sense. But its differential
X
∂φα (z) = α(n)z −n−1
n∈Z
does make sense. (When we differentiate the above formal expression, we regard the last
term α as a constant.)
106 9. SYMMETRIC PRODUCTS, SYMMETRIC FUNCTIONS AND VERTEX OPERATORS
Consider the exponential of φα (z). This does not make sense yet since we have an
infinite sum in coefficients of the z-expansion. In order to remedy the difficulty, we need
to introduce so-called normal ordering, which defines an order on operators α(n), eα ’s.
Definition 9.27. (1) Let S(b hL ) be the symmetric algebra of the affine Lie algebra
b
hL = L ⊗ Q[t, t ] ⊕ QK. Identifying α ⊗ tn with α(n), we have a decomposition S(b
−1
hL ) =
e <0 b 0 e >0 e≶0 b0
S(hL )⊗S(hL)⊗S(hL ), where hL is as above and hL is the algebra generated by α(0) and
K. Since e h≶0 b0 e≶0 b0
L and hL is commutative, we can identify S(hL ) and S(hL ) with the universal
enveloping algebra U(e h≶0 b0
L ) and U(hL ) respectively. The multiplication in the universal
enveloping algebra U(b hL ) defines a linear map U(eh<0 b0 e>0 b
L ) ⊗ U(hL ) ⊗ U(hL ) → U(hL ) given by
x ⊗ x ⊗ x 7→ x x x . Composing these maps, we get a linear map S(b
<0 0 >0 <0 0 >0
hL) → U(b hL )
and denote it by : · :. It simply means that we move the negative part to left, positive part
to right, and zero part to middle, and then multiply them in that order.
(2) We extend the definition to operators including elements of Q[L] by
Remark 9.28. Our normal ordering is slightly different from that in [20]. Ours sat-
isfies :hh′ : = :h′ h:.
For α ∈ L, we introduce the associated vertex operator
def.
Y (eα , z) = :eφα (z) :
∞
! ∞
!
X α(−m) m α α(0) X α(m) −m
(9.29) = exp z e z exp − z
m=1
m m=1
m
= exp(φα (z)− )eα z α(0) exp(φα (z)+ ),
where
X∞
def. α(±m) ∓m
φα (z)± = z .
m=1
∓m
r
1 X ab
def.
ω = g αa (−1)αb (−1) ⊗ 1,
2 a,b=1
where {αa }ra=1 is a basis of L, and (g ab )a,b is the inverse matrix of (gab )a,b = (hαa |αb i)a,b .
Theorem 9.32 ([9, 20]). VL together with bilinear operations given by Y (v, z), the
vacuum vector 1 = 1 ⊗ e0 , and the conformal vector ω is a vertex algebra. If in addition L
is positive definite, it is a vertex operator algebra.
We check only parts of conditions for vertex algebras. For the proofs of the full state-
ment, see [20]. Moreover, the proof below will not be used in the next section.
First let us study the conformal vector ω. The associated vertex operator is given by
r
1 X ab
Y (ω, z) = g :∂φαa (z)∂φαb (z):
2 a,b=1
r
1 X ab X
= g :αa(n − m)αb (m):z −n−2 .
2 a,b=1 m∈Z
r r ∞
1 X ab X X X
L−1 v = g :αa (−1 − m)αb (m):v = g ab αa (−1 − m)αb (m)v
2 a,b=1 m∈Z a,b=1 m=0
k
X
= np αa1 (−n1 ) · · · αap−1 (−np−1 )αap (−np − 1)αap+1 (−np+1 ) · · · αak (−nk ) ⊗ eβ
p=1
Hence
We have
r
1 X ab X
L0 v = g :αa (−m)αb (m):v
2 a,b=1 m∈Z
r ∞
!
X 1 X
(9.34) = g ab αa (0)αb (0) + αa (−m)αb (m) v
2 m=1
a,b=1
k
!
X 1
= np + hβ|βi v for v = αa1 (−n1 ) · · · αak (−nk ) ⊗ eβ .
p=1
2
We also remark that
∞
X (z − w)n
Y (v, z) = ∂ n Y (v, w) (Taylor expansion)
n=0
n!
∞
!
(9.35) X (z − w)n
=Y Ln−1 v, w (by (9.33))
n=0
n!
= Y (exp ((z − w)L−1 ) v, w)
where we assume 0 < |z − w| < |w| to ensure that Y (v, z) is holomorphic.
Let us study the composition of two vertex operators of (9.29). We need the following
elementary lemma
Lemma 9.36. Suppose [A, B] = C commutes with A and B. Then
exp A exp B = exp C exp B exp A.
Proof. The assertion follows from exp A· B · exp(−A) = exp(ad A)(B) = B + [A, B] =
B + C.
From the above lemma, we get
∞
!
X 1 wm
exp(φα (z)+ ) exp(φβ (w)− ) = exp −hα|βi m
exp(φβ (w)− ) exp(φα (z)+ )
m=1
m z
w
= exp hα|βi log 1 − exp(φβ (w)− ) exp(φα (z)+ )
z
w hα|βi
= 1− exp(φβ (w)− ) exp(φα (z)+ ),
z
where we have assumed |z| > |w| in the second equality. Hence
Y (eα , z)Y (eβ , w)
= exp(φα (z)− )eα z α(0) exp(φα (z)+ ) exp(φβ (w)− )eβ w β(0) exp(φβ (w)+ )
= ε(α, β)(z − w)hα|βi exp(φα (z)− ) exp(φβ (w)− )eα+β z α(0) w β(0) exp(φα (z)+ ) exp(φβ (w)+ )
= ε(α, β)(z − w)hα|βi :Y (eα , z)Y (eβ , w):.
9.3. VERTEX ALGEBRA 109
Y (eβ , w)Y (eα , z) = ε(β, α)(w − z)hα|βi :Y (eβ , w)Y (eα , z):.
Hence Y (eα , z)Y (eβ , w) and Y (eβ , w)Y (eα , z) define the same rational function. More
generally, we have
k
Y l
Y
αi
: Y (e , zi ): : Y (eβj , wj ):
i=1 j=1
(9.37) k l
Y Y Y
hαi |βj i αi
= ε(αi , βj )(zi − wj ) : Y (e , zi ) Y (eβj , wj ):
i,j i=1 j=1
In fact, the coefficients of this function span V as αi and k vary. Hence it is enough to
check the commutativity and associativity for vectors of this form.
Setting v = eαi , z = zi in (9.35), we have
exp(φαi (zi )− )eαi = Y (eαi , zi )1
= Y (exp((zi − w)L−1 )eαi , w)1
= exp(zi L−1 )eαi ,
where we set w = 0 in the last equality. Remark that we can use the Taylor expansion (9.35)
at w = 0 since Y (u, w)1 is regular there. Hence
k
Y
Y (u, z) = Y ( exp(zi L−1 )eαi , z)
i=1
k
Y
(9.38) =: Y (exp(zi L−1 )eαi , z): (by (9.31))
i=1
k
Y
=: Y (eαi , z + zi ): (by (9.35)).
i=1
By (9.37), it follows that both Y (u, z)Y (v, w) and Y (v, w)Y (u, z) are analytically con-
tinued to the following rational function
Y k
Y l
Y
hαi ,βj i αi
(9.39) ε(αi , βj )(z + zi − w − wj ) : Y (e , z + zi ) Y (eβj , w + wj ):.
i,j i=1 j=1
Y k
Y l
Y
= ε(αi , βj )(z − w + zi − wj )hαi ,βj i : Y (eαi , z − w + zi ) Y (eβj , wj ):1.
i,j i=1 j=1
Hence
Y (Y (u, z − w)v, w)
Y k
Y l
Y
hαi ,βj i αi
= ε(αi , βj )(z − w + zi − wj ) Y (: Y (e , z − w + zi ) Y (eβj , wj ):1, w)
i,j i=1 j=1
Y k
Y l
Y
hαi ,βj i αi
= ε(αi , βj )(z − w + zi − wj ) : Y (e , z + zi ) Y (eβj , w + wj ):,
i,j i=1 j=1
Q
where we have used (9.38) in the second equality replacing u by ki=1 exp(φαi (z − w +
Q
zi )− )eαi lj=1 exp(φβj (wj )− )eβj . This is the same rational function as (9.39).
where Q[NS(X)]
L is the group algebra of NS(X) with coefficients in Q. By results in
Chapter 8, n H∗ (X [n] ) forms a representation
L of the Heisenberg/Clifford algebra modelled
on H∗ (X). We consider the subspace n HNS (X [n] ) generated by elements Pα [i] · 1 for α ∈
NS(X), i ∈ Z<0 , where 1 is the generator of H0 (X [0] ) = H0 (pt). It forms a representation of
the Heisenberg algebra modelled on NS(X). The corresponding subspace in H∗ (M(c1 , ch2 ))
is denote by HNS (M(c1 , ch2 )). We shall study
def.
M M
VNS(X) = HNS (X [n] ) ⊗ Q[NS(X)] ∼ = HNS (M(c1 , ch2 )),
n c1 ∈NS(X),ch2
Z Z
ch(E ⊗ Lα ) = ch(E) ∪ ch(Lα )
X X
Z Z Z
1 1
= ch(E) + c1 (E) ∪ c1 (Lα ) + c1 (Lα ) ∪ c1 (Lα ) = ch2 + hc1 , αi + hα, αi.
X X 2 X 2
112 9. SYMMETRIC PRODUCTS, SYMMETRIC FUNCTIONS AND VERTEX OPERATORS
The operator α(i) in the Heisenberg algebra, of course, corresponds to the operator Pα [i]
constructed in Chapter 8. But our commutator relation (8.14) differs from the standard
one, we need to modify operators. In fact, it is more natural to change also the sign of the
bilinear form. Hence we define
def.
h·|·i = −h·, ·i = (−1) × (intersection form),
(
−Pα [i] (i > 0),
α(i) = i−1
(−1) Pα [i] (i < 0).
For i = 0, the operator α(0) in (9.25) corresponds to an operator measuring the first
Chern class, i.e.,
hα|c1 i Id on HNS (M(c1 , ch2 )).
The degree given by the eigenvalue of L0 is given by the integral of the Chern character
multiplied by −1, i.e.,
L(0) = −ch2 id on HNS (M(c1 , ch2 )).
Now (a part of) vertex operator corresponds is given by
∞
! ∞
!
X α(−i) i X z i Pα [−i]
exp φα (z)− = exp z = exp
i=1
i i=1
(−1)i−1 i
If the line bundle Lα has a section s with Zero(s) = Σ, the above expression is the same
as the generating function of the symmetric products Σ.
The correspondence is summarized in the following table:
Vertex algebra Geometric Objects
lattice L the Néron-Severi group NS(X)
bilinear form h·|·i (−1) × (intersection
L form)
VL = S(h<0 L ) ⊗ Q[L] V NS(X) = c1 ,ch2 H NS (M(c1 , ch2 ))
α∈L the line bundle Lα with c1 (Lα ) = α ∈ NS(X)
eα the operator induced by E 7→ E ⊗ Lα
α(i) (i 6= 0) ±Pα [i] in (8.12)
α(0) hα|c1 i Id on HNS (M(c1 , ch2 ))
L0 −ch2 Id on HNS (M(c1 , ch2 ))
exp φα (z)− the generating
P∞function of the symmetric
i i
products i=0 [S Σ]z , where [Σ] = α.
Bibliography
[1] M.F. Atiyah and R. Bott, The Yang-Mills equations over Riemann surfaces, Phil. Trans. Roy. Soc.
London A 308 (1982), 524–615.
[2] M.F. Atiyah, V. Drinfeld, N.J. Hitchin and Y.I. Manin, Construction of instantons, Phys. Lett. 65A
(1978), 185–187.
[3] S. Bando and R. Kobayashi, Ricci-flat Kähler metrics on affine algebraic manifolds II, Math. Ann.
287 (1990), 175–180.
[4] W. Barth, Moduli of bundles on the projective plane, Invent. Math. 42 (1977), 63–91.
[5] W. Barth, C. Peters and A. Van de Ven, “Compact complex surfaces”, A Series of Modern Surveys
in Math. 4, Springer-Verlag, 1984.
[6] A. Beauville, Variété kählriennes dont la première classe de Chern est nulle, J. of Differential Geom.
18 (1983), 755–782.
[7] A.A. Beilinson, J.N. Bernstein, P. Deligne, Faisceaux pervers, Astérisque 100, (1982), 5–171.
[8] D. Birkes, Orbits of linear algebraic groups, Ann. of Math. 93 (1971), 459–475.
[9] R.E. Borcherds, Vertex algebras, Kac-Moody algebras, and the monster , Proc. Nat. Acad. Sci. USA
83 (1986), 3068–3071.
[10] W. Borho and R. MacPherson, Partial resolutions of nilpotent varieties, Astérisque 101–102 (1983),
23–74.
[11] J. Briançon, Description de Hilbn C{x, y}, Invent. Math. 41 (1977), 45–89.
[12] N. Chriss and V. Ginzburg, “Representation theory and complex geometry (Geometric techniques in
representation theory of reductive groups)”, Progress in Math. Birkhäuser, (to appear).
[13] S.K. Donaldson and P.B. Kronheimer, “The geometry of four-manifold”, Oxford Math. Monographs,
Oxford Univ. Press, 1990.
[14] G. Ellingsrud and S.A. Strømme, On the homology of the Hilbert scheme of points in the plane, Invent.
Math. 87 (1987), 343–352.
[15] , Towards the Chow ring of the Hilbert scheme of P2 , J. reine angew. Math. 441 (1993), 33–44.
[16] , An intersection number for the punctual Hilbert scheme of a surface, preprint, alg-
geom/9603015.
[17] J. Fogarty, Algebraic families on an algebraic surface, Amer. J. Math. 90 (1968), 511–521.
[18] T. Frankel, Fixed points and torsion on Kähler manifolds, Ann. of Math. 70 (1959), 1–8.
[19] I.B. Frenkel, Spinor representations of affine Lie algebras, Proc. Natl. Acad. Sci. USA 77 (1980),
6303–6306.
[20] I.B. Frenkel, J. Lepowsky and A. Meurman, “Vertex operator algebras and the Monster”, Pure and
Appl. Math. 134, Academic Press, 1988.
[21] A. Fujiki, On primitive symplectic compact Kähler V-manifolds of dimension four, in “Classification
of Algebraic and Analytic Manifolds”, K.Ueno (ed.), Progress in Mathematics, Birkhäuser 39 (1983),
71–125.
[22] W. Fulton, “Intersection Theory”, A Series of Modern Surveys in Math. 2, Springer-Verlag, 1984.
[23] R.W. Gebert, Introduction to vertex algebras, Borcherds algebras, and the Monster Lie algebra, Inter.
J. Mod. Phys. 8 (1993), 5441–5503.
113
114 BIBLIOGRAPHY
[24] V. Ginzburg, Lagrangian construction of the enveloping algebra U (sln ), C.R. Acad. Sci. Paris Sér I
Math. 312 (1991), 907–912.
[25] V. Ginzburg and M. Kapranov, Hilbert schemes and Nakajima’s quiver varieties, 1995 May, unpub-
lished.
[26] V. Ginzburg, M. Kapranov and E. Vasserot, Langlands reciprocity for algebraic surfaces, Math. Res.
Letters 2 (1995), 147–160.
[27] T. Gocho and H. Nakajima, Einstein-Hermitian connections on hyper-Kähler quotients, J. Math. Soc.
Japan 44 (1992), 43–51.
[28] L. Göttsche, The Betti numbers of the Hilbert scheme of points on a smooth projective surface, Math.
Ann. 286 (1990), 193–207.
[29] , Hilbert schemes of zero-dimensioal subschemes of smooth varieties, Lecture Notes in Math.
1572, Springer-Verlag, 1994.
[30] L. Göttsche and D. Huybrechts, Hodge numbers of moduli spaces of stable bundles on K3 surfaces,
alg-geom/9408001, preprint.
[31] L. Göttsche and W. Soergel, Perverse sheaves and the cohomology of Hilbert schemes of smooth
algebraic surfaces, Math. Ann. 296 (1993), 235–245.
[32] M. Goresky and R. MacPherson, Intersection homology, Topology 19 (1980), 135–162; Intersection
homology II , Invent. Math. 72 (1983), 77–129.
[33] I. Grojnowski, Instantons and affine algebras I: the Hilbert scheme and vertex operators, Math. Res.
Letters 3 (1996), 275–291.
[34] A. Grothendieck, Techniques de construction et théorè d’existence en géométrie algébrique, IV: Les
schémas de Hilbert, Sém. Bourbaki, 221 (1960/61).
[35] J.A. Harvey and G. Moore, On the algebras of BPS states, preprint, hep-th/9609017.
[36] N.J. Hitchin, The self-duality equations on a Riemann surface, Proc. London Math. Soc. 55 (1987),
59–126.
[37] , Stable bundles and integrable systems, Duke. Math. 54 (1987), 91–114.
[38] , “Monopoles, minimal surfaces and algebraic curves”, Séminaire de Mathématiques
Supérieures 105, Les Presses de l’Université de Montréal, 1987.
[39] N.J. Hitchin, A. Karlhede, U. Lindström and M. Roček, Hyperkähler metrics and supersymmetry,
Comm. Math. Phys. 108 (1987), 535–589.
[40] J.C. Hurtubise Integrable systems and algebraic surfaces, Duke. Math. 83 (1996), 19–50.
[41] A. Iarrobino, “Punctual Hilbert schemes”, Mem. Amer. Math. Soc. 188, 1977.
[42] Y. Ito and I. Nakamura, McKay correspondence and Hilbert schemes, to appear in Proc. Japan Acad.;
Hilbert schemes and simple singularities An , Dn , preprint.
[43] V.G. Kac, “Infinite dimensional Lie algebras (3rd Ed.)”, Cambridge Univ. Press, 1990.
[44] G. Kempf, Instability in invariant theory, Ann. of Math. 108 (1978), 299–316.
[45] G. Kempf and L. Ness, On the lengths of vectors in representation spaces, in Lecture Notes in Math.
732 (1978), 233–242.
[46] A. King, Moduli of representations of finite dimensional algebras, Quarterly J. of Math. 45 (1994),
515–530.
[47] F. Kirwan, “Cohomology of quotients in symplectic and algebraic geometry”, Mathematical Notes,
Princeton Univ. Press, 1985.
[48] S. Kobayashi and K. Nomizu, “Foundations of differential geometry”, Vols. I,II. Wiley, New York,
1963, 1969.
[49] P.B. Kronheimer, The construction of ALE spaces as a hyper-Kähler quotients, J. Differential Geom.
29 (1989) 665–683.
[50] P.B. Kronheimer and H. Nakajima, Yang-Mills instantons on ALE gravitational instantons, Math.
Ann. 288 (1990), 263–307.
[51] J. Li, Algebraic geometric interpretation of Donaldson’s polynomial invariants, J. Differential Geom.
37 (1993) 417–466.
BIBLIOGRAPHY 115
[52] G. Lusztig, “Introduction to quantum group”, Progress in Math. 110, Birkhäuser, 1993.
[53] I.G. Macdonald, The Poincaré polynomial of a symmetric product, Proc. Camb. Phil. Soc. 58 (1962),
563–568.
[54] , “Symmetric functions and Hall polynomials (2nd ed.)”, Oxford Math. Monographs, Oxford
Univ. Press, 1995.
[55] J. McKay, Graphs, singularities and finite groups, Proc. Sympos. Pure Math. 37 Amer. Math. Soc.
(1980), 183–186.
[56] S. Mukai, Symplectic structure of the moduli space of sheaves on an abelian or K3 surface, Invent.
Math. 77 (1984), 101–116.
[57] , Moduli of vector bundles on K3 surfaces, and symplectic manifolds, Sugaku Exposition 1
(1988), 139–174; Original article appeared in Japanese in Sūgaku 39 (1987), 216–235.
[58] , Finite groups of automorphisms of K3 surfaces and the Mathieu group, Invent. Math. 94
(1988), 183–221.
[59] D. Mumford, “The red book of varieties and schemes”, Lecture Notes in Math. 1358, Springer-Verlag,
1988.
[60] D. Mumford, J. Fogarty and F. Kirwan, “Geometric invariant theory, Third Enlarged Edition”,
Springer-Verlag, 1994.
[61] H. Nakajima, Moduli spaces of anti-self-dual connections on ALE gravitational instantons, Invent.
Math. 102 (1990), 267–303.
[62] , Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras, Duke Math. 76 (1994),
365–416.
[63] , Homology of moduli spaces of moduli spaces of instantons on ALE spaces I, J. Differential
Geom. 40 (1994), 105–127.
[64] , Resolutions of moduli spaces of ideal instantons on R4 , in “Topology, Geometry and Field
Theory”, World Scienetific, 1994, 129–136.
[65] , Gauge theory on resolution of simple singularities and simple Lie algebras, Inter. Math. Res.
Notices (1994), 61 – 74.
[66] , Varieties associated with quivers, in “Representation theory of algebras and related topics”,
CMS conference proceedings bf 19, 1996, 139–157.
[67] , Quiver varieties and Kac-Moody algebras, preprint.
[68] , Heisenberg algebra and Hilbert schemes of points on projective surfaces, to appear in Ann. of
Math.
[69] , Unpublished preliminary version of [68], alg-geom/9507012.
[70] , Jack polynomials and Hilbert schemes of points on surfaces, in preparation.
[71] P.E. Newstead, “Introduction to moduli problems and orbit spaces”, Tata Institute Lectures 51,
Springer-Verlag, 1978.
[72] C. Okonek, M. Schneider and H. Spindler, “Vector bundles on complex projective spaces”, Progress
in Math. 3, Birakhauser, 1980.
[73] C.M. Ringel, Hall algebras and quantum groups, Invent. Math. 101 (1990), 583–592.
[74] R.T. Rockafeller, “Convex analysis”, Princent Math. Series 28, Princeton Univ. Press, 1970.
[75] M. Saito, Mixed Hodge Modules, Publ. RIMS 26 (1990), 221-333.
[76] P. Slodowy, “Simple singularities and simple algebraic groups”, Lecture Notes in Math. 815, Springer,
Berlin, 1980.
[77] G. Tian and S.T. Yau, Complete Kähler manifolds with zero Ricci curvature II, Invent. Math. 106
(1991), 27–60.
[78] C. Vafa, Instantons on D-branes, preprint, hep-th/9512078.
[79] C. Vafa and E. Witten, A strong coupling test of S-duality, Nucl. Phys. 431 (1994), 3–77.
[80] G. Valli, Bi-invariant Grassmannians and instantons moduli spaces, preprint, 1996.
[81] S.T. Yau, On the Ricci curvature of a compact Käher manifold and the complex Monge-Ampère
equation. I, Comm. Pure Appl. Math. 31 (1978), 339–411.