Moduli of complexes on a proper morphism
Author:
Max Lieblich
Journal:
J. Algebraic Geom. 15 (2006), 175-206
DOI:
https://doi.org/10.1090/S1056-3911-05-00418-2
Published electronically:
September 7, 2005
MathSciNet review:
2177199
Full-text PDF
Abstract |
References |
Additional Information
Abstract: Given a proper morphism $X\to S$, we show that a large class of objects in the derived category of $X$ naturally form an Artin stack locally of finite presentation over $S$. This class includes $S$-flat coherent sheaves and, more generally, contains the collection of all $S$-flat objects which can appear in the heart of a reasonable sheaf of $t$-structures on $X$. In this sense, this is the Mother of all Moduli Spaces (of sheaves). The proof proceeds by studying the finite presentation properties, deformation theory, and Grothendieck existence theorem for objects in the derived category, and then applying Artin’s representability theorem.
- Théorie des intersections et théorème de Riemann-Roch, Lecture Notes in Mathematics, Vol. 225, Springer-Verlag, Berlin-New York, 1971 (French). Séminaire de Géométrie Algébrique du Bois-Marie 1966–1967 (SGA 6); Dirigé par P. Berthelot, A. Grothendieck et L. Illusie. Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussila, S. Kleiman, M. Raynaud et J. P. Serre. MR 0354655
- Dan Abramovich, Alessio Corti, and Angelo Vistoli, Twisted bundles and admissible covers, Comm. Algebra 31 (2003), no. 8, 3547–3618. Special issue in honor of Steven L. Kleiman. MR 2007376, DOI https://doi.org/10.1081/AGB-120022434
abramovich-polishchuk Dan Abramovich and Alexander Polishchuk. Sheaves of t-structures and valuative criteria for stable complexes. math. AG/0309435
- Dan Abramovich and Angelo Vistoli, Compactifying the space of stable maps, J. Amer. Math. Soc. 15 (2002), no. 1, 27–75. MR 1862797, DOI https://doi.org/10.1090/S0894-0347-01-00380-0
- M. Artin, Versal deformations and algebraic stacks, Invent. Math. 27 (1974), 165–189. MR 399094, DOI https://doi.org/10.1007/BF01390174
- A. A. Beĭlinson, J. Bernstein, and P. Deligne, Faisceaux pervers, Analysis and topology on singular spaces, I (Luminy, 1981) Astérisque, vol. 100, Soc. Math. France, Paris, 1982, pp. 5–171 (French). MR 751966
- Marcel Bökstedt and Amnon Neeman, Homotopy limits in triangulated categories, Compositio Math. 86 (1993), no. 2, 209–234. MR 1214458
- Alexei Bondal and Dmitri Orlov, Reconstruction of a variety from the derived category and groups of autoequivalences, Compositio Math. 125 (2001), no. 3, 327–344. MR 1818984, DOI https://doi.org/10.1023/A%3A1002470302976
- Tom Bridgeland, Flops and derived categories, Invent. Math. 147 (2002), no. 3, 613–632. MR 1893007, DOI https://doi.org/10.1007/s002220100185
- Jiun-Cheng Chen, Flops and equivalences of derived categories for threefolds with only terminal Gorenstein singularities, J. Differential Geom. 61 (2002), no. 2, 227–261. MR 1972146
ega3-1 A. Grothendieck. Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I. Inst. Hautes Études Sci. Publ. Math., (11):167, 1961.
- A. Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. III, Inst. Hautes Études Sci. Publ. Math. 28 (1966), 255. MR 217086
- Robin Hartshorne, Algebraic geometry, Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52. MR 0463157
- Michi-aki Inaba, Toward a definition of moduli of complexes of coherent sheaves on a projective scheme, J. Math. Kyoto Univ. 42 (2002), no. 2, 317–329. MR 1966840, DOI https://doi.org/10.1215/kjm/1250283873
- Gérard Laumon and Laurent Moret-Bailly, Champs algébriques, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 39, Springer-Verlag, Berlin, 2000 (French). MR 1771927
- Hideyuki Matsumura, Commutative ring theory, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1989. Translated from the Japanese by M. Reid. MR 1011461
- David Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, No. 5, Published for the Tata Institute of Fundamental Research, Bombay; Oxford University Press, London, 1970. MR 0282985
- Michael Schlessinger, Functors of Artin rings, Trans. Amer. Math. Soc. 130 (1968), 208–222. MR 217093, DOI https://doi.org/10.1090/S0002-9947-1968-0217093-3
- N. Spaltenstein, Resolutions of unbounded complexes, Compositio Math. 65 (1988), no. 2, 121–154. MR 932640
toen-vaquie Bertrand Toën and Michel Vaquié. Moduli of objects in dg-categories. math. AG/0503269
sga6 Théorie des intersections et théorème de Riemann-Roch. Springer-Verlag, Berlin, 1971. Séminaire de Géométrie Algébrique du Bois-Marie 1966–1967 (SGA 6), Dirigé par P. Berthelot, A. Grothendieck et L. Illusie. Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussila, S. Kleiman, M. Raynaud et J. P. Serre, Lecture Notes in Mathematics, Vol. 225.
abramovich-corti-vistoli Dan Abramovich, Alessio Corti, and Angelo Vistoli. Twisted bundles and admissible covers. Comm. Algebra, 31(8):3547–3618, 2003. Special issue in honor of Steven L. Kleiman.
abramovich-polishchuk Dan Abramovich and Alexander Polishchuk. Sheaves of t-structures and valuative criteria for stable complexes. math. AG/0309435
abramovich-vistoli Dan Abramovich and Angelo Vistoli. Compactifying the space of stable maps. J. Amer. Math. Soc., 15(1):27–75 (electronic), 2002.
artin M. Artin. Versal deformations and algebraic stacks. Invent. Math., 27:165–189, 1974.
BBD A. A. Beĭlinson, J. Bernstein, and P. Deligne. Faisceaux pervers. In Analysis and topology on singular spaces, I (Luminy, 1981), volume 100 of Astérisque, pages 5–171. Soc. Math. France, Paris, 1982.
neeman-bokstedt Marcel Bökstedt and Amnon Neeman. Homotopy limits in triangulated categories. Compositio Math., 86(2):209–234, 1993.
bondal-orlov Alexei Bondal and Dmitri Orlov. Reconstruction of a variety from the derived category and groups of autoequivalences. Compositio Math., 125(3):327–344, 2001.
bridgeland Tom Bridgeland. Flops and derived categories. Invent. Math., 147(3):613–632, 2002.
chen Jiun-Cheng Chen. Flops and equivalences of derived categories for threefolds with only terminal Gorenstein singularities. J. Differential Geom., 61(2):227–261, 2002.
ega3-1 A. Grothendieck. Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I. Inst. Hautes Études Sci. Publ. Math., (11):167, 1961.
ega4-3 A. Grothendieck. Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. III. Inst. Hautes Études Sci. Publ. Math., (28):255, 1966.
hartshorne Robin Hartshorne. Algebraic geometry. Springer-Verlag, New York, 1977. Graduate Texts in Mathematics, No. 52.
inaba Michi-aki Inaba. Toward a definition of moduli of complexes of coherent sheaves on a projective scheme. J. Math. Kyoto Univ., 42(2):317–329, 2002.
l-mb Gérard Laumon and Laurent Moret-Bailly. Champs algébriques, volume 39 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, 2000.
matsumura Hideyuki Matsumura. Commutative ring theory, volume 8 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition, 1989. Translated from the Japanese by M. Reid.
mumford David Mumford. Abelian varieties. Tata Institute of Fundamental Research Studies in Mathematics, No. 5. Published for the Tata Institute of Fundamental Research, Bombay, 1970.
schl Michael Schlessinger. Functors of Artin rings. Trans. Amer. Math. Soc., 130:208–222, 1968.
spaltenstein N. Spaltenstein. Resolutions of unbounded complexes. Compositio Math., 65(2):121–154, 1988.
toen-vaquie Bertrand Toën and Michel Vaquié. Moduli of objects in dg-categories. math. AG/0503269
Additional Information
Max Lieblich
Affiliation:
Department of Mathematics, Brown University, Box 1917, Providence, Rhode Island 02912
Address at time of publication:
Department of Mathematics, Princeton University, Fine Hall, Washington Road, Princeton, New Jersey 08544-1000
Email:
lieblich@math.princeton.edu
Received by editor(s):
February 21, 2005
Received by editor(s) in revised form:
June 5, 2005
Published electronically:
September 7, 2005
Additional Notes:
Work on this paper was supported by a National Science Foundation Postdoctoral Fellowship.