Hypoellipticit{é} de polyn{ô}mes de champs de vecteurs et conjectures de Helffer etNourrigat
Claire Debord
TL;DR
Le travail aborde l’identification des conditions qui garantissent l’hypoellipticité maximale des opérateurs dérivés polynômiaux en champs de vecteurs satisfaisant la condition de Hörmander sur une variété compacte. En s’appuyant sur une généralisation du groupoïde tangent de Connes via l’ouvrage de Mohsen et en développant un calcul pseudodifférentiel adapté (AMY), il établit que l’inversibilité du symbole principal $\sigma(D,x, au)$, calculé à partir des représentations de l’ensemble de Helffer–Nourrigat, est équivalente à l’hypoellipticité maximale. Cette approche relie la régularité des solutions $u$ de $Du=f$ à des propriétés non commutatives (orbites de Kirillov, déformations et cônes tangents) et fournit un paramétrix dans le cadre non elliptique. Le résultat clé est que l’invertibilité du symbole principal assure l’existence d’un paramétrix régularisant et que, pour $D$ d’ordre de Hörmander $k$, $D: ilde{H}^{s+k}(M) o ilde{H}^s(M)$ est inversible à gauche modulo compacts; cela valide la conjecture de Helffer–Nourrigat et étend le cadre elliptique classique à la géométrie sous-riemannienne par une approche non commutative.
Abstract
We study here the sub-Riemannian geometry on a manifold $M$ induced by a finite family $F$ of vector fields satisfying the H{ö}rmander condition, as well as the differential operators obtained as polynomials in the elements of $F$. Such an operator $D$ is hypoelliptic if, for any smooth function $f$, the solutions $u$ of the equation $Du=f$ are also smooth. A more refined notion, that of maximal hypoelliptic operators, extends this property in terms of Sobolev regularity, offering a parallel in sub-Riemannian geometry to elliptic operators. In 1979, Helffer and Nourrigat proposed a conjecture characterizing maximal hypoellipticity, generalizing the main regularity theorem for elliptic operators. This conjecture has recently been confirmed using tools from non-commutative geometry. A central element of this work is a natural generalisation in sub-Riemannian geometry, introduced by Mohsen, of the Connes tangent groupoid, in which appear all the tangent cones, key ingredients in the work of Helffer and Nourrigat. In collaboration with Androulidakis and Yuncken, Mohsen developed a pseudodifferential calculus in this context, introducing in particular the notion of principal symbol. They obtained that the invertibility of this symbol is equivalent to maximal hypoellipticity, thus validating the conjecture. This talk will present the ingredients and broad outlines of these innovative advances.