Vamos $f\colon X \rightarrow Y$, $g\colon Y' \rightarrow Y$, dos morfismos de esquemas. Deje $X' = X\times_Y Y'$, y deje $f'\colon X' \rightarrow Y'$ ser la proyección. Estamos interesados en la relación entre el esquema teórico de la imagen de $f'$ e de $f$ (en el sentido de Hartshorne, ejercicio II, 3.11). Es decir, cuando no $f'(X') = g^{-1}(f(X))$?
Tenga en cuenta que la igualdad tiene para el conjunto teórico de imágenes (ver esta pregunta), así que me estoy preguntando si (o bajo qué condiciones) el esquema de la estructura también se conserva.
