20
$\begingroup$

I know that for a finitely presented $A$-module $M$ ($A$ a commutative ring), TFAE:

  1. $M$ is projective;
  2. $M$ is max-locally free, meaning that $M_{\mathfrak m}$ is free for every maximal ideal $\mathfrak m$;
  3. $M$ is prime-locally free, meaning that $M_{\mathfrak{p}}$ is free for every prime ideal $\mathfrak p$;
  4. $M$ is Zariski-locally free, meaning that there are some $f_1,\ldots,f_n$ generating the unit ideal in $A$ such that each $M_{f_i}$ is free.

(Reference: Eisenbud commutative algebra, p. 136 / end of chapter 4).

I know that (1) implies (2) without finite presentation: see Kaplansky (1958): Projective Modules, p. 374. (He doesn't even assume $A$ is commutative, and uses an awesome lemma that any projective module is a direct sum of countably-generated submodules.) Finite presentation is used to prove (3) implies (4), as is often the case when passing from stalks of a sheaf to actual open sets.

So now I'm wondering in particular if you need finite presentation to prove (4) implies (1), and more generally,

If $M$ is Zariski-locally projective (meaning there are some $f_1,\ldots,f_n$ generating the unit ideal in $A$ such that each $M_{f_i}$ is projective), is it projective?

If so, how can I see this directly / commutative-algebraically?


Follow up: I checked out Bhargav's reference, Raynaud and Gruson: Critères de platitude et de projectivité. It turns out (on p. 81) they actually use the same technique as Kaplansky in the paper I linked above, of writing a module as a transfinite union with countably generated successive quotients, which they call a "Kaplansky division" when these quotients are direct summands. The conclusion that projectiveness is Zariski-local is stated as Example 3.1.4(3) on the bottom of page 82.

Tricky stuff!

$\endgroup$

6 Answers 6

12
$\begingroup$

Being projective is indeed a local property for the Zariski topology. In fact, it is even local for the fpqc topology --- this is a famous theorem of Raynaud and Gruson (see MR0308104).

$\endgroup$
26
$\begingroup$

A point worth noting: the proof of fpqc descent for projectivity in Raynaud-Gruson is apparently incorrect (as I learned today from Gabber in connection with something else), but the result is nonetheless true.

Here's the deal. RG deduce the result in 3.1.4(1) of part II of the paper, using 3.1.3 of part II and the fact that faithfully flat ring maps satisfy the property they call (C) there. (Briefly, a ring map satisfies property (C) when flat modules over the base ring which satisfy a certain "Mittag-Leffler" condition after the scalar extension actually satisfy the ML condition before the scalar extension. The content of 3.1.3 in part II is that this condition (C) implies descent of projectivity for flat modules. So the problem is to prove an interesting class of maps satisfies property (C).) But RG's proof of (C) for faithfully flat ring maps in 3.1.4(1) of part II rests on another result (2.5.2 in part II) which Gruson has said is incorrect (in his paper "Dimension homologique...."). That's the problem. Gabber says he does not know a counterexample to this 2.5.2 part II result. (I guess Gruson didn't give one when he said it is false.) Anyway, so to make the proof complete, it is necessary to verify that the ring extension of interest (such as faithfully flat in general, or Zariski-covering in case of the question) satisfies the property which RG call (C). Gabber says that this is an easy exercise adapting the method of proof of 3.1.4 in part I of the paper (which is the case of countably presented modules).

I only ever read part I of the paper, never part II (part I was already exhausting enough, and quite spectacular/useful by itself), so in particular I do not know where an error occurs (if Gruson is right) in the proof of 2.5.2 part II. Maybe someone who has read the argument can identify where an error or gap occurs, and hopefully work out Gabber's exercise. (Bhargav?) If so, please let me know.

$\endgroup$
5
  • $\begingroup$ So are Zariski and etale descent still OK? $\endgroup$
    – JBorger
    Feb 25, 2010 at 22:36
  • $\begingroup$ According to Gabber the whole statement is ok, but the proof in RG seems to be inadequate. However, just because someone else said it is ok doesn't mean one should accept it as true (especially for something like this, for which the proof is ultimately not going to be on the order of difficulty of the decomposition theorem, even if it may require some ingenuity). Care to give it a shot? I am too busy right now to revisit this stuff, but I will be very happy if someone more inspired sorts out an argument. $\endgroup$
    – BCnrd
    Feb 25, 2010 at 22:51
  • $\begingroup$ Sorry, mate. Too much stuff to do that I actually need. (BTW, my question was whether the RG argument is sufficient to cover the cases of Zariski and etale descent.) $\endgroup$
    – JBorger
    Feb 26, 2010 at 1:01
  • $\begingroup$ Jim, I'm hoping someone who already read part II will clear up the issue. $\endgroup$
    – BCnrd
    Feb 26, 2010 at 5:00
  • 17
    $\begingroup$ Alex Perry has given a correct proof of the fpqc descent of projectivity (arXiv:1011.0038v1). He shows (C) (Perry: Lemma 9.2) directly without using the incorrect II.2.5.2. $\endgroup$
    – David Rydh
    Jan 23, 2011 at 19:41
1
$\begingroup$

This is not an answer to your question about Zariski-local projectivity, but it is relevant to being locally free and you might be interested.

One can get away with finitely generated rather than finitely presented if one has a little more to work with. In particular, if $M$ is finitely generated and flat over $R$ and either
(i) $S$ is a multiplicative set consisting of non-zero divisors such that $S^{-1}M$ is projective over $S^{-1}R$
or
(ii) $M/rad(R)M$ is $R/rad(R)$-projective
then $M$ is projective.

