Continuité de la division des opérateurs différentiels et fidèle platitude de $\mathcal {D}^\infty _X$ sur $\mathcal {D}_X$
Continuous division of linear differential operators and faithful flatness of $\mathcal {D}^\infty _X$ over $\mathcal {D}_X$
Séminaires et Congrès | 2004
Anglais
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.
Opérateur différentiel d'ordre infini, théorème de division
Actualité
Publication
Événements
Dossier et ressources
