Finiteness theorems for the Picard objects of an algebraic stack (Q664750): Difference between revisions

The author gives sufficient conditions for the existence of the torsion component of the Picard functor of an algebraic stack, and for the finite generation of the Néron-Severi groups or of the Picard group itself. For this he proves a stacky version of the relative representability theorem from [\textit{P. Berthelot, A. Grothendieck} and \textit{L. Illusie} (eds.), Séminaire de géométrie algébrique du Bois Marie 1966/67. Lect. Notes Math. 225 (1971; Zbl 0218.14001), exp.XII]. A special care was taken to avoid superfluous tameness assumptions. Because of the fact that an algebraic stack might have infinite cohomological dimension, it is often convenient to assume that the algebraic stacks under consideration are tame. In Appendix A, the author shows that the cohomology of an arbitrary algebraic stack is tractable as soon as the base scheme is regular and noetherian. As a byproduct he get the semicontinuity theorem for algebraic stacks.