Sé que para un finitely presentó $A$-módulo de $M$ ($A$ un anillo conmutativo), TFAE:
1) $M$ es proyectiva;
2) $M$ es max-localmente libre, lo que significa que $M_m$ es libre para cada ideal maximal $m$;
3) $M$ es el primer localmente libre, lo que significa que $M_p$ es gratuito para todos los prime ideal $m$;
4) $M$ es Zariski-localmente libre, lo que significa que hay algunos $f_1,\ldots,f_n$ generación de la unidad ideal en $A$ de manera tal que cada una de las $M_{f_i}$ es gratis.
(Referencia: Eisenbud álgebra conmutativa, p. 136 / final del capítulo 4).
Sé que (1) implica (2) sin finito de presentación: ver Kaplansky (1958): Módulos Proyectivos, p. 374. (A él no le suponga $A$ es conmutativa, y utiliza un impresionante lema que cualquier proyectiva módulo es una suma directa de countably generado submódulos.) Finito de presentación se utiliza para probar (3) implica (4), como es a menudo el caso cuando se pasa de los tallos de una gavilla real de los bloques abiertos.
Así que ahora me pregunto, en particular, si usted necesita finito de presentación de la prueba (4) implica (1), y, más en general,
Si $M$ es Zariski-localmente proyectiva (es decir, que hay son algunas de las $f_1,\ldots,f_n$ generación de la unidad ideal en $A$ de manera tal que cada una de las $M_{f_i}$ es proyectiva), es proyectiva?
Si es así, ¿cómo puedo ver esto directamente / conmutativa-algebraicamente?
Seguimiento: revisé Bhargav de referencia, Raynaud y Gruson: Critères de perogrullo et de projectivité. Resulta que (en la p. 81) que realmente utilizan la misma técnica de Kaplansky en el papel que he enlazado más arriba, de escribir un módulo como un transfinito de la unión con countably generado sucesivos cocientes, que ellos llaman una "Kaplansky división" cuando estos cocientes son directos sumandos. La conclusión de que projectiveness es Zariski-local se declaró como Ejemplo 3.1.4(3) en la parte inferior de la página 82.
Cosas difíciles!