SMF

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$

Luis Narváez Macarro, Antonio Rojas León
Continuité de la division des opérateurs différentiels et fidèle platitude de $\mathcal {D}^\infty _X$ sur $\mathcal {D}_X$
  • Consulter un extrait
  • Année : 2004
  • Tome : 8
  • Format : Papier
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 32C38, 32S60
  • Pages : 129-148
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.
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.
Opérateur différentiel d'ordre infini, théorème de division
Infinite order differential operator, division theorem