Taylor polynomials on left-quotients of Carnot groups

Résumé technique : Polynômes de Taylor sur les quotients à gauche des groupes de Carnot

Énoncé du problème
Le document traite du défi consistant à établir les théorèmes classiques des polynômes de Taylor pour les variétés sous-riemanniennes qui apparaissent comme des images sous-métriques (quotients) de groupes de Carnot. Bien que Rothschild et Stein [8] aient établi un cadre fondamental pour les opérateurs hypoelliptiques en élevant les champs de vecteurs vers une variété possédant une structure d'algèbre de Lie nilpotente libre, leur approche nécessite généralement une élévation vers un espace de dimension plus élevée. Dans des exemples explicites, tels que les variétés sous-riemanniennes non équirégulières (où le rang de la distribution horizontale ou le vecteur de croissance varient), il est souhaitable de minimiser la dimension de l'espace ambiant. Le problème spécifique abordé ici est de généraliser et de clarifier les méthodes (référencées en [4]) pour définir des approximations de Taylor sur des variétés obtenues par la projection d'un groupe de Lie nilpotent stratifié (un groupe de Carnot) sur un espace quotient. Ces espaces quotients peuvent présenter des dégénérescences, telles qu'un rang non constant ou des vecteurs de croissance variables, ce qui complique l'application directe de l'analyse sous-riemannienne standard.

Méthodologie
La méthodologie centrale repose sur le concept de sous-métrie. L'auteur considère un groupe de Carnot $G$ et un sous-groupe fermé $H$ tel que le groupe de dilatation préserve $H$ ($\delta_\lambda(H) = H$). L'espace quotient $M = H \backslash G$ (cosets à droite) est muni d'une distance $d_M$ définie par l'infimum des distances dans $G$. La projection canonique $\pi: G \to M$ est une sous-métrie, ce qui signifie qu'elle transforme les boules métriques de $G$ en boules métriques de $M$ de même rayon.

L'analyse procède selon les étapes suivantes :

1. Élévation et projection : Les fonctions et les champs de vecteurs sur la variété quotient $M$ sont reliés à leurs équivalents sur le groupe de Carnot $G$ via la projection $\pi$ et une inclusion de section droite spécifique $\iota$. Une fonction $f$ sur $M$ est élevée en une fonction $\tilde{f} = f \circ \Pi$ à gauche $H$-invariante sur $G$.
2. Transfert de définitions : La définition des polynômes de Taylor sur $M$ est construite en transférant les définitions bien établies des groupes de Carnot (spécifiquement de [6] et [2]). Un polynôme $P$ sur $M$ est défini en faisant correspondre les dérivées d'une fonction $f$ par rapport aux champs de vecteurs horizontaux projetés $X_j = \Pi_*(\tilde{X}_j)$.
3. Équivalence des bornes supérieures : Un outil technique crucial est le Lemme 4.2, qui établit que la borne supérieure d'une fonction à gauche $H$-invariante sur une boule dans $G$ est égale à la borne supérieure de la fonction correspondante sur $M$ sur la boule projetée. Cela permet de transférer directement les estimations dérivées sur le groupe $G$ vers le quotient $M$.
4. Arguments d'invariance : Les preuves utilisent l'invariance à gauche de $H$ des fonctions élevées ainsi que les propriétés de commutation des champs de vecteurs invariants à droite pour garantir que les polynômes de Taylor définis sur le groupe sont bien définis sur le quotient et indépendants du choix du représentant dans le coset.

Contributions clés et résultats
Le document fournit un cadre rigoureux pour les approximations de Taylor sur une classe de variétés sous-riemanniennes qui ne sont pas nécessairement équirégulières. Les principaux résultats incluent :

• Théorèmes de Taylor sur les quotients : L'auteur démontre un théorème de Taylor (Théorème 4.4) et un théorème de la valeur moyenne de Lagrange (Théorème 4.3) pour les fonctions $f \in C^k_{hor}(M)$. Ces théorèmes fournissent des estimations de reste de la forme $|f(p) - P_k(f, q)(p)| \leq C d_M(p, q)^k \eta_M$, où le terme d'erreur dépend du module de continuité des dérivées horizontales d'ordre $k$.
• Bien-fondé : La Proposition 4.1 démontre que le polynôme de Taylor sur le quotient $M$ est la restriction du polynôme de Taylor de la fonction élevée sur $G$. Elle prouve que cette définition est indépendante du choix du point représentant dans le coset.
• Condition d'analiticité : Le Théorème 5.1 établit une condition suffisante pour qu'une fonction lisse sur $M$ soit réelle analytique. Si les dérivées horizontales satisfont une borne de croissance spécifique impliquant des factorielles ($K^{d(I)} k!$), la fonction est réelle analytique. Ce résultat est dérivé en élevant la condition sur $G$ et en appliquant les résultats connus de [2].
• L-harmonicité : Le Théorème 5.2 prouve que si une fonction $f$ est annulée par un opérateur différentiel $L$ (spécifiquement un opérateur formé par des champs de vecteurs horizontaux), alors ses polynômes de Taylor sont également annulés par $L$. Cela étend la propriété d'L-harmonicité des polynômes de Taylor des groupes stratifiés à leurs quotients.

Signification et affirmations
Le document prétend généraliser et clarifier la méthode utilisée dans les travaux précédents (spécifiquement [4]) pour obtenir des théorèmes d'approximation de Taylor pour des variétés sous-riemanniennes qui peuvent manquer de rang constant ou de vecteurs de croissance uniformes. En utilisant la propriété de sous-métrie de la projection d'un groupe de Carnot, l'auteur parvient à transférer avec succès les propriétés analytiques (telles que les développements de Taylor, les critères d'analiticité et l'harmonicité des polynômes) de l'environnement structuré des groupes de Lie stratifiés vers des variétés quotients plus générales et potentiellement dégénérées.

La signification réside dans la fourniture d'une approche unifiée qui évite la nécessité d'élever les champs de vecteurs vers une algèbre nilpotente « libre » de dimension plus élevée (comme dans le cadre de Rothschild-Stein) lorsqu'une structure de quotient spécifique de dimension inférieure est disponible. Les résultats confirment que la géométrie sous-riemannienne de ces quotients conserve suffisamment de structure pour supporter des outils d'analyse classique comme les développements de Taylor, à condition que la projection sous-jacente soit une sous-métrie. Le document note explicitement que ces résultats sont appliqués à des exemples tels que le plan de Grushin et certaines structures CR, démontant l'utilité de la théorie dans des contextes non équiréguliers.