Continuous division of linear differential operators and faithful flatness of D∞X over DX

In these notes we prove the faithful flatness of the sheaf of infinite order linear differential operators over the sheaf of finite order linear differential operators on a complex analytic manifold. We give the Mebkhout-Narv´aez’s proof based on the continuity of the division of finite order differential operators with respect to a natural topology. We reproduce the proof of the continuity theorem given by Hauser-Narváez, which is simpler than the original proof.Dans ce cours on démontre la fidèle platitude du faisceau d’opérateurs différentiels linéaires d’ordre infini sur le faisceau d’opérateurs différentiels linéaires d’ordre fini d’une variété analytique complexe lisse. La preuve que nous donnons est celle de Mebkhout-Narváez, qui utilise la continuité de la division d’opérateurs différentiels d’ordre fini par rapport à une topologie naturelle. Nous réproduisons la preuve de Hauser-Narváez du théorème de continuité, qui est plus simple que la preuve originale.Ministerio de Ciencia y TecnologíaFondo Europeo de Desarrollo Regiona