Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4668419 | Annales Scientifiques de l'École Normale Supérieure | 2007 | 58 Pages |
The purpose of this work is to prove the existence of an algebraic moduli classifying objects in a given triangulated category.To any dg-category T (over some base ring k), we define a D−-stack MT in the sense of [Toën B., Vezzosi G., Homotopical algebraic geometry II: Geometric stacks and applications, Mem. Amer. Math. Soc., in press], classifying certain Top-dg-modules. When T is saturated, MT classifies compact objects in the triangulated category [T] associated to T. The main result of this work states that under certain finiteness conditions on T (e.g. if it is saturated) the D−-stack MT is locally geometric (i.e. union of open and geometric sub-stacks). As a consequence we prove the algebraicity of the group of auto-equivalences of saturated dg-categories. We also obtain the existence of reasonable moduli for perfect complexes on a smooth and proper scheme, as well as complexes of representations of a finite quiver.
RésuméL'objectif de ce travail est de démontrer l'existence d'un espace des modules algébrique classifiant les objets dans une catégorie triangulée donnée.Pour toute dg-catégorie T (au-dessus d'un anneau de base k), nous définissons un D−-champ MT dans le sens de [Toën B., Vezzosi G., Homotopical algebraic geometry II: Geometric stacks and applications, Mem. Amer. Math. Soc., in press], qui classifie certains Top-dg-modules. Quand T est saturée, MT classifie les objets compacts dans la catégorie triangulée [T] associée à T. Le résultat principal de ce travail énonce que, sous certaines conditions de finitude sur T (par exemple si T est saturée), le D−-champ MT est localement géométrique (i.e. réunion de sous-champs ouverts géométriques). Comme conséquence, nous démontrons l'algébricité du groupe des auto-équivalences des dg-catégories saturées. Nous obtenons aussi l'existence d'un espace des modules raisonnable pour les complexes parfaits sur un schéma propre et lisse, ainsi que pour les complexes de représentations de carquois finis.