La théorie classique de Picard-Vessiot fournit une correspondance galoisienne pour les extensions de corps différentiels. Nous présenterons une correspondance plus fine, sous forme d’une anti-équivalence de catégories entre algèbres de solutions associées à une équation différentielle linéaire (algèbres différentielles engendrées par un nombre fini de polynômes en les solutions fondamentales de l’équation) et variétés affines quasi-homogènes sous l’action du groupe de Galois différentiel. Une telle correspondance joue aussi dans le contexte plus général des connexions (intégrables ou non). Nous évoquerons le parti que cette correspondance permet de tirer, en algèbre différentielle, de la riche théorie des variétés quasi-homogènes.
- Séminaire Géométrie et théorie des modèles