Supongo que esto no es difícil, pero lo pensé un tiempo sobre él y no consigue el punto.
Estoy leyendo Deligne "Ecuaciones differentielles...", donde se define lo que es un Grothendieck Conexión es:
se considera un suave variedad proyectiva $X$ sobre los números complejos y coherentes gavilla $F$. Deje $X_1$ ser la primera infinitesimal barrio de la diagonal de a $X$ $p_1,p_2$ las dos proyecciones de $X_1$$X$.
A continuación, se define una conexión como un homomorphism $p_1^*F \rightarrow p_2^*F$, lo que restringe a la identidad en $X$.
Deligne dice en un soporte que un homomorphism siempre es un isomorfismo. ¿Cuál es la razón para esto?
Además: se puede formular un principio general, que a grandes rasgos dice que si tengo un homomorphism en el primer oder barrio de la diagonal, que es una imagen iso en $X$, entonces ya es una iso? Cómo general hace algo como esto?
