Mathematical Society of Japan Memoirs

Chapter 3. Construction of Moduli spaces

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


We are now going to construct the moduli spaces of stable sheaves. If we have a bounded family of stable sheaves, it can be parameterized by an open subscheme of a Quot-scheme on which a reductive group scheme acts. Two points of the subscheme correspond to the same sheaf if and only if they are in the same orbit of the group scheme action. Thus main part of the construction is to prove the existence of a quotient scheme of the scheme by the group scheme. Once we can overcome this difficulty, the universality of the moduli space is easily derived from that of the Quot-scheme and the quotient.

In the first section we shall recall a proof of the representability of the Quotfunctors. We shall recall the results in Geometric Invariant Theory that are relevant to our aim. The most of results are only stated without proof and the author refers the readers to the famous "Geometric Invariant Theory" by D. Mumford and Seshadri's work [Se]. After the study of rather technical notion of e-stability, the proof of a fundamental lemma to connect semi-stable sheaves with semi-stable points in Geometric Invariant Theory and the preparation of the general setting, we are going to construct moduli space of stable-sheaves. To compactify the moduli spaces we have to add points corresponding to the $S$-equivalence classes of semistable sheaves. The case over a filed of characteristic zero is treated in the sixth section along a beautiful idea of Simpson. To handle semi-stable sheaves in the general cases, we need a detailed analysis of closed orbits of a Grassmann type scheme. The seventh section is devoted to this analysis. A proof of the existence of moduli spaces in general cases will be given in the last section.

Chapter information

Masaki Maruyama,Moduli spaces of stable sheaves on schemes (Tokyo: The Mathematical Society of Japan, 2016), 81-146

First available in Project Euclid: 1 July 2016

Permanent link to this document

Digital Object Identifier

Copyright © 2016, The Mathematical Society of Japan


Maruyama, Masaki. Chapter 3. Construction of Moduli spaces. Moduli spaces of stable sheaves on schemes, 81--146, The Mathematical Society of Japan, Tokyo, Japan, 2016. doi:10.2969/msjmemoirs/03301C030.

Export citation