MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Lazard proved that every flat module over a ring is a directed colimit of finite free modules (Lam, Lectures on Modules and Rings, Theorem 4.34). I wonder if there is a similar theorem about flat modules on schemes.

Question: Let $X$ be a scheme which satisfies some finiteness conditions (at least quasicompact and quasiseparated, perhaps even noetherian and separated). Is then every flat quasi-coherent module $M$ on $X$ a directed colimit of locally free modules of finite rank?

This would be a nice characterization of flat modules since there is no allquantor. It would be very useful in the context of Tannaka Duality. Reading the proof of Lazard's theorem "backwards", it can be shown that the question is equivalent to:

Does every homomorphism from a quasi-coherent module of finite presentation to a flat quasi-coherent module factor through a locally free module of finite rank?

EDIT: The dissertation of Philipp Gross deals with the question when every quasi-coherent sheaf is a quotient of a locally free one. In Remark (3.5.7) it is remarked this would be true if every flat module is the directed colimit of locally free modules. But it's already hard to prove the resolution property for nice schemes ...

share|cite|improve this question
The link to Tannaka duality doesn't work. – Dmitri Pavlov Feb 14 '11 at 22:18
@Dmitri: I've corrected the link. – Martin Brandenburg Feb 14 '11 at 23:01
I don't know the answer to your question but would like to point out that Deligne introduced the notion of local inductive limit (SGA IV:Exp V, App) that allows one to essentially pretend that it is always true (in any topos, those were the days...). – Torsten Ekedahl Feb 15 '11 at 8:23
@Torsten: Interesting! This seems to be the whole motivation of Deligne's Appendix. In Theorem 8.2.12 Lazard's theorem is generalized in a rather trivial to ringed toposes. But in my application I need global inductive limits. – Martin Brandenburg Feb 15 '11 at 11:27
Let me compare this situation with a similar one: It is easy to prove that every module over some ring is a directed colimit of finitely presented modules. Then we can conclude that every module over some ringed topos is a local directed colimit of locally finitely presented modules. But it is a more interesting fact that every quasi-coherent module on a qs qc scheme is a directed colimit of locally finitely presented modules. The proof in (EGA I, 6.9.12) is tricky. – Martin Brandenburg Feb 15 '11 at 11:33

In the paper "A Lazard-like theorem for quasi-coherent sheaves" by Sergio Estrada, Pedro A. Guil Asensio and Sinem Odabasi (arXiv), the following Theorem is proven:

Let $X$ be a quasi-compact and semi-separated scheme having enough locally countably generated vector bundles (for instance if $X$ is noetherian, separated, integral and locally factorial). Let $F$ be a flat quasi-coherent sheaf on $X$. Then $F = \lim\limits_{\longrightarrow} F_i$, where $F_i$ is locally countably generated and flat with $\mathcal{V} \dim F_i \leq 1$ (where $\mathcal{V}$ is the class of all vector bundles on $X$).

This is already a strong result, going into the direction of my question.

share|cite|improve this answer

This is a local property. [if $M$ comes from an algebra over $A$]. It reduces to consider the case that $X=\text{Spec}(A)$ is an affine scheme.

If the ring $A$ is a PID, I think the statement is true (although I did not give a proof indeed).

For an arbitary ring $A$, the statement may be false. Please check the remark, Page 22, in: Commutative Algebra, 2ed, by Matsumura, 1980.

share|cite|improve this answer
-1. Reason: a) It is not a local property. b) For affine schemes it follows from Lazard's Theorem. – Martin Brandenburg Mar 25 '12 at 8:55
Dear Martin, Sorry. Because here $M$ is not necessarily an algebra over $A$. This is for a). – Feng-Wen An Mar 26 '12 at 15:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.