Access the full text.
Sign up today, get DeepDyve free for 14 days.
C. Simpson (1992)
Higgs bundles and local systemsPubl. Math. I.H.E.S., 75
A. Borel, J. Tits (1971)
Éléments unipotents et sous-groupes paraboliques de groupes réductifs. IInventiones mathematicae, 12
I. Tamanini (1984)
Proof of the regularity theorem, 1984
Suppose that S and ^ are p-semistable A-modules with the same normalized Hilbert polynomial on X/S, both satisfying condition LF(S)
J. Giraud, Séminaire Bourbaki (1968)
Dix exposés sur la cohomologie des schémas
David Mumford (1965)
Geometric Invariant Theory
P. Deligne, J. Milne (1982)
Tannakian categoriesLect. Notes in Math., 900
J. Potier (1991)
Fibrés de Higgs et systèmes locauxAstérisque, 33
N. Hitchin (1987)
Stable bundles and integrable systemsDuke Mathematical Journal, 54
N. Hitchin (1987)
THE SELF-DUALITY EQUATIONS ON A RIEMANN SURFACEProceedings of The London Mathematical Society, 55
M. Artin (1969)
Algebraic approximation of structures over complete local ringsPubl. Math. I.H.E.S., 36
(1990)
A lower bound for the monodromy of ordinary differential equations, Analytic and Algebraic Geometry
W. Goldman, J. Millson (1988)
The deformation theory of representations of fundamental groups of compact Kähler manifoldsPubl. Math. I.H.E.S., 67
Karen Uhlenbeck, S. Yau (1986)
On the existence of hermitian‐yang‐mills connections in stable vector bundlesCommunications on Pure and Applied Mathematics, 39
C. Simpson (1988)
Constructing variations of Hodge structure using Yang-Mills theory and applications to uniformizationJournal of the American Mathematical Society, 1
N. Nitsure (1993)
MODULI OF SEMISTABLE LOGARITHMIC CONNECTIONSJournal of the American Mathematical Society, 6
G. Kempf, Linda Ness (1979)
The length of vectors in representation spaces
S. Donaldson (1985)
Anti Self‐Dual Yang‐Mills Connections Over Complex Algebraic Surfaces and Stable Vector BundlesProceedings of The London Mathematical Society, 50
M. Nori (1976)
On the representations of the fundamental groupCompositio Mathematica, 33
M. Maruyama (1981)
On boundedness of families of torsion free sheavesJournal of Mathematics of Kyoto University, 21
V. Mehta, A. Ramanathan (1982)
Semistable sheaves on projective varieties and their restriction to curvesMathematische Annalen, 258
V. Guillemin, S. Sternberg (1989)
Birational equivalence in the symplectic categoryInventiones mathematicae, 97
M. Narasimhan, C. Seshadri (1965)
Stable and unitary vector bundles on a compact Riemann surfaceAnnals of Mathematics, 82
K. Corlette (1988)
Flat $G$-bundles with canonical metricsJournal of Differential Geometry, 28
C. S. Seshadri (1967)
Space of unitary vector bundles on a compact Riemann surfaceAnn. of Math., 85
F. Kirwan (1984)
Cohomology of Quotients in Symplectic and Algebraic Geometry. (MN-31), Volume 31
R. Hartshorne (1977)
Algebraic Geometry
G. Kempf, L. Ness (1982)
On the lengths of vectors in representation spaces
S. Donaldson (1987)
Infinite determinants, stable bundles and curvatureDuke Mathematical Journal, 54
C. Simpson (1991)
International Congress of Mathematicians, Kyoto 1990, Proceedings
S. Donaldson (1987)
Twisted harmonic maps and the self-duality equationsProceedings of The London Mathematical Society, 55
D. Luna (1973)
Slices étalesBull. Soc. Math. France, Mémoire, 33
C. Simpson (1991)
Analytic and Algebraic Geometry, Tokyo 1990, Proceedings
Karen Uhlenbeck (1982)
Connections withLP bounds on curvatureCommunications in Mathematical Physics, 83
N. Nitsure (1991)
Moduli space of semistable pairs on a curveProceedings of The London Mathematical Society
D. Gieseker (1977)
On the moduli of vector bundles on an algebraic surfaceAnnals of Mathematics, 106
Elements de geometric algebrique
M. Narasimhan, C. Seshadri (1964)
STABLE BUNDLES AND UNITARY BUNDLES ON A COMPACT RIEMANN SURFACE.Proceedings of the National Academy of Sciences of the United States of America, 52 2
A. Grothendieck (1961)
Techniques de construction et théorèmes d'existence en géométrie algébrique IV : les schémas de Hilbert, 6
M. Maruyama (1977)
Moduli of stable sheaves, IJournal of Mathematics of Kyoto University, 17
(1968)
Mumford's conjecture for GL(2) and applications
C. Simpson (1987)
Yang-Mills theory and uniformizationLetters in Mathematical Physics, 14
W. Rudin (1968)
Real and complex analysis
M. S. Narasimhan, C. S. Seshadri (1965)
Stable and unitary bundles on a compact Riemann surfaceAnn. of Math., 82
F. Kirwan (1984)
Cohomology of Quotients in Symplectic and Algebraic Geometry
We say that 3^ satisfies condition LF(^) if for every closed point s e S, gr(<^) is locally free as a sheaf of ^•"^dules at ^{s). We have the following properties
D. Gorenstein, M. Rosenlicht, M. Artin (1969)
Algebraic approximation of structures over complete local ringsPublications Mathématiques de l'Institut des Hautes Études Scientifiques, 36
P. Deligne (1970)
Equations differentielles à points singuliers reguliersLecture Notes in Mathematics, 163
V. Mehta, A. Ramanathan (1984)
Restriction of stable sheaves and representations of the fundamental groupInventiones mathematicae, 77
V. Guillemin, S. Sternberg (1989)
Birational equivalence in symplectic geometryInvent. Math., 97
C. Simpson (1992)
Higgs bundles and local systemsPublications Mathématiques de l'Institut des Hautes Études Scientifiques, 75
W. Goldman, J. Millson (1988)
The deformation theory of representations of fundamental groups of compact Kähler manifoldsPublications Mathématiques de l'Institut des Hautes Études Scientifiques, 67
K. K. Uhlenbeck (1982)
Connections with L p bounds on curvatureCommun. Math. Phys., 83
V. V. Morozov (1956)
Proof of the regularity theorem (Russian)Usp. M. Nauk., XI
MODULI OF REPRESENTATIONS OF THE FUNDAMENTAL GROUP OF A SMOOTH PROJECTIVE VARIETY I by CARLOS T. SIMPSON Introduction The space of representations of the fundamental group is a natural topological invariant of a manifold. If a manifold has the additional structure of a smooth projective variety over the complex numbers, then its topological invariants can be expected to have additional structures which reflect the algebraic or analytic structure of X. The goal of Part II of this paper will be to describe the extra structures on the space of repre- sentations. The present Part I contains the main constructions needed for this description, presented in greater generality so they can be of further use. The moduli space of representations is not a Hausdorff space, but there is a natural modification to make. The semisimplification of a representation is the direct sum of its irreducible subquotients with appropriate multiplicities. Say that two representations are Jordan equivalent if their semisimplifications coincide. With this equivalence relation, the moduli space becomes Hausdorff. Henceforth we will use the term moduli space to mean the space obtained by dividing out by this equivalence relation. The moduli space of representations of a finitely generated group is naturally an affine algebraic variety, defined by the generators and relations. This is the incarnation we will call the Betti moduli space, M~. If the group is the fundamental group of a smooth projective variety, we will construct two other algebraic varieties with the same under- lying topological moduli space. These we call the Dolbeault moduli space Mgo 1 and the de Rham moduli space MD~. There are natural homeomorphisms between the topological spaces underlying these three moduli space Ms, 1VIDol, and MD~. These homeomorphisms do not preserve the algebraic structures, although the identification between the Betti and de Rham realizations will be complex analytic. These other algebraic structures are the additional structures obtained by virtue of the algebraic structure of the manifold. The Dolbeault moduli space parametrizes certain holomorphic objects on X: a Higgs bundle [Hil] [SIS] is a holomorphic vector bundle E together with a holomorphic map 0 : E ~ E | ~ such that 0 ^ 0 = 0. There is a condition of semistability analogous 48 GAR_LOS T. SIMPSON to that for vector bundles, and M.o 1 is the moduli space for semistable Higgs bundles with vanishing rational Chern classes. There is a correspondence between Higgs bundles and local systems [Hil], [Do3], [Co], [Si2], [SiS], which gives a homeomorphism between MDo I and M s. A vector bundle with integrable connection on X is a locally free sheaf E together with an integrable connection, in other words a map of sheaves of C vector spaces V:E §174 satisfying Leibniz's rule V(ae) : d(a) e + a V(e) and the integrability condition V 2 : 0. The de Rham space MI) R is the moduli space for vector bundles with integrable connec- tion. These correspond to representations of the fundamental group, by looking at the monodromy representation of the system of differential equations V(e) = 0. This corres- pondence is complex analytic in nature, but not algebrMc, and as a result, it gives a complex analytic isomorphism MDR -- M s which is not algebraic. The topics mentioned so far are all treated in Part II. The present paper, Part I, treats techniques of construction of moduli spaces for coherent sheaves, vector bundles with integrable connection, Higgs bundles, and other similar objects on smooth projective schemes over complex base schemes. We use Mumford's geometric invariant theory to construct moduli spaces for sheaves provided with an action of a ring of differential operators, a general situation which covers all of these examples. This technical work in Part I is the main part of the constructions of MDo ~ and MD~. At the end of this first paper, we discuss some analytic results which provide about half of the argument giving the homeomorphisms between the three moduli spaces (the other half being given in w 7, Part II). I have tried to keep the connections between the two parts of the paper under control, using in the second part mostly results rather than techniques from the first part. Thus, although the chapters are numbered globally--~w 1-5 form Part I and w167 6-11 form Part II--it should be possible to read the two parts separately. The first version of this paper was written in the summer of 1988, and preprint versions were distributed during subsequent years. The present version has undergone a substantial revision and expansion, and I have corrected several mistakes which some people had pointed out in the earlier versions. I apologize for the fact that the orga- nization and numbering of the paper are different from those of the preprint version. Here are some details about the contents of Part I. In the first section, we construct the moduli space of coherent sheaves on a projective variety using Mumford's " geometric invariant theory " [Mu]. This gives the section a dual purpose: it serves to introduce the techniques of geometric invariant theory which will be used later on; and it gives a construction for coherent sheaves which implies the projectivity of the moduli space, a property which does not hold for the more general moduli spaces considered afterward. The bulk of part I (w167 2-4) is devoted to the construction of the moduli spaces of a general class of objects like vector bundles with integrable connections. A vector bundle with integrable connection may be considered as a module over the sheaf of rings ~x MODULI OF REPRESENTATIONS. I 49 of all (algebraic) differential operators on a smooth complex projective variety X. My original construction of the moduli spaces for vector bundles with integrable connection used this interpretation, and various properties of the ring ~x. The construction pre- sented here is a generalization, where ~x is replaced by any sheaf of rings A with pro- perties analogous to those of ~x (2.1.1-2.1.6). We call A a sheaf of rings of differential operators on X, since the axioms force A to be generated by elements acting as derivations on the coordinate ring. The list of properties 2.1.1-2.1.6 was arrived at by looking at which properties were needed in the construction (although there is no guarantee that it is minimal). Part of the data that goes with A is a filtration compatible with the ring structure. The associated-graded Gr(A) is required to have the same left and right ~x-module structures. The associated-graded ring in the case A DR -= Nx is just the sym- metric algebra on the tangent sheaf, Gr(Nx) = Sym'(TX). This ring is itself a sheaf of rings of differential operators (in this case it is generated by a collection of trivial derivations, so the differential operators are actually of order zero). A module over A D~ = Sym'(TX) is a Higgs sheaf [Hil] [Si5]. Thus, in making our construction in this general form, we construct at once the moduli spaces of vector bundles with inte- grable connection, and of Higgs sheaves. There are several other examples, such as vector bundles with connections along a foliation, and vector bundles with integrable connection on a degenerating family of varieties, discussed briefly in w 2. After discussing the axioms and some basic properties for sheaves of rings of dif- ferential operators in w 2, we define in w 3 the notions ofp-semistability, ~-semistability, p-stability, and ~-stability for A-modules. These generalize the corresponding notions for Higgs bundles [Si5] (whereas, for vector bundles with integrable connection, semi- stability is automatic and stability is equivalent to irreducibility). In turn, these notions for Higgs bundles were generalizations of the corresponding notions for vector bundles or torsion-free sheaves [Mu] [Gi] [Mall. Then we use Hilbert schemes to construct a parameter space Q for p-semistable A-modules with a given Hilbert polynomial, with an action of group SI(V). In w 4, we use geometric invariant theory to construct a " good " quotient (in the terminology of [Gi])--in particular a universal categorial quotient of Q by the action of SI(V). This is the moduli space M(A, P) for p-semistable A-modules with Hilbert polynomial P. In case A = ~x, we recover the moduli space for coherent sheaves cons- tructed in w 1. In both constructions, that of w 1 and that of w 4, we use Grothendieck's embedding of this Hilbert schemes into Grassmanians, hence into projective space, to obtain the linearized invertible sheaf used in applying geometric invariant theory. This is a departure from the methods which had been used by Gieseker [Gi] and Maruyama [Mal] to construct moduli spaces for torsion-free sheaves. This departure is necessary, in w 1 because there is no good notion of exterior power of a coherent sheaf, and in w 4 because we have to include the additional structure of the action of A--for which we look at the Hilbert scheme of quotients of A, |162 0x(-- N) P~N~ for an appro- priately high level A, in the filtration of A. 7 CARLOS T. SIMPSON Suppose ~ is a coherent sheaf, and let I'/.ilb(~t/', P) denote the Hilbert scheme of quotients qF" -~ 8 -+ 0 where 8 has Hilbert polynomial P. There is an m such that for any point ofliilb(~, P), the morphism H~ --> H~ 8(m)) is surjective, and the resulting map from the Hilbert scheme into the Grassmanian of quotients of H~ CW(m)) is an embedding. This is Grothendieck's embedding [Gr2]. We consider geometric invariant theory for the action of SI(V) on Itilb(V| P) (where V is a finite dimensional complex vector space), using Grothendieck's embedding. This is the method used for the constructions of w 1 (with $/z = x(-- N)) and w 4 (with W" = A, | d~x(-- N)). In order to make the constructions more useful, we treat the relative case where S is a base scheme of finite type over Spec(C), and X -+ S is a projective morphism. The notion of sheaf of rings of differential operators works in the relative case, and our construction gives a relative moduli space M(A, P) -, S. Even in the fibers, this is only a coarse moduli space, so it does not represent a functor. The categorical notion which corresponds to the universal categorical quotient constructed by geometric invariant theory, is that of universally co-representing a functor (see w 1, after Lemma 1.9). This property characterizes the relative moduli space. The construction is compatible with changing the base S. In particular, the fiber of M(A, P) over s ~ S is the moduli space for A-modules on X s. The description of the points of this coarse moduli space is the same as that given by Gieseker and Maruyama for the case of torsion-free sheaves: a p-semistable A-module 8 has a semisimplification gr(8), the direct sum of the factors in its Jordan-H61der series. Two objects are Jordan equivalent if gr(Sx) = gr(8,). The points of M(A, P) correspond to Jordan equivalence classes of p-semistable A-modules with Hilbert polynomial P on fibers Xs. In order to obtain fine moduli spaces, we need to add some type of rigidification. We discuss a way to do this for A-modules whose Jordan-H61der factors are locally free near a section ~ : S -+ X (we call this condition LF(~) ; it is slightly stronger than the requirement of being locally free along ~), at the end of w 4. Assuming that the fibers X, are irreducible, we obtain a representation space R(A, ~, P) classifying pairs (8, ~) where 6* is a p-semistable A-module with Hilbert polynomial P, satisfying condition LF(~), and } is a frame for ~*(8). The representation space represents the appropriate functor. A group Gl(n, (l) acts by change of frame, and the open subset of the moduli space M~r~g'(A, P) where condition LF(~) holds, is the good quotient of R(A, ~, P) by the action of Gl(n, C). In w 5, we treat some analytic questions connected with the construction. These results are to be used in part II. The first subject is to show that the complex analytic MODULI OF REPRESENTATIONS. I 51 space M~(A, P) is a coarse moduli space in the complex analytic category. For this, we have to discuss the corresponding type of statement for Hilbert schemes and for the parameter spaces Q for p-semistable A-modules; then we have to show that the complex analytic space associated to a good quotient is a universal categorical quotient in the analytic category (Proposition 5.5, which may be of independent interest). The second subject of w 5 is the topology of R=(A, 4, P). We restrict the discussion to the case where A is a split almost polynomial sheaf of rings of differential operators (see the end of w 2), which nevertheless includes all of our examples, and we also assume that X-+ S is smooth. We obtain a criterion for convergence of a sequence of points in R~( A, 4, P), intrinsically stated in terms of the objects (~, ~,) represented by the points in the sequence. This discussion is tailored to the needs of part II, where we will apply Uhlenbeck's weak compactness theorem to obtain some continuity statements. We need to know that, under the conditions provided by Uhlenbeck's theorem, the corres- ponding sequences of points converge in the spaces we have constructed by algebraic geometry. The discussion is complicated by the desire to treat the relative case, where X itself need not be smooth since the base might not be smooth. A brief description of part II Since much of the motivation for the constructions in Part I lies in the applications in Part II, whereas Part I has to appear first for logical reasons, it seems advisable to include a brief description of the results of Part II in this introduction. This will be elaborated in the second introduction. This second part is devoted to the moduli spaces of representations of z~I(Xt~ The first task is to recall the classical construction of the Betti moduli space M~(X, n), a coarse moduli space for rank n representations of the fundamental group of X t~ Then we apply the results of Part I to construct the de Rham moduli space M,g(X, n), a coarse moduli space for rank n vector bundles with integrable connection on X, and the Dol- beault moduli space Mvol(X, n), a coarse moduli space for rank n semistable Higgs bundles with Chern classes vanishing in rational cohomology. The construction of Mv~ is obtained by setting A DR to be the full sheaf of rings of differential operators ~x. The construction of Mm~ can be obtained by thinking of a Higgs bundle as a coherent sheaf on the cotan- gent bundle and using the results of w 1, or by thinking of a Higgs bundle as a module over A D~ Sym'(TX) and using the results of w 4. The three types of objects are related to each other. The Riemann-Hilbert corres- pondence which gives an isomorphism of associated complex analytic spaces &n (X, n) n). The correspondence between Higgs bundles and local systems gives a homeomorphism of the underlying usual topological spaces top M~(X, n) ~= -'-D~--,~t~ t3(n) =~ MDol(X , n). 52 CARLOS T. SIMPSON To verify the properties of these maps, we rely on the analytic results of w 5, Part I. The terminologies Betti, de Rham and Dolbeault come from analogies between the moduli spaces, and the Betti cohomology, the algebraic de Rham cohomology, and the Dolbeault cohomology O~+ q=, H~(X, ~) of an algebraic variety. The moduli spaces also exist in the relative case, where X is smooth and projective over S (this is why we insist on that throughout Part I). We use the crystalline site to construct a Gauss-Manin connection on the relative moduli space MDg(X/S, n) over S, a foliation transverse to the fibers corresponding to the trivialization given by the topo- logical interpretation in terms of M B. We treat the case of principal objects with linear algebraic structure group G, obtai- ning the Betti moduli space Ms(X, G), the de Rham moduli space M,R(X , G) for prin- cipal G-bundles with integrable connection, and the Dolbeault moduli space M,ol(X, G) for principal Higgs bundles which are semistable with vanishing rational Ghern classes. Parallel to the discussion of moduli spaces, we discuss the Betti, de Rham and Dolbeault representation spaces RB(X , x, G), RDR(X, x, G), and RDol(X , x, G). These are fine moduli spaces for objects provided with a frame for the fiber over the base point x ~ X, constructed using the construction of the representation spaces at the end of w 4. We discuss the local structure of the singularities of the representation spaces and moduli spaces, using the deformation theory associated to a differential graded Lie algebra developed by Goldman and MiUson [GM], and a formality result gives an iso- singulari~ principle: that the singularities of the de Kham and Dolbeault moduli spaces are formally isomorphic at corresponding points. At the end, we prove that the space of representations of the fundamental group of a Riemann surface of genus g/> 2 is an irreducible normal variety. Origins and acknowledgements I would like to thank the many people whose interest and comments have contri- buted to the present work, and acknowledge the sources of many indispensable ideas. The main purpose of the very first version of this paper was to construct the moduli space of Higgs bundles. These objects were introduced by N. Hitchin, and he gave an analytic construction of the moduli space for rank two Higgs bundles over a Riemann surface [Hill. He obtained all of the relevant properties, and went on to use this construc- tion to calculate the Betti numbers of the space of representations, and some coherent sheaf cohomology groups of the moduli space of rank two vector bundles [Hi2]. Dis- cussions with K. Corlette, whose work provides a key ingredient in the analytic picture [Co], K. Uhlenbeck, W. Goldman and others made clear the importance of Hitchin's work, and all of this provided the impetus to do the work presented here. Subsequently, discussions with Hitchin were very helpful, and he and Oxbury pointed out that N. Nitsure had given an algebraic construction for any rank over a Riemann surface, following the ideas of Mumford [Nil]. MODULI OF REPRESENTATIONS. I Our construction of the moduli space rests on techniques developed by D. Mumford for constructing moduli spaces in algebraic geometry [Mu]. More specifically, the construc- tions presented here were done after studying the constructions by D. Gieseker [Gi] (for surfaces) and M. Maruyama [Mal] [Ma2] (for higher dimensions) of moduli spaces for torsion-free sheaves. The boundedness results of Maruyama are sufficiently general that they can be applied more or less directly to new situations such as the one here (when one first looks at his papers, it is hard to appreciate the fact that he did everything as generally as possible, but when one needs a boundedness result, that turns out to be handy!). Seshadri was the first to employ the fact that the quotient of the semistable points of a projective variety is again projective, to obtain a compactification of the moduli space of stable vector bundles over a curve [Se]. One day A. Yukie, a student of Mumford, tried to explain to me how the construc- tion of the moduli space of vector bundles would work. As he wasn't familiar with the details of Gieseker's construction, he guessed what should be the projective embedding. As best as I can remember, he explained Grothendieck's embedding. So I think that the idea to use Grothendieck's embedding for constructing moduli spaces comes from that discussion at the blackboard. Preliminary versions of this paper contained separate constructions of the moduli space of Higgs bundles (using moduli spaces of coherent sheaves), and of the moduli space of vector bundles with integrable connection using the ~x-module interpretation. One of the motivations for doing the construction in the more general context presented in the current version was a suggestion by P. Deligne [De2], to consider a moduli space for k-connections on X � A 1 over A 1, providing a deformation from the moduli space of connections (k ----- 1) to the space of Higgs bundles (k -~ 0). This example was discussed in [Si3]. While the moduli space of k-connections could be constructed by an ad hoe adaptation of the original constructions for Higgs bundles and vector bundles with integrable connection, it was this situation which provided the impetus to realize the general construction finally presented here. More generally, Deligne has made numerous helpful suggestions in the course of the work on Higgs bundles and local systems. The construction as presented below, as well as the part of the original preprint concerning vector bundles with integrable connection, were deeply influenced by the course on ~x-modules given by J. Bernstein at Harvard in 1983-1984 [Be]. The forma- lization of the properties of the ring A is influenced by Bernstein's presentation of the properties of the ring ~x- The theory of ~x-modules is by now well known, and the list of people whose work contributed to this theory is long. I will not try to give references here, leaving the place in the reference list to Bernstein's course. The reader is invited to substitute any of a number of original papers and presentations of this theory which are available. After preliminary versions of this paper were circulated, Nitsure constructed the moduli space of vector bundles with logarithmic connection (i.e. a connection with poles of order one along a divisor) [Ni2], refering to my construction for vector bundles 54 CARLOS T. SIMPSON with smooth connection. His construction appeared shortly after I started to consider rewriting the construction in its present generality, so he evidently had started thinking about logarithmic connections first (and it was because of his paper that I realized the example of A corresponding to logarithmic connections). I apologize for the unfortu- nately Escherian situation caused by the substantial nature of the revisions undergone by this paper since the earlier preprint versions, wherein Nitsure's space of logarithmic connections appears as an example in the final version of a preprint in his reference list. The moduli of logarithmic connections requires several additions to the construction of the moduli of smooth connections presented in the early versions of this paper, in particular the sheaves which occur are no longer automatically locally free, and the condition ofp-semistability is no longer automatic. In so far as the construction presented below has these added elements incorporated, these parts must be attributed to Nitsure. The preprint versions of this paper were full of mistakes. I would like to thank very much those who pointed them out, and in particular M. Maruyama, K. Yoko- gawa, N. Nitsure, and J. Le Potier. I hope that there are no old, and not too many new mistakes in the present version. 1. Moduli of coherent sheaves This section has two purposes: to introduce the techniques of geometric invariant theory we will need later, and to construct moduli spaces of coherent sheaves. Some of the material at the end of the section is not necessary for the moduli of sheaves, but is included for later use. First we discuss semistability and boundedness for coherent sheaves. Then we discuss various aspects of geometric invariant theory which will be used below. We give our two main lemmas about semistability in Hilbert schemes, which are applications of Mumford's criterion for semistability in Grassmanians. We use these to construct the moduli space of coherent sheaves. At the end of the section we discuss some slice theorems, then investigate the closed orbit adhering to a given orbit, giving an explicit description of limits of G,,-orbits in Hilbert schemes, and finally give a lemma about local freeness. All schemes will be, by convention, separated and of finite type over Spec(C). We generally denote by S a base scheme, and sometimes may tacitly assume that it is connected. Semlstahility Let X be a projective scheme over S = Spec(C) with very ample invertible sheaf Ox(1). For any coherent sheaf o ~ on X, there is a polynomial in n with rational coefficients p(d, n) called the Hilbert polynomial of o ~. It is defined by the condition that p(~, n) = dim H~ ~(n)) for n >> O. Let d = d(8) denote the dimension of the support MODULI OF REPRESENTATIONS. I 55 of r It is equal to the degree of the Hilbert polynomial. The coefficient of the leading term is rid! where r = r(~) is an integer which we will call the rank of ~. Denote the coefficient of the next term by a(~)](d -- 1)!. Thus p(o x~, n) = rnd/d! -~- ana-1/(d -- 1)! + ... Let ~z(g) (the slope of g) denote the quotient air. We will call the quotient p/r the nor- malized Hilbert polynomial of g. With our conventions, ~(g| = ~(g) + k. If g~: 0 then p(g,n) > 0 for n ~ 0. We make the following definitions. A coherent sheaf g is of pure dimension d = d(g) if for any non-zero subsheaf ~-C g, we have d(o~') = d(g). A coherent sheaf g is p-semistable (resp. p-stable) if it is of pure dimension, and if for any subsheaf ~'C 8, there exists an N such that p(~', n) p(g, n) r(~') r(~) (resp. <) for n >I N. A coherent sheaf g is ~-semistable (resp. ~-stable) if it is of pure dimension d and if for any subsheaf o~'C g, we have ~(~z-) ~< ~(g) (resp. <). Note that p-semistability implies ~-semistability, whereas ~-stability implies p-stability. If f: X ,-~ P" is a projective embedding withf*(0p,(1)) ~ 0x(1), then a coherent sheaf g on X may be considered as a sheaff, g on P". The Hilbert polynomials are the same, and the conditions of pure dimension are the same. All of the above notions are the same for the sheaf g on X and the sheaff. 8 on P". Thus it suffices to discuss sheaves on P" (although we give some statements in terms of sheaves on X). Here are some elementary properties, which have the same proofs as for vector bundles. Any sheaf g of pure dimension d has a unique filtration O= g'oc,y~c.., c .g~ = ,Y such that the quotients ~/o~_ 1 are p-semistable of pure dimension d and such that the normalized Hilbert polynomials p(d'Jg~_l)/r(SJo~_l) are strictly decreasing for large n. This filtration is called the Harder-Narasimhan filtration. The construction is given in a more general context in Lemma 3.1 below. There is a similar filtration for ~-semista- bility, although the two filtrations may not be the same. If g is a p-semistable sheaf of pure dimension d then there is a filtration O= ~'oC ~'~c ... c ~ = 8 such that the quotients o#~/~_~ are p-stable of pure dimension d, with the same nor- malized Hilbert polynomials. This filtration is not unique, but ffwe set gr(g) ---- O 8~[~'~_ then gr(8) is unique [Gi]. The category ofp-semistable sheaves of pure dimension d with normalized Hilbert polynomial P0 is abelian. If g is p-stable, then the only endomorphisms are scalars. For 56 CARLOS T. SIMPSON if f is a nonzero endomorphism, then ker(f) and coker(f) are zero by the p-stability of @; thus any suchfis an automorphism, so the ring of endomorphisms of g is a division algebra. But the only division algebra finite over C is C itself. Boundedness Theorem 1.1. -- Fix P, d = deg(P), and b. The set of sheaves g on X with Hilbert polynomial P, such that g has pure dimension d, and for any subsheaf o~'C @, ~(~') <~ b, is bounded. In particular, the set of [z-semistable sheaves with Hilbert polynomial P is bounded. The proof uses the results of Maruyama on boundedness for torsion-free sheaves. We will also state a lemma that Maruyama uses, because we will need it later. If F is a family of sheaves of pure dimension d on P", and if 0 ~< k < d, say that F is k-bounded if there exists a family F' of sheaves on P"-~ such that F' is bounded, and such that for every g contained in F, there is an open set of (n -- k)-planes P"-~ C P~ such that o z [e,-k is contained in F'. We can now state Maruyama's lemma. Lemma 1.2. -- For any b, the family F(b) of torsion-free sheaves d' on P" with r( g) = r fixed and 0 <. ~( g) <~ 1 such that for every subsheaf ~" C g, we have ~( ~) <~ b, is (n -- 1)-bounded. Proof. -- [Ma2]. From this lemma, Maruyama deduces boundedness: Proposition 1.3. -- Let P be a polynomial, and let b be an integer. The set of torsion-free sheaves g on P" with p(g, m) = P(m) and such that for every subsheaf ~" C g, ~( ~') <~ b, is bounded. Proof. ~ [Ma2]. Proof of Theorem 1.1. -- Fix a polynomial ~, let d be its degree, and r be the corres- ponding rank. By choosing a projective embedding of X, sheaves on X may be considered as sheaves on P". The slopes are the same on X or P", so we may assume for the rest of the proof that X = P". Suppose g is a semistable coherent sheaf on P", of pure dimension d, with Hilbert polynomial P, and such that for any subsheaf o~" we have ~(~-) ~< b. In particular g~ is of pure dimension d. Let Y be the scheme-theoretic support of g, in other words the subscheme of P" defined by the ideal Ann(d). We can find a p.-a-1 which doesn't meet Y, such that every p,-n containing it meets Y in a finite set. Let rc : P" -- p,-a-1 _+ 1 ~ be the projection. Then n, g is a coherent sheaf on 1 ~. It has Hilbert polynomial P since Oy(1) = n* Opd(1). Note that n, 8 is torsion-free: otherwise there would be a subsheaf ~-C g such that n,(5) is supported in dimension < d, but since ~ : Y -+ Pa is finite, ~" would then be supported in dimension < d, contradicting the pure dimension of ~. In order to apply Maruyama's lemma to show that the n,(g) form a bounded family on I ~, we have to show that there is an integer b' such that for every subsheaf ~'C ~,(g), ~(o~-)~< b'. Consider ~, ~y as a sheaf of algebras on 1 ~. MODULI OF REPRESENTATIONS. I 57 We claim that there is an integer m which depends only on n and r, such that n, 0r(m ) is generated by global sections outside codimension 2. To see this, note first that the set of artinian subschemes of P"- a of length ~< r "- a is bounded. Since o ~ has pure dimension d, Y has no embedded points, so the projection Y -+ 1 ~ is flat in codi- mension 1. Thus there is an open subset U C pd whose complement has codimension 2 such that for u ~ U the intersection of Y with the corresponding p,-d has length ~< r "-a. We obtain a k depending on n and r such that for any point y e U, the intersection of Y with the corresponding p,-a is generated by the sections of 0(k) on P"-a. These sections fit together to form a bundle r162 on Pa, and we have a morphism r -+ ~, 0r(k ) which is surjective over U. If we choose m so that r162 k) is generated by global sections, then Or(m ) is generated by global sections over U as claimed. Suppose o~" C n, o ~ is a subsheaf. We want to show that ~(o ~') ~< b', so we may assume that ~ is ~-semistable (by replacing it with the first subsheaf in its Harder- Narasimhan filtration). We get a map ~-|162 n, 0r--" re, g, and the image ff is a subsheaf of n, 0r-modules, hence by assumption, ~(~) ~< b. On the other hand, since the global sections generate n, Or(m ) over U, there is N and a morphism ~'~ -+ ~(m) whose image is a subsheafW(m), equal to if(m) over U. The slope of W is the same as that of ~. Semistability of ~" implies that ~t(o~-) ~< ~(ff) + m~< b + m. Set b' = b + m. Now we may apply Maruyama's boundedness result to conclude that the r~, 8 form a bounded family. To complete the proof, note that there is a bundle ~r on 1 ~ such that the structure of 0r-module of 8 is determined by the map For example we may assume that the fiber of 4//" is the n -- d + 1 dimensional space of global sections of 0(1) on p,-d. The family of such maps is bounded, so this proves boundedness of the family of o ~. [] This proof also provides the generalization of Lemma 1.2 to sheaves: Lemma 1.4. -- The set of sheaves o ~ on P" of pure dimension d with r( 8) = r and 0 <~ ~(g)<<. 1, such that for any subsheaf~C g we have ~(o~)<~ b, is (d- 1)-bounded. Proof. -- Choose a generic projection = as before. The above argument shows that r~, 8 satisfies the hypothesis of Lemma 1.2, so for generic p1C Pa, r~, ~ [p1 is contained in a bounded family. But the restriction of ~, @ to p1 is the same as the projection of the restriction of g to a generic p,-d+ 1. The last part of the above argument shows 58 CARLOS T. SIMPSON that if rc,(o~[p,_g+l) is contained in a bounded family, then e[e,-d+l is contained in a bounded family. [] We now give a lemma about k-bounded families, to be used in conjunction with Lemma 1.4. Use the notation h*(X, ~-) for the dimension of H~(X, o~). Lemma 1.5. -- Suppose F is a k-bounded family of sheaves of pure dimension d and rank r on P", with k <. d -- 1. Then there is an integer B such that for all @ in F and all m, we have 0 /fm+B~< 0 h~ ", @(m))~ r(m+B)a/d! /fm+Bt> O. Proof. -- The proof is by induction on k. It is trivial if k --~ 0 because a O-bounded family is bounded. Suppose F is a k-bounded family of sheaves on P", so by definition we have a (k -- 1)-bounded family F' of sheaves on P"-~. If 8 is in F then there is a generic hyperplane Y - P"-1 such that 8 [Y is contained in F'. We have exact sequences 0 -+ 6~ 1) -+ e(m) -+ ely(m) ~ 0. Let B' be the constant given for the family F'. From these exact sequences we get h~ ",6~(m))-h~ ",6~ I))=0 for m~< --B', so in fact h~ ", g(m))=0 for m ~< -- B'. Furthermore, ho(p ", o~(m)) -- h~ ", e(m -- 1)) ~< r(m + B')a-1/(a -- 1)l for m 1> -- B'. In general there is a constant C depending on d such that iff(m) is a function satisfying f(0) = 0 and f(m) --f(m- 1)~< m'-'l(d- 1)! for m i> 0, then f(m) <~ (m + C)a/d!. We may take B = B' + C. [] The relative case Suppose that S is a scheme of finite type over Spec(C). Suppose X ~ S is a pro- jective scheme over S, with very ample Ox(1 ). For every closed point s ~ S, the fiber X s is a projective scheme over Spec(C) with very ample d~x,(1 ). We make the following notational convention about base changes. Suppose X -+ S and S' ~ S are schemes over S (usually, X is the family we are considering and S' is a new base scheme). Then denote the fiber product by X' ----- X � s S'. Do the same for a double prime. We extend the definition of semistability to the relative case by imposing flatness and then considering the fibers Xs separately. Fix a polynomial P of degree d. A p-semistable sheaf d' on X/S with Itilbert polynomial P is a coherent sheaf g on X, flat over S, such that for each closed point s e S, g8 is a p-semistable sheaf of pure dimension d and Hilbert polynomial P on the fiber X,. MODULI OF REPRESENTATIONS. I 59 Corollary 1.6. -- The set of possible sheaves d', which are semistable of pure dimension d and Hilbert polynomial P on fibers X,, collected over all s ~ S, is bounded. Proof. ~ Embed XC P~ using 0x(1 ). Then semistability on a fiber X, is the same as semistability on P". The set of semistable sheaves on P" with Hilbert polynomial P is bounded, and the set of subschemes X s C P" which occur is bounded. [] Corollary 1.7. -- There is an integer B depending only on r and d, such that if X -+ S is a projective morphism with relatively very ample Ox(1 ) and if d is a Vt-semistable sheaf of pure dimension d and rank r on a fiber Xs, then if +k+B 0 h~ r .< { 0 r(~( g) + k + B)a/d! if for any k. Proof. ~ Combine Lemmas 1.4 and 1.5 to obtain the statement for sheaves on P". Embedding X C P" � S, Vt-semistable sheaves on X, correspond to Vt-semistable sheaves on P~. [] A useful fact in connection with questions of boundedness is thc following result of Grothendieck. It provides a finiteness statement for the set of Hilbert polynomials of certain saturated subsheaves of a given sheaf. Proposition 1.8. -- Suppose o~ is a given sheaf on X, flat over S. Suppose that the fibers o~, over dosed points have pure dimension d. Fix a number b. The family of saturated subsheaves ff , C ~, in fibers over geometric points s -+ S, such that Vt( f#,) >1 b, is bounded. Proof. -- This follows from Grothendieck's statement (which is for the quotient sheaves o~s/N,), Lemma 2.6 of [Gr2]. [] The notation Hi(X/S, o~) Use the following notation for direct images and higher direct images. Suppose f: X ~ S is a proper morphism, and ~" is a coherent sheaf on X. Then we will denote by H~(X[S, o~-) the coherent sheaf Rif.(o ~) on S. Lemma 1.9. -- Given any family of sheaves ~8 on fibers X s which, collected over all fibers, is bounded, then there is an M which works uniformly for the following property. For any S' -+ S and any sheaf o~ on X' = X x s S' which is flat over S', such that all of the fibers ~'~ over closed points s e S' appear in our bounded family, and for any rn~> M, H~(X'/S ', o~'(m)) = Of or i >1 O, and H~ ', o~(m)) is locally free and commutes with base change. This means that if f: S" -+ S', then f* H~ ', o~(m)) ~- H~ * o~-(m)). Proof. -- These results, due to Grothendieck [Grl], are conveniently collected in Chapter 0 of [Mu]. [] 60 CARLOS T. SIMPSON There is a similar result for ~" which are not flat, giving the vanishing and compa- tibility with base change. However, M will depend on o~ and the H~ ', o~-(m)) will not necessarily be locally free. Geometric invariant theory We begin by describing a notion similar to but weaker than the notion of repre- senting a functor. This property will characterize our moduli spaces. Suppose Y~ is a functor from the category of S-schemes to the category of sets. Suppose Y is a scheme over S, and ~:Y~(S') -+ Y(S') is a natural transformation of functors. We say that Y corepresents the functor Y~ if, for every S-scheme W and natural transformation of functors + : Y~ ~ W, there is a unique morphism of schemes f: Y -+ W giving a facto- rization + =fo % Suppose V ~ Y is a morphism of schemes. Define the fiber product of functors V xy Y~(S') dof V(S') Xycs, ~ Y~(S'). We say that Y universally corepresents thefunctor Y~ if, for every morphism of schemes V ~ Y, V corepresents the functor V x y Y~. The property that Y corepresents Y~ serves to characterize Y uniquely up to unique isomorphism. The property of universally corepresenting a functor is more flexible, for example it allows us to define group actions. A morphism of functors g : Y~ -~ Y~ is a local isomorphism if it induces an isomor- phism of sheafifications in the dtale topology. More concretely, this means that if S' is an S-scheme, and u, v ~ Y~(S') such that g(u) = g(v), then there is a surjective dtale morphism S" -+ S' such that Uls,, = Vls,, ; and if w ~ Y~(S') then there are a surjective dtale morphism S" ~ S' and u E Y~(S") such that g(u) = Wls,,. Suppose g: Y~ ~Y~ is a local isomorphism. If Y is a scheme, and hi : Y~ -+ Y is a morphism, then there is a unique morphism h2:Y~-+ Y such that h2g = hi. The condition that (Y, hi) core- presents Y~ is equivalent to the condition that (Y, h2) corepresents Y~. If Z -+ Y is a morphism of schemes, then the fiber product morphism g � ~r Z is also a local isomor- phism. Hence the condition that (Y, hi) universally corepresents Y~ is equivalent to the condition that (Y, h~) universally corepresents Y~. For the first part of our discussion of geometric invariant theory, we will treat the case that the base scheme is S = Spec(C). Suppose G is a reductive algebraic group, and suppose Z is a scheme on which G acts. Define the quotient functor of schemes S' over Spec(C), Y~(S') dot Z(S')/G(S'). If Y is a scheme with a morphism ~ : Z ~ Y invariant under the action of G, this induces a morphism Y~ -+ Y. The scheme Y is a categorical quotient if it corepresents the quotient funetor Y~, and a universal categorical quotient if it universally corepresents the quotient functor. These definitions are equivalent to those of [Mu]. MODULI OF REPRESENTATIONS. I 61 Some terminology which has become common after [Mu] and [Gi] is the following. The morphism ~ : Z -+ Y is a good quotient if it is a universal categorical quotient, the map q~ is affine (i.e. the inverse image of an affine open set is affine), and the quotient Y is quasiprojective. The first two conditions imply that if U = Spec(A)C Y then ~-I(U) =- Spec(B) where B is an A-algebra with action of G, and A = B a is the subring of invariants. Here is a well-known property which characterizes the points of a good quotient. Lemma 1.10. -- Suppose ~:Z -+ Y is a good quotient. If V 1 and V~ are two disjoint G-invariant closed sets in Z, then the images ?(V:) and q~(V~) are disjoint. The closed points y ~ Y are in one to one correspondence with the closed orbits in Z. If z is a closed point in Z, its image is the point y corresponding to the (unique) closed orbit in the closure of the orbit Of Z. Proof. -- This is implicit in [Mu], and was pointed out explicitly by Seshadri [Se] [Se2]. [] Suppose that a reductive group G acts on a scheme Z. Suppose s is an invertible sheaf (line bundle) on Z, with action of G. (In other words, there is an isomorphism between the two pullbacks of ~v to G x Z, and the three pullbacks of this isomorphism to G X G X Z form a commutative triangle.) Mumford makes the following defini- tions [Mu]. A point z e Z is semistable if there exists n and a G-invariant section fEHo(Z, ~q| such that f(z) :~ O, and Z:.o~{X:f(x) + 0} is affine. A point is properly stable if there exists f as above, such that the orbits of G in Z:. 0 are closed there, and the stabilizer of z is finite. The open subsets of properly stable and semistable points are denoted Z ~ C Z ~ C Z. Proposition 1.11. -- With the same notations, there exists a good quotient ? : Z ~ ~ Y, and an open set ys C Y such that the inverse image of Ys is Z ~, and the quotient ys = Z~/G is a universal geometric quotient. There is an ample invertible sheaf s on Y with ~* ~y = ~'. If Z is projective and s is ample, then Y is projective. Proof. -- Theorem 1.10 of [Mu]. Mumford mentions the last statement in a sub- sequent remark; for a proof, see [Se]. [] Conversely, if q~ : Z -+ Y is a good quotient, we can choose an ample line bundle ~y on Y and set ~ = q~*(SCy). This is an invertible sheaf with action of G, with respect to which all points of Z are semistable. The quotient Y is that given by the proposition. This is Converse 1.12 of [NIu]. In Chapter 2 of [Mu], Mumford presents a numerical criterion for stability or semistability in a projective scheme. This can be described briefly as saying that if Z is projective, then a point z is semistable for the action of G if and only if it is semistable for the action of every one-parameter subgroup Gm C G. Semistability for the action of a one-parameter subgroup is then analyzed in terms of the weights of the action on coordinates of the point. One important abstract component of this analysis is the following statement. 62 CARLOS T. SIMPSON Proposition 1.19.. -- Suppose V and Z are schemes on which G acts, with V projective. Suppose .s is a very ample invertible sheaf on Z. Suppose f: V-+ Z is a G-invariant closed embedding. Then V ~ =f-l(Z~) and V ~ -----f-l(Z~), where semistability and proper stability are measured with respect to .~ and f*(~q'). Proof. -- This is Theorem 1.19 of [Mu]. [] The relative case Suppose Z ~ S is a scheme over a base. Suppose that a reductive algebraic group G acts on Z, acts trivially on S, and preserves the morphism Z ~ S. If we can take a categorical quotient of Z by the action of G, the quotient will map to S by its universal mapping property. Our only task is to compare the notions of semistability in Z and in the fibers over geometric points. Lemma 1.13. -- Suppose Z -+ S is projective, and .L# is a relatively very ample invertible sheaf with action of G. If t ~ S is a geometric point, then the semistable points of the fiber are those which are semistable in the total space, (Zt)~ = (Z~)t; and the same holds for the properly stable points. Proof. -- This was proved in [Se] (it follows easily from Proposition 1.12 stated above). [] Grassmanlans Let V and W be vector spaces, and let Grass(V | W, a) denote the Grassmanian of quotients of dimension a of the vector space V| The group SI(V) acts on Grass(V| a). There is a canonical Sl(V)-invariant projective embedding of Grass(V@ W, a), given by a very ample invertible sheaf ~ which can be described as follows. Over a point represented by a quotient V| ~B ~0, the fiber of ~ is the line A a B, Proposition 1.14. -- A point V| ~U-+0 in Grass(V| is semistable (resp. properly stable)for the action of SI(V) and invertible sheaf .~ if and only if, for all nonzero proper subspaces H C V, we have Im(H | W) 4= 0 and dim(H) dim(V) dim(Im(H | W)) dim(U) (resp. <). Here Im(H| W) denotes the image in the quotient U. Proof. -- [Mu], Proposition 4.3. [] Suppose Yr is a coherent sheaf on S. There is a projective scheme Grass(~, a) over S representing the functor which to each f: S' ~ S associates the set of quotients MODULI OF REPRESENTATIONS. I 63 f* ~r -+ o~ ~ 0 with ~- locally free of rank a on S'. If r162 is locally free and #'1 ~r162 ~ 0 is a surjection, then Grass(~r r, a) may be constructed as a closed subscheme of Grass(~Cfl, a). The fiber of Grass(r162 a) over s ~ S is Grass(#~8, a). There is a rela- tively ample invertible sheaf Se restricting to the one described above on the fibers. Suppose #" is a coherent sheaf on S and V is a finite-dimensional complex vector space. Then we obtain a projective scheme Grass(V | ~ a) over S, again with action of SI(V) and very ample linearized invertible sheaf s According to Lemma 1.13, a point lying over s e S is semistable if and only if it satisfies the criterion of Proposition 1.14 in its fiber Grass(V| a). HUbert schemes Mumford's criterion for semistability in Grassmanians can be generalized to a criterion for semistability in Hilbert schemes. To do this, we use the embeddings of the Hilbert scheme in Grassmanians which were given by Grothendieck in the course of his construction [Gr2]. Suppose X is a projective scheme over S. Fix a relatively very ample invertible sheaf Cx(1). Fix a polynomial P(n) with these properties. Suppose ~r is a coherent sheaf on X. Grothendieck constructs the Hilbert scheme ttilh(Yr P) parametrizing quotients #'-+ ~" -+0 with Hilbert polynomial P [Gr2]. More precisely, the Hilbert scheme represents a functor as follows. For any connected scheme a : S' -+ S, the S'-valued points of ltilb(Yr P) are the isomorphism classes of quotients on X � s S', ,*(~//') -+ ~ -+ 0 where o~- is flat over S' and p(~', n) = P(n). The fiber of Hilb(#', P) over a closed point s e S is Itilb(~Cf'8, P). Grothendieck proved that ttilh(Cf, P) is projective over S, and his construction gives some explicit projective embeddings. There is an M such that for any m >/ IV[ we get an embedding +,~ : Hilb(3CU, P) -+ Grass(H~ ~r P(m)) as follows. We may choose M so that H~ is compatible with base change S' -+ S. The set of quotients represented by points of the Hilbert scheme is bounded and the quotient sheaves are flat, so we may choose IV[ such that for any quotient ~ ~" on X' = X � s S' represented by an S'-valued point of the Hilbert scheme, H~ ', ~r(m)) is locally free of rank P(m). Furthermore we may assume that for any such quotient, if we let t be the kernel, we have HI(X'/S ', if(m)) = 0 (to see this, reduce to the case where Y//" is flat over S by taking a projective embedding of X and a 64 CARLOS T. SIMPSON surjection to ~; in this case fg is flat and we can apply Lemma 1.9). Thus we get a surjection of locally free sheaves on S' H~ ', ~(m)) ~ H~ ', o~-(m)) -7 0, in other words an S'-valued point of Grass(H~ This functor corresponds to a morphism which we denote dr from the Hilbert scheme to the Grass- manian. Grothendieck shows that, after increasing M some more, the ~,~ are closed embeddings [Gr2]. Let ~o denote the very ample invertible sheaf on tlilb(~, P) which is the pullback of the canonical invertible sheaf on the Grassmanian by the embedding dr Over an S'-valued point represented by a quotient ~ ~ o~-, the restriction of the inver- tible sheaf ~o is canonically identified with the invertible sheaf A P~I H~ ', ~ Suppose now that ~ is a coherent sheaf on X, flat over S, and that V is a finite- dimensional vector space. The group SI(V) acts on ttilb(V | ~, P), and on the inver- tible sheaves ~qo. The group action preserves the map to S. Since the Hilbert scheme is proper over S, we can describe the sets of properly stable and semistable points with respect to the group action and invertible sheaf, by restricting to fibers over geometric points. Suppose s ~ S is a geometric point. We analyze stability of a point in Itiib(V| ). The results are stated in our two main lemmas. For brevity of notation, assume that s = S = Spec(C). Lemma 1.15. -- There exists M such that for m >i M, the following holds. Suppose V | ~r o~ ~ 0 is a point in I-lfftlb(V | P). For any subspace H C V, let f~ denote the subsheaf of o~ generated by H | ~ttr. Suppose that p( fr m) > 0 and dim(H) dim(V) --~< p(fr m) P(m) (resp. <) for all nonzero proper subspaces H. Then the point is semistable (resp. properly stable) with respect to the linearized invertible sheaf ~q~,~ and the action of SI(V). Pro@ -- For large m the Hilbert scheme is embedded into Gras$(V N W, P(m)) where W = H~ For all points in the Hilbert scheme, and all subspaces H, the sheaves ff run over a bounded family. Let o~ denote the kernel 0 -+~-+ H | W'--> fr -+ 0. Then the ~ also run over a bounded family. In particular we may choose M large enough so that for m>t M, h~ =p(fr m) and hl(~(m)) = 0 for all such fr and ~. Let Im(H N W) denote the image of H N W in H~ C H~ Twist the previous exact sequence by 0x(m ) and take the long exact sequence of cohomology, to get an exact sequence H | W -+ H~ ~ HI(X(m)). The third term vanishes so this gives dim(Im(H | W)) = p(N, m). Now apply Propo- sition 1.14 to conclude the proof. [] MODULI OF REPRESENTATIONS. I Lemma 1.16. -- There exists M such that for m >>. M, if ~ is the quotient sheaf represented by a point of ttilb(V | r P) which is semistable with respect to .~', and the action of SI(V), then the following property holds. For any nonzero subspace H C V, let f9 C ~ be the subsheaf generated by H |162 Then r( fr > 0 and dim(H) dim(V) --~< r(fr r(ar) Proof. -- Again, set W ----- H~ Suppose that dim(H) > r( r) ' or possibly that dim(H) > 0 but r(~r = 0. Then for m >> 0, we get dim(H) > dim(V) p(fr m) P(m) Since the possibilities for H range over a bounded family, we can choose M so that for any such H and any m >/ M, the previous inequality holds, Furthermore we may assume that h~ = p(f~, m) and hl(o,f(m)) = 0 where Jd" is the kernel as before. Then dim(Im(H @ W)) = p(~, m) and we may apply Proposition 1.14 to obtain a contra- diction. [] Remark. -- In the situation of the lemma, suppose ~176 ~ ~g" ~ 0 is a quotient sheaf. Let HCV be the kernel of the map V-+ H~ and let J be the image. We have dim(H) = dim(V) -- dim(J). If fr is the subsheaf generated by H @ ~ then maps to zero in ~r so r(~) ~< r(o~-) -- r(a~g'). Thus the conclusion of the lemma implies that dim(J) dim(V) r(o,T') r(o~') By a similar argument for ~ = oaz', we can conclude that the map V ~ H~ ~r)) is injective. Moduli of semistable sheaves Suppose S is a scheme of finite type over Spec(C) and suppose X -+ S is projective. We will consider the functor M~(t9 x, P) which associates to any S-schemes S' the set of semistable sheaves 6 0 on X'/S', of pure dimension d, with Hilbert polynomial P. If o a is such a sheaf, and if f: S" ~ S' is a further base change, then f* 6* is such a sheaf on X"/S"--this gives the functoriality of M~(0x, P ). (Recall our conventions X' = X X s S' and X" = X Xs S".) We will construct a moduli space M(0x, P) which universally corepresents this functor. Fix a large number N. Let r162 = 0x(-- N) and V = C vr For an S-scheme S', the set of S'-valued points in Hilb(V | ~, P) may be described as the set of pairs (o a, ~) dim(V______~) 66 CARLOS T. SIMPSON where d ~ is a coherent sheaf on X' ----- X � s S', flat over S' with Hilbert polynomial P, and a:V | tV s, -+ H~ ', r is a morphism such that the sections in the image of ~ generate 8(N). Let Q1 c I-Iilb(V | ~, P) denote the open set where the sheaf 8 has pure dimen- sion d and is p-semistable (the openness of the semistability condition is proved in a more general context in the next chapter). The set of p-semistable sheaves on the fibers, with Hilbert polynomial P, is bounded. Thus we can assume that N is chosen large enough so that: every p-semistable sheaf with Hilbert polynomial P appears as a quotient cor- responding to a point of Q1; for any p-semistable sheaf with Hilbert polynomial P, the H~ ', d~(N)) is locally free over S' of rank P(N); and formation of the H ~ commutes with further base extension. Set Q~ equal to the open set in Q1 where 0~ is an isomorphism. Then Q2 represents the functor which associates to an S-scheme S' the set of pairs (8, ~) where d ~ is a p-semistable sheaf on X' with Hilbert polynomial P, and r162 : V | d~ s, - H~ ', d'(N)). We will also fix M large, and consider m/> M. We may assume that for each such m there is an embedding ~,~ of I-lilb(V | p) in a Grassmanian, corresponding to a very ample line bundle ~a. The group SI(V) acts on I-Iilb(V | P) and the line bundle ~a. The open subset Q9 is preserved by the action. Let Q~ and SI(V) ~ denote the functors represented by Q2 and SI(V) respec- tively. The second of these is a functor in groups acting on Q~. Form the quotient functor Q~/SI(V) ~, associating to an S-scheme S' the quotient set Q.9(S')/SI(V) (S'). There is a natural morphism of functors Q, --> M~(0x, P) invariant under the group action, so we get a natural morphism ~ : Q~/SI(V) ~ --> M~(0x, P). As will be explained in the proof of Theorem 1.21 below, ~ is a local isomorphism. Thus, to construct a scheme M(dTx, P) universally corepresenting the functor M~(dTx, P) it suffices to construct a scheme universally corepresenting the quotient Q~/SI(V) ~, that is to say a universal categorical quotient of Q2 by the action of SI(V). We will construct the moduli space as a good quotient M(d~x, P) = QJSI(V). We would like to get a criterion for semistability of points in the Hilbert scheme with respect to the action of SI(V) and linearized invertible sheaf .L~',~ for large N and m/> M(N). However, there may be a problem having to do with irreducible components of the Hilbert scheme parametrizing sheaves which are not of pure dimension (I don't know if this problem really exists). To get around this we make the following definition. Let d be the degree of the polynomial P. Define I-Iilb(V | 3r P, d) to be the closure in llilb(V | ~ P) of the set of points such that the quotient sheaf d ~ is of pure dimen- sion d. Note that Q~ c I-Iilb(V | r P, d). Lemma 1.17. (Cf. [Gi].) -- If ~ is the quotient sheaf represented by a point of Itilb(V | P, d), let ~ denote the coherent subsheaf of sections supported in dimension <~ d -- 1. Then there is a sheaf o ~' of pure dimension d, with Hilbert polynomial P, and an inclusion 0~/~ ~'. MODULI OF REPRESENTATIONS. I 67 Proof. -- There exists a curve S, a point 0 ~ S and a morphism S -~ I-lilb(V | W~, P) such that 0 goes to the point corresponding to ~', and the generic point ~ of S maps into the set where the quotient is of pure dimension d. Let E be the quotient sheaf on P~, so E 0 = d". Let Y C P" � { 0 } be the support of .,~e. Let U = 1~ -- Y, and let j:U ~ P~ be the inclusion. Let E' =j,(E ]tr). The sections of E' are the meromorphic sections of E which are regular over ~ and at the generic point of the support of E 0. Since E is fiat over S, no subsheaf can have support lying over 0, so the condition that the fiber En has pure dimension d means that E has pure dimension d + 1. The open set U restricted to the support of E is the complement of a subset of codimension 2, so purity of the locus of poles implies that E' is coherent. It also has no S-torsion, and dim(S) = 1 so E' is flat over S. Let 6 ~' = E' 0. It has Hi]bert polynomial P. There is a map E ~ E' and hence 6 ~ ~ 6"; this latter is an isomorphism on the support of 6 ~ inter- sected with U. Finally we claim that d" has pure dimension d. Note that d" Iv has pure dimension d. Choose m >> 0 so that r~, E'(m) is locally free, such that its fiber rL(E'(m)) 0 is the space of global sections of E0(m ) (where r~ is the projection from P" to S). We may replace d" by 8'(m), in order that any subsheaf supported in dimension d- 1 will have a section. Suppose h0 is a non-zero section of ~" supported in dimension d- 1. Then it extends to a section h of E', and h 0 Iv = 0, in other words h Iv vanishes on U 0. Therefore there is a section h' of E [u such that h = th' on U. By definition of E', h' is a section of E' everywhere. But E' has pure dimension d + 1, so h = th' everywhere. Thus h0 = 0, a contradiction which proves the claim. The lemma follows. [] Lemma 1.18. -- There exists N O such that for all N/> No, the following is true. Suppose # is a p-semistable sheaf on a fiber Xs, with Itilbert polynomial P. Then for all subsheaves ~ C #, we have hO(5(N)) P(N) r(~') r(8) and if equality holds then m) V(m) r(t) for all m. Proof. -- Since the set of possibilities for o a is bounded, we may fix one. Let Vt = ~(e). Suppose #" is a subsheaf. Let r = r(5~'). Let ~', denote the terms in its Harder-Nara- simhan filtration, let ,q, = ~'Jo~-,_x, let r~ = r(.~r and let ~, = tz(.~,). We have h~ ~< Z,h~ Also wc have [z,~< [z, and ,r, = r. Now by Corollary 1.7 we have 0 ffvq+N+B~<O h~ "< r,(tz, + N + B)a/d! ff t& + N + B >10. 68 CARLOS T. SIMPSON Let ,~ = min(~,). Then we get 0 if~+N+B~<:} ~< h~ [ (r -- 1) (~ +N+B)d/d! if ~+N+B/> { 0 + (v+N+B)e/dl ifv+N+B/> " For any A there is a 12 >/ A such that if v ~< bt -- C then 0 if ~t+N+B~< 0} (r--1)(~+N+B)a/dl if~+N+B/>0 { 0 ifv+N+B<:} ~< r(N -- A)a/d! + (vWN+B)e/d! ifv+NWB/> for N 1> (3. We can also choose A such that (N- A)e/dl < r--~p(oa , N) for N~> A. Let C be the number given above, and assume N O >1 C. Then if v < ~z -- C, we have < p(d ~ N) r(#) for N/> N 0. On the other hand the set of saturations ~-~t of subsheaves o~" C 6" such that v/> bt--C is bounded; thus we may choose N O such that for N>/ N O , k~ = p(o ~'~t, N) for any such ~'. Furthermore the set of Hilbert polynomials which occur is finite. For each of them, we have the comparison of polynomials p(o ~', m) p( o ~, m) r(#) meaning a comparison of values for large m. But since there are only finitely many polynomials involved, we may choose N O such that for any N >/ No, p(~-~t, N) p(g, N) ~< r(ar) r(#) We may also arrange so that if the equality p(~-=t, N) p(d', N) r(#) holds for any one N/> No, then equality holds for all N. Now h~ ~< h~ and we can choose N O so that if N I> N O then ~t(N) is generated by global sections. Thus if h~ = h~ then ~- ~-~t. We get the desired statements. [] MODULI OF REPRESENTATIONS. I 69 Theorem 1.19. -- Fix a polynomial P of degree d. There exist N and M such that for m >I M, the following is true. A point o ~ in I-Iilb(V| P, d) is semistable (resp. properly stable) for the action of SI(V) with respect to the embedding determined by m, if and only if the quotient g is a p-semistable (resp. p-stable) coherent sheaf of pure dimension d and the map V ---> H~ /s an isomorphism. Proof. ~ First the " if" direction. Suppose we have a point in ttilb(V | ~, P, d) such that 8 is a p-semistable sheaf and the map V -+ H~ is an isomorphism. By Lemma 1.15 what remains to be proved is that we may choose M(N) such that for m >i M, and for any subsheaf o~'C 8 generated by sections of o~(N), k~ P(N) m} r(m) (resp. ( if go is stable). We may choose N O such that for any N f> N O and any point in l-lilb(V| P) representing a semistable sheaf #, the conclusion of Lemma 1.18 holds for 8. Once N is fixed, the set of subsheaves ~- generated by sections of #(N) is bounded, so the set of polynomials p(o ~ m) is finite. These polynomials all have first term r(~') m e, so we may make 1V[ big enough so that for the o~" where < P(N) r(g) we get the desired conclusion. (This completes the stable case.) For those o~ where equality holds, we have p (,~', m) P(m) Thus in this case also we get the desired conclusion, P(N) m) 6 P(m)" This completes the proof of the first half of Theorem 1.19. Now we turn to the second half, the " only if" direction. Suppose that N/> N 0. We will choose N o as we go along. Let M ---- M(N) be as in Lemma 1.16. Suppose V | q//'--> ~~ ~ 0 is a point of I-Iilb(V | ~r, p, d) which is semistable with respect to the embedding determined by some m 1> M. Let 8" be the subsheaf of o ~ of sections supported in dimen- 70 CARLOS T. SIMPSON sion d -- 1, and let 8' be the sheaf of pure dimension d given by Lemma 1.17. The remark following Lemma 1.16 implies that for any quotient 8'~ f#-+ 0 we have h~ P(N) Let ~ be the ~-semistable quotient of 8' with the smallest ~ = ~(~), in other words the last step in the Harder-Narasimhan filtration. Apply Corollary 1.7 to the sheaf ~(N) to conclude that P(N) h~ -- ~ ~ (~(~) ~- N + B)d/d]. Since P is fixed, there is a C and we may choose No so that for N/> No, P(N) -- >/ (N -- C)g]d!. Therefore N--C~< V(~)-bNq-B, so ~(~)i>--B--C. Note that B and (~ are independent of N, and recall that the Hilbert polynomial of 8' is equal to P. Therefore by Theorem 1.1 the sheaves 8' remain in a bounded family independent of N. In parti- cular we may increase N o so that for N >t No, h~ = P(N) and 8'(N) is generated by global sections. Now applying the remark following Lemma 1.16 to the quotient sheaf 8/~', we get h~ P(N). Since 8/g- is included in 8', the sections of 8[g'(N) generate 8', so 8/g" = 8'. But since the Hilbert polynomials of 8 and 8' are the same, the Hilbert polynomial of g" must be zero, so g" = 0. Thus 8 = 8' is of pure dimension d, and remains in a bounded family independent of N. Furthermore, h~ = P(N). Lemma 1.16 implies that the map V ~ H~ is injective, so by counting dimensions it is an isomorphism. It remains to be shown that 8 is lb-semistable. For each element of the bounded family of g"s which is not semistable we may choose a quotient ~ such that k) < F(k__)) r(8) for large k. We may assume that the ~ remain in a bounded family, and hence we may increase N o so that for N/> No, p(~, N) < P(N) and furthermore h~ = p(~, N). But this now contradicts the conclusion of the remark following Lemma 1.16, so there are no d ~ which are not semistable. This completes the proof of the statement about semistable points. Suppose, under the same circumstances as above, that 8 is not p-stable. Let ~'C 8 be a nonzero proper subsheaf with the same normalized Hilbert polynomial. MODULI OF REPRESENTATIONS, I Put U = H~ and W -~ H~ ~- H~ -- N)), and set H = H~ C V. As the set of possibilities for ,~" is bounded, we may assume that m and N are big enough so that the image of H| is equal to H~ U, and dim(H) P(N) h~ ) h~ 8(m) ) By the criterion of Proposition 1.14, 8 maps under +,~ to a point which is not properly stable in the Grassmanian. By Proposition 1.12, 8 is not a properly stable point in the Hilbert scheme. This completes the proof of the statement about stability. [] Corollary 1.20. -- The scheme Q. 2 constructed at the start of this section is equal to the set of semistable points of I-Iilb(V | P, d) under the action of SI(V). The open subset Q~2 para- metrizing p-stable sheaves is equal to the set of properly stable points under the action of SI(V). Proof. -- Note that O, is an open subscheme of HIIb(V| P) contained in HIIb(V | P, d). Mumford proves that there is an open subset of semistable points for the group action [Mu]. The previous theorem implies that the points of these subsets are the same, so they are equal. The same argument holds for the properly stable points. [] Theorem 1.ill. -- Let M(0x, P) ~ Q2/SI(P(N)) be the good quotient given by the construction of [Mu], applied to the group action on HIIb(V | ~, P, d). (1) There exists a natural transformation ~:M~(0x, P ) -+M(0x, P ) such that M(0x, P) universally corepresents M~(~x, P). (2) M(Ox, P) is a projective scheme. (3) The points of M(Ox, P) represent the equivalence classes of semistable sheaves under the relation that 81 "~ 82 if gr(81) = gr(@,). (4) There is an open subset l~(0x, P)C M(0x, P), with inverse image equal to Q~z, whose points represent isomorphism classes of p-stable sheaves. Locally in the gtale topology on MS(0x, P) there # a universal sheaf ~ suck that if ~ is an element of M~(Ox, P) (S') whose fibers ~'8 are p-stable, then the pull-back of o~'~ via S' -+ MS(0x, P) is isomorphic to ~ after tensoring with the pullback of a line bundle on S'. (5) If x e MS(0x, P) is a point suck that 0~2 is smooth at the inverse image of x, then M'(0x, P) is smooth at x. Proof of parts (1), (2) and (3). -- For part (1) it suffices to show that the natural transformation from the quotient functor Q~/SI(V)~ to M~(0x, P) is a local isomor- phism. Note first of all that the boundedness results and our choice of N, together with the possibility of choosing local frames for the direct images H~ ', 8(N)), imply that the natural transformation Q~/GI(V) ~ -+ M~(0x, P) is a local isomorphism. On the other hand, the center GmCGI(V ) acts trivially on Q2 so the action descends to an action of PGI(V) on Q2. The morphism of group schemes GI(V)-+PGI(V) is locally surjective in the dtale topology, so the morphism of quotient functors 72 CARLOS T. SIMPSON Q~/GI(V)~-+ Q~/PGI(V)~ is a local isomorphism. The morphism of group schemes SI(V) ~ PGI(V) is locally surjective in the 6tale topology, so the morphism of quotient functors Q~/SI(V)~ ~ Q~/PGI(V)~ is a local isomorphism. We obtain a commutative diagram where three sides are local isomorphisms. Taking the sheafifications, we obtain a commutative diagram where three sides are isomorphisms, so the fourth side is an isomorphism. In the original diagram, the fourth side is a local isomorphism Q.~/SI(V) ~ ~ M~(~x, P). The discussion before Lemma 1.10 implies that the natural transformation ~ exists. As M(0x, P) is a universal categorical quotient of Q~ by SI(V), it universally corepresents the quotient functor Q~/SI(V) ~. Therefore (M(0x, P), q~) universally corepresents M~(0x, P), for property (1). The closed subset ltilb(V| P, d) of the Hilbert scheme is projective [Gr2], so the good quotient of its set of semistable points is projective [Se] [Se2]. Thus M(Ox, P) is projective, proving (2). To prove (3) using Lemma 1.10 (Seshadri's result of [Se] [Se2]), we have to verify that for semistable sheaves do and o~, the closures of the corresponding orbits in Q.2 intersect if and only if gr(do) = gr(o~-). This proof comes from [Gi]. First of all given an extension 0 ~ do' ~ do -+ do" -+ 0 we can find a family of extensions dot of do" by do', parametrized by t E A x, such that for each t + 0 the extension is isomorphic to the given one, and for t ----- 0 the extension is trivial. To do this, base change the exten- sion do to X � A 1 and then form a new extension of sheaves on X X A1/A 1 by pulling back via t : do" ~ do". Applying this repeatedly to a semistable do, using the extensions in the Jordan-Htlder filtration, we find that the orbit corresponding to gr(do) is in the closure of the orbit corresponding to do. So if gr(do) = gr(o~-) then the closures of the orbits of do and o~ intersect. Conversely the orbit corresponding to gr(do) is closed. For this it suffices to consider the fiber over one point s e S. Suppose d ~ is a p-semistable sheaf on X, such that gr(do) ~ do. Suppose T is a curve and t o e T is a closed point, and suppose that o~- is a p-semistable sheaf on X, � T over T such that oqr~ - d ~ for t + t 0. If do~ is a stable component of do then by semicontinuity, there are at least as many maps from do~ to o~t0 as to do; since ~'to is p-semistable, this implies that o~0 is a direct sum of copies of do~ with the same multiplicities as do, so o~to = do. This completes the proof of (3). [] We will prove (4) and (5) below, after discussing Luna's 6tale slice theorem. Slice theorems Suppose Z is a scheme over S = Spec(C) with relatively very ample La. Suppose a reductive group G acts on Z and s Proposition 1.22. -- Suppose Z is projective over S. Suppose z e Z ~' is a semistable point such that the orbit Gz is closed in Z ~. Then the stabilizer H = Stab(z) C G is reductive. Proof. -- This is due to Matsushima [Mr]. [] MODULI OF REPRESENTATIONS. I Proposition 1.23 (Luna's ~tale slice theorem). -- Suppose z is a point such that the orbit Gz is closed in Z ~. Let H = Stab(z). There is a locally closed affine H-stable subscheme V C Z ~ passing through z, such that the G-invariant morphism + : G � ~ V ~ Z is gtale. The image U of + is an affne open set such that U = ~-1 ~(U) where ~ : Z ~ -+ Z~/G # the pro- jection to the quotient. Furthermore the morphism of good quotients V]H ~ Z~/G is gtale. Proof. -- See [Lu]. [] In the situation of the proposition, we can choose an H-invariant complement H l C G containing the identity e, such that the map H � H ~ G is Etale. (This can be seen by applying the above theorem to the case of the action of H on G.) Then the proposition says that the morphism H � V -+ Z is ~tale. Suppose Z is a scheme with invertible sheaf ~ and action of G on Z and ~. We will discuss the set of properly stable points Z 8. Mumford constructs a universal geometric quotient Y = ZS/G (see [Mu] for the definition; among other things, it means that the points of the quotient correspond exactly to the orbits). The action of G on Z ~ is said to be proper if the map tF : G � Z * -+ Z' � Z' defined by iF(g, z) = (gz, z) is proper. The action is free if tF is a closed immersion. Lemma 1.9,4. -- The action of G on Z 8 is proper. Suppose furthermore that for any z ~ Z ~, Stab(z) = { e }. Then the action of G on Z ~ is free, the morphism Z" ~ Y is faithfully flat, and tF:G � Z ~ ~ = Z ~ � y Z 8 is an #omorphism. The scheme Z ~ is a principal G-bundle over Y in the gtale topology. Proof. -- Much of this follows from [Mu], and the remainder is Corollary 1 in [Lu]. [] Proof of (4) and (5) in Theorem 1.21. -- The stabilizer in PGI(V) of the point of Q~ corresponding to a p-stable sheaf, is { e }. By the above result, the set of properly stable points O~z is a principal PGl(V)-bundle over MS(0x, P) in the Etale topology. This implies that a universal family exists Etale locally. The existence of slices implies that at points where 0_23 is smooth, the quotient is smooth. [] Limits of orbits We now make a general observation about limits of orbits in the set of semistable points (reducing to the case of G,~), followed by an explicit analysis of the limits of G~-orbits in Hilbert schemes. Suppose Z is a projective scheme over S = Spec(C) with very ample ~r Suppose a reductive group G acts on Z and .~. Lemma 1.25. -- Suppose z ~ Z ~. Let B C Z ~ be the unique closed orbit in the closure of the orbit of z. Then there # a one parameter subgroup ~ : G,, ~ G such that lim~-.0 ~(t) z/s a point of B. 10 74 CARLOS T. SIMPSON Proof. -- This is essentially a statement from the proof of Proposition 2.3 in Chapter 2 of [Mu]. We have to make some preliminary reductions. We may assume that Z = P(V), with G acting linearly on V. Choose a point y in the orbit B. Let H = Stab(y), and choose a linear H-stable subspace P(W)C P(V) passing through y, complementary to the tangent space of B--this gives a slice neary as described in Propo- sition 1.23. Suppose y(r) is a family of points approaching y as r -+ 0. Using the map H � P(W) -+ P(V), which is &ale at (e,y), we can writey(r) =--g(r) w(r) for g(r) -+ e in H and w(r) -+y in P(W). Sincey is in the closure of Gz, we can choosey(r) e Gz, and hence w(r) e Gz. Thus y appears in the closure of (Gz) n P(W). Choose a point z' e (Gz) n P(W) (and note that Gz = Gz'). We claim that Hz' is dense in (Gz') ca P(W). The map H i � (Hz') ---> Gz' has surjective differential at (e, z'). On the other hand, the inverse image of Gz' under the map H � P(W) -+P(V) is equal to H" � (Gz' ca P(W)), so the map H" � (Gz' c~ P(W)) -+ Gz' is 6tale locally at (e, z'). These imply that the inclusion Hz' C (Gz' ca P(W)) has surjective differential at z', so it is surjective locally at z'. Hence the orbit Hz' is dense in (Gz' tn P(W)) as claimed. From this claim and the preceding discussion, the point y is in the closure of the orbit Hz'. We have reduced to the case where H acts on P(W) and y is a fixed point. Let Lv denote the line in W corresponding to y. The group H acts on I.~ by a character x:H--+ C*. Change the representation W by tensoring with X -1. This does not change the action on P(W), but now we may assume that H fixes the points in L~. Choose an H-invariant complement U = L# C W, and a point ~ L~. Projection from U � {~} to P(W) gives an isomorphism of U (with its linear action) with an invariant affine neighborhood ofy. We have z' ~ U, for otherwise Hz' would be contained in the complement of U and could not contain y in its closure. Now z' is a point in the linear space U, and the origin is contained in the closure of Hz'. Hence we may apply the statement (ii) used in the proof of Proposition 2.3 of [Mu] to obtain a one parameter subgroup X' : G,, ---> H such that lim b_,0 X'(t) z' -= 0 in U. Let g ~ G be an element with gz = z'. Then X(t) = g-1X'(t)g is a one-parameter subgroup of G with X(t) z ---- g-1 X'(t) z', hence lim X(t) z = g-ly ~ B. ~-+0 This proves the lemma. [] MODULI OF REPRESENTATIONS. I 75 Remark. ~ We will use the lemma in the following way. Suppose A C Z ~ is a G-invariant locally closed subset, and suppose z z A. In order to prove that Gz nA = Gzn Z'*, it suffices to prove that for every one-parameter subgroup X:G,~ ~ G, if the limit y=limt_~ 0x(t) z is in Z *, then this limit y is in A. For by the lemma, this implies that the unique closed orbit B in the closure of Gz, is contained in A. Then D = Gz n (Z * -- A) is a closed G-invariant subvariety of Gz n Z ~* which does not contain B, hence D must be empty. In order to apply this technique, we must be able to analyze explicitly the limits of orbits under actions of G~. We will treat the case of Hilbert schemes. Suppose W" is a coherent sheaf of Ox-modules, and V is a vector space, and fix a Hilbert polynomial P. The group GI(V) acts on I'Iilb(V| r, P). Suppose we have a map X:G,~---> GI(V), in other words an action of G,~ on the vector space V. Suppose p : V | __> ~" _-> 0 is a point in I-Iilb(V | P). Then for each t el3,, we get a point X(t)p =po (t| 1). The Hilbert scheme is proper, and by the valuative criterion of properness, there is a unique limit point limt_,0 X(t)p. We describe this limit point explicitly. The vector space V decomposes under the action orgy, as a direct sum V = (~ V~ where t ~ 13~, acts on V~ by multiplication by P. This gives rise to a filtration F of V defined by F~ V = @ V~. ~>g The direct sum decomposition gives an isomorphism V ~ G~(V). From our point p : V | #" -+ o~ we obtain a filtration F. of ~', setting F~ ~" = p(F~ V | Then we get a surjection G~(V) | ~ -~ Gr{'. (.~-) -+ 0, and composing this with the isomorphism V-~ Gr~(V), we get a point q : of the Hilbert scheme HIIb(V| P). Lemma 1.26. -- We have q = limt_~0 X(t)p. Proof. -- We will use the embedding t~,~ for some m >> 0. Let W = H~ and for our quotient o~', let U = H~ Then p' = +,~(p) is the point p' : V| ->U ->0 76 CARLOS T. SIMPSON in Grass(V | W, P(m)). Let F~ U denote the image of (F, V) | W. Note that if we choose m large enough, then F, U = H~ ~'(m)). The associated graded of p' gives a morphism G~. (V) | W ~ GrY. (U) -~ O, and again composing this with the isomorphism V-~ Gff(V), a point q' : V| -+ Gff(U) -+0 of Grass(V | W, P(m)). This point q' is equal to ~(q). The embedding +,, is invariant under the action of G,~, so it suffices to prove that fim~_~0 ),(t)p' = q'. Let j denote the canonical embedding of Grass(V | W, P(m)) into the projective space of quotient fines of Ae(")(V| Let L----A rc~) U, and p" =j(p')= APc')p '. The embedding j is invariant under G,,, so it suffices to find the limit of k(t)p". There are induced filtra- tions F. on Ar(")(V | W) and L, and F, L = p"(F~ AP("'(V | W)). This may be checked by choosing a basis compatible both with the quotient U and the filtration F. of V| W. Again, the associated graded q" ofp" is equal to the image j(q') of the associated graded of p'. The filtration of AP~"I(V @ W) is deduced from the action of G m in the same manner as before. There is only one step of the filtration of L, corres- ponding to the smallest ~ such that L is a quotient of F~(... ). The associated graded q" corresponds to the morphism G~(... ) --> L. One can check by using coordinates which diagonafize the action of ;~(t) that lim,_~ 0 ;~(t)p"= q". This completes the proof. [] A criterion for local freeness Lemma 1.27. -- Suppose F is a coherent sheaf on X which is flat over S, and such that the restrictions F Ix, to the fibers are locally free. Then F is locally.free. Proof. -- Localizing, we may suppose that S = Spec(A) and X ---- Spec(B) where A C B are noetherian local C-algebras with maximal ideals m x and m~ respectively. Let I =- B. m A. Suppose F is a finitely generated B-module which is fiat over A, and F]IF is free over B/I. Choose a collection of elements f l, ...,f,, such that their images form a basis for the free module F]IF. We obtain an exact sequence 0 -+K ---> B" -+F --*0; surjectivity follows from Nakayama's lemma and we denote by K the kernel. Tensoring with A/m x over A yields 0 ---> K/IK --> (B/I)" ~ F/IF -+ 0, which remains exact because F is flat over A. But this implies that K]IK = 0, and since K is finitely generated, Nakayama's lemma implies that K = 0. Thus F is a free module. [] MODULI OF REPRESENTATIONS. I 77 2. Sheaves of rings of differential operators Suppose S is a noetherian scheme over C, and f: X -+ S is a scheme of finite type over S. A sheaf of rings of differential operators on X over S is a sheaf of (not necessarily commutative) Ox-algebras A over X, with a filtration A 0 C A 1 C ... which satisfies the following properties. 2.1.1. A = U~ o Ai and A~.Aj C A~ + j. 2.1.2. The image of the morphism 0 x -+ A is equal to A o. 2.1.3. The image off-l(0s) in 0 x is contained in the center of A. 2.1.4. The left and right 0x-module structures on Gr,(A) ~ AJAi_ 1 are equal. 2.1.5. The sheaves of 0x-modules Gr~(A) are coherent. 2.1.6. The sheaf of graded 0x-algebras Gr(A)~ @~~ ) is generated by Grl(A ) in the sense that the morphism of sheaves Gr~(A) | "'" %~ Grl(A) -+ Gr~(A) is surjective. This definition is an abstraction of the well-known properties of the sheaf of rings of differential operators ~x/s, as presented in [Be] and elsewhere. In this section we will point out some elementary properties and give some examples. The first remark is that A has two structures of sheaf of 0x-modules , coming from multiplication on the left and on the right. On the associated graded ring Gr(A) these two structures are, by hypothesis, equal. Lemma 2.2. -- The subsheaves A~ are coherent sheaves of Ox-modules under both the left and the right structures. The full sheaf A is quasicoherent for both structures. Proof. -- Treat, for example, the left module structure. By induction on i, we may suppose that A,_ 1 is coherent. Then A~ is an extension of Gq(A) by A~_I, both of which are coherent. An extension of coherent 0x-modules is again coherent, so A~ is coherent. The sheaf A is a union of coherent subsheaves, so it is quasicoherent. The case of the right module structure is the same. [] Note that A 0 is a sheaf of quotient rings of 0x, so there is a closed subscheme X0CX with 0xo=A o. Suppose UCX is an affine open subset. If a~Ao(U ) and v e AI(U ) then the commutator [v, a] = va -- av is in Ao(U ) (by 2.1.4). One has the formula [v, ab] ---- a[v, b] 4- [v, a] b, so the function a~-~ [v, a] is a derivation. It acts trivially on sections of 0 s (by 2.1.3), so it is a derivation of 0xo over 0 s . The derivation is trivial if v c A0, so it only depends 78 CARLOS T. SIMPSON on the class of v in Grx(A ). By the universal property characterizing the module of dif- ferentials Qx0/s, there is a unique morphism a : Grl(A ) -~ Hom(g2~s , #xo) such that a(v) (da) = [v, a]. We call a the symbol of A. Note that this formula can be rewritten to read va = av + ~(v) (da); thus it can be used to pass elements ofA 0 through elements ofA 1 at the expense of adding additional terms of lower order. Suppose S = Spec(A) and X = Spec(B) are affine. Then A is the quasicoherent sheaf associated to the B-algebra L = A(X), and there is a filtration Lo C LxC ... C L. These satisfy properties analogous to the previous properties for A: 2.3.1. L = U~o I-~ and L~.LjC L~+j. 2.8.2. The image of B in L is equal to L0. 2.3.3. The image of A is contained in the center of L. 2.3.4. The resulting left and right B-module structures on Gr~(L) = I~./L~_I are equal. 2.8.5. The B-modules Gr~(L) are finitely generated. 2.3.6. The B-algebra Gr(L)= @~~ o is generated by Grl(L): the morphism Grx(L) | ..- | GrI(L) ~ Gq(L) is surjective. Conversely, a B-algebra with filtration satisfying these properties gives rise to a ring of differential operators. Lemma 2.4. -- Given a B-algebra L with filtration satisfying 2.3.1-2.3.6, let A~ and A, denote the associated sheaves of Ox-modules obtained by localizing with respect to the left and right structures. There is a unique isomorphism A z "~ A, of sheaves compatible with the restriction maps L -+ Az(U ) and L ~ A,(U) and compatible with the left and right B-module structures of At(U ) and A,(U). Identify A z and A, using this isomorphism, and call the resulting sheaf A. There is a unique morphism A |162 A --~ A of left and right ~)x-modules extending the multipli- cation of L. The left and right subsheaves associated to L~ are equal, giving a filtration AoC A1C ... CA. Finally, the sheaf of Ox-algebras A, provided with this filtration, satisfies the hypotheses 2.1.1- 2.1.6 for being a sheaf of rings of differential operators. Proof. -- This proof comes from the one given by J. Bernstein in his course [Be] for the sheaf of rings ~x. Suppose M C B is a multiplicative subset. The left localisa- t.ion h/f-1 L is a left M-1 B-module and a right B-module. Note that M-1 L is the union MODULI OF REPRESENTATIONS. I 79 of M- 1 I~.. We claim that M acts invertibly on the right, namely that for any v e M- 1 L and rn ~ M, vm = 0 :~ v = 0 and there exists u ~ M-1 L such that v = urn. Suppose v e M-1 I~., and write v = n- ~ w for w ~ L~. Write w as a sum of terms of the form wiw2 ... w~ + z where wj eL1 and z eL~_l. Then w i ... w, m = (w i ... w,_l) (mw, + ~s(w,) (dm)). By induction we obtain wi... w,m=mwi.., w,+z' where z'eL~_l. Thus m- i vra = (mn)- i wm = (mn)- i mw + (ran)- l y with y e L,_I. Hence m -1 vm -- v e M -iL*_ i. Now suppose that vm = 0 in M- ~ L (and hence also in M- 1 L,). By the previous formula we get v e M -~ L,_ 1. Continuing by induction on i we obtain v = 0. Furthermore, we have v =y + m -1 vrn where y e M -1 L,_I. By induction we may write y = xm, hence v = (x + rn- ~ v) m. This completes the proof of the claim. The fact that M acts inverfibly on the right implies that the natural map M -~ L--> M -1 LM -1 is an isomorphism. The same argument works for the right localisation LM -1, and we obtain the isomorphisms LM -1 ~ M -1LM -1 -~ M -1L. Note that the previous argument also gives L~ M-I~ M-1LiM-I_~ M-i L~. The sheaf associated to L by left localisation is given by A~(U) ---= M -1 L where M is the mulfiplicafive system of elements of B which are invertible on U. The sheaf associated to L by right localisation is At(U ) = LM- 1. The above isomorphisms give As(U ) ~ A,(U). This is compatible with the filtrations. We obtain the desired isomorphisms (the state- ments about uniqueness are left to the reader). Finally the multiplication in L gives M-i L | LM-i -+ M-1 LM-1. If M acts inverfibly on the right of the left hand side in the tensor product and on the left in the right hand side of the tensor product, then the tensor product is the same as that taken over M- 1 B. We obtain the desired multiplication A |162 A -+ A. The required properties follow from 2.3.1-2.3.6. [] We define base change for A. Suppose g : S' -+ S is a morphism of noetherian schemes over C. Let X' = X � s S', and let Pi and P2 denote the two projections. Set A; = r r P71(A) and A; ~--p~-I(A) | cx Sx', where the first formula uses the left module structure of A and the second formula uses the right module structure. CARLOS T. SIMPSON Lemma 9.. 5. -- There exists a unique isomorphism of sheaves of rings A~ ~-A', which restricts to the identity on p~(A) and p~(Os, ). Proof. -- It suffices to prove this in the case where X, S and S' are affine. Keep the same notation as before and let S' = Spec(A'). Put B' = B | A', so X' = Spec(B'). Note that A~ and A', are both equal to the sheaves associated to the B'-algebras L'= L O A A'= A'| L. The left and fight tensor products are equal in this case, since the image of A is in the center of L (thus the left and right A-module structures are the same). With the previous discussion of the affine case, this gives the desired isomorphism. [] Let A' denote either A~ or A'r, each identified with the other via the isomorphism given in the lemma. Set A' i'l : ~ x, | ~ p~-I (A) i, and A~, r ------ p~-~(A~) | r 0x,. 9 -- ~,, are equal. Call these images A,. Then Lemma 9. 6. The images of A~, ~ and A' in A' A' with the filtration given by the A~ satisfies the conditions for a sheaf of rings of differential operators on X' with respect to S'. Proof. -- Again, we may reduce to the affine case; keep the previous notation. Let L' = L | A' and let L~ be the image of L~ @a A' in L'. The L~ are finitely generated; since B' is a noetherian C-algebra, this implies that L~ is finitely presented. Thus L' with filtration L~ satisfies the conditions listed above (the remaining conditions are easily verified). The image of A~,, (resp. A~, ,) in A' is equal to the subsheaf associated to L; by left (resp. fight) localisation. The proof of Lemma 2.4 shows that the left and right localisations of the L~ are equal. Lemma 2.4 implies that A' with filtration given by A~ satisfies the conditions for a sheaf of rings of differential operators. [] A-modules Suppose f: X ~ S are as above, and A is a sheaf of rings of differential operators. For the purposes of this paper we define a A-module to be a sheaf 8 of left A-modules on X such that 8 is coherent with respect to the resulting structure of sheaf of Ox-modules. We note how this behaves under base change. Lemma 9.. 7. -- Suppose S' -+ S is a morphism of noetherian schemes over C. Suppose g is a A-module on X. Then the pullback 8' = p*~( @) has a natural structure of A'-module on X'. Proof. -- This structure will be characterised as the unique one compatible with the existing p~-l(A)-module structure of p~-l(8) and the d~x,-module structure of 8'. With this in mind, it suffices to treat the case where X, S and S' are affine. Keeping the same notation as above, the A-module @ is the sheafification of an L-module E MODULI OF REPRESENTATIONS. I 81 such that E is finitely presented over B. The pullback E' is the sheafification of E | A', and this has a natural structure of L' ---- L | A'-module. [] Lemma 2.8. -- Suppose U C X is an affne subset. Then A(U) is generated as a ring by AI(U). Proof. -- To prove that A(U) is generated by Ai(U ) it suffices to prove that Gr(A(U)) is generated as a A0(U)-algebra by Gri(A(U)). Since U is affine, Gr(A) (U) = Gr(A(U)). Our hypothesis says that Grl(A) | 9 9 9 | Gri(n) --> Gr~(A) is a surjective map of sheaves. But it is a map of coherent sheaves of ~x-modules, so the fact that U is affine implies that the map Grl(A ) (U)| "" | (U) --> Gq(h) (U) is surjective. This implies that Gr(A(U)) is generated by Gri(A(U)). [] Corollary 2. 9. -- Suppose 8 is a A-module and ~" C o ~ is a coherent subsheaf of Ox-modules such that A 1. ~" C ~'. Then ~ has a unique structure of A-module compatible with the A-module structure of o ~. Proof. -- If this structure exists, it is unique since ~'(U) C $'(U) for any open set U. To show that it exists, we must show that if x e ~-(U) and v e A(U) then vx e ~-(U). It suffices to show this locally, so we may assume that U is affine. By the lemma, A(U) is generated by AI(U ). Thus v is a sum of terms of the form v i ... v k with v~ e Ai(U ). By hypothesis, v k x ~ ~-(U), and continuing inductively we obtain Vl... v k x e ~'(U). Thus vx e o~'(U). [] The split almost polynomial case Suppose that X is flat over S. We say that a sheaf of rings of differential operators A on X over S is almost polynomial ff A 0 = ~gx, Grl(A ) is locally free over 0x, and the graded ring Gr(A) is the symmetric algebra on Gri(A ). We say that A is polynomial if, furthermore, A ~ Gr(A). The property that A is almost polynomial is preserved under base change. In fact, if f: S' ~ S is a morphism, and ff A' is the sheaf of rings of differential operators on X' ---- X � s S' obtained by base change, then Gr(A') ----f* Gr(A). To see this, note that since X is flat over S, all of the Gq(A) are flat over S. Thus the maps fromf*(A,) to f*(Aj) for j > i are injective, so A; --f*(A,) and f* preserves the associated graded. A split almost polynomial sheaf of rings of differential operators A is an almost polynomial sheaf of rings of differential operators A together with a morphism : Grl(A) -> A i of left 0x-modules splitting the projection from A i to Gri(A ). 11 82 CARLOS T. SIMPSON We will give an explicit description of the split almost polynomial sheaves of rings A in terms of triples (H, 8, y). Before giving the statement of the relation with rings A, we describe the objects H, 8 and y, and give some properties and constructions. 2.10.1. Suppose H is a locally free sheaf of d)x-modules on X. 2.10.2. Suppose 8:0 x -+ H is a derivation over 0 s. 2.10.3. Put A~'sO=~H*@Ox, and A~'*=0 xCA~' ~ Give A~' ~ the left Sx-module structure of the direct sum, and a twisted right d~x-module structure by the formula (X, a) b = (bX, a + X(B(b))). Note that the left and right 0x-module structures on Ax ~' S/A0a' s ~ H* are the same. 2.10.4. Put K aa/~ H with the same left and right module structure. 2.10.5. Suppose y : H -+ K | A~' 8 is a morphism of right 0x-modules such that the composition with the projection into K |162 H* is equal to the canonical map H -~A~ H | H * . 2.10.6. From this data define a bracket { , }v:H*| -+H* by the formula { a, b}v.u = (aA b).(y(u)) -- (~(a.u)).b + (B(b.u)).a -- (a.u) b + (b.u) a, where the periods indicate pairings between dual spaces. Here a and b are sections of H*, u is a section of H, and the right hand side, a priori a section of A~' s, is in fact a section of A~' ~ = 9 x. The formula is 0x-linear in u so it defines a section { a, b }v of H*. 2.10.7. The bracket is antisymmetric and satisfies a Leibniz formula: { a, yb }v = (B(y).a) b + y{ a, b }v. 2.10.8. Assume that y has the property that the resulting bracket satisfies the Jacobi identity: {{a, hi,, c), +{{ b, c},, a}, +{{c, a),, b), = 0. Remark. -- The data of the bracket satisfying properties 2.10.7 is equivalent to the data of the map ~, satisfying the properties 2.10.5. The map ~" can be recovered from the bracket using the formula 2.10.6. Theorem 2.11. -- Suppose (A, ~) is a split almost polynomial sheaf of rings of differential operators. Then there exists a unique triple (H, 8, y) satisfying 2.10.1-2.10.8 and isomorphism ~q : Grx(A ) -~ H*, such that ~ corresponds to the symbol and the bracket { , }v gives the commutator of elements under the isomorphism A a ~ H* @ 0 x ---- A~' n given by the splitting. MODULI OF REPRESENTATIONS. I 83 Suppose (H, 8, Y) is a triple satisfying properties 2.10.1-2.10.8. Then there is a split almost polynomial sheaf of rings of differential operators (A ~' 5, v, ~) together with isomorphism : Grl(A H, 8, v) ~ H* such that 8 corresponds to the symbol and Y corresponds to the commutator of elements under the isomorphism A~' ~. v _~ H* @ O x = A~' ~ given by the splitting. If (A, ~) is any other split almost polynomial sheaf of rings of differential operators corresponding to (H, 8, Y) under the previous paragraph, then there is a unique isomorphism A ~- A H' 8, v compatible with the splittings and the isomorphisms ~. Proof. -- For the first paragraph, set H = Grl(A)*. The derivation 8 comes from the symbol defined before. The splitting gives an isomorphism A 1 ~ H* ~3 0 x compatible with the direct sum structure of left ~Px-module and the twisted structure of right 0x-module defined in 2.10.3. To define the bracket, let A denote the image of A 1 @r H* in A s. If a and b are in H* C A 1 then ab and ba are contained in A. Thus thel commutator ab -- ba is an element of A n A1 = H*. Define the bracket { a, b }v to be equal to this commutator. This satisfies the Leibniz rule, so it comes from a map 7, and it satisfies the Jacobi identity. This gives the required triple (H, 8, 7)- For the statement of the second paragraph, it suffices to treat the question locally on X, so we may assume that H is a free Ox-module. Fix a basis kl, --., k~ for H*, Define A ~' 5, v to be the quasicoherent left 0x-module freely generated by the mono- mials ),~1 ... ~,~k. Then use the derivation 8 to define the commutators of ~, with sections of 0x, and use the bracket { , }v to define the commutators of N and k~. Use these commutators to define the multiplication law on A H' 5, v (they give the rules for passing things through each other in order to rearrange any expression into a sum iof monomial products ordered as above). The Leibniz rule 2.10.7 and the Jacobi identity 2.10.8 insure that the multiplication is well defined independent of the rearrangement procedure, and that the ring axioms are satisfied. The associated graded algebra is just a polynomial algebra, since the commutators only introduce terms of lower order. H /.emma 2.12. -- Suppose (H, 8, y) is a triple satisfying 2.10.1-2.10.7. The transpose of the map Y is an inclusion 7 3 : K* ~ A x | H* of left Ox-modules , suck that the composition K* ,-+ A1 | H* -+ H* | H* is equal to the canonical isomorphism K* ~/k s H*. The image of yT is the kernel of the map A 1 |162 H* -+ A~. Let wl:A ~ H | A denote the transpose of the multiplication A |162 H* --~ A. Let w~: K | A1 |162 A -+ K| A denote the map given by multiplication of the last two factors. The composition wl 7Wl is equal to zero. 84 CARLOS T. SIMPSON Proof. -- The transpose is defined by the formula "~T(u).a = u..r(a ) for u ~K* and a e H. The composition of yT with the projection into H* | H* is the transpose | * of the composition of y with the projection into K r H. This second composition is, by hypothesis, the canonical map, so the composition of yT with the projection is the canonical inclusion. In particular, this implies that y~ is injective. For the last two statements, it is convenient to calculate in terms of a local frame Xx, 9 9 Xk for H*, the dual frame kx, ..., h, for H, and Kronecker's delta. If we write ( x,, x~ )~ = X; r,t~ xt, t=l then the map y is v(ht) = .~. (h, ^ h3 (r,~ + ~t xj - ~u x,.). We get VT(h ^ x,) = X t r, | xt + x, | ~. - x, | x,. From the description of A given in the second part of the proof of Theorem 2.11, the image ofy T is the kernel of the map A x | H* -~A,. Finally, we have wx(u ) = ~ hit | ~ u, so w2 ~w~(u) = Y. (h, ^ Iz~) | (r~j + ~t x~ -- ~u x,) xt u i, i,g = X (h~ ^ h~) | (Z l",tj xt + x~ ~ - x, xj) u i, i t =0. [] Suppose that A is a split almost polynomial sheaf of rings of differential operators corresponding to a triple (H, 8, y) as in Theorem 2.11. Suppose # is a A-module. We obtain a morphism of sheaves ~ : 8 -->H| 8 by the formula x.~(e) = ~(x) (e) for X E H*. Recall that the splitting ~ : H* -> A x is a morphism of left 0x-modules, so (,~x). ~,(e) = ~(ax) (e) -- a~(x) (e) = a(x.,p(e)) for sections e of 8 and a of 0 x. Thus ~p(e) gives an 0x-linear function from H* to 8, hence an element of H |162 8 as required. This morphism ~ satisfies the Leibnizformula with respect to the derivation 8, that is ~(ae) = a~(e) + 8(a) | e for sections e of # and a of 0 x. Any such map q~ satisfying the Leibniz formula determines a map q~' :Al| # -+ g in a natural way. Composing with y gives a map 9' y : H| 8 -> K| 8. MODULI OF REPRESENTATIONS. I 85 ff (~', 9) comes from a A-module then the composed map ~" y~ : ~ -+ K | d', is equal to zero. This follows from the last statement of the previous 1emma, by tensoring with g over A. The following lemma gives a converse. Lemma 2.13. -- Suppose g is a coherent sheaf of O x modules and is a morphism of sheaves satisfying the Leibniz rule 9(ae) : ag(e) + ~(a) | e. This gives a morphism 9':A 1 |162 8 ~ o ~ There exists a structure of A-module for g which gives rise to the map ~ if and only if the composition 9'y9: @ -~K@~ g is equal to zero; and the A-module structure is uniquely determined. Proof. -- By Theorem 2.11, we may assume that A = A m 8, v. The question is local, so we may assume that H is free and that A is constructed by using the relations given by commutators coming from ~ and y. The map q~ gives an action of H* on ~. The Leibniz rule insures that this is compatible with the commutators coming from 3, while the condition ~' y~ = 0 is equivalent to the condition that this action is compatible with the commutators coming from { , }v (see the proof of the previous lemma). The A-module structure is uniquely determined by the action of A x. [] By this lemma, if (A, ~) is a split almost polynomial sheaf of rings of differential operators, then the notion of A-module is the same as the notion of a pair (d', ~) where d" is a coherent sheaf of 0x-modules and q~ : d" --> H |162 ~ is a morphism satisfying Leibniz's rule, such that the composition ~' y~ is equal to zero. This last condition may be paraphrased as saying that q gives an action of H* on ~' compatible with the bracket { , }-t (which is the commutator in A). The main examples Vector bundles with integrable connection. -- Suppose X -+ S is a smooth morphism. The main example of a split almost polynomial sheaf of rings of differential operators is the sheaf of differential operators itself, A -- ~xjs [Be]. The filtration is A~ equal to the sheaf of differential operators of order ~< i on X/S --the associated graded ring Gr(A) is isomorphic to the symmetric algebra Sym'(T(X/S)) [Be]. We have H = f~as, ~ is the canonical derivation, and the bracket is just the commutator of vector fields. The map y : f2~/s -+ f2~s | A1 may be written in local coordinates xl, ..., x k as y(u) =du| + Y~ (u^dx~)| i = 1 Ox~ 86 CARLOS T. SIMPSON The 0x-coherent A-modules are automatically locally free over 0 x [Be]. A A-module thus consists of a locally free sheaf 6' with a connection V : 6' ~ g |162 ~s satisfying Leibniz's rule and the integrability condition V'TV = 0, habitually written V~= 0. If necessary, use the superscript A D~ to denote this example. Higgs bundles. ~ The other main example we will use is Am~ clef Gr(ADR ) = Sym.(T(X/S))" Again H = ~/s but the symbol is zero and T is defined as above without the differential More generally, ifV is any locally free sheaf, we can put A v = Sym'(V*). The AV-modules are ttitchin pairs (8, ~) where # is a coherent sheaf of 0x-modules and ~ : # -+ V |162 ~" is a morphism with q~' 7~0 = 0, a condition habitually written ? ^? = 0. This notion was introduced for locally free sheaves of rank one in [Hil]. The condition ~ ^ ? = 0 was introduced in [Si2]. In case V = ~/s and 6' is locally free, we call these Higgs bundles. We sometimes denote A m~g" by A 9~ Other examples We mention here several other examples. These will not be treated further in Part II, but some might be treated in future papers, and some have already been treated by other authors. The possibility of considering these examples was the reason for rewriting the construction of moduli spaces in the general context of a sheaf of rings of operators A. Our constructions of the next two sections give moduli spaces for semi- stable A-modules in all cases. Connections along a foliation. -- Suppose ~-C X is a smooth holomorphic foliation of a smooth projective variety X. Define A s to be the sheaf of rings of differential operators along the leaves of the foliation. If T(~')C T(X) is the tangent bundle to the foliation, then A ~ is a split almost polynomial sheaf of rings with H - T*(~') and K giving the usual integrability condition. The A~-modules are sheaves E provided with an integrable connection V : E -+ E |162 T*(o~') along the leaves of the foliation. Deformation to the associated graded. -- Suppose A is a split almost polynomial sheaf of rings of operators on X over S. Let v denote the linear coordinate on A 1. Define A ~ on X � A 1 over S � A 1 to be the subsheafofp~(A) generated by sections of the form ~v' for X, sections of A,. This is again a split almost polynomial sheaf of rings of operators. There is an action of/3* covering the action on A 1. For any t o 4= 0, the fiber ARIx� t~0) is naturally isomorphic to A. On the other hand, A ~ Ix x {0} is isomorphic to the associated graded Gr(A), which is polynomial. This was the reason for our choice of terminology " almost polynomial" This construction probably also works for any A, although it may be that A should satisfy some additional hypotheses in order for the resulting A R to satisfy properties 2.1.1- 2.1.6. MODULI OF REPRESENTATIONS. I In the split almost polynomial case, suppose A corresponds to (H, 8, y) ; then A ~ corresponds to (p~(H), -r 8, y,) where y, is the map corresponding to the bracket 9 { , }v" z-connections. -- If we apply the previous constructions to A = A DR, we obtain a family A R which is a deformation from A DR to A 9~ A A~-module on X � A1 over S � A1 consists of a sheaf E with an operator satisfying the Leibniz rule V(ae) = aV(e) q- -~ d(a) e where t is the coordinate on A 1, as well as the usual integrability condition V*= 0. This notion of "-r-connection" was suggested to me by P. Deligne; it motivated the more general construction of defor- mation to the associated graded. The constructions of subsequent chapters will give a moduli space over S � A 1 whose fiber over S � { t o ) is equal to the moduli space for vector bundles with integrable connection (t o ~: 0), and whose fiber over S � { 0 } is the moduli space of Higgs bundles. This moduli space of v-connections was suggested by Deligne. Logarithmic connections. -- Suppose X -+ S is smooth and D C X is a divisor with relative normal crossings [De1]. Let f~x/s(logD) denote the sheaf of logarithmic differentials, and let T(X/S) (log D) C T(X/S) denote the subsheaf of the tangent sheaf dual to f2~/s(log D). Let A :Dg''~ , denote the split almost polynomial ring of differential operators with H = f~/s(log D), 8 the usual derivation, and with integrability condition equal to the usual one outside of D. Then a A "R'l~ is the same thing as a sheaf E with logarithmic relative connection V : E -~ f~/s(log D) |162 E satisfying the usual Leibniz rule and integrability condition. These objects were considered by N. Nitsure in [Ni2]. He constructed the moduli space for them. Connections on degenerating families. -- Suppose S is a smooth curve, s E S is a closed point, and suppose f: X ~ S is a projective morphism which is smooth except over s. Suppose that the total space X is smooth, and that the inverse image D =f-l(s) is a disjoint union of smooth divisors meeting with normal crossings. Let T(X/S)C T(X) denote the subbundle of tangent vectors which are tangent to the fibers off. It is equal to the usual relative tangent bundle where f is smooth. Let H = T*(X/S) denote the dual. Set a~,(log D) ~:/s(l~ D) a__a f* (f~ (log s)) This is a locally free sheaf equal to ~/s | Ox(D) outside of the singular points off. We have H = n ,s(log ]3) D). 88 CARLOS T. SIMPSON In particular, H is locally free. Note that there is an H-valued derivation of 0 x corres- ponding to differentiation in the directions tangent to the fibers. There is an integrability condition equal to the usual one over the smooth points. We obtain a split almost poly- nomial ring of differential operators A n' ~. A A D~' ~-module is a sheaf E with operator V : E --~H| giving an integrable connection outside of the singularities off. Over S- { s } this A DR' s'~ is the same as the relative A Dg, and the notion of A Dg' si~-module is the same as the notion of vector bundle with relative integrable connection. Note that any A D~' s'~*-module which is fiat over S is automatically locally free away from the singu- larities off, but need not be locally free at the singular points off (the crossing points of D). More generally. -- Suppose X and S are smooth and f: X ~ S is a morphism. Suppose V C TX is a subsheaf of the tangent sheaf such that dfl v = 0, such that V is preserved under commutator of vector fields, and such that V is locally free. Then we can set H -- V*, and we obtain 8 and y satisfying the axioms 2.10.1-2.10.8. Theorem 2.11 gives a sheaf of rings of differential operators A. Most of the above examples are of this form. S. Semistable A-modules Suppose X is projective over S = Spec(C), and A is a sheaf of rings of differentia operators. A A-module ~ is of pure dimension d if the underlying d~x-coherent sheaf is of pure dimension d. The Hilbert polynomial, the rank, and the slope of o ~ are defined to be those of the underlying sheaf; we keep the same notations for these as in the previous section. A A-module 8 is p-semistable (resp. p-stable) ff it is of pure dimension, and if for any sub-A-module ~'C ~ with 0 < r(~-) < r(~), there exists an N such that n) p(#, n) --4 -- r( #) (resp. <) for n i> N. A A-module ~ is ~t-semistable (resp. ~-stable) if it is of pure dimension and if for any sub-A-module ~176 ~ with 0< r(ff) < r(8), we have ~t(~') ~< ~z(g) (resp. <). These definitions are the same as in the previous section, except that we only consider subsheaves ~ preserved by the action of A. As before, p-semistability implies ~-semistability, whereas ~-stability implies p-stability. Fix the dimension d of support of sheaves we are considering. If ~- is a sheaf supported in dimension d, let ~o, denote the subsheaf of sections supported in dimen- sion ~< d- 1. It is a coherent subsheaf, itself supported in dimension d- 1. If 8 is a sheaf of pure dimension d on X, and if r is a subsheaf, define its saturation r to be the inverse image in 8 of the subsheaf (#/r C 8/r MODULI OF REPRESENTATIONS. I 89 If o~- is a A-module, then O~to , is a sub-A-module. If 8 is a A-module and r C 8 is a sub-A-module, then the saturation r is also preserved by A. To see this, note that (8[r r) is a A-module, the subsheaf (d'/C/')to, is preserved by A, the quotient by this subsheaf is a A-module, and the kernel of the map from g to this quotient is a sub- A-module. This kernel is r The rank stays the same, and the slope and normalized Hilbert polynomial can only increase upon going to the saturation, so in the definitions of semistability and stability it suffices to consider saturated subsheaves. Lemma 3.1. -- Suppose d ~ is a A-module on X over Spec(C). There is a unique filtration (called the p-Harder-Narasimhan filtration) by submodules preserved by A, 0 = gocglc.., cgk= g such that the quotients +Y+[~++_+ are p-semistable A-modules, of pure dimension d, with strictly decreasing normalized Hilbert polynomials. Proof. -- The construction is the same as in the well known case of vector bundles. The set of possible slopes of subsheaves of ~ is bounded above, so in particular the set of slopes of subsheaves preserved by A is bounded above. Let ~t be the largest such slope. Then, by Proposition 1.8, the set of saturated subsheaves with slope ~1 is bounded. In particular, the set of possible normalized Hilbert polynomials of such subsheaves is finite. Let Pl be the largest normalized Hilbert polynomial (in the lexicographic order by highest coefficient first) of a sub-A-module of ~ with slope ~l. If fCl and fr are saturated subsheaves with normalized Hilbert polynomial Pl then they are both p-semi- stable. Hence the kernel of the map into d' is a subsheaf of ~1 | ~2 of normalized Hilbert polynomial less than or equal to Pa. Thus the image, equal to the sum of fr and fr has normalized Hilbert polynomial greater than or equal to pt---and by maximality of pl, it is equal. This image is saturated, otherwise the saturation would be a subsheaf with larger normalized Hilbert polynomial. By repeating this construction, we may find a saturated subsheaf ff of maximal rank among those which are preserved by V and have maximal normalized Hilbert polynomial Pl. This is the first step in the p-Harder- Narasimhan filtration; and the rest of the filtration may be constructed inductively by starting again with the quotient ~[fr [] There is a similar ~-Harder-Narasimhanfiltration where the quotients are ~-semistable with strictly decreasing slopes. The construction is the same as the previous one (except that one must take the saturation of each subsheaf constructed along the way). The category ofp-semistable A-modules of given normalized Hilbert polynomial P0 is abelian. This is because all morphisms between such objects are strict: givenf: ~" -+ ~, the image must have normalized Hilbert polynomial at once >t P0 and ~< P0, hence equal to p0--and the same for the saturation of the image--but then the image and its satu- ration, having the same Hilbert polynomial, must be equal. The cokernel and kernel off are torsion-free A-modules with normalized Hilbert polynomial P0. 12 90 CARLOS T. SIMPSON If g is a p-stable A-module, then End(g) consists only of scalars. To prove this, note that all endomorphisms of g except zero are automorphisms. For if re End(g), then the image off is a subsheaf preserved by A of normalized Hilbert polynomial P0; by stability, the image is either zero or all of 6". If the image is all of g, then the rank of the kernel is equal to zero (by additivity of Hilbert polynomials in exact sequences), so f is an automorphism. Therefore End(g) is a division algebra. But the only division algebra finite over C is C itself, so End(6 ~) consists entirely of scalars. Jordan equivalence Suppose that g is a p-semistable A-module. Then there exists a unique filtration by saturated subsheaves preserved by the operators, such that the quotients are direct sums of p-stable A-modules with the same normalized Hilbert polynomials. To construct the first step in the filtration, suppose there are two submodules which are direct sums of p-stable A-modules of the appropriate normalized Hi/bert polynomial. The direct sum of the two is a semisimple object in the abelian category ofp-semistable A-modules, so their sum inside g (which is a quotient of the direct sum) is also semisimple, i.e. a direct sum of p-stable A-modules of the correct normalized Hilbert polynomial. Hence there is a maximal possible first step of the filtration; take that and proceed inductively to construct the rest of the filtration. Define gr(g) to be the direct sum of the quotients in this filtration. Say that two p-semistable A-modules gx and d' 2 are Jordan equivalent ff gr(gx) -~ gr(gz). Boundedness We will apply the boundedness results of the previous section to show that the set of Vt-semistable A-modules with a given Hilbert polynomial is bounded. We first give some preparatory lemmas which will be useful later on, too. Lemma 3.2. -- Suppose g is a A-module, of pure dimension d and rank r on X. Suppose o~ C g is any subsheaf, not necessarily preserved by A. Let ~ C g be the saturation of the image of the morphism A~ | ~" -> g" Then ~ is a subsheaf preserved by A. Proof. -- Let 8i denote the image of A, |162 5 in g. Let o~ ~ denote its saturation. Let r e be the rank of 6"~ (also equal to the rank of o~, *). We have r, + 1/> r,, and 0 ~< r, ~< r. Hence, there is an i in the interval 0 ~< i ~< r such that r, = r,+ 1. In particular, the Hi/bert polynomials of o~, t and o~,+tl have the same leading coefficient. This implies that the quotient ~1/o~, t is supported in dimension ~< d- 1. But this quotient is a subsheaf of g/6~ ~, and the fact that ~t is saturated implies that 8/0~, t has no nonzero sections supported in dimension ~< d- 1. Thus o~,~i = 6~ t. Now, since As +1 = A1.A,, the image of A x |162 8~ is contained in 8,+ 1. In particular, the image of A x @r 6", is contained in o~, t. Suppose u is a section of o~, t over an open set U, MODULI OF REPRESENTATIONS. I 91 and suppose ~, cAI(U ). Let U'C U be the complement of the support of (giSt)tot (so it is the complement of a subset of dimension ~< d -- 1). Then u Iv' is a section of 8i, so Zu Iv' is a section of g~t. Thus ~u projects to a section of g[~t supported on U -- U', in other words supported in dimension ~< d- 1. As ~t is saturated, this implies that Zu projects to zero in g/e'~ t, in other words ~,u ~ d~i ~(U). We have shown that d~ t is preserved by A 1. Corollary 2.9 implies that it is preserved by A, so in particular all of the gj are contained in d~ t. As g~C g,, this implies that ~t = ~t. Thus ~t, which is the sheaf called ff in the statement of the lemma, is preserved by A. [] Lemma 3.3. -- Let m denote a number such that Grl(A)| 0x(m) is generated by global sections. Then for any ~-semistable A-module g of pure dimension d and rank r, and any subsheaf ~" C g (not necessarily preserved by A), we have ~(~') <<. ~t( g) q- mr. In other words, ~t(~') ~ ~t( g) is bounded above in a way depending only on r and A. Proof. -- We may assume that ~ C g is the first step in the ~t-Harder-Narashiman filtration of g, in particular that o~" is ~t-semistable. Let g~ be the image of A, | ~- in g. Let fr be the saturation of g,; by the previous lemma, ff is a sub-A-module. By the assumption of ~t-semistability, ~(~) ~< ~(g). The slope increases when taking the saturation, so we have We have surjections of coherent sheaves Grl(A) |162 (C/g,_,) g,+,/C --" 0, and this tensor product is a tensor product of 0x-modules where the left and fight structures coincide. As m is chosen so that Grl(A)| 0x(m) is generated by global sections, we obtain a finite dimensional C-vector space A and a surjection A| (e, IC_,) | m) -+ Let ~ be the smallest slope of any quotient 0x-module of g~. Note that we may assume that this quotient .~, is a ~-semistable sheaf of slope ~,. The quotient .~,+ 1 of g~ + either has a nontrivial subsheaf which is a quotient of g,, in which case ~, ~< ~, + ~, or is a quotient of A@ c (gi/g~--l)| 0X(--m), in which case #,- m~ ~,+:. Since go = ~" is a ~t-semistable sheaf, we have #0 = tx(~-) 9 The inequalities above give 0~v/> 0~ 0 -- rm. On the other hand, ~ = f#, so Lemma 3.2 and the condition that g is a Ix-semistable A-module imply that ~t(&) ~< Ix(g). We conclude that fz('~') = ~o <<. lz( g) Jr- mr. This proves the lemma. [] 92 CARLOS T. SIMPSON Corollary 3.4. -- The set of ~t-semistable A-modules on X with a given I-[ilbert polynomial P is bounded. Proof. -- Together with the above lemma, Theorem 1.1 immediately implies that the set of sheaves of 0x-modules underlying ~t-semistable A-modules with Hilbert poly- nomial P, is bounded. To complete the proof, it suffices to note that the structure of A-module of d' is determined by the morphism A 1 | d' ~ d'. As d' runs through a bounded family, the family of such morphisms is bounded. [] The relative case Suppose now that S is a scheme of fiuite type over Spec(C), that X -+ S is projective (with fixed relatively very ample Ox(1)) , and that A is a sheaf of rings of differential operators on X over S. For each geometric point s ~S (with s--Spec(C)), let X s = X � s s and let A s be the sheaf of rings of differential operators on X s obtained by base change (Lemmas 2.5 and 2.6). A A-module 8 on X is p-semistabte (resp. v-semistable, p-stable, or ~-stable) if 8 is flat over S, and if the restrictions 8 s to the geometric fibers Xs are of pure dimension d and p-semistable (resp. ~-semistable, p-stable or ~-stable) As-modules, all with the same Hilbert polynomials (this last condition is inserted in case S is not connected). Proposition 3.5. -- The set of ~t-semistable A,-modules on geometric fibers X s with a given Hilbert polynomial P is bounded. Proof. ~ Apply Theorem 1.1 as in Corollary 1.6, using the bound given by Lemma 3.3. We just have to verify that the same number m works for all geometric points of S. We claim that Grl(As) is a quotient of the fiber Grl(A ) |162 0," For this it suffices to work in an affine open subset (keeping the notations of 2.3, S = Spec(A), X = Spec(B), and A corresponds to L). Let C s denote the field of complex numbers considered as an A-algebra corresponding to the point s, and let M----L | Cs. We have surjections Li | Cs ~ M~ and hence (L1]L0)| Cs ~ M1/M0. Thus Grl(M ) is a quotient of Grl(L ) | Cs, the claimed statement. Continuing with the proof of the proposition, in order to have Grl(As) (m) generated by global sections, it suffices to have Grl(A ) (m) |162 Cs generated by global sections. Since S is of finite type over C and Grl(A ) is a coherent sheaf on X, there exists such an m. This shows that m may be choosen uniformly for all geometric fibers. [] Corollary 3.6. -- There is a number N o depending on A and P such that for any N I> No, any S' ~ S, and any ~t-semistable A-module g with I-[ilbert polynomial P on X' = X � s S', MODULI OF REPRESENTATIONS. I 93 we ha~e that H'(X'/S', = o for i> O, H~ ', g(N)) is locally free of rank P(N) on S', formation of H~ ', g(N)) commutes with further base change, and the map H~ ', d~(N)) %,, 0x(-- N) -+ g ~ 0 is surjective. Proof. ~ By the boundedness established above, this is an immediate consequence of Lemma 1.9. [] Lemma 3.7. -- Suppose that 8 is a A-module on X, flat over S. There is an open subset U C S such that for any geometric point s -+ S the restriction g, is ~-semistable (resp. v-stable, p-semistable, or p-stable) if and only if s e U. Proof. -- We use a method which U. Bhosle has attributed to Ramanan. Let ~0 = ~(8,) (we may assume that S is connected, so these slopes are independent of s). By Proposition 1.8 the set of Hilbert polynomials of quotients of restrictions g~ -+ ff, -+ 0 with ~(~r ~< ~0 and ~r of pure dimension d, is finite. Let Z denote the set of such polynomials corresponding to quotients with ~(ff,)< ~o (resp. ~(~,)~ V0 or the appropriate inequalities for normalized Hilbert polynomials). For q e Z, let H~-+ S denote the Hilbert scheme of quotients flat with Hilbert polynomials q over the base. There is a universal quotient ~* on X xsH~; let denote the kernel. For any H~-scheme S' ---> H~ we can pull back to obtain an exact sequence 0 --> ~" ---> r -+ ~' ~ 0 of 0x,-modules on X' = X � s S'. The middle term is the A'-module obtained by base change from ~'. Let (Ax)' denote the pullback ofA I to X'; recall that A' 1C A' is a quotient of (Ax)'. From the A'-module structure of ~' we obtain a morphism a(S') : (Ax)' | ~" --~ fr and ~' is a quotient A'-module if and only if this morphism is zero. However, this morphism is pulled back from a universal morphism a '~" : (A~) ~" | ~" _> ~', over H~. Since ~"~* is flat over H~, the condition on S' --> H~ that the morphism a(S') is zero, is represented by a closed subscheme Z~C H~ (see the proof of Theorem 3.8 94 CARLOS T. SIMPSON below). Let D C S denote the union over the finite set of q E Y, of the images of Zq in S. The Hilbert schemes H~ are proper over S, so images of the closed subsets Z~ are closed in S. Thus D is closed in S. The open subset U = S -- D is the one required by the lemma. Suppose s ~ S is a geometric point such that g8 is not ~-semistable (resp. not ~-stable, not p-semistable, or not p-stable). Then there exists a quotient 8 8 ~ if8 of As-modules contradicting (semi)-stability. As discussed above, we may suppose that fr is of pure dimension d (in other words, the kernel ~'8 is saturated). Hence the Hilbert polynomial of fr is one of the q e ~. The quotient fr corresponds to a point in one of the Hilbert schemes Hq. This point lies in the subset Z~ because if8 is a quotient A-module. Hence the image of the geometric point s is contained in D C S. Conversely if s ~ D is a geometric point in D then it can be lifted to a geometric point of some Z,. We obtain a quotient A,-module fr of d~8 whose Hilbert polynomial is of a nature to contradict (semi)- stability. This proves that the points of D are exactly those not satisfying our condition for inclusion in U. [] A parametrizing scheme for p-semlstable A-modules Theorem 3.8. -- Fix a polynomial P, and let N >I N o for the N o given by Corollary 3.6. The functor which associates to each S-scheme S' the set of isomorphism classes of pairs ( g, ~), where ~ is a p-semistable A-module with Hilbert polynomial P on X' ---- X � s S', and : (Os,) ~'m -~ Ho(x'/s ', o~ is representable by a quasiprojective scheme Q over S. For any k >>. 1, the morphism from Q to the Hilbert scheme of quotients of A k | Ox(N) P~m with Itilbert polynomial P, given by the A-module structure of the universal object ~lv, is a locally closed embedding. Proof. -- Before beginning the proof, we make a general remark. Suppose S' is an S-scheme of finite type, and E and F are coherent sheaves of Ox,-modules on X'. Suppose that E is flat over S' (but F need not be flat). Suppose that ~ : F --> E is a mor- phism of coherent sheaves. Then there is a closed subscheme T C S' such that for any f : S" --> S', f*(~) = 0 as a morphism of sheaves on X" = X' x s' S" if and only if ffactors through f: S" -+ T. To prove this we may choose a surjection Ox'(-- m) * --> F ---> 0 with m >> 0. This remains a surjection when pulled back to X". One is reduced to the case where F = Ox'(-- m) k. A morphism to E is then just a k-tuple of sections of E(m). For m big enough, the direct image of E(m) is locally free on S' and compatible with all base-changes. The subscheme is then just the intersection of the subschemes defined by the corresponding sections of this locally free direct image. Fix N t> N o as in Corollary 3.6. Let Q 1 ~ S be the Hilbert scheme of quotients A, %, N) r 0 MODULI OF REPRESENTATIONS. I with Hilbert polynomial p. For each S-scheme f: S' ---> S, the set QI(S') of morphisms e : S' ~ Q1 over S is equal to the set of isomorphism classes of quotients :f*(a, Qcx 0x(- N) P(s)) -+ d" ~ 0 on X'/S' such that 8 is fiat over S', and for each s e S', the Hilbert polynomial of 8, is p. Given e we denote the corresponding quotient by @. We have a morphism r P(s) -~Ak|162 0x(--N) Pcm, and if f: S'--> S we obtain d)x, (- N) e`m -+f*(h, |162 ex(-- N)e's') 9 If e e QI(S') we say that e satisfies condition Q2 if the composed map 0x'(-- N) P`N) -~f*(A0 |162 0x(-- N) P(N,) -> d~ is surjective, and for each closed point s ~ S', the resulting map E P(m --> H~ 88(N)) is injective. There exists a unique open subscheme Q~ c Q1 representing this condition, in other words, such that e ~ Q2(S') if and only if e satisfies condition Q2. If f: S' -~ S then each f*(Aj) has a structure of right 0x,-module , and we have f*(h~ |162 d)x(-- N) P(N)) ~-f*(A~)|162 0x, (- N) P(m. Note also that there are natural maps f*(Aj) -->f*(Ak) compatible with the left and right (Px,-module structures, for j < k. Suppose e e Q,(S'). For any j ~< k we obtain a map f*(i~) . d)x, (- N) P'N) --> g~. Let ~ denote the kernel 0 -+ ~ --> r N) e`m -+ --> 0. We say that e satisfies condition O3 if the map obtained from the previous ones by com- position, ~, :f*(hx) |162 ~ ~ d ~, is zero. We daim that there exists a closed subscheme Q.ac Q~. such that e e Qa(S') if and only if e satisfies Q.3. To see this, note that ~ is the pullback of a uni- versal kernel ~" over X � s Q.=. Letf~" : 0--.= -+ S denote the projection. Then if(A,) | ~ = e*((f~) * (h~) | ~') and ~, ---- e*(~b ~') where is a morphism to the universal quotient ~* over X � Q,. Note that o '~" is flat over Q,. Our general discussion from the start of the proof applies: there is a closed 96 CARLOS T. SIMPSON subscheme Q3CQ2 such that for e eQ2(S' ) we have e*(+ ~tv) =0 if and only if e e For e s Q3(S'), the morphism f*(A1) |162 d~x'(-- N) P'~' ~ g factors through a morphism f*(Ax) | 8 -+ d', and this factorization is the pullback of a universal one on 03. For any j we obtain a morphism ~j :f*(A1) Nex .... Ncx, f*(A1) Nex, o a -+ d*. Let ~fj denote the kernel of the surjection A1Qcx .-. | -+A~ -+0. Note that ~ is a left and right ~Px-module, and one can form the base changes f*(a~f~) which will be left and right 0x,-modules, in the same way as described in the previous section. The general properties of interchanging things in tensor products imply that f*(A1) |162 "'" Nex, f*(A1) =f*(A1 |162 "-" | A~). For any f: S' ~ S there is an exact sequence f*(~j) ~-f*(A~) |162 ""|162 f*(A~) ~f*(A~) ~ 0. Say that e satisfies condition Q4(j) if the composition ~, vj :f*(~f',) |162 g ~ ~' is equal to zero. Again, this morphism is pulled back from a universal one over Q.s, and the universal d ~v is fiat over Q.a, so there are closed subscheme Q.4,jc Q.3 such that e ~ Q4, J if and only if e satisfies condition Q.4(j). Let Q.~, oo denote the intersection of all of these closed subschemes in Q.3. As S is noetherian and Q.3 is quasiprojective over S, Qa is noetherian. Thus Q.4,o~ is again a closed subscheme, and we have e e Q.~, o~(S') if and only if e satisfies all of the conditions Q4(j). Suppose e ~ Q4, oo(S'). We obtain factorizations f*(A1) |162 .... |162 f*(A~) |162 8 -+f*(A~) | d" ---> d ~. The resulting morphisms are compatible with the morphisms f*(Aj) -+f*(A~) MODULI OF REPRESENTATIONS. I 97 for i 1> j. Recall that A~ is the image off*(A~) in if(A). The compatibility for all i/> j implies that the morphisms r factor through morphisms 9; : A;Q~x, d' -+6 ~, which are compatible as j varies, to give q~' :A'| , 6"-->0 ~. In the case of the q0~ and 9', note that these are no longer obtained by pullback from a universal example over 04 ' oo- From the fact that our morphisms were defined by combining several times the morphism f*(A1)| 8 ~ N, we obtain a compatibility: the two morphisms f*(A3 |162 f*(A~) | d' -+ o a, the first one obtained by multiplying intof*(A~+ ~) first and then acting on g, the second obtained by acting successively on d ~, are equal. The same holds for the two maps so we obtain an action of A' on 8. Let AQI, r176 denote the base change of A via Q4,~o --> S. The universal ~ over X � s Q4, ~ is a A%, ~ -module. If e e Q4, ~ then the A'-module structure of the resulting g~ is obtained by base change from the A%, ~ -module structure of ~'. Finally, suppose e e Q4, oo(S'). Say that e satisfies condition Q5 if the morphism ~' :f*(Ak) |162 r N) P'z~' -+ d' obtained from the A'-module structure is equal to the original morphism ~ obtained from the inclusion e ~ QI(S') in the Hilbert scheme. This condition is again of the form that the pullback of a map is equal to zero, because the morphism ~' is pulled back from a universal example over Q,, co- Thus there is a closed subset 05 C Q,, ~o such that e satisfies condition Q5 if and only if e ~ Qs(S'). If we denote by A% the base change of A via g : Q5 -+ S, then the universal ~v on X � s O~5 has a structure of AQs-module, and the morphism : oQ5(- N) coming from the map to the Hilbert scheme Q 1 is also given by the A%-module structure of o "~*. Suppose e E Qs(S'). We say that e is semistable if the corresponding A'-module 8 restricts to p-semistable A,-modules N8 on the fibers over closed points s e S'. According to Lemma 3.7, there is an open subset Qc Q5 such that e is semistable if and only if e e Q(S'). This will be the parameter scheme required for the theorem. 13 98 CARLOS T. SIMPSON Let A Q denote the base-change of A to Q via Q.-+ S, and let 8 Q denote the universal AQ-module on Q. We have a natural morphism aQ : (r --> H~ Xs Q/Q, gQ(N)). Since the restrictions of o z to fibers over closed points are semistable, Corollary 3.6 applies: the relative H~ � s Q/Q, ~Q(N)) is locally free of rank P(N) and compatible with all base changes. Condition Q2 implies that ~Q is injecfive on the fibers over closed points s ~ Q. Thus ~s is an isomorphism. We obtain a universal object (o zQ, a s) over Q, giving rise to the same type of object (o ~, r162 under any base change e : S' --> Q. Suppose f: S' -+ S is an S-scheme of finite type, and suppose (g, e) is a pair of the type envisioned in the statement of the theorem. By Corollary 3.6, the morphism 0r induces a surjection 0x, (- N) P~' -+ ~ -+ 0, and the A'-module structure of @ induces a map f*(A,) | 0x'(-- N) P'm -+ g, so we obtain a point e ~ Qx(S'). It is evident that e ~ Q(S'). The pullback e*(d 's, 0r s) is isomorphic to (g, ~). We obtain maps in both directions between the functor considered in the theorem and the functor S' ~-, Q(S'). The fact that e*(6 'Q, a s) - (@, ~) means that one of the compositions is the identity. On the other hand, if e ~ Q.(S') then the construction of the previous paragraph, applied to e*(6", cr gives back e. This isomorphism of functors completes the proof that Q is the desired parameter scheme. We obtain a single morphism from O into the Hilbert scheme Q l: the morphism obtained in a natural way from (o ~s, aQ) is the same as the inclusion O COx obtained from the construction of Q. By construction, this is a locally closed embedding. This completes the proof of the theorem. [] 4. Invariant theory for A-modules Let X --> S be a projective morphism, and A a sheaf of rings of differential operators on X over S. In this section we will construct moduli spaces for p-sernistable A-modules with a fixed Hilbert polynomial. Lemma 4.1. -- There is an integer B depending on A, r, and d, such that if o a is a ~-semistable A-module of pure dimension d and rank r on a fiber X,, then o if + k + B <. 0 h~176 r(vt(g ) +k + B)ald! if ~(@) +k + B>>. 0 for any k. 99 MODULI OF REPRESENTATIONS. I Proof. -- Let 0 = .~oc ~c ... c.~j = ~' denote the ~-Harder-Narasimhan filtration for the sheaf 8 (not the A-module!). Let N~ -= ~[~-1 denote the quotients; they are ~-semistable sheaves of pure dimension d. Let ~ = ~(N~) and q = r(fgi). By Lemma 3.3, there is a number b depending only on r and A such that ~< ~(d') + b. By Corollary 1.7, there is a number Bo such that 0 if ~+k+B o~<0 h~ fC,(k)) <. r,(~, + k + Bo)a/d! if ~, + k + B o >/ O. On the other hand, ho(x,, <. Z h~ $=1 Setting B = B o + b, we obtain the desired estimate (since r = Y,r,). [] Lemma 4.9,. __ There exists N o depending on A and P such that for all N/> No, the following is true. Suppose 8 is a p-semistable A-module with Hilbert polynomial P on a fiber X,. Then for all sub-A-modules ~" C 8, we have h~ P(N) r(#') r(g ~) and if equality holds then p(o~, m) P(m) r(oqv) r(g) for all m. Proof. -- The same as the proof of Lemma 1.8, but refering to the previous lemma in place of Corollary 1.7. [] Fix a polynomial P and let r denote the corresponding rank. Fix N as required by this lemma and Corollary 3.6, so as to work for all p-semistable A-modules of rank less than or equal to r and normalized Hilbert polynomials equal to P/r, on fibers X 8. Let Q.---> S denote the parameter scheme constructed in Theorem 3.8. We would like to construct a universal categorical quotient of Q by the action of SI(p(N)). Let ~ = A, |162 Ox(-- N), and let V = C P(m. Theorem 3.8 gives a locally closed embedding Qc I-Iilb(#"| V, P). Let s denote the line bundle on ttilb(W'| V, P) corresponding to the projective embedding d/,~ described in the paragraphs before Lemma 1.15. Lemma 4.3. -- There is an M such that for any m >>. M, the subscheme Q c Hilb(W'| V, P) is contained in the set I'Iilb ~' "( W" | V, P) of semistable points of Q relative to the line bundle ~',~. 100 CARLOS T. SIMPSON Proof. -- Since Q is noetherian, it suffices to fix a closed point q and find M so that q ~ I-BIb"'(zc/P| V, P) for m >/ M. Let s e S be the image of q, and restrict everything to X, for the rest of the proof. Suppose ~| V-+ 8-+ 0 is the quotient represented by q ~ Q. We apply the criterion of Lemma 1.15. Suppose H C V. Let ~" be the subsheaf of 8 generated by ~| H, and let ff be the saturation of ~-. By the construction of Q, ~ is the saturation of the image of the morphism A r @ox 3f~ -+ 8 where ~ is the image of the map 0x(-- N) @ H -+ 8. By Lemma 3.2, fr is a sub- A-module of 8. Apply Lemma 4.2 to if, using the hypothesis that ~ is p-semistable. Since V ~ H~ we have HC H~ C H~ We find that dim(H) h~ P(N) r(ff~ ~< r(ff) <~ r( ~----~" Note that r(~ z') = r(ff) and dim(V) = P(N). There are two cases, depending on whether there is inequality or equality between the first and last entries. Suppose that inequality holds, dim(H) < P(N) r(r The set of possibilities for H is bounded, so the set of possibilities for ~" is bounded. Thus we may choose M large enough so that for m/> M, p (o~', m) is approximated by r(~') m a (up to a bounded multiple of ma-X). The same may be assumed for P(m). So in this case of inequality, for m/> M, dim(H) < P(N) p(~', m) p(#, m)" Thus the criterion of Lemma 1.15 for semistability in the Hilbert scheme holds. Suppose instead that we have equality, dim(H) P(N) de)" By Lemma 4.2, this implies that p(f~, ra)/r(fr = P(ra)/r(g) for all m. Thus fr is itself a p-semistable A-module with the same normalized Hilbert polynomial as d'. By our choice of N, ~(N) is generated by global sections. Equality also implies that H = H~ H~ Therefore o~-= fr and since the normalized Hilbert polynomials of ~" and 8 are equal, we get dim(H) P(N) p(~-, m) P(m) for all m. So the criterion of Lemma 1.15 is satisfied in the case of equality too. This shows that for m >/ M, q ~ I-Iilb ~''"(~ | V, P). [] MODULI OF REPRESENTATIONS. I I01 For the rest of the argument, fix an m so that we get a map Q-+ | v, v)/Sl(V). We want to show that its image is a locally closed subset representing a good quotient of 0 by SI(V). Lemma 4.4. -- The closure in I'tilb~'~(W'| V, P) of any Sl(V)-orbit in Q is itself contained in Q. Proof. ~ Suppose a is a point in 02. , corresponding to a point a:W'| oa ~0 of I'lilb~"~(W'@ V, P). Suppose b : W'@V --~ o~' -+ 0 is a point in the closure of the orbit of a. By the argument described in the remark after Lemma 1.25, we may assume that there is a one-parameter subgroup q~ : G,~ -+ SI(V) such that b = lim,_~ 0 ~(t)a. Now apply the discussion of limit points of C~ orbits. There is a filtration F. of V and an isomorphism V ~ GI~.(V) coming from the one parameter subgroup, ~(t) acting on G~(V) by t ~. This induces a filtration ~ = a(~| on o ~. The previous discussion shows that o ~'-- Gr. ~, and the quotient map b is equal to the associated-graded of a. Define a new filtration of d' by letting Jr be the saturation of ~'a. By Lemma 3.2, ~ are sub-A-modules of 8. Let ~ be the image of Gr~ in Gr~ e. Let p~: o~'-+ Grf be the composition of the natural map Gr~. -+ Gr~ e with the projection on the ~th factor. Note that Grf is a A-module. The map #~ | G~ V ~ Grf is a subquotient of the map a, so it is compatible with the action of A on the right and the partial action of A on the right. Therefore the composed map p~b : ~r174 V -~Gr~ r is given by the splitting V-~ G~ V, the map G~ V -~ H~ and the action of A. Let U~C V be the kernel of the map V ~ H~ induced by p~ b. In parti- cular, dim(U~)/> P(N) -- h~ Let ~ C ~' denote the subsheaf generated by q#'| U~. This subsheaf maps to zero in Gr~ e, hence it maps to zero in f#~. Thus r(~e~o)~< r(d")--r(~). We are assuming that b is in I-Iilb~'~(W'| so by Lemma 1.16 we have dim(U~) P(N) r(%) r(e) 102 CARLOS T. SIMPSON Comparing this with the previous inequalities gives h~ P(N) r(8) Similarly, by applying Lemma 1.16 to the kernel of the map V -~ H~ ff~(N)) induced by the quotient (~ pa b, we find that this kernel is zero. Therefore the map V ~ H~ is injective. Now we claim that each ~g'~ is a p-semistable sub-A-module of 8 with normalized Hilbert polynomial equal to the normalized Hi/bert polynomial of 8. We prove this by induction on ~. Note that the filtration ~ is decreasing. Suppose that this claim is known for ~ + 1- Then 8/~ + 1 is a p-semistable A-module with the appropriate normalized Hilbert polynomial, of rank less than or equal to r(8), and Gr~ C 8[,~td~+l. By our choice of N, Lemma 4.2 applies: h~ Gr'~ (N) ) P(N) r(Grf)-- ~< r(8---~' and if equality holds then Gr~ r has the same normalized Hilbert polynomial as 8. But ~ C Gr~ r, and the ranks are the same since the quotient Gr~/ff~ is supported in dimen- sion d- 1. The inequality of the previous paragraph shows that equality holds here, and furthermore H~ = H~ Therefore Gr~ r has the same normalized Hilbert polynomial as 8 and 8/9ff~ + 1. Since Gr~ r is a sub-A-module of 8[W~ + 1, it is p-semistable. This in turn implies that ~ is p-semistable with the required normalized Hi/bert polynomial, completing the inductive proof of the claim. By our choice of N, all of the sheaves Grit(N) are generated by global sections. The incidental fact from the previous paragraph, that H~ H~ implies that ff~ = Gr~ r. Thus Gr. ~ ~ Gr. ~ is surjective. This implies that ~'~ = 9F~ (one shows by induction on ~ that ~-~ --> 9ff~ is surjective). Therefore the ~'~ are p-semi- stable sub-A-modules of 8 with the appropriate normalized Hi/bert polynomial. The associated-graded 8'=-Gr~ is a p-semistable A-module with the normalized Hilbert polynomial of 8. The map r r | V --> Gr~ is compatible with A (it is obtained as the associated-graded of the map a, through a splitting of the filtration on V which does not affect the A structure), but this map is the same as the map b via Gr~ e -- 8'. Thus the map b is compatible with the A-module structure of 8'. Finally, by our choice of N, we have h~ = P(N) = dim(V), so the injection V c-~-H~ is an isomor- phism. And 8"(N) is generated by global sections, so b restricts to a surjection ho| $x(-- N) | -+8'-+0. Therefore b represents a point in the subscheme Q. This proves the lemma. [] MODULI OF REPRESENTATIONS. I Lemma 4.5. -- Let ~ : I-l[ilb~"(~/'| V, P) -+I-Iilb~"'~(q/PN V, P)/SI(V) denote the good quotient given by [Mu]. The image ~(Q.) is a locally closed subset. Proof. ~ The proofs of Theorems 1.1 and 1.10 in Mumford's book [Mu] imply that ff B C I'Iilb""(~ | V, P) is a closed Sl(V)-invariant subset, then ~?(B) is closed. In our situation, let Q. denote the closure of Q in I'Iilb ~"''~(q//" | V, P). Note that Q and 0_ are Sl(V)-invariant. Thus the image ~((~) is closed. Let B = 0.. -- Q. It is closed and Sl(V)-invariant, so q~(B) is closed. We claim that = - Note that the right side is certainly contained in the left. To prove equality, suppose to the contrary that there were closed points a ~ Q and b ~ B such that q)(a) ---- 9(b). Let O(a) and O(b) denote the orbits of a and b respectively. One of the properties of the quotient q) is that two closed points in I-I{lb"'~(Y/" | V, P) have the same image if and only if the closures of their orbits intersect. Thus O(a) n O(b) 4, O. On the other hand, B is closed, so O(b) C B, and the previous lemma stated exactly that O(a) C Q. But B is the complement of Q, so this is a contradiction. This completes the proof that q~(Q) = q~((~) -- ~(B). Therefore the image ofQis a locally closed subset. [] Corollary 4.6. -- With respect to the induced line bundle 0o~,, I~, all of the points of Q are semistable. The image co(Q.) has a structure of locally closed subscheme such that Q-+ ~?(Q) is the good quotient given by [Mu]. Proof. -- Let A denote the inverse image in ttllb~"~(qC@ V, P) of q~(Q). The map A ~ QJSI(V) is an affine map representing a universal categorical quotient. If O were not a closed subset of A, then A would intersect the subset B refered to in the previous proof, and this would contradict that proof's assertion that q~(B) does not meet ~(Q). Therefore Q is closed in A. This implies that ~ : Q -4 q~(Q) is an affine map. There is a line bundle which we also denote by -Wm on the quotient Itilb~,"(qg'| P)/SI(V), which pulls back to .o~v,, on I-Iilb"m(~F'NV, P). For any point q ~Q, there is a section u of 0~* on the quotient I-Iilb~"(~| P)/SI(V) such that u does not vanish at q~(q), and such that the subset where u + 0 is affine. We may also assume that u vanishes on the closed set ~(B). Therefore the subset of ~(Q) where u + 0 is a closed (hence affine) subset of the whole affine set where u 4= 0. Since q~ is affine, this implies that the subset of Q where u 4= 0 is an affine subset. By definition then, every point q of Q is semistable with respect to the line bundle .W,,. Thus a universal categorical quotient of O by SI(V) exists, with the properties described in [Mu]. We get a map from this quotient to I-Iilb ~' "(qr @ V, P)/SI(V). On the affine open subsets defined by sections of the line bundle such as described above, suppose f is a function 104 CARLOS T. SIMPSON on the affine subset of Q., invariant under SI(V). Then since SI(V) is reductive, we can lift this to an invariant function f on the affine subset of Hilb ~''~(W" | V, P). This then descends to a function on Hilb~"(W'| This shows that the functions on the quotient of Q come from functions on open subsets of Hilb~"(~| V, P)/SI(V). Therefore the quotient of O is included as a locally closed subscheme of Hilb ~'"(#" | V, P)/SI(V). [] Let M~(A, P) denote the functor of schemes over S which associates to S' -+ S the set of isomorphism classes of p-semistable A'-modules on X' over S' with Hilbert polynomial P. Theorem 4.7. -- Let M(A, P) = Q/SI(V) be the good quotient. There is a morphism of functors q~ : M~(A, P) ~ M(A, P) such that (M(A, P), ~) universally corepresents the functor M~(A, P). The following properties are satisfied. (1) M(A, P) is a quasiprojective variety. (2) The geometric points of M(A, P) represent the equivalence classes of p-semistable A-modules with Hilbert polynomial P on fibers X,, under the relation of Jordan equivalence (~'1 "~ ~ /f gr(~'l) = gr(~'~)). The equivalence class of a A-module ~ on X~ corresponds to the point ~(~') in the fiber Of M(A, P) over s ~ S. (3) The closed orbits in 0 are exactly those corresponding to semisimple objects, ~ with gr(~ z-) _-__ ~-. (4) There is an open subset Ms(A, P)C M(A, P) whose points represent isomorphism classes of p-stable A-modules. Locally in the gtale topology on MS(A, P) there is a universal A-module o~ ~i~ such that if ~" is an element of M~(A, P) (S') whose fibers o~'~ are stable, then the pull-back of ~um~ via S' ~ M~(A, P) is isomorphic to ~ after tensoring with the pull-back of a line bundle on S'. Proof. -- The proof is the same as the proof of Theorem 1.21. For part (1) note that the good quotients of [Mu] are quasiprojective, but our quotient will not in general be projective. Although not stated in Theorem 1.21, statement (3) here is given by the proof of statement (3) there. [] The representation spaces In this section we will rigidify the moduli functors by including the data of a frame along a section 4 : S ~ X. For this, we consider A-modules which are locally free as sheaves of 0x-modules near the section 4. We construct representation spaces which para- metrize pairs (e, ~) where 8 is a semistable A-module which is locally free along 4, and ~: ~*(~) ~ ~. These representation spaces will be fine moduli spaces, representing the appropriate functors. The terminology comes from the analogy (or correspondence, in the case of A D) with :representations of the fundamental group. We make the following hypotheses for the rest of this section. Suppose X ~ S is MODULI OF REPRESENTATIONS. I projective, flat, and has irreducible fibers. Suppose ~:S -+ X is a section. Fix a poly- nomial P of degree equal to the relative dimension d = dim(X/S). Let deg(X) be the rank of 9 x (it is the degree of the projective embedding determined by 0x(1)) , and let r be the rank corresponding to the polynomial P. Let n = r/deg(X). A sheaf of pure dimension d and rank r on a fiber X, is a torsion-free sheaf whose rank, in the usual sense, is n. Suppose ~" is a p-semistable A-module with Hilbert polynomial P on X over S. We say that ~ satisfies condition LF(~) if for every closed point s e S, gr(~',) is locally free as a sheaf of Ox-modules at ~(s). We have the following properties. 4.8.1. Suppose ~- is a p-semistable A-module on X satisfying condition LF(~). Then ~z- is locally free as a sheaf of Ox-modules along the section ~. This follows from Lemma 1.27. 4.8.2. After base change by S' ~ S, there is a section which we also denote by : S' ~ X'. The condition LF(~) or its negation are preserved by base change. 4.8.8. Suppose that ~" is a p-semistable A-module on X over S, satisfying condi- tion LF(~). Consider a closed point s ~ S. Suppose that ~ is a sub-A-module of ~', such that the normalized Hilbert polynomial of ff is the same as the normalized Hilbert polynomial of ~'~. Then ff and ~'s/ff satisfy LF(~(s)). This is because gr(ff) and gr(~-,/ff) are direct summands in gr(,,~',). 4.8.4. Let Q denote the parameter space given by Theorem 3.8. Let Q~'g~ denote the open subset of Q parametrizing A-modules ~" which are locally free along ~, and let Q"n'~ = Q.- Qn~g~ be the complementary closed subset. Both of these sets are invariant under the action of SI(V). Let Qr.F~g~ denote the subset of Q. parametrizing A-modules ~ satisfying condition LF(~). It is contained in Q~C~ by 4.8.1. Let 9:Q~M(A, P) denote the quotient of Theorem 4.7. Since condition LF(~(s)) depends only on the gr(~',), and two points q and q' in Q. map to the same point in M(A, P) if and only if gr(~'~ I~) ~ gr(~,~), there is a subset Mr~C~(A, P) C M(A, P) such that Q~cg~ = q~-l(M~FCg~(A ' p)). A pointy e M(A, P) is contained in M~gI(A, P) if and only if 9-1(2) is contained in Q.mg, (note that if the closed orbit lying overy is contained in O~ rl~ then y satisfies condition LF(~)). But the image of the closed Sl(V)-invariant subset Q, mg, by the good quotient ~ is closed [Mu]. Thus Mr~cg'(A, P) = M(A, P) -- q~(Q"~er is open. This implies that Q.~r is open, and implies that the condition LF(~) is an open condition on the base S. 4.8.5. The morphism q~: Q.r.x~r _+Mr~,~,(A, p) is a universal categorical quo- tient, and thus M~g~(A, P) universally co-represents the functor M~c~'~(A, P) which associates to an S-scheme S' the set of p-semistable A-modules o ~ on X'/S' with Hilbert polynomial P, satisfying condition LF(~). Lemma 4.9. -- Suppose that o a and ~: are p-semistable A-modules with the same normalized Hilbert polynomial on X/S, both satisfying condition LF(~). Suppose that f: g ~ ~" is an endomorphism of A-modules such that ~*(f) = O. Then f= O. 14 106 CARLOS T. SIMPSON Proof. -- First consider the case when S = Spec(C). Then ker(f) is a sub-A-module of ~' and im(f) is a sub-A-module of o~, so the normalized Hilbert polynomials of ker(f) and ira(f) are less than or equal to the normalized Hilbert polynomial of o~. The exact sequence 0 -+ ker(f) -+ oq~ --> im(f) -+ 0 implies that the normalized Hilbert polynomials of ker(f) and im(f) must be equal to the normalized Hilbert polynomial of ~'. Then gr(~-) = gr(ker(f))| and gr(g)= gr(im(f))| By condition LF, this implies that ker(f) and im(f), and coker(f) are locally free at ~(s). From the condition that ~*(f) = 0 it follows that im(f) = 0 in an open neighborhood of ~(s). Since im(f) has pure dimension d = dim(X) and X is irreducible, this implies that im(f) = 0. We now treat the general case. Suppose, in the situation of the lemma, that f 4: 0. Then by Krull's theorem, we may find a base change p : S' ~ S where S' is the spectrum of an artinian local C-algebra of finite type, such that p*(f) 4: O. We may then replace S by S'. In this way, we have reduced to the case (which we assume from now on) that S = Spec(R) with R an artinian local G-algebra of finite type. Let m denote the maximal ideal of R. We may choose k and g such that f: m k 6' ~ 5r/m ~ ~" is nonzero, but such that the maps f: m ~ + i ~, ~ ~-im ~ f: m k ~. ~ ~-/m z --1 ~* and are zero. Thus we get a nonzero map .~ : m k ~/m k + ~ 8 .--+ m ~- 1 ~-/m l ~-. The source and target are A-modules on X, and the map fk; is a morphism of A-modules on X, because K is contained in the center of A. Since 8 and ~- are flat over S, the source and target of f~; are, respectively, (8]m8) | (ink/mk+l) and (.~'/m~)| (mZ-1/mt) 9 Since R is contained in the center of A, these identifications of the source and target are compatible with the A-module structure. Thus the source and target of f~, are A-modules on X 0 = X � and f~ is a morphism. The tensor product formulas show that the source and target are actually direct sums of ~0 = ~| (R/m) and ~'0 = ~'| (R/m). In particular, the source and target offk l are p-semistable A-modules on X 0 satisfying condition /.W(~). We have ~*(f~,) = O, so the lemma applied to X 0 over Spec(C) (proved in the first paragraph) implies that fk, = O. This contradiction completes the proof. [] MODULI OF REPRESENTATIONS. I 107 The universal object o~-m- on X � s Q~r is locally free along the universal section ~ : Q*'~r -+ X x s Q~- The action of the group GI(V) on Q preserves Q~C~, and it lifts to an action on the universal object o~-~-. We obtain a locally free sheaf ~*(~'~') over Q~C~,, with action of GI(V). Let T ~ Q~r be the frame bundle of ~*(o~'~*). It is a principal Gl(n, 13)-bundle over Q~ representing the functor which associates to any S-scheme S', the set of all triples (~, ~, ~) where: o ~ is a p-semi- stable A-module with Hilbert polynomial P on X'/S', satisfying condition LF(~); : Os' | V -~ H~ ', ~'(N)); and ~ : ~*(8) -Y~ 0~,. The group GI(V) � Gl(n, 13) acts on T, compatibly with the action of GI(V) on Q~c~. The action can be defined by the action on the functor. Remark. -- The center G,, C GI(V) acts trivially on Q, because a scaling of the frame e can be removed by a scalar endomorphism of ~-. However, this no longer works when we go to the frame bundle T. Only a diagonal G,~ C GI(V) � Gl(n, 13) acts trivially. Recall that S~ denotes the very ample line bundle on Q~ induced by a pro- jective embedding t~,~. We may choose a linearization of the action of GI(V) on ~(p~b in such a way that the center G,~ acts trivially. For example, a power 5r b descends to a line bundle on the categorical quotient 1VI~r = Q*'~/SI(V). Since the map Q~r ~c~ is Gl(V)-invariant, the trivial action on ~e~ b on 1VI ~ pulls back to a linearization of ~r on Q~'~. All points of Q~C~ are semistable points for this action of GI(V). The line bundle ~b on Q~r has a linearization with respect to the group GI(V) � Gl(n), where the second factor acts trivially. Let L denote the pullback of the GI(V) � Gl(n)-linearized bundle .oq~ b to T. Theorem 4.10. -- Every point of T is stable for the action of GI(V) with respect to the linearized line bundle L, and the action of GI(V) on T is free. The resulting geometric quotient lit(A, 4, P) ~ T/GI(V) represents a functor--it parametrizes pairs (~, ~) where .~" is a p-semistable A-module on X' over S' with Itilbert polynomial t' on X' over S', satisfying condi- tion LF(~), and ~ : ~*(o~') ~ 0~, is a frame. The group Gl(n, C) acts on lit(A, 4, P), and every point is semistable for th# action (with respect to the linearized line bundle obtained from L). The good quotient ll(A, 4, P)/GI(n) is naturally equal to the moduli space M~(~(A, P). The closed orbits in R(A, 4, P) correspond to the A-modules which are direct sums of p-stable ones. The subset ll"(A, 4, P) of properly stable points for the action of Sl(n, C) is exactly the set of points corresponding to p-stable A-modules. Proof. -- The projection ~ : T ~ Q~C~ is an affine map, since T is the frame bundle for a locally free sheaf. All of the points of Q~I~I are semistable for the action of GI(V) and linearized line bundle s Thus if q e T is any point, then there is a section a e H~ ~r .,qC~ab) which is Gl(V)-invariant, such that (Q~C~)o.o is affine, and such that a(r~(q)) 4: 0. Now a pulis back to an invariant section of L | which 108 CARLOS T. SIMPSON doesn't vanish at q. The fact that r: is an affine map means that the set T~, 0 ----- '* ~'~-o, 0~ is affine. Thus q is a semistable point of T. To prove that every point of T is stable, we must show that the orbits are closed and the stabilizers are finite. The points of T lying over s e S consist of triples (E, 0c, ~) with ~ : H~ E(N)) ~ V and ~ : E~(,) ~ C". Ifh : (E, e, ~) - (E, ge, ~), then h restricts to the identity at ~(s), so h = 1 by Lemma 4.9, ga = a, and hence g ---- 1. Thus the stabilizer of (E, ~, ~) is equal to { 1 }. In particular, the dimensions of the orbits are all the same. Thus no orbit can be contained in the closure of another orbit, so the orbits are closed. This proves that all points are stable. By [Mu], a geometric quotient R(A, ~, P) = T/GI(V) exists. To show that the action is free, note that the map GI(V) � T -~T �162 sending (g, q) to (g(q), q) is proper, by Corollary 2.5 of [Mu]. Suppose S' is an S-scheme, q, q' ~T(S') and g,g' ~ GI(V) (S'), such that (g(q), q) = (g'(q'), q'). Then q = q'. Let (E, g, ~) be the triple corresponding to the point q. Then the fact that g(q) ---- g'(q) means that there is an isomorphism of triples h:(E, ~, ~)~ (E, g-lg, ~, ~). Then ~*(h) = 1, so h = 1 by Lemma 4.9. Thus g-~g' = 1. Thus the map GI(V) � T-+T � T is an inclusion of functors. A proper map which is an inclusion of functors is a closed immersion. This means that the action is free, hence T is a principal GI(V) bundle over R(A, 4, P) [Mu]. There is a universal A-module 5 my on X � s T over T, and the action of GI(V) on T lifts to an action on o ~'~v. This gives descent data, so o ~'~ descends to a universal p-semistable A-module o~-R with Hilbert polynomial P on X � s R(A, 4, P) over R(A, 4, P). Furthermore, we have a frame ~ : ~*(o~) ~ 0" ---~ R(A, ~, P) " The scheme R(A, ~, P) together with the universal object (~'~, ~) represents the required functor (which we denote by R~(A, ~, P)). If ql and q2 are points in R(A, ~, P) (S') such that q~(~-R, ~R) = q~(~-~, ~a) then locally on S' we can lift to points (~, cq, ~) of T with (~'1, ~1) ~ (~'s, ~). Then al and ~2 differ by a change of frame given by g ~ GI(V) (S'). Thus the lifted points differ by the action of GI(V), and the invariance of the projection r: implies that the original points ql and q2 were equal. Thus the morphism R(A, ~, P) ~ R~(A, ~, P) is an injection of functors. If (~ ~) e R~(A, ~, P) (S') and if q e R(A, 4, P) (S') are such that q*(o qr ~) ~ (~, ~), then this isomorphism is unique by Lemma 4.9. This implies that the functor ll~(A, 4, P) is a sheaf in the dtale topology. If (~', ~) e R~(A, ~, P) (S') then, locally in the dtale (or Zariski) topology of S', we can choose a frame ~ to get a point (o~, ~, ~) in T. This point projects to a point q ~R(A, ~,P)(S') with q*(o ~'~, ~R)~ (~, ~). This shows that the morphism R(A, ~, P) ~ ll~(A, ~, P) is a local isomorphism. Since both the source and the target are sheaves in the &ale topology, this is an isomorphism of functors. Thus R(A, ~, P) represents the functor. The line bundle L descends to an ample line bundle .Lf on R(A, ~, P) with lineari- zation of the action of Gl(n, C). Note that this action comes from the trivial action on MODULI OF REPRESENTATIONS. I 109 L = n* .Z'~ b which is due to the action of Gl(n, C) along the fibers of ~. If r is any point in R(A, 4, P), we may lift it to a point q in T, and choose a section a e H~ L | which doesn't vanish at q, such that T,.0 is affine and ~ is invariant under GI(V). Recall from above that we could choose ~ to be a pull back of a section on ~I~(o, so we may assume that ~ is also invariant under Gl(n, C). The section a descends to a section ~' of (.~a)| and R(A, 4, P)o. 0 = To. 0/GI(V) is affine [Mu]. Note that or' is invariant under Gl(n, C), and does not vanish at r. Thus every point r in R(A, 4, P) is semistable with respect to the line bundle ~a and the action of Gl(n, C). By [Mu] we may form the good quotient M' = R(A, 4, P)/GI(n, C). The product group GI(V) � Gl(n, C) acts on the space T. We have a composition T -+ Q L~(r _~ M~(~,(A, p) of categorical quotients by Gl(n, C) and GI(V) respectively. The first expresses T as a principal bundle over O LFI~), and it is preserved by the second group GI(V). In this situation it follows that MLFI~I(A, P) is a categorical quotient of T by GI(V) � Gl(n). We also have a composition T -+ R(A, 4, P) -+i' of categorical quotients in the other order, and the first map is preserved by Gl(n, C) as can be seen by looking at the functors represented by T and R(A, 4, P). Again, T is a principal bundle over R(A, 4, P). Thus M' is a categorical quotient of T. Therefore there exists a unique isomorphism MLFI~)(A, P)~ M' commuting with the maps from T. Thus the good quotient R(A, 4, P)/GI(n, C) is naturally isomorphic to M LF(~). Finally, we have to prove that the properly stable points for the action of Sl(n, C) are the p-stable A-modules. The stabilizer in Gl(n, C) of a point (~, ~) is equal to the stabilizer in GI(V) � Gl(n) of the point (~, ~, ~), and this in turn is equal to the stabilizer of (~,, ~) in GI(V); this stabilizer is naturally identified with the group of automorphisms of ~'. Furthermore, in either of the two compositions above, an orbit of the second group is closed if and only if its preimage in T is a closed orbit for the product of the two groups. In the first case, an orbit of GI(V) is closed if and only if the A-module ~- is a direct sum of p-stable ones; thus this criterion holds in the second case too. The closed orbits in R(A, 4, P) correspond to the A-modules which are direct sums of p-stable A-modules. The group of automorphisms of determinant one of such a direct sum is finite if and only if the sum has exactly one p-stable component. Therefore a point (~-, ~) 9 R(A, 4, P) has closed orbit and finite stabilizer in Sl(n, C), if and only if ~" is p-stable. This completes the proof of the theorem. [] Remark. -- Since the space R(A, ~ P) represents a functor, it is easy to form moduli spaces for p-semistable A-modules satisfying the condition LF(~I, ..., 4~) that the gr(~'s) are locally free at all 4,(s), with frames at the points 41, 9 9 -, ~k. Choose one of the points for defining R(A, 4, P), and let R ~cr ..... ~k)(A, ~1, P) denote the open subset repre- 110 CARLOS T. SIMPSON senting the condition LF(~I, ..., ~k). The scheme R(A, ~1, ..., ~k, P) of objects with frames at all the points is just a principal bundle over R r~gx ..... gk)(A, ~1, P), the bundle of sets of frames for the restrictions of the universal bundle to the various other sections. We say that o q~ satisfies condition LF(X) if ~- is locally free as a sheaf of Ox-modules on all of X. This is also preserved by base change and, by the same argument as in 4.8.4, it is an open condition over the base. We obtain an open subset Rr~(X)(A, ~, P) C R(A, ~, P) parametrizing (~, ~) where o~- satisfies LF(X) and ~ is a frame. 5. Analytic theory Define the notion of analytic sheaf of rings of differential operators on a complex analytic space in exactly the same way as for the algebraic case (we avoid repeating the axioms here). Our first task is to show that an algebraic sheaf of rings of differential operators A on X over S gives rise to an analytic A m on X an over S an. We include the more general situation of a base change in the following proposition. Proposition 5.1. -- Suppose X is quasiprojective over a noetherian algebraic base scheme S. Suppose S' is a complex analytic space and S' -+ S an is a morphism. Let X' = X ~ � San S' denote the analytic space obtained by base change. Suppose that A is a sheaf of rings of differential operators on X over S. Let A~ and A[ denote the puIlbacks to X' of the coherent analytic sheaves on X "~ corresponding to the coherent sheaf A, of left or right Ox-modules. There is a natural isomorphism A~ ~ A[ equal to the identity on algebraic sections. Put A] equal to this sheaf, and set A~ = lim im(A 1 --> A~). -+, j Then the union i' = U~ h~ (with the given filtration) has a structure of analytic sheaf of rings of differential operators on X' over S'. Proof. -- First we treat the case S'= S an. The sheaf Grl(A ) acts on 0 x by a derivation given by the symbol ~: Grl(A)~Hom(f~/s, Ox). But f~x~/s~ 1 is the analytic sheaf associated to f~/s, so we obtain a derivation : Grl(h? ~ -+ Hom( i, on/s.-, G=). If X = Spec(B) is affine, and A corresponds to a ring L as explained in w 2, then the left and right analytic sheaves are given by the formulas (for U C X ~ open) A~(U) = Ox~n(U ) | L~ and A{(U) = L, | 0x~(U ). Using the derivation a we obtain rules for passing elements of 0Xan(U ) through expressions which are products of elements in L1. These give isomorphisms MODULI OF REPR.ESENTATIONS. I and hence A[ ~ A[. If X is not affine, the isomorphisms thus obtained over the subsets in an affine covering glue together to give A[ -~ A~'. We obtain sheaves A~ n which have left and right structures of coherent 0xan-modules. In this case, 0xan is flat over 0x, so the maps A~ n ~ A]~ are injectlve for i ~< j. Thus A m is the union of the A~ n. The left and right 0x~n-module structures agree on the associated graded Gr(A~). One can verify all of the properties which correspond to 2.1.1-2.1.6. Suppose now that S' -+ S ~ is a morphism of complex analytic spaces. We make the base change from A ~n on X ~ to A' on X', by the same construction as in Lemmas 2.5 and 2.6, but with Stein open sets playing the role of the affine open sets. The construction was based on two things: the notion of coherent sheaf associated to a module over the coordinate ring, which works also in the analytic case with a little bit of extra care (one must allow for sections over a subset those which are locally tensor products of elements of the module with functions in the coordinate ring of the subset); and the tensor product for obtaining the module which gives rise to the pullback sheaf on the product. In the analytic case, we use a completed tensor product for the Frechet topology. This means that one includes among the sections, limits of sequences of elements in the tensor product which converge uniformly on compact sets. The Frechet topologies on the coherent sheaves A~ considered as left and right ~x~-modules are the same: fix a finite set of sections which span the space of germs of sections around a compact subset, with respect to the left module structure; a convergent sequence of sections may be represented as a sequence of expressions in terms of the spanning set, with converging coefficients; when the expressions are changed into expressions with the coefficients on the right, some new terms are introduced depending on derivatives of the original coefficients; but the derivatives will also converge on a smaller compact subset, so the coefficients of the expressions on the right converge also. We obtain the isomorphisms A[ ~ A[ from the formulas B'| L, ~- A'| ~ = L~| - L~| B', where A, A', B and B' denote the rings of functions on Stein open subsets of S ~, S', X ~, and X' respectively, and L~ denote the modules corresponding to A~ ~. The middle equality depends on the fact that the left and right Frechet topologies on L~ are the same. Let A~ ----- lim_~, ~ im(A~ ~ A~). The A~ are locally equal to images of A~, since the local rings of X' are noetherian. Hence the A~ are coherent sheaves of d~x,-modules for the left and right structures. The union A'= ms A~ satisfies all of the necessary properties. [] Lemma 5.9,. -- Suppose @ is an ~x-Coherent A-module on X. Suppose S' ~ S ~ is a morphism of complex analytic spaces. Then the pullback g' of the associated analytic sheaf d '~n to X' has a structure of A'-module. Proof. -- The construction is again the same as in Lemma 2.7, with the remarks made in the previous proof taken into account. [] 112 CARLOS T. SIMPSON Analytic properties of Hilbert schemes Suppose X ~ S is a projective morphism of algebraic schemes, with a relatively very ample Ox(1 ) chosen. Suppose that W" is a coherent sheaf on X. Fix a polynomial P and let H -+ S denote the Hilbert scheme parametrizing quotients with Hilbert polynomial P (relative to S). Proposition 5.3. -- The associated complex analytic space H "~ ~ S ~ represents the functor which associates to each analytic space S' -+ S ~ the set of coherent analytic quotients 8 of the pullback $1 z' of et/'~ to X'= X ~ x s,, S', which are fiat over S' and have relative Hilbert polynomial P. Proof. -- This follows from Douady's theory. In fact, it is easier, since we begin with X and $f algebraic, so we indicate the proof here. We may suppose that X is flat over S (replacing X by a projective space into which it embedds, if necessary). There is an integer n and a surjective morphism r n) b -+#" -+ O. Let W'~ denote the pullback of W" to X Xs H. We obtain a surjection ex � n) b -+ 0, and composition with the universal quotient gives a surjection n? -+ -+0 on X X s H. There is an integer m such that for any s e S and any quotient 8 8 ofYf 8 with Hilbert polynomial P, we have h~ @,(m))= P(m) and Hi(X~, d',(m))= 0 for i ~ 0. We may also assume that the same is true for 0x(m -- n) (with its own Hilbert polynomial). For any quotient oas, let 0 -+~8 -+ ex,(-- n? -+ e~ -+0 denote the kernel; we may suppose also that H~(X~, 9U,(m)) = 0 for i > 0. The base change theorems--those of Grauert for the complex analytic case--imply that if S' ---> S ~n is a morphism of complex analytic spaces, and if d~ is any quotient of W" on X'= X '~ X s~n S' flat over S' with Hilbert polynomial P, then H~ ', 8(m)) and H~ ', Q)x,(m -- n)) are locally free over S' and commute with further base change; that the higher direct images vanish; and that the map H~ ', 0x,(m -- n) b) -+ H~ ', 8(m)) MODULI OF REPRESENTATIONS. I 113 is surjective (and the same in the case of an algebraic base change). Finally, the universal quotient $F H -+ o '~ on X x s H gives rise to the surjection of locally free sheaves on H H~ x � s H/H, 0 x � -- n) n) ~ H~ � s H/H, ~V(m)) -+ 0, hence to a map into the relative Grassmanian H ~ Grasss(H~ 0x(m -- n)b), P(m)). We may choose m so that this map is a closed embedding. Now we complete the proof of the proposition. Suppose S' -+ S an is a morphism of complex analytic spaces. If S' -+ H ~" is a morphism, then the pullback of the universal quotient ($~Iv)~ over H ~ gives an element of the specified set. Suppose, on the other hand, that we are given a coherent analytic quotient Of' --> g ---> 0 flat over S' with relative Hilbert polynomial P. We obtain a surjection of locally free sheaves on S', H~ ', 0x,(m- n) b) -+ H~ ', g"(m)) -+ 0. The sheaf on the left is the pullback to S' of H~ 0x(m- n)~ so we obtain a holomorphic map q~ : S' ---> Grasss(H~ d)x(m -- n)b), P(m)). On the other hand, we know that the proposition is true for base changes to the formal completions of S' at all points. This implies that, when restricted to the formal comple- tions, the map ~ has image in H. This implies that the functions in the ideal defining H restrict to zero on S', so we obtain a map S' ---> H. It remains to be seen that these two constructions are inverses. If we start with a map S'---> H, take the corresponding quotient, and apply the above construction, we return to the same map. If we start with a quotient 8 on X', apply the above construction to obtain a map S' -+ H, and take the pullback of the universal quotient, we obtain another quotient 81 of $r But restricted to all of the formal completions, these two quotients are the same. The condition for a section of Sf' to be contained in the kernel of one of the quotients can be tested in the formal completions; thus the kernels are the same, so the quotients are the same. [] Proposition ft. 4. -- Suppose X is projective over a base scheme S, and A is a sheaf of rings of differential operators on X over S. Fix a relatively very ample Ox(1 ) and a polynomial P. Let N and r be the integers and Q be the S-scheme constructed Theorem 3.8. Then the associated complex analytic space Q~ over S ~ represents the functor which, to each morptdsm of analytic spaces S' -+ S ~, associates the set of isomorphism classes of pairs ( e, ~), where: 8 is a semistable A'-module on X' = X � s S', Ox,-coherent and flat over S', with all fibers oa, being p-semistable, and with Hilbert polynomial P; and ~: (0s,) "'s' -~ H~ ', g(N)). Proof. -- First we establish a GAGA principle: suppose T is an artinian scheme of finite type over C, and T -+ S is a morphism; then any A~n-module gT on the fiber 15 114 CARLOS T. SIMPSON X~ = X � T is algebraic. Since X T is projective over a complex artinian scheme, the coherent sheaf of 0xwmodules underlying g~ is algebraic, obtained from the coherent algebraic sheaf ~f~". The sheaf A~, ~, |162 dr T is equal to the analytic sheaf associated to A1, ~ | ~ (this isomorphism may be constructed using the methods of Lemma 2.4 and Proposition 5.1). The Am-module structure of d"~ is determined by a map of sheaves of 0r4n-modules; this map is algebraic. The conditions satisfied by this map in order to give a structure of A~-module are similarly satisfied by the corresponding algebraic map, so ~ has a structure of At-module. Morphisms between analytic A~-modules are also algebraic. This GAGA principle implies that the p-semistable AT-modules on fibers X, over closed points form a bounded family, and that the integer N chosen for Theorem 3.8 will give the same properties here. Suppose S' ~ S An is a morphism of complex analytic spaces and g is a A'-module on X' -- X ~n � San S' which is 0x,-coherent, fiat over S', with relative Hilbert polynomial p, such that the fibers gs over closed points s ~ S' are p-semistable. We obtain a map to the analytic space associated to the Hilbert scheme of quotients of A, |162 0x(-- N) 1"~m with Hilbert polynomial P, by Proposition 5.3 and the same construction as before. When restricted to the formal completions at points of S', this map has image in the locally closed subscheme Q. Hence the map has image in the closure Q. But all of the points map into the open set Q, we so obtain a map S' --~ O. As in Proposition 5.3, a map S' --~ Q. gives rise to an element of the specified set, and these two constructions are inverses. Note that the coherent sheaf d' appears as the quotient corresponding to the map from S' into the Hilbert scheme, so we obtain the isomorphism between the original g and the one given by the constructed map S' ~Q. rn Analytic properties of good quotients We show that good quotients in the algebraic category give universal categorical quotients in the analytic category. In this section, the notation X plays a different role than in the rest of the paper. Proposition 5.5. -- Suppose X is a quasi-projective scheme over C, on which a semisimple group G acts linearizing an ample line bundle. Suppose that every point is semistable, X = X ~. Let ~ : X ~ Y be the good quotient given by [Mu]. Then ~ : X ~n ~ Y~ is a universal categorical quotient in the category of complex analytic spaces. Proof. -- The proof is an analytic version of Mumford's original proof that his quotients were universal categorical quotients in the algebraic category. The only MODULI OF REPRESENTATIONS. I interesting point is that we seem to need some results from the theory of moment maps and symplectic quotients to obtain certain compact subsets. First consider a special case. Assume that X = A" is the affine n-space, and that G acts by a linear n-dimensional representation. Let R be the ring of G-invariants in the coordinate ring C[xl, ..., x,] of X. All points of X are semistable (with respect to the trivial line bundle), and the good quotient is Y = Spec(R). Let 9 : X ~ Y denote the projection. Note that R is contained in the field C(xl, ..., x,), so Y is reduced and irreducible. The complex analytic space X ~n is just C ". Suppose U C Y~" is an open set which is a Stein space. Let W = r It is an open subset of C", and in fact it is also Stein (it is equal to the intersection of the graph of 9, a closed subset, with the Stein space C" � U C C" � Y~"). We now prove the contention that iff is a G-invariant holo- morphic function on W, then there is a holomorphic function g on U such thatf ----- 9" (g). Suppose U0 C U is a relatively compact open subset. Let C denote the compact closure of U 0. The first step is to show that there is a compact subset D C W such that r ----- C. This relies on the theory of moment maps and symplectic quotients [GS] [KN] [K.i]. The standard embedding X ----- A"C P" is compatible with a linear action of G on P". This action linearizes the ample line bundle defined by the divisor at infinity P" -- X, and with respect to this linearization, X is a subset of (P")~ defined by the nonvanishing of a section of the line bundle. Hence Y is an affine open subset of the good quotient (P")~/G, and X is the inverse image of Y. Let K C G be a compact real form (a real form which is compact and meets every connected component of G). Let k denote the Lie algebra of K. There is a moment map for the action of K, which is a C ~~ function ~:P"---> k*. The subset ~-1(0)C P" is closed, and hence compact. It is K-invariant, so we can form the topological quotient t~-l(0)/K, which is again compact. The main facts we need are that ~-1(0) is contained in the set of semistable points (P")*, and that the map --> (P")'/G is a homeomorphism of usual topological spaces. See [Ki], p. 95, and the theorems thereafter. Now ~-1(C) is a closed subset of (P")~, so the intersection D = q~-1(C) n ~-1(0) is compact. Note that ~-1(C) is contained in W = ~-I(U), so DC W. On the other hand, the map ~-1(0) --> (P")'~/G is surjective by the above assertion, so q~(D) = G as desired. The D constructed above is K-invariant. By the Weierstrass approximation theorem, we may choose a sequence of polynomials Pi(xl, ..., x,) such that sup lP, --fl ~0" Let Q,(x) = fK P~(kx) dk be the averages by the group K. Then Q, are K-invariant but sdU sup[Q, -f[ -+0. D CARLOS T. SIMPSON Since K C G is a compact real form, the polynomials Q, are G-invariant, in other words they are elements of the ring R of algebraic regular functions on Y. They form a uniformly Cauchy sequence on the compact subset C : ~(D). In particular, they are uniformly Cauchy on any compact subset of U 0 C C. Now the space of holo- morphic functions on the reduced analytic space U 0 is complete with respect to uniform convergence on compact subsets, so the O~ converge to a function g defined on U 0. Considered as functions on D C W, the O, converge to f. Now f and h = 9*(g) are two G-invariant holomorphic functions on W0 = ~-l(Uo), which agree on the subset W 0 n D. This subset surjects onto U 0. Suppose w e W0, and let u = q~(w). Let y be a point in W 0 c~ D such that ~(y) = u. Then f(y) = h(y). There is a unique closed G-orbit in ~-l(u) [Mu], contained in the closure of any other orbit. The functions f and h agree on the G-orbit of y, hence they agree on the closure of that orbit, so they agree on the unique closed orbit. On the other hand, f and h are constant on the closure of the G-orbit of w, which includes the closed orbit. Therefore f(w) = h(w). Hence we have constructed a holomorphic function g on U 0 such that f= 9*(g) on W 0. This condition uniquely determines g, since ~ is surjeetive. Finally, we may exhaust the original subset U by such relatively compact subsets Uo. The functions g defined on these subsets agree on overlaps, so they patch together to give a holomorphic function g on U withf = ~*(g). We have shown in this first case of X = A" that y,n is a categorical quotient of X ~, also universal for inclusions of open sets in Y~. Suppose that G acts linearly on affine space A", and suppose that X C A" is a closed G-invariant subscheme (not necessarily reduced), defined by a G-invariant ideal ICC[xl, ..., x,]. Let R = C[xl, ..., x,] ~ as before, with projection ~ :A" -+ Spec(R). The image Y = q~(X) C Spec(R) is a closed subscheme, defined by the ideal J = I n R. Since G is semisimple, we may choose a G-invariant complement to I, so R/J = (C[xl, ..., x,]/I)% Thus Y is the good quotient X/G. We will show, under these circumstances, that X~n _+ yah is a universal categorical quotient in the category of complex analytic spaces. Suppose A is a complex analytic space with a morphism a : A ~ Y~. We may as well assume that A is a closed subspace of a Stein open set V C (I ~. Let X' ~- A" � A'~, with G acting trivially on the second factor. The quotient Y'= X'[G is equal to Spec(R) � A". Note that the first case treated above applies to 9':X'--~Y'. Let U = Spec(R) � V, an open subset of (Y')~ = Spec(R) ~ � (I ~. Note that A is now a closed analytic subspace of U (interpreting it as the graph of the map a). Furthermore, X � A = (9')-1(A) t~ (X '~ � C =) is a G-invariant closed analytic subspace of W = (O')-I(U). Denote also the projection by ~ : X ~ � ya, A -~ A. Suppose Z is a complex analytic space, and f: X � y A -+ Z is a G-invariant morphism. We have to show that f factors through A. Set theoretically, f must factor through A. For if (xl, ux) and (x2, u2) are two points MODULI OF REPRESENTATIONS. I in X an � which map to the same point in A, then ul = u~, and ~(xl) ---- ~(x,). Thus the closures of the orbits of x 1 and x 2 intersect in X ~. Hence the closures of the G-orbits of (xl, ul) and (x2, us) intersect in X ~" � A. Since the map f is G-invariant and the space Z is separated, this implies that f(xl, ul) =f(x~, us). Hence we obtain a function g : A --~ Z such that f = g o ~0. Recall from the earlier part of the proof that there is a subset bt-l(0)C X' such that the map ~t-l(0) -+ Y' is proper and surjective. Furthermore, ifj ~ Y' then ~t-l(0) meets the unique closed G-orbit in (~,)-l(y), cf. [GS] [KN] [Ki]. Let E C X "~ � A be the intersection of bt-l(0) with X ~ � It is proper over A. It also surjects onto A, because ifj E A then X ~ � y~n A contains the closed orbit over y. Suppose SC Z is a closed subset. Thenf-~(S) = q~-l(g-l(S)) is a closed subset of X ~ � Furthermore, g-~(S) = q~(f-l(S) c3 E). But since K is proper over A, the image in A of a closed subset of E is closed. Thus g-l(S) is closed. This proves that the map g is continuous. We have to show that g can be given a structure of morphism of complex analytic spaces. (This structure may not be determined by the function g we have defined so far, if A is not reduced.) Cover Z by open sets Z~ which have embeddings Z~ C C ~. Then g-l(Z~) are open subsets which cover A. In order to define the map g : A ~ Z, we can localize, replacing A by a smaller open subset which maps into some Z~. We may replace Z by Z~, so as to reduce to the case where Z C C M. Keep the assumptions and notation established for A above. Suppose z : Z -+ C is one of the holomorphic coordinate functions from among those which induce the embedding Z C C M. We obtain a G-invariant holomorphic function zf: X a~ � y~ A --~ C, and we would like to show that there is a unique holo- morphic function b on A such that zf= q~*(b). For uniqueness, note that if b x and b, are two such functions which do not agree, then there is an artinian complex space A'C A such that the restrictions b' 1 and b~ do not agree on A'. But an artinian complex space is the same as an artinian scheme, so X ~ � x~n A' is algebraic over A'. Then q~*(b;) are algebraic functions whose associated analytic functions are equal tof. Hence q~*(b~) and q~*(b'~) are equal as algebraic functions. By the universal categorical quotient property for X--~ Y in the algebraic category, this implies that b~ = b'2, contradicting the possibility that b 1 and b, could be different. This shows that b is unique if it exists (which makes possible the patching arguments necessary to undo the previous reductions in the size of A). Now X a~ � y~ A is a closed analytic subspace of the Stein open subset W C C ~ + m. Thus the holomorphic function zf on X ~ � :~a~ A is the restriction of a holomorphic function e on W. We may replace e by its average with respect to the action of the compact group K. This average still restricts to zf, since the latter is K-invariant. The new e is K-invariant, in other words the two different pullbacks of e to G � W agree on K � W. Since K is a real form of G which meets every connected component of G, any connected component of G � W contains a totally real subset of half the real 118 CARLOS T. SIMPSON dimension where the two different pullbacks agree. Therefore the two pullbacks agree on G � W, meaning that e is G-invariant. Apply the result proved in the first case above, to the map ~' : W ~ U. It says that there is a holomorphic function b' on U such that (~0')*(b') ----- e. Let b be the res- triction of b' to the subspace A. Then ~*(b) is equal to the restriction of e to Z X y A, in other words q~*(b) -~ zf. Applying this to all of the coordinate functions z which give the embedding Z CC M, we obtain a morphism g:A ~ C '~ such that f= ~?*(g). In particular, the continuous function associated to g is equal to the continuous function defined above, so g maps A to Z set theoretically, at least. Suppose that z' is a function on an open subset of C ~ which vanishes on the subspace Z. Then z'g is a holomorphic function on an open subset of A such that ~0*(z' g) = 0. By the uniqueness proved above, this implies that z' g ----- 0. This shows that g maps the complex analytic space A to the complex analytic space Z. This completes the proof that V : X ~n -+ Y~ is a universal categorical quotient, in this second case where X is a closed subset of A ~. Finally, we will complete the proof of the proposition in general. Suppose that X is quasi-projective with G-action linearizing an ample line bundle, that all points of X are semistable, and that q~ : X ~ Y = X/G is the good quotient of [Mu]. Let L denote the very ample line bundle on Y (its pull-back to X being the initial linearized line bundle). The question of whether ? is a universal categorical quotient in the analytic category is local on Y in the analytic topology, hence in particular it is local in the Zariski topology. Thus we may replace Y by a Zariski open subset. Choose a section s of some power of L on Y, such that the subset s :~ 0 is affine. Then replace Y by this subset. Now Y is affine and L is trivial. The map ~ is affine, so X is affine too. The group G acts in a locally finite way on H~ in other words that space is an increasing union of finite dimensional G-invariant subspaces. Hence we may choose a finite dimensional subspace V C H~ r , invariant by G, which gives an embedding of X into the affine space V*. The action of G on V* is a linear representation, and the embedding X C V* is compatible with the action of G. This places us in the situation covered by the second case treated above, so ~ : X "~ ---> Y~" is a universal categorical quotient. This completes the proof of the proposition. [] The moduli spaces Now we return to the following situation: S is a base scheme of finite type over C, X is projective over S, and A is a sheaf of rings of differential operators on X over S. Fix a relatively very ample 0x(1 ) and a polynomial P, and let Q be the parametrizing scheme constructed in Theorem 3.8. The group G ---- SI(P(N), C) acts on Q. We have seen (in Corollary 4.6) that there is a G-linearized very ample invertible sheaf ~ on Q, and that 0-~ 0 ~ for this action. The good quotient is M(A, P) = Q.[G. Corollary 5.6. -- The associated complex analytic space M~(A, P) is a universal categorical quotient of Q~ by the action of G in the category of complex analytic spaces. MODULI OF REPRESENTATIONS. I 119 Proof. -- This follows from Proposition 5.5, noting that if S is not quasiprojective then at least it can be covered by quasiprojective open sets; the quotients obtained from the previous proposition then glue together to give a quotient over S. [] We record here the universal property of M~(A, P) implied by this corollary. Let M=,~(A, P) denote the functor which, to each morphism S'~ S An of complex analytic spaces associates the set M =' ~(A, P) (S') of isomorphism classes of p-semistable A'-modules ~ on X', 0x,-coherent and flat over S', with relative Hilbert polynomial P. Suppose Z -+ U -+ S ~ are morphisms of complex analytic spaces, and M~'~(A, P) � -->Z is a natural transformation of functors of complex analytic spaces over U. Then there exists a unique factorization through a morphism of complex analytic spaces M~n(A, P) � -->Z. This follows from the same arguments used in the proof of Theorem 1.21. The representation spaces We have a similar result for the representation spaces R(A, ~, P) constructed at the end of w 4. Lemma 5.7. -- Suppose that the fibers X, are irreducible and ~ : S ---> X is a section. The space R~n(A, ~, P) represents the functor which to each analytic space S'---> S associates the set of pairs ( ~, ~) where ~ is a p-semistable A~-module on X' over S', with Hilbert polynomial P, satisfying condition LF(~), and ~ : ~*( 8) _~ 0~,. Proof. -- This follows by applying Proposition 5.3-5.5 to the construction of the representation space given in the previous section. [] Standardized sequences of diffeomorphisms Suppose that X --~ S is a smooth projective morphism. This does not imply that X itself is smooth (we cannot avoid considering nonsmooth, and even nonreduced base schemes S). To treat convergence questions in the relative case, we must investigate the relationship between the various different fibers X 8. Suppose s(i)~ S is a sequence of points converging to t E S. We construct a standardized sequence of diffeomorphisms ~'~ : Xs~ o ~- X~ ~ defined for i >> 0. Here X~ denotes the C | manifold underlying Xs. Choose a sufficiently small open neighborhood U C S An of t and a finite open covering f-l(U) =: Xr = O Z~ together with holomorphic tri- vializations (+~,f) : Z~ -~ V~ � U over U, where V~C X t are open discs and f: Xv is the projection. Choose a sufficiently small neighborhood N of the diagonal X~ C NC IIX t 120 CARLOS T. SIMPSON where the product is taken over the same index set as the covering. Let T C Y[~[0, 1] denote the set of points r with ~]~ r~ ~ 1. We can choose a Coo function ~t:N � T ->X t such that Vt(x, r) = x if x is in the diagonal Xt, and such that if r, = 0 then ~t(x, r.) is independent of the ~-th coordinate of x. In order to choose Vt, note first of all that N can be given a structure of fiberwise convex open neighborhood of the zero section in a vector bundle over the diagonal X t. Let m : [0, 1] � N ~ N denote the scalar multiplication for this vector bundle structure. We may proceed by induction and assume that ~0T : N � 0T -+ X t is already chosen. Choose a C ~ function u : T -+ [0, 1] so that u(r) = 1 for r ~ 0T and u(r) = 0 for r in a disc in the middle of T. Choose a function z : T -+ OT which is Coo except on the interior of the disc where u vanishes, and such that x ]e~ is the identity. Then put Vt(x, r) = ~o~(m(u(r), x), .:(r)). Choose a partition of unity 1 = Y~ u~ with u~ compactly supported in Z,, in the following " Coo " way. Fix an embedding XC 1 ~s � S; and choose open sets Zb~ * of 1 J~ � U restricting to Z~ in X v. Then let { u~ b~ , u 0 } be a partition of unity for 1 ~N � U for the covering consisting of the Z~ ~g and the complement of X v. Put u~ = u~[x . Our trivializations have first projections +, : Z~ -+ X,. For x ~ X U set +(x) = (..., ...) el-Ix,; in cases where x r Z~, choose a point at random for the value of +~(x). Similarly, set u(x) = (..., u~(x), ...) ~ T. Then put ,r(x) = u(x)). From the above properties of a, there is a smaller open neighborhood t ~ U' C U such that for any s ~ U', tF ]xs is a C ~~ diffeomorphism from X 8 to X t . Put tF, = tFlxs(i): this is our sequence of standardized diffeomorphisms, defined for i >~ 0. A different choice of trivializations, partition of unity, etc. yields a different sequence of diffeomorphisms tF~. These two sequences are related in the following way: for any k/> 0, tF~ tF~-I -+ lxt in the C * norm for diffeomorphisms of Xt, as i -+ oo. We say that a sequence of diffeomorphisms tF~ :Xs(~)~ XF is a standardized sequence if for one or for any collection of trivializations, partitions of unity, and a as above, the resulting standardized sequence tFi gives tF~ tF~-I-+ lxt in any C k norm as i -+ oo. Suppose Y/" is an algebraic vector bundle over X. Let V s denote the associated Coo vector bundles on the fibers Xs. Fix a standardized sequence of diffeomorphisms tF,, according to our original construction. Then we can construct, in a similar way, a standardized sequence of bundle isomorphisms ~: tFi,.(V~(~) ) _-_ V t . Use a lifting of the constructed above to a bundle map (still a projection) from the direct sum @ pr~(Vt) over N � T, to the bundle Vt over the diagonal. Again, say that ~ is a standardized MODULI OF REPRESENTATIONS. I 121 sequence of bundle isomorphisms over any standardized sequence tF~ if, for some standardized sequence ~, over ~, constructed as described, the ~ ~- a -+ 1 in any C * norm for diffeomorphisms of the total space of V,. Bundles in the split almost polynomial case Suppose that X is smooth and projective over S, with connected fibers. Suppose that ~ : S --> X is a section. Suppose (A, ~) is a split almost polynomial sheaf of rings of differential operators on X over S (see w 2). Let H = Grl(A)* and K =/k ~ H, with the splitting ~ : H* -+ A1, the derivation 8 : 9 x --> H corresponding to the symbol of A, and the morphism of sheaves T : H --> K |162 A1 described at the end of w 2. Fix a point s ~ S. Let c~ denote the sheaf of C ~~ functions on X 8, and let H~ ~ and K7 denote the C ~~ vector bundles (or locally free sheaves over ~) corresponding to H8 and K,. Note that H~ ~ = H 8 @~x, cg~o and similarly for K. We can extend the derivation 8, to a derivation 8~ :c~o ~ H~O by noting that ~ corresponds to a morphism ~1 x, ~ Hs, which gives dl'~ -> H~. oo The derivation 8~ is the composition of the usual 0 with this morphism. Fix a polynomial P which corresponds to the relative Hilbert polynomial of a locally free sheaf of rank n on X. Let R~(X~(A, 4, P) denote the scheme parametrizing pairs (o ~, ~) where o a is a p-semistable A-module with Hilbert polynomial P, satisfying condition LF(X), and ~ : ~*(o ~) ~ d~ is a frame (see the end of w 4). Suppose (6', ~) corresponds to a point Y e R~(X,~(A~, ~(s), P). Let E denote the C ~ vector bundle on X, corresponding to the locally free sheaf o a, and let 0 : E -+ A 1' ~ denote the operator defining the holomorphic structure of ~'. Thus o '~ is the sheaf of sections e of E with 0(e) = 0. The frame ~ gives ~ : E~(8) ~ C". The A-module structure of o a is determined by an operator @, : o a -+ H| o ~ satisfying the Leibniz rule %(ae) = a%(e) + ~8(a) e, and @~ 7% = 0. By enforcing the same Leibniz rule using the derivation 8~ we obtain an operator q~:E -+ H* | E. This satisfies the equation an equation of operators from E to A~ | | E). Given any such operator, we can form an operator ~' 7 : H~ | -+ K~ | E. If ~ comes from a A-module structure, then ~' y@ = 0. We have the following converse. 16 CARLOS T. SIMPSON Lemma 5.8. -- Suppose E is a C | vector bundle on X 8 with a holomorphic structure given by the operator -0, and an operator ~:E -+ H~ | E. Suppose that -0 is integrable, -0~ -k- ~-b = O, and ~' "f~ = O. Then there exists a unique A-module o ~ on Xs, together with isomorphism 8 | s q~o~ ~_ E, such that the operators -0 and ? are those given by g. Proof. -- From the integrability of 0 we get a holomorphic vector bundle o ~. The second equation gives an operator ~ on sheaves of holomorphic sections. Serre's GAGA theorems give an algebraic object (g, ~.), and the equation ~' -r implies ~'. 7%. This gives a A-module structure for o ~ (Lemma 2.13). [] A convergence statement for Hilbert schemes We would like to use this analytic description of A-modules to study the question of convergence of a sequence of points in RT'F~X~(A, ~, P). Before getting to the theorem, we need the following statement about convergence in Hilbert schemes. Suppose X ~ S is smooth. Suppose ~r is a locally free sheaf over X; let W denote the corresponding C ~ bundle. Let HilbmX~(~, P) denote the Hilbert scheme over S of quotients of Y//" which are locally free with Hilbert polynomial P. Suppose s(i) is a sequence of points converging to t in S. Choose a standardized sequence of diffeo- morphisms ~'i:Xsr T and a standardized sequence of bundle isomorphisms ~, : ~Ii,,(W~,~) -~ W~. We may assume that there exists an open set U~ C X, meeting each connected component of X t, such that for u e U~ there exists a section ~, : S' -+ X defined on a usual open neighborhood S' of t (which also contains s(i)), such that ~,(t) = u and tF~(~(s(i))) = u for all i. We may suppose that S' is part of an fitale neighborhood and that the sections are defined algebraically. (The open set U~ consists of the points where only one element of the partition of unity used to construct the tF~ is nonzero.) Lemma 5.9. -- In the above situation, suppose y(i)etlilbmX~(~",ci~,P ) and z e I-IilbmX)(~, P). These correspond to quotients which we denot~ in terms of C ~ bundles as a~ : W,I,~ ~ E, -+ 0 and a : W~ ~ E -+ O. Assume that there exists a sequence of bundle isomorphisms ~,: ~F~,.(E,)~ E such that, with b,:W t -+E-+0 denoting the transported morphisms b~ = ~ ~F,..(a,) ~7 a, we have b, ~ a in L ~ norm. Then the points y(i) approach the point z in tiiibmX~(~, P). Proof. -- It suffices to show that there is a subsequence { i' } such that y(i') -+ z. To see this, note that in order to show that y(i) --~ z it suffices to show that any sub- sequence has a subsequence which approaches z. If b, -+ a in L ~ norm then there is a subset Z C X, of full measure and a subse- quence { i'} such that b,,(u) -+ a(u) for u e Y, ([Ru], Exercise 18, p. 76-77). Replace our sequence now by this subsequence. MODULI OF KEPRESENTATIONS. I 123 The intersection Z c~ U is a set of positive measure. There exist points u 1, ..., u k ~ Z such that, denoting ~ by ~j, the morphism I-lilblf{X'(~{/~ P) --> II Grass({~. ~, n) j=l is a locally closed embedding. Although this is well known, we briefly note the proof. Choose an embedding 4 : Hilb(~, P) r Grass(H~ ~r P(m)). Denote with a script 8 the algebraic quotients corresponding to points of the Hilbert scheme. The set of quotients o ~ which occur is bounded. We may choose the points u~ E Y~ n U such that there are sufficiently many sections ~j in a general enough position so that Ir H~ C/Z'(m)) ~ j__~l~/'(m) ~/'(s) and for any quotient d ~ on a fiber X, over s ~ S', we have H~ E(m)) '-~ O o~(m)~i,,>. j=l Let T = I'[~= 1 Grass(~.(CW(m)), n). Denote a point in T by t = (tt, ..., tk) where t i : ~.(~f'(m)) --~ V~ is a quotient of rank n. Let T1C T be the locally closed subset whose S"-valued points (for S" -+ S') are those t such that composition k k F, : S~ '', ~f'(m)) --> O ~.(r ,*1 ..... t,) i=1 j=l has an image which is a locally free sheaf or rank P(m) over S". This gives a natural map F : T 1 ~ Grass(H~ ~f'(m)), P(m)) (S"). If c : ~ --> # -> 0 is an S"-valued point in Hilbtf(x)(~, P) then we obtain a point t e T(S") and a diagram H~ > H~ '', o~(m)) > k The vertical arrows are injective, so the vertical map on the right gives an isomorphism between H~ '', ~'(m)) and the image of the map F~ defined above. But the top row is the point d~,~(c) e ~'ass(H~ "~K(m)), P(m)) (S"). Therefore the diagram I-Iilb'f~x'(~CF, P) ' TI commutes. Since the diagonal map ~,~ is a locally closed embedding, the map I-Iilblt~x)(~, P) ~ T 1 is a locally closed embedding. 124 CARLOS T. SIMPSON We complete the proof of the lemma. Let A~j :r , ~ ~(m)~sr162 denote the points in Grass(~gP(m),n)~r I corresponding to the quotients a~ over the points ~(s(i)), and let A'j: ~(m)~iet ) --~ o~(m)~ict) denote the points in Grass(~. r n)t corresponding to the quotient a. The fact that b~(u~) -+ a(ui) implies that A,~. -+ A'j. The collection (Au, ..., Aik ) (resp. A~, ..., A~) is the image in T ofy(i) ~ ItilbmX'(~, P) (resp. z). Thusy(i) ~ z. [] Suppose that we are in the situation of the previous lemma. Since a universal family of quotients exists, andy(i) ~ z, we can choose a standardized sequence of bundle isomorphisms ~q~: tF~.,(E,) - E. Suppose that there is a subbundle 3e'C 3q/" which is locally a direct summand. Then the associated C * bundles V, are direct summands of W~ and we can choose the standardized sequence of isomorphisms ~, such that ~,('r~,. V~,,) -~ V,. Lemma 5.10. -- Under these circumstances, suppose that the morphism a : V t ~ E is surjective. Suppose that the morphisms b~ Iv, approach a in C o norm. Then the automorpkisms B~x ~- approach the identity in C O norm. [] Proof. -- Choose sections vl, ..., v, of r over an open set in X, so that av~ [xt are a frame for E. Then ~ta(a, V,[x~(,)) -+ aV, lx, and ~(V~[x~(,)) -+ V, lxt in C O norm. We have ~,(a, v, Ix, c,) ) = b,(~,(o, [x, ci~)), so the hypothesis implies that ~,(a, V, lx,r fx~ in C O norm. Comparing these, ~ ~-~ --> 1 in C ~ norm. [] Suppose ~ : S -+ X is a section, and let l-lilbmX~($f, ~, P) denote the frame bundle over Hilb~fex~(cf, P), parametrizing pairs (g, ~) where E is a quotient of ~r and : ~*(g) =~ ~" is a frame along the section. Corollary 5.11. -- Suppose y(i) e l-lilbt~r ~(s(i)), P) and z ~ I-lilbt~cx'(~, ~(t), P), corresponding respectively to pairs (E,, ~,) and (E, ~). Suppose that there exists a subbundle ~e" C $r which is a local direct summand, that the ~ are chosen compatibly, and that a : Vt ---> E is surjective. Suppose that there exist bundle isomorphisms ~:aF,,.(E,) ~ E such that b, = ~,tF~,.(a~) ~-x approach a in L x norm, and that b, lv,---~ air , in C 0 norm. Suppose that ~ ~-~ -+ ~. Then the points y(i) approach z in Itflbmx~(cW, ~, P). Proof. -- By Lemma 5.9, the points in I-lilbg~X~(~, P) converge. By Lemma 5.10 the ~ are comparable to a standardized sequence of bundle isomorphisms ~, so ~,(~a)-~ ~ ~. This implies that the points in the frame bundle converge. [] Convergence in RI~r ~, P) Return to the case of a split almost polynomial A on X smooth over S. We give some notation to make the statement of the next theorem simpler. Suppose y(i) is a MODULI OF REPRESENTATIONS. I sequence of points and z is another point in R~X~(A, ~, P). Let s(i) and t be their images in S. Let (~,, ~.;) and (~, ~) denote the A-modules with frame over X,(~) or Xt, corresponding to the pointsy(i) and z. Let E, and F denote the underlying C ~ bundles, with operators 0zi and q~ on E,, or 0 and q~ on F. Suppose that a standardized sequence of diffeomorphisms ~,:X,~)g X~ ~ is fixed. Suppose we have chosen a sequence of bundle isomorphisms ~,:W,..(E~)~ F. Then by transport, we obtain a sequence of operators fief 9~ = ~,,. 'F~,.(~.;) and 0, ~ ~,,. tF,,.(0~.~) on the bundle F. Let x = ~(t) and x(i) = ~(s(i)) in X,. We obtain a sequence of frames ~, : F~) ~ C" by composing the ~.i with ~q~-1. Fix q >> 0, large compared with the dimension of the fibers X~. Recall that L~ denotes the Banach space of functions whose first k derivatives are in L ~. If V is a C Oo bundle, let L~(V) denote the Banach space of sections of V whose first k derivatives are in L ~ (we supress the subscript k when it is equal to 0). The norm is the sum of the L ~ norms of the derivatives in question. Theorem 5.12. -- Suppose y(i) is a sequence of points in R~{X'(A, ~, P) lying over s(i) ~ S, and z is a point lying over t ~ S. Suppose that s(i) converge to t in the analytic topology of S. Fix a standardized sequence of diffeomorphisms ~ : X,c,) ~- X t . Let T denote the complexified tangent bundle of X t . Let (Ei,-O~.i, ~E;, ~;) be the objects corresponding to y(i), and let (F, 0, % [3) be the object corresponding to z. Then the points y(i) converge to z in the analytic topology of RI~CX'(A, ~, P) if and only if there exists a sequence of bundle isomorphisms vh : ~,.,(E~) ~- F such that, with the above notations, the following convergence statements hold: the operators ~ converge to ~ in the operator norm for operators from L~(F) to L~(F | T); the operators -0~ converge to -0 in the operator norm for operators from L~(F) to Lq(F | T); and the frames ~ : F,~,~ _~ C" converge to ~ : F, ~- C" (note that the condition that ~Y~ are standardized implies x(i) --> x). Proof. -- If the pointsy(i) converge to z then we can choose Bi to be a standardized sequence of bundle isomorphisms, which will have the required convergence properties. Suppose we are given a sequence of bundle isomorphisms ~ as in the statement of the theorem. Fix a number t in the same way that N was fixed in the construction of Theorem 3.8. Let M denote the Coo line bundle on X t corresponding to the holo- morphic bundle Oxt(g ). Let 0,~ denote the operator giving the holomorphic structure. We can choose a sequence of standardized bundle isomorphisms ~,,.(0xsr - M converging to the identity in any norm. Let 0~,~ denote the operators on M obtained by transporting the holomorphic structures from_0xsti )(t). These converge to 0~ in any operator norm. Note that the operators 0, and 0M, ~ do not have type (0, 1) on Xt, as 126 CARLOS T. SIMPSON the diffeomorphisms H i do not necessarily respect the holomorphic structure. These operators have values in the full complexified tangent bundle T. Setting ~F| = ~| 1 + 1 @ ~M,~ we obtain a sequence of operators aF| ~ : L~(F | M) -+ L~(F | M | T), which by hypothesis converge to 0F| d~ ~ @ 1 + 1 @ ~M in the operator norm for operators from LI to L r Choose C ~~ metrics for X~ and the holomorphic bundles (F, 5) and (M, 0M)- The kernel K = ker(~F| is finite-dimensional, so we may choose a continuous projection : L~(F | M) ~ K. Letj : W '-~ Lr | M | T) denote the space of vectors orthogonal to the image of0F| ~ with respect to the L ~ inner product given by the chosen metrics. Harmonic theory implies that W is a closed subspace, and that the map ~| + ~ +J: LI~( F| M) OW ~ Lq(F | M| @K is an isomorphism. Since ~v|174 in operator norm, the maps s + +J are isomorphisms for i >> 0, and the inverses converge f~-1 _+f-1 in operator norm. The imagef~-~(K) is equal to the kernel of Or| +J : L~(F | M) | W ~ L~(F | M | T), but this kernel contains the kernel of ~F| By the hypothesis on t, the kernel of~| has the same dimension as K, therefore f~-~(K) = ker(~| C L~(F | M). Rename the resulting maps as g~:K ~ L~(F | M). These converge to the original inclusion g : K ~ L~(F | M). Fix an isomorphism K --- C e. The maps g,, when trans- ported back using H~ -x and ~-x, give frames y, : H~ Ei(/)) _~ Ce; and the map g corresponds to a frame ~, : H~ F(/)) --- C ~. We obtain a sequence of points (E~, ~q, ~,) in the parametrizing scheme T ~x~, the frame bundle over Q.r~x~ (see the discussion preceeding Theorem 4.10). We claim that these points converge to the point (F, y, [~). This statement will imply the theorem. Let #" = Ax |162 0x(/) t'~t~" Recall that O~ r~x~ embeds as a locally closed subset in the Hilbert scheme HilbmX~(~, P) of quotients of W" (note that the condition LF(X), that gr(6") is locally free, is stronger than the condition If(X) that ~ is locally free). The frame bundle T ~x~ embeds as a locally closed subset in the parameter scheme HilbmX~(~, ~, P) for locally free quotients of W" provided with a frame along the section ~. Keep the notation of Lemma 5.9. Choose a standardized sequence of iso- morphisms ~ : W~,,(W~(~) ~ W~. Let a~ : W,,~ -+ E~ -+ 0 be the quotients corresponding MODULI OF REPRESENTATIONS. I 127 to the A-modules E~ with the frames y~ constructed above. Transport to X~ using the isomorphisms ~ and ~: we obtain quotients a~ :W~ ->F -+0. The frames ~ also give frames ~; : F,a ) -~ C ", which converge to the frame ~ : F, ~ C ". This takes care of the part of the hypotheses of Corollary 5.11 concerning the frame. In order to apply Corollary 5.11 we must show that the maps a; converge, in terms of the fixed bundle structure of F, to the map a : W~ ~ F ~ 0 corresponding to the A-module F with its frame y. Locally we can choose a frame (v, Xl, ..., X,) for A 1 (considered as left Ox-module), such that v corresponds to the identity in A 0 ~ Ox, and the X~ give a frame for H. This collection of sections is then also a frame for AI considered as a right Ox-module. Let bx, ..., brr ~ denote a frame for Ox(-- N) Pr consisting of the standard frame for C P(tl times a nonvanishing section of Ox(-- N). Then { v | b~, ~j | b~ } s a frame for ~. Evaluation at any s e S gives a frame { v | bk(s ), Xj | bk(s ) } for W~. When transported to W~ by our standardized sequence of isomorphisms, the frames for W~,~ converge to the frame for W t . Let ~ = A 0 |162 Ox(--t) P(~), and note that a:V~ ~ F is surjective. The elements v | b~(s) provide a frame for V~. It suffices to prove that the sequence of sections converge to a(v | b~(t)), in C ~ or a(X~ | bk(t)), in L 1, respectively. The image a,(v | bk(s)) is the section ck(~ ) of E, corresponding to the k-th element of the frame chosen for H~ E,(N)) via the local trivializadon of Ox(-- N). The ~i ck(s(i)) converge to ck(t ) in L~ and hence in C ~ On the other hand, where % : E. ~ E, | H is the operator giving the A-module structure of E~. We obtain The operators ~,,,(q~,) converge to q~ in the operator norm for operators from L~ to L ~ by hypothesis, the ~,, X~(s) converge to X~(t) in any norm, and the ~h(c~(s(i))) converge to c~(t) in L~, so ~i a,(X~ | b~(s(i))) ~ a(X~ | b~(s)) in L" and hence in L x. By Corollary 5.11, (E,, y;, ~,) converge to (E, y, ~). [] 128 CARLOS T. SIMPSON REFERENCES M. A~Tm, Algebraic approximation of structures over complete local rings, Publ. Math. LH.E.S., 36 JAr] (1969), 23-58. J. BEI~sa~IN, Course on .@-modules, Harvard, 1983-1984. [Be] A. BO~L, J. TITS, Elements unipotents et sous-groupes paraboliques de groupes r6ductifs I, lnvent. Math., [BT] 12 (1971), 95-104. K. CORL~rTE, Flat Q-bundles with canonical metrics, J. Diff. Geom., 28 (1988), 361-382. [Col P. D~Lmr~, Equations diff6rentielles ~t points singuliers r6guliers, Lea. Notes in Math., t63, Springer, [Dell New York (1970). [De2] P. D~LmNE, Letter. P. DELIGNE and J. MI~E, Tannakian categories, in Lea. Notes in Math., 900, Springer (1982), 101-228. [DM] S. K. DONALDSON, Anti self dual Yang-Mills connections over complex algebraic surfaces and stable vector [Doll bundles, Proc. London Math. Sor (3), 50 (1985), 1-26. [Do2] S. K. DONaJ~DSON, Infinite determinants, stable bundles, and curvature, Duke Math. J., 54 (1987), 231-247. [Do3] S. K. DONALDSON, Twisted harmonic maps and self-duallty equations, Pror London Math. Sot., 55 (1987), 127-131. D. GmSE~R, On the moduli of vector bundles on an algebraic surface, Ann. of Math., 106 (1977), 45-60. [Gi] W. GoLma.aN and J. Mir.a~SON, The deformation theory of representations of fundamental groups of [GM] compact K~ihler manifolds, Publ. Math. LH.E.S., 67 (1988), 43-96. A. GROTrmNDmCK, Eldments de #omarie al#brique, Several volumes in Publ. Math. LH.E.S. [Grl] A. GROTrmNDIECK, Techniques de construction et th~or6mes d'existence en g6om6trie alg6brique, IV : Les [Gr2] sch6mas de Hilbert, Sbn. Bourbaki, Expos6 221, volume 1960-1961. A. GROTrmNDmCK, Crystals and the De Rham cohomology of schemes, Dix exposds sur la cohomologie des [Gr3] seMmas, North-Holland, Amsterdam (1968). V. Guillemin, S. Sternberg, Birational equivalence in symplectic geometry, Invent. Math., 97 (1989), [GS] 485-522. R. HARTSHOm~E, Algebraic Geometry, Springer, New York (1977). [Ha] N.J. HITCmN, The self-duality equations on a Riemann surface, Proc. London Math. Sor (3), 55 (1987), [Hil] 59-126. N. J. HIwcmr~, Stable bundles and integrable systems, Duke Math. J., 54 (1987), 91-114. IriS] [KN] G. K~MPF, L. NEss, On the lengths of vectors in representation spaces, Lea. Notes in Math., 732, Springer, Heidelberg (1982), 233-243. F. KmwAs, Cohomology of Quotients in Symplectic and Algebraic Geometry, Princeton Univ. Press, Princeton [Ki] (1984). J. L~ POTIER, Fibrds de Higgs et systames locaux, SOninaire Bourbaki 737 (1991). [Le] [Lu] D. LUrCA, Slices ~tales, Bull. Soe. Math. France, Mbnoire 83 (1973), 81-105. M. MA~W'~.A, Moduli of stable sheaves, I: J. Math. Kyoto Univ., 17-1 (1977), 91-126; II: Ibid., 18-3 [Mal] (1978), 557-614. M. M.~UVAMA, On boundedness of families of torsion free sheaves, J. Math. Kyoto Univ., 21-4 (1981), [M~] 673-701. MATSUSHIMA, See reference in Geometric Invariant Theory. [Mt] V. B. MEHTA and A. Semistable sheaves on projective varieties and their restriction to curves, [MRI] Math. Ann., 258 (1982), 213-224. V. B. MEHTA and A. RAMANATH~, Restriction of stable sheaves and representations of the fundamental [MR2] group, Invent. Math., 77 (1984), 163-172. V. V. MoRozov, Proof of the regularity theorem (Russian), Usp. M. Nauk., XI (1956), 191-194. [Mo] D. MUMFOI~, Geometric Invariant Theory, Springer Verlag, New York (1965). [Mu] IV[. S. NARASlMHAN and C. S. SESHADm, Stable and unitary bundles on a compact Riemann surface, Ann. [NS] of Math., 82 (1965), 540-564. N. NITSU~, Moduli space of semistable pairs on a curve, Proo. London Math. Sot., 69, (1991), 275-300. [Nil] N. NITsvm~, Moduli of semi-stable logarithmic connections, Jour. Amer. Math. Sor 6 (1993), 597-610. [Ni2] I~AMANATHAN, MODULI OF REPRESENTATIONS. I [No] M. V. NoRI, On the representations of the fundamental group, Compositio Math., 88 (1976), 29-41. [o~] W. M. OxBtmY, Spectral curves of vector bundle endomorphisms, preprint, Kyoto University (1988). W. RtmiN, Real and Complex Analysis, Mac Graw-Hill, New York (1974). [Ru] N. Sa_~XrzD~ Rlv~a~o, Catdgories tannakiennes, Lect. Notes in Math., 265 Springer, (1972). [Sal [Sell C. S. S~-SH~a~RI, Space of unitary vector bundles on a compact Riemann surface, Ann. of Math., 85 (1967), 303-336. [Se2] C.S. SESm~DRI, Mumford's conjecture for GL(2) and applications, Bombay Colloquium, Oxford University Press (1968), 347-371. [Sil] C. SIMPSON, Yang-Mills theory and uniformization, Lett. Math. Phys., 14 (1987), 371-377. [Si2] C. SIMPSON, Constructing variations of Hodge structure using Yang-Mills theory and applications to uniformization, Journal of the A.M.S., 1 (1988), 867-918. [Si3] C. SIMPSON, Nonabelian Hodge theory, International Congress of Mathematicians, Kyoto 1990, Proceedings, Springer, Tokyo (1991), 747-756. [Si4] C. SIMPSON, A lower bound for the monodromy of ordinary differential equations, Analytic and Algebraic Geometry, Tokyo 1990, Proceedings, Springer, Tokyo (1991), 198-230. [Si5] C. SIMPSON, Higgs bundles and local systems, Publ. Math. LH.E.S., '/5 (1992), 5-95. [Uh] K.K. UHLENBECK, Connections with LP bounds on curvature, Commun. Math. Phys., 88 (1982), 31-42. [UY] K.K. UHLENBECK and S. T. YAU, On the existence of Hermitian-Yang-Mills connections in stable vector bundles, Comm. Pure and Appl. Math., 89-S (1986), 257-293. Laboratoire de Topologie et Gdomdtrie URA 1408, CNRS UFR-MIG, Universitd Paul-Sabatier 31062 Toulouse CEDEX, France Manuscrit re~u le 31 aot2t 1992.
Publications mathématiques de l'IHÉS – Springer Journals
Published: Aug 30, 2007
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.