Extending faithfully flat covers of closed subschemes to open neighborhoods

2011-12-26T03:17:33Z

I am curious about the analogue of this question, as stated in the title. Namely,

If $Z \subset X$ is a closed subscheme and $Y \to Z$ is faithfully flat (let's also say of finite presentation), can we find a map $Y' \to X$ which is flat, whose image contains $Z$ (and is thus a neighborhood of $Z$), and whose restriction to $Z$ is the given map?

This may be too strong; i.e. just as for étale maps, in the other question, this may be true only Zariski locally on $X$. That's fine too. In that case, in its most basic form it becomes a question of commutative algebra:

If $R$ is a ring, $I \subset R$ an ideal, and $S$ a faithfully flat $R/I$-algebra, is there a set of elements $f \in R$ such that $\sum (R/I) f = R/I$ and a corresponding set of faithfully flat $R_f$ -algebras ${}_f\widetilde{S}$ such that ${}_f \widetilde{S}/I_f \cong S_f$ for each $f$?

Also, it would be nice to know that, in the event that this is true, it preserves finiteness hypotheses like "finitely presented".

For those who are curious about my motivations: I want to show that " $!$ pushforwards (resp. pullbacks) commute with $*$ pushforwards (resp. pullbacks)" under appropriate circumstances, those being when the $!$ 's are along closed immersions and the $*$ 's are along faithfully flat covers or vice-versa. At the very least I need to be able to switch the order in which maps of these types appear; that is, rewrite a cover of a closed immersion as a closed immersion into a cover, as my question asks.

Answer by Bhargav for Extending faithfully flat covers of closed subschemes to open neighborhoods

2011-12-27T09:54:03Z

(Essentially copied from the comments as requested.)

I think this question is asking for something too strong; here's an example. Let $R = \mathbf{Z}_p$, and let $S_0$ be a finite flat $\mathbf{F}_p$-algebra that does not lift to a finite flat $R$-algebra; an explicit example can be found here. Since $R$ is local, the present question asks: does there exist a faithfully flat $R$-algebra $S$ lifting $S_0$? If there was such an $S$, then the $p$-adic completion $\widehat{S}$ of S would be a finite flat R-algebra lifting $S_0$ (the flatness is clear, and the finiteness comes from Nakayama, completeness, and finiteness modulo $p$), which cannot exist. Hence, there is no such $S$ either.

Extending faithfully flat covers of closed subschemes to open neighborhoods - MathOverflow

Extending faithfully flat covers of closed subschemes to open neighborhoods

Answer by Bhargav for Extending faithfully flat covers of closed subschemes to open neighborhoods