 Séminaires et Congrès - 8 - pages 129-148 | |
|
| | |
Éléments de la théorie des systèmes différentiels géométriques, Cours du C.I.M.P.A., École d'été de Séville (1996)
Philippe Maisonobe - Luis Narváez Macarro (Éd.)
Séminaires et Congrès 8 (2004), xx+430 pages
Continuous division of linear differential operators and faithful flatness of 
over 
Luis Narváez Macarro - Antonio Rojas León
Séminaires et Congrès 8 (2004), 129-148
Download :
PS file
/
PDF file
Résumé :
Continuité de la division des opérateurs différentiels et fidèle platitude de sur
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éte 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.
Mots clefs : Opérateur différentiel d'ordre infini, théorème de division
Abstract:
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áez'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.
Key words: Infinite order differential operator, division theorem
Class. math. : 32C38, 32S60