This first result is due to Endo and the second is not so hard. More details as well as more of these types of results can be found in Vasconcelos' paper "On Finitely Generated Flat Modules".

$\endgroup$
1
$\begingroup$

I'd like to give a comment for fpqc localness(not affine case) after the answer of BCnrd and Hovey. (I'm so sorry that I don't have enough reputation to add a comment). The example of Hovey can't disprove the Zariski localness of projectiveness because that can be reduced to affine case. But this example contradicts the fpqc localness. Famous Wedderburn's theorem tell us that a commutative semisimple ring is a finite product of fields. Let $R$ be an infinite product of fields, which is a $0-$dimensional reduced ring. So, localization of $R$ at primes are fields. If we assume fpqc decent of local projectiveness, we conclude that every $R-$module is projective because it's free after localization at primes. So, $R$ is semisimple then $R$ is a finite product of fields, which is obviously impossible. So when we want to use the decent of local projectiveness, we had better assure we can reduce to the case of ring map or we just need the fppf decent.

It's curious that the only finitely generated maximal ideals of $R$ are which corresponds to principal ultrafilters. So we also get examples of modules which are finite flat but not projective.

$\endgroup$
2
  • $\begingroup$ I'm confused. You seem to be showing that projectivity of modules doesn't obey fpqc descent (only fppf descent), but David Rydh's comment to BCnrd's answer to this question refers to this paper by Alexander Perry (specifically theorem 9.6) which says it does. Can you clarify what's going on? $\endgroup$
    – Gro-Tsen
    Apr 4 at 21:17
  • $\begingroup$ @Gro-Tsen thank you for your comment, and I have edited my answer trying to eliminate some confusion. Their proof of faithfully flat decent of projectiveness is very brilliant and is the version we see in the stacks project. I just care about whether projectiveness is a local property for modules, which corresponds to fpqc decent of local projectiveness on schemes. So, I should not use the term such as 'fpqc decent of projectiveness', which may be confused with the original meaning. $\endgroup$
    – pop1
    Apr 5 at 4:29
1
$\begingroup$

Sorry I do not have enough reputation to ad a comment. So I have to give an answer.

I recentely step over on the problem of descent of projectivity via suitable types of ring morphisms and the problems with the proof in the paper by Raynaud and Gruson (Raynaud and Gruson: Critères de platitude et de projectivité) that are mentioned above.

I am also convinced that the proof of Proposition 2.5.2 part II is not correct (and I suspect the statement may be wrong). However the descent of projectivity via faithfully flat extensions of rings can be deduced from Proposition 2.5.1 part II in RG. The proof of this proposition is clear and one can check it is perfectly correct. This statement is for pure monomorphisms, so one can get the stronger statement that projectivity descents via pure monomorphisms (faithfully flat extensions are pure).

My idea in writing this comment was just to clarify what I think is a misunderstanding with the "error" in RG. There has been some publications recently around this topic, a proof of the descent of projectivity for the case of pure extensions has been published by Gerhard Angermuller Pure descent for projectivity of modules. Arch. Math 116 (2021), 19--22

I just added a preprint on ArXiv giving all details for this.

$\endgroup$
2
  • $\begingroup$ You linked to the arXiv submission section, not to the preprint itself. $\endgroup$
    – Alex M.
    Sep 9 at 16:29
  • $\begingroup$ You can find the note on researchgate.net/publication/… $\endgroup$
    – Dolors
    Sep 16 at 17:28
0
$\begingroup$

Well, your module M is certainly flat, because flatness is a local property (Atiyah-McDonald, Proposition 3.10, but it is also basically easy; first show being 0 is a local property, then show injectivity of morphisms is a local property, now show flatness is).

Note that this implies that any finitely presented such module is projective, since a finitely presented flat module is projective.

I suspect there is a counterexample in general, even with a finitely generated flat module. Try A a commutative von Neumann regular ring, like an infinite product of fields

$A = k_1 \times k_2 \times ... $

Take a finitely generated module that is not projective (but is necessarily flat, since the ring is von Neumann regular), which must exist but which I am having a little trouble writing down at the moment. I bet this will do the job. If no one else fixes this, I will try to do so later.

EDIT: A few minutes thought made this clear. Take I to be the direct sum of all the copies of k_i, and M to be the quotient A/I.

The (prime =) maximal ideals of A are the ideals m_i consisting of the elements which are 0 at every coordinate except the ith one. The local ring is k_i, which is a field. So actually any module M is locally free, but this particular M is not projective (because then the direct sum of the k_i would have to split off the product as a summand).

RE-EDIT: OK, so there are more maximal ideals than the m_i. However, for any commutative ring R, R is von Neumann regular if and only if the localizations of R at its maximal ideals are fields (Lam, A first course in noncommutative rings Ex. 4.15). Thus, any module M is max-locally free (and prime-locally free because primes =maximals for vNR rings). So any non-projective module, such as the one above, is a prime-locally free module that is not projective.

However, I think this module is probably not Zariski-locally free. So it shows that (3) does not imply (1), but says nothing about (4) implying (1).

$\endgroup$
2
  • $\begingroup$ There are more prime ideals than the ones you mentioned. For example I is an ideal so it's containined in a maximal ideal but it's not contained in any of the m_i. $\endgroup$ Nov 24, 2009 at 21:57
  • $\begingroup$ Two problems: 1) Those m_i are not all the maximal ideals in your ring... e.g. the ideal I you describe must be in some maximal ideal by Zorn's Lemma, but clearly isn't in any of the m_i. 2) My question is abut a module which is Zariski-locally free, not just max-locally free, a weaker condition. $\endgroup$ Nov 24, 2009 at 22:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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