English

Local Cohomology and Base Change

Algebraic Geometry 2016-07-04 v1 Commutative Algebra

Abstract

Let XfSX \overset{f}\longrightarrow S be a morphism of Noetherian schemes, with SS reduced. For any closed subscheme ZZ of XX finite over SS, let jj denote the open immersion XZXX\setminus Z \hookrightarrow X. Koll\'ar asked whether for any coherent sheaf F\mathcal F on XZX\setminus Z and any index r1r\geq 1, the sheaf f(RrjF)f_*(R^rj_*\mathcal F) is generically free on SS and commutes with base change. We answer this affirmatively, by proving a related statement about local cohomology: Let R R be Noetherian algebra over a Noetherian domain AA, and let IRI \subset R be an ideal such that R/I R/I is finitely generated as an AA-module. Let MM be a finitely generated RR-module. Then there exists a non-zero gAg \in A such that the local cohomology modules HIr(M)AAgH^r_I(M) \otimes_A A_g are free over AgA_g and for any ring map ALA\rightarrow L factoring through AgA_g, we have HIr(M)ALHIALr(MAL)H^r_I(M) \otimes_A L \cong H^r_{I{\otimes_A}L}(M\otimes_A L) for all rr.

Keywords

Cite

@article{arxiv.1607.00062,
  title  = {Local Cohomology and Base Change},
  author = {Karen E Smith},
  journal= {arXiv preprint arXiv:1607.00062},
  year   = {2016}
}
R2 v1 2026-06-22T14:40:13.555Z