The conjecture that flat finite-type morphisms of Noetherian schemes are very flat

Let f:YXf:Y\longrightarrow X be a flat morphism of finite type between Noetherian schemes. A morphism is very flat when, locally on affine open subschemes, the corresponding ring map makes the target ring a very flat module over the source ring.

Very-flatness conjecture. Every flat morphism of finite type between Noetherian schemes is very flat.

This conjecture is presented as natural, with evidence discussed later in the paper. Its status is not determined by the supplied text.

Sources & referencesView supporting material

Primary source

Leonid Positselski, “Contraherent cosheaves on schemes”, arXiv:1209.2995 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.