Si tenemos un mapa no constante de curvas no singulares $\varphi:X\rightarrow Y$ , entonces Hartshorne define un mapa $\varphi^* Div(Y)\rightarrow Div(X)$ utilizando el hecho de que los irreducibles de codimensión uno son sólo puntos, y observando $\mathcal{O}_{Y,f(p)} \rightarrow \mathcal{O}_{X,p}$ . Mi pregunta es, si no tenemos un buen mapa de curvas, ¿qué condiciones podemos poner al morfismo para que podamos retirar los divisores? Claramente no es cierto en general, ya que podemos tomar un mapa constante y entonces topológicamente la imagen inversa no tiene ni siquiera el codim correcto.
Pensando en esto en términos de divisores de Cartier (y asumiendo que los esquemas son integrales), parece que sólo necesitamos una forma de transportar funciones en $K(Y)$ a las funciones en $K(X)$ . Si $\varphi$ es dominante, entonces obtendremos dicho mapa. ¿Es esto suficiente? Además, ¿hay algo que podamos decir cuando $\varphi$ no es dominante? Algo así como que tenemos una forma de mapear divisores con soporte en $\overline{\varphi(X)}$ a los divisores en $X$ ?