Deje XX ser una variedad lisa de más de C. Si F es coherente gavilla en X con la conexión, no se sigue que la F es localmente libre? Yo no puedo pensar en ninguna contraejemplos. Lo que si X es un complejo analítica colector?
En su artículo "conexiones Regulares después de Deligne," Malgrange comienza a esbozar la prueba: fijar un punto de x∈X y un sistema minimal de generadores de Fx. Considere la posibilidad de una relación en la cual algunos coeficiente tiene un mínimo de orden en x y diferencian. ¿Cómo podemos terminar la prueba? No veo cómo este cálculo implica que los coeficientes deben desaparecer (y, por tanto, Fx es gratis).