Cohomology and base change for algebraic stacks (Q463984): Difference between revisions

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.