Finitely-affine morphisms; cohomological dimension of schemes

2012-11-11T16:21:44Z

Let $f\colon X\to U$ be a morphism of Noetherian schemes such that the scheme $U$ is affine and the scheme $X$ is separated and, e.g., quasi-projective over affine. Let $U=\bigcup_\alpha U_\alpha$ be an affine open covering of $U$. Suppose that for each $\alpha$ the full preimage $f^{-1}(U_\alpha)$ can be covered by at most $n$ affine open subschemes. Is there any bound on the number of affine open subschemes covering $X$?

Of course, the bound is supposed to depend only on the number $n$ and not on the number of open subschemes in the covering $U_\alpha$ (or otherwise it is not interesting). It is well-known that if $n=1$ then the morphism $f$ is affine and the scheme $X$ is affine. What happens for $n\ge2$?

One approach to this question would be to notice that one has $R^if_*(\mathcal F)=0$ for any quasi-coherent sheaf $\mathcal F$ on $X$ and all $i\ge n$, hence also $H^i(X,\mathcal F)=0$ for all $i\ge n$. Is there any way to obtain a bound on the number of open affines covering $X$ from this finiteness of cohomological dimension?

The only reference I was able to find is Hartshorne "Cohomological dimension of algebraic varieties", Annals of Math. 88, 1968 (referred to from Exercise III.4.8 in Hartshorne's "Algebraic geometry"), but this doesn't seem to answer my question.

Answer by Qing Liu for Finitely-affine morphisms; cohomological dimension of schemes

2012-11-13T23:53:02Z

"This is too long to be a comment".

A way to construct examples $X\to U$ with a given $n$ is to take a (quasi-)projective scheme $X\to U$ whose fibers have dimension $\le n-1$. Indeed, let $s\in U$. There are $n$ hypersurfaces in $X_s$ with empty intersection, so $X_s$ is covered by the $n$ complements of hypersurfaces (more care are needed if $X_s$ is not projective, anyway, the exercise in Hartshorne you refered to is done this way). Now lift these hypersurfaces to hypersurfaces over $O_{U,s}$, then the same arguments show that $X\times_U \mathrm{Spec}(O_{U,s})$ is covered by $n$ affine open subsets. By standard arguments, this will hold above an affine open neighborhood of $s$. So $X\to U$ satisfies your hypothesis.

Now in a very special case, $X$ is actually covered by $n$ affine open subsets. Namely, if $U$ is the spectrum of a ring of integers or if $U$ is a regular curve over a finite field, then any projective $X\to U$ with fiber dimensions $\le n-1$ admits a finite morphism $\pi: X\to \mathbb P^{n-1}_U$. This is proved independently in a preprint of Chinburg, Moret-Bailly, Pappas, Martin Taylor, and a preprint of Gabber, Lorenzini and myself. As $\mathbb P^{n-1}_U$ is covered by $n$ affine open subsets, the same is true for $X$.

Edit It would be interesting to see whether any projective curve over a Dedekind domain can be covered by two (or more, but absolutely bounded number of) affine open subsets.

Finitely-affine morphisms; cohomological dimension of schemes - MathOverflow

Finitely-affine morphisms; cohomological dimension of schemes

Answer by Qing Liu for Finitely-affine morphisms; cohomological dimension of schemes