Cohomology and base change for algebraic stacks (Q463984)

Since its introduction in 1963 by Alexandre Grothendieck, the theorem of cohomology and base change has played an important role in algebraic geometry; the construction of Hilbert and Quot schemes is an important example. The main result of this paper, Theorem A, is a version of cohomology and base change for a morphism \(f: X \to S\) of locally Noetherian algebraic stacks that is locally of finite type, stated in terms of relative Ext sheaves. It states that, for properly supported objects \(\mathcal{M} \in D^{-}_{\mathrm{Coh}}(X)\) and \(\mathcal{N} \in\mathrm{Coh}(X)\) that are flat over \(S\), for each integer \(q\) and morphism of algebraic stacks \(\tau: T \to S\), there is a natural base change morphism: \[ b^q(\tau) : \tau^{*} \mathcal{E}xt^q (f; \mathcal{M}, \mathcal{N}) \to \mathcal{E}xt^q(f_T: L(\tau_X)_{qc}^{*} \mathcal{M}, \tau_X^{*} \mathcal{N}) \] that satisfies the expected properties for cohomology and base change. The key to the proof is Theorem C, which states that for an affine scheme \(S\) and a morphism of algebraic stacks \(X \to S\) that is locally of finite presentation, a certain functor \(\mathrm{QCoh}(S) \to\mathrm{Ab}\) is \textit{coherent}, i.e., corepresentable by a morphism of quasi-coherent \(\mathcal{O}_S\)-modules.