Idéaux de germes d'opérateurs différentiels à une variable (Q795113)

Dans cet article, nous avons essayé de décrire de manière très explicite un idéal à gauche I de l'anneau \({\mathcal D}\) des germes d'opérateurs différentiels analytiques d'une variable complexe; pour cela nous utilisons essentiellement un théorème de division adapté à \({\mathcal D}\). Nous commençons par donner une présentation de I de la forme \(0\to {\mathcal D}^{q-p}\to {\mathcal D}^{q-p+1}\to I\to 0,\) puis deux générateurs canoniques \(F_ p\) et \(F_ q\) de \({\mathcal D}\). Ensuite nous associons à I le couple \(E(I)\rightleftharpoons^{u}_{v}F(I)\) formé par les solutions analytiques de \({\mathcal D}/I\) dans un disque coupé, les solutions microfonctions, le morphisme canonique et le morphisme de variation; et nous démontrons que ce couple détermine l'idéal I. Nous démontrons alors que la catégorie des \({\mathcal D}\)-modules holonomes à singularité régulière est isomorphe à la catégorie des couples \(E\rightleftharpoons^{u}_{v}F\) ce qui nous permet de retrouver le théorème de structure de L. Boutet de Monvel; cela grâce à une idée de B. Malgrange. Enfin, nous précisons ce théorème dans le cas où \(I={\mathcal D}P\) est principal, P opérateur à singularité régulière.