Variétés de modules alternatives
Soit une variété algébrique projective lisse irréductible. On appelle variété de modules fins de faisceaux sur une famille de faisceaux cohérents sur paramétrée par une variété intègre , possédant les propriétés suivantes : est plate sur ; pour tous distincts, les faisceaux et sur ne sont pas isomorphes et est une déformation complète de ; enfin possède une propriété universelle locale évidente. On a aussi la notion de variété de modules fins définie localement, où est...