Dejemos que $f:X \to Y$ sea un morfismo de esquemas y que $F$ ser un $\mathcal{O}_X$ -módulo plano sobre $Y$ . Es $f_*F$ plano sobre $Y$ ?
¿Qué hay de malo en este argumento? [EDIT: como señala Parsa, la fórmula de proyección (infravalorada) no es válida para módulos arbitrarios sobre Y]
Dejemos que $N' \to N$ sea una inyección de módulos sobre $Y$ tenemos que demostrar que $f_*F \otimes N' \to f_*F \otimes N$ es una inyección. Por la fórmula de proyección $f_* F \otimes M = f_*(F \otimes f^*M)$ . Usando esto vemos $f_* F \otimes N' \to f_*F \otimes N = f_*(F \otimes f^*N' \to F \otimes f^*N)$ (el pushforward del morfismo, ¿no?). La planitud de $F$ implica (¿verdad?) $F \otimes f^*N' \to F \otimes f^*N$ es inyectiva. Por la exactitud de la izquierda de $f_*$ hemos terminado.
[EDIT: ¿qué es entonces un contraejemplo?]
[EDITT: esto es claramente falso, si no los teoremas sobre la semicontinuidad de la cohomología de las fibras no tendrían sentido. Sin embargo, estaría bien tener un contraejemplo sencillo, ¿alguien lo sabe?].