Skip to main content
2 of 2
added 1024 characters in body
Minseon Shin
  • 2k
  • 1
  • 15
  • 21

Non-noetherian cohomology and base change

Let $S$ be a connected scheme, let $\pi : \mathbb{P}_{S}^{r} \to S$ be projective $r$-space over $S$, and let $\mathcal{E}$ be a flat and locally finitely presented $\mathcal{O}_{\mathbb{P}_{S}^{r}}$-module. Is $\pi_{\ast}(\mathcal{E}(n))$ (nonzero and) flat and locally finitely presented for $n \gg 0$?

Remarks: If $S$ is a Noetherian scheme, the answer is "yes" using usual cohomology and base change theorems. I included "connected" because I am assuming we could otherwise construct an example with $S$ being an infinite disjoint union of fields. The case when $S$ is quasi-compact reduces to the case when $S$ is affine. Say $S = \operatorname{Spec} A$; we may write $A$ as a filtered colimit $A = \varinjlim_{\lambda \in \Lambda} A_{\lambda}$ where each $A_{\lambda}$ is a finite type $\mathbb{Z}$-subalgebra of $A$. Set $S_{\lambda} := \operatorname{Spec} A_{\lambda}$. Then we can descend $\mathcal{E}$ to vector bundles $\mathcal{E}_{\lambda}$ on $\mathbb{P}_{S_{\lambda}}^{r}$ for large enough $\lambda$. Let's fix some $\lambda$. By Serre vanishing [1, III, Theorem 5.2], we may replace $\mathcal{E}_{\lambda}$ by $\mathcal{E}_{\lambda}(n)$ to assume that $\mathrm{H}^{i}(\mathbb{P}_{A_{\lambda}}^{r},\mathcal{E}_{\lambda}) = 0$ for $i > 0$. By [2, Section 4, second Theorem] there is a finite complex (the "Grothendieck complex") $$ K^{\bullet} = \{0 \to K^{0} \to \dotsb \to K^{n} \to 0\} $$ of finitely generated projective $A_{\lambda}$-modules and, for each $i \ge 0$, a functorial isomorphism $$ \mathrm{H}^{i}(\mathbb{P}_{B}^{r} , \mathcal{E}_{\lambda}|_{\mathbb{P}_{B}^{r}}) \simeq \mathsf{h}^{i}(K^{\bullet} \otimes_{A_{\lambda}} B) $$ for every $A_{\lambda}$-algebra $B$. Now $\mathsf{h}^{i}(K^{\bullet}) = 0$ for $i > 0$ which means $K^{\bullet}$ is a direct sum of complexes of the form $\{\mathrm{id}_{P} : P \to P\}$ and a complex consisting of a single finitely generated projective $A_{\lambda}$-module at degree $0$. Thus we may assume that $K^{i} = 0$ if $i \ne 0$. Then $K^{0} \simeq \Gamma(\mathbb{P}_{A_{\lambda}}^{r} , \mathcal{E}_{\lambda})$, and the above gives $\Gamma(\mathbb{P}_{A}^{r} , \mathcal{E}) \simeq \Gamma(\mathbb{P}_{A_{\lambda}}^{r} , \mathcal{E}_{\lambda}) \otimes_{A_{\lambda}} A$. (I guess this argument should work if we replace $\mathbb{P}_{S}^{r}$ by a flat projective finitely presented morphism $X \to S$ that descends to some $S_{\lambda}$.)

I am guessing that the difficulty is "flatness" but I also don't know whether the "locally finitely presented" part is true, thus I will include the following subquestion:

Let $S$ be an affine scheme, let $\pi : \mathbb{P}_{S}^{r} \to S$ be projective $r$-space over $S$, and let $\mathcal{E}$ be a locally finitely presented $\mathcal{O}_{\mathbb{P}_{S}^{r}}$-module. Is $\pi_{\ast}\mathcal{E}$ necessarily finitely presented?

References:

[1] Hartshorne, Algebraic Geometry

[2] Mumford, Abelian Varieties, Tata Institute of Fundamental Research Studies in Mathematics (1970)

Keywords: Noetherian approximation, cohomology and base change, higher direct images, not Noetherian

Minseon Shin
  • 2k
  • 1
  • 15
  • 